Pith. sign in

REVIEW 1 major objections 4 minor 14 references

Nakano-Griffiths inequality, holomorphic Morse inequalities, and extension theorems for $q$-concave domains

T0 review · 1 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For a compact complex manifold $X$ with a semi-positive line bundle $L$ that is positive somewhere, every $\bar\partial_b$-closed $(0,\ell)$-form on the boundary of a Levi $q$-concave domain extends $\bar\partial$-closedly into the domain…

desk verdict The boundary Bochner-Kodaira-Nakano machinery is a real contribution, but the proof of Theorem 1.1 has a genuine sign gap: (5.3) invokes a positive-power corollary for a negative-power estimate. read the letter →

arxiv 2506.00879 v1 pith:UJTCF6CS submitted 2025-06-01 math.CV math.DG

Bingxiao Liu , George Marinescu , Huan Wang This is my paper
classification math.CVmath.DG MSC 32W1032W0532F1032D1532A22
keywords Kohn-RossiextensionholomorphicMorseinequalitiesq-concavemanifoldq-convexsemi-positivelinebundleNakano-GriffithsinequalityBochner-Kodaira-NakanoformulaLeviform
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

On a compact complex manifold $X$ of dimension $n$ with a holomorphic line bundle $L$ that is semi-positive everywhere and positive at at least one point, the paper proves a Kohn-Rossi extension theorem for Levi $q$-concave domains: for every $q\le \ell\le n-1$, each $\bar\partial_b$-closed $(0,\ell)$-form on the boundary of a relatively compact smooth domain $\Omega$, with values in a holomorphic vector bundle $E$, has a $\bar\partial$-closed extension into $\Omega$ after multiplication by a nonzero holomorphic section of some sufficiently high power $L^{k_0}$. This is what meromorphic extension means in this setting: the extension is holomorphic away from the divisor of the multiplying section. The point of the result is that concavity is the regime where classical vanishing theorems fail, so the authors replace vanishing by holomorphic Morse inequalities: they count dimensions of harmonic spaces instead of proving they are zero, and show the obstructions grow subpolynomially in $k$. The engine is a Bochner-Kodaira-Nakano formula with boundary terms and a Nakano-Griffiths inequality that controls the Kodaira Laplacian with $\bar\partial$-Neumann boundary conditions in terms of modified curvature and Levi-form commutators. From these estimates the holomorphic Morse inequalities for $q$-concave domains follow, and the boundary CR-extension criterion supplies the extension.

What carries the argument

The carrying identity is the Bochner-Kodaira-Nakano formula with boundary terms (Theorem 1.7) and its coercive consequence, the Nakano-Griffiths inequality with boundary terms (Theorem 1.8). The central objects are the modified curvature commutators $[\sqrt{-1}\Theta^E-\Lambda]_t=[\sqrt{-1}\Theta^E-\Lambda]+t\,\mathrm{Tr}_\Theta[\sqrt{-1}\Theta^E]$ and their Levi-form analogues $[\sqrt{-1}L_\rho-\Lambda]^t_{\partial\Omega}$; the parameter $t$ lets the same identity serve positive curvature on pseudoconvex boundaries and negative curvature on pseudoconcave ones. The formula bounds the $L^2$-norms of $\bar\partial u$ and $\bar\partial^*u$ from below by these commutators integrated over $\Omega$ and the boundary, up to lower-order torsion and boundary-normal terms. Feeding the resulting optimal fundamental estimates into the abstract holomorphic Morse inequalities for $L^2$-cohomology produces the dimension estimates of Theorem 1.3, and the boundary CR-extension criterion turns those estimates into the extension theorem.

What would settle it

A concrete test is to compute, for a strictly Levi-concave domain $\Omega$ in $\mathbb{CP}^n$ with $L=\mathcal{O}(1)$ and $E$ trivial, the growth of $\dim H^{0,n-\ell-1}(\Omega,\mathcal{O}(-k)\otimes E^*)$ as $k\to\infty$; the proof of Theorem 1.1 requires this to be $o(k^n)$. If it grows like $k^{n-1}$ or faster, Lemma 5.1 cannot produce the required multiplier section. Directly, one could exhibit a $\bar\partial_b$-closed $(0,\ell)$-form on $\partial\Omega$ whose pairing integral in the boundary CR-extension criterion remains nonzero after tensoring by every $\sigma\in H^0(\mathbb{CP}^n,\mathcal{O}(k))$; such a form would falsify the extension theorem itself.

Watch

Extended reading notes

Core claim

