Structure of the exact $W=0$ flux-vacuum landscape: genericity of level reduction, the Hodge tensor-symmetry correspondence, and point-like vacua

In F-theory compactified on a Calabi-Yau fourfold, flux vacua with vanishing superpotential ($W=0$ supersymmetric Minkowski vacua) can be determined exactly along orbifold symmetry loci where the period integrals split into algebraic and transcendental directions. Grimm and van de Heisteeg (JHEP 01 (2025) 005) used the Hulek-Verrill fourfold to produce the first exact landscape of such vacua and connected it to the Baldi-Klingler-Ullmo (BKU) theorems on the distribution of the Hodge locus. This statement formulates the bundle of open problems they explicitly leave: (i) whether the dense-vacuum behavior found on their symmetry loci, where the level of the variation of Hodge structures drops, is generic for Calabi-Yau fourfolds with level reduction or whether some loci require higher Hodge tensors to generate dense sets; (ii) the precise counting of distinct flux configurations, including the effect of global Hodge classes, in their example; (iii) whether every Hodge tensor inducing a Hodge locus comes from a symmetry of the compactification manifold; (iv) whether the observed cancellation of exponential corrections is a consequence of enhanced supersymmetry or of a broader mechanism; and (v) the extension of the BKU picture to point-like vacua, which lie beyond the current theorems. The mathematical literature on the Hodge locus shows that these issues remain open.

Background

In string theory, realistic four-dimensional vacua are often sought as flux compactifications: one compactifies on a small internal manifold and turns on quantized p-form fluxes, which generate a scalar potential that can freeze (stabilize) the geometric moduli. In F-theory on a Calabi-Yau fourfold $Y_4$ (an eight-real-dimensional complex manifold with trivial canonical class, the higher-dimensional analogue of the familiar Calabi-Yau threefold), the relevant fluxes are four-forms $G_4$, and the complex-structure moduli are stabilized by minimizing the potential encoded in the flux superpotential $W=\int_{Y_4} G_4\wedge\Omega$, where $\Omega$ is the holomorphic four-form. Vacua with $W=0$ are supersymmetric Minkowski vacua; physically, the flux choice is constrained by the D3-tadpole bound, a bound on the flux self-intersection $\tfrac{1}{2}\int G_4\wedge G_4$ set by the Euler number of $Y_4$. A longstanding obstacle is that $W$ receives infinitely many exponentially small corrections (from worldsheet and brane instantons), so vacuum equations are generically not exactly solvable.

The moduli dependence of $W$ is governed by period integrals (integrals of $\Omega$ over cycles, which solve the Picard-Fuchs differential equations). Periods form a variation of Hodge structures (VHS), the central object of Hodge theory: over each point of the moduli space $\mathcal{M}$, the cohomology $H^4(Y_4,\mathbb{C})$ carries a Hodge decomposition into pieces $H^{p,q}$, $p+q=4$, varying with the moduli. An integral cohomology class that lands in the middle piece $H^{2,2}$ at some point is a Hodge class; the locus where new Hodge classes appear is the Hodge locus. The Hodge locus is a countable union of algebraic subvarieties by a theorem of Cattani, Deligne and Kaplan. Hodge tensors generalize Hodge classes to classes (or tensors) flat under the Gauss-Manin connection; crucially, orbifold monodromies on their fixed-point loci count as Hodge tensors. A coarse invariant of a VHS on a locus $\mathcal{S}$ is its level $\ell_{\mathcal{S}}$, roughly the spread of Hodge weights of the associated graded pieces; for the full moduli space of a genuine Calabi-Yau fourfold $\ell_{\mathcal{M}}=3$, and it can drop (a level reduction) on special loci.

Baldi, Klingler and Ullmo (BKU), building on tame geometry (o-minimal geometry, which bounds the combinatorial complexity of definable sets) and Ax-Schanuel theorems for periods (transcendence statements for period maps), proved that at level $\ell\geq 3$ the Hodge locus of positive period dimension is a finite union of algebraic subvarieties, while at levels 1 and 2 it is analytically dense as soon as one typical special subvariety exists; their theorems exclude special subvarieties of zero period dimension (point-like loci), for which only conjectures hold.

