pith. sign in

arxiv: 2604.14024 · v1 · submitted 2026-04-15 · 🧮 math.AG · hep-th· math.DG

Deformations of fibered Calabi--Yau varieties

Benjamin Bakker , Kristin DeVleming , Stefano Filipazzi , Radu Laza , Jennifer Li , Roberto Svaldi , Chengxi Wang , Junyan Zhao This is my paper

Pith reviewed 2026-05-10 12:24 UTC · model grok-4.3

classification 🧮 math.AG hep-thmath.DG
keywords Calabi-Yau varietiesfibrationsdeformationsK-torsionsemiample line bundlesHodge theoryT1-lifting criterion
0
0 comments X

The pith

Small deformations of fibered smooth K-torsion varieties with H^{2} vanishing remain fibered, extending Kollár's elliptic case.

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

Kollár proved that small deformations of elliptically fibered smooth K-torsion varieties with H^{2}(X, O_X)=0 remain elliptically fibered. This paper generalizes the statement to fibrations of any kind, again under the assumption H^{2}(X, O_X)=0. The argument combines Hodge-theoretic tracking of the fibration with the T^{1}-lifting criterion of Kawamata--Ran. A broader corollary shows that semiample line bundles on smooth K-torsion varieties remain semiample up to homological equivalence even without the H^{2} condition. These preservation results describe how fibration data behaves in families of Calabi--Yau varieties.

Core claim

If X is a smooth K-torsion variety equipped with a fibration and satisfying H^{2}(X, O_X)=0, then every small deformation of X remains fibered. The proof uses Hodge theory to control the deformation of the fibration structure together with the T^{1}-lifting criterion of Kawamata--Ran. More generally, even without the vanishing of H^{2}(X, O_X), small deformations of any semiample line bundle on a smooth K-torsion variety remain semiample up to homological equivalence.

What carries the argument

Hodge-theoretic control of the fibration combined with the T^{1}-lifting criterion of Kawamata--Ran applied to semiample line bundles.

Load-bearing premise

The varieties are smooth and K-torsion so that Hodge theory and the T^{1}-lifting criterion apply directly to track the fibration or line bundle under deformation.

What would settle it

An explicit small deformation of a fibered smooth K-torsion variety with H^{2}(X, O_X)=0 whose total space is no longer fibered would falsify the main theorem.

read the original abstract

Koll\'{a}r showed that small deformations of elliptically fibered smooth $K$-torsion varieties with $H^2(X,\mathcal{O}_X)=0$ remain elliptically fibered. We extend this result to any fibered smooth $K$-torsion variety $X$ with $H^2(X,\mathcal{O}_X)=0$, using Hodge theoretic techniques and the $T^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.

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

0 major / 3 minor

Summary. The manuscript extends Kollár's theorem on the deformation-invariance of elliptic fibrations for smooth K-torsion varieties with H²(X, O_X)=0 to arbitrary fibrations, employing Hodge-theoretic methods together with the T¹-lifting criterion of Kawamata-Ran. It further derives a general statement that small deformations of semiample line bundles on smooth K-torsion varieties remain semiample up to homological equivalence, even without the vanishing assumption.

Significance. If the central arguments hold, the work provides a useful generalization of deformation results for fibered Calabi-Yau varieties, building directly on established tools (Kollár, Kawamata-Ran, Hodge theory) without introducing free parameters or ad-hoc constructions. The broader claim on semiample bundles up to homological equivalence could have wider applicability in moduli problems.

minor comments (3)
  1. [Abstract] The abstract and introduction should include a brief, explicit definition or standard reference for 'fibered' and 'K-torsion variety' to ensure the hypotheses are immediately clear to readers.
  2. [Main theorem] In the statement of the main theorem, verify that the precise conditions under which the T¹-lifting criterion applies to the fibration morphism are recorded, even if they follow from the cited literature.
  3. [Introduction] Notation for the fibration morphism and the semiample line bundle should be introduced consistently at the first appearance and used uniformly thereafter.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our manuscript, the assessment of its significance, and the recommendation of minor revision. The referee's description accurately captures both the extension of Kollár's theorem to general fibrations and the more general statement on semiample line bundles up to homological equivalence.

Circularity Check

0 steps flagged

No significant circularity; derivation builds on external theorems

full rationale

