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

This paper establishes that a quasi-compact Kähler manifold admitting a complex polarized variation of Hodge structures with zero-dimensional fibers is algebraically hyperbolic and satisfies the generalized big Picard theorem, while also demonstrating that a finite étale cover of such a manifold admits a compactification where the boundary complement is Picard hyperbolic and all non-boundary subvarieties are of general type.

The Gist

Imagine you are exploring a vast, mysterious garden called $U$. This garden is beautiful, but it has a tricky feature: it's missing some parts (like a fence is broken, or a section is open to the void). In mathematical terms, this is a "quasi-compact" space.

The author of this paper, Ya Deng, is asking a very specific question about this garden: Is it "hyperbolic"?

In the world of complex geometry, "hyperbolic" doesn't mean it's cold or fast. It means the garden is rigid and restrictive. It's a place where you cannot wander around freely without hitting a wall. If you try to draw a path (a holomorphic map) through this garden, the rules of the universe force that path to behave in very strict ways.

Here is the breakdown of the paper's discoveries, using simple analogies.

1. The "Big Picard" Rule: The Hole in the Fence

Imagine you are walking toward a hole in the garden's fence (the boundary). In normal gardens, you might be able to walk right up to the hole and keep going forever, or the path might get messy and undefined.

The Big Picard Theorem is a famous rule that says: "If you try to walk toward a hole in a hyperbolic garden, you must be able to finish your walk smoothly. You can't just vanish or get stuck in chaos."

Deng's Discovery:
He proves that if your garden $U$ is built using a special mathematical blueprint called a "Variation of Hodge Structures" (VHS), then this rule holds true. Even if the garden has weird, jagged edges or the rules of the garden change slightly as you move (non-uniform monodromy), the "Big Picard" rule still applies. You can always extend your path to the edge without breaking the laws of mathematics.

2. The "Algebraic" Trap: No Loitering

Imagine a garden where you are allowed to draw any shape you want. In a "non-hyperbolic" garden, you could draw a giant, lazy circle that takes up a lot of space but doesn't really go anywhere.

In an Algebraically Hyperbolic garden, the rules are stricter:

• The Rule: If you draw a closed loop (a curve) in the garden, it must be complicated. It has to twist and turn enough to have a high "genus" (like a pretzel with many holes).
• The Metaphor: You cannot draw a simple, flat circle here. The garden forces every path to be "busy" and complex. If a path is too simple, it's not allowed to exist in the garden.

Deng proves that his special gardens (built with VHS) are so restrictive that they force every path to be this complicated. This means the garden is "algebraically hyperbolic."

3. The "Covering" Trick: The Magic Carpet Ride

Here is the most surprising part. Sometimes, a garden looks messy and full of holes. But what if you could put on a pair of special glasses (a finite étale cover) that changes your perspective?

Deng shows that for any garden built with his VHS blueprint, there exists a "magic carpet" (a finite cover $\tilde{U}$) that you can fly over. When you land on this new version of the garden:

1. The Boundaries become Clear: The messy edges are now well-defined.
2. The "General Type" Rule: Any island or sub-garden you find inside this new version (that isn't part of the boundary) is a "General Type" garden. In math-speak, this means it's a "rich" garden full of complex structures, not a barren desert.
3. Total Control: On this new version, every type of hyperbolicity (Picard, Kobayashi, Brody, Algebraic) kicks in simultaneously. The garden becomes a fortress where no simple paths can survive.

The Secret Weapon: The "Curved Floor"

How did Deng prove all this? He didn't just look at the garden; he built a special floor for it.

• The Analogy: Imagine the garden has a floor made of a special material (a Finsler metric).
• The Property: This floor is negatively curved. Think of a saddle shape or a Pringles chip.
• The Effect: If you try to roll a ball (a path) on a negatively curved surface, it naturally wants to spread out and speed up. But in this mathematical garden, the curvature is so strong that it actually stops the ball from moving in simple ways. It forces the ball to curve back or hit a boundary.

Deng constructed this "saddle-shaped floor" using the deep geometry of Hodge Theory (which relates to how shapes vibrate and change). He showed that this floor exists even when the garden's edges are messy, and this floor is what forces all the hyperbolic rules to work.

Why Does This Matter?

Before this paper, mathematicians knew these rules worked for very specific, perfect gardens (like quotients of bounded symmetric domains). But many real-world mathematical gardens are messier.

Deng's work is like saying: "It doesn't matter how messy the garden looks or how weird the edges are. If it's built with this specific Hodge blueprint, it is fundamentally rigid, complex, and hyperbolic."

He unified several previous results (by Nadel, Rousseau, Brunebarbe, etc.) into one giant theorem, showing that the "hyperbolic nature" is a universal property of these structures, not just a feature of perfect, symmetric ones.

Summary in One Sentence

Ya Deng proved that any complex garden built with a specific "Hodge blueprint" is so mathematically rigid that you can't draw simple paths through it, and if you look at it through a special "magic lens," every part of it becomes a fortress of complexity.

Technical Summary

Here is a detailed technical summary of the paper "Big Picard theorems and algebraic hyperbolicity for varieties admitting a variation of Hodge structures" by Ya Deng.

1. Problem Statement and Context

The paper addresses the hyperbolicity properties of quasi-compact Kähler manifolds $U$ that admit a complex polarized variation of Hodge structures (C-PVHS) with a quasi-finite period map (i.e., the fibers of the period map are zero-dimensional).

The Core Challenge:
While the hyperbolicity of quotients of bounded symmetric domains by torsion-free arithmetic lattices is well-established (via works by Nadel, Rousseau, Brunebarbe, and Cadorel), extending these results to general C-PVHS presents significant obstacles:

1. Non-discrete Monodromy: Unlike $\mathbb{Z}$-PVHS, the monodromy group $\Gamma$ of a C-PVHS may act non-discretely on the period domain $D$, potentially making the quotient $D/\Gamma$ non-Hausdorff.
2. Non-quasi-unipotent Monodromy: The local monodromies at infinity for C-PVHS are not necessarily quasi-unipotent (a property guaranteed for $\mathbb{Z}$-PVHS by Borel's theorem).
3. Limitations of O-minimal Geometry: Previous breakthroughs (e.g., Bakker–Brunebarbe–Tsimerman) relied heavily on o-minimal geometry and the tameness of arithmetic quotients. These tools are difficult to apply when the monodromy group is not arithmetic or acts non-discretely.

The Goal:
To prove that such manifolds $U$ are Picard hyperbolic and algebraically hyperbolic, and to establish similar hyperbolicity properties for the compactifications of finite étale covers of $U$, using purely complex-analytic and Hodge-theoretic methods, avoiding o-minimal geometry.

---

2. Methodology and Technical Strategy

The author employs a strategy centered on the construction of negatively curved Finsler metrics derived from the geometry of Hodge bundles.

A. Refined Positivity of Griffiths Line Bundles

• Griffiths Line Bundle: For a system of Hodge bundles, Griffiths constructed a line bundle with semipositive curvature. Deng refines this by extending the bundle over the boundary divisor $D$ of a compactification $Y$.
• Simpson-Mochizuki Extension: Utilizing the work of Simpson and Mochizuki on harmonic bundles, the author extends the Hodge metric to the boundary, handling cases where local monodromies are not unipotent.
• Big Line Bundle Construction: By taking high tensor powers and twisting by the boundary divisor, the author constructs a big line bundle $L$ contained within a specific stage $E_{p_0, q_0}$ of a constructed system of log Hodge bundles. Crucially, $L \otimes \mathcal{O}(-D)$ remains big.

B. Iteration of Higgs Fields (Infinitesimal Torelli)

• The author iterates the Higgs field $\theta$ to construct morphisms from the tangent bundle (specifically $T_Y(-\log D)$) to the dual of the line bundle $L$.
• Theorem 3.9 (Infinitesimal Torelli-type): It is proven that the first iteration of the Higgs field is generically injective. This ensures that the constructed metric is non-degenerate on a dense open set.

C. Construction of Negatively Curved Finsler Metrics

• Convex Combination: The author constructs a Finsler metric $F$ on the logarithmic tangent bundle $T_Y(-\log D)$ by taking a convex sum of metrics induced by the iterated Higgs fields.
• Curvature Estimate: Using the curvature properties of the Hodge metric and the Griffiths line bundle, the author proves that this Finsler metric satisfies a differential inequality:
  $$dd^c \log |\gamma'(t)|_F^2 \geq \gamma^* \omega$$
  where $\omega$ is a smooth Kähler form on the compactification. This inequality implies that the metric has negative holomorphic sectional curvature in a generalized sense.

D. The Finite Étale Cover Strategy (for Theorem B)

To handle the general case where the period map might not be immersive everywhere or monodromy is problematic, the author constructs a finite étale cover $\tilde{U} \to U$:

• Residual Finiteness: Using the residual finiteness of the linear monodromy group (Malcev's theorem), a cover is chosen such that the monodromy around boundary components is either trivial or the ramification index is arbitrarily high.
• Handling Singularities: This allows the construction of a new system of log Hodge bundles on the cover where the "bad" monodromy is either removed or the ramification is sufficient to absorb the singularities, enabling the construction of a strictly negative curvature metric on the compactification itself (not just the log tangent bundle).

---

3. Key Contributions and Results

Theorem A: Hyperbolicity of the Original Manifold

Let $U$ be a quasi-compact Kähler manifold admitting a C-PVHS with zero-dimensional period map fibers.

• Picard Hyperbolicity: Any holomorphic map $f: \Delta^* \to U$ extends to a holomorphic map $\bar{f}: \Delta \to Y$ (where $Y$ is a smooth Kähler compactification).
• Algebraic Hyperbolicity: $U$ is algebraically hyperbolic. Specifically, for any curve $C \subset Y$ not contained in the boundary, $2g(\tilde{C}) - 2 + i(C, D) \geq \epsilon \deg_\omega C$.
• Borel Hyperbolicity: As a consequence, $U$ is Borel hyperbolic (any holomorphic map from a quasi-projective variety to $U$ is algebraic).
• Significance: This generalizes the Bakker–Brunebarbe–Tsimerman result (which required $\mathbb{Z}$-PVHS) to the complex case without assuming unipotent monodromy or o-minimal geometry.

Theorem B: Hyperbolicity of Compactifications of Finite Étale Covers

There exists a finite étale cover $\tilde{U} \to U$ such that for any projective compactification $X$ of $\tilde{U}$ with boundary $\tilde{D} = X \setminus \tilde{U}$:

1. General Type: Any irreducible subvariety of $X$ not contained in $\tilde{D}$ is of general type.
2. Picard Hyperbolicity Modulo $\tilde{D}$: Maps from punctured disks extend across the puncture unless their image lies in $\tilde{D}$.
3. Brody/Kobayashi Hyperbolicity Modulo $\tilde{D}$: No non-constant entire curves exist outside $\tilde{D}$.
4. Algebraic Hyperbolicity Modulo $\tilde{D}$: The log-algebraic hyperbolicity inequality holds.

Corollary C: Application to Bounded Symmetric Domains

The results unify and generalize previous work on quotients of bounded symmetric domains by torsion-free lattices. It recovers the hyperbolicity results of Nadel, Rousseau, Brunebarbe, and Cadorel, though with a loss of effectivity regarding the level structures of the cover (due to the non-constructive nature of the residual finiteness argument).

---

4. Significance and Impact

1. Methodological Shift: The paper successfully bypasses the need for o-minimal geometry (tame geometry) for proving hyperbolicity in the context of C-PVHS. Instead, it relies on complex-analytic techniques (Finsler metrics, curvature estimates) and Hodge theory (Simpson-Mochizuki extensions). This opens the door to studying hyperbolicity in settings where the monodromy group is not arithmetic or acts non-discretely.
2. Generalization of Big Picard Theorem: It establishes a "Big Picard Theorem" for a much broader class of varieties than previously known, specifically those with non-unipotent local monodromies.
3. Unification of Results: Theorem B provides a unified framework that encompasses the hyperbolicity of moduli spaces of polarized manifolds and quotients of bounded symmetric domains, showing they share the same fundamental hyperbolic nature when viewed through the lens of C-PVHS.
4. Foundation for Future Work: The techniques developed (specifically the construction of the Finsler metric via iterated Higgs fields) have already been applied in subsequent works (e.g., by Cadorel, Deng, and Yamanoi) to prove hyperbolicity for varieties with big representations of their fundamental groups.

In summary, Ya Deng's paper resolves a major gap in the theory of hyperbolic varieties by proving that the presence of a C-PVHS with quasi-finite period map is sufficient to guarantee strong hyperbolicity properties, even in the absence of the rigid arithmetic structures previously thought necessary.