REVIEW
Elliptic Calabi-Yau fivefolds and 2d (0,2) F-theory landscape
High Energy Physics - Theory · Submitted 22 Sep 2020 · 59 references
Pith's verdict: A serious and novel bid to map the 2d F-theory landscape at its extremes, but the billion-scale cone counts and the orbifold anomaly sector are not yet backed by reproducible data; referee it, and make the authors show the arithmetic.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A compact elliptic Calabi-Yau fivefold with 247,538,602,581 Kähler parameters carries the largest known 2d (0,2) F-theory gauge group, of total rank 66,239,044,388.
The reading
What carries the argument
The machinery is an elliptic fibration of a Calabi-Yau fivefold over a toric base fourfold, written as a Weierstrass model, with singular fibers over base divisors carrying gauge groups. To reach the boundary one tunes E8 Kodaira II* fibers on a dense set of toric divisors, counts the resulting simplicial cones ($n_{4D} = 2\,738\,035\,200$, $n_{3D} = 5\,479\,598\,508$, $n_{2D} = 3\,224\,195\,728$), and resolves all non-minimal loci with a prescribed blow-up sequence (15 exceptional divisors per 4-cone, 19 per 3-cone, 11 per 2-cone). The identities doing the work are the Shioda-Tate-Wazir formula $h^{1,1}(X_5) = h^{1,1}(B_4) + \mathrm{rk}(G) + 1$, the reflexive-polytope Hodge formulas, and the cone-counting dictionary that assigns $SU(2)$, $G_2$, $F_4$, and $E_8$ factors to 4d, 3d, and 2d cones and to E8 rays. In the smooth cases, gravitational anomaly cancellation reduces to $c_1(B_4) \cdot \pi_*(G_4 \cdot G_4) = 0$, with the paper proving this identity for smooth bases without gauge groups.
Extended reading notes
Core claim
The central claim is that the elliptic Calabi-Yau fivefold $X_5$ whose base $B_4$ is obtained from the polytope $\mathbb{P}^{1,1,3612,151788,932412,2175628,3263442}$ by tuning Kodaira II* fibers on $482\,632\,421$ toric divisors and blowing up all $(4,6)$, $(8,12)$, and $(12,18)$ non-minimal loci has Hodge numbers $(h^{1,1}, h^{2,1}, h^{3,1}, h^{4,1}, h^{2,2}) = (247\,538\,602\,581, 0, 0, 151\,701, 758\,522)$, and the resulting 2d (0,2) F-theory has geometric gauge group $G = E_8^{482\,632\,421} \times F_4^{3\,224\,195\,728} \times G_2^{11\,927\,989\,964} \times SU(2)^{25\,625\,222\,180}$. The carrying identities are the Shioda-Tate-Wazir decomposition $h^{1,1}(X_5) = h^{1,1}(B_4) + \mathrm{rk}(G) + 1$, with $h^{1,1}(B_4) = 181\,299\,558\,192$ assembled from $15n_{4D} + 19n_{3D} + 11n_{2D}$ exceptional divisors and $167\,873\,112$ non-toric blow-ups, together with the cone-counting dictionary assigning $SU(2)$, $G_2$, $F_4$, and $E_8$ factors to 4d, 3d, and 2d cones and to E8 rays. The mirror fivefold, obtained by an $SL(6,\mathbb{Z})$ rotation, has the same $h^{1,1}$ exchanged with $h^{4,1} = 247\,538\,602\,581$ and carries gauge group $E_8^{1285} \times F_4^{3792} \times G_2^{10092} \times SU(2)^{15108}$, giving the other known boundary of the landscape.
Load-bearing premise
The construction collapses if the toric base obtained by adding the specified rays and applying the blow-up sequence is not smooth, or if the elliptic fibration still has non-minimal loci in codimension two, three, or four; all quoted Hodge numbers and gauge-group counts depend on this.
Editorial extensions
If this is right
- If the construction is correct, these two fivefolds are the current extremal boundaries of the 2d F-theory landscape, with $h^{1,1}$ and $h^{4,1}$ each attaining the known maximum among compact elliptic Calabi-Yau fivefolds.
- The $h^{1,1}$-maximal model gives the largest geometric gauge group and largest total rank ($66\,239\,044\,388$) in the currently known 2d (0,2) supergravity landscape, and is conjectured to be maximal in the whole landscape.
- The mirror with maximal $h^{4,1}$ is the natural geometry for counting complex-structure moduli and flux vacua on a single fivefold, extending the lower-dimensional pattern.
- For smooth bases with non-Higgsable gauge groups, gravitational anomaly cancellation imposes the flux condition $c_1(B_4) \cdot \pi_*(G_4 \cdot G_4) = 0$, and the paper proves this condition automatically holds when there is no gauge group.
- For singular bases of the form $\mathbb{P}^{1,1,1,1,n}$, orbifold singularities $\mathbb{C}^4/\mathbb{Z}_n$ contribute nonzero discrete terms to the gravitational anomaly (for example $-1$ for $\mathbb{Z}_2$ and $+1$ for $\mathbb{Z}_3$), so a consistent 2d theory must include localized sectors from the singularity.
Reading between the lines
- I read the paper as strengthening the pattern that in even spacetime dimensions the F-theory landscape is bounded by the elliptic Calabi-Yau with extremal Hodge numbers; if that pattern holds, the 2d record rank $66\,239\,044\,388$ would be a candidate swampland-style bound, though the paper does not prove such a bound.
- The mirror pair's role in flux-vacuum counting is implicit: the $h^{4,1}$-maximal fivefold is the natural locus for $G_4$ fluxes, so one could test whether this single geometry dominates the 2d flux-vacuum count, paralleling the 4d story.
- A concrete testable extension is to run the same blow-up prescription on smaller truncations of the $S_{E8}$ ray set and compare the resulting counts $n_{2D}$, $n_{3D}$, $n_{4D}$ and the final Hodge numbers against the formulas in section 4.4; passing those checks would make the large-number arithmetic more robust.
- The orbifold contributions in table 8 predict localized 2d (0,2) SCFT sectors whose elliptic genera should reproduce the discrete anomaly shifts; computing those sectors from a resolved or string-coupled description would test the singular-base picture.
Original abstract
In this paper, we initiate the study of the 2d F-theory landscape based on compact elliptic Calabi-Yau fivefolds. In particular, we determine the boundary models of the landscape using Calabi-Yau fivefolds with the largest known Hodge numbers $h^{1,1}$ and $h^{4,1}$. The former gives rise to the largest geometric gauge group in the currently known 2d (0,2) supergravity landscape, which is $E_8^{482\,632\,421}\times F_4^{3\,224\,195\,728}\times G_2^{11\,927\,989\,964}\times SU(2)^{25\,625\,222\,180}$. Besides that, we systematically study the hypersurfaces in weighted projective spaces with small degrees, and check the gravitational anomaly cancellation. Moreover, we also initiate the study of singular bases in 2d F-theory. We find that orbifold singularities on the base fourfold have non-zero contributions to the gravitational anomaly.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
In this paper, we initiate the study of the 2d F-theory landscape based on compact elliptic Calabi-Yau fivefolds. In particular, we determine the boundary models of the landscape using Calabi-Yau fivefolds with the largest known Hodge numbers $h^{1,1}$ and $h^{4,1}$. The former gives rise to the largest geometric gauge group in the currently known 2d (0,2) supergravity landscape, which is $E_8^{482\,632\,421}\times F_4^{3\,224\,195\,728}\times G_2^{11\,927\,989\,964}\times SU(2)^{25\,625\,222\,180}$. Besides that, we systematically study the hypersurfaces in weighted projective spaces with small degrees, and check the gravitational anomaly cancellation. Moreover, we also initiate the study of singular bases in 2d F-theory. We find that orbifold singularities on the base fourfold have non-zero contributions to the gravitational anomaly.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | In this paper, we initiate the study of the 2d F-theory landscape based on compact elliptic Calabi-Yau fivefolds. | contribution 0.99 | 0.92 | 0.08 | asserted 0.96 |
| s1 | In particular, we determine the boundary models of the landscape using Calabi-Yau fivefolds with the largest known Hodge numbers $h^{1,1}$ and $h^{4,1}$. | contribution 0.88 | 0.95 | 0.18 | asserted 1.00 |
| s2 | The former gives rise to the largest geometric gauge group in the currently known 2d (0,2) supergravity landscape, which is $E_8^{482\,632\,421}\times F_4^{3\,224\,195\,728}\times G_2^{11\,927\,989\,964}\times SU(2)^{25\,625\,222\,180}$. | result 0.99 | 0.82 | 0.39 | asserted 1.00 |
| s3 | Besides that, we systematically study the hypersurfaces in weighted projective spaces with small degrees, and check the gravitational anomaly cancellation. | contribution 0.86 | 0.94 | 0.05 | asserted 0.99 |
| s4 | Moreover, we also initiate the study of singular bases in 2d F-theory. | contribution 1.00 | 0.94 | 0.05 | asserted 0.98 |
| s5 | We find that orbifold singularities on the base fourfold have non-zero contributions to the gravitational anomaly. | result 1.00 | 0.95 | 0.13 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v3
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
4 arXiv papers cite this in 4 sentences
Papers citing it · 1 sentence without a confident label
Cites it as background 3 papers
-
For five-folds, which correspond to compactifications to 2d [ref] , we expect some interesting effects due to the small dimensionality of the spacetime.
Generalized Symmetries in F-theory and the Topology of Elliptic Fibrations · Discussion and Outlook · 0.82
-
Compactifying F-theory on elliptically fibered Calabi-Yau manifolds leads to a vast landscape of supergravity models in even space-time dimensions [ref] , including different ways to realize standard model-like physics [ref] .
Massive Spectrum in F-theory and the Distance Conjecture · Introduction · 0.93
-
Moreover, Calabi-Yau five-folds play a role in F-theory, where upon compactification, they provide a way to systematically construct $N = (0,2)$ CFTs [ref] , which may lead to their classification.
Calabi-Yau Four/Five/Six-folds as $\mathbb{P}^n_\textbf{w}$ Hypersurfaces: Machine Learning, Approximation, and Generation · Calabi-Yau Five-folds · 0.82
What it cites · 27 sentences without a confident label
Builds on 3 papers
-
In this paper, we will extend this logic to the case of 2d (0,2) supergravity with two supercharges, which comes from F-theory on a compact elliptic Calabi-Yau fivefold [ref] .
F-theory and 2d (0,2) Theories · Introduction · 0.89
-
In this paper, we will extend this logic to the case of 2d (0,2) supergravity with two supercharges, which comes from F-theory on a compact elliptic Calabi-Yau fivefold [ref] .
The Gravitational Sector of 2d (0,2) F-theory Vacua · Introduction · 0.89
-
We first compute the ambient reflexive polytope for Calabi-Yau $d$-fold with extremal Hodge numbers, which is a generalization of the sequence (3.3) in [ref] .
Calabi-Yau fourfolds for M- and F-Theory compactifications · Calabi-Yau $d$-fold with extremal Hodge numbers · 1.00
Uses the method or tool of 7 papers
-
Finally, we checked the 2d gravitational anomaly cancellation conditions [ref] in several cases with or without non-Abelian gauge groups.
The Green-Schwarz Mechanism and Geometric Anomaly Relations in 2d (0,2) F-theory Vacua · Introduction · 0.85
-
Finally, we checked the 2d gravitational anomaly cancellation conditions [ref] in several cases with or without non-Abelian gauge groups.
The Gravitational Sector of 2d (0,2) F-theory Vacua · Introduction · 0.85
-
Finally, after we blow up the $(E_8,E_8,E_8)$ 3d cones and $(E_8,E_8)$ 2d cones according to [ref] (also see appendix [ref]), we get a base $B_toric^(3)$ with 90 652 rays and $h^1,1(B_toric^(3))=90 649$.
On the Elliptic Calabi-Yau Fourfold with Maximal $h^{1,1}$ · Maximal $h^4,1$ · 0.81
Uses data or values from 6 papers
-
For theories with four supercharges, such as 4d $N=1$ supergravity, the maximal rank of gauge group $r_G=121 328$ is given by F-theory on the elliptic Calabi-Yau fourfold $X_4$ with maximal known $h^1,1$ [ref] : (h^1,1,h^2,1,h^3,1)=(303 148,0,252) .
On the Elliptic Calabi-Yau Fourfold with Maximal $h^{1,1}$ · Introduction · 0.83
-
For theories with four supercharges, such as 4d $N=1$ supergravity, the maximal rank of gauge group $r_G=121 328$ is given by F-theory on the elliptic Calabi-Yau fourfold $X_4$ with maximal known $h^1,1$ [ref] : (h^1,1,h^2,1,h^3,1)=(303 148,0,252) .
Toric Geometry and Enhanced Gauge Symmetry of F-Theory/Heterotic Vacua · Introduction · 0.83
-
For theories with eight supercharges, such as 6d $(1,0)$ supergravity, the currently known maximal number of tensor multiplet, $T=193$, and the maximal rank of the gauge group, $r_G=296$, are both given by F-theory on the elliptic Calabi-Yau threefold $X_3$ with maximal $h^1,1$ [ref] [By “maximal” we meant the extremal Hodge numbers of Calabi-Yau manifolds as a hypersurface of weighted projective spaces, which appeared in the sequence (3.3) of [ref] .
Toric bases for 6D F-theory models · Introduction · 0.93
Compares with 1 paper
-
This divisor is similar to a single $(-2)$-curve on the base in the cases of elliptic CY3, which also has an additional contribution to $h^2,1$ of the CY3 [ref] [We thank Andreas Braun and Washington Taylor for the discussions here, in an unfinished project before.].
Toric bases for 6D F-theory models · Hypersurface of $P^1,1,1,1,n,2n+8,3n+12$ · 0.80
Cites as background 28 papers
-
The materials in section [ref] and [ref] are not new and are all covered in [ref] .
F-theory and 2d (0,2) Theories · Mathematics and physics of 2d F-theory compactifications · 0.90
-
The materials in section [ref] and [ref] are not new and are all covered in [ref] .
The Gravitational Sector of 2d (0,2) F-theory Vacua · Mathematics and physics of 2d F-theory compactifications · 0.90
-
The materials in section [ref] and [ref] are not new and are all covered in [ref] .
The Green-Schwarz Mechanism and Geometric Anomaly Relations in 2d (0,2) F-theory Vacua · Mathematics and physics of 2d F-theory compactifications · 0.90
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.