Does the elliptic Calabi–Yau fourfold $\mathcal{M}_{\max}$ dominate the F-theory flux-vacuum landscape?

Taylor and Wang (2015) argued, using the Ashok–Denef–Douglas lattice-point estimate, that a single elliptically fibered Calabi–Yau fourfold $\mathcal{M}_{\max}$ with $h^{3,1}=303{,}148$ and $\chi=1{,}820{,}448$ carries of order $10^{272{,}000}$ supersymmetric F-theory flux vacua, while all other known F-theory geometries together contribute a relative fraction of order $10^{-3000}$. If correct, a typical four-dimensional F-theory vacuum with low-energy supersymmetry arises on this one geometry, whose non-Higgsable gauge group $E_8^9\times F_4^8\times(G_2\times SU(2))^{16}$ must be broken by flux to reach the Standard Model. The problem is to confirm or refute this dominance scenario: derive a realistic count of supersymmetric flux vacua on $\mathcal{M}_{\max}$ incorporating the self-duality condition on $G_4$-flux, flux quantization, and the actual existence of solutions in complex-structure moduli space (the estimate is currently bracketed only between roughly $10^{224{,}000}$ and $10^{272{,}000}$); bound the aggregate contribution of all other elliptic Calabi–Yau fourfolds, for which no finiteness theorem is known; verify the physical consistency of typical vacua; and demonstrate or exclude a viable Standard Model sector from flux breaking of a non-Higgsable $E_8$ factor.

Background

String theory admits an enormous number of metastable vacuum solutions (the "landscape"), because compactification on a small internal space can be decorated with quantized fluxes — higher-form analogues of magnetic fields threading the cycles of the compact space. In such flux compactifications the flux choices are bounded by a tadpole-cancellation condition (a Gauss-law-type constraint), but can still be exponentially many; the famous $\mathcal{O}(10^{500})$ estimate for type IIB string theory counts these choices.

F-theory is a nonperturbative formulation of type IIB string theory in which the axiodilaton varies over the compact space; it is encoded geometrically by an elliptically fibered Calabi–Yau manifold — an algebraic variety with trivial canonical class that carries a torus (elliptic) fibration. For physics in four dimensions the compactification space is an elliptically fibered Calabi–Yau fourfold (complex dimension four); its complex-structure deformations are counted by the Hodge number $h^{3,1}$, and the fluxes are four-forms ($G_4$-flux) taking values in the integral cohomology $H^4$, whose independent components number $b_4$, the fourth Betti number. The tadpole condition bounds the total flux by $Q=\chi/24$ units, where $\chi$ is the Euler characteristic. Supersymmetric vacua require the flux to be self-dual ($G_4$ equal to its Hodge star up to the sign fixed by supersymmetry), which ties each flux choice to a solution of the supersymmetry conditions in the complex-structure moduli space.

Ashok and Douglas, and Denef and Douglas, developed the standard statistical method for counting supersymmetric flux vacua: the expected number of vacua for a given geometry is approximated by the number of integer lattice points in a $b_4$-dimensional sphere of radius $\sqrt{2Q}$, evaluated through a saddle-point approximation of a theta-function integral. Strictly the method computes a sign-weighted index that becomes exact only in a limit of many fluxes, and it treats every integer flux vector as producing a vacuum.

Taylor and Wang (2015) applied this machinery to elliptic Calabi–Yau fourfolds with toric threefold bases (bases describable by combinatorial toric-geometry data). They identified the fourfold $\mathcal{M}_{\max}$, with Hodge numbers $h^{1,1}=252$, $h^{2,1}=0$, $h^{3,1}=303{,}148$, $b_4=1{,}819{,}942$, $\chi=1{,}820{,}448$ — the largest known $h^{3,1}$, previously found in toric and Landau–Ginzburg constructions of Calabi–Yau fourfolds — arising as a generic elliptic fibration over a specific toric threefold base $B_{\max}$. The Ashok–Denef–Douglas estimate gives $\mathcal{O}(10^{272{,}000})$ flux vacua on this single geometry, while all other known F-theory geometries combined are suppressed by a relative factor $\mathcal{O}(10^{-3000})$. At a generic point of its moduli space the geometry carries the "non-Higgsable" gauge group $E_8^9\times F_4^8\times(G_2\times SU(2))^{16}$ — gauge factors supported on divisors that cannot be removed without singularities — and no $SU(5)$, $SU(3)$, or even $SU(2)$ can be tuned on any further divisor, so the Standard Model gauge group could only arise from flux breaking of an $E_8$ factor.

