{"id":"c5da9798-0f26-4c5d-97ae-2e655db658ab","arxiv_id":"2607.07054","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"New numerical invariants called hyperbolic indices, defined via liftable directed currents on Demailly-Semple towers, give a sufficient condition for Kobayashi hyperbolicity and grow at least linearly in degree for general hypersurfaces.","lead":"The paper introduces numerical invariants called hyperbolic indices that quantify how hyperbolic a complex manifold is, using directed positive closed currents on jet spaces. If correct, these indices provide a new analytic framework for the Kobayashi hyperbolicity conjecture and yield effective lower bounds for general hypersurfaces.","discovery_kind":"unclear","skeptic_critique":{"model":"glm-5.2","headline":"No significant objection identified: the main logical chain holds under careful scrutiny, with the exponential loss in Theorem 8.1 being a feature of the method rather than a defect.","rationale":"The reader correctly identifies the key technical steps that need scrutiny: Lemma 7.3, Theorem 8.1, and Theorem 8.4. However, upon careful verification, these steps hold. The reader's concern about the exponential loss factor in Theorem 8.1 is valid as a limitation (it prevents the bounds from being effective for the Kobayashi conjecture) but does not constitute a correctness risk—the qualitative linear growth result stands. The concern about McQuillan's inequality in Lemma 7.3 is addressed by the standard references cited (HV21, Den16a). The geometric/cohomological asymmetry (Question 9.8) is explicitly acknowledged by the authors and does not affect the cohomological results that drive Theorem 1.4. The CONDITIONAL verdict is reasonable insofar as expert verification of the density current arguments (Lemma 3.4 and its applications) would strengthen confidence, but I did not find an actual error in these applications. The paper's novelty (introducing a genuinely new quantitative framework unifying algebraic and analytic approaches) is high, and the central claims appear correct. The main honest limitation is that the effective bounds do not improve existing degree thresholds, which the authors acknowledge.","tokens_in":47967,"tokens_out":11939,"duration_ms":362445,"concrete_test":"Independently verify the cancellation of the factor m in the application of Theorem 8.4(ii) to the proof of Theorem 1.4: specifically, confirm that the pseudoeffective class from DMR10 (Theorem 8.6) can be written as Ψ^α_{n,m} = m·u_n - π*_{n,0}(α) with α = m·(δ(d-n-2)-(5n+3))·ω_FS|X, so that the m^{-1} in Theorem 8.4(ii) cancels to give -χ_n(T) > δ(d-n-2)-(5n+3)·∥T∥_{ω_FS}. If this cancellation fails, the linear growth claim weakens.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I traced the central logical chain—Lemma 7.3 (Nevanlinna currents are k-liftable with χ_k ≥ 0) → Theorem 7.4 (positive cohomological indices imply Kobayashi hyperbolicity) → Theorem 8.4 (transcendental vanishing) → Theorem 1.4 (linear growth)—and did not find a load-bearing error. Specifically: (1) Lemma 7.3's construction of a k-liftable Nevanlinna current S with χ_k(S) ≥ 0 is sound: the sequence (r_m) satisfying both Ahlfors' lemma and the growth conditions from Lemma 7.2 exists because finitely many conditions each holding outside finite-measure sets have non-empty intersection. McQuillan's tautological inequality (Lemma 7.1) gives {S^[k]} · u_k ≤ 0, and Nevanlinna's first main theorem gives {S^[l]} · {D_l} ≥ 0 since f^[l] ⊄ D_l, making S^[k] a cohomological k-lifting. (2) The comparison theorem (Theorem 8.1) introduces an exponential factor 3^{k-1}, but this is a genuine feature of the inductive argument using Proposition 4.3's nef bundles and the Demailly-Păun theorem, not an error. The constants accumulate correctly at each level. (3) The application of Lemma 3.4 (density currents) in Theorem 8.4(i) is correct: if every cohomological k-lifting T^[k] puts no mass on Z = {ν(S,x) > 0}, then {T^[k]} · {S} ≥ 0, forcing χ_k(T) ≤ -∥T∥_ω/m < 0, contradicting χ_k(T) ≥ 0. (4) The m^{-1} factor in Theorem 8.4(ii) cancels with the m in the pseudoeffective class from DMR10/RY22, yielding the stated linear bound δ(d-n-2) - (5n+3). The reader's concerns about sharpness of constants and the geometric/cohomological asymmetry (Question 9.8) are legitimate limitations but do not affect correctness of the stated results.","agreement_with_reader":"partial"},"referee_report":{"model":"glm-5.2","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.","tokens_in":48933,"tokens_out":1947,"duration_ms":506862,"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":[{"comment":"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.","section":null},{"comment":"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.","section":null}],"minor_comments":[{"comment":"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.","section":null},{"comment":"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":null},{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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":null},{"comment":"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.","section":null},{"comment":"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.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The paper is a substantial contribution that introduces a new analytic framework for quantitative hyperbolicity. The central logical chain is sound: I verified that Lemma 7.3 correctly constructs k-liftable Nevanlinna currents with non-negative χ_k using McQuillan's tautological inequality and Nevanlinna's first main theorem, and that the comparison theorem (Theorem 8.1) introduces a genuine (not erroneous) exponential loss factor from the inductive application of Proposition 4.3 and the Demailly-Păun theorem. The two major comments concern precision of hypotheses (big class case of Theorem 8.4) and a strict-vs-non-strict inequality that does not affect the asymptotic conclusion of Theorem 1.4. I recommend minor revision. The paper fits the scope of a serious journal in complex geometry/analysis."},"author_rebuttal":null,"desk_editor":{"model":"glm-5.2","letter":"This paper introduces hyperbolic indices — numerical invariants measuring Kobayashi hyperbolicity of compact Kähler manifolds via directed positive currents on the Demailly-Semple jet tower. The main results: positive cohomological indices imply Kobayashi hyperbolicity (Theorem 7.4), negative jet curvature implies positive indices (Theorem 7.6), and for general hypersurfaces of degree d in P^{n+1}, the indices grow at least linearly in d (Theorem 1.4). The framework is genuinely new. The idea of replacing closed curves in Demailly's algebraic hyperbolicity condition with liftable currents — a class containing both algebraic curves and Nevanlinna currents — is clean and well-motivated. The cohomological Euler characteristic for currents is a natural construction, and the transcendental vanishing theorem (Theorem 8.4) is a real generalization of the classical vanishing theorem for entire curves. The comparison theorem (Theorem 8.1) between geometric and cohomological Euler characteristics is the technical centerpiece, and the inductive argument using Proposition 4.3's nef bundles and the Demailly-Păun theorem checks out. The exponential loss factor 3^{k-1} is a genuine feature of the method, not an error — the constants accumulate correctly at each level of the tower. I traced the central chain (Lemma 7.3 → Theorem 7.4 → Theorem 8.4 → Theorem 1.4) and did not find a load-bearing gap. The sequence construction in Lemma 7.3 works because finitely many conditions each holding outside finite-measure sets have non-empty intersection, and McQuillan's tautological inequality gives the needed sign on {S^[k]} · u_k. The density current application in Theorem 8.4(i) is correct: if every cohomological k-lifting avoids Z, then {T^[k]} · {S} ≥ 0 forces χ_k(T) < 0, contradicting the hypothesis. The soft spots are real but proportionate. First, the effective bounds in Theorem 1.4 do not improve existing degree thresholds for the Kobayashi conjecture — the paper recovers hyperbolicity for d ≫ n using the same DMR/Riedl-Yang inputs, just reformulated. Second, the geometric Euler characteristic of Nevanlinna currents is explicitly unknown (Question 9.8), creating an asymmetry between the geometric and cohomological theories that limits what Theorem 7.4 can say without the comparison theorem. Third, the semicontinuity strategy in Section 9 is speculative — it depends on an unproven relative version of the Demailly-Păun theorem (Question 9.6) and a logarithmic extension that hasn't been developed. These are honest limitations, not hidden problems. The paper is for specialists in complex hyperbolicity and pluripotential theory. A reader needs solid background in positive currents, density theory, and the Demailly-Semple tower to follow the details. The density current arguments (Sections 3 and 8) and the comparison theorem (Theorem 8.1) are the parts most needing expert verification. This deserves a serious referee — the framework is original, the main theorems are substantive, and even the speculative section raises the right questions.","headline":"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","tokens_in":49177,"tokens_out":783,"would_cite":true,"duration_ms":103396,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"glm-5.2","headline":"New numerical invariants quantify hyperbolicity of complex manifolds","keywords":[],"falsifier":"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.","tokens_in":48093,"feed_emoji":"📐","tokens_out":1185,"duration_ms":111442,"temperature":0.7,"pith_summary":"The paper introduces a family of numerical invariants called hyperbolic indices that assign a real number to each compact Kähler manifold, measuring how hyperbolic it is. The construction works by replacing the classical infimum over algebraic curves in Demailly's algebraic hyperbolicity with an infimum over a broader class of objects called liftable currents—positive currents that can be lifted to the Demailly-Semple jet tower and are directed by its natural vector bundle structure. This class encompasses both integration currents over algebraic curves and Nevanlinna currents arising from entire curves, unifying the algebraic and transcendental perspectives on hyperbolicity. For each liftable current, the authors define an Euler characteristic that generalizes the topological Euler characteristic of a curve, and the hyperbolic index is the worst-case ratio of minus this Euler characteristic to the current's mass. The paper proves that positive cohomological hyperbolic indices imply Kobayashi hyperbolicity, that Demailly's negative jet curvature condition implies positive indices, and that for general hypersurfaces of degree d in projective space, the indices grow at least linearly in d—recovering, via a purely analytic mechanism, the known result that such hypersurfaces are hyperbolic for large degree.","feed_headline":"New numerical invariants quantify hyperbolicity of complex manifolds","feed_subtitle":"Hyperbolic indices measure how hyperbolic a manifold is, grow linearly in degree for hypersurfaces, and bridge jet differentials with Nevanl","key_machinery":"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 ","core_discovery":"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","pith_inferences":[],"forward_implications":["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."],"fun_headline_variants":["Hyperbolic indices link jet differentials to positive currents","New invariants bridge algebraic and analytic hyperbolicity","Liftable currents connect jet towers to Nevanlinna theory","Hyperbolic indices grow linearly in degree for hypersurfaces","Numerical invariants detect Kobayashi hyperbolicity via currents"],"cache_read_input_tokens":0,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Hyperbolic indices link jet differentials to positive currents","New invariants bridge algebraic and analytic hyperbolicity","Liftable currents connect jet towers to Nevanlinna theory","Hyperbolic indices grow linearly in degree for hypersurfaces","Numerical invariants detect Kobayashi hyperbolicity via currents","Directed currents yield quantitative hyperbolicity for Kähler manifolds","From jet differentials to positive currents: new hyperbolicity invariants","Cohomological Euler characteristic of liftable currents measures hyperbolicity","Positive hyperbolic indices imply Kobayashi hyperbolicity","Jet tower liftings bridge algebraic and analytic hyperbolicity"]},"model":"glm-5.2","effort":"low","cost_usd":0.0,"raw_usage":{"total_tokens":1150,"prompt_tokens":497,"completion_tokens":653,"prompt_tokens_details":null},"tokens_in":497,"tokens_out":653,"duration_ms":20942,"temperature":1.0,"reasoning_tokens":477,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-09T20:54:01.312469+00:00","model_set":{"reader":"glm-5.2"},"falsifier":"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.","supporting_citations":[],"review_version":1}