Grimm and van de Heisteeg (arXiv:2404.12422) constructed the first exact $W=0$ landscape on a genuine Calabi-Yau fourfold, the Hulek-Verrill fourfold (a six-modulus Calabi-Yau fourfold defined as a hypersurface in a five-dimensional projective torus, with Euler characteristic $\chi=720$), whose periods are explicitly known. Along orbifold symmetry loci (e.g. a $\mathbb{Z}_6$-symmetric locus) the periods split into algebraic directions, governed by the periods of an embedded K3 surface (a level-1 Hodge substructure), and transcendental directions. Fluxes along the algebraic directions render the scalar potential exactly algebraic: all exponential corrections are absorbed by the K3 mirror map (the exact reparametrization between algebraic and flat coordinates), the vacua become dense on the symmetry locus when the tadpole bound is removed (each vacuum corresponding to an attractive K3 surface, i.e. a K3 of maximal Picard rank 20 - called a singular K3 in the mathematics literature - which has complex multiplication), and only ten distinct vacua survive the physical tadpole bound. Away from the symmetry loci, the transcendentality of the fourfold periods guarantees that only finitely many $W=0$ vacua exist even without the tadpole constraint. This realizes, in a controlled setting, the general BKU picture of the Hodge locus, and generalizes older finiteness expectations for rational conformal field theories and rank-two attractor points. Related finiteness statements for the flux landscape with bounded tadpole were proven by Grimm and Monnee. The construction leaves open the five structural questions listed in the problem statement.

Problem Statement

The common objective is to complete the Hodge-theoretic characterization of the $W=0$ flux-vacuum landscape that Grimm and van de Heisteeg initiated: to determine, in general and not just in the explicitly computable Hulek-Verrill example, how symmetries and level reduction of the variation of Hodge structures control the distribution, exactness, and arithmetic of flux vacua with vanishing superpotential on Calabi-Yau fourfolds. The source work poses the following five unresolved issues, which are mutually independent and jointly delimit this objective.

1. Genericity of level reduction: On the symmetry loci of the Hulek-Verrill fourfold, the closure of the set of $W=0$ vacua is already an algebraic set, and the vacua are dense there, without invoking any Hodge tensor beyond the orbifold monodromy realizing the level reduction from $\ell=3$ to $\ell=1$. Determine whether this pattern persists for all Calabi-Yau fourfold families with level reduction, or whether there exist special loci on which higher Hodge tensors (Hodge tensors in tensor powers of the VHS, beyond monodromy invariants) are required to generate a dense set of vacua, as the general BKU conjectures suggest.

2. Exact counting of flux configurations: For the Hulek-Verrill fourfold example, count precisely the distinct flux configurations (including the choices of flux quanta along the vacuum-inducing directions, the discrete labels $n_I$, and the global Hodge classes, i.e. fluxes of type $(2,2)$ everywhere along the symmetric locus that only shift the tadpole), under and above the physical tadpole bound. Determine how this count scales with the tadpole bound. Concretely, on the diagonal $\mathbb{Z}_6$-symmetric locus $\phi^1=\dots=\phi^6$ the flux splits as $G_4=G_4^{\rm vac}+G_4^{\rm global}$ (Eq. (5.72) of arXiv:2404.12422): the vacuum-inducing directions are the 15 integer quanta $(a_I,b_I,c_I)$ of $G_4^{\rm vac}$, constrained by $\sum_I a_I=\sum_I b_I=\sum_I c_I=0$, which completely determine the vacuum locus via the F-term conditions $12a_I t^2+24b_I t+c_I=0$ (Eqs. (5.73)-(5.77)); the labels $n_I$ are the integers defined by $(a_I,b_I,c_I)=n_I(a,b,c)$ with coprime $(a,b,c)$ and $n_6=-n_1-\dots-n_5$, required so that all F-terms share a single solution, entering the tadpole as $L^{\rm vac}=2(ac-12b^2)|n|^2$ (Eqs. (5.80), (5.84)); and $G_4^{\rm global}=d^\alpha v_\alpha$ is the seven-parameter lattice of integral fluxes of Hodge type $(2,2)$ everywhere along the symmetric locus, which do not affect the vacuum conditions and only increase the tadpole (Eqs. (5.96)-(5.101)). Since the published count of ten distinct vacua identifies configurations only by their position in moduli space (footnote 19), the deferred problem is the precise count of flux configurations (multiples of $(a,b,c)$, choices of $n_I$, and $G_4^{\rm global}$ quanta) under and above the physical tadpole bound $\hat{L}^{\rm vac}\leq 5$, together with the scaling of the count with the bound (cf. $N_{\rm vac}(L^*)\gtrsim\sqrt{L^*}$, Eq. (5.90)).

