REVIEW 3 major objections 4 minor 12 references
On compact sets possessing $q$-convex functions
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read A compact set in a complex manifold admits a $q$-convex function with corners near it exactly when its $q$-nucleus is empty.
desk verdict A correct-looking generalization of the nucleus theorem to q-convex functions, with a real but repairable gap in Proposition 3.4 that should be fixed before final acceptance. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the $q$-nucleus $n_q(K)$, defined through spherical hats rather than directly through functions. A spherical hat pair of order $n-q+1$ is an embedded image of a unit sphere cap together with its filled counterpart; a spherical cut removes the interior of the filled hat from $K$ once the boundary hat lies outside $K$. Proposition 2.5 is the bridge: it equates $q$-pseudoconvexity with the condition that every spherical hat whose boundary sits in an open set forces the filled hat into the set. This equivalence lets the paper identify $n_q(K)$ with the maximal $q$-pseudoconcave subset of $K$. The construction half of the proof is carried by Proposition 3.10, which produces a weakly $q$-convex function that is zero off the filled hat and positive and $q$-convex inside it, and by Lemma 3.9, which glues such functions along overlaps by taking maxima.
What would settle it
Find an open set $\Omega$ in $\mathbb{C}^n$ that contains every spherical hat of order $n-q+1$ whose boundary lies in $\Omega$ in the sense of Definition 2.4 but that fails the Hartogs-figure continuity property for $(q,n-q)$ figures; Proposition 2.5 would then fail, and the $q$-nucleus defined by spherical cuts would no longer be the maximal $q$-pseudoconcave subset, so the main theorem would not follow.
Extended reading notes
Core claim
The central claim is the Main Theorem: for a compact set $K$ in an $n$-dimensional complex manifold $\mathcal{M}$, a $q$-convex function with corners exists in some neighborhood of $K$ if and only if the $q$-nucleus $n_q(K)$ is empty. The $q$-nucleus is formed by taking every image of $K$ obtainable through a finite sequence of spherical cuts of order $n-q+1$ and intersecting them all; the paper proves $n_q(K)$ is $q$-pseudoconcave and contains every compact $q$-pseudoconcave subset of $K$. When the nucleus is empty, the spherical cuts can be arranged as a finite chain $K=K_1\supset K_2\supset \cdots \supset K_m=\emptyset$, and the proof builds the desired function inductively along the chain, gluing local barrier functions supported on the fillings of the removed hats.
Load-bearing premise
Everything rests on the equivalence, proved as Proposition 2.5, that $q$-pseudoconvexity can be tested by spherical hats of order $n-q+1$; that equivalence depends on a classical continuity principle for $(n-q)$-dimensional analytic sets and on a spherical-hat construction carried over from the $q=1$ case.
Editorial extensions
If this is right
- If $K$ is contained in a local holomorphic chart of $\mathcal{M}$, its $q$-nucleus is empty, so a positive $q$-convex function with corners exists near $K$.
- If $\mathcal{M}$ is $q$-complete with corners, in particular Stein when $q=1$, then every compact set in $\mathcal{M}$ has empty $q$-nucleus.
- A nonempty compact $q$-pseudoconcave set, for example a compact analytic set of dimension at least $q$, admits no $q$-convex function with corners in any neighborhood.
- For a $q$-convex manifold, any compact set whose $q$-nucleus is nonempty must intersect the boundary of the complement of the exceptional compact set.
- The $q$-nucleus is monotone under inclusion and biholomorphic invariant, so the existence criterion is stable under natural geometric operations.
Reading between the lines
- A natural next step, already raised in the paper, is whether the corners in the constructed function can be smoothed for $q>1$; known counterexamples to general approximation suggest the answer may depend on the geometry of $K$.
- The closed-set version of the $q$-nucleus is not the maximal $q$-pseudoconcave subset but only maximal among compact ones; one could investigate whether an exhausted maximality condition would restore the if-and-only-if statement for unbounded sets.
- Because the criterion is purely geometric, it gives a practical obstruction test: any construction of a neighborhood $q$-convex function must fail exactly when $K$ traps a compact $q$-pseudoconcave set, and in many cases such sets can be detected by looking for $q$-dimensional analytic subsets of $K$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper characterizes, for a compact set K in a complex manifold M, the existence of a q-convex function with corners on a neighborhood of K in terms of the emptiness of a newly defined q-nucleus n_q(K). The q-nucleus is built from all finite sequences of spherical cuts of order n-q+1, and the authors prove that it is the maximal compact q-pseudoconcave subset of K. The main theorem states that a q-convex function with corners exists near K if and only if n_q(K) is empty. The proof combines a spherical-hat reformulation of q-pseudoconvexity, a local maximum principle for q-pseudoconcave sets, and an inductive gluing construction of q-convex functions with corners. A q-nucleus for closed sets is also defined and briefly studied.
Significance. If the main theorem is correct, it gives a clean geometric obstruction to the existence of q-convex functions with corners, extending the first author's earlier q=1 result from [11] to all q. The statement is natural and the chosen tools -- spherical cuts, the q-nucleus, and the gluing lemma -- are well adapted to the problem. The paper is careful to state that the constructed functions are only with corners, and it explicitly raises the smooth approximation question, which is an honest limitation. The main proof is constructive and does not rely on any definitional circularity: the q-nucleus is defined independently of q-convex functions, and the equivalence is then proved. However, several steps in the central proofs are not fully justified as written, especially in Proposition 3.4 and at the start of the proof of the Main Theorem, part 2.
major comments (3)
- [3, Proposition 3.4] In the proof of Proposition 3.4, after setting K'' = K' \ Int(\hat S), the claim "It is obvious that p \notin K''" is false if p lies on the flat boundary of \hat S, because K'' retains the boundary of \hat S. Proposition 2.5 only yields p \in \hat S \cap n_q(K); this intersection could be contained in that flat boundary, and then p survives the cut. This invalidates the contradiction used to prove that n_q(K) is q-pseudoconcave. The gap is repairable, for example by slightly enlarging the spherical hat so that the relevant point becomes interior, using the disjointness S \cap n_q(K) = \emptyset, but the written proof does not supply this argument.
- [3, Proposition 3.4] The step "in view of Lemma 3.3 and the definition of the q-nucleus, there exists K' \in F^q_K such that S \cap K' = \emptyset and p \in K'" is not justified by Lemma 3.3 alone. Lemma 3.3 only gives closure under finite intersections, while the desired conclusion requires a finite subcover of S \cap K by the open sets K \setminus K'' with K'' \in F^q_K. With the paper's convention that the factor \Delta^{n-k} in Definition 2.4 is open, the spherical hat S is not compact, so this finite-subcover argument does not automatically go through. Please either prove that S \cap K is compact in the relevant situation or amend the definition so that S is compact, and adjust Proposition 2.5 accordingly.
- [Main Theorem, part 2] The proof of part 2 begins with "Since n_q(K) is empty, we can find a sequence K_1 \supset K_2 \supset \cdots \supset K_m" with K_m = \emptyset. This is not immediate from the definition of n_q(K) as the intersection of all finite cut sequences. It should be justified explicitly: because each element of F^q_K is compact and Lemma 3.3 gives closure under finite intersections, the finite-intersection property implies that an empty total intersection forces some finite subfamily with empty intersection, and hence an element K_m = \emptyset of F^q_K. Without this argument, the induction base of the gluing construction is unsupported.
minor comments (4)
- [2, Proposition 2.5] In the proof of (1) implies (2), the set \partial A_{t_1} is written as \{(t_1 + i\operatorname{Im}(p_1), p', p'')\}, but this point is not generally on the unit sphere unless p'=0. The intended point is almost certainly (t_1 + i\operatorname{Im}(p_1), 0, p''), which lies on the spherical hat S because t_1 > r. Please correct this.
- [2, Remark 2.3] There is a typo: "pseduoconvexity" should be "pseudoconvexity".
- [4, Proposition 4.5] The statement says the q-nucleus of A is "q-pseudoconcave in A", but q-pseudoconcavity is defined for closed sets in a manifold M; it should say "in M".
- [3, Definition 3.1] The definition of F^q_K and the later use of the empty set are slightly ambiguous. It should be stated explicitly whether the empty compact set is allowed as an endpoint of a finite sequence of cuts, since the proof of the Main Theorem uses K_m = \emptyset.
Circularity Check
No circularity: the q-nucleus is defined independently via spherical cuts, and the main equivalence is proved against that definition using external prior results.
full rationale
The derivation is not circular in any of the enumerated senses. The q-nucleus n_q(K) is defined in Definition 3.1 as the intersection of all compacts obtained from K by finitely many spherical cuts of order n-q+1, with no reference to q-convex functions; the spherical-hat characterization of q-pseudoconvexity (Proposition 2.5) is proved inside the paper, and the cited tools (continuity principle in [8] and a construction in [11]) are external published results rather than restatements of the Main Theorem. Proposition 3.4 then establishes that n_q(K) is the maximal q-pseudoconcave subset of K, and the reverse direction of the Main Theorem constructs a q-convex function with corners by induction from spherical cuts, using Proposition 3.10 and Lemma 3.9. No fitted parameter is renamed as a prediction, no target theorem is assumed through a self-citation, and no known result is merely re-indexed. The self-citations to [4], [8], and [11] are load-bearing only as independent lemmas and techniques, not as assumptions of the result being proved. A possible correctness concern exists in the proof of Proposition 3.4, where the point p in \hat S \cap n_q(K) might lie on the flat boundary of \hat S rather than in Int(\hat S), so the assertion 'It is obvious that p \notin K\'\' may fail as written; this is a repairable logical gap external to circularity, and it does not make the theorem equivalent to its inputs by construction. Overall, the paper's central claim has independent mathematical content and is not reduced to its definitions or prior self-citations.
Assumptions & free parameters
assumptions (4)
- domain assumption Rothstein q-pseudoconvexity admits the continuity principle with respect to (n-q)-dimensional analytic sets.
- domain assumption The spherical-hat construction from [11] can be applied to the projected domain D' in C^(n-q+1).
- domain assumption Finite intersections of spherical-cut descendants of K remain spherical-cut descendants.
- domain assumption The closure of a union of q-pseudoconcave sets is q-pseudoconcave.
Cite this review
Pith. "Pith review of On compact sets possessing $q$-convex functions." pith.science (2026). https://pith.science/paper/RQYJDQ26
@misc{pith2026250524588,
author = {Pith},
title = {Pith review of: On compact sets possessing $q$-convex functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/RQYJDQ26}},
note = {Machine review of arXiv:2505.24588}
}
abstract
We show that there exists a $q$-convex function in a neighborhood of a compact set $K$ in a complex manifold $\mathcal{M}$ if and only if the $q$-nucleus of this compact set is empty. The latter can be characterized as the maximal $q$-pseudoconcave subset of $K$, i.e., a subset of $K$ containing all other compact $q$-pseudoconcave subsets in $K$.
Reference graph
Works this paper leans on
-
[11]
V., On compact subsets possessing strictly plurisubharmonic func- tions, Izv
Shcherbina, N. V., On compact subsets possessing strictly plurisubharmonic func- tions, Izv. Math.,85(3), 605–618 (2021)
work page 2021
-
[1]
Basener, R.F., Nonlinear Cauchy-Riemann equations andq-pseudoconvexity, Duke Math. J.43(1), 203–213 (1976)
work page 1976
-
[2]
Diederich, K., Fornæss, J.–E., Smoothingq-convex functions and vanishing theo- rems, Invent. Math.82(2), 291–305 (1985)
work page 1985
-
[3]
Grauert, H., Une notion de dimension cohomologique dans la th´ eorie des espaces complexes. Bull. Soc. Math. France87, 341–350 (1959)
work page 1959
-
[4]
On defining functions for unbounded pseudoconvex domains
Harz, T., Shcherbina, N. V., Tomassini, G., On defining functions and cores for unbounded domains, arXiv:1405.2250v3 (2014)
work page Pith review arXiv 2014
-
[5]
Henkin, G.M., Leiterer, J., Andreotti-Grauert theory by integral formulas. Progress in Mathematics, vol. 74, Birkh¨ auser Boston, Inc., Boston (1988)
work page 1988
-
[6]
Hunt, L.R., Murray, J.J.,q-plurisubharmonic functions and a generalized Dirichlet problem, Michigan Math. J.25(3), 299–316 (1978)
work page 1978
-
[7]
Kobayashi, S., Hyperbolic complex spaces, Springer, Berlin (1998)
work page 1998
Show all 12 references
-
[8]
Dissertation zur Erlangung eines Doktorgrades, Bergische Uni- versit¨ at Wuppertal (2015)
Pawlaschyk, T., On some classes ofq-plurisubharmonic functions andq- pseudoconcave sets. Dissertation zur Erlangung eines Doktorgrades, Bergische Uni- versit¨ at Wuppertal (2015)
2015
-
[9]
V., Foliation of continuous q-pseudoconcave graphs, Indiana Univ
Pawlaschyk, T, Shcherbina, N. V., Foliation of continuous q-pseudoconcave graphs, Indiana Univ. Math. J.71(4), 1627–1648 (2022) 13
2022
-
[10]
Ann.129, 96–138 (1955)
Rothstein, W., Zur Theorie der analytischen Mannigfaltigkeiten im Raume vonn komplexen Ver¨ anderlichen, Math. Ann.129, 96–138 (1955)
1955
-
[12]
S lodkowski, Z., Local maximum property andq-plurisubharmonic functions in uni- form algebras, J. Math. Anal. Appl.115(1), 105–130 (1986) T. Pawlaschyk: Department of Mathematics, University of Wuppertal — 42119 Wuppertal, Germany e-mail address:pawlaschyk@uni-wuppertal.de N. ...
1986
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.