pith. sign in

arxiv: 2001.04426 · v5 · submitted 2020-01-13 · 🧮 math.AG · math.CV

Big Picard theorems and algebraic hyperbolicity for varieties admitting a variation of Hodge structures

Ya Deng This is my paper

Pith reviewed 2026-05-24 15:34 UTC · model grok-4.3

classification 🧮 math.AG math.CV
keywords algebraic hyperbolicitybig Picard theoremPicard hyperbolicityvariation of Hodge structuresperiod mapgeneral typeKähler manifoldétale cover
0
0 comments X

The pith

A quasi-compact Kähler manifold admitting a polarized variation of Hodge structures with zero-dimensional period map fibers is algebraically hyperbolic.

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

The paper proves that if a quasi-compact Kähler manifold U carries a complex polarized variation of Hodge structures whose period map has zero-dimensional fibers, then U is algebraically hyperbolic and satisfies the generalized big Picard theorem. It further shows there exists a finite étale cover Ũ of U such that any projective compactification X of Ũ is Picard hyperbolic modulo the boundary and every irreducible subvariety of X not in the boundary is of general type. These statements generalize earlier hyperbolicity results for quotients of bounded symmetric domains by torsion-free lattices. A reader would care because algebraic hyperbolicity and Picard hyperbolicity restrict holomorphic maps from the line and the punctured disk, thereby constraining the geometry of many moduli spaces and other varieties equipped with Hodge structures.

Core claim

If a quasi-compact Kähler manifold U admits a complex polarized variation of Hodge structures with zero-dimensional period map fibers, then U is algebraically hyperbolic and the generalized big Picard theorem holds for U; moreover there exists a finite étale cover Ũ of U such that any projective compactification X of Ũ is Picard hyperbolic modulo X-Ũ and every irreducible subvariety of X not contained in X-Ũ is of general type.

What carries the argument

The complex polarized variation of Hodge structures whose period map has zero-dimensional fibers.

If this is right

  • U is algebraically hyperbolic.
  • The generalized big Picard theorem holds for U.
  • There exists a finite étale cover Ũ such that any projective compactification of Ũ is Picard hyperbolic modulo the boundary.
  • Every irreducible subvariety of such a compactification not contained in the boundary is of general type.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The zero-dimensionality of the period map appears to be the key rigidity condition that propagates to algebraic hyperbolicity.
  • The same Hodge-theoretic setup might be used to test hyperbolicity statements on other classes of quasi-projective varieties carrying variations of Hodge structures.
  • Dropping the zero-dimensional fiber hypothesis would likely produce counterexamples to the stated hyperbolicity conclusions.

Load-bearing premise

The quasi-compact Kähler manifold admits a complex polarized variation of Hodge structures with zero-dimensional fibers of the period map.

What would settle it

A concrete quasi-compact Kähler manifold that admits such a variation of Hodge structures yet fails algebraic hyperbolicity, for instance by admitting a non-constant holomorphic map from the complex line or by possessing an irreducible subvariety of a compactification that lies outside the boundary and is not of general type.

read the original abstract

In this paper, we study various hyperbolicity properties for a quasi-compact K\"ahler manifold $U$ which admits a complex polarized variation of Hodge structures so that each fiber of the period map is zero-dimensional. In the first part, we prove that $U$ is algebraically hyperbolic and that the generalized big Picard theorem holds for $U$. In the second part, we prove that there is a finite \'etale cover $\tilde{U}$ of $U$ from a quasi-projective manifold $\tilde{U}$ such that any projective compactification $X$ of $\tilde{U}$ is Picard hyperbolic modulo the boundary $X-\tilde{U}$, and any irreducible subvariety of $X$ not contained in $X-\tilde{U}$ is of general type. This result coarsely incorporates previous works by Nadel, Rousseau, Brunebarbe and Cadorel on the hyperbolicity of compactifications of quotients of bounded symmetric domains by torsion-free lattices.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper proves that a quasi-compact Kähler manifold U admitting a complex polarized variation of Hodge structures (VHS) with zero-dimensional period map fibers is algebraically hyperbolic and satisfies the generalized big Picard theorem. It further shows there exists a finite étale cover Ũ of U from a quasi-projective manifold such that any projective compactification X of Ũ is Picard hyperbolic modulo the boundary X-Ũ, and every irreducible subvariety of X not contained in the boundary is of general type. The results generalize prior hyperbolicity theorems for quotients of bounded symmetric domains by torsion-free lattices (Nadel, Rousseau, Brunebarbe, Cadorel) by invoking negativity properties of the period domain.

