Generic Global Torelli Theorem

• Generic Global Torelli Theorem is a foundational result in complex geometry that establishes the injectivity of period maps on generic moduli loci.
• It employs analytic, metric, and deformation techniques to link Hodge-theoretic invariants with the unique classification of complex models.
• The theorem applies to moduli of Calabi–Yau, hyperkähler, and symplectic varieties, offering criteria for birational equivalence and isomorphism.

The Generic Global Torelli Theorem is a foundational result in complex algebraic and differential geometry, elucidating the relationship between the moduli of geometric structures (e.g., Calabi–Yau, hyperkähler, or symplectic varieties) and their Hodge-theoretic invariants. It sharpens classical global Torelli results by identifying loci—often "very general" in moduli space—on which the period map is injective, meaning the polarized Hodge structure or its higher-order invariants fully determine the geometric model up to expected equivalence.

1. Definitions: Torelli and Period Maps in Moduli Theory

Let $X$ be a compact complex manifold, typically Calabi–Yau, hyperkähler, or symplectic. The period map attaches to each point in a suitable "marked" moduli or Teichmüller space the data of its Hodge filtration or cohomology, encoding geometric information as a point in a homogeneous period domain $D$.

• Moduli and Torelli Spaces:
  • The Teichmüller space $\mathcal{T}$ is the universal cover of the moduli space $\mathcal{Z}_m$ of polarized and marked varieties.
  • The Torelli space $\mathcal{T}'$ is the connected component of the moduli of marked manifolds (with level structure) containing a reference variety.
  • These spaces are endowed with universal families and are modelled as analytic, complex manifolds of dimension equal to relevant Hodge numbers (e.g., $h^{n-1,1}$ for Calabi–Yau).
• Period Map and Domain:

The period map

$\Phi' : \mathcal{T}' \to D$

is holomorphic and encodes the Hodge filtration $\{F^k H^n(X)\}$, landing in a period domain $D$ determined by the Hodge–Riemann bilinear relations, and often acted upon by the arithmetic monodromy group $\Gamma \subset \mathrm{Aut}(H^n)$ (Liu et al., 2011).

• Generic Torelli Problem:

Given two points in moduli with the same period data, are the underlying geometric structures isomorphic (up to expected equivalence)? The generic global Torelli theorem answers affirmatively on a Zariski-open or dense subset of moduli, subject to explicit technical conditions.

2. Statement of Generic Global Torelli in Key Contexts

• Calabi–Yau Manifolds:

For polarized, marked Calabi–Yau manifolds of dimension $n \geq 3$, the period map $\Phi'$ is a holomorphic embedding (Liu et al., 2011). Thus, generic periods distinguish isomorphism classes in the corresponding Torelli space.

• Hyperkähler Manifolds:

On each connected component of the moduli of marked hyperkähler manifolds, the period map is locally biholomorphic (local Torelli). For "generic periods" (outside the union of Noether–Lefschetz hyperplanes), the fiber over a period is a single point; the marked manifold is uniquely determined by its period (Huybrechts, 2011, Verbitsky, 2014).

• Primitive Symplectic Varieties:

For Kähler varieties with rational Gorenstein singularities admitting a unique holomorphic symplectic form, the period map is generically injective. Two points with the same Mumford–Tate general period are bimeromorphic (Bakker et al., 2018).

• Singular Symplectic Varieties:

For varieties admitting irreducible symplectic resolutions, the period map is generically one-to-one: points with the same period are birationally equivalent (Bakker et al., 2016).

• Looijenga Pairs and Log Calabi–Yau Threefolds:

For rational surfaces with anticanonical cycles and for very general log Calabi–Yau threefolds with maximal boundary, the period map is, respectively, an analytic isomorphism and generically injective, with moduli recovered from mixed Hodge extension data (Gross et al., 2012, Lutz, 2024).

• Hypersurfaces and Elliptic Surfaces:

For very general projective hypersurfaces of large enough degree, and for generic Jacobian elliptic surfaces with constraints on genus and irregularity, the polarized Hodge structure determines the variety up to isomorphism; the generic period map is injective (Voisin, 2020Patel, 2016Shepherd-Barron, 2020).

3. Technical Hypotheses and Classification of Generic Loci

Generic global Torelli results depend on explicit geometric and Hodge-theoretic conditions.

• Unobstructedness of Deformations:

The tangent-obstruction theory for the relevant moduli space must be unobstructed. For Calabi–Yau and hyperkähler cases, Bogomolov–Tian–Todorov applies and gives smooth local moduli (1112.11631106.5573).

• Local Torelli (Infinitesimal Injectivity of Period Map):

The differential of the period map

$$d\Phi : T_{x} \mathcal{T} \to \bigoplus_{k=1}^{n} \mathrm{Hom}(F^k/F^{k+1}, F^{k-1}/F^k)$$

must be injective everywhere. Strong local Torelli—that is, identification of the tangent bundle with a Hodge subbundle—amplifies this requirement and underpins global results (Liu et al., 2015).

• Monodromy and Connectedness:

The arithmetic monodromy group must be of finite index in the relevant orthogonal group, ensuring properness/discreteness of the period image (Bakker et al., 2018Bakker et al., 2016).

• Genericity and Noether–Lefschetz/Dense Subsets:

The period map is injective outside a countable union of subvarieties where Picard rank jumps or additional symmetries arise, e.g., periods not contained in rational hyperplanes (1106.55731404.3847).

4. Proof Techniques and Geometric Structures

Central methods typical in generic global Torelli arguments include:

• Construction of Global Holomorphic Sections:

Analytic continuation of local holomorphic forms (e.g., the (n,0)-form on Calabi–Yau) yields a global section over Teichmüller space, providing a holomorphic trivialization of the top Hodge line bundle (Liu et al., 2011).

• Affine/Flat and Metric Structures on Torelli/Teichmüller Spaces:

The period domain can be embedded into a unipotent group, yielding holomorphic affine coordinates (Harish-Chandra realization). Completion of Torelli space using the Hodge metric (Kähler–Einstein) and identification as a bounded pseudoconvex domain facilitates analytic arguments proving global injectivity (Liu et al., 2015Liu et al., 2011).

• Density, Ergodicity, and Covering Arguments:

Ratner–Moore theorems substantiate ergodicity of the monodromy group action on the period domain, showing period images of generic moduli points are dense and avoiding monodromy "obstructions" (1404.38471612.07894Bakker et al., 2018).

• Birational and Bimeromorphic Equivalence:

Injectivity holds up to birational equivalence in certain singular settings. The stratification of the Kähler cone into wall–chamber decompositions by MBM classes reflects possible birational models (Bakker et al., 2016Bakker et al., 2018).

• Explicit Universal Families and Torelli Moduli:

In the case of Looijenga pairs and log Calabi–Yau threefolds with maximal boundary, explicit universal analytic families over a torus-type parameter space are constructed, with the period map realized as an actual isomorphism (1211.63672412.06925).

5. Extensions, Counterexamples, and Applications

• Classes for Which Torelli Holds:

Besides Calabi–Yau and hyperkähler, global Torelli holds generically for K3 surfaces, certain hypersurfaces, arrangements of hyperplanes, cubic threefolds, and various "Deligne–Mostow" type cases (Liu et al., 2015Patel, 2016Voisin, 2020).

• Failures and Exceptional Loci:

Generic injectivity may fail in low dimension or degree (e.g., cubic surfaces, certain bidouble covers, special automorphism configurations) or outside general moduli loci (Picard rank jumps, automorphism symmetry) (Pearlstein et al., 2017Voisin, 2020).

• Mixed Hodge-Theoretic Generalizations:

For log Calabi–Yau varieties, the mixed period map records extension classes, with full reconstruction possible for very general boundary types (Lutz, 2024).

• Implications for Moduli Theory and Arithmetic Geometry:

Generic Torelli gives complete analytic or algebraic descriptions of moduli stacks (up to admissible group quotients), provides effective moduli parameters (period points), and enables explicit recovery of geometric models from Hodge invariants in suitable generic loci (1211.63672009.03633).

6. Comparative Table: Models and Generic Torelli Theorems

Model Class	Moduli Description	Generic Torelli Result
Calabi–Yau $n \geq 3$	Torelli space, marked moduli	Period map embeds moduli; injective everywhere (Liu et al., 2011)
Hyperkähler (IHS)	Marked moduli, Teichmüller	Generically injective period map (outside NL walls) (Huybrechts, 2011)
Primitive symplectic (Singular)	Hausdorff reduction of moduli	Bimeromorphic equivalence for generic periods (Bakker et al., 2018)
Looijenga pairs	Torus-type parameter	Analytic isomorphism: period = moduli (Gross et al., 2012)
Log Calabi–Yau threefolds (max boundary)	Blow-ups of toric threefolds	Period map generically injective (mixed Hodge) (Lutz, 2024)
Projective hypersurfaces (large degree)	Classic moduli space	Generic Torelli holds except finitely many cases (Voisin, 2020)

---

For technical depth, source references, and explicit period domain constructions, see (Liu et al., 2011, Huybrechts, 2011, Bakker et al., 2018, Gross et al., 2012, Liu et al., 2015, Patel, 2016, Voisin, 2020, Lutz, 2024, Verbitsky, 2014, Bakker et al., 2016, Pearlstein et al., 2017, Shepherd-Barron, 2020).