🔢 mathematics

Intermediate hyperbolicity of varieties supporting a variation of Hodge structure

This paper establishes that for a smooth complex projective variety supporting a polarizable variation of Hodge structure with an immersive period map, the logarithmic cotangent bundles are L-big and, under quasi-unipotent monodromy conditions, Viehweg-big for sufficiently high degrees, with explicit bounds provided for locally symmetric varieties and moduli spaces of quintic threefolds via the study of augmented base loci and higher degree characteristic subvarieties.

Original authors: Éloan Rapion

Published 2026-08-25

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Éloan Rapion

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of modern mathematics, there is a branch dedicated to understanding the shape and structure of spaces that exist in complex dimensions. These are not the flat surfaces of a tabletop or the simple curves of a road, but intricate, multi-layered geometries that can twist and fold in ways our three-dimensional intuition cannot easily grasp. Within this field, mathematicians study how these spaces can be filled with patterns of numbers and symmetries, known as variations of Hodge structure. Think of these patterns as a sophisticated way of organizing information across the space, where every point holds a specific, structured set of data that changes smoothly as you move from one location to another. When these patterns are "polarizable," they come with a built-in measure of size and angle, allowing mathematicians to ask deep questions about the geometry of the space itself. A central question in this area is whether these spaces are "hyperbolic," a property that essentially means they are rigid and resistant to being stretched or flattened, much like a sphere is different from a flat sheet of paper. Understanding this rigidity helps mathematicians classify these complex shapes and predict how they behave under various transformations.

A recent paper by Éloan Rapion tackles a specific and challenging aspect of this problem: determining exactly how "rigid" these spaces are when they support these special patterns of data. The author focuses on a particular type of geometric object called a vector bundle, which can be visualized as a collection of tiny, attached arrows or directions at every point of the space. The paper investigates the "positivity" of these bundles, a technical term that describes how much the bundle curves and twists in a way that suggests abundance and richness. The main discovery is that for a wide range of these spaces, these bundles are not just present, but are "big" in a very strong sense. This means they contain enough independent directions to define the space's shape in a robust way, preventing the space from collapsing into something simpler. The author proves that if the underlying pattern of data changes in a sufficiently complex manner at even a single point, then these bundles are large enough to control the geometry of the entire space.

The research goes further by establishing a precise threshold for when this "bigness" becomes even stronger, a property the author calls "Viehweg-bigness." This stronger form of positivity implies that the space is not only rigid but also possesses a high degree of freedom in how it can be mapped onto other shapes. To find this threshold, the author developed a method to count the dimensions of certain subspaces where the geometric data fails to change. If the dimension of the space is larger than this count, the bundle is guaranteed to be strongly positive. The paper provides a concrete example using the moduli space of smooth quintic threefolds, which is a vast geometric landscape that parametrizes all possible shapes of a specific type of five-dimensional surface defined by a polynomial equation of degree five. In this specific case, the author calculated that the bundle becomes strongly positive for dimensions greater than ninety. This result was achieved by running extensive computer calculations on the algebraic equations that define these shapes, pushing the limits of current computational power to verify the theoretical bounds.

The paper also explores a special class of spaces known as locally symmetric varieties, which arise from the study of highly regular, repeating patterns in complex geometry. For these spaces, the author introduces a new concept called "higher degree characteristic subvarieties." These are specific, smaller shapes hidden inside the larger space that act as a kind of geometric fingerprint. The author proves that these fingerprints are exactly the same as the regions where the bundle fails to be strongly positive. This equivalence is a powerful result because it links two seemingly different ways of looking at the space: one through the lens of curvature and the other through the lens of algebraic equations. The proof relies on a deep connection between the geometry of the space and the algebraic symmetries that generate it, showing that the rigid structure of the space is dictated by the same rules that govern its underlying symmetries.

By combining these insights, the paper establishes a clear picture of the intermediate hyperbolicity of these varieties. It shows that the rigidity of the space is not a binary property but a spectrum that depends on the degree of the differential forms being studied. The author demonstrates that for low degrees, the space might not be fully rigid, but as the degree increases, the space becomes increasingly constrained and "big." This finding refines our understanding of the boundary between flexible and rigid geometries. The work confirms that for a broad class of complex spaces, the presence of a rich variation of Hodge structure forces the geometry to be expansive and robust. The results are not merely theoretical suggestions but are mathematically proven theorems, derived from a careful analysis of curvature, algebraic structures, and the behavior of these spaces under finite coverings. The paper concludes that the geometry of these spaces is deeply intertwined with the algebraic data they carry, and that by studying the "size" of the bundles associated with this data, we can unlock the fundamental nature of the spaces themselves.

Technical Summary: Intermediate Hyperbolicity of Varieties Supporting a Variation of Hodge Structure

Problem Statement
The paper investigates the positivity properties of vector bundles of logarithmic differential forms, $\Omega^p_{\bar{V}}(\log D)$ , on a smooth complex projective variety $\bar{V}$ equipped with a normal crossing divisor $D$ . Specifically, it addresses the case where the open variety $V = \bar{V} \setminus D$ supports a complex polarizable variation of Hodge structure (C-PVHS) with an immersive period map at some point. While previous results established positivity for the logarithmic cotangent bundle ( $p=1$ ) and the canonical bundle ( $p=\dim V$ ), the behavior of intermediate degrees $1 < p < \dim V$ remained less understood. The central question is whether these intermediate bundles exhibit "intermediate hyperbolicity," characterized by notions of bigness such as L-bigness and Viehweg-bigness.