The central claim, Theorem 1.1, states the following. Let $X$ be a connected compact complex manifold of dimension $n\ge 2$, $E$ a holomorphic Hermitian vector bundle, and $L$ a holomorphic Hermitian line bundle that is semi-positive on $X$ and positive at one point. Let $1\le q\le n-1$ and let $\Omega\Subset X$ have smooth boundary whose Levi form has at least $n-q$ negative eigenvalues on the analytic tangent space. Then for $q\le \ell\le n-1$ there is $k_0\in\mathbb{N}$ and a nonzero section $\sigma\in H^0(X,L^{k_0})$ such that every $\bar\partial_b$-closed form $\alpha\in\Omega^{0,\ell}(\partial\Omega,E)$ has a $\bar\partial$-closed extension $\beta\in\Omega^{0,\ell}(\Omega,L^{k_0}\otimes E)$ whose complex-tangential boundary value equals the complex-tangential part of $\sigma\otimes\alpha$. The discovery is that dimension growth of the cohomology groups obstructing this extension, rather than their vanishing, is the right tool: Corollary 4.9 makes the relevant intermediate cohomology $o(k^n)$, while bigness of $L$ gives $H^0(X,L^k)$ of order $k^n$, and a Hilbert-space injection in Lemma 5.1 converts this contrast into the multiplier section $\sigma$.

Load-bearing premise

The proof of the extension theorem hinges on the assertion that certain cohomology spaces for negative powers of the line bundle grow more slowly than $k^n$: Lemma 5.1 needs $\dim H^{0,n-\ell-1}(\Omega,L^{-k}\otimes E^*)=o(k^n)$, which the paper cites to Corollary 4.9 although that corollary is stated for positive powers $L^k$. If that subpolynomial estimate fails, the dimension-count that produces the multiplier section collapses.

Editorial extensions

If this is right

  • If Theorem 1.1 holds, then every smooth $\bar\partial_b$-closed $(0,n-1)$-form on a strictly Levi-concave boundary extends meromorphically over $\Omega$, since $q=1$ covers that bidegree (Theorem 5.3).
  • The holomorphic Morse inequalities in Theorem 1.3 give explicit leading asymptotics: the limsup of $k^{-n}\dim H^{0,\ell}(\Omega,L^k\otimes E)$ is bounded by an integral of $c_1(L)^n$ over the set where the curvature has exactly $\ell$ negative eigenvalues, so the asymptotics are computed by the geometry of the curvature tensor rather than by a vanishing theorem.
  • When $L$ is semi-positive, Corollary 4.9 yields $\dim H^{0,\ell}(\Omega,L^k\otimes E)=o(k^n)$ in the concave range; this sub-polynomial growth is exactly the quantitative replacement for vanishing that drives the extension theorem.
  • The boundary Bochner identity also recovers the classical vanishing theorem for $q$-concave and $q$-convex manifolds (Theorems 1.9 and 6.1), so a single formula unifies the previously separate concave and convex regimes.
  • In the strictly pseudoconcave setting of Theorem 1.6, the section-volume asymptotics give bigness of $L$ when the boundary curvature integral is controlled, compactifying $\Omega$ to a Moishezon manifold; this is a concavity analogue of the classical characterization of Moishezon manifolds by semi-positive line bundles.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The proof of Theorem 1.1 does not spell out how the estimate for negative powers, $\dim H^{0,n-\ell-1}(\Omega,L^{-k}\otimes E^*)=o(k^n)$, follows from the positive-power Corollary 4.9; supplying a duality argument on the compact ambient $X$, or a direct $\bar\partial$-Neumann estimate for $L^{-k}$, would close the only visible gap in the written chain.
  • The parameter $t$ in the modified curvature commutators suggests that the same boundary Bochner identity can be tuned to mixed Levi signatures; Section 4.5 already treats $(p,q)$-coronas, and one would expect Bergman-kernel or Szegő-kernel asymptotics for such domains to follow from the same machinery, though the paper does not develop them.
  • Because Theorem 5.3 weakens compactness to $X$ being Moishezon with $L$ big and semipositive near $\Omega$, and because the paper proves Morse inequalities for concave manifolds without compactness, a noncompact version of the extension theorem seems within reach if one can construct the separating holomorphic section by $L^2$ methods.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. The paper develops a Bochner-Kodaira-Nakano formula with boundary terms and a Nakano-Griffiths inequality (Theorems 1.7 and 1.8) and uses them to prove holomorphic Morse inequalities for Levi q-concave domains (Theorem 1.3) and for q-concave manifolds (Theorem 1.4). These tools are then applied, together with the Kohn-Rossi criterion, to prove the main extension theorem (Theorem 1.1): for a compact complex manifold X with a semipositive line bundle L positive at one point, and for a smoothly bounded q-concave domain Ω, every ∂_b-closed (0,ℓ)-form on ∂Ω with values in a holomorphic bundle E admits a ∂-closed extension to Ω after tensorization by a nonzero holomorphic section of a sufficiently high tensor power of L, for q ≤ ℓ ≤ n−1. The paper also contains lower bounds for holomorphic sections of semipositive line bundles over 1-concave domains (Theorem 1.6), vanishing theorems (Theorem 1.9), and Morse inequalities for coronas and mixed convexity-concavity (Theorems 4.17 and 4.18).

Significance. If the proof is completed, this is a substantial contribution: the boundary Bochner-Kodaira-Nakano formula provides a unified route to Morse inequalities on q-concave domains and manifolds, recovers Andreotti-Tomassini vanishing and parts of earlier work by Marinescu, and yields a new Kohn-Rossi type extension theorem. The analytic machinery in Sections 3 and 4 is detailed, the boundary terms are made explicit, and the dependence on the standard reference [MM07] is clearly documented. The paper also correctly credits prior results and distinguishes new claims from reproofs. However, the central extension theorem currently rests on an unproved estimate for negative tensor powers, so the main claim is not yet fully supported.

major comments (1)
  1. [Section 5, Lemma 5.1, Eq. (5.3); also Theorem 5.3] The estimate dim H^{0,n-l-1}(Ω, L^{-k} ⊗ E^*) = o(k^n) in (5.3) is attributed to Corollary 4.9, but Corollary 4.9 applies to positive powers L^k under the hypothesis c1(L,h) ≥ 0. The bundle appearing in (5.3) is L^{-k}, whose curvature is -k c1(L,h), so neither Corollary 4.9 nor Theorem 1.3 applies verbatim. The proof of Theorem 1.3 in Section 4, and in particular the fundamental estimate of Proposition 4.2, is written for nonnegative curvature of L^k; for L^{-k} the sign of the curvature term in Theorem 1.8 flips, and the paper gives no separate argument showing that the optimal fundamental estimate or the Morse inequality survives this sign flip. Since the dimension count (5.2)-(5.3) is the only source of the nonzero section σ in Theorem 1.1, this is a load-bearing gap. A repair is plausible—applying the weak Morse inequalities to L^{-1} would give an upper bound whose leading term vanishes for p < n because c1(L)^n = 0 on the set where the semipositive form c1(L) has rank < n—but the paper does not supply this argument. The same gap recurs in the proof of Theorem 5.3, which again cites Corollary 4.9 for a negative-power cohomology group.
minor comments (4)
  1. [Section 1.1, Theorem 1.1] The integer k_0 is introduced as "some k_0 ∈ N"; it should be stated explicitly that k_0 depends only on X, L, E, Ω, q, and ℓ, and not on the particular boundary form α.
  2. [Section 5, Lemma 5.1] The harmonic projection in (5.1) is written as a bilinear map on a tensor product, but its definition as the harmonic projection of the product section σ∧α should be stated explicitly; the current wording is terse and slightly ambiguous.
  3. [Section 2.4] The notation Ω^{p,q}(∂Ω,E) is introduced for boundary forms, but Theorem 1.1 uses Ω^{0,ℓ}(∂Ω,E); a sentence connecting these notations would improve readability.
  4. [Section 4, Corollary 4.9] Corollary 4.9 is stated for 0 ≤ p ≤ n-q-1 and for positive powers L^k; if the authors intend any variant for negative powers, it should be stated and proved separately rather than invoked implicitly.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity; the central derivation is self-contained, and the flagged Lemma 5.1 issue is a proof gap, not a circular reduction.

full rationale

The paper's claimed derivation chain is essentially self-contained. Theorem 1.1 is built on Lemma 5.1, whose estimate (5.3) is attributed to Corollary 4.9; Corollary 4.9 is in turn obtained from Theorem 1.3, proved in Section 4 via the Nakano-Griffiths inequality with boundary terms (Theorem 1.8), itself derived in Section 3 from the standard Bochner-Kodaira-Nakano formula of Ma-Marinescu [MM07, Theorem 1.4.21] and Griffiths' calculations. These are external, published results used as tools, not the paper's own conclusions. Theorem 1.4, labeled as [M96], is reproved from Theorem 1.3 rather than imported. The self-citations to [MM07], [M96], [M97], [M16] are routine and not load-bearing; no fitted parameter is renamed as a prediction, and no quantity is defined in terms of the result it is supposed to establish. The genuine weakness is in Lemma 5.1: equation (5.3) asserts dim H^{0,n-l-1}(Omega, L^{-k} tensor E^*) = o(k^n) 'From Corollary 4.9', but Corollary 4.9 is stated for semi-positive L^k, while L^{-k} has seminegative curvature; the negative-power estimate is not derived and the sign change is not addressed. That is a gap in the written proof, not a circularity, because the needed statement is not identical to the cited result or otherwise forced by construction. The honest verdict is therefore a low score with a correctness caveat.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper is a pure mathematics proof with no data fitting and no newly postulated physical entities. The axioms are standard background results and the geometric hypotheses of the theorems. The main unacknowledged assumption is the negative-power cohomology estimate in Lemma 5.1, which is flagged separately.

assumptions (5)
  • standard math Standard bar-delta-Neumann theory and Hodge theory for bounded domains with smooth boundary, as in Folland-Kohn and Hormander.
    Used throughout Section 2 to define harmonic spaces, the Neumann operator, and cohomology isomorphisms.
  • standard math The Ma-Marinescu Bochner-Kodaira-Nakano formula [MM07, Theorem 1.4.21] and the abstract holomorphic Morse inequalities [MM07, Theorem 3.2.13].
    These external results are the starting point for the new boundary formulas and for the Morse inequality arguments in Section 4.
  • standard math The Kohn-Rossi extension criterion, Theorem 2.16, which characterizes bar-delta-closed extensions by vanishing of certain boundary pairings.
    This criterion is the final step in the proof of the extension theorem in Section 5.
  • domain assumption For a q-concave domain, there exists a smooth defining function rho with |d rho| = 1 near the boundary and an adapted Hermitian metric so that the Levi form has at least n-q negative eigenvalues.
    This construction underlies Lemmas 4.5 and 4.6 and is inherited from the geometric hypothesis of the theorem.
  • domain assumption The ambient manifold and all vector bundles are compact or have suitable smoothness so that uniform constants in the estimates exist.
    Uniformity of the constants V, V0, Vprime is used throughout Sections 4 and 5; it relies on compactness or local compactness assumptions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nakano-Griffiths inequality, holomorphic Morse inequalities, and extension theorems for $q$-concave domains." pith.science (2026). https://pith.science/paper/UJTCF6CS

@misc{pith2026250600879,
  author       = {Pith},
  title        = {Pith review of: Nakano-Griffiths inequality, holomorphic Morse inequalities, and extension theorems for $q$-concave domains},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UJTCF6CS}},
  note         = {Machine review of arXiv:2506.00879}
}
abstract

We consider a compact $n$-dimensional complex manifold endowed with a holomorphic line bundle that is semi-positive everywhere and positive at least at one point. Additionally, we have a smooth domain of this manifold whose Levi form has at least $n-q$ negative eigenvalues ($1\leq q\leq n-1$) on the boundary. We prove that every $\overline{\partial}_b$-closed $(0,\ell)$-form on the boundary with values in a holomorphic vector bundle admits a meromorphic extension for all $q\leq \ell\leq n-1$. This result is an application of holomorphic Morse inequalities on Levi $q$-concave domains and the Kohn-Rossi extension theorem. We propose a proof of the Morse inequalities by utilizing the spectral spaces of the Laplace operator with $\overline{\partial}$-Neumann boundary conditions. To accomplish this objective, we establish a general Nakano-Griffiths inequality with boundary conditions. This leads to a unified approach to holomorphic Morse inequalities and a geometric proof of vanishing theorems for $q$-concave and $q$-convex manifolds or domains.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [8]

    [LSW23] X. Li, G. Shao and H. Wang. On Bergman kernel function s and weak holomorphic Morse in- equalities. Anal. Math. Phys. 13(2023), no.5, Paper No. 68, 22 pp. [LN99] A. Lins Neto. A note on projective Levi flats and minima l sets of algebraic foliations. Ann. Inst. Fourier (Grenoble), 49(4):1369–1385,

    work page 2023

  2. [12]

    [Sh25] R. Shafikov . Levi-flats in CP /D2 : a survey for nonexperts. ArXiv:2501.15710,

    work page Pith review arXiv

  3. [1964]

    Todor , I

    [TCM01] R. Todor , I. Chiose, and G. Marinescu, Morse inequal ities for covering manifolds, Nagoya Math. J., 163 (2001), 145–165. [W21] H. Wang. Cohomology dimension growth for Nakano /D5 -semipositive line bundles. J. of Geom. Anal. 31 (2021), 4934–4965. BINGXIAO LIU, U NIVERSIT ¨AT ZU K¨OLN , D EPARTMENT MATHEMATIK /I NFORMATIK , A BTEILUNG MATHE - MATI...

    work page 2001

  4. [1969]

    Andreotti, E

    [AV65] A. Andreotti, E. Vesentini, Carleman estimates for t he Laplace-Beltrami equation on complex manifolds, Inst. Hautes Etudes Sci. Publ. Math., 25 (1965), 81–130. [Ber05] R. Berman. Holomorphic Morse inequalities on manif olds with boundary . Ann. Inst. Fourier (Grenoble), 55(4):1055–1103,

    work page 1965

  5. [1985]

    Demailly

    [D86] J.-P. Demailly . Sur l’identit´ e de Bochner-Kodaira- Nakano en g´ eom´ etrie hermitienne. In S´ eminaire d’analyse P. Lelong-P. Dolbeault-H. Skoda, ann´ ees 1983/1984 , volume 1198 of Lec- ture Notes in Math. , pages 88–97. Springer , Berlin,

    work page 1983

  6. [1988]

    H¨ ormander , /C4 2 -estimates and existence theorem for the operator , Acta Math

    [H65] L. H¨ ormander , /C4 2 -estimates and existence theorem for the operator , Acta Math. 113 (1965), 89–152. [H90] L. H¨ ormander . An introduction to complex analysis in several variables , volume 7 of North- Holland Mathematical Library . North-Holland Publishing Co., Amsterdam, third edition,

    work page 1965

  7. [1989]

    Camacho, A

    [CLS89] C. Camacho, A. Lins Neto, and P. Sad. Minimal sets of f oliations on complex projective spaces. Inst. Hautes ´Etudes Sci. Publ. Math. , (68):187–203 (1989),1988. [Ce93] D. Cerveau. Minimaux des feuilletages alg´ ebriques de CP( /D2 ) . Ann. Inst. Fourier (Grenoble) , 43(5):1535–1543,

    work page 1989

  8. [1993]

    Coman, G

    [CMW23] D. Coman, G. Marinescu, and H. Wang. Singular holomo rphic Morse inequalities on non- compact manifolds. Rev. Roum. Math. Pures Appl. No. 1-2 (2023). [D85] J.-P. Demailly. Champs magn´ etiques et in´ egalit´ es de Morse pour la /CS /BC/BC -cohomologie. Ann. Inst. Fourier (Grenoble), 35(4):189–229,

    work page 2023

Show all 14 references
  1. [1996]

    Marinescu

    [M97] G. Marinescu. Some applications of the Kohn-Rossi ext ension theorems. arXiv:math/9705203. 48 [M16] G. Marinescu. Existence of holomorphic sections and p erturbation of positive line bundles over /D5 -concave manifolds. Bull. Inst. Math. Acad. Sin. (N.S.) , 11(3):579–602,

    arXiv

  2. [2005]

    Holomorphic Morse ineq ualities on manifolds with boundary

    [Ber08] R. Berman. Corrigendum to: “Holomorphic Morse ineq ualities on manifolds with boundary” [Ann. Inst. Fourier (Grenoble) 55 (2005), no. 4, 1055–1103; mr2157164]. Ann. Inst. Fourier (Grenoble), 58(1):377–381,

    2005

  3. [2007]

    Marinescu, Morse inequalities for /D5 -positive line bundles over weakly 1 -complete manifolds, C

    [M92] G. Marinescu, Morse inequalities for /D5 -positive line bundles over weakly 1 -complete manifolds, C. R. Acad. Sci. Paris S´ er . I Math., 315 (1992), pp. 895–899. [M96] G. Marinescu. Asymptotic Morse inequalities for pseu doconcave manifolds. Ann. Scuola Norm. Sup. Pisa...

    1992

  4. [2015]

    Andreotti

    [And73] A. Andreotti. Nine lectures on complex analysis. In Complex Analysis , volume 62 of C.I.M.E. Summer Schools (1973) , pages 1–166. Springer-Verlag Berlin Heidelberg,

    1973

  5. [2016]

    Nadel and H

    [NT88] A. Nadel and H. Tsuji. Compactification of complete K¨ ahler manifolds of negative Ricci curva- ture, J. Differential Geom. 28 (1988), no. 3, 503-512. [Oh82] T. Ohsawa, Isomorphism theorems for cohomology grou ps of weakly 1- complete manifolds, Publ. Res. Inst. Math. Sc...

    1988

  6. [2025]

    [S84] Y.-T. Siu. A vanishing theorem for semipositive line b undles over non–K¨ ahler manifolds. J. Differential Geom., 20 (1984), pp. 431–452. [S00] Y.-T. Siu. Nonexistence of smooth Levi-flat hypersurf aces in complex projective spaces of di- mension /AL 3 . Ann. of Math. (2)...

    1984

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.