The authors emphasized that the dominance conclusion rests on unverified approximations. The lattice-point count assumes every integer flux vector corresponds to an actual supersymmetric, self-dual solution; imposing a fixed self-duality condition heuristically reduces the estimate to $\mathcal{O}(10^{224{,}000})$, and the true number could differ parametrically. For elliptic Calabi–Yau threefolds a finiteness theorem is known (Gross 1993, using the classification of surfaces), but no fourfold analogue exists, so rival geometries — including non-toric bases or infinite families — are not excluded. The paper's own discussion lists further ways the scenario could fail: unbalanced dynamical (cosmological) weighting of vacua, geometric or flux-induced inconsistencies of the counted vacua, failure of Standard Model realization, competition from other corners of string theory such as M-theory on $G_2$ manifolds or type IIA flux ensembles, and irrelevance of the supersymmetric analysis if supersymmetry is broken at a high scale.

Problem Statement

Determine whether F-theory compactified on the elliptic Calabi–Yau fourfold $\mathcal{M}_{\max}$ dominates the ensemble of four-dimensional F-theory flux vacua — that is, confirm or refute the scenario of Taylor and Wang in which almost all 4d F-theory flux vacua with low-energy supersymmetry arise on this single geometry. The common objective is a controlled assessment of the dominance claim; its components are jointly needed for that assessment and cannot be substituted by a proxy:

1. A realistic count of supersymmetric flux vacua on $\mathcal{M}_{\max}$ that improves on the Ashok–Denef–Douglas lattice-point estimate by incorporating the self-duality condition on the $G_4$-flux, flux quantization, and the requirement that an integer flux vector actually correspond to a supersymmetric solution in the complex-structure moduli space — together with an explicit determination of whether the count, currently bracketed between roughly $10^{224{,}000}$ and $10^{272{,}000}$, is parametrically reduced (or unchanged).

2. A bound on the total contribution of all other elliptic Calabi–Yau fourfolds to the flux-vacuum ensemble sufficient to conclude that neither a single rival geometry nor the collection of all other geometries competes with $\mathcal{M}_{\max}$; or, alternatively, the construction of such a rival geometry or family.

3. An assessment of the physical consistency of typical $\mathcal{M}_{\max}$ flux vacua: whether the $G$-flux superpotential pushes vacua to singular loci (e.g. $(4,6)$ curves, meaning curves along which the Weierstrass equation describing the elliptic fibration degenerates so strongly that the low-energy supergravity description fails) or otherwise unphysical configurations, and whether all complex-structure moduli can be stabilized within the tadpole bound $Q=\chi/24\approx 75{,}852$.

4. A demonstration, or exclusion, of a viable realization of the Standard Model on $\mathcal{M}_{\max}$ through flux breaking of a non-Higgsable $E_8$ factor, including chiral matter, Yukawa couplings, and hypercharge normalization.

The scenario is confirmed if components 1–3 establish dominance with controlled errors (uncertainties in the count and the consistency analysis quantified, with no uncontrolled parametric uncertainty that could change the comparison between $\mathcal{M}_{\max}$ and the other geometries) and component 4's demonstration branch succeeds — a parametric reduction of the count that still leaves $\mathcal{M}_{\max}$ dominant does not by itself refute the scenario; it is refuted if the corrected count no longer exceeds the aggregate contribution of all other elliptic Calabi–Yau fourfolds to the flux-vacuum ensemble, a rival geometry or family is exhibited, or component 4's exclusion branch obtains (typical vacua are shown inconsistent or incompatible with Standard Model structure). Two further caveats raised in the source — the cosmological measure over vacua (whether equal weighting across geometries is dynamically justified) and competition from non-F-theory corners of string theory — bear on the extrapolation from "dominates the F-theory flux ensemble" to "dominates the string landscape"; since no methodology currently exists to weigh vacua across constructions, they are recorded here as scope boundaries on that extrapolation rather than as separate completion conditions.

References

