An elliptic approach to Reid's fantasy
Pith reviewed 2026-06-27 18:20 UTC · model grok-4.3
The pith
All non-fibered Calabi-Yau threefolds in two major classes connect to fibered ones by shrinking a single divisor.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
All non-fibered Calabi-Yau threefolds in two of the largest known classes (toric hypersurfaces and complete intersections in products of projective spaces) are connected to fibered Calabi-Yau threefolds through a simple class of geometric transitions involving the shrinking of a single divisor from a fibered geometry.
What carries the argument
Single-divisor shrinking geometric transitions that connect a fibered Calabi-Yau threefold to a non-fibered one while preserving the Calabi-Yau condition.
Load-bearing premise
The described single-divisor shrinking operations constitute valid extremal transitions that preserve the Calabi-Yau condition and realize actual paths in the moduli space between the fibered and non-fibered geometries.
What would settle it
A non-fibered Calabi-Yau threefold in the toric hypersurface or complete-intersection classes that cannot be obtained by shrinking any single divisor from a fibered Calabi-Yau threefold in the same class.
read the original abstract
It is a long-standing problem to prove that the number of distinct topological types of Calabi-Yau threefolds is finite. A related proposition, Reid's fantasy, conjectures that all Calabi-Yau threefolds are connected in a single moduli space through extremal transitions. Finiteness of topological types has been proven for the class of elliptic and genus one fibered Calabi-Yau threefolds, which recently have been shown to constitute the vast majority of known Calabi-Yau threefolds; the moduli space of elliptic CY3's is connected. In this letter, we demonstrate that all non-fibered Calabi-Yau threefolds in two of the largest known classes (toric hypersurfaces and complete intersections in products of projective spaces) are connected to fibered Calabi-Yau threefolds through a simple class of geometric transitions involving the shrinking of a single divisor from a fibered geometry. This suggests that non-fibered Calabi-Yau threefolds are rare special cases that are reached by simplifying fibered Calabi-Yau threefolds, and points to a natural path towards proving finiteness and Reid's fantasy for Calabi-Yau threefolds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that all non-fibered Calabi-Yau threefolds belonging to the two largest known classes (toric hypersurfaces and complete intersections in products of projective spaces) can be reached from fibered Calabi-Yau threefolds by a single class of geometric transitions consisting of the contraction of one divisor; this is presented as evidence that non-fibered examples are rare special cases and as a step toward proving both the finiteness of topological types and Reid's fantasy for these classes.
Significance. If the claimed transitions are valid extremal transitions that preserve the Calabi-Yau condition and realize paths in the moduli space, the result would supply concrete evidence that the connected component containing elliptic and genus-one fibered threefolds already covers the great majority of known examples in these two classes, thereby reducing the problem of connectivity and finiteness to the fibered case (whose moduli space is already known to be connected).
major comments (2)
- [Abstract / main geometric construction] The central claim requires that contraction of the chosen divisor yields another Calabi-Yau threefold (i.e., the first Chern class remains zero after the transition). No explicit computation of the normal bundle of the divisor or verification that c_1 vanishes on the resulting space is supplied; without this check the statement that every non-fibered member is reached by such a transition cannot be assessed.
- [Abstract / main geometric construction] The manuscript asserts that the single-divisor shrinking operations constitute extremal transitions that connect the geometries inside a common moduli space. No local deformation argument, Hodge-number calculation, or reference to the standard criteria for extremal transitions (e.g., the existence of a path through the Kähler cone) is given to confirm that the operation is not merely a formal birational map but an actual path between the two Calabi-Yau threefolds.
minor comments (2)
- At least one fully worked example (with explicit toric data or CICY configuration matrix, the chosen divisor, and the resulting Hodge numbers) would make the construction concrete and allow direct verification.
- [Abstract] The abstract states that the two classes constitute “the vast majority of known Calabi-Yau threefolds”; a brief citation or count supporting this quantitative claim would strengthen the motivation.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. The two major points correctly identify places where the letter format omitted explicit verifications that would strengthen the claims. We address each below and will incorporate the necessary additions in the revised version.
read point-by-point responses
-
Referee: [Abstract / main geometric construction] The central claim requires that contraction of the chosen divisor yields another Calabi-Yau threefold (i.e., the first Chern class remains zero after the transition). No explicit computation of the normal bundle of the divisor or verification that c_1 vanishes on the resulting space is supplied; without this check the statement that every non-fibered member is reached by such a transition cannot be assessed.
Authors: We agree that an explicit check is desirable. In both the toric hypersurface and CICY constructions the contracted divisors are rigid toric or ambient divisors whose normal bundles are O_{D}(-1) or O_{D}(-2) by the toric fan or the complete-intersection data; the adjunction formula then shows that the canonical class of the resolved space remains trivial after contraction. We will add a short paragraph (or appendix) containing this normal-bundle computation and the resulting c_1 verification for the representative classes of divisors used in the paper. revision: yes
-
Referee: [Abstract / main geometric construction] The manuscript asserts that the single-divisor shrinking operations constitute extremal transitions that connect the geometries inside a common moduli space. No local deformation argument, Hodge-number calculation, or reference to the standard criteria for extremal transitions (e.g., the existence of a path through the Kähler cone) is given to confirm that the operation is not merely a formal birational map but an actual path between the two Calabi-Yau threefolds.
Authors: The referee is correct that a local argument is missing. Single-divisor contractions with negative normal bundle are standard extremal transitions in the CY3 literature; the Hodge-number shift is Δh^{1,1}=-1 with a compensating change in h^{2,1} consistent with the Euler characteristic, and the wall of the Kähler cone is crossed precisely by the class of the contracted divisor. We will insert a brief paragraph citing the relevant criteria (e.g., the conditions in the works of Kollár–Mori and the CY3 transition literature) together with the observed Hodge-number changes for the examples in the paper, thereby confirming that the maps are paths in the moduli space. revision: yes
Circularity Check
No circularity: geometric constructions are independent of inputs
full rationale
The paper's central claim rests on explicit geometric constructions (single-divisor shrinking transitions from fibered to non-fibered CY3s in toric hypersurface and CICY classes) that connect the two classes while preserving the Calabi-Yau condition. No equations, fitted parameters, self-definitional loops, or load-bearing self-citations appear in the provided abstract or described derivation chain; the argument is a direct enumeration of birational operations rather than a reduction of a prediction to its own fitted inputs or prior self-citations. The result is therefore self-contained against external geometric benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Finiteness and connectedness results for elliptic and genus-one fibered Calabi-Yau threefolds hold.
Forward citations
Cited by 1 Pith paper
-
The Sharp Edges of Calabi-Yau Manifolds: Designing Symmetric Models for Ricci-flat Metrics
Surveys Calabi-Yau literature and symmetries, characterizes isometries, introduces volume ratio formula on CICYs, and proposes symmetry-aware GNN model for Ricci-flat metrics.
Reference graph
Works this paper leans on
-
[1]
Reid, The moduli space of 3-folds with k= 0 may nevertheless be irreducible, Mathematische Annalen278, 329 (1987)
M. Reid, The moduli space of 3-folds with k= 0 may nevertheless be irreducible, Mathematische Annalen278, 329 (1987)
1987
-
[2]
T. C. Collins, An introduction to conifold transitions (2025), arXiv:2509.01002 [math.DG]
arXiv 2025
-
[3]
P. S. Green and T. H¨ ubsch, Connecting moduli spaces of calabi-yau threefolds, Communications in mathematical physics119, 431 (1988)
1988
-
[4]
P. S. Green and T. H¨ ubsch, Possible phase transitions among calabi-yau compactifications, Physical review let- ters61, 1163 (1988)
1988
-
[5]
Candelas, P
P. Candelas, P. S. Green, and T. H¨ ubsch, Rolling among calabi-yau vacua, Nuclear Physics B330, 49 (1990)
1990
-
[6]
S.-S. Wang, On the connectedness of the standard web of calabi-yau 3-folds and small transitions, arXiv preprint arXiv:1603.03929 (2016)
Pith/arXiv arXiv 2016
-
[7]
T.-m. Chiang, B. R. Greene, M. Gross, and Y. Kanter, Black hole condensation and the web of calabi-yau man- ifolds, arXiv preprint hep-th/9511204 (1995)
Pith/arXiv arXiv 1995
-
[8]
Grassi, On minimal models of elliptic threefolds, Math
A. Grassi, On minimal models of elliptic threefolds, Math. Ann.290, 287 (1991)
1991
-
[9]
Gross, A finiteness theorem for elliptic calabi-yau threefolds, Duke Math
M. Gross, A finiteness theorem for elliptic calabi-yau threefolds, Duke Math. J.76, 271 (1994)
1994
-
[10]
Kawamata, On the cone of divisors of calabi-yau fiber spaces, arXiv preprint alg-geom/9701006 (1997)
Y. Kawamata, On the cone of divisors of calabi-yau fiber spaces, arXiv preprint alg-geom/9701006 (1997)
Pith/arXiv arXiv 1997
-
[11]
Filipazzi, C
S. Filipazzi, C. D. Hacon, R. Svaldi,et al., Boundedness of elliptic calabi-yau threefolds, Journal of the European Mathematical Society , 1 (2024)
2024
-
[12]
L. B. Anderson, X. Gao, J. Gray, and S.-J. Lee, Fibrations in CICY Threefolds, JHEP10, 077, arXiv:1708.07907 [hep-th]
-
[13]
Y.-C. Huang and W. Taylor, Fibration structure in toric hypersurface Calabi-Yau threefolds, JHEP03, 172, arXiv:1907.09482 [hep-th]
arXiv 1907
-
[14]
Anderson, J
L. Anderson, J. Gray, R. Nally, and W. Taylor, Work in progress,
-
[15]
L. Anderson, J. Gray, R. Nally, and W. Taylor, Transitions to fibered CY3s: software and data, https://doi.org/10.5281/zenodo.20563319 (2026)
-
[16]
M. Kreuzer and H. Skarke, Complete classification of re- flexive polyhedra in four-dimensions, Adv. Theor. Math. Phys.4, 1209 (2000), arXiv:hep-th/0002240
Pith/arXiv arXiv 2000
-
[17]
”Kreuzer and H
M. ”Kreuzer and H. Skarke, Reflexive polyhedra in 4 dimensions,http://hep.itp.tuwien.ac.at/ ~kreuzer/ CY/CYcy.html
- [18]
-
[19]
H. Skarke, String dualities and toric geometry: An Introduction, Chaos Solitons Fractals10, 543 (1999), arXiv:hep-th/9806059
Pith/arXiv arXiv 1999
-
[20]
Y.-C. Huang and W. Taylor, Comparing elliptic and toric 6 hypersurface Calabi-Yau threefolds at large Hodge num- bers, JHEP02, 087, arXiv:1805.05907 [hep-th]
-
[21]
V. V. Batyrev, Dual polyhedra and mirror symmetry for Calabi-Yau hypersurfaces in toric varieties, J. Alg. Geom. 3, 493 (1994), arXiv:alg-geom/9310003
Pith/arXiv arXiv 1994
-
[22]
P. Berglund and T. Hubsch, A Generalized Construc- tion of Calabi-Yau Models and Mirror Symmetry, SciPost Phys.4, 009 (2018), arXiv:1611.10300 [hep-th]
Pith/arXiv arXiv 2018
-
[23]
N. MacFadden and E. Sheridan, Calabi-Yau Threefolds from Vex Triangulations, (2025), arXiv:2512.14817 [hep- th]
Pith/arXiv arXiv 2025
-
[24]
W. Taylor, Y.-N. Wang, and Y. Yu, Statistics of Base Polytopes in F-theory, (2025), arXiv:2509.13252 [hep- th]
arXiv 2025
-
[25]
In the language of these papers,∇isalmost pseudoreflexive, and (∇ ◦)◦ is the pseudoreflexive closureof∇, which is always reflexive for polytopes of dimensiond≤4
This result is proven in [45, 46]. In the language of these papers,∇isalmost pseudoreflexive, and (∇ ◦)◦ is the pseudoreflexive closureof∇, which is always reflexive for polytopes of dimensiond≤4
-
[26]
Artebani, P
M. Artebani, P. Comparin, and R. Guilbot, Families of calabi–yau hypersurfaces in q-fano toric varieties, Journal de Math´ ematiques Pures et Appliqu´ ees106, 319 (2016)
2016
-
[27]
P. M. Wilson, The k¨ ahler cone on calabi-yau threefolds, Inventiones mathematicae107, 561 (1992)
1992
-
[28]
Avram, P
A. Avram, P. Candelas, D. Janˇ ci´ c, and M. Mandelberg, On the connectedness of the moduli space of calabi-yau manifolds, Nuclear Physics B465, 458–472 (1996)
1996
-
[29]
Fulton,Introduction to toric varieties, 131 (Princeton university press, 1993)
W. Fulton,Introduction to toric varieties, 131 (Princeton university press, 1993)
1993
-
[30]
Koll´ ar, Deformations of elliptic calabi-yau manifolds, Recent advances in algebraic geometry417, 254 (2015)
J. Koll´ ar, Deformations of elliptic calabi-yau manifolds, Recent advances in algebraic geometry417, 254 (2015)
2015
-
[31]
Oguiso, On algebraic fiber space structures on a calabi-yau 3-fold, International Journal of Mathematics 4, 439 (1993)
K. Oguiso, On algebraic fiber space structures on a calabi-yau 3-fold, International Journal of Mathematics 4, 439 (1993)
1993
-
[32]
Wilson, The existence of elliptic fibre space structures on calabi-yau threefolds, Mathematische Annalen300, 693 (1994)
P. Wilson, The existence of elliptic fibre space structures on calabi-yau threefolds, Mathematische Annalen300, 693 (1994)
1994
-
[33]
Yau, Compact Three-dimensional Kahler Manifolds with Zero Ricci Curvature (1986)
S.-T. Yau, Compact Three-dimensional Kahler Manifolds with Zero Ricci Curvature (1986)
1986
-
[34]
Hubsch, Calabi-yau Manifolds: Motivations and Con- structions, Commun
T. Hubsch, Calabi-yau Manifolds: Motivations and Con- structions, Commun. Math. Phys.108, 291 (1987)
1987
-
[35]
Green and T
P. Green and T. Hubsch, Calabi-yau Manifolds as Com- plete Intersections in Products of Complex Projective Spaces, Commun. Math. Phys.109, 99 (1987)
1987
-
[36]
Candelas, A
P. Candelas, A. M. Dale, C. A. Lutken, and R. Schimm- rigk, Complete Intersection Calabi-Yau Manifolds, Nucl. Phys. B298, 493 (1988)
1988
-
[37]
J. Gray, A. S. Haupt, and A. Lukas, Topological Invari- ants and Fibration Structure of Complete Intersection Calabi-Yau Four-Folds, JHEP09, 093, arXiv:1405.2073 [hep-th]
Pith/arXiv arXiv 2073
-
[38]
V. Braun, T. W. Grimm, and J. Keitel, Com- plete Intersection Fibers in F-Theory, JHEP03, 125, arXiv:1411.2615 [hep-th]
-
[39]
Gross, Primitive calabi-yau threefolds, Journal of Dif- ferential Geometry45, 288 (1997)
M. Gross, Primitive calabi-yau threefolds, Journal of Dif- ferential Geometry45, 288 (1997)
1997
-
[40]
Vafa, Evidence for F theory, Nucl
C. Vafa, Evidence for F theory, Nucl. Phys. B469, 403 (1996), arXiv:hep-th/9602022
Pith/arXiv arXiv 1996
-
[41]
D. R. Morrison and C. Vafa, Compactifications of F the- ory on Calabi-Yau threefolds. 1, Nucl. Phys. B473, 74 (1996), arXiv:hep-th/9602114
Pith/arXiv arXiv 1996
-
[42]
D. R. Morrison and C. Vafa, Compactifications of F the- ory on Calabi-Yau threefolds. 2., Nucl. Phys. B476, 437 (1996), arXiv:hep-th/9603161
Pith/arXiv arXiv 1996
-
[43]
D. Klevers, D. K. Mayorga Pena, P.-K. Oehlmann, H. Pi- ragua, and J. Reuter, F-Theory on all Toric Hypersur- face Fibrations and its Higgs Branches, JHEP01, 142, arXiv:1408.4808 [hep-th]
-
[44]
L. B. Anderson, J. Gray, Y.-H. He, S.-J. Lee, and A. Lukas, CICY package, based on methods described in arXiv:0911.1569, arXiv:0911.0865, arXiv:0805.2875, hep- th/0703249, hep-th/0702210
-
[45]
Skarke, Weight systems for toric calabi-yau varieties and reflexivity of newton polyhedra, Modern Physics Let- ters A11, 1637 (1996)
H. Skarke, Weight systems for toric calabi-yau varieties and reflexivity of newton polyhedra, Modern Physics Let- ters A11, 1637 (1996)
1996
-
[46]
Batyrev, The stringy euler number of calabi–yau hy- persurfaces in toric varieties and the mavlyutov duality, Pure and Applied Mathematics Quarterly13, 1 (2018)
V. Batyrev, The stringy euler number of calabi–yau hy- persurfaces in toric varieties and the mavlyutov duality, Pure and Applied Mathematics Quarterly13, 1 (2018)
2018
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.