Methodology
The author employs a synthesis of variational Hodge theory, complex differential geometry, and o-minimal geometry. The core methodology involves:

Metric Analysis and Curvature: The study utilizes the Hodge metric induced by the polarization of the C-PVHS. By analyzing the curvature of the Higgs field $\theta$ and its conjugate $\theta^*$ , the author constructs a singular Hermitian metric on the tautological line bundle $\mathcal{O}_{\mathbb{P}}(1)$ over the projectivized bundle $\mathbb{P}\Omega^p_{\bar{V}}(\log D)$ . The negativity properties of the Hodge metric on the Higgs bundle are shown to imply semipositivity of the curvature of $\mathcal{O}_{\mathbb{P}}(1)$ .
Augmented Base Loci: The positivity of the vector bundles is translated into geometric properties of the augmented base locus $B_+(\mathcal{O}_{\mathbb{P}}(1))$ . Using analytic versions of Nakamaye's theorem (Tosatti) and Boucksom's results on non-Kähler loci, the paper relates the non-vanishing of sections to the behavior of the curvature form.
Infinitesimal Variations and Decomposition: A key technical step involves the study of "complex polarizable infinitesimal variations of Hodge structure" (C-PIVHS). By applying Schur's lemma within a semi-simple category of these structures, the author proves a decomposition theorem (Theorem 3.13) that allows for the analysis of the rank of iterates of the Higgs field $\theta^{i,j}$ . This leads to a "rank criterion" determining when the augmented base locus is restricted.
O-Minimal Geometry: For the specific case of locally symmetric varieties, the proof that certain characteristic subvarieties are Zariski closed relies on Peterzil and Starchenko's o-minimal Chow lemma. This requires establishing that these subvarieties are definable in the o-minimal structure $\mathbb{R}_{an, \exp}$ , utilizing the superrigidity of arithmetic lattices and the work of Klingler, Ullmo, and Yafaev.

Key Contributions and Results

L-Bigness for All Degrees: The paper proves that if the period map of a C-PVHS is immersive at a point, then $\Omega^p_{\bar{V}}(\log D)$ is L-big for all $1 \le p \le \dim V$ (Theorem 1.1). This generalizes prior results by Brunebarbe, Cadorel, Zuo, and Totaro which were limited to $p=1$ and $p=\dim V$ .
Viehweg-Bigness via Rank Criteria: Under specific "Torelli type" and "Calabi-Yau type" hypotheses regarding the injectivity and rank of the Higgs field iterates, the author provides a method to determine an integer $m$ such that $\Omega^p_{\bar{V}}(\log D)$ is Viehweg-big for all $p > m$ (Theorem 1.2). This establishes a threshold for "stronger" positivity.
Application to Moduli Spaces: The theory is applied to the fine moduli space of smooth quintic threefolds. By computing the relevant rank in the Jacobian ring of the Fermat quintic, the author shows that $\Omega^p_{\bar{M}}(\log D)$ is Viehweg-big for $91 \le p \le 101$ (Theorem 1.4). The value 91 is noted as a computational bound that may be improved.
Locally Symmetric Varieties: For locally symmetric varieties $X$ $X$ (quotients of bounded symmetric domains), the paper introduces "higher degree characteristic subvarieties" $S_p$ $S_{p}$ , generalizing Mok's characteristic subvariety ( $p=1$ $p = 1$ ).
- It is proven that $S_p$ coincides with the intersection of the augmented base locus and the fiber over $X$ (Theorem 1.12).
- A complete characterization is given: $\Omega^p_{\bar{X}}(\log D)$ is Viehweg-big if and only if $p > l$ , where $l$ is the maximal dimension of the kernel of the Riemann curvature tensor $R(v, \bar{v})$ (Theorem 1.5).
- Explicit values for $l$ are provided for various domains (e.g., complex balls, polydiscs, moduli of abelian varieties).

Significance and Claims
The paper claims to establish a unified framework for understanding the intermediate hyperbolicity of varieties supporting variations of Hodge structure. By linking the algebraic geometry of augmented base loci with the differential geometry of Higgs fields and curvature, it extends the scope of positivity results beyond the canonical and cotangent bundles.

The significance lies in:

Generalization: Moving from extremal degrees ( $p=1, \dim V$ ) to arbitrary intermediate degrees $p$ .
Explicit Criteria: Providing concrete, computable conditions (via the rank of Higgs field iterates) to determine the threshold for Viehweg-bigness.
Geometric Characterization: For locally symmetric varieties, the result equates the algebraic notion of the augmented base locus with the geometric notion of characteristic subvarieties defined by curvature kernels, generalizing Mok's work to higher degrees.
Methodological Integration: The successful application of o-minimal geometry to prove Zariski closedness of characteristic subvarieties in the context of locally symmetric varieties represents a novel technical bridge between model theory and complex algebraic geometry.

The author notes that while the results are optimal for locally symmetric varieties, the bounds for general moduli spaces (like the quintic threefolds) are currently limited by computational constraints and may be improved with further calculation. The paper does not claim to resolve the hyperbolicity of all such varieties but provides a robust set of sufficient conditions and a structural understanding of the obstructions.

More like this