Deformations of fibered Calabi--Yau varieties

Abstract: Kollár showed that small deformations of elliptically fibered smooth $K$-torsion varieties with $H<sup>2(X,\mathcal{O}_X)=0$ remain elliptically fibered. We extend this result to any fibered smooth $K$-torsion variety $X$ with $H<sup>2(X,\mathcal{O}_X)=0$, using Hodge theoretic techniques and the $T<sup>1$-lifting criterion of Kawamata--Ran. More generally, our strategy implies that even without the cohomological assumption, small deformations of a semiample line bundle on a smooth $K$-torsion variety remain semiample up to homological equivalence.

• The paper generalizes Kollár’s theorem by extending the deformation of elliptic fibrations to arbitrary semiample-induced fibrations on K-trivial varieties under vanishing cohomology.
• It shows that without H² vanishing, the persistence of fibration structures may fail while semiample bundles can still deform up to numerical equivalence.
• The work reveals subtle deformation behavior for subvarieties with trivial normal bundles, impacting moduli theory and birational classification.

Deformations of Fibered Calabi–Yau Varieties: Cohomological, Hodge-Theoretic, and Birational Perspectives

Introduction and Context

The paper "Deformations of fibered Calabi–Yau varieties" (2604.14024) investigates the persistence of fibration structures and the semiampleness of line bundles on Calabi–Yau and more generally $K$-torsion varieties under small deformations. Within the birational classification framework of the Minimal Model Program, $K$-torsion varieties (those with numerically trivial canonical bundle, $K_X \sim_{\mathbb Q} 0$) occupy a central position because they include Calabi–Yau, irreducible holomorphic symplectic, and abelian varieties as per the Beauville–Bogomolov theorem. Deformations of such varieties, especially their fibration structures and corresponding semiampleness properties, are fundamental both for moduli theory and for applications in mathematical physics.

A crucial prior result is due to Kollár, who showed that under a cohomological vanishing ($H^2(X, \mathcal O_X)=0$), elliptic fibrations on $K$-torsion varieties persist under small deformations. This work generalizes and refines that statement in three significant directions:

1. It extends from elliptic fibrations to arbitrary fibrations induced by semiample line bundles,
2. Describes deformation behavior with and without cohomological vanishing assumptions,
3. Analyzes the deformation theory of subvarieties with trivial normal bundle.

Statement of Main Results

Fibration and Line Bundle Deformation with Vanishing Cohomology

Theorem 1 (cf. Corollary 2.4, Theorem~2.1). Let $\mathcal{X} \to T$ be a smooth projective family of $K$-torsion varieties over a germ, with central fiber $X$ satisfying $H^2(X, \mathcal O_X) = 0$. If $f_0: X \to Y$ is a fibration induced by a semiample line bundle $K$0, then both the fibration and the property of semiampleness deform to the total space $K$1: there exists a deformation of $K$2 and a relatively semiample line bundle extending $K$3.

Strong claim: This extends Kollár’s theorem from elliptic to arbitrary fiber structures, demonstrating that the entire diagram of fibrations can be deformed in the analytic and, under algebraicity assumptions, algebraic setting.

Fibrations under General Deformations Without $K$4 Vanishing

In the absence of $K$5, the persistence of fibration structure fails in general for $K$6-torsion varieties, as evidenced by standard counterexamples involving generic abelian varieties or K3 surfaces of Picard rank 1.

However, Theorem 2 (cf. Theorem 2.1) asserts:

If along a deformation $K$7 a semiample line bundle $K$8 deforming $K$9 exists, then this deformation is semiample up to numerical equivalence on all fibers.

This claim employs the Beauville–Bogomolov decomposition, degenerates to analyzing strict Calabi–Yau, irreducible symplectic, and abelian factors, and applies the $K_X \sim_{\mathbb Q} 0$0-lifting criterion, recent results on Lagrangian fibrations [Matsushita2016], and the global invariant cycle theorem.

Noteworthy: The relative semiampleness cannot generally be improved to the statement that all deformations of a semiample bundle remain relatively semiample (cf. counterexample with Poincaré bundles on abelian varieties), making the claim sharp.

Obstructions for Trivial Normal Bundle Subvarieties

The work further examines the deformation theory of subvarieties with trivial normal bundle in $K_X \sim_{\mathbb Q} 0$1-trivial varieties, revealing that the expected unobstructedness and corresponding fibration structures frequently fail outside the strict Calabi–Yau case, via explicit examples in the hyperkähler and K3 setups.

Techniques and Proof Structure

The arguments leverage Hodge theory, deformation-theoretic tools, étale covers, and the structure of moduli space:

• $K_X \sim_{\mathbb Q} 0$2-lifting and smoothness: The deformation spaces for pairs $K_X \sim_{\mathbb Q} 0$3 and forgetful maps to the deformation space of $K_X \sim_{\mathbb Q} 0$4 are shown to be smooth and dominant using the Kawamata–Ran criterion, degeneration of the Hodge–de Rham spectral sequence, and application of the global invariant cycle theorem [Deligne].
• Hodge-theoretic vanishing: The use of $K_X \sim_{\mathbb Q} 0$5 ensures that line bundles extend in families; base-change and the Kodaira embedding theorem yield projective deformations.
• Beauville–Bogomolov decomposition: Reduces the problem to controlling the factors of Calabi–Yau, irreducible symplectic, and torus types individually, using product decompositions of both the variety and its moduli space.
• Explicit counterexamples: Abelian varieties, K3 surfaces, and their associated fibrations provide concrete situations where the generalization fails, demonstrating the necessity of the refined form of the main theorem.

Implications and Applications

The results address a central structural question for the geometry of $K_X \sim_{\mathbb Q} 0$6-torsion varieties: under which geometric and cohomological constraints do their fibrations and associated semiample line bundles persist under deformation? This has strong implications:

• For moduli theory, understanding the loci where certain fiber structures and line bundle classes persist.
• In birational geometry, ensuring the deformation invariance of Calabi–Yau fiber structures under the MMP.
• For mathematical physics, especially string theory and F-theory compactifications, where deformation of the elliptic or K3-fiber structure of Calabi–Yau threefolds is required for moduli stabilization and model building.
• The implications for the generalized abundance conjecture, which predicts semiampleness of nef line bundles up to numerical equivalence on $K_X \sim_{\mathbb Q} 0$7-torsion varieties, are sharpened: the semiampleness persists in families where the line bundle can be deformed, up to numerical equivalence.

Numerical and Structural Claims

• Sharpness: The locus in the miniversal deformation space where a line bundle $K_X \sim_{\mathbb Q} 0$8 deforms is generally a proper analytic subvariety; it need not be the whole base.
• Lifting properties: The ability to guarantee that every deformation of $K_X \sim_{\mathbb Q} 0$9 produces a numerically semiample line bundle, but not necessarily relatively semiample.
• Obstructions: Contradictory to expectations in the strictly Calabi–Yau regime, the presence of a trivial normal bundle for a subvariety in a $H^2(X, \mathcal O_X)=0$0-trivial variety does not generically yield unobstructed deformations.

Future Directions

• Moduli stratification: Analyzing the detailed structure of the loci in moduli where fibration structures persist.
• Singular and logarithmic generalizations: Extension to weakly $H^2(X, \mathcal O_X)=0$1-trivial varieties, log Calabi–Yau setups, or mildly singular degenerations, relevant for questions in the Minimal Model Program.
• Refined abundance: Establishing abundance and semiampleness statements for nef bundles in families, possibly with auxiliary structures derived from the Beauville–Bogomolov decomposition or Hodge-theoretic constraints.
• Interactions with arithmetic geometry: The behavior of the period map and arithmetic Torelli-type problems for deformations of Calabi–Yau fibered varieties, as well as potential consequences in the study of Torelli loci and arithmetic level structures.

Conclusion

This paper extends the deformation theory of fibrations on $H^2(X, \mathcal O_X)=0$2-torsion varieties, providing a nuanced picture of when semiampleness and fibration structures persist under deformations. The results illuminate the sharp boundaries imposed by cohomological and geometric constraints, resolve previously open cases, and exhibit the subtlety of deformation behavior in the broad landscape of Calabi–Yau-type geometries, with implications for both birational theory and compactification problems in string theory. The delicate interplay between Hodge-theoretic, cohomological, and birational properties established here will inform further exploration of the deformation and moduli theory of $H^2(X, \mathcal O_X)=0$3-trivial varieties and their applications in both arithmetic and physics.