The paper's central extension of Kollár's result on preservation of elliptic fibrations under deformation to arbitrary fibrations on smooth K-torsion varieties (with H²(X, O_X)=0) proceeds via Hodge-theoretic techniques and the T¹-lifting criterion of Kawamata-Ran. These are cited as established external tools rather than derived internally. The more general claim about semiample line bundles remaining semiample up to homological equivalence is presented as a consequence of the same strategy without reducing to a self-definition, fitted parameter, or self-citation chain. No load-bearing step equates a prediction to its input by construction, and the argument remains self-contained against the stated hypotheses and prior results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard tools from algebraic geometry with no free parameters, new entities, or ad-hoc assumptions visible in the abstract.

axioms (1)
  • standard math Hodge theoretic techniques and the T¹-lifting criterion of Kawamata-Ran apply to control deformations of the fibration and semiample bundles
    Invoked in the abstract to prove preservation of the fibration structure under small deformations.

pith-pipeline@v0.9.0 · 5431 in / 1386 out tokens · 38972 ms · 2026-05-10T12:24:20.359593+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

  1. [1]

    Beauville,Vari´ et´ es K¨ ahleriennes dont la premi` ere classe de Chern est nulle, J

    [Bea83] A. Beauville,Vari´ et´ es K¨ ahleriennes dont la premi` ere classe de Chern est nulle, J. Differential Geom.18(1983), no. 4, 755–782. MR730926 [BL22] B. Bakker and C. Lehn,The global moduli theory of symplectic varieties, J. Reine Angew. Math.790(2022), 223–265. MR4472866 [Bog74] F. A. Bogomolov,The decomposition of K¨ ahler manifolds with a trivi...

    work page 1983

  2. [2]

    Deligne,Th´ eor` eme de Lefschetz et crit` eres de d´ eg´ en´ erescence de suites spectrales, Inst

    MR345969 [Del68] P. Deligne,Th´ eor` eme de Lefschetz et crit` eres de d´ eg´ en´ erescence de suites spectrales, Inst. Hautes ´Etudes Sci. Publ. Math.35(1968), 259–278. MR244265 [Don98] R. Donagi,ICMP lecture on Heterotic/F-theory duality,

    work page 1968

  3. [3]

    Douady,Le probl` eme des modules locaux pour les espacesC-analytiques compacts, Ann

    [Dou74] A. Douady,Le probl` eme des modules locaux pour les espacesC-analytiques compacts, Ann. Sci. ´Ecole Norm. Sup. (4)7(1974), 569–602. MR382729 [EV86] H. Esnault and E. Viehweg,Logarithmic de Rham complexes and vanishing theorems, Invent. Math.86(1986), no. 1, 161–194. MR853449 [Gra74] H. Grauert,Der Satz von Kuranishi f¨ ur kompakte komplexe R¨ aume...

    work page 1974

  4. [4]

    Deformations of manifolds with torsion or negative canonical bundle

    MR2583634 [Huy99] D. Huybrechts,Compact hyper-K¨ ahler manifolds: basic results, Invent. Math.135(1999), no. 1, 63–113. MR1664696 [Kaw92] Y. Kawamata,Unobstructed deformations. A remark on a paper of Z. Ran: “Deformations of manifolds with torsion or negative canonical bundle” [J. Algebraic Geom.1(1992), no. 2, 279–291; MR1144440 (93e:14015)], J. Algebrai...

    work page 1999

  5. [5]

    MR1468476 [MV96a] D. R. Morrison and C. Vafa,Compactifications ofF-theory on Calabi-Yau threefolds. I, Nuclear Phys. B473(1996), no. 1-2, 74–92. MR1409284 DEFORMATIONS OF FIBERED CALABI–YAU V ARIETIES 15 [MV96b] ,Compactifications ofF-theory on Calabi-Yau threefolds. II, Nuclear Phys. B476 (1996), no. 3, 437–469. MR1412112 [Ogu93] K. Oguiso,On algebraic f...

    work page 1996

  6. [6]

    F. Enriques

    [Vaf96] C. Vafa,Evidence forF-theory, Nuclear Phys. B469(1996), no. 3, 403–415. MR1403744 [Wah76] J. M. Wahl,Equisingular deformations of normal surface singularities. I, Ann. of Math. (2) 104(1976), no. 2, 325–356. MR422270 [Wil94a] P. M. H. Wilson,The existence of elliptic fibre space structures on Calabi-Yau threefolds, Math. Ann.300(1994), no. 4, 693–...

    work page 1996