{"id":"625d2bf8-e843-4740-bd7e-344960b8c332","arxiv_id":"2509.04607","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Smooth projective varieties with finite Albanese map and generalized Kodaira fibrations satisfy a new vanishing property (V-hyperbolicity) that yields Euler characteristic and L2 cohomology inequalities.","lead":"Donu Arapura introduces a new class of projective varieties, called V-hyperbolic, and proves that it contains smooth varieties with finite Albanese map and generalized Kodaira fibrations. V-hyperbolicity implies Euler characteristic inequalities and L2 cohomology vanishing, giving evidence for a conjecture about Kollár-hyperbolic varieties.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Corollary 7.7's induction step needs an unstated normalization-descent lemma for the vanishing property of singular fibres.","rationale":"The reader's weakest assumption concerned the hypotheses of Theorem 7.1; my concern sharpens this for the paper's main advertised class of examples. The core results — Theorem 6.1 for abelian varieties, Theorem 7.1 conditional on its fibration hypotheses, and Proposition 3.6 deriving Euler-characteristic inequalities from V-hyperbolicity — appear internally sound, and the reliance on Saito's and Lück's theorems is legitimate external machinery. The soft spot is specifically Corollary 7.7 (and hence Corollary 0.2): the proof says 'the theorem plus induction,' but the induction step requires a descent statement for the vanishing property under normalization of singular fibres. Such a statement is not in the paper, and the 1-dimensional case handled by Proposition 4.2 does not generalize automatically. I do not claim the result is false; rather, the proof as written is incomplete at precisely the point where the paper's second main corollary is established. A concrete Mayer–Vietoris test on a reducible surface fibre would determine whether the missing descent is a harmless standard lemma or a genuine obstruction. Because the advertised result is unsupported until that lemma is supplied, I would move from ACCEPT to CONDITIONAL rather than reject the paper outright.","tokens_in":18927,"tokens_out":44004,"duration_ms":437272,"concrete_test":"Check the missing descent in the simplest non-curve case: let X be a 3-dimensional generalized Kodaira fibration whose fibre over y0 is Y1 ∪_D Y2, with Yi = Ci × E for curves Ci, E of genus at least 2, glued along a smooth curve D, and let Y_n → Y be the induced 0-tower of étale covers. Compute the normalized limits of h^i(Y_n, P_n) for P = Q_Y[2] and for P = i_* L[1] with L a nontrivial local system on D, using the Mayer–Vietoris sequence and Lück's theorem. If any such limit is nonzero for i ≠ 0, the induction step in Corollary 7.7 is invalid; if all are zero, the missing normalization-descent lemma should still be stated explicitly before the corollary is accepted.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Corollary 7.7 asserts that generalized Kodaira fibrations are V-hyperbolic, citing Theorem 7.1 plus induction on dimension. To apply Theorem 7.1 to a GKF f:X→C with H=1, condition (c) requires every fibre (X_y,1) to have the vanishing property. The inductive definition only guarantees that normalizations of the irreducible components of X_y are GKF, hence V-hyperbolic with respect to 1. The paper contains no lemma showing that the vanishing property descends along the finite normalization map from the disjoint union of normalizations to a possibly non-normal, reducible fibre. Proposition 4.2 supplies this descent only when dim X_y = 1; no higher-dimensional analogue is stated. This is not a purely cosmetic gap: for a union Y = Y1 ∪_D Y2 glued along a positive-dimensional locus D, the Mayer–Vietoris sequence for a perverse sheaf P involves cohomology of D_n, and the induced tower on D may have nonzero normalized L²-Betti numbers even when the component towers vanish. Whether such contributions land only in the allowed cohomological degree 0 is exactly what needs proof. As written, the generalized Kodaira fibration half of the paper's main positive claim is not fully supported.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a new property, V-hyperbolicity, for normal complex projective varieties: a variety is V-hyperbolic if, for some infinite-index closed normal subgroup H of the profinite fundamental group, the normalized dimensions of the cohomology of any H-tower of etale covers tend to zero in all nonzero degrees for every perverse sheaf underlying a mixed Hodge module. The author proves that V-hyperbolic varieties are Kollar-hyperbolic, conjectures the converse, and derives several consequences of V-hyperbolicity, including nonnegativity of signed Euler characteristics of the de Rham complex, Arakelov-type inequalities, and an L2-vanishing statement. The main theorems establish V-hyperbolicity for smooth projective varieties with finite Albanese map and for generalized Kodaira fibrations. The paper is built on standard machinery: Saito's mixed Hodge modules, the decomposition theorem, Luck approximation, Popa-Schnell generic vanishing, and the Sarnak-Adams theorem.","tokens_in":19126,"tokens_out":6522,"duration_ms":61442,"significance":"If the results are correct, the paper provides a substantial new framework connecting Kollar hyperbolicity to Hodge-module-level vanishing, with concrete consequences such as the inequality (-1)^(d-p) chi(Omega^p_X) >= 0 for a large class of varieties and new evidence for the Hopf-Singer conjecture. The paper is clearly written and the main technical arguments are careful. However, one of the two headline consequences, Corollary 7.7 on generalized Kodaira fibrations, is not fully supported as written because the induction step requires a normalization-descent statement that is not proved. The abelian variety result (Corollary 0.1/Theorem 6.1) appears sound. The paper therefore merits major revision rather than rejection.","major_comments":[{"comment":"The proof of Corollary 7.7 applies Theorem 7.1 with H = 1, relying on condition (c) that every fibre (X_y, 1) has the vanishing property. However, the inductive definition of a generalized Kodaira fibration only ensures that the normalizations of the irreducible components of each fibre are generalized Kodaira fibrations, hence V-hyperbolic with respect to 1. The vanishing property is stated for possibly reducible connected projective varieties, but no lemma is proved that it descends along the finite normalization map from the disjoint union of the normalizations to the potentially non-normal, reducible fibre when the fibre has dimension at least 2. Proposition 4.2 supplies this descent only for curves. Without such a lemma, the induction step does not go through, and Corollary 7.7 is not established. Please add a proof of the needed descent (for instance, using perverse t-exactness of pushforward under a finite morphism, together with the splitting properties of the normalization map for the cohomology of perverse sheaves) or explicitly state and justify a weaker induction hypothesis that avoids this issue.","section":"Corollary 7.7 and Theorem 7.1(c)"},{"comment":"The proof of Theorem 6.1 fixes one particular 0-tower of an abelian variety and shows that the normalized cohomology tends to zero for that tower. The definition of V-hyperbolicity in §3 requires that the vanishing holds for every H-tower when H = 0. The argument is in fact uniform in the choice of the tower, because it only uses that the intersection of the subgroups Γ_n is zero, but the text should say so explicitly. As written, a reader might infer that only a single tower is being treated, which would not meet the definition.","section":"Theorem 6.1"}],"minor_comments":[{"comment":"There is a typo: \"V-hyberbolic\" should be \"V-hyperbolic\".","section":"Corollary 4.3"},{"comment":"The word \"Käher\" should be \"Kähler\".","section":"Proposition 2.2(e)"},{"comment":"The notation s(F_n^k) is used in the bounded expression but is not defined in this section; it is inherited from Lemma 4.1 and should be recalled for readability.","section":"Lemma 7.6"},{"comment":"The inductive definition does not specify the base case (presumably a positive-genus curve, or possibly a point), which should be stated to make the induction fully precise.","section":"Definition of generalized Kodaira fibration before Corollary 7.7"},{"comment":"The phrase \"(X,H ) has is V-hyperbolic\" contains a redundant \"is\"; this should be corrected.","section":"Section 3, definition of the vanishing property"}],"recommendation":"major_revision","confidential_remarks":"The technical core of the paper appears sound, and the missing normalization-descent lemma for Corollary 7.7 is likely repairable without changing the overall strategy. If the author supplies that lemma, the paper would be acceptable. The paper is a good fit for the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is worth reading: Arapura introduces a new property, V-hyperbolicity, proves abelian varieties satisfy it using Popa-Schnell generic vanishing, and draws clean Euler characteristic consequences. That part looks right to me. The framework is useful, and the paper is honest that the converse conjecture (Kollár-hyperbolic implies V-hyperbolic) is open. The stability theorem under finite covers and the curve case are also carefully done. Credit where due: this is not a rehash, and the citations to Saito, Lück, Popa-Schnell, and Sarnak-Adams are appropriate.\n\nThe soft spot is Corollary 7.7, the claim that generalized Kodaira fibrations are V-hyperbolic. The proof is \"the theorem plus induction on dimension,\" but the induction step doesn't work as written. Theorem 7.1 requires every fibre to have the vanishing property, while the definition of a generalized Kodaira fibration only gives that property for the normalizations of the fibre components. The paper has no lemma showing the vanishing property descends along the normalization map in higher dimensions. Proposition 4.2 supplies such a descent only for curves. For a fibre glued along a positive-dimensional locus, the Mayer-Vietoris analysis involves the glueing locus, and there is no argument that its normalized cohomology vanishes. This is a real gap, not a cosmetic omission. It might be fillable by a normalization-descent lemma plus induction on dimension, but the paper doesn't contain it.\n\nI don't see other serious problems. The prose is dense in Section 7, and there are scattered typos, but those are minor. The central definitions are not tuned to force the advertised conclusions; the main conjecture is stated as open. The paper's one strong positive result, the Albanese-finite case, is unaffected by the gap.\n\nWho benefits: algebraic geometers and Hodge-theorists working on L2 cohomology and Euler characteristics. The paper deserves a serious referee, but the referee should ask for either a proof of the missing descent lemma or a downgrading of Corollary 7.7 to a conditional statement. I would not desk-reject it; I would send it out with a request for major revision, focused on filling or honestly qualifying the GKF half.","headline":"Solid framework and a clean proof for the Albanese-finite case, but the generalized Kodaira fibration claim has a genuine induction gap.","tokens_in":19681,"tokens_out":4484,"would_cite":true,"duration_ms":44304,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14F35","14F45","14C30","32S35"],"pacs":[],"model":"deepseek-v4-flash","headline":"A new vanishing property links hyperbolic fundamental groups to nonnegative Euler characteristics.","keywords":["Kollár-hyperbolic","V-hyperbolic","perverse sheaves","mixed Hodge modules","étale fundamental group","Euler characteristics","vanishing theorem","Kodaira fibrations"],"falsifier":"Computing, for any V-hyperbolic smooth projective $d$-fold $X$, a value of $p$ with $(-1)^{d-p}\\chi(\\Omega_X^p)<0$ would refute Proposition 3.6; equivalently, finding a Kollár-hyperbolic variety $X$, a closed normal subgroup $H$ of infinite index, and a perverse sheaf $P$ underlying a mixed Hodge module with a nonzero limsup of $h^i(X_n,\\pi_n^*P)/\\deg \\pi_n$ for some $i\\neq 0$ along an $H$-tower would refute Conjecture 3.3 for that pair.","tokens_in":18690,"feed_emoji":"","tokens_out":8147,"duration_ms":70202,"temperature":0.7,"pith_summary":"This paper tries to show that a strong cohomological vanishing follows from a purely topological form of hyperbolicity: no nonconstant map from a smooth projective curve may kill the étale fundamental group. It defines a variety to be V-hyperbolic when normalized cohomology of perverse sheaves underlying mixed Hodge modules vanishes away from degree zero over towers of étale covers, and proves V-hyperbolicity for smooth projective varieties with finite Albanese map and for generalized Kodaira fibrations. If the paper's conjecture that Kollár-hyperbolicity implies V-hyperbolicity is right, the same machinery would give Gromov's L2 vanishing and nonnegativity of all alternating Hodge-theoretic Euler characteristics in far greater generality. A sympathetic reader would care because these sign inequalities are the Hodge-theoretic core of the Hopf and Singer conjectures.","feed_headline":"Hyperbolic fundamental groups force nonnegative Euler characteristics","feed_subtitle":"Covers finite Albanese maps and generalized Kodaira fibrations; links L2 vanishing to Hodge-theoretic sign inequalities.","key_machinery":"The load-bearing object is V-hyperbolicity with respect to a closed normal subgroup $H$ of the profinite étale fundamental group: for every $H$-tower of connected étale covers $X_n\\to X$ with intersection $H$, and every perverse sheaf $P$ underlying a mixed Hodge module, the normalized dimensions $h^i(X_n,\\pi_n^*P)/\\deg \\pi_n$ tend to zero for all $i\\neq 0$. On abelian varieties this is verified by decomposing pullbacks into isotypic components indexed by torsion line bundles, then applying the generic vanishing theorem for Hodge modules together with a count of torsion points on algebraic subtori. On a fibration over a positive-genus curve, the decomposition theorem and vanishing-cycle functors transfer the fibre-wise vanishing to the total space.","core_discovery":"The central claim is that V-hyperbolicity is the right vanishing engine for Hodge modules: on a $d$-dimensional V-hyperbolic projective manifold, $\\chi(X,\\mathrm{Gr}^p_F \\mathrm{DR}(M))\\ge 0$ for every mixed Hodge module $M$, and in particular $(-1)^{d-p}\\chi(\\Omega_X^p)\\ge 0$ and $(-1)^d\\chi(X)\\ge 0$. The paper proves, as its main corollaries, that smooth projective varieties whose Albanese map is finite over its image are V-hyperbolic (via the generic vanishing theorem for Hodge modules on abelian varieties), and that generalized Kodaira fibrations are V-hyperbolic (via a fibration theorem over a positive-genus curve using the decomposition theorem and vanishing cycles).","pith_inferences":["If Conjecture 3.3 holds, checking the Hopf-Singer sign conjecture for aspherical projective varieties becomes a purely fundamental-group problem: prove Kollár-hyperbolicity and residual finiteness, and the Euler characteristic signs follow with no further Hodge theory.","The fibration theorem gives an inductive criterion that may extend V-hyperbolicity to other fibred classes, such as subvarieties of hermitian locally symmetric spaces of noncompact type, which the paper lists as Kollár-hyperbolic but does not settle.","The normalized-limit definition suggests a computational probe: one could search over small perverse sheaves and explicit towers of covers for a counterexample with limsup greater than zero, which would separate V-hyperbolicity from Kollár-hyperbolicity if the conjecture fails.","The inequality for $\\chi(X,\\mathrm{Gr}^p_F\\mathrm{DR}(M))$ likely holds uniformly in $p$, so one could test sharper Hodge-theoretic bounds, such as multiplicities of the graded pieces, rather than only alternating sums."],"forward_implications":["Smooth projective varieties with finite Albanese map satisfy $(-1)^{d-p}\\chi(\\Omega_X^p)\\ge 0$ for every $p$ and $(-1)^d\\chi(X)\\ge 0$.","Generalized Kodaira fibrations, including surfaces uniformized by the ball, satisfy the same Hodge-theoretic Euler characteristic inequalities.","For every mixed Hodge module $M$ on a V-hyperbolic projective manifold, $\\chi(X,\\mathrm{Gr}^p_F\\mathrm{DR}(M))\\ge 0$; this refines the Arakelov inequalities to arbitrary coefficients and arbitrary Hodge filtrations.","Every V-hyperbolic variety is Kollár-hyperbolic; if the converse conjecture holds, the Singer conjecture follows for aspherical projective manifolds with residually finite fundamental group."],"supporting_citations":[{"why":"Supplies the generic vanishing theorem for Hodge modules on abelian varieties used to prove that abelian varieties are V-hyperbolic.","marker":"[PS]"},{"why":"Supplies the structure theorem for torsion points on algebraic subsets of tori used in the counting argument for abelian varieties.","marker":"[SA]"},{"why":"Provides the Lück approximation identifying the tower limit with L2-Betti numbers, connecting V-hyperbolicity to L2 cohomology.","marker":"[L1]"},{"why":"Supplies the decomposition theorem for perverse sheaves under proper maps, used in the fibration theorem.","marker":"[S1]"},{"why":"Supplies the theory of mixed Hodge modules and the description of their underlying perverse sheaves.","marker":"[S2]"},{"why":"Supplies the canonical sheaf construction and its pushforward formula used in the finite-cover theorem.","marker":"[S3]"},{"why":"Supplies the vanishing-cycle formalism used to transfer vanishing from fibres to the total space.","marker":"[D]"},{"why":"Supplies Hirzebruch-Riemann-Roch, which converts the normalized cohomology limits into Euler characteristic inequalities.","marker":"[F]"},{"why":"States the conjecture that V-hyperbolicity is designed to verify for mixed Hodge modules.","marker":"[AMW]"},{"why":"Introduced the Kähler-hyperbolic L2 vanishing program that the present notion of V-hyperbolicity adapts and generalizes.","marker":"[G]"}],"fun_headline_variants":["V-hyperbolicity yields Euler characteristic inequalities","Nonnegative Euler signs for V-hyperbolic varieties","Finite Albanese and Kodaira fibrations: Euler bounds","Hodge vanishing forces Euler characteristic signs"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the fibres of the fibration have the vanishing property with respect to the induced subgroup of their fundamental group; for generalized Kodaira fibrations this holds inductively, but for a general Kollár-hyperbolic variety it is exactly the paper's open conjecture, so the machinery does not yet cover the full class.","fun_headline_variants_meta":{"raw":{"variants":["V-hyperbolicity yields Euler characteristic inequalities","Nonnegative Euler signs for V-hyperbolic varieties","Finite Albanese and Kodaira fibrations: Euler bounds","Hodge vanishing forces Euler characteristic signs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000478,"raw_usage":{"total_tokens":2378,"prompt_tokens":968,"completion_tokens":1410,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":584,"completion_tokens_details":{"reasoning_tokens":1349}},"tokens_in":584,"tokens_out":1410,"duration_ms":11939,"temperature":1.0,"reasoning_tokens":1349,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T16:28:45.365435+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Computing, for any V-hyperbolic smooth projective $d$-fold $X$, a value of $p$ with $(-1)^{d-p}\\chi(\\Omega_X^p)<0$ would refute Proposition 3.6; equivalently, finding a Kollár-hyperbolic variety $X$, a closed normal subgroup $H$ of infinite index, and a perverse sheaf $P$ underlying a mixed Hodge module with a nonzero limsup of $h^i(X_n,\\pi_n^*P)/\\deg \\pi_n$ for some $i\\neq 0$ along an $H$-tower would refute Conjecture 3.3 for that pair.","supporting_citations":[],"review_version":2}