3. Hodge tensor-symmetry correspondence: In all examples studied, the Hodge tensor whose emergence cuts out the Hodge locus comes from a geometric (orbifold) symmetry of the Calabi-Yau manifold. Decide whether the existence of a Hodge tensor always translates into a symmetry of the underlying Calabi-Yau manifold, and in particular whether this is an equivalence at least for the finite-order orbifold symmetries of the Calabi-Yau manifold, or whether Hodge tensors exist that do not come from any geometric symmetry.

4. Mechanism of exactness: The scalar potential along the symmetry loci is exactly algebraic because all exponential corrections cancel. Decide whether this cancellation should be understood as a consequence of enhanced supersymmetry, in the sense that the vacua can equally be obtained from a higher-supersymmetric theory (extending the supersymmetric-protection proposal of Palti, Vafa and Weigand), or whether it reflects a broader mechanism, such as a selection-rule or non-renormalization argument, that does not depend on supersymmetry enhancement.

5. Point-like vacua: The BKU theorems on the distribution of the Hodge locus are proved only after excluding special subvarieties of zero period dimension (point-like loci); in the examples studied, the BKU-predicted behavior nevertheless persists for point-like vacua. Extend the BKU picture - finiteness at level $\ell\geq 3$, density at levels 1 and 2 - to include point-like vacua, or determine the structure of the Hodge locus and of the $W=0$ landscape on such zero-dimensional loci.

References

1. T. W. Grimm and D. van de Heisteeg, Exact flux vacua, symmetries, and the structure of the landscape, JHEP 01 (2025) 005, DOI 10.1007/JHEP01(2025)005, arXiv:2404.12422, https://arxiv.org/abs/2404.12422
2. G. Baldi, B. Klingler and E. Ullmo, On the distribution of the Hodge locus, Inventiones mathematicae 235 (2024) 441-487, DOI 10.1007/s00222-023-01226-0, https://doi.org/10.1007/s00222-023-01226-0
3. E. Cattani, P. Deligne and A. Kaplan, On the locus of Hodge classes, Journal of the American Mathematical Society 8 (1995) 483-506, DOI 10.1090/S0894-0347-1995-1273413-2, https://doi.org/10.1090/S0894-0347-1995-1273413-2
4. E. Palti, C. Vafa and T. Weigand, Supersymmetric protection and the swampland, JHEP 06 (2020) 168, DOI 10.1007/jhep06(2020)168, arXiv:2003.10452, https://arxiv.org/abs/2003.10452
5. T. W. Grimm and J. 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
6. N. Khelifa and D. Urbanik, Existence and density of typical Hodge loci, Mathematische Annalen 391 (2024) 819-842, DOI 10.1007/s00208-024-02936-3, arXiv:2303.16179, https://arxiv.org/abs/2303.16179
7. N. Khelifa, On the distribution of mixed Hodge loci, arXiv:2603.20272 (2026), https://arxiv.org/abs/2603.20272
8. D. Urbanik, Degrees of Hodge loci, arXiv:2412.08924 (2024), https://arxiv.org/abs/2412.08924
9. R. Angius and R. Volpato, Hodge Loci and Complex Multiplication via Generalized Symmetries in Calabi-Yau sigma models, arXiv:2605.30418 (2026), https://arxiv.org/abs/2605.30418
10. H. Jockers, P. Kuusela and M. Sarve, Hodge Structures of Complex Multiplication Type from Rational Conformal Field Theories, arXiv:2510.25708 (2025), https://arxiv.org/abs/2510.25708
11. S. Chen, D. van de Heisteeg and C. Vafa, Symmetries and M-theory-like vacua in four dimensions, JHEP 07 (2025) 258, DOI 10.1007/jhep07(2025)258, arXiv:2503.16599, https://arxiv.org/abs/2503.16599
12. P. Blesse, J. Dücker, A. Klemm and J. F. Piribauer, Geometry and arithmetic of special loci in the moduli spaces of Type II string theory, JHEP 06 (2026) 106, DOI 10.1007/jhep06(2026)106, arXiv:2512.20444, https://arxiv.org/abs/2512.20444