-
The Vacuum Moduli Space of the Minimal Supersymmetric Standard Model
Authors:
Yang-Hui He,
Vishnu Jejjala,
Brent D. Nelson,
Hal Schenck,
Michael Stillman
Abstract:
A starting point in the study of the minimal supersymmetric Standard Model (MSSM) is the vacuum moduli space, which is a highly complicated algebraic variety: it is the image of an affine variety $X \subset \mathbb{C}^{49}$ under a symplectic quotient map $φ$ to $\mathbb{C}^{973}$. Previous work computed the vacuum moduli space of the electroweak sector; geometrically this corresponds to studying…
▽ More
A starting point in the study of the minimal supersymmetric Standard Model (MSSM) is the vacuum moduli space, which is a highly complicated algebraic variety: it is the image of an affine variety $X \subset \mathbb{C}^{49}$ under a symplectic quotient map $φ$ to $\mathbb{C}^{973}$. Previous work computed the vacuum moduli space of the electroweak sector; geometrically this corresponds to studying a restriction of $φ$: $\mathbb{C}^{13} \stackrel{φ^{\texttt{res}}}{\longrightarrow} \mathbb{C}^{22}$. We analyze the geometry of the full vacuum moduli space for superpotentials $W_{\rm minimal}$ (without neutrinos) and $W_{\rm MSSM}$ (with neutrinos) in $\mathbb{C}^{973}$. In both cases, we prove that $X$ consists of three irreducible components $X_1$, $X_2$, and $X_3$, and determine the images $M_i$ of the $X_i$ under $φ$. For $W_{\rm minimal}$ we show they have, respectively, dimensions $1$, $15$, and $29$, and prove that each of the $M_i$ is a rational variety, while for $W_{\rm MSSM}$ we show that $M_3$ is the only component. Restricting the $M_i$ to the electroweak sector, we recover known results. We describe the components of the vacuum moduli space geometrically in terms of incidence varieties to a product of Segre varieties.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Vacuum Geometry of the Standard Model
Authors:
Yang-Hui He,
Vishnu Jejjala,
Brent D. Nelson,
Hal Schenck,
Michael Stillman
Abstract:
Vacuum structure of a quantum field theory is a crucial property. In theories with extended symmetries, such as supersymmetric gauge theories, the vacuum is typically a continuous manifold, called the vacuum moduli space, parametrized by the expectation values of scalar fields. Starting from the R-parity preserving superpotential at renormalizable order, we use Gröbner bases to determine the expli…
▽ More
Vacuum structure of a quantum field theory is a crucial property. In theories with extended symmetries, such as supersymmetric gauge theories, the vacuum is typically a continuous manifold, called the vacuum moduli space, parametrized by the expectation values of scalar fields. Starting from the R-parity preserving superpotential at renormalizable order, we use Gröbner bases to determine the explicit structure, as an algebraic variety, of the vacuum geometry of the minimal supersymmetric extension of the Standard Model. Gröbner bases have doubly exponential computational complexity (for this case, $7^{2^{1023}}$ operations); we exploit symmetry and multigrading to render the computation tractable. This geometry has three irreducible components of complex dimensions $1$, $15$, and $29$, each being a so-called rational variety. The defining equations of the components express the solutions to F-terms and D-terms in terms of the gauge invariant operators and are interpreted in terms of classical geometric constructions.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Counting Calabi-Yau Threefolds
Authors:
Naomi Gendler,
Nate MacFadden,
Liam McAllister,
Jakob Moritz,
Richard Nally,
Andreas Schachner,
Mike Stillman
Abstract:
We enumerate topologically-inequivalent compact Calabi-Yau threefold hypersurfaces. By computing arithmetic and algebraic invariants and the Gopakumar-Vafa invariants of curves, we prove that the number of distinct simply connected Calabi-Yau threefold hypersurfaces resulting from triangulations of four-dimensional reflexive polytopes is 4, 27, 183, 1,184 and 8,036 at $h^{1,1}$ = 1, 2, 3, 4, and 5…
▽ More
We enumerate topologically-inequivalent compact Calabi-Yau threefold hypersurfaces. By computing arithmetic and algebraic invariants and the Gopakumar-Vafa invariants of curves, we prove that the number of distinct simply connected Calabi-Yau threefold hypersurfaces resulting from triangulations of four-dimensional reflexive polytopes is 4, 27, 183, 1,184 and 8,036 at $h^{1,1}$ = 1, 2, 3, 4, and 5, respectively. We also establish that there are ten equivalence classes of Wall data of non-simply connected Calabi-Yau threefolds from the Kreuzer-Skarke list. Finally, we give a provisional count of threefolds obtained by enumerating non-toric flops at $h^{1,1} =2$.
△ Less
Submitted 10 October, 2023;
originally announced October 2023.
-
Superpotentials from Singular Divisors
Authors:
Naomi Gendler,
Manki Kim,
Liam McAllister,
Jakob Moritz,
Mike Stillman
Abstract:
We study Euclidean D3-branes wrapping divisors $D$ in Calabi-Yau orientifold compactifications of type IIB string theory. Witten's counting of fermion zero modes in terms of the cohomology of the structure sheaf $\mathcal{O}_D$ applies when $D$ is smooth, but we argue that effective divisors of Calabi-Yau threefolds typically have singularities along rational curves. We generalize the counting of…
▽ More
We study Euclidean D3-branes wrapping divisors $D$ in Calabi-Yau orientifold compactifications of type IIB string theory. Witten's counting of fermion zero modes in terms of the cohomology of the structure sheaf $\mathcal{O}_D$ applies when $D$ is smooth, but we argue that effective divisors of Calabi-Yau threefolds typically have singularities along rational curves. We generalize the counting of fermion zero modes to such singular divisors, in terms of the cohomology of the structure sheaf $\mathcal{O}_{\overline{D}}$ of the normalization $\overline{D}$ of $D$. We establish this by detailing compactifications in which the singularities can be unwound by passing through flop transitions, giving a physical incarnation of the normalization process. Analytically continuing the superpotential through the flops, we find that singular divisors whose normalizations are rigid can contribute to the superpotential: specifically, $h^{\bullet}_{+}(\mathcal{O}_{\overline{D}})=(1,0,0)$ and $h^{\bullet}_{-}(\mathcal{O}_{\overline{D}})=(0,0,0)$ give a sufficient condition for a contribution. The examples that we present feature infinitely many isomorphic geometric phases, with corresponding infinite-order monodromy groups $Γ$. We use the action of $Γ$ on effective divisors to determine the exact effective cones, which have infinitely many generators. The resulting nonperturbative superpotentials are Jacobi theta functions, whose modular symmetries suggest the existence of strong-weak coupling dualities involving inversion of divisor volumes.
△ Less
Submitted 13 April, 2022;
originally announced April 2022.
-
Minimal Surfaces and Weak Gravity
Authors:
Mehmet Demirtas,
Cody Long,
Liam McAllister,
Mike Stillman
Abstract:
We show that the Weak Gravity Conjecture (WGC) implies a nontrivial upper bound on the volumes of the minimal-volume cycles in certain homology classes that admit no calibrated representatives. In compactification of type IIB string theory on an orientifold $X$ of a Calabi-Yau threefold, we consider a homology class $[Σ] \in H_4(X,\mathbb{Z})$ represented by a union $Σ_{\cup}$ of holomorphic and a…
▽ More
We show that the Weak Gravity Conjecture (WGC) implies a nontrivial upper bound on the volumes of the minimal-volume cycles in certain homology classes that admit no calibrated representatives. In compactification of type IIB string theory on an orientifold $X$ of a Calabi-Yau threefold, we consider a homology class $[Σ] \in H_4(X,\mathbb{Z})$ represented by a union $Σ_{\cup}$ of holomorphic and antiholomorphic cycles. The instanton form of the WGC applied to the axion charge $[Σ]$ implies an upper bound on the action of a non-BPS Euclidean D3-brane wrapping the minimal-volume representative $Σ_{\mathrm{min}}$ of $[Σ]$. We give an explicit example of an orientifold $X$ of a hypersurface in a toric variety, and a hyperplane $\mathcal{H} \subset H_4(X,\mathbb{Z})$, such that for any $[Σ] \in H$ that satisfies the WGC, the minimal volume obeys $\mathrm{Vol}(Σ_{\mathrm{min}}) \ll \mathrm{Vol}(Σ_{\cup})$: the holomorphic and antiholomorphic components recombine to form a much smaller cycle. In particular, the sub-Lattice WGC applied to $X$ implies large recombination, no matter how sparse the sublattice. Non-BPS instantons wrapping $Σ_{\mathrm{min}}$ are then more important than would be predicted from a study of BPS instantons wrapping the separate components of $Σ_{\cup}$. Our analysis hinges on a novel computation of effective divisors in $X$ that are not inherited from effective divisors of the toric variety.
△ Less
Submitted 19 June, 2019;
originally announced June 2019.
-
The Kreuzer-Skarke Axiverse
Authors:
Mehmet Demirtas,
Cody Long,
Liam McAllister,
Mike Stillman
Abstract:
We study the topological properties of Calabi-Yau threefold hypersurfaces at large $h^{1,1}$. We obtain two million threefolds $X$ by triangulating polytopes from the Kreuzer-Skarke list, including all polytopes with $240 \le h^{1,1}\le 491$. We show that the Kähler cone of $X$ is very narrow at large $h^{1,1}$, and as a consequence, control of the $α^{\prime}$ expansion in string compactification…
▽ More
We study the topological properties of Calabi-Yau threefold hypersurfaces at large $h^{1,1}$. We obtain two million threefolds $X$ by triangulating polytopes from the Kreuzer-Skarke list, including all polytopes with $240 \le h^{1,1}\le 491$. We show that the Kähler cone of $X$ is very narrow at large $h^{1,1}$, and as a consequence, control of the $α^{\prime}$ expansion in string compactifications on $X$ is correlated with the presence of ultralight axions. If every effective curve has volume $\ge 1$ in string units, then the typical volumes of irreducible effective curves and divisors, and of $X$ itself, scale as $(h^{1,1})^p$, with $3\lesssim p \lesssim 7$ depending on the type of cycle in question. Instantons from branes wrapping these cycles are thus highly suppressed.
△ Less
Submitted 3 August, 2018;
originally announced August 2018.
-
The Hodge Numbers of Divisors of Calabi-Yau Threefold Hypersurfaces
Authors:
Andreas P. Braun,
Cody Long,
Liam McAllister,
Michael Stillman,
Benjamin Sung
Abstract:
We prove a formula for the Hodge numbers of square-free divisors of Calabi-Yau threefold hypersurfaces in toric varieties. Euclidean branes wrapping divisors affect the vacuum structure of Calabi-Yau compactifications of type IIB string theory, M-theory, and F-theory. Determining the nonperturbative couplings due to Euclidean branes on a divisor $D$ requires counting fermion zero modes, which depe…
▽ More
We prove a formula for the Hodge numbers of square-free divisors of Calabi-Yau threefold hypersurfaces in toric varieties. Euclidean branes wrapping divisors affect the vacuum structure of Calabi-Yau compactifications of type IIB string theory, M-theory, and F-theory. Determining the nonperturbative couplings due to Euclidean branes on a divisor $D$ requires counting fermion zero modes, which depend on the Hodge numbers $h^i({\cal{O}}_D)$. Suppose that $X$ is a smooth Calabi-Yau threefold hypersurface in a toric variety $V$, and let $D$ be the restriction to $X$ of a square-free divisor of $V$. We give a formula for $h^i({\cal{O}}_D)$ in terms of combinatorial data. Moreover, we construct a CW complex $\mathscr{P}_D$ such that $h^i({\cal{O}}_D)=h_i(\mathscr{P}_D)$. We describe an efficient algorithm that makes possible for the first time the computation of sheaf cohomology for such divisors at large $h^{1,1}$. As an illustration we compute the Hodge numbers of a class of divisors in a threefold with $h^{1,1}=491$. Our results are a step toward a systematic computation of Euclidean brane superpotentials in Calabi-Yau hypersurfaces.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
The Geometry of Generations
Authors:
Yang-Hui He,
Vishnu Jejjala,
Cyril Matti,
Brent D. Nelson,
Michael Stillman
Abstract:
We present an intriguing and precise interplay between algebraic geometry and the phenomenology of generations of particles. Using the electroweak sector of the MSSM as a testing ground, we compute the moduli space of vacua as an algebraic variety for multiple generations of Standard Model matter and Higgs doublets. The space is shown to have Calabi-Yau, Grassmannian, and toric signatures which se…
▽ More
We present an intriguing and precise interplay between algebraic geometry and the phenomenology of generations of particles. Using the electroweak sector of the MSSM as a testing ground, we compute the moduli space of vacua as an algebraic variety for multiple generations of Standard Model matter and Higgs doublets. The space is shown to have Calabi-Yau, Grassmannian, and toric signatures which sensitively depend on the number of generations of leptons, as well as inclusion of Majorana mass terms for right-handed neutrinos. We speculate as to why three generations is special.
△ Less
Submitted 28 August, 2014;
originally announced August 2014.