1. Washington Taylor and Yi-Nan Wang, "The F-theory geometry with most flux vacua", JHEP 12 (2015) 164, DOI 10.1007/JHEP12(2015)164, arXiv:1511.03209, https://arxiv.org/abs/1511.03209
2. Sujay Ashok and Michael R. Douglas, "Counting flux vacua", JHEP 01 (2004) 060, DOI 10.1088/1126-6708/2004/01/060, arXiv:hep-th/0307049, https://arxiv.org/abs/hep-th/0307049
3. Frederik Denef and Michael R. Douglas, "Distributions of flux vacua", JHEP 05 (2004) 072, DOI 10.1088/1126-6708/2004/05/072, arXiv:hep-th/0404116, https://arxiv.org/abs/hep-th/0404116
4. Mark Gross, "A finiteness theorem for elliptic Calabi-Yau threefolds", Duke Math. J. 74 (1994) 271-299, DOI 10.1215/s0012-7094-94-07414-0, arXiv:alg-geom/9305002, https://arxiv.org/abs/alg-geom/9305002
5. Washington Taylor and Yi-Nan Wang, "Scanning the skeleton of the 4D F-theory landscape", JHEP 01 (2018) 111, DOI 10.1007/JHEP01(2018)111, arXiv:1710.11235, https://arxiv.org/abs/1710.11235
6. James Halverson, Cody Long, and Benjamin Sung, "Algorithmic universality in F-theory compactifications", Phys. Rev. D 96 (2017) 126006, DOI 10.1103/PhysRevD.96.126006, arXiv:1706.02299, https://arxiv.org/abs/1706.02299
7. M. C. David Marsh and Kepa Sousa, "Universal Properties of Type IIB and F-theory Flux Compactifications at Large Complex Structure", JHEP 03 (2016) 064, DOI 10.1007/JHEP03(2016)064, arXiv:1512.08549, https://arxiv.org/abs/1512.08549
8. Miranda C. N. Cheng, Gregory W. Moore, and Natalie M. Paquette, "Flux vacua: a voluminous recount", Commun. Number Theory Phys. 16 (2022) 761-800, DOI 10.4310/CNTP.2022.v16.n4.a4, arXiv:1909.04666, https://arxiv.org/abs/1909.04666
9. Iosif Bena, Johan Blåbäck, Mariana Graña, and Severin Lüst, "The tadpole problem", JHEP 11 (2021) 223, DOI 10.1007/JHEP11(2021)223, arXiv:2010.10519, https://arxiv.org/abs/2010.10519
10. Thomas W. Grimm and Jeroen Monnee, "Finiteness theorems and counting conjectures for the flux landscape", JHEP 08 (2024) 039, DOI 10.1007/JHEP08(2024)039, arXiv:2311.09295, https://arxiv.org/abs/2311.09295
11. Shing Yan Li and Washington Taylor, "Natural F-theory constructions of standard model structure from E7 flux breaking", Phys. Rev. D 106 (2022) L061902, DOI 10.1103/PhysRevD.106.L061902, arXiv:2112.03947, https://arxiv.org/abs/2112.03947
12. Shing Yan Li and Washington Taylor, "Gauge symmetry breaking with fluxes and natural Standard Model structure from exceptional GUTs in F-theory", JHEP 11 (2022) 089, DOI 10.1007/JHEP11(2022)089, arXiv:2207.14319, https://arxiv.org/abs/2207.14319
13. Jonathan Carifio, William J. Cunningham, James Halverson, Dmitri Krioukov, Cody Long, and Brent D. Nelson, "Vacuum Selection from Cosmology on Networks of String Geometries", Phys. Rev. Lett. 121 (2018) 101602, DOI 10.1103/PhysRevLett.121.101602, arXiv:1711.06685, https://arxiv.org/abs/1711.06685
14. Frederik Denef, Michael R. Douglas, Brian Greene, and Claire Zukowski, "Computational complexity of the landscape II - Cosmological considerations", Ann. Phys. 392 (2018) 93-127, DOI 10.1016/j.aop.2018.03.013, arXiv:1706.06430, https://arxiv.org/abs/1706.06430
15. Yi-Nan Wang, "On the Elliptic Calabi-Yau Fourfold with Maximal h^{1,1}", JHEP 05 (2020) 043, DOI 10.1007/JHEP05(2020)043, arXiv:2001.07258, https://arxiv.org/abs/2001.07258
16. Washington Taylor, Yi-Nan Wang, and Yihang Yu, "Statistics of base polytopes in F-theory", JHEP 03 (2026) 032, DOI 10.1007/JHEP03(2026)032, arXiv:2509.13252, https://arxiv.org/abs/2509.13252