Pith. sign in

REVIEW 2 major objections 5 minor 38 references

Euler characteristics of Koll\'ar-hyperbolic varieties

T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read A new vanishing property links hyperbolic fundamental groups to nonnegative Euler characteristics.

desk verdict Solid framework and a clean proof for the Albanese-finite case, but the generalized Kodaira fibration claim has a genuine induction gap. read the letter →

arxiv 2509.04607 v1 pith:LUM33IP3 submitted 2025-09-04 math.AG

Donu Arapura This is my paper · ORCID
classification math.AG MSC 14F3514F4514C3032S35
keywords Kollár-hyperbolicV-hyperbolicperversesheavesmixedHodgemodulesétalefundamentalgroupEulercharacteristicsvanishingtheoremKodairafibrations
topics The Hodge Conjecture
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

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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).

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

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

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

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.

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 (2)
  1. [Corollary 7.7 and Theorem 7.1(c)] 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.
  2. [Theorem 6.1] 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.
minor comments (5)
  1. [Corollary 4.3] There is a typo: "V-hyberbolic" should be "V-hyperbolic".
  2. [Proposition 2.2(e)] The word "Käher" should be "Kähler".
  3. [Lemma 7.6] 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.
  4. [Definition of generalized Kodaira fibration before Corollary 7.7] 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.
  5. [Section 3, definition of the vanishing property] The phrase "(X,H ) has is V-hyperbolic" contains a redundant "is"; this should be corrected.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main claims are proved from independent inputs rather than from their own conclusions.

full rationale

The paper defines V-hyperbolicity as a new vanishing condition and then derives consequences from that definition; the derivation is real mathematics and does not build the desired conclusions into the definition. Conjecture 3.3, which would equate Kollár-hyperbolicity with V-hyperbolicity, is explicitly left open and is not used as a premise. Corollary 0.1 is proved from Popa-Schnell generic vanishing for abelian varieties (Theorem 6.5) together with the finite-cover stability theorem 5.2; neither of these reduces to the conclusion. Corollary 0.2 is proved through the fibration theorem 7.1, whose proof uses Saito's decomposition theorem and vanishing-cycle functors, and whose fibre-vanishing hypothesis (c) is a lower-dimensional input for an induction, not a disguised form of the total-space claim. Self-citations such as [AMW], [AW], and [AP] are contextual, motivational, or comparisons of methods, and none of them is load-bearing evidence for the new results. The only caveat is that Corollary 7.7's one-line induction likely needs an unstated normalization-descent lemma for the vanishing property on singular, reducible fibres; that is a completeness/correctness issue, not circularity. Since no prediction is fitted, renamed, or imported from the authors' earlier work, the circularity score is 0.

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

No free parameters are fitted to data; the paper is purely theoretical. The axioms are standard published theorems in Hodge theory, perverse sheaves, L2 cohomology, and algebraic geometry. The only new notion is V-hyperbolicity, which is a defined property rather than an invented entity. The central claims rest on these external results, but they are clearly cited and not introduced ad hoc to force the conclusions.

assumptions (8)
  • standard math Saito's theory of (mixed) Hodge modules, including the existence of the de Rham functor Gr^p_F DR and the Hodge decomposition Hi(X,P) ⊗ C ≅ ⊕_p Hi(X, Gr^p_F DR(M)) (Theorem 1.8, citing Saito [S1, S2]).
    Foundational external theory imported throughout Sections 1, 3, 5, 6, and 7.
  • standard math Saito's decomposition theorem for proper morphisms, Rf_* P = ⊕_k pR^k f_* P [-k], with pR^k f_* P perverse (Section 7, equation 7.1).
    Used in the fibration theorem to decompose cohomology of the total space into base and fibre contributions.
  • standard math Lück's approximation theorem: for a tower of finite étale covers, the limit of normalized Betti numbers is the L2-Betti number (cited as [L1], used in Proposition 3.5).
    Connects the V-hyperbolic vanishing property to L2 cohomology of the universal cover.
  • standard math Popa-Schnell generic vanishing theorem: for a Hodge module M on an abelian variety, the loci V^i(Gr^p_F DR(M)) are proper Zariski closed subsets of the dual variety (cited as [PS, Cor 2.7], used in Theorem 6.1).
    Essential ingredient in the proof that abelian varieties are V-hyperbolic.
  • standard math Sarnak-Adams theorem on the structure of real algebraic subsets of tori (cited as [SA, Prop 1.6], used in Corollary 6.4).
    Controls the growth of torsion points inside proper algebraic subsets, a key estimate in the abelian variety proof.
  • standard math Gabber's theorem that vanishing cycle functors pψ_t and pφ_t preserve perverse sheaves and Hodge modules (invoked before Lemma 7.5).
    Required for the vanishing-cycle arguments in the fibration theorem.
  • standard math Poincaré-Verdier duality for perverse sheaves and D : PervHM(X) → PervHM(X) (used in Theorem 6.1 and Theorem 7.1).
    Gives vanishing in positive cohomological degrees from vanishing in negative degrees.
  • standard math Hirzebruch-Riemann-Roch, chi(X_n, pi_n^* Gr^p_F DR(M)) = deg(pi_n) chi(X, Gr^p_F DR(M)) (used in Proposition 3.6).
    Turns the normalized limit of h^0 into the Euler characteristic.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Euler characteristics of Koll\'ar-hyperbolic varieties." pith.science (2026). https://pith.science/paper/LUM33IP3

@misc{pith2026250904607,
  author       = {Pith},
  title        = {Pith review of: Euler characteristics of Koll\'ar-hyperbolic varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LUM33IP3}},
  note         = {Machine review of arXiv:2509.04607}
}
abstract

Call a normal complex projective variety $X$ Koll\'ar-hyperbolic if any nonconstant map from a smooth projective curve to $X$ induces a nontrivial homomorphism of \'etale fundamental groups. Examples include (a) smooth varieties with finite Albanese map, (b) normalizations of subvarieties of hermitian locally symmetric varieties of noncompact type, and (c) higher dimensional Kodaira fibrations. We conjecture that Koll\'ar-hyperbolic varieties satisfy a vanishing theorem, which says roughly that if $P$ is perverse sheaf underlying a mixed Hodge module on such a variety then the limit of normalized dimensions of the cohomology groups of $P$ are zero in nonzero degrees, where the limit is taken over a suitable tower of \'etale covers. We call such varieties V-hyperbolic. V-hyperbolic varieties satisfy a Gromov type vanishing theorem for $L^2$ cohomology, the inequalities $(-1)^d\chi(X) \ge 0$ and $(-1)^{d-p}\chi(\Omega_X^p)\ge 0$ in the smooth case, and more generally, an inequality for mixed Hodge modules conjectured under related assumptions by Maxim, Wang and the author. We prove that examples of type (a) and (c) listed above are V-hyperbolic.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 35 canonical work pages

  1. [1]

    Arapura, L

    D. Arapura, L. Maxim, B. Wang, Hodge-theoretic variants of the Hopf and Singer Conjectures, Geometry and topology of aspherical manifolds, Contemp. Math. (2025)

    work page 2025

  2. [2]

    Arapura, D

    D. Arapura, D. Patel, Nonnegativity of signed Euler characteristics of moduli of curves and abelian varieties , arXiv:2408.15788

    work page arXiv

  3. [3]

    Arapura, B

    D. Arapura, B. Wang, Perverse sheaves on varieties with large fundamental groups, J Diff. Geom. (2025)

    work page 2025

  4. [4]

    Atiyah, Elliptic operators, discrete groups and Von Neumann algebras , Colloque ``Analyse et Topologie'' en l'Honneur de Henri Cartan, Astérisque, (1976)

    M. Atiyah, Elliptic operators, discrete groups and Von Neumann algebras , Colloque ``Analyse et Topologie'' en l'Honneur de Henri Cartan, Astérisque, (1976)

    work page 1976

  5. [5]

    Barth, K

    W. Barth, K. Hulek, C. Peters, A. Van de Ven, Compact complex surfaces, Springer (2004)

    work page 2004

  6. [6]

    Beilinson, J

    A. Beilinson, J. Bernstein, P. Deligne, Faisceux pervers , Ast\'erisque 100 (1982)

    work page 1982

  7. [7]

    J. Cao, F. Xavier, Kähler parabolicity and the Euler number of compact manifolds of non-positive sectional curvature, Math. Ann. 319 (2001)

    work page 2001

  8. [8]

    Deligne, Le formalisme de cycles evanescents , SGA7, LNM 340, Springer (1973)

    P. Deligne, Le formalisme de cycles evanescents , SGA7, LNM 340, Springer (1973)

    work page 1973

Show all 38 references
  1. [9]

    Y. Deng, B. Wang, Linear Chern-Hopf-Thurston conjecture, arXiv:2405.12012

    arXiv

  2. [10]

    Y. Deng, B. Wang, L^2 -vanishing theorem and a conjecture of Koll\'ar, arXiv:2409.11399

    arXiv

  3. [11]

    Eyssidieux, La caract\'eteristique d'Euler du complexe de Gauss-Manin , J

    P. Eyssidieux, La caract\'eteristique d'Euler du complexe de Gauss-Manin , J. reine angew. Math. 490 (1997)

    1997

  4. [12]

    Fulton, Intersection theory, Springer (1984)

    W. Fulton, Intersection theory, Springer (1984)

    1984

  5. [13]

    Green, R

    M. Green, R. Lazarsfeld, Deformation theory, generic vanishing theorems, and some conjectures of Enriques, Catanese and Beauville , Invent. Math (1987)

    1987

  6. [14]

    Gromov, K\"ahler-hyperbolicity Kähler and L_2 -Hodge theory, J

    M. Gromov, K\"ahler-hyperbolicity Kähler and L_2 -Hodge theory, J. Diff. Geom. 33 (1991)

    1991

  7. [15]

    Hirzebruch, Arrangments of lines and algebraic surfaces , Arithmetic and Geometry, Vol

    F. Hirzebruch, Arrangments of lines and algebraic surfaces , Arithmetic and Geometry, Vol. II, Progr. Math., 36, Birkh¨auser, (1983), 113–140

    1983

  8. [16]

    Hotta, K

    R. Hotta, K. Takeuchi, T. Tanisaki, D-modules, perverse sheaves, and representation theory. Birkhäuser (2008)

    2008

  9. [17]

    Jabbusch, Positivity of cotangent bundles, Michigan Math

    K. Jabbusch, Positivity of cotangent bundles, Michigan Math. J. 58 (2009)

    2009

  10. [18]

    J. Jost, K. Zuo, Vanishing for L^2 -cohomology on infinite coverings of compact K\"ahler manifolds and applications in algebraic geometry, Comm. Anal. Geom. 8 (2000)

    2000

  11. [19]

    J. Jost, K. Zuo, Arakelov type inequalities for Hodge bundles over algebraic varieties. I. Hodge bundles over algebraic curves. J. Algebraic Geom. 11 (2002)

    2002

  12. [20]

    Katz, Pinceaux de Lefshetz: theoreme de existence

    N. Katz, Pinceaux de Lefshetz: theoreme de existence

  13. [21]

    Koll\'ar, Shafarevich maps and plurigenera of algebraic varieties, Invent

    J. Koll\'ar, Shafarevich maps and plurigenera of algebraic varieties, Invent. Math (1993)

    1993

  14. [22]

    Koll\'ar, Shafarevich maps and automorphic forms , Princeton U

    J. Koll\'ar, Shafarevich maps and automorphic forms , Princeton U. Press (1995)

    1995

  15. [23]

    Y. Liu, L. Maxim, and B. Wang, Aspherical manifolds, Mellin transformation and a question of Bobadilla-Koll\'ar, J. Reine Angew. Math. 781 (2021)

    2021

  16. [24]

    L\"uck, Approximating L^2 -invariants by their finite dimensional analogues

    W. L\"uck, Approximating L^2 -invariants by their finite dimensional analogues. , Geom. Funct. Anal. 4 (1994),

    1994

  17. [25]

    L\"uck, L^2 -invariants: Theory and applications to geometry and K-theory , Springer (2002)

    W. L\"uck, L^2 -invariants: Theory and applications to geometry and K-theory , Springer (2002)

    2002

  18. [26]

    Magnus, Residually finite groups, Bull

    W. Magnus, Residually finite groups, Bull. AMS (1969)

    1969

  19. [27]

    Matsumura, Commutative algebra , Benjamin/Cummings., (1980)

    H. Matsumura, Commutative algebra , Benjamin/Cummings., (1980)

    1980

  20. [28]

    Milnor, Morse theory, Princeton U Press (1963)

    J. Milnor, Morse theory, Princeton U Press (1963)

    1963

  21. [29]

    Peters, Arakelov-type inequalities for Hodge bundles., arXiv:math/0007102

    C. Peters, Arakelov-type inequalities for Hodge bundles., arXiv:math/0007102

    arXiv

  22. [30]

    M. Popa, C. Schnell, Generic vanishing theory via mixed Hodge modules, Forum Math. Sigma 1 (2013)

    2013

  23. [31]

    Sarnak, S

    P. Sarnak, S. Adams, Betti numbers of congruence groups , Israel J. Math. (1994)

    1994

  24. [32]

    Saito, Modules de Hodge polarisables, Publ

    M. Saito, Modules de Hodge polarisables, Publ. Res. Inst. Math. Sci. (1988)

    1988

  25. [33]

    Saito, Mixed Hodge modules, Publ

    M. Saito, Mixed Hodge modules, Publ. Res. Inst. Math. Sci. (1990)

    1990

  26. [34]

    Saito, On Koll\'ar's conjecture, Proc

    M. Saito, On Koll\'ar's conjecture, Proc. Sympos. Pure Math., 52, AMS (1991)

    1991

  27. [35]

    Schnell, An overview of Morihiko Saito's theory of mixed Hodge modules , International Press, (2019)

    C. Schnell, An overview of Morihiko Saito's theory of mixed Hodge modules , International Press, (2019)

    2019

  28. [36]

    Schmid, Variation of Hodge structure , Invent

    W. Schmid, Variation of Hodge structure , Invent. Math (1973)

    1973

  29. [37]

    Verdier, Stratification de Whitney et théorème de Bertini-Sard

    J.L. Verdier, Stratification de Whitney et théorème de Bertini-Sard. Invent. Math. (1976)

    1976

  30. [38]

    Voisin, Hodge theory and complex algebraic geometry II, Cambridge (2003)

    C. Voisin, Hodge theory and complex algebraic geometry II, Cambridge (2003)

    2003

Pith tools

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