REVIEW 4 major objections 6 minor 40 references
Smoothing Calabi-Yau toric hypersurfaces using the Gross-Siebert algorithm
T0 review · 4 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper shows how to smooth the boundary of a class of four-dimensional reflexive polytopes to obtain new Calabi-Yau threefolds, including 14 topological types with second Betti number one that are absent from previous lists.
desk verdict A careful, honest construction of candidate new Calabi-Yau threefolds via Gross-Siebert; the new examples are real but the existence claim is explicitly conditional on a long-standing homotopy conjecture. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the pair $(P,D)$: a four-dimensional simply decomposable reflexive polytope $P$ together with a standard Minkowski decomposition $D$ of each two-dimensional face into standard simplices. From this pair the paper constructs a polarized tropical manifold $(B,\mathcal{P},\phi)$ by introducing an integral affine structure on the boundary of $P$ via fan structures and a strictly convex piecewise-linear function built from slope data; regularity of $(P,D)$ is exactly the existence of a consistent strictly convex slope function whose empty cells are standard triangles, and regularity is what makes the Gross-Siebert smoothing applicable. Topology is read off from Gross's compactified torus fibration $X(P,D)$ over $B$: the paper proves $\chi(X(P,D)) = \sum_{\rho\in\mathrm{Faces}(P,2)}\#\{Q\in D(\rho):\dim Q=2\} - \sum_{\sigma\in\mathrm{Faces}(P^\circ,2)}\ell(\sigma^\star)^2\mathrm{Vol}(\sigma)$ and $b_2(X(P,D)) = \gamma(P,D)-3$, where $\gamma(P,D)$ is the dimension of an inverse-limit vector space built from the edges of $P$ and the summands in $D$.
What would settle it
For one of the explicit hexagon-product examples, compute the cohomology of the Kato-Nakayama space with fixed phase and compare with the model space: a mismatch in $b_2$ or in the Euler number would disprove the bridge conjecture and remove the claim that the 14 types are Calabi-Yau threefolds. As a second check, if a simultaneous smoothing of the 12 del Pezzo cone singularities in $P_6\times P_6$ exists when exactly five of the six local smoothing components coincide on one side, the paper's Conjecture 5.7 would be false.
Extended reading notes
Core claim
The paper's central claim is that sufficiently nice boundary data on a four-dimensional reflexive polytope—a simply decomposable polytope together with a standard Minkowski decomposition of each two-dimensional face—determines, through the Gross-Siebert algorithm, a smoothing of a toric log Calabi-Yau space whose general fibre is a smooth Calabi-Yau threefold. For regular data this is made precise by constructing a polarized tropical manifold and applying the Gross-Siebert reconstruction theorems. The paper then identifies the topology of the general fibre with that of a compactified torus fibration $X(P,D)$, proving that $X(P,D)$ is simply connected, that its Euler characteristic equals a combinatorial count involving two-dimensional Minkowski summands and polar-polytope volumes, and that its second Betti number is $\gamma(P,D)-3$, where $\gamma(P,D)$ is the dimension of an inverse limit of vector spaces attached to the polytope and its decomposition. Among products of reflexive polygons, the paper reports 14 topological types with $b_2=1$ absent from existing lists; for the single polytope $P_6\times P_6$ it finds five such rank-one types, and one of the global examples matches a previously predicted differential operator with integral monodromy.
Load-bearing premise
The paper computes the topological invariants on a model space built from the polytope, and the central unproved assumption is that this model has the same homotopy type as the actual fibre produced by the smoothing construction.
Editorial extensions
If this is right
- If the bridge conjecture holds, the 14 reported rank-one topological types become genuinely new simply connected Calabi-Yau threefolds, expanding the known dataset beyond the standard toric and complete-intersection constructions.
- The same algorithm reproduces several classical families, including (3,3) complete intersections in $\mathbb{P}^5$, $(2,2,3)$ and $(2,2,2,2)$ complete intersections, and Grassmannian complete intersections, so those examples are unified as special cases of one smoothing mechanism.
- The regularity condition provides a combinatorial obstruction to smoothing the non-isolated Gorenstein singularities of toric Calabi-Yau hypersurfaces; for $P_6\times P_6$ it predicts exactly which local choices of smoothing components can be made simultaneously.
- The tables of regular pairs supply a concrete list of candidate Calabi-Yau threefolds with $b_2=1$ and Euler numbers between $-56$ and $-204$, many with matching Picard-Fuchs operators, giving explicit targets for future construction and mirror-symmetry checks.
- Because the topological formulas depend only on $(P,D)$, any further regular input data yields immediate predictions for Euler number and Betti numbers without additional geometry.
Reading between the lines
- Editorial inference: running the same regularity check over the full classification of four-dimensional reflexive polytopes would likely produce many more candidate Calabi-Yau threefolds than the 14 shown here, since the paper only treats products of reflexive polygons.
- Editorial inference: the failure of regularity when exactly one or five of the six local components coincide on one side of $P_6\times P_6$ suggests a direct test of the paper's Conjecture 5.7, namely that an explicit attempt to smooth the 12 del Pezzo cone singularities in one of the excluded patterns should be obstructed.
- Editorial inference: the match with a Hadamard-square differential operator suggests that the $\chi=-72$ example admits a free $\mathbb{Z}_2$ quotient of rank one; computing the Hodge numbers of that quotient would test the mirror-symmetric prediction independently of the smoothing construction.
- Editorial inference: the bridge conjecture could be checked in individual cases by comparing the rational cohomology of the Kato-Nakayama space with that of $X(P,D)$ for one of the explicit hexagon-product examples, rather than waiting for a general proof in dimension three.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a combinatorial algorithm, based on the Gross–Siebert program, that starts from a 4-dimensional reflexive polytope P together with choices of Minkowski decompositions D of its 2-dimensional faces and produces a polarized tropical manifold (B,P,ϕ). Applying Gross–Siebert reconstruction, the pair (P,D) yields a toric log Calabi–Yau space X0(P,D) that, for regular pairs, is the central fibre of a formal degeneration whose general fibre is expected to be a smooth Calabi–Yau threefold. The paper computes topological invariants of the compactified torus fibration X(P,D) — Euler number, second Betti number, and a proxy for H^3 — and, for products of reflexive polygons, reports 14 topological types with b2=1 that do not appear in previously known lists. The main new results are Theorem 1.1 (the smoothing construction), Theorem 1.4 (the topological invariant formulas), and the tables in Appendix A, all conditional on the unproved Conjecture 1.3 that the Kato–Nakayama space of the smoothing is homotopy equivalent to X(P,D).
Significance. If Conjecture 1.3 holds, the paper provides a genuinely new and systematic source of Calabi–Yau threefolds with small Picard rank, including 14 candidate rank-one types not in existing compilations. The construction is combinatorial and parameter-free: no numerical fitting is involved, the slope-function regularity criterion is algorithmic, and the author supplies Magma code to verify the table entries. The connections to joins of elliptic curves, Hadamard products, and the Tom–Jerry smoothing components are plausible and potentially influential. The main weakness is that the advertised existence claims rest on an unproved homotopy-equivalence conjecture; this is stated honestly in the text but should be reflected in every headline claim.
major comments (4)
- [Section 1, Conjecture 1.3; Theorem 1.4; Section 5] The central advertised conclusion — 14 new topological types of Calabi–Yau threefolds with b2=1 — is conditional on Conjecture 1.3. The invariants used in Section 5 are computed on X(P,D), the compactified torus fibration over B(P,D), while the general fibre of the Gross–Siebert smoothing is modelled by the Kato–Nakayama space X_KN. The paper explicitly states that Conjecture 1.3 is not proved, saying only that it is 'not expected to be difficult in dimension three'. Under the reviewing rules I must treat this as a load-bearing gap, not a harmless remark. The abstract and Proposition 1.5 phrase the results as unconditional ('we can construct 14 topological types of Calabi–Yau threefolds'). Please mark all existence claims as conditional on Conjecture 1.3, or supply a proof of the conjecture for the regular pairs used in Tables 3–7.
- [Appendix A, Remark A.1; Proposition 1.5; abstract] The paper's headline count of '14 topological types with b2=1' is not accompanied by a precise enumeration, and Remark A.1 explicitly disclaims completeness: 'We have not checked every orbit in every class, so it remains possible that our tables are incomplete.' If the count is meant to be exact, this disclaimer directly undermines it; if it is meant to be a lower bound, that should be stated. Please provide a list of the 14 types with their invariants and the table rows that realize them, and clarify whether the enumeration is exhaustive over regular pairs (P,D) in the family considered.
- [Section 4, Lemma 4.14] The proof that the differential d: H1(X'_0,R^1ξ_*Q) → H3(X'_0,ξ_*Q) vanishes is not convincing as written. The text says that the image of ξ* has positive dimension and concludes that the image of d is trivial. Positivity of a map into H3(X,Q) does not by itself force d=0 in the displayed exact sequence. Since the formula b2(X)=γ(P,D)−3 in Theorem 4.9 depends on this vanishing, and all b2=1 examples rely on it, please give the complete spectral sequence argument or cite the exact statement in [19] whose hypotheses are verified here.
- [Section 4, Lemma 4.20] The computation of H0(X'_0,G) and H1(X'_0,G) is a load-bearing step in Lemma 4.21, but the proof is too compressed. The duality between the Čech complex (7) and the row E^{p,•}_1 of the spectral sequence is asserted without detail, and the instruction to replace the left-most zero of (7) with MQ is not justified. Please expand this into a verifiable computation, or provide a precise reference with the relevant statement and a check of its hypotheses.
minor comments (6)
- [Abstract] The phrase 'a polarised tropical manifolds' should read 'polarised tropical manifolds'.
- [Section 3.1] In the monodromy computation, the matrix displayed after the formula for T_γ uses entries involving ℓ(σ*) and ℓ(τ), but the basis in which this matrix is written is not specified. Please specify the basis explicitly.
- [Theorem 1.4 and Proposition 4.8] The Euler number formula is written with a sum over Faces(P,2) in Theorem 1.4 but over Edges(P°) in Proposition 4.8. The equality presumably follows from face–edge duality under polarity; please state this so the formulas are visibly identical.
- [Example 4.22] The symbol H′ is used in the description of the variables but is not defined. Please define it or replace it with standard notation.
- [Appendix A, table captions] The table captions report orbit counts, but the text does not state which representative in each orbit was tested for regularity. Please identify the tested representative or the method used to select it, and explain how the Magma script can reproduce the tables.
- [Section 5.1] In the displayed differential operator D, the coefficients involve powers 2^6 and 2^9 in the t^3 and t^4 terms; please check that these are written consistently with the preceding operator normalization.
Circularity Check
No circularity: the construction feeds P,D into external Gross–Siebert theorems; topological invariants are computed, not fitted, and Conjecture 1.3 is an explicit unproved bridge rather than a circular reduction.
full rationale
The paper's derivation chain is: (P,D) determines a polarised tropical manifold (B,P,φ) via Constructions 3.2 and 3.3; regularity is checked by an explicit slope-function algorithm (Propositions 2.8 and 5.6); the smoothing is obtained by applying the external Gross–Siebert reconstruction theorem [24, Theorem 1.30] and Ruddat–Siebert [37, Theorem 4.4]. Topological invariants are then computed on Gross's model X(P,D): χ by counting positive and negative vertices (Proposition 4.8), and b2 from a Leray spectral sequence together with the independently defined linear-algebra object γ(P,D) (Definition 4.16, Theorem 4.9). No parameter is fitted to the claimed outputs, and the formulas are derived rather than imposed. The flagged comparison with the author's earlier paper [35] in the proof of Proposition 4.13 and Lemma 4.21 is a stylistic pointer to a similar computation; the relevant statements are proved in the text using [20] and [14], so the self-citation is not load-bearing. Conjecture 1.3, which would identify X(P,D) with the Kato–Nakayama space of the actual general fibre, is explicitly stated as unproved and is a genuine hypothesis bridging the combinatorial model and the smoothing; it is not presented as a theorem and does not reduce the derivation to its own inputs. Remark A.1 also explicitly disclaims completeness of the orbit checks, and the comparison with Kapustka's list and Lee's constructions is an external benchmark, not an internal circular step. Therefore no load-bearing step is equivalent by construction or by self-citation to its inputs.
Assumptions & free parameters
assumptions (4)
- domain assumption Conjecture 1.3: X_KN with fixed phase is homotopy equivalent to X(P,D).
- domain assumption The Gross-Siebert reconstruction theorem [24, Theorem 1.30] and [37, Theorem 4.4] apply to the polarised tropical manifold (B,P,phi) constructed from (P,D).
- domain assumption B(P,D) is homeomorphic to S3.
- domain assumption Regularity of (P,D) is decided by the existence of a consistent strictly convex slope function V, as characterized in Proposition 2.8; the paper's examples use a Magma implementation that is not included in the text.
Cite this review
Pith. "Pith review of Smoothing Calabi-Yau toric hypersurfaces using the Gross-Siebert algorithm." pith.science (2026). https://pith.science/paper/SRN3WHVO
@misc{pith2026190902140,
author = {Pith},
title = {Pith review of: Smoothing Calabi-Yau toric hypersurfaces using the Gross-Siebert algorithm},
year = {2026},
howpublished = {\url{https://pith.science/paper/SRN3WHVO}},
note = {Machine review of arXiv:1909.02140}
}
abstract
We explain how to form a novel dataset of simply connected Calabi-Yau threefolds via the Gross-Siebert algorithm. We expect these to degenerate to Calabi-Yau toric hypersurfaces with certain Gorenstein (not necessarily isolated) singularities. In particular, we explain how to `smooth the boundary' of a class of $4$-dimensional reflexive polytopes to obtain a polarised tropical manifolds. We compute topological invariants of a compactified torus fibration over each such tropical manifold, expected to be homotopy equivalent to the general fibre of the Gross-Siebert smoothing. We consider a family of examples related to the joins of elliptic curves. Among these we find $14$ topological types with $b_2=1$ which do not appear in existing lists of known rank one Calabi-Yau threefolds.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
-
[20]
Mark Gross. Topological mirror symmetry. Invent. Math., 144(1):75–137, 2001
work page 2001
-
[35]
Lagrangian torus fibration models of Fano threefolds
Thomas Prince. Lagrangian torus fibration models of Fano threefolds. arXiv:1801.02997 [math.GT] , 2018
arXiv 2018
-
[19]
Mark Gross. Special Lagrangian fibrations. I. Topology [ MR1672120 (2000e:14066)]. In Winter School on Mirror Symmetry, Vector Bundles and Lagrangian Submanifolds (Cambridge, MA, 1999) , volume 23 of AMS/IP Stud. Adv. Math. , pages 65–93. Amer. Math. Soc., Providence, RI, 2001
work page 1999
-
[1]
G. Almkvist, C. van Enckevort, D. van Straten, and W. Zudilin. Tables of Calabi–Yau equations. arXiv:0507430 [math.AG] , 2005
work page 2005
-
[2]
Differential equations, mirror maps and zeta values
Gert Almkvist and Wadim Zudilin. Differential equations, mirror maps and zeta values. In Mirror sym- metry. V , volume 38 of AMS/IP Stud. Adv. Math. , pages 481–515. Amer. Math. Soc., Providence, RI, 2006
work page 2006
-
[3]
The versal deformation of an isolated toric Gorenstein singularity
Klaus Altmann. The versal deformation of an isolated toric Gorenstein singularity. Invent. Math. , 128(3):443–479, 1997
work page 1997
-
[4]
Real loci in (log-) Calabi-Yau manifolds via Kato-Nakayama spaces of toric degenerations
H¨ ulya Arg¨ uz and Bernd Siebert. On the real locus in the Kato-Nakayama space of logarithmic spaces with a view toward toric degenerations. arXiv:1610.07195 [math.AG] , 2016
work page Pith review arXiv 2016
-
[5]
Aspinwall, Tom Bridgeland, Alastair Craw, Michael R
Paul S. Aspinwall, Tom Bridgeland, Alastair Craw, Michael R. Douglas, Anton Kapustin, Gregory W. Moore, Mark Gross, Graeme Segal, Bal´ azs Szendr¨ oi, and P. M. H. Wilson.Dirichlet branes and mirror symmetry, volume 4 of Clay Mathematics Monographs. AMS, Providence, RI, 2009
work page 2009
Show all 40 references
-
[6]
Constructing new Calabi-Yau 3-folds and their mirrors via coni- fold transitions
Victor Batyrev and Maximilian Kreuzer. Constructing new Calabi-Yau 3-folds and their mirrors via coni- fold transitions. Adv. Theor. Math. Phys. , 14(3):879–898, 2010
2010
-
[7]
Victor V. Batyrev. Dual polyhedra and mirror symmetry for Calabi-Yau hypersurfaces in toric varieties. J. Algebraic Geom., 3(3):493–535, 1994
1994
-
[8]
Batyrev and Lev A
Victor V. Batyrev and Lev A. Borisov. On Calabi-Yau complete intersections in toric varieties. In Higher- dimensional complex varieties (Trento, 1994) , pages 39–65. de Gruyter, Berlin, 1996
1994
-
[9]
Fano 3-folds in codimension 4, Tom and Jerry
Gavin Brown, Michael Kerber, and Miles Reid. Fano 3-folds in codimension 4, Tom and Jerry. Part I. Compos. Math., 148(4):1171–1194, 2012
2012
-
[10]
Candelas, C
P. Candelas, C. A. L¨ utken, and R. Schimmrigk. Complete intersection Calabi-Yau manifolds. II. Three generation manifolds [Nuclear Phys. B306 (1988), no. 1, 113–136; MR0952965 (89g:53102)]. InProceedings of the Fourth Seminar on Quantum Gravity (Moscow, 1987) , pages 435–468....
1988
-
[11]
Candelas, M
P. Candelas, M. Lynker, and R. Schimmrigk. Calabi-Yau manifolds in weighted P4. Nuclear Phys. B , 341(2):383–402, 1990
1990
-
[12]
Calabi-Yau threefolds with small Hodge numbers
Philip Candelas, Andrei Constantin, and Challenger Mishra. Calabi-Yau threefolds with small Hodge numbers. Fortschr. Phys., 66(6):1800029, 21, 2018
2018
-
[13]
Lagrangian 3-torus fibrations
Ricardo Castano Bernard and Diego Matessi. Lagrangian 3-torus fibrations. J. Differential Geom. , 81(3):483–573, 03 2009
2009
-
[14]
Cox, John B
David A. Cox, John B. Little, and Henry K. Schenck. Toric varieties, volume 124 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2011
2011
-
[15]
Smoothing toroidal crossing spaces
Simon Felten, Matej Filip, and Helge Ruddat. Smoothing toroidal crossing spaces. arXiv:1908.11235 [math.AG], 2019
1908 arXiv
-
[16]
On threefolds with trivial canonical bundle
Robert Friedman. On threefolds with trivial canonical bundle. In Complex geometry and Lie theory (Sun- dance, UT, 1989), volume 53 of Proc. Sympos. Pure Math., pages 103–134. Amer. Math. Soc., Providence, RI, 1991
1989
-
[17]
S. Galkin. Joins and Hadamard products. talk at Steklov Mathematical Institute, during the conference ‘Categorical and analytic invariants in algebraic geometry’, 2019
2019
-
[18]
Examples of special Lagrangian fibrations
Mark Gross. Examples of special Lagrangian fibrations. In Symplectic geometry and mirror symmetry (Seoul, 2000), pages 81–109. World Sci. Publ., River Edge, NJ, 2001
2000
-
[21]
Toric degenerations and Batyrev-Borisov duality
Mark Gross. Toric degenerations and Batyrev-Borisov duality. Math. Ann., 333(3):645–688, 2005
2005
-
[22]
Mirror symmetry via logarithmic degeneration data
Mark Gross and Bernd Siebert. Mirror symmetry via logarithmic degeneration data. I. J. Differential Geom., 72(2):169–338, 2006
2006
-
[23]
Mirror symmetry via logarithmic degeneration data, II.J
Mark Gross and Bernd Siebert. Mirror symmetry via logarithmic degeneration data, II.J. Algebraic Geom., 19(4):679–780, 2010
2010
-
[24]
From real affine geometry to complex geometry
Mark Gross and Bernd Siebert. From real affine geometry to complex geometry. Ann. of Math. (2) , 174(3):1301–1428, 2011
2011
-
[25]
Integral affine structures on spheres: complete intersections
Christian Haase and Ilia Zharkov. Integral affine structures on spheres: complete intersections. Int. Math. Res. Not., (51):3153–3167, 2005. 34 T. PRINCE
2005
-
[26]
Calabi–Yau 3-folds from projective joins of del Pezzo manifolds
Daisuke Inoue. Calabi–Yau 3-folds from projective joins of del Pezzo manifolds. arXiv:1902.10040 [math.AG], 2019
1902 arXiv
-
[27]
Projections of del Pezzo surfaces and Calabi-Yau threefolds
Grzegorz Kapustka. Projections of del Pezzo surfaces and Calabi-Yau threefolds. Adv. Geom., 15(2):143– 158, 2015
2015
-
[28]
Glsms, joins, and nonperturbatively-realized geometries
Johanna Knapp and Eric Sharpe. Glsms, joins, and nonperturbatively-realized geometries. arXiv:1907.04350 [hep-th] , 2019
1907 arXiv
-
[29]
Affine structures and non-Archimedean analytic spaces
Maxim Kontsevich and Yan Soibelman. Affine structures and non-Archimedean analytic spaces. In The unity of mathematics , volume 244 of Progr. Math., pages 321–385. Birkh¨ auser Boston, Boston, MA, 2006
2006
-
[30]
Complete classification of reflexive polyhedra in four dimensions
Maximilian Kreuzer and Harald Skarke. Complete classification of reflexive polyhedra in four dimensions. Adv. Theor. Math. Phys. , 4(6):1209–1230, 2000
2000
-
[31]
Calabi-Yau threefolds with small h1,1’s from Fano threefolds
Nam-Hoon Lee. Calabi-Yau threefolds with small h1,1’s from Fano threefolds. Nuclear Phys. B , 922:384– 400, 2017
2017
-
[32]
d-Semistable Calabi–Yau threefolds of type III
Nam-Hoon Lee. d-Semistable Calabi–Yau threefolds of type III. manuscripta mathematica, 12 2018
2018
-
[33]
Benjamin Nill and G¨ unter M. Ziegler. Projecting lattice polytopes without interior lattice points. Math. Oper. Res., 36(3):462–467, 2011
2011
-
[34]
An integral affine view on joins
Thomas Prince. An integral affine view on joins. In preparation
-
[36]
Generalized special Lagrangian torus fibration for Calabi-Yau hypersurfaces in toric varieties
Wei-Dong Ruan. Generalized special Lagrangian torus fibration for Calabi-Yau hypersurfaces in toric varieties. I. Commun. Contemp. Math. , 9(2):201–216, 2007
2007
-
[37]
Period integrals from wall structures via tropical cycles, canonical coordinates in mirror symmetry and analyticity of toric degenerations
Helge Ruddat and Bernd Siebert. Period integrals from wall structures via tropical cycles, canonical coordinates in mirror symmetry and analyticity of toric degenerations. arXiv:1907.03794 [math.AG]
1907 arXiv
-
[38]
Smoothing 3-folds with trivial canonical bundle and ordinary double points
Gang Tian. Smoothing 3-folds with trivial canonical bundle and ordinary double points. In Essays on mirror manifolds, pages 458–479. Int. Press, Hong Kong, 1992
1992
-
[39]
Monodromy calculations of fourth order equations of Calabi-Yau type
Christian van Enckevort and Duco van Straten. Monodromy calculations of fourth order equations of Calabi-Yau type. In Calabi-Yau varieties and mirror symmetry. Proceedings, Workshop, Mirror Symmetry 5, Banff, Canada, December 6-11, 2003 , pages 539–559, 2003
2003
-
[40]
Calabi-Yau Operators Database
Duco van Straten. Calabi-Yau Operators Database. online. access via http://www.mathematik.uni-mainz.de/CYequations/db/. Mathematical Institute, University of Oxford, Woodstock Road, Oxford, OX2 6GG, UK E-mail address: thomas.prince@magd.ox.ac.uk
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.