Significance. If the claims hold, the work provides a meaningful extension of algebraic and analytic hyperbolicity results to manifolds carrying VHS whose period maps are immersions. By reducing to known negativity results on period domains and prior theorems on bounded symmetric domains, it offers a unified framework that may apply to a wider class of quasi-compact Kähler manifolds. The explicit incorporation of the cited earlier works is a strength.

major comments (2)
  1. [Proof of algebraic hyperbolicity (likely §3 or §4)] The zero-dimensional fiber assumption is used to deduce that the period map is an immersion (via the holomorphic rank theorem). The manuscript should explicitly verify in the relevant section that this immersion property, combined with the negativity of the period domain, directly yields the algebraic hyperbolicity without additional hidden assumptions on the monodromy or the weight of the VHS.
  2. [Existence of étale cover and compactification statements (likely §5)] For the second part, the construction of the finite étale cover Ũ making the manifold quasi-projective (so that projective compactifications exist) is central to the Picard hyperbolicity and general type statements. The argument should clarify how the VHS data on the original Kähler U produces such a cover without circular appeal to the hyperbolicity being proved.
minor comments (2)
  1. [Introduction / Abstract] The abstract refers to the 'generalized big Picard theorem' without a brief definition or pointer to the precise statement used; adding this in the introduction would improve readability.
  2. [Preliminaries] Notation for the period map and its fibers should be introduced consistently before the main theorems to avoid ambiguity when citing the zero-dimensional condition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and the positive recommendation for minor revision. The comments help improve the clarity of the arguments. We address each major comment below and will incorporate the necessary clarifications in the revised manuscript.

read point-by-point responses

  1. Referee: [Proof of algebraic hyperbolicity (likely §3 or §4)] The zero-dimensional fiber assumption is used to deduce that the period map is an immersion (via the holomorphic rank theorem). The manuscript should explicitly verify in the relevant section that this immersion property, combined with the negativity of the period domain, directly yields the algebraic hyperbolicity without additional hidden assumptions on the monodromy or the weight of the VHS.

    Authors: We will add an explicit verification in the relevant section. The zero-dimensional fibers imply, by the holomorphic rank theorem, that the period map is an immersion. Combined with the negativity of the period domain (as established in the literature on period domains), this directly implies algebraic hyperbolicity via the standard arguments for maps into negatively curved spaces. The proof does not rely on any hidden assumptions regarding the monodromy group or the weight of the VHS beyond the polarized complex VHS setup with zero-dimensional period map fibers. We will make this chain of implications explicit to address the concern. revision: yes

  2. Referee: [Existence of étale cover and compactification statements (likely §5)] For the second part, the construction of the finite étale cover Ũ making the manifold quasi-projective (so that projective compactifications exist) is central to the Picard hyperbolicity and general type statements. The argument should clarify how the VHS data on the original Kähler U produces such a cover without circular appeal to the hyperbolicity being proved.

    Authors: The finite étale cover is constructed using the VHS data and the fact that the period map is an immersion due to zero-dimensional fibers. This allows us to lift to a cover where the manifold admits a holomorphic map to a bounded symmetric domain with appropriate properties, making it quasi-projective by known results, without using the hyperbolicity theorems proved in the first part. We will clarify this independence in the revised §5, ensuring no circular reasoning is present. The subsequent hyperbolicity and general type statements then follow from applying known results to this cover. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation relies on the zero-dimensional period map fibers implying an immersion, combined with negativity of the period domain and external prior results by Nadel, Rousseau, Brunebarbe and Cadorel on quotients of bounded symmetric domains. No self-definitional steps, no fitted parameters renamed as predictions, and no load-bearing self-citations are present; the central claims follow from standard VHS properties and cited literature without reduction to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the existence of a polarized VHS with zero-dimensional period map fibers together with standard background results in Hodge theory and algebraic geometry; no free parameters or invented entities are indicated.

