REVIEW 2 major objections 8 minor 17 references
Quantitative hyperbolicity for complex manifolds via numerical invariants
T0 review · 2 major / 8 minor · reviewed 2026-07-09 · glm-5.2
Pith's one-line read New numerical invariants quantify hyperbolicity of complex manifolds
desk verdict New framework for quantitative hyperbolicity via directed currents on jet towers; core logic holds, constants are not sharp, geometric/cohomological gap is the main open question 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 argument runs through three layers. First, the Demailly-Semple tower (X_k, V_k) provides a compactification of jet spaces; liftable currents are those that can be pushed up to this tower while remaining directed by V_k. Second, the cohomological Euler characteristic χ_k(T) is computed by intersecting the lifted current's class with the first Chern class u_k of the tautological bundle O_{X_k}(1), and the hyperbolic index hyp^(k)(X,ω) is the infimum of -χ_k(T)/||T||_ω over all liftable currents. Third, the theory of density currents (tangent currents to the diagonal in X×X) provides the intersection-theoretic tool that makes the cohomological Euler characteristic well-defined and allows a
What would settle it
A concrete falsifier would be a compact Kähler manifold X that is Kobayashi hyperbolic but has hyp^(k)(X) ≤ 0 for all k, which would disprove Conjecture 9.12 and show that the hyperbolic indices are strictly weaker than Kobayashi hyperbolicity. More immediately, if one could construct a Nevanlinna current from an entire curve that is not weakly k-liftable, or whose cohomological k-Euler characteristic is negative, the implication 'positive indices imply hyperbolicity' (Theorem 7.4) would fail.
Extended reading notes
Core claim
The central mechanism is a bridge between two worlds: the algebraic world of jet differentials (where one studies sections of tautological line bundles on the Demailly-Semple jet tower) and the analytic world of positive currents (where one studies Nevanlinna currents from entire curves). The bridge is built from liftable currents—positive closed or dd^c-closed currents of bi-dimension (1,1) on a manifold X that admit a lifting to the k-th level of the jet tower, directed by the tower's vector bundle V_k. The cohomological k-Euler characteristic of such a current, denoted χ_k(T), is defined as the supremum of minus the intersection of the lifted current's cohomology class with the tautonical
Load-bearing premise
The comparison between the geometric and cohomological Euler characteristics (Theorem 8.1) introduces an exponential loss factor of 3^{k-1} at each jet level, which means the effective degree bounds lambda(n) in Theorem 1.4 may be far from the conjecturally optimal threshold 2n-1, and the sharpness of these constants depends on the nefness bounds for tautological bundles on the jet tower being tight.
Editorial extensions
If this is right
- If the conjectured equivalence hyp^(∞)(X) > 0 ⟺ X is Kobayashi hyperbolic holds, then hyperbolicity becomes a computable condition: one checks a single numerical invariant rather than the full Kobayashi pseudometric.
- The linear growth of hyperbolic indices in degree d for general hypersurfaces provides a quantitative refinement of hyperbolicity—beyond a yes/no answer, one gets a rate at which hyperbolicity strengthens with degree.
- The lower semi-continuity of hyperbolic indices in families (Proposition 6.5) means the set of fibers with positive indices is open, suggesting a potential Zariski-open property that could underpin a deformation-theoretic proof of the Kobayashi conjecture at the optimal degree threshold 2n-1.
- The transcendental vanishing theorem (Theorem 8.4) works without the directed structure, meaning the jet differential method does not exploit the full geometric constraint of directed currents—this gap identifies where sharper algebraic obstructions could improve effective bounds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper introduces numerical invariants called hyperbolic indices for compact Kähler manifolds, built on the theory of directed positive closed currents and the Demailly-Semple jet tower. The authors define two versions (geometric and cohomological) of k-Euler characteristics for liftable currents, and use them to construct hyperbolic indices hyp^(k) and hyp_(k). The main results are: (1) positive cohomological hyperbolic indices imply Kobayashi hyperbolicity (Theorem 1.1), proved by showing Nevanlinna currents associated to entire curves are k-liftable with non-negative cohomological Euler characteristic (Lemma 7.3); (2) Demailly's negative jet curvature condition implies positive hyperbolic indices (Theorem 1.2); (3) a transcendental vanishing theorem (Theorem 8.4) that serves as a current-theoretic analogue of the fundamental vanishing theorem for entire curves; and (4) for general hypersurfaces X_d in P^{n+1}, the hyperbolic indices grow at least linearly in d (Theorem 1.4), by combining the vanishing theorem with existing jet differential results from Diverio-Merker-Rousseau, Darmondeau, and Riedl-Yang. The paper concludes with a discussion of an analytic approach to the Kobayashi conjecture via semicontinuity of hyperbolic indices.
Significance. The paper introduces a genuinely new framework that bridges analytic (Nevanlinna theory, positive currents) and algebraic (jet differentials) approaches to hyperbolicity. The hyperbolic indices are well-motivated numerical invariants with clear monotonicity properties under submanifold inclusion (Proposition 6.2(vii)) and invariance under automorphisms (Proposition 5.8). The transcendental vanishing theorem (Theorem 8.4) is a notable conceptual contribution, replacing algebraic sections with positive closed currents in pseudoeffective classes. The comparison theorem (Theorem 8.1) between geometric and cohomological Euler characteristics, while introducing exponential loss, is a careful technical result. The lower semicontinuity of hyperbolic indices in families (Proposition 6.5) and the proposed strategy for the Kobayashi conjecture (Section 9.1) outline a concrete research program. The framework is falsifiable: Conjecture 9.12 (positivity of indices iff Kobayashi hyperbolicity) is testable against Demailly's examples of hyperbolic surfaces without negative jet curvature metrics (Remark 7.8).
major comments (2)
- Theorem 8.4(i), big class case: The statement says 'A similar statement holds when α is a big class and {T} is movable.' The proof sketch says 'we use the inequality {T}·α ≥ 0.' However, for a big (but not nef) class α and a movable class {T}, the intersection {T}·α ≥ 0 is a non-trivial result from BDPP13 (the duality between the pseudoeffective and movable cones), which is currently known only for projective manifolds (confirmed by WN19). The manuscript should clarify whether X is assumed projective in this case, or whether the authors are invoking the general Kähler version of this duality (which, to my knowledge, remains conjectural). This matters because the big-class case is used in the discussion of entire curves on surfaces of general type (end of Section 1, before Theorem 1.4), so the hypotheses need to be precise.
- Theorem 8.4(ii): The stated estimate is −χ_k(1_{X∖A}T) > m^{−1}·∥1_{X∖A}(T)∥_ω. The strict inequality appears to come from the contradiction argument in part (i): if the k-lifting puts no mass on Z, then χ_k(T) ≤ −m^{−1}·∥T∥_ω < 0, contradicting χ_k(T) ≥ 0. However, the strict inequality in part (ii) is applied to 1_{X∖A}T, whose Euler characteristic need not be non-negative. The argument in the proof of part (ii) shows that if 1_{X_k∖π^{-1}_{k,0}(A)} T'_[k] puts no mass on Z, then χ_k(1_{X∖A}T) < −m^{−1}·∥1_{X∖A}(T)∥_ω. But the conclusion should be −χ_k(1_{X∖A}T) ≥ m^{−1}·∥1_{X∖A}(T)∥_ω (non-strict), since the contradiction only rules out the case where ALL k-liftings avoid Z. The authors should verify whether the strict inequality is intentional or should be non-strict. This affects the final bound in Theorem 1.4, though only at the level of strict vs. non-strict inequality.
minor comments (8)
- Proof of Theorem 8.4(i): The step from '{T^[k]}·{S} ≥ 0' to 'm·{T^[k]}·u_k ≥ {T}·α' uses the decomposition Ψ^α_{k,m} = c_1(O_{X_k}(m)) − π*_{k,0}(α). The relationship c_1(O_{X_k}(m)) = m·u_k is standard but should be stated explicitly for completeness.
- Proof of Theorem 1.4: The final computation uses k=n in Theorem 8.3, but the formula in Theorem 8.3 is stated for general k. When k=n is substituted, the term 3^{k−1} becomes 3^{n−1}, but the last line of the proof writes '2·(3^{k−1}−1)/3^{k−1}' with k still appearing. This should be corrected for consistency.
- Section 2.2, Lemma 2.2 (Ahlfors' lemma): The reference [Bru99, Theorem 0] is given for the existence of a sequence r_m → ∞ with S_f(r_m,ω)/T_f(r_m,ω) → 0. This is a standard result, but the statement as written conflates the existence of the exceptional set E(δ) with the extraction of the sequence. A brief clarifying sentence would help the reader.
- Proposition 4.5: The Hahn-Banach argument is elegant, but the choice of the local curve f(t) = (a^{(1)}_1 t, ..., a^{(1)}_{n−1} t, t) assumes a specific affine chart. The dependence on the point a ∈ X_1 and the role of the directed structure V should be clarified, since f must be a tangent trajectory of (X, V) for the argument to work.
- Notation: The paper uses both χ_k(T) (geometric) and χ_k(T) (cohomological), distinguished only by the font of χ. Given the importance of the distinction, a more visually distinct notation (e.g., χ_k^{geom} and χ_k^{coh}) would reduce reader confusion.
- Proposition 6.11: The computation hyp^(k)(P^n) = −2 uses Proposition 5.12, which itself uses a dynamical degeneration argument via automorphisms of P^n. The connection between the dynamical argument and the Euler characteristic of the limiting line [L] could be stated more explicitly.
- Section 9.1, Problem 9.1: The logarithmic setting is discussed only briefly. A more precise formulation of what 'i(T,D)' should be for liftable currents (analogous to i(C,D) for curves) would strengthen the proposed research program.
- Typographical: The encoding of Vietnamese diacritics is inconsistent (e.g., 'Nguyˆen' vs 'Nguyễn' in author names and references). Also, 'K ¨ahler' appears throughout with a spacing artifact.
Circularity Check
No circularity found: the derivation chain is self-contained against external benchmarks
full rationale
I traced the paper's main logical chain: (1) Definition of hyperbolic indices as infimum of -χ_k(T)/||T||_ω over liftable currents (Section 6); (2) Lemma 7.3 constructs k-liftable Nevanlinna currents with χ_k ≥ 0 using McQuillan's tautological inequality [McQ98, external] and Nevanlinna's first main theorem; (3) Theorem 7.4 shows positive cohomological indices imply Kobayashi hyperbolicity by contradiction—if an entire curve exists, its Nevanlinna current would have χ_k ≥ 0, contradicting hyp^(k) > 0; (4) Theorem 8.4 (transcendental vanishing) uses density current theory [DS18a, Dinh-Sibony] and the Demailly-Păun theorem [DP04, external] to convert pseudoeffective class conditions into Euler characteristic bounds; (5) Theorem 1.4 combines Theorem 8.4 with external jet differential results from [DMR10, RY22] to obtain linear growth. At no point does a definition reduce to its own conclusion. The self-citations to density current theory (DS18a, DS18b) are for a well-established mathematical tool independently used by other authors, not for a result whose validity depends on the present paper's claims. The comparison theorem (Theorem 8.1) introduces exponential loss via Proposition 4.3 and Demailly-Păun, both external. The Kobayashi hyperbolicity conclusion in Theorem 1.1 is proved by genuine contradiction using properties of Nevanlinna currents, not by assuming hyperbolicity. No fitted parameters are renamed as predictions. The framework is self-contained against external benchmarks.
Assumptions & free parameters
assumptions (5)
- standard math McQuillan's tautological inequality (Lemma 7.1)
- standard math Demailly-Paun numerical characterization of the Kahler cone [DP04]
- standard math Existence of strongly admissible maps and tangent currents (DS18a, Ngu21)
- standard math Jet differential vanishing theorems (DMR10, Dar16, RY22)
- standard math Bassanelli's support theorem for C-flat dd^c-closed currents (Lemma 3.2)
invented entities (3)
-
Hyperbolic indices hyp^(k)(X, omega) and hyp_(k)(X, omega)
independent evidence
-
Liftable currents (k-liftable, weakly k-liftable)
independent evidence
-
Cohomological k-Euler characteristic chi_k(T) of liftable currents
independent evidence
Cite this review
Pith. "Pith review of Quantitative hyperbolicity for complex manifolds via numerical invariants." pith.science (2026). https://pith.science/paper/DXG4QAK2
@misc{pith2026260707054,
author = {Pith},
title = {Pith review of: Quantitative hyperbolicity for complex manifolds via numerical invariants},
year = {2026},
howpublished = {\url{https://pith.science/paper/DXG4QAK2}},
note = {Machine review of arXiv:2607.07054}
}
abstract
We introduce numerical invariants called hyperbolic indices, which measure the hyperbolicity of compact K\"ahler manifolds using directed positive closed currents. We prove that if a manifold $X$ has positive hyperbolic indices, then $X$ is Kobayashi hyperbolic; and if $X$ satisfies Demailly's condition of negative jet curvature, then it has positive hyperbolic indices. In particular, by combining the method of jet differentials and density currents, we can prove that for a general hypersurface $X_d$ of degree $d$ in $\mathbb{P}^{n+1}$, the hyperbolic indices of $X_d$ grows to $\infty$ with at least linear growth in $d$. Finally, we discuss an analytic approach to the Kobayashi conjecture.
Reference graph
Works this paper leans on
-
[1]
Weakly K ¨ahler hyperbolic manifolds and the Green–Griffiths–Lang conjecture.J
[BDET24] Francesco Bei, Simone Diverio, Philippe Eyssidieux, and Stefano Trapani. Weakly K ¨ahler hyperbolic manifolds and the Green–Griffiths–Lang conjecture.J. Reine Angew. Math., 2024(807):257–297,
work page 2024
-
[2]
Hyperbolicity of generic hypersurfaces of polynomial degree via Green-Griffiths jet differentials
[Cad24] Beno ˆıt Cadorel. Hyperbolicity of generic hypersurfaces of polynomial degree via Green- Griffiths jet differentials.arXiv:2406.19003,
-
[3]
Generating all Ahlfors currents by a single entire curve.arXiv:2511.12473,
[CFX25] Yunling Chen, John Erik Fornæss, and Song-Yan Xie. Generating all Ahlfors currents by a single entire curve.arXiv:2511.12473,
-
[4]
A Symmetry Method for Key Vanishing Lemmas and Optimal $2$-Jet Thresholds for Hyperbolicity
[CHLX26] Tao Cui, Lei Hou, Jianjun Liu, and Song-Yan Xie. A symmetry method for key vanishing lemmas and optimal2-jet thresholds for hyperbolicity .arXiv:2606.19155,
-
[5]
Regularity of the volume function.arXiv:2505.14495,
[CT25] Junyu Cao and Valentino Tosatti. Regularity of the volume function.arXiv:2505.14495,
-
[6]
Degeneracy of entire curves into higher dimensional complex manifolds
[Den16a] Ya Deng. Degeneracy of entire curves into higher dimensional complex manifolds.arXiv: 1603.02225,
-
[7]
Effectivity in the Hyperbolicity-related problems
[Den16b] Ya Deng. Effectivity in the Hyperbolicity-related problems.arXiv:1606.03831,
-
[8]
Siu's analyticity theorem for positive pluriharmonic currents
[DN26] Tien-Cuong Dinh and Viet-Anh Nguyen. Siu’s analyticity theorem for positive pluriharmonic currents.arXiv:2606.29680,
Show all 17 references
-
[9]
Two applications of algebraic geometry to entire holomorphic mappings
[GG80] Mark Green and Phillip Griffiths. Two applications of algebraic geometry to entire holomorphic mappings. InThe Chern Symposium 1979: Proceedings of the International Symposium on Differential Geometry in honor of S.-S. Chern, held in Berkeley, California, June 1979, pag...
1979
-
[10]
Vanishing of invariant2-jet differentials and improved hyperbolicity degree bounds in dimension two.arXiv:2603.14881,
[HHMX26] Lei Hou, Dinh Tuan Huynh, Jo ¨el Merker, and Song-Yan Xie. Vanishing of invariant2-jet differentials and improved hyperbolicity degree bounds in dimension two.arXiv:2603.14881,
-
[11]
Intersection of (1,1)-currents and the domain of definition of the Monge-Amp `ere operator
[HKV20] Dinh Tuan Huynh, Lucas Kaufmann, and Duc-Viet Vu. Intersection of (1,1)-currents and the domain of definition of the Monge-Amp `ere operator. arXiv:2003.12501,
2003 arXiv
-
[12]
Examples of hyperbolic hypersurfaces of low degree in projective spaces
[Huy16b] Dinh Tuan Huynh. Examples of hyperbolic hypersurfaces of low degree in projective spaces. International Mathematics Research Notices, 2016(18):5518–5558,
2016
-
[13]
Positive plurisubharmonic currents: Generalized Lelong numbers and Tangent theorems.arXiv:2111.11024,
46 [Ngu21] Vi ˆet-Anh Nguy ˆen. Positive plurisubharmonic currents: Generalized Lelong numbers and Tangent theorems.arXiv:2111.11024,
-
[14]
Singularity of non-pluripolar cohomology classes.arXiv:2508.14669,
[NSV25] Duc-Bao Nguyen, Shuang Su, and Duc-Viet Vu. Singularity of non-pluripolar cohomology classes.arXiv:2508.14669,
-
[15]
Hyperbolicity in complex geometry
[Siu04] Yum-Tong Siu. Hyperbolicity in complex geometry . InThe Legacy of Niels Henrik Abel: The Abel Bicentennial, Oslo, 2002, pages 543–566. Springer,
2002
-
[16]
Densities of currents on non-K ¨ahler manifolds.Int
[Vu21a] Duc-Viet Vu. Densities of currents on non-K ¨ahler manifolds.Int. Math. Res. Not., 2021(17):13282–13304,
2021
-
[17]
Entire curves producing distinct Nevanlinna currents.Int
[Xie24] Song-Yan Xie. Entire curves producing distinct Nevanlinna currents.Int. Math. Res. Not., 2024(10):8350–8362,
2024
Reviewed July 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.