axioms (1)
  • domain assumption Existence of a complex polarized variation of Hodge structures on U with zero-dimensional period map fibers
    This is the explicit setup hypothesis stated in the abstract on which both parts of the paper depend.

pith-pipeline@v0.9.0 · 5691 in / 1240 out tokens · 19683 ms · 2026-05-24T15:34:42.278030+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages · 6 internal anchors

  1. [1]

    Brotbek and Y

    D. Brotbek and Y. Brunebarbe . Arakelov-Nevanlinna inequalities for variations of Hodge structures and applications . arXiv e-prints, (2020) arXiv:2007.12957

    work page arXiv 2020

  2. [2]

    Bakker , Y

    B. Bakker , Y. Brunebarbe and J. Tsimerman . o-minimal GAGA and a conjecture of Griffiths . arXiv e-prints, (2018) arXiv:1811.12230

    work page arXiv 2018

  3. [3]

    Boucksom and S

    S. Boucksom and S. Diverio . A note on Lang's conjecture for quotients of bounded domains . arXiv e-prints, (2018) arXiv:1809.02398

    work page arXiv 2018

  4. [4]

    Bakker , B

    B. Bakker , B. Klingler and J. Tsimerman . Tame topology of arithmetic quotients and algebraicity of Hodge loci . arXiv e-prints, (2018) arXiv:1810.04801

    work page arXiv 2018

  5. [5]

    A. Borel . Some metric properties of arithmetic quotients of symmetric spaces and an extension theorem. J. Differential Geometry, 6(1972) 543--560

    work page 1972

  6. [6]

    Boucksom

    S. Boucksom . On the volume of a line bundle . Int. J. Math. , 13(2002) 1043--1063

    work page 2002

  7. [7]

    Berndtsson , M

    B. Berndtsson , M. Paun and X. Wang . Algebraic fiber spaces and curvature of higher direct images . arXiv e-prints, (2017) arXiv:1704.02279

    work page arXiv 2017

  8. [8]

    Semi-positivity from Higgs bundles

    Y. Brunebarbe . Semi-positivity from Higgs bundles . arXiv e-prints, (2017) arXiv:1707.08495

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  9. [9]

    Brunebarbe

    Y. Brunebarbe . A strong hyperbolicity property of locally symmetric varieties . Ann. Sci. \'Ec. Norm. Sup\'er. (4) , 53(2020) 1545--1560

    work page 2020

  10. [10]

    Brunebarbe

    Y. Brunebarbe . Increasing hyperbolicity of varieties supporting a variation of Hodge structures with level structures . arXiv e-prints, (2020) arXiv:2007.12965

    work page arXiv 2020

  11. [11]

    B. Cadorel . Symmetric differentials on complex hyperbolic manifolds with cusps . arXiv e-prints, (2016) arXiv:1606.05470. To appear in J. Differential Geom

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  12. [12]

    B. Cadorel . Subvarieties of quotients of bounded symmetric domains . arXiv e-prints, (2018) arXiv:1809.10978

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  13. [13]

    Cadorel , S

    B. Cadorel , S. Diverio and H. Guenancia . On subvarieties of singular quotients of bounded domains . arXiv e-prints, (2019) arXiv:1905.04212

    work page arXiv 2019

  14. [14]

    X. Chen . On algebraic hyperbolicity of log varieties. Commun. Contemp. Math., 6(2004) 513--559

    work page 2004

  15. [15]

    Campana and M

    F. Campana and M. P a un . Foliations with positive slopes and birational stability of orbifold cotangent bundles. Publ. Math., Inst. Hautes \'Etud. Sci. , 129(2019) 1--49

    work page 2019

  16. [16]

    Demailly

    J.-P. Demailly . Algebraic criteria for K obayashi hyperbolic projective varieties and jet differentials. In Algebraic geometry--- S anta C ruz 1995 , vol. 62 of Proc. Sympos. Pure Math., 285--360. Amer. Math. Soc., Providence, RI (1997)

    work page 1995

  17. [17]

    Y. Deng . On the hyperbolicity of base spaces for maximal variational families of smooth projective varieties (with an appendix by D an A bramovich) . arXiv e-prints, (2018) arXiv:1806.01666. To appear in J. Eur. Math. Soc. (JEMS)

    work page arXiv 2018

  18. [18]

    Y. Deng . A characterization of complex quasi-projective manifolds uniformized by unit balls . arXiv e-prints, (2020) arXiv:2006.16178

    work page arXiv 2020

  19. [19]

    Deng , S

    Y. Deng , S. Lu , R. Sun and K. Zuo . Picard theorems for moduli spaces of polarized varieties . arXiv e-prints, (2019) arXiv:1911.02973

    work page arXiv 2019

  20. [20]

    Fritzsche and H

    K. Fritzsche and H. Grauert . From holomorphic functions to complex manifolds. , vol. 213. New York, NY: Springer (2002)

    work page 2002

  21. [21]

    P. A. Griffiths . Periods of integrals on algebraic manifolds. I . C onstruction and properties of the modular varieties. Amer. J. Math., 90(1968) 568--626

    work page 1968

  22. [22]

    P. A. Griffiths . Periods of integrals on algebraic manifolds. II . L ocal study of the period mapping. Amer. J. Math., 90(1968) 805--865

    work page 1968

  23. [23]

    P. A. Griffiths . Periods of integrals on algebraic manifolds. III . S ome global differential-geometric properties of the period mapping. Inst. Hautes \' E tudes Sci. Publ. Math. , (1970) 125--180

    work page 1970

  24. [24]

    P. A. Griffiths . Periods of integrals on algebraic manifolds: S ummary of main results and discussion of open problems. Bull. Amer. Math. Soc., 76(1970) 228--296

    work page 1970

  25. [25]

    Javanpeykar

    A. Javanpeykar . The Lang-Vojta conjectures on projective pseudo-hyperbolic varieties . arXiv e-prints, (2020) arXiv:2002.11981

    work page arXiv 2020

  26. [26]

    Algebraicity of analytic maps to a hyperbolic variety

    A. Javanpeykar and R. A. Kucharczyk . Algebraicity of analytic maps to a hyperbolic variety . arXiv e-prints, (2018) arXiv:1806.09338

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  27. [27]

    Javanpeykar and D

    A. Javanpeykar and D. Litt . Integral points on algebraic subvarieties of period domains: from number fields to finitely generated fields . arXiv e-prints, (2019) arXiv:1907.13536

    work page arXiv 2019

  28. [28]

    S. J. Kov\'acs and M. Lieblich . Boundedness of families of canonically polarized manifolds: a higher dimensional analogue of Shafarevich's conjecture. Ann. Math. (2) , 172(2010) 1719--1748

    work page 2010

  29. [29]

    Kobayashi and T

    S. Kobayashi and T. Ochiai . Satake compactification and the great P icard theorem. J. Math. Soc. Japan, 23(1971) 340--350

    work page 1971

  30. [30]

    Kobayashi

    S. Kobayashi . Hyperbolic complex spaces, vol. 318 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin (1998)

    work page 1998

  31. [31]

    Lazarsfeld

    R. Lazarsfeld . Positivity in algebraic geometry. II , vol. 49 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin (2004). Positivity for vector bundles, and multiplier ideals

    work page 2004

  32. [32]

    A. Malcev . On isomorphic matrix representations of infinite groups . Rec. Math. Moscou, n. Ser. , 8(1940) 405--422

    work page 1940

  33. [33]

    J. S. Milne . Shimura varieties and moduli . In Handbook of moduli. Volume II , 467--548. Somerville, MA: International Press; Beijing: Higher Education Press (2013)

    work page 2013

  34. [34]

    Mochizuki

    T. Mochizuki . Asymptotic behaviour of tame harmonic bundles and an application to pure twistor D -modules. I . Mem. Amer. Math. Soc., 185(2007) xii+324

    work page 2007

  35. [35]

    D. Mumford . Hirzebruch's proportionality theorem in the non-compact case. Invent. Math. , 42(1977) 239--272

    work page 1977

  36. [36]

    A. M. Nadel . The nonexistence of certain level structures on abelian varieties over complex function fields. Ann. Math. (2) , 129(1989) 161--178

    work page 1989

  37. [37]

    C. Peters . Arakelov-type inequalities for Hodge bundles . arXiv Mathematics e-prints, (2000) math/0007102

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  38. [38]

    Pacienza and E

    G. Pacienza and E. Rousseau . On the logarithmic K obayashi conjecture. J. Reine Angew. Math., 611(2007) 221--235

    work page 2007

  39. [39]

    Peterzil and S

    Y. Peterzil and S. Starchenko . Complex analytic geometry in a nonstandard setting. In Model theory with applications to algebra and analysis. V ol. 1 , vol. 349 of London Math. Soc. Lecture Note Ser., 117--165. Cambridge Univ. Press, Cambridge (2008)

    work page 2008

  40. [40]

    Peterzil and S

    Y. Peterzil and S. Starchenko . Complex analytic geometry and analytic-geometric categories. J. Reine Angew. Math., 626(2009) 39--74

    work page 2009

  41. [41]

    Popa , B

    M. Popa , B. Taji and L. Wu . Brody hyperbolicity of base spaces of certain families of varieties. Algebra and Number Theory, 13(2019) 2205--2242

    work page 2019

  42. [42]

    Rousseau

    E. Rousseau . Hyperbolicity, automorphic forms and S iegel modular varieties. Ann. Sci. \' E c. Norm. Sup\' e r. (4) , 49(2016) 249--255

    work page 2016

  43. [43]

    Schumacher

    G. Schumacher . Positivity of relative canonical bundles and applications. Invent. Math., 190(2012) 1--56

    work page 2012

  44. [44]

    Moduli of canonically polarized manifolds, higher order Kodaira-Spencer maps, and an analogy to Calabi-Yau manifolds

    G. Schumacher . Moduli of canonically polarized manifolds, higher order Kodaira-Spencer maps, and an analogy to Calabi-Yau manifolds . arXiv e-prints, (2017) arXiv:1702.07628

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  45. [45]

    C. T. Simpson . Constructing variations of H odge structure using Y ang- M ills theory and applications to uniformization. J. Amer. Math. Soc., 1(1988) 867--918

    work page 1988

  46. [46]

    Y.-T. Siu . Extension of meromorphic maps into K\"ahler manifolds. Ann. Math. (2) , 102(1975) 421--462

    work page 1975

  47. [47]

    To and S.-K

    W.-K. To and S.-K. Yeung . Finsler metrics and K obayashi hyperbolicity of the moduli spaces of canonically polarized manifolds. Ann. of Math. (2), 181(2015) 547--586

    work page 2015

  48. [48]

    Viehweg and K

    E. Viehweg and K. Zuo . Base spaces of non-isotrivial families of smooth minimal models. In Complex geometry ( G \"ottingen, 2000) , 279--328. Springer, Berlin (2002)

    work page 2000

  49. [49]

    Viehweg and K

    E. Viehweg and K. Zuo . On the B rody hyperbolicity of moduli spaces for canonically polarized manifolds. Duke Math. J., 118(2003) 103--150

    work page 2003

  50. [50]

    K. Zuo . On the negativity of kernels of K odaira- S pencer maps on H odge bundles and applications. Asian J. Math., 4(2000) 279--301. Kodaira's issue

    work page 2000