Show Summary Details

Page of

Printed from Oxford Research Encyclopedias, Physics. Under the terms of the licence agreement, an individual user may print out a single article for personal use (for details see Privacy Policy and Legal Notice).

date: 29 November 2021

Calabi-Yau Spaces in the String Landscapefree

Calabi-Yau Spaces in the String Landscapefree

  • Yang-Hui HeYang-Hui HeOxford University and University of London

Summary

Calabi-Yau spaces, or Kähler spaces admitting zero Ricci curvature, have played a pivotal role in theoretical physics and pure mathematics for the last half century. In physics, they constituted the first and natural solution to compactification of superstring theory to our 4-dimensional universe, primarily due to one of their equivalent definitions being the admittance of covariantly constant spinors.

Since the mid-1980s, physicists and mathematicians have joined forces in creating explicit examples of Calabi-Yau spaces, compiling databases of formidable size, including the complete intersecion (CICY) data set, the weighted hypersurfaces data set, the elliptic-fibration data set, the Kreuzer-Skarke toric hypersurface data set, generalized CICYs, etc., totaling at least on the order of 1010 manifolds. These all contribute to the vast string landscape, the multitude of possible vacuum solutions to string compactification.

More recently, this collaboration has been enriched by computer science and data science, the former in bench-marking the complexity of the algorithms in computing geometric quantities, and the latter in applying techniques such as machine learning in extracting unexpected information. These endeavours, inspired by the physics of the string landscape, have rendered the investigation of Calabi-Yau spaces one of the most exciting and interdisciplinary fields.

Subjects

  • Particles and Fields

1. Introduction and Motivation

The coextensivity between mathematics and theoretical physics is very much a highlight of fundamental science in the 20th and 21st centuries. The two cornerstones of modern physics—general relativity (GR) describing the large structure of space-time, and quantum field theory (QFT) describing the elementary particles that constitute all matter—are well understood as mathematical in nature. The former is the study of how the Ricci curvature of space-time is induced by the energy-momentum tensor dictated by the Einstein-Hilbert action and the latter, of how particles of the Standard Model, furnishing representations of the Lie group SU(3)×SU(2)×U(1), interact according to a gauge theory. Both formalisms are tested by experiment to astounding accuracy, with the recent discovery of the Higgs boson and the detection of gravity waves being jewels in the crown of physics.

The brainchild of this tradition of mathematical unification, still dominating mathematical and theoretical physics as the 21st century began, is string theory. It is well known by now that string theory is a “theory of everything” unifying GR and QFT in 10 space-time dimensions (or, equivalently, by dualities, M-theory in 11 dimensions or F-theory in 12 dimensions). We must therefore account for 104=6 “missing” dimensions. Over the years, a plethora of scenarios have emerged in the interplay between the physics of four dimensions and the geometry of these six dimensions. So great, however, is the number of such scenarios that it poses as one of the greatest theoretical challenges to modern physics. This has come to be known as the “vacuum degeneracy problem,” where one is confronted with how to select our universe amidst an enormous number of solutions, what has come to be known as the string landscape.

As a disclaimer from the outset, this article does not cover the various issues of the string landscape or estimates of its vastness and the probabilities of finding our Standard Model therein. What will constitute the topic of the present article is the most standard and well-studied class of solutions for the six extra dimensions: the so-called Calabi-Yau spaces. The focus here is on the Calabi-Yau landscape, a plethora of geometries in and of themselves. In many ways, the aim is to guide a theoretical physicist through a lightning tour of some contemporary algebraic and differential geometry, with the jargons introduced in a pragmatic manner rather than through formalism.

This article takes a chronological perspective, looks at how Calabi-Yau spaces arise in the physics, and discusses how explicit constructions have been motivated by particle phenomenology and how a plethora of examples has been constructed under a long-term collaboration among mathematicians, physicists, and computer scientists. First, however, the scene is briefly set by introducing a classical mathematical problem dating back to Euler, Gauss, and Riemann. This digression helps to set notation and definition, as well as to gain some intuition.

Figure 1. The trichotomy of (compact smooth) Riemann surfaces Σ of genus g(Σ), ln terms of curvature, and related Euler number χ(Σ)=22g(Σ). Figures are generated on Mathematica (Wolfram Research, 2018).

1.1. A Classical Problem in Mathematics

Consider a surface Σ—for example, a sphere S2 or the surface of a doughnut T2—and its possible topological types, that is, equivalences up to topology. Restricting to the cases of smooth, compact (no punctures or boundaries), and orientable (nothing like Klein bottles or Möbius strips) surfaces, the classic result is that the shapes that immediately came to mind, S2,T2, and those with an increasing number of “holes,” are all there is: any smooth, compact, orientable surface can be deformed continuously (topologically homeomorphic) to one of these. The top of Figure 1 illustrates these surfaces. It is clear that a single nonnegative integer classifies the topology of Σ, viz., the genus g(Σ), referring to the number of “holes.” The quantity χ(Σ)=22g(Σ) is called the Euler characteristic, or Euler number. Both these quantities are shown in the figure.

As is often the case in mathematics, it is expedient to work over the complex numbers rather than because of the algebraic closure of (every algebraic equation has solutions over C). One can, in fact, think of Σ as a one-complex-dimensional object (a complex curve) instead of as a 2-dimensional real object (a real surface). For instance, S2 is the complex plane with the point at added. Likewise T2 is 2 quotiented by a lattice.1 What has been done is to endow Σ with so-called complex structure; every orientable surface Σ can be thus equipped and is then called a Riemann surface or a (complex) algebraic curve.2 Hence, Σ affords complex local coordinates (z,z¯)=(x+iy,xiy), where (x,y) can be thought of as the usual real coordinates.

In addition to complex structure, there is one more rich property that can be put on Σ: the so-called Kähler structure. If the metric gμv¯(z,z¯) comes from3 a single scalar function, a (real) potential K(z,z¯), via

gμν¯(z,z¯)=μ¯ν¯K(z,z¯),(1.1)

then, Σ is not only complex but is furthermore Kähler.4 For Riemann surfaces, this is always possible.

With the introduction of the metric, it is natural to ask about curvature. This is the classical theorem of Gauss-Bonnet: to relate curvature (differential gemetry) with the Euler number (topology). In fact, a wonderful chain of equalities exists:

χ(Σ)=22g(Σ)=12πΣR=[c1(Σ)][Σ]=i=0dimRΣ=2(1)ibi(Σ).(1.2)

The first equality is the definition of the Euler number in terms of the genus. The second relates it to the integration of the Gaussian curvature over Σ and is the content of Gauss-Bonnet, relating the analytic concept of curvature to the topological concept of Euler number. This is the epitome of classical differential geometry.

As one goes further to the right, one enters algebraic geometry. The third equality can be construed as a working definition5 for the first Chern class c1(Σ) of Σ: it is essentially the curvature R. Meanwhile, higher Chern classes ci=2,3, can be written as specific polynomials in R. Importantly, these are topological invariants in that small perturbations of the metric do not change the value of the integral ΣR.

The fourth and last equality relates χ to the alternating sum6 over the so-called Betti numbers bi. This sum is the generalization of a familiar topological fact: for any convex polyhedron P drawn on the sphere, with V vertices (dimension 0), E edges (real dimension 1), and F faces (real dimension 2), gives that VE+F=2 (taking the cube, e.g., one has 812+6=2). For a convex polyhedron drawn on a genus g Riemann surface, VE+F gives the Euler number χ. In general, the Betti numbers bi of a given space count independent dimension i objects (formally, they are called algebraic cycles) therein.

Equation (1.2) is a special case of the Atiyah-Singer Index Theorem, a deep result relating, as one proceeds from left to right topology, to differential geometry, to algebraic geometry, to combinatorics. From Figure 1, a natural trichotomy of Riemann surfaces can be seen: positive curvature (the sphere), zero curvature (the torus), and negative curvature (g>1). Keep in mind this boundary case of T2: it is compact, smooth, Ricci-flat, Kähler, and of complex dimension 1.

A central theme of modern geometry is to see how the various connections for Riemann surfaces/complex curves, which have been touched on, generalize to beyond complex dimension 1/real dimension 2. Now, the realm of the geometry of manifolds is entered, that is, shapes that are locally n, just like Σ is locally 2. As expected, the situation is much more complicated.

Straight away, it is unfortunately not the case that every real 2n-dimensional manifold can admit a complex structure and be turned into a complex n-fold7 (note that throughout, the notation that an n-fold is a complex manifold of complex dimension n and real dimension 2n is adhered to). Moreover, it is not true that every -fold admits a Kähler structure. Nevertheless, when a 2n-manifold admits a complex structure, and further, a Kähler structure, something akin to Figure 1 can be seen, as happens now.

1.2. A Modern Breakthrough

In the 1950s, E. Calabi (1954, 1957) conjectured that for a (compact) Kähler manifold, the first Chern class uniquely governs8 the Ricci curvature of the Kähler metric (1.1), much in the spirit of (1.2). In particular, c1(M)=0 is the “boundary” situation where the metric is Ricci flat, much like the T2 example for Riemann surfaces.

It took several decades for the existence part of this conjecture to be settled (the uniqueness is not too hard and follows from standard contradiction arguments). S.-T. Yau (1977, 1978) proved the conjecture in 1978, using analysis of a partial differential equation (PDE) of Monge-Ampère type. The fact that Yau was immediately awarded the Fields Medal (1982) shows the importance of the result. In honor of the two, the critical case of zero Ricci curvature Kähler manifolds (i.e., with c1=0) are called Calabi-Yau manifolds. Henceforth, a Calabi-Yau n-fold is denoted as CYn. The familiar torus T2 from the discussions in Section 1.1, “A Classical Problem in Mathematics,” is thus a (in fact, the) CY1. For readers’ convenience, the chain of specializations is summarized as follows:

Real 2n-manifoldcomplexstructureComplexn-foldpotentialκKählern-foldRicci-flatCYn

1.3. Topological Quantities

Section 1.2, a “Modern Breakthrough” introduced the notion of the Betti number bi with i ranging from 0 to the (real) dimension of the manifold. As a complex number is paired with its conjugate, for a complex n-fold X,bi is refined into a doubled-indexed object hj,k, counting the holomorphic (corresponding to the z-variables) and anti-holomorphic (corresponding to the z¯-variables) pieces; these are so-called Hodge numbers, satisfying

bi=0,,2n=j+k=ihj,kχ(X)=i=02n(1)ibi=i=02n(1)ij+k=ihj,k.(1.3)

For smooth, compact n-folds, complex conjugation renders hj,k=hk,j and something called Poincaré duality renders hj,k=hnj,nk.

Moreover, assuming that X is connected (every point is linked to another by a path in X) renders b0=h0,0=1, and assuming that it is simply connected (all closed paths can be retracted without breaking) forces b1=h1,0=h0,1=0. Finally, if X is CY, then9 hn,0=h0,n=1.

Putting all these constraints together, the point is that for (compact, smooth, simply connected) CY3, there are only a few independent Hodge numbers, as illustrated by the following:

h0,0h1,0h0,1h2,0h1,1h0,2h3,0h2,1h2,1h0,3h2,0h1,1h0,2h1,0h0,1h0,0=11000h1,10h1,2h2,110h1,10001b01b10b2h1,1b3=2h2,1+2b2h1,1b10b01(1.4)

Here, it is customary to write the Hodge numbers into a rhombic shape called the Hodge diamond. It can be seen that CY3 is characterized by only two integers, h1,1 and h2,1, which count precisely the number of Kähler and complex structure deformations, respectively. In section 2.4, “Finiteness?,” other quantities that completely characterize a Calabi-Yau manifold topologically are addressed. Importantly, a consequence of (1.4) and (1.2) is that

χ=i=06(1)ibi=2(h1,1h2,1),(1.5)

which, interestingly, has physical significance, as is discussed in 1.4 “A Timely Relation to Physics”.

1.4. A Timely Relation to Physics

What does all this beautiful mathematics have to do with physics? First, Ricci-flat manifolds have long been known to physicists because they satisfy vacuum Einstein equations in GR. Perhaps less familiar is the complex (and, moreover, Kähler) condition.

This side of the story begins with Candelas, Horowitz, Strominger, and Witten (CHSW) [3] in 1985, a culmination of the first string revolution, when Green and Schwarz (1984) canceled anomalies and when the heterotic string of Gross, Harvey, Martinec, and Rohm (1985) naturally gave an E8 gauge group to string theory. Recall that E8 is of particular significance because of the following sequence of embeddings of Lie groups:

SU(3)×SU(2)×U(1)SU(5)SO(10)E6E7E8.(1.6)

The first group GSM=SU(3)×SU(2)×U(1) is, of course, that of the Standard Model (SM). One could also include the baryon-lepton symmetry U(1)BL and write GSM=SU(3)×SU(2)×U(1)×U(1)BL, in which case the above sequence of embeddings skips SU(5).

The fact that GSM is not simple has troubled many physicists since the early days: it would be more pleasant to place the baryons and leptons in the same footing by allowing them to be in the same representation of a larger simple gauge group. This is the motivation for the sequence in (1.6): starting from SU(5), the gauge groups are simple and give archetypal grand unified theories (GUTs); the most popular historically had been SU(5), SO(10), and E6, long before string theory came onto the scene in theoretical physics. Finally, throughout supersymmetric extensions of SM are always considered, such as the minimally supersymmetric standard model (MSSM).10

In the compactification scenario, the 10-dimensional background is taken to be of the form 1,3×X6, with 1,3 the familiar space-time and X6 some small, curled-up 6-manifold too small to be currently observed directly, and possibly endowed with extra structure such as a vector bundle V (this subject of bundles is returned to later). CHSW gave the conditions for which the heterotic string, when compactified, would give a supersymmetric gauge theory in 1,3, with a potentially realistic particle spectrum. Heuristically, one needs X6 to be complex in order to have chiral fermions, and Kähler and Ricci flat, to preserve supersymmetry and to solve vacuum Einstein’s equations. In other words, X6 is a Calabi-Yau threefold.11

It should be emphasized that there are many possible solutions for X6 as well as its associated further geometric structures. Indeed, for the duality-equivalent, 11-dimensional-theory as well as 12-dimensional-theory formulations of string theory, the compactification manifolds X7 and X8 allow even further possible solutions. All these contribute to the vastness of the string landscape, which is not addressed here. It can now be seen that even for CY3, a substantial multitude of possibilities already exist.

2. Calabi-Yau Constructions and Databases

As with any manifold, an important structure is its tangent bundle (for a sphere, think of this as the space of tangent planes). For X, a CY3, the tangent bundle V=TX has an extra property that it has SU(3) structure, meaning that the group for parallel transport12 of vectors (the holonomy group) is SU(3). This SU(n) holonomy is, in fact, another equivalent definition of a CYn.

Now, from Lie theory, it is understood that SU(3) has commutant E6 in E8; that is, a maximal commuting pair within the group E8 is SU(3)×E6. In relation to the compactification scenario in Section 1.4, “A Timely Relation to Physics,” this means that from a CY3 compactification one naturally has an (supersymmetric) E6 GUT theory in 1,3. The particle content is readily determined from group theory. More importantly, this in turn determines the vector bundle cohomology group that is associated with the particles. The general paradigm is that

Geometry ofX6physics of1,3.

Thus is born the subject of string phenomenology.

Specifically, one has that the decomposition of the adjoint 248 of E8 breaks into SU(3)×E6 as 248(1,78)(3,27)(3¯,27¯)(8,1). Thus the SM particles, which in an E6 GUT all reside in its 27 representation, are associated with the fundamental 3 of SU(3). The 10-dimensional fermions are eigenfunctions of the Dirac operator, which splits into the 4-dimensional one and the 6-dimensional one on the CY3. The former gives the fundamental particles that are seen, and the latter is governed by the geometry of X. Later, in Section 2.2.1, “Recent Developments,” it is demonstrated how this setup can be generalized to other GUT groups and to the SM.

Here, for example, it turns out that the 27 representation is precisely associated to h2,1(X), and the conjugate 27¯, to h1,1(X) (q.v. Griffiths & Harris, 1978). As promised at the end of Section 1.4, “A Timely Relation to Physics,” the topological invariants of X determine the particle content of the 4-dimensional physics. It can be summarized that for the fundamental fermions (the choice of which is antigeneration and which is generation by convention):

generations of particlesh2,1(X)Complex structure ofX,anti-generations of particlesh1,1(X)Kähler structure ofX.(2.7)

An immediate constraint is that there should be three net generations (Tanabashi et al., 2019), meaning that

|h2,1(X)h1,1(X)|=3χ(X)=±6,(2.8)

where (1.5) has been used. Thus the endeavor of finding Calabi-Yau threefolds with the property (2.8) began in 1986. This geometrical “love for threeness”13 has been more recently dubbed by Candelas et al. as triadophilia (Candelas, de la Ossa, He, & Szendroi, 2008).

Having extracted a mathematical problem from physical constraints, a practical quest in geometry resulted, which has prompted some 40 years of research. This was one of the first times theoretical physics gave a precise homework problem to modern geometry: Does there exist a (compact, smooth, simply connected) Calabi-Yau threefold with χ=±6? Indeed, how does one construct a CYn at all?

2.1. The Quintic

Constructing shapes from Cartesian geometry is a familiar concept. For example, a quadratic equation in two real variables (x,y) is a conic section, such as a circle, in 2. Thus, two variables with one polynomial constraint gives a 21=1 dimensional real manifold in an ambient 2. This simple idea is the beginnings of algebraic geometry.

Because one is looking for complex manifolds, they can simply be constructed as the zero locus of multivariate polynomials in complex variables. From the introduction, recall that a Calabi-Yau onefold is nothing but a Riemann surface of zero curvature, namely, the torus T2=S1×S1. This can be realized as a cubic in two complex variables given by the so-called Weierstraß equation: T2{x,y|y2=x3g2xg4}2, where g2,4 are complex constants.14

Now, compactness is needed, which means the point at infinity must be included, where (x,y)=(,). One can do this by so-called projectivization, where, instead of 2, one more complex coordinate, z, is introduced, such that the point (x,y,z)3 is to be identified with λ(x,y,z) for any nonzero λ. This scale invariance brings the point at infinity to a finite point, rendering the resulting ambient 2 and the subsequent torus compact. What has been done is to construct, from 3 with coordinates (x,y,z), the complex projective space 2 with scale-invariant (or so-called homogeneous) coordinates [x:y:z]. Formally, one can define n from n+1 with coordinates (z0,z1,,zn) via the quotient by the equivalence relation as

n:=n+1\{0}/(z0,z1,,zn)λ(z0,,zn),λ\{0}.(2.9)

Note that the origin {0} is taken out because it is a fixed point under and would give rise to a singularity; n is a smooth complex manifold of complex dimension n with n+1 homogeneous coordinates.

In summary, one can construct a CY1 as the zero locus of a homogeneous cubic polynomial (the Weierstraß equation) inside 2

{[x:y:z]|y2z=x34g2xz2g4z3}2,(2.10)

where the homogeneous coordinates [x:y:z] means that the point (x,y,z) is to be identified with λ(x,y,z) for any nonzero λ, and g2 and g4 are complex coefficients.

In a nutshell, algebraic geometry is the study of how complex manifolds arise as zero locus of multivariate complex polynomials in projective spaces. When there is only a single polynomial, it is called a hypersurface. In general, there could be many polynomials defining the manifold as an algebraic variety. For hypersurfaces, the dimension is simply that of the ambient space minus one. For instance, in the above example, the T2 is of complex dimension 21=1, as required. Luckily, loci of homogeneous polynomials in complex projective space are guaranteed to be Kähler manifolds, so one is already halfway there.

This construction, of having a degree n+1 homogeneous polynomial in n is indeed valid in general: one can show that if the number of projective coordinates, here n+1, equals the degree of the hypersurface, this implies the vanishing of the first Chern class. In other words, the hypersurface defined by a homogeneous polynomial of degree n+1 in n is a Calabi-Yau (n1)-fold. Thus one arrives at the first, and perhaps most famous, example of a Calabi-Yau threefold: the quintic hypersurface in 4. There are many degree 5 monomials (the number of these different monomials is roughly the complex structure) one could compose of five coordinates; the most well studied is the so-called Fermat quintic:

Q:={x05+x15+x25+x35+x45=0}[x0:x1:x2:x3:x4]4.

What are the topological numbers of Q? It turns out15 that h2,1(Q)=101 and h1,1(Q)=1 so that χ(Q)=2(1101)=200, and this is quite far from ±6.

2.2. The CICY Database

To continue to address the question raised in equation (2.8), an algorithmic generalization of the construction for the quintic was undertaken: Instead of a single n, what about embedding a collection of (homogeneous) polynomials into a product A of projective spaces? For further simplification, consider only complete intersections, which means the optimal case where the number of equations is 3 less than the dimension of the ambient space A, so that each polynomial reduces exactly one degree of freedom.

In other words, let A=n1××nm, of dimension n=n1+n2++nm and each having homogeneous coordinates [x1(r):x2(r)::xnr(r)] with the superscript (r)=n1,n2,,nm indexing the projective space factors. Our CY3 is then defined as the intersection of K=n3 homogeneous polynomials in the coordinates xj(r). Clearly this is a generalization of the quintic, for which r=m,nr=4, and K=1, and more generally a hypersurface is thus trivially a complete intersection with one defining polynomial.

The Calabi-Yau condition of the vanishing of c1(TX) generalizes analogously to the condition that for each r=1,,m, one has j=1Kqjr=nr+1. Succinctly, this information can be written into an m×K configuration matrix (to which the first column could be adjoined, designating the ambient product of projective spaces, for clarity; this is redundant because one can extract nr from one less than the row sum):

X=[n1n2nm|q11q22qK1q12q22qK2q1mq2mqKm]m×K,K=r=1mnr3,j=1Kqjr=nr+1,r=1,,m.(2.11)

For example, the matrix configuration [5], or [4|5], denotes the quintic. Two more immediate examples are

S=[113003],S˜=[130103].(2.12)

The first is called the Schoen Manifold, and the second, the Yau-Tian. Specifically, the configuration S means that the ambient space is 1×2×2 of dimension 5. A check shows that because there are two polynomials (columns), 52=3 gives a CY3. The first column (1,3,0) means that the first polynomial is linear in 1 and cubic in the first 2 while having no dependence on the second 2 The second column is likewise defined. Another lesson, as can be induced from S and S˜, is the rather cute fact that the transpose gives a new valid configuration, though the pair can be of wildly different geometry. The topological numbers are often attached as Xχh1,1,h2,1 for completeness, so one can write, for instance, Q2001,101,S019,19 and and S˜1814,23S˜1814,23. Importantly, the Chern classes and the Euler number can be read off the matrix configuration explicitly. The individual terms (h1,1,h2,1) in (1.5), however, cannot be deduced from the configuration matrix directly.16

Manifolds defined by (2.11) were considered and explicitly constructed by Candelas, Dale, Lutken, and Schimmrigk (1988) (q.v. Hübsch’s classic book [1994]) in the early 1990s and were affectionately called CICYs (complete intersection Calabi-Yau manifolds). Classifying these above matrices, up to geometrical equivalence, was thus a relevant affair for physics: one could, for instance, read off the Euler number to see whether any of them had magnitude of 6. Obviously it was also relevant for mathematics: until then, creating data sets of algebraic varieties was not the style of questions for pure mathematicians. The combinatorial problem for these integer matrices turned out to be rather nontrivial and one of the most powerful supercomputers then available was recruited. This was perhaps the first time when heavy machine computation was done for the sake of algebraic geometry.

In all, CICYs were shown to be finite in number, a total of 7,890 inequivalent configurations, with a maximum of 12 rows, a maximum of 15 columns, and all having entries qjr[0,5]. There are 266 distinct Hodge pairs (h1,1,h2,1)=(1,65),,(19,19), giving 70 distinct Euler numbers χ[200,0].

Unfortunately, none of the 7,890 had χ=±6. Although this was initially disappointing, it was soon realized that circumventing this problem gave rise to the resolution of another important physical question. A freely acting order-3 symmetry was found on S˜; the freely acting is important, because it means that the quotient S=S˜/3 is also a smooth CY3, albeit not a CICY. For such smooth quotients, the Euler divides (the individual Hodge numbers do not and it turns out that one has (h1,1,h2,1)=(6,9) for S), and S became the first three-generation manifold.

Now, the quotienting is crucial for another reason. In the sequence (1.6), the focus has been on GUTs. What about the Standard Model itself? It so happens that one standard way of obtaining GSM=SU(3)×SU(2)×U(1) from any of the GUT groups is precisely by quotienting. Grouped theoretically, this amounts to finding a discrete group whose generators can be embedded into the GUT group, so that the commutant is the the desired GSM.

Geometrically, this is the action of the Wilson Line, where a CY3 with nontrivial fundamental group admits a nontrivial loop which, coupled with the discrete group action, decomposes the E8 to GSM. In our example above, S˜ has trivial fundamental group π1, but the quotient S has, by construction, π1(S)3, thereby admitting a 3 Wilson line. This, for the early models, can be used to break the E6 GUT down to the Standard Model. Not surprisingly, the manifold S became central to string phenomenology in the early days (Greene, Kirklin, Miron, & Ross, 1986, 1987).

2.2.1. Recent Developments

As mentioned, the compactification scenario can, in general, involve Calabi-Yau manifolds as well as extra structures thereon, such as fluxes and bundles. Indeed, CHSW gave a more general set of solutions in terms of the CY3X as well as a field strength F. Specifically, the set of conditions, known as the Hull-Strominger system (Hull, 1986; Strominger, 1986), for the low-energy, low-dimensional theory on 1,3 to be a supersymmetric gauge theory are (rather schematically as this article does not delve into the details of equations):

1.

X6 is complex

2.The (Hermitian) metric g (as well as its Ricci curvature R) on X6 and field strength F satisfy

(a)

¯g=iTrFFiTrRR

(b)

(+¯)(gΩΩ¯)=0, where Ω is a holomorphic 3-form on X6

3.

F satisfies the Hermitian Yang-Mills equations: ωμν¯Faν¯=0,Fμν¯=Fμν¯=0

In the above, is the wedge product of differential forms, and is the derivative with respect to the holomorphic coordinate (appropriately generalized for forms). The general solutions to this system continue to inspire research today, engendering more geometric structures that contribute to the landscape.

Technically, the field strength lives on a vector bundle V on X, and the case discussed at the beginning of this section, of X being CY3 and V=TX came to be known as the “standard embedding” and gave rise to E6 GUT theories. Nonstandard embedding, by taking the vector bundle V to have structure group SU(4) or SU(5), gives SO(10) and SU(5) GUTs, respectively. Equations (2.7) and (2.8) generalize to so-called computations of bundle cohomology groups of V,V* and their tensor powers, which give the low-energy particle spectrum. The cubic Yukawa couplings in the Lagrangian constituted by these particles (fermion-fermion-Higgs) are appropriate trilinear maps17 taking these cohomology groups to . The group theory18 can be summarized as follows:

E8G×H

Breaking Pattern

SU(3)×E6SU(4)×SO(10)SU(5)×SU(5)

248(1,78)(3,27)(3¯,27¯)(8,1)248(1,45)(4,16)(4¯,16¯)(6,10)(15,1)248(1,24)(5,10¯)(5¯,10)(10,5)(10¯,5¯)(24,1)

Constructing bundles over CY3 satisfying the Hull-Strominger system has become an industry of realistic model building (q.v. a long program initiated by Ovrut et al. [Donagi, Ovrut, Pantev, & Waldram, 2002; Donagi, He, Ovrut, & Reinbacher, 2004, 2005]). As mentioned at the end of Section 2.2, “The CICY Database,” one could proceed one more step by Wilson line projection from the GUT to the SM.19 The first heterotic compactifications with exact MSSM particle content were constructed by finding appropriate bundles on the quotient of the Schoen manifold S, thereby answering the 20-year-old challenge (Bouchard & Donagi, 2006; Braun, He, Ovrut, & Pantev, 2005, 2006). Another was found over the bi-cubic from the CICY database in Anderson, Gray, He, and Lukas (2010). Exploring the “zoo” of small Hodge Calabi-Yau threefolds that seems to be a fertile ground for exact SM solutions itself became a program of Braun, Candelas, and Davies (2010); Candelas, Constantin, and Mishra (2018); Candelas and Davies (2010); and Candelas, de la Ossa, He, and Szendroi (2008).

All discrete, freely acting symmetries for all CICYs were classified with an impressive computer search using the computer algebra packages (SageMath, 2020; The Gap Group, 2018) by Braun (2011). Subsequently, a systematic scan over bundles (of the form of direct sum of line bundles and with chosen Kähler parameters in the stability region) over all CICYs (up to h1,1=6) was performed by Anderson et al., with the right cohomology groups computed, so that the result is the exact particle content of the SM (Anderson, Gray, Lukas, & Palti, 2011, 2012). This is a tremendous task, and some 200 models were found in about 1010 candidates. This is curiously in line with the l-in-a-billion statistic from the type II scan for finding the SM (Gmeiner, Blumenhagen, Honecker, Lust, & Weigand, 2006).

Meanwhile, from a mathematical point of view, several generalizations of the CICY data were undertaken. CICY4, the fourfold version of (2.11) was completed by Gray, Haupt, and Lukas (2013, 2014), and 921,497 were found. Furthermore, it was found that one can in fact relax the condition that the configuration matrix entries be nonnegative (Anderson, Apruzzi, Gao, Gray, & Lee, 2016), giving so-called gCICYs (generalized CICYs), thereby generating vast numbers of new CY3s.

2.3. A Plethora of CY3

Indeed, this brings up the heart of a question, in essence both mathematical and physical: How many CY3s are there? In a way, this presents an interesting sequence: in complex dimension 1, there is only the torus that is CY1; in dimension 2, there turn out to be two (the 4-dimensional torus T4=(S1)4 and a so-called K3 surface). Starting in dimension 3, and until now, no idea exists as to how many distinct smooth manifolds there are, even though literally billions have been found, as can now be seen. In this section, the various databases constructed since the CICYs are presented, which progressed in approximate five-year periods since the late 1980s.

2.3.1. Weighted Hypersurfaces

After the success story of CICYs, the search continued, partially because all χ=2(h1,1h2,1) for CICYs were negative, but it was already suspected that there should be mirror symmetry so that each CY3 with Hodge pair (h1,1,h2,1) has a mirror with these numbers reversed. Thus there should be, for each negative χ, another CY3 with positive χ. Mirror symmetry is one of the most exciting subjects of modern mathematics and theoretical physics; unfortunately this article cannot delve into this subject because of limitations of space, and readers are instead referred to the authoritative volumes of Hori et al. (2003).

Recall that the first example of the quintic Q had 4 as its ambient space A. Another natural generalization is to take weighted projective space [d0::d4]4 as A; this generalizes (2.9) by having integer “weights” (d0,d1,d2,d3,d4)+ as

[d0::d4]4:=5\{0}/((z0,z1,,z4)(λd0z0,,λd4z4)),λ\{0}.(2.13)

Of course, taking all weights di=1 is the ordinary 4. As with Q, if a hypersurface of degree d0+d1++d4 is embedded into [d0::d4]4, it defines a CY3.

One caveat is that unlike ordinary projective space, weighted projective spaces are generically singular, and care must be taken to make sure the hypersurface avoids these singularities. The classification of such manifolds was performed by Candelas, Lynker, and Schimmrigk (1990), and a total of 7,555 was found, of which 28 have20 Euler number ±6. In all, there are 2,780 distinct Hodge pairs, and with a more balanced χ[960,960].

2.3.2. Elliptic Fibrations

The mid-1990s saw the “Second String Revolution,” and with the advent of dualities and branes that linked the various string theories, the traditional heterotic compactification scenario subsequently experienced a period of relative cool compared to its birth a decade earlier. Because of the web of dualities, in particular that between the heterotic string and F-theory, there emerged another family of CY3 studied in the 1990s; this is the class of elliptically fibered CY3 (Grassi & Morrison, 2012; Morrison & Vafa, 1996).

This is a generalization of our familiar CY1, the torus, by allowing the elliptic curve to vary over a complex base surface. Algebro-geometrically, this amounts to allowing the coefficients g2,g4 in the Weierstraß equation in (2.10) to depend on some appropriate coordinates of the base surface (or more strictly, to take values in dual of the canonical bundle of the base), arriving at an overall CY3 as the total space. What are the possible bases? Once again, this turned out to be a finite set,21 which was much explored in the 1990s (Candelas, Perevalov, & Rajesh, 1997), uncovering a wealth of elegant structure.

In light of F-theory model building, elliptic CY3 and CY4 have recently been investigated with renewed zest (Beasley, Heckman, & Vafa, 2009; Marsano, Saulina, & Schafer-Nameki, 2009), and a new program in identifying elliptically fibered CYs amongst the established databases has been ongoing with the help of modern computing (Braun, 2011, 2013; Huang & Taylor, 2019a, 2019b, 2019c; Taylor, 2012). It is widely believed that, in fact, the large majority of CYn are elliptic fibrations over some appropriate (n1)-fold. For example it was found in Anderson, Gao, Gray, and Lee (2017) and Gray, Haupt, and Lukas (2014) that, among the CICYs, more than 99% of the 7,890 are elliptic fibrations; likewise, among the some 106 CICY fourfolds, more than 99.9% are elliptic.

2.3.3. Toric Hypersurfaces: The KS Database

So far, the ambient space A of CY3 being 4 (the quintic) has been seen, as well as such generalizations to products of n (CICY) and weighted 4 One systematic generalization of weighted projective space is a toric variety, which, instead of having a single list of weights as in (2.13), has a list of m weights (giving a so-called charge matrix) acting on n+m to give an n-fold. Founded on the theoretic development of Batyrev-Borisov (1994), Kreuzer and Skarke spent almost a decade22 explicitly constructing such Calabi-Yau manifolds, culminating in the early 2000s with the construction of the most extensive database of CY3 so far, the toric hypersurfaces (Avram, Kreuzer, Mandelberg, & Skarke, 1997; Kreuzer & Starke, 1997, 1998, 2002a, 2002b).

In brief, the ambient space is a toric fourfold A, and the charge matrix of weights can be repackaged into the vertices of an integer polytope (i.e., a convex body whose vertices are lattice points) living in 4. This is the key to toric geometry: to translate algebraic geometry to the combinatorics of integer lattices and polytopes.

In particular, the focus is on an integer polytope Δ4 that is reflexive, meaning that Δ has a single interior point (which can be taken to be the origin), and all bounding hyperplanes are distance 1 from this point. Equivalently, from Δ one can define23 the dual polytope Δ:={v4|mv1mΔ}. Then, Δ is reflexive if Δ also has integer vertices. In such a case, a hypersurface in the toric variety A, constructed from the polytope data, is a CY hypersurface.

Specifically, the defining equation of the CY3 is given by

X={mΔcmj=1kxjmvj+1=0}A,(2.14)

with xj coordinates of the ambient toric fourfold, cm complex coefficients, and vj the (integer) vertices of Δ. Weighted 4 (and of course ordinary 4) are archetypal examples of reflexive toric fourfolds. For our familiar example of Q4,Δ=[14111114111114111114] and Δ=[10001010010010100011], where the columns are the vertices of the polytopes, and one can check that the dot product of each column of one with that of the other is 1, in accord with the definition. Equation (2.14) is precisely the quintic hypersurface, and the ambient toric variety here is exactly 4.

Thus the question of finding toric hypersurface CY3 is the classification of reflexive integer 4-polytopes (up to redefinition by SL(4;), under which the toric fourfolds are equivalent). In 1, there is trivially one reflexive polytope (the pair of points ±1). In 2, it is classically known that there are 16 reflexive polygons up to integer linear transformations with unit determinant (which give equivalent toric varieties). For reference, these are drawn in Figure 2; hypersurfaces in the toric twofolds created from these give 16 distinguished CY1 as elliptic curves or tori.

Figure 2. The 16 reflexive polygons Δ2. The single interior point (origin) is marked green; the vertices, black; and lattice points on the edges that are not vertices, yellow (see He, Seong, & Yau, 2018).

Reflexive polytopes in n3 were unknown to mathematicians until the work of Kreuzer and Skarke. They found 4,319 in 3, and the computational challenge was to find all reflexive integer polytopes in 4. The actual calculation was performed on an SGI origin 2000 machine with about 30 processors (quite the state of the art in the 1990s), which took approximately six months; 473,800,776 were found. Each of these gives a hypersurface CY3, and thus from the database of tens of thousands established by the early 1990s, the list of CY3 suddenly grew, with this tour de force, to half a billion.

It should be emphasized that most of the ambient spaces A (as with weighted 4) from the 500 million polytopes are not smooth and require smoothing or resolution of singularities: different resolutions give rise to potentially different CY3s. Interestingly, in this large family, only 125 have smooth ambient space A, and more remarkably, only 16 have a nontrivial fundamental group. Though, of course, a classification of discrete freely acting symmetries has yet to be systematized, from which one could potentially extract many more nonsimply connected CY3 by quotienting, these special 16 are quite interesting (He, Lee, Lukas, & Sun, 2014).

Now, although for a given Δ, the Hodge pair will be the same, different resolutions will give different intersection numbers and Chern classes. Up to h1,1=7, this was done exhaustively by Altman et al. (2015), and for the highest h1,1490, it was done by Braun, Long, McAllister, Stillman, and Sung (2017). The full list of CY3s, after all the resolutions, has been recently estimated to be as large as 10105 (Altman, Carifio, Halverson, & Nelson, 2019). In any case, the KS data set produced 30,108 distinct Hodge pairs and χ[960,960]. The extremal values of ±960 are actually the weighted 4 cases. No CY construction so far has ever produced an Euler number whose magnitude exceeds 960.

Figure 3. (a) The space of CY3, with the three most studied data sets. There are also some individualized constructions outside the three major databases, symbolically marked as crosses. Q is the quintic, S is the Schoen CY3, and the most “typical” CY3 has Hodge numbers (27, 27), totaling almost 1 million. (b) Accumulating χ=2(h1,1h1,2) (horizontal) versus h1,1+h1,2 (vertical) of the KS data set in a color log-density plot (in a black-and-white rendition, the log density can be seen from the intensity of the gray scale).

A Statistical Plot: There is an iconic plot: the data set is drawn with h1,1(X)+h2,1(X) in the vertical versus χ=2(h1,1(X)h2,1(X)) in the horizontal. This is shown in part (b) of Figure 3. In part (a), the data sets discussed so far are indicated in a Venn diagram. Several properties are of note. Because there are only a total of 30,108 distinct points, the some half-billion CY3 are severely degenerate in (h1,1,h1,2). The funnel shape delineating the lower extremes is just due to theivet plotting difference versus sum of the (nonnegative) Hodge numbers. The fact that the figure is left–right symmetric is perhaps the best “experimental” evidence for mirror symmetry: that to each point with χ there should be one with χ, coming from the interchange of the two Hodge numbers. There is a paucity of CY3 near the corners, near the very bottom tip and the top of the funnel shape, and a huge concentration resides near the bottom center (note this is a log-density plot). In fact, the most “typical” CY3 thus far known is one with Hodge numbers (27, 27), numbering about 1 million. The distribution of the Hodge numbers is studied in detail in He, Jejjala, and Pontiggia (2017).

2.4. Finiteness?

A multitude of CY3s have been seen, with astronomical numbers. Now, as seen from Figure 1, the topological type of Riemann surfaces (Kähler manifold of complex dimension 1 is determined by a single integer, the Euler number; the analogue in complex dimension 3 is given by a theorem of Wall (1966) that the topology of a Kähler threefold is determined by (a) the Hodge numbers; (b) the triple intersection numbers drst; and (c) the first Pontrjagin class p1(TM)=c1(TM)22c2(TM), where c2 is the second Chern class, which was alluded to in Section 1.1, “A Classical Problem in Mathematics,” For Calabi-Yau threefolds, this amounts to the list of integers

{(h1,1,h2,1);[c2]r;drst},r,s,t=1,,h1,1.(2.15)

This list should completely characterize the topology.

In the early days, it was conjectured by Yau that the number of possible values for (2.15) is finite for CY3 (or indeed for Calabi-Yau manifolds of any dimension). It is furthermore a conjecture of Miles Reid—the Reid Fantasy—that all Calabi-Yau manifolds are connected via topology-changing processes.

2.5. Flux Compactifications and Beyond

It is worth reiterating the point that CY3s and even CY3s with vector bundle data, as abundant as they are, comprise a small corner of the string landscape. Indeed, even as far back as the mid-1980s, the number of vacua was already expected to be astronomical from the context of lattices (Lerche, Lust, & Schellekens, 1986) (indeed, one of the authors, Schellekens, speculated on the “landscape” some time before its popularity today [Schellekens, 1998]).

The often-quoted 10500 vacua first came from a rough estimate by Douglas (2004) from the flux compactification scenario of Bousso & Polchinski (2000) and Kachru, Kallosh, Linde, & Trivedi (2003). In brief, one turns on various form fields (generalizing the 1-form of electromagnetism) and integrates them on cycles (counted by our familiar Betti numbers) within Calabi-Yau spaces, giving us effective Lagrangians in terms of these “fluxes” (see Balasubramanian, Berglund, Conlon, & Quevedo, 2005). Thus, one can arrive at an approximate number of vacua, for example, from the typical size of the Betti numbers in known CY3s.

It should be mentioned in passing that everything thus far discussed has been compact CYs. Much like Liouville’s theorem that bounded entire functions are constant, once the condition of compactness is relaxed, finiteness in classification is no longer expected. Indeed, the landscape of noncompact CY3s is infinite and in the context of the AdS/CFT correspondence (Maldacena, 1999), such spaces provide the transverse direction for -brane world-volume gauge theories that are of potential phenomenological interest.24

The simplest example is the trivially Ricci-flat 3 (as an affine variety). Any (singular) quotient of 3, by discrete finite subgroups of SU(3), is also locally CY3. More importantly, any lattice cone (in that the generators are lattice vectors) in 3 with coplanar generating vectors gives a toric variety that is a noncompact CY3 space. In other words, any lattice polygon gives an affine toric CY3. Thus, an infinite family is readily obtained. For instance, the 16 reflexive polygons in Figure 2 are perfect examples of noncompact Calabi-Yau threefolds (e.g., number [Calabi, 1954] corresponds to a 3 quotient of 3). The mapping between the world-volume gauge theory and the polytope data is a beautiful one, involving the combinatorics of dimers, the physics of brane tilings and the algebraic geometry of singularity resolutions (Feng, He, Kennaway, & Vafa, 2008; Franco, Hanany, Kennaway, Vegh, & Wecht, 2006a; Franco et al., 2006b).

In addition to geometrical compactifications, be they the CY3 scenarios discussed in this article or (in theory duality-equivalent) scenarios such as F-theory compactifications on fourfolds, M theory compactification on G2 manifolds, and so on, there are still nongeometrical situations where one only considers the world-sheet conformal field theory such as Gepner models. All these have brought the string landscape to such a size25 that a re-examination of whether all effective field theories coupled to gravity can have such UV completions as string theory is investigated in the so-called Swampland conjectures by Vafa (2005); (see also Brennan, Carta, & Vafa, 2017; Ooguri & Vafa, 2007).

3. Conclusions and Prospectus

With the ever-growing number of Calabi-Yau structures, the number of ways to reach phenomenologically viable four-dimensional effective theories is staggering. In some sense, string theory has traded one difficult problem, quantization of gravity, with another, vacuum selection. The approach over the last few decades has been, as discussed above, to (a) establish concrete databases; (b) take advantage of the latest development in computer algebra (Decker, Greuel, Pfister, & Schönemann, 2018; Grayson, Stillman, & Eisenbud, 1993; Harrington, He, & Ruehle, 2019; Hauenstein, Sommese, & Wampler, 2013; He & Mehta, 2013; He, Seong, & Stillman, 2015; SageMath, 2020; The GAP Group, 2018; Wolfram Research, 2018) and exhaustively calculate the relevant physical quantities (such as bundle cohomology for particle content); and (c) sift for vacua akin to our universe.

In the end, when all the constraints such as the right Yukawa coupling and masses, and so on, have been enforced, it could still be the case that our universe is very special and rare (q.v. Candelas et al., 2008). However, confronted with the enormity of the landscape, this exhaustive search is computationally unfeasible, especially given that the key algorithms, be they Groöbner bases, which are at the heart of computational algebraic geometry, or lattice polytope triangulations, which are at the core of combinatorial geometry, are known to be exponentially expensive. Thus, statistical and data-science methods (Cicoli, Krippendorf, Mayrhofer, Quevedo, & Valandro, 2013; Cole & Shiu, 2019; Conlon & Quevedo, 2004; Denef & Douglas, 2007; Dienes, 2006; Douglas, 2004) appear to be the way forward.

3.1. Deep Learning the Landscape

In He (2017a, 2017b), a paradigm was proposed to attempt to use machine learning (the collection of techniques such as neural networks, support vector machines, or decision trees, and so forth, is loosely referred to here as simply ML) to bypass the aforementioned standard algorithms, in particular to study the string landscape and beyond. It was found that central problems such as computing cohomology of vector bundles appear to be machine-learnable to very high precision. Indeed, He (2017a, 2017b); Krefl and Seong (2017); Ruehle (2017); and Carifio, Halverson, Krioukov, and Nelson (2017) brought machine learning to the string landscape in 2017, and there has been a host of activity since.

The basic idea is that whatever the problem at hand, in algebraic or combinatorial geometry, quantity (usually a positive integer) O is typically computed from a given configuration (usually some integer matrix) I, using sophisticated and computationally expensive methods from modern mathematics. This has been done by brute force over the decades, with the help of computer algebra to establish data sets of the form D={IiOi}i=1,2,,N for a large number N of cases. Such a situation is perfectly adapted for supervised machine learning (ML)26 (the reader is referred to the canonical introduction [Mitchell, 1997]).

At the fundamental level, supervised learning by ML is simply an intricate form of (nonlinear) regression: (a) a host of internal parameters and a directed graph of nodes, each of which is some function, (b) are fitted to available data in order to specify the parameters by minimizing an appropriate cost-function (such as sum of errors squared), and (c) prediction and extrapolation are then attempted. To avoid overfitting and to see how well the ML is performing, as there could be literally thousands of parameters, the canonical method is cross-validation. The data D is a disjoint union of a training set and a validation set: D:=TV. The parameters in the ML on T are optimized and checked as to how it performs on V, which it has not “seen” before. Usually, one steps gradually in the percentage of T in D (with a few rounds of random samples to estimate error bars) and plots the accuracy measure, which gives a so-called learning curve. To entice the reader, this is illustrated here with two case studies.

Figure 4. (a) The learning curve for the precision of three machine-learning methods on learning the exact Hodge number h1,1 of CICY threefolds. (b) The learning curve of precision (in yellow) and Matthew’s ϕ-coefficlent (blue) for recognizing whether a CICY is elliptically fibered using a SVM. AII error bars come from collecting 10 random samples from the training set.

3.1.1. Learning Hodge Numbers

Consider the CICYs. Although the Euler number is easily computed from the configuration matrix analytically (see Hubsch, 1994), the individual terms (h1,1,h2,1) involve exact sequence chasing, in particular determining the (co-)kernels of the maps in the sequence that very quickly becomes of high dimension. This was nevertheless performed in Candelas, Dale, Lutken, and Schimmrigk (1988); Candelas, Lutken, and Schimmrigk (1988); and Gagnon and Ho-Kim (1994) over the course of the years. Can ML “guess” at the right value of h1,1 by simply “looking” at the configuration matrix? In principle, there might be some form of an equation of h1,1 in terms of qrj, but it would involve so many conditionals on how qjr fits into an induced long exact sequence in cohomology that such equations would be of tremendous length and rather unhelpful.

In He (2017a, 2017b), this exercise of pattern recognition of h1,1 from qrj was done, and the learning curve is shown in Figure 4 (a). Three different methods are compared: a neural network, a support vector machine, and a neural classifier. The accuracy measure is the percentage in V of when the h1,1 agrees between the actual and the predicted (note that among the 7,890 manifolds, h1,1 can range from 1 to 19). It can be seen that the classifier performs the best, and at 50% training data, there is already over 80% correct prediction for h1,1 The error bars are due to different random sampling of T. Crucially, instead of taking the many hours to compute exactly, ML is guessing the result in a matter of seconds.

3.1.2. Learning Elliptic Fibrations

Continuing with the CICYs as a playground, a substantial fraction of which are, in fact, elliptically fibered. By an exhaustive search using the theorems and conjectures of Kollár (2015); Oguiso (1993); and Wilson (1994), the elliptically fibered ones were distinguished (Anderson et al., 2017; Gray et al., 2014). Can ML do this identification as a 1/0 binary query (yes/no to elliptic fibration) merely by “looking” at the configuration matrix, but without any knowledge of the underlying mathematics? Again, there is no known simple formula of the 1/0 in terms of qrj, nor is there expected to be one.

Using a support vector machine that finds an optimal hyperplane in the very high-dimensional vector space whose entries are the flattened configuration matrix (considering the maximum number of rows and columns of qrj, this is 12×15) between 0/1, He and Lee (2019) constructed the learning curve. This is shown in Figure 4 (b), which plots both the precision in yellow (percentage of 1/0 agreed between actual and predicted) as well as so-called Matthew’s ϕ-coefficient in blue (this is a scaled version of the chi-squared that is well adapted to binary classification problems in order to account for false positives; the closer ϕ is to 1, the better the confidence of the agreement). It can be seen that even at as small as 30% training data, ML can predict which are elliptically fibered to 95% precision and confidence over the entire CICY data set.27 Again, the guessing is done in seconds rather than in many hours of computation.

4. Epilogue

This article has taken a promenade in the space of CY3 in the context of the string landscape, in a more or less historical order of the appearance of the constructions. From the initial triadophiliac query of whether there exists smooth compact CY3 with Euler number ±6, to the proliferation of CY3s constructed from algebro-geometric and combinatorial methods, to the first exact SM particle content from a CY3 that endowed a vector bundle that solves the Hull-Strominger system, and to the clear future of applying data-scientific and ML techniques, this journey has spanned some four decades. Throughout, attention has been directed to the intricate interplay between the mathematics and physics, emboldened by the plenitude of data and results, and inspired by glimpses of the yet inexplicable. The cartography of Calabi-Yau manifolds will certainly continue to provoke further exploration in an ever-growing interdisciplinary research in physics, mathematics, and computer science and artificial intelligence.

Further Reading

The interested reader is referred to the following reviews, lecture notes and books for further reading:

  • Aspinwall, P. S. (2004). D-branes on Calabi-Yau manifolds. [hep-th/0403166].

Lecture notes on CY and string theory

  • Candelas, P. (1987). Lectures on complex manifolds. In proceedings, superstrings.

For a rapid introduction of algebraic geometry for physicists

  • Denef, F. (2008). Les houches lectures on constructing string vacua. Les Houches, 87, 483. [arXiv:0803.1194 [hep-th]].

Counting string vacua

  • Grana, M. (2006). Flux compactifications in string theory: A comprehensive review. Physics Report, 423, 91–158. [hep-th/0509003].

For string phenomenology and flux compactifications on CY

  • Greene, B. R. (1997). String theory on Calabi-Yau manifolds. [hep-th/9702155].

Lecture notes on CY and string theory

  • Griffiths, P., & Harris, J. (1978). Principles of algebraic geometry: Pure and applied mathematics. New York, NY: Wiley-Interscience.

A classic textbook on algebraic geometry

  • Gross, M., Huybrechts, D., & Joyce, D. (2003). Calabi-Yau manifolds and related geometries. Universitext. Berlin, Germany: Springer.

A more recent compendium on CY and string theory

  • Hartshorne, R. (1977). Algebraic geometry. New York, NY: Springer-Verlag.

A classic textbook on algebraic geometry

  • He, Y. H. (2018). The Calabi-Yau landscape: From geometry, to physics, to machine-learning. arXiv:1812.02893 [hep-th].

For a pedagogical introduction for machine learning CY

  • Hübsch, T. (1994). Calabi-Yau manifolds: A bestiary for physicists. Singapore: World Scientific.

The classic book on CY manifolds

  • Ibáñez, L., & Uranga, A. L. (2012). String theory and particle physics—an introduction to string phenomenology. Chicago, IL: Chicago University Press.

For string phenomenology and flux compactifications on CY

  • Mitchell, T. M. (1997). Machine learning. New York, NY: McGraw-Hill.

The standard introduction to machine learning

  • Schenck, H. (2003). Computational algebraic geometry. Chicago, IL: University of Chicago Press.

An invitation to computational algebraic geometry

  • Yau, S.-T. (2009). A survey of Calabi–Yau manifolds. Geometry, analysis, and algebraic geometry: Forty years of the Journal of Differential Geometry. Surveys in Differential Geometry, 13, 277–318.

A survey of CY

References

  • Altman, R., Carifio, J., Halverson, J., & Nelson, B. D. (2019). Estimating Calabi-Yau hypersurface and triangulation counts with equation learners. Journal of High Energy Physics, 1903, 186. [arXiv:1811.06490 [hep-th]].
  • Altman, R., Gray, J., He, Y. H., Jejjala, V., & Nelson, B. D. (2015). A Calabi-Yau database: Threefolds constructed from the Kreuzer-Skarke List. Journal of High Energy Physics, 1502, 158. [arXiv:1411.1418 [hep-th]].
  • Anderson, L. B., Apruzzi, F., Gao, X., Gray, J., & Lee, S. J. (2016). A new construction of Calabi–Yau manifolds: Generalized CICYs. Nuclear Physics B, 906, 441–496. [arXiv:1507.03235 [hep-th]].
  • Anderson, L. B., Gao, X., Gray, J., & Lee, S. J. (2017). Fibrations in CICY threefolds. Journal of High Energy Physics, 2017, 77.
  • Anderson, L. B., Gray, J., He, Y. H., & Lukas, A. (2010). Exploring positive monad bundles and a new heterotic standard model. Journal of High Energy Physics, 1002, 054. [arXiv:0911.1569 [hep-th]].
  • Anderson, L. B., Gray, J., Lukas, A., & Palti, E. (2011).Two hundred heterotic standard models on smooth Calabi-Yau threefolds. Physical Review D, 84, 106005. [arXiv:1106.4804 [hep-th]].
  • Anderson, L. B., Gray, J., Lukas, A., & Palti, E. (2012). Heterotic line bundle standard models. Journal of High Energy Physics, 1206, 113. [arXiv:1202.1757 [hep-th]].
  • Aspinwall, P. S. (2004). D-branes on Calabi-Yau manifolds. [hep-th/0403166].
  • Avram, A. C., Kreuzer, M., Mandelberg, M., & Skarke, H. (1997). The web of Calabi-Yau hypersurfaces in Toric varieties. Nuclear Physics B, 505(3), 625–640. [hep-th/9703003].
  • Balasubramanian, V., Berglund, P., Conlon, J. P., & Quevedo, F. (2005). Systematics of moduli stabilisation in Calabi-Yau flux compactifications. Journal of High Energy Physics, 0503, 007. [hep-th/0502058].
  • Batyrev, V. V., & Borisov, L. A. (1994). On Calabi-Yau complete intersections in Toric varieties. [arXiv:alg-geom/9412017].
  • Beasley, C., Heckman, J. J., & Vafa, C. (2009). GUTs and exceptional branes in F-theory – I. Journal of High Energy Physics, 0901, 058. [arXiv:0802.3391 [hep-th]].
  • Berglund, P., & Hübsch, T. (2018a). A generalized construction of Calabi-Yau models and mirror symmetry. SciPost Physics, 4(2), 009. [arXiv:1611.10300 [hep-th]].
  • Berglund, P., & Hübsch, T. (2018b). On Calabi-Yau generalized complete intersections from Hirzebruch varieties and novel K3-fibrations. Advances in Theoretical and Mathematical Physics, 22, 261–303. [arXiv:1606.07420 [hep-th]].
  • Bouchard, V., & Donagi, R. (2006). An SU(5) heterotic standard model. Physics Letters B, 633, 783. [hep-th/0512149].
  • Bousso, R., & Polchinski, J. (2000). Quantization of four form fluxes and dynamical neutralization of the cosmological constant. Journal of High Energy Physics, 0006, 006. [hep-th/0004134].
  • Braun, A. P., Knapp, J., Scheidegger, E., Skarke, H., & Walliser, N. O. (2013). PALP—a user manual. In R. Anton, L. Katzarkov, A. Rebhan, J. Knapp, R. Rashkov, & E. Scheidegger (Eds.), Strings, gauge field, and the geometry behind: The legacy of Maximilian Kreuzer (pp. 461–550). Hackensack, NJ: World Scientific. [arXiv:1205.4147 [math.AG]].
  • Braun, A. P., Long, C., McAllister, L., Stillman, M., & Sung, B. (2017). The Hodge numbers of divisors of Calabi-Yau threefold hypersurfaces. [arXiv:1712.04946 [hep-th]].
  • Braun, A. P., & Walliser, N. O. (2011). A new offspring of PALP. [arXiv:1106.4529 [math.AG]].
  • Braun, V. (2011). On free quotients of complete intersection Calabi-Yau manifolds. Journal of High Energy Physics, 1104, 005. [arXiv:1003.3235 [hep-th]].
  • Braun, V. (2013). Toric elliptic fibrations and F-Theory compactifications. Journal of High Energy Physics, 1301, 016. [arXiv:1110.4883 [hep-th]].
  • Braun, V., Candelas, P., & Davies, R. (2010). A three-generation Calabi-Yau manifold with small Hodge numbers. Fortschritte der Physik, 58, 467. [arXiv:0910.5464 [hep-th]].
  • Braun, V., He, Y. H., Ovrut, B. A., & Pantev, T. (2005). A heterotic standard model. Physics Letters B, 618(1–4), 252–258. [hep-th/0501070].
  • Braun, V., He, Y. H., Ovrut, B. A., & Pantev, T. (2006). The exact MSSM spectrum from string theory. Journal of High Energy Physics, 0605, 043. [hep-th/0512177].
  • Brennan, T. D., Carta, F., & Vafa, C. (2017). The string landscape, the swampland, and the missing corner. Journal of High Energy Physics, 44. [arXiv:1711.00864 [hep-th]].
  • Bull, K., He, Y. H., Jejjala, V., & Mishra, C. (2018). Machine learning CICY threefolds. Physics Letters B, 785, 65–72. [arXiv:1806.03121 [hep-th]].
  • Bull, K., He, Y. H., Jejjala, V., & Mishra, C. (2019). Getting CICY high. Physics Letters B, 795, 701–706. arXiv:1903.03113 [hep-th].
  • Calabi, E. (1954). The space of Kähler metrics. Proceedings of the International Congress of Mathematicians Amsterdam, 2, 206–207.
  • Calabi, E. (1957). On Kähler manifolds with vanishing canonical class. In R. H. Fox, D. C. Spencer, & A. W. Tucker (Eds.), Algebraic geometry and topology. A symposium in honor of S. Lefschetz. Princeton Mathematical Series (Vol. 12, pp. 78–89). Princeton, NJ: Princeton University Press.
  • Candelas, P. (1987). Lectures on complex manifolds. In proceedings, superstrings.
  • Candelas, P., Constantin, A., & Mishra, C. (2018). Calabi-Yau threefolds with small Hodge numbers. Fortschritte der Physik, 66(6), 1800029. [arXiv:1602.06303 [hep-th]].
  • Candelas, P., Dale, A. M., Lutken, C. A., & Schimmrigk, R. (1988). Complete intersection Calabi-Yau manifolds. Nuclear Physics B, 298, 493–525.
  • Candelas, P., & Davies, R. (2010). New Calabi-Yau manifolds with small Hodge numbers. Fortschritte der Physik, 58, 383. [arXiv:0809.4681 [hep-th]].
  • Candelas, P., Horowitz, G. T., Strominger, A., & Witten E. (1985). Vacuum configurations for superstrings Nuclear Physics B, 258, 46–74.
  • Candelas, P., Lutken, C. A., & Schimmrigk, R. (1988). Complete intersection Calabi-Yau manifolds. 2. Three generation manifolds. Nuclear Physics B, 306, 113–136.
  • Candelas, P., Lynker, M., & Schimmrigk, R. (1990). Calabi-Yau manifolds in weighted P(4). Nuclear Physics B, 341(2), 383–402.
  • Candelas, P., de la Ossa, X., He, Y. H., & Szendroi, B. (2008). Triadophilia: A special corner in the landscape. Advances in Theoretical and Mathematical Physics, 12, 429–449.
  • Candelas, P., Perevalov, E., & Rajesh, G. (1997). Toric geom. and enhanced gauge symmetry of F theory/heterotic vacua. Nuclear Physics B, 507, 445. [hep-th/9704097].
  • Carifio, J., Halverson, J., Krioukov, D., & Nelson, B. D. (2017). Machine learning in the string landscape. Journal of High Energy Physics, 1709, 157. [arXiv:1707.00655 [hep-th]].
  • Cicoli, M., Krippendorf, S., Mayrhofer, C., Quevedo, F., & Valandro, R. (2013) .The web of D-branes at singularities in compact Calabi-Yau manifolds. Journal of High Energy Physics, 1305, 114. [arXiv:1304.2771 [hep-th]].
  • Cole, A., & Shiu, G. (2019). Topological data analysis for the string landscape. Journal of High Energy Physics, 1903, 054. [arXiv:1812.06960 [hep-th]].
  • Conlon, J. P., & Quevedo, F. (2004). On the explicit construction and statistics of Calabi-Yau flux vacua. Journal of High Energy Physics, 0410, 039 [hep-th/0409215].
  • Constantin, A., He, Y. H., & Lukas, A. (2019). Counting string theory standard models. Physics Letters B, 792, 258–262. [arXiv:1810.00444 [hep-th]].
  • Cvetic, M., Halverson, J., Lin, L., Liu, M., & Tian, J. (2019). A quadrillion standard models from F-theory. Physics Review Letters, 123, 101601. [arXiv:1903.00009 [hep-th]].
  • Decker, W., Greuel, G.-M., Pfister, G., & Schönemann, H. (2018). Singular 4-1-1—a computer algebra system for polynomial computations. ACM Communications in Computer Algebra, 42(3), 180–181.
  • Denef, F. (2008). Les houches lectures on constructing string vacua. Les Houches, 87, 483. [arXiv:0803.1194 [hep-th]].
  • Denef, F., & Douglas, M. R. (2007). Computational complexity of the landscape: Part I. Annals of Physics, 322(5), 1096–1142. [hep-th/0602072].
  • Dienes, K. R. (2006). Statistics on the heterotic landscape: Gauge groups and cosmological constants of four-dimensional heterotic strings. Physical Review D, 73, 106010. [hep-th/0602286].
  • Donagi, R., He, Y. H., Ovrut, B. A., & Reinbacher, R. (2004). The particle spectrum of heterotic compactifications. Journal of High Energy Physics, 0412, 054. [hep-th/0405014].
  • Donagi, R., He, Y. H., Ovrut, B. A., & Reinbacher, R. (2005). The spectra of heterotic standard model vacua. Journal of High Energy Physics, 0506, 070. [hep-th/0411156].
  • Donagi, R., Ovrut, B. A., Pantev, T., & Waldram, D. (2002). Standard model bundles. Advances in Theoretical and Mathematical Physics, 5, 563–615.
  • Douglas, M. R. (2004). Basic results in vacuum statistics. Comptes Rendus Physique, 5, 965–977.
  • Feng, B., He, Y. H., Kennaway, K. D., & Vafa, C. (2008). Dimer models from mirror symmetry and quivering amoebae. Advances in Theoretical and Mathematical Physics, 12(3), 489–545. [hep-th/0511287].
  • Franco, S., Hanany, A., Kennaway, K. D., Vegh, D., & Wecht, B. (2006a). Brane dimers and quiver gauge theories. Journal of High Energy Physics, 0601, 096. [hep-th/0504110].
  • Franco, S., Hanany, A., Martelli, D., Sparks, J., Vegh, D., & Wecht, B. (2006b). Gauge theories from Toric geometry and brane tilings. Journal of High Energy Physics, 0601, 128. [hepth/0505211].
  • Gagnon, M., & Ho-Kim, Q. (1994). An exhaustive list of complete intersection Calabi-Yau manifolds. Modern Physics Letters A, 9(24), 2235–2243.
  • Gauntlett, J. P., Martelli, D., Sparks, J., & Yau, S. T. (2007). Obstructions to the existence of Sasaki-Einstein metrics. Communications in Mathematical Physics, 273(3), 803–827. [hep-th/0607080].
  • Gmeiner, F., Blumenhagen, R., Honecker, G., Lust, D., & Weigand, T. (2006). One in a billion: MSSM-like D-brane statistics. Journal of High Energy Physics, 0601, 004. [hep-th/0510170].
  • Grana, M. (2006). Flux compactifications in string theory: A comprehensive review. Physics Report, 423, 91–158. [hep-th/0509003].
  • Grassi, A., & Morrison, D. R. (2012). Anomalies & the Euler characteristic of elliptic Calabi-Yau 3-folds. Communications in Number Theory and Physics, 6, 51–127. [arXiv:1109.0042 [hep-th]].
  • Gray, J., Haupt, A. S., & Lukas, A. (2013). All complete intersection Calabi-Yau four-folds. Journal of High Energy Physics, 1307, 070. [arXiv:1303.1832 [hep-th]].
  • Gray, J., Haupt, A. S., & Lukas, A. (2014). Topological invariants and fibration structure of complete intersection Calabi-Yau four-folds. Journal of High Energy Physics, 1409, 093.
  • Grayson, D., Stillman, M., & Eisenbud, D. (1993). Macaulay2, a software system for research in algebraic geometry.
  • Green, M. B., & Schwarz, J. H. (1984). Anomaly cancellation in supersymmetric D=10 gauge theory and superstring theory. Physics Letters B, 149, 117–122.
  • Greene, B. R. (1997). String theory on Calabi-Yau manifolds. [hep-th/9702155].
  • Greene, B. R., Kirklin, K. H., Miron, P. J., & Ross, G. G. (1986). A superstring inspired standard model. Physics Letters B, 180(1–2), 69–76.
  • Greene, B. R., Kirklin, K. H., Miron, P. J., & Ross, G. G. (1987). 273 Yukawa couplings for a three-generation superstring model. Physics Letters B, 192(1–2), 11–118.
  • Griffiths, P., & Harris, J. (1978). Principles of algebraic geometry: Pure and applied mathematics. New York, NY: Wiley-Interscience.
  • Gross, D. J., Harvey, J. A., Martinec, E. J., & Rohm, R. (1985). The heterotic string. Physical Review Letters, 54, 502–505.
  • Gross, M., Huybrechts, D., & Joyce, D. (2003). Calabi-Yau manifolds and related geometries. Universitext. Berlin, Germany: Springer.
  • Haag, R., Lopuszanski, J. T., & Sohnius, M. (1975). All possible generators of supersymmetries of the s matrix. Nuclear Physics B, 88, 257–274.
  • Harrington, H., He, Y.-H., & Ruehle, F. (Organizers). (2019). Computational geometry, data science and fundamental physics. SIAM Conference on Applied Algebraic Geometry, Bern, Switzerland.
  • Hartshorne, R. (1977). Algebraic geometry. New York, NY: Springer-Verlag.
  • Hauenstein, J., Sommese, A., & Wampler, C. (2013). Bertini: Software for numerical algebraic geometry. University of Notre Dame.
  • He, Y. H. (2017a). Deep-learning the landscape. [arXiv:1706.02714 [hep-th]].
  • He, Y. H. (2017b). Machine-learning the string landscape. Physics Letters B, 774, 564–568.
  • He, Y. H. (2018). The Calabi-Yau landscape: From geometry, to physics, to machine-learning. [arXiv:1812.02893 [hep-th]].
  • He, Y. H., Jejjala, V., Matti, C., Nelson, B. D., & Stillman, M. (2015). The geometry of generations. Communications in Mathematical Physics, 339(1), 149–190.
  • He, Y. H., Jejjala, V., & Pontiggia, L. (2017). Patterns in Calabi–Yau distributions. Communications in Mathematical Physics, 354(2), 477–524. [arXiv:1512.01579 [hep-th]].
  • He, Y. H., & Lee, S. J. (2019). Distinguishing elliptic fibrations with AI. Physics Letters B, 798, 134889. [arXiv:1904.08530 [hep-th]].
  • He, Y. H., Lee, S. J., Lukas, A., & Sun, C. (2014). Heterotic model building: 16 special manifolds. Journal of High Energy Physics, 1406, 077. [arXiv:1309.0223 [hep-th]].
  • He, Y.-H., & Mehta, D. (Organizers). (2013). Applications of computational and numerical algebraic geometry to theoretical physics. SIAM Conference on Applied Algebraic Geometry, Boulder, CO.
  • He, Y.-H., Seong, R.-K., & Stillman, M. (Organizers). (2015). Applications of computational algebraic geometry to theoretical physics. SIAM Conference on Applied Algebraic Geometry, Daejeon, South Korea.
  • He, Y. H., Seong, R. K., & Yau, S. T. (2018). Calabi–Yau volumes and reflexive polytopes. Communications in Mathematical Physics, 361(1), 155–204. [arXiv:1704.03462 [hep-th]].
  • Hori, K., Katz, S., Klemm, A., Pandharipande, R., Thomas, R., Vafa, C., . . . Zaslow, E. (2003). Mirror symmetry. Clay Mathematics Monographs (Vol. 1). Providence, RI: American Mathematical Society.
  • Huang, Y. C., & Taylor, W. (2019a). Comparing elliptic and Toric hypersurface CY 3-folds at large Hodge numbers. Journal of High Energy Physics, 1902, 087. [arXiv:1805.05907 [hep-th]].
  • Huang, Y. C., & Taylor, W. (2019b). Mirror symmetry and elliptic Calabi-Yau manifolds. Journal of High Energy Physics, 1904, 083. [arXiv:1811.04947 [hep-th]].
  • Huang, W. C., & Taylor, W. (2019c). On the prevalence of elliptic and genus one fibrations among Toric hypersurface Calabi-Yau threefolds. Journal of High Energy Physics, 1903, 014. [arXiv:1809.05160 [hep-th]].
  • Hübsch, T. (1994). Calabi-Yau manifolds: A bestiary for physicists. Singapore: World Scientific.
  • Hull, C. M. (1986). Superstring compactifications with torsion and space-time supersymmetry. In R. D’Auria & P. Fre (Eds.), Turin 1985, Proceedings, Superunification and Extra Dimensions (pp. 347–375). Singapore: World Scientific.
  • Ibáñez, L., & Uranga, A. L. (2012). String theory and particle physics—an introduction to string phenomenology. Chicago, IL: Chicago University Press.
  • Kachru, S., Kallosh, R., Linde, A. D., & Trivedi, S. P. (2003). De Sitter vacua in string theory. Physics Review D, 68, 046005. [hep-th/0301240].
  • Kollár, J. (2015). Deformations of elliptic Calabi-Yau manifolds. In C. D. Hacon, M. Mustata, & M. Popa (Eds.), Recent advances in algebraic geometry (pp. 254–290). Cambridge, UK: Cambridge University Press. [arXiv:1206.5721 [math.AG]].
  • Krefl, D., & Seong, R. K. (2017). Machine learning of Calabi-Yau volumes. Physics Review D, 96(6), 066014. [arXiv:1706.03346 [hep-th]].
  • Kreuzer, M., & Skarke, H. (1997). On the classification of reflexive polyhedra. Communications in Mathematical Physics, 185, 495–508. [hep-th/9512204].
  • Kreuzer, M., & Skarke, H. (1998). Classification of reflexive polyhedra in three-dimensions. Advances in Theoretical and Mathematical Physics, 2, 853–871. [hep-th/9805190].
  • Kreuzer, M., & Skarke, H. (2002a). Complete classification of reflexive polyhedra in four-dimensions. Advances in Theoretical and Mathematical Physics, 4, 1209–1230. [hep-th/0002240].
  • Kreuzer, M., & Skarke, H. (2002b). Reflexive polyhedra, weights and toric Calabi-Yau fibrations. Reviews in Mathematical Physics, 14(3), 343–374. [math/0001106 [math-ag]].
  • Lerche, W., Lust, D., & Schellekens, A. N. (1986). Ten-dimensional heterotic strings from Niemeier lattices. Physics Letters B, 181, 71–75.
  • Maldacena, J. M. (1999). The Large N limit of superconformal field theories and supergravity. International Journal of Theoretical Physics, 38, 1113–1133. [hep-th/9711200].
  • Marsano, J., Saulina, N., & Schafer-Nameki, S. (2009). F-theory compactifications for supersymmetric GUTs. Journal of High Energy Physics, 0908, 030. [arXiv:0904.3932 [hep-th]].
  • Martelli, D., Sparks, J., & Yau, S. T. (2008). Sasaki-Einstein manifolds and volume minimization. Communications in Mathematical Physics, 280, 611–673. [hep-th/0603021].
  • Mitchell, T. M. (1997). Machine learning. New York, NY: McGraw-Hill.
  • Morrison, D. R., & Vafa, C. (1996). Compactifications of F theory on Calabi-Yau threefolds. 1. Nuclear Physics B, 473, 74–92. [hep-th/9602114].
  • Oguiso, K. (1993). On algebraic fiber space structures on a Calabi-Yau 3-fold. International Journal of Mathematics, 4(3), 439–465.
  • Ooguri, H., & Vafa, C. (2007). On the geometry of the string landscape and the swampland. Nuclear Physics B, 766(1–3), 21–33. [hep-th/0605264].
  • Qureshi, M. I., & Szendroi, B. (2011). Calabi-Yau threefolds in weighted flag varieties. Advances in High Energy Physics, 54317. [arXiv:1105.4282 [math.AG]].
  • Ruehle, F. (2017). Evolving neural networks with genetic algorithms to study the string landscape. Journal of High Energy Physics, 1708, 038. [1706.07024 [hep-th]].
  • SageMath. (2020). Sage Mathematics Software, The Sage Development Team (William A. Stein et al.).
  • Schellekens, A. N. (1998). The landscape “avant la letter.” arXiv: physics/0604134.
  • Schenck, H. (2003). Computational algebraic geometry. Chicago, IL: Chicago University Press.
  • Shing-Tung Yau. (2009). A survey of Calabi–Yau manifolds. Geometry, analysis, and algebraic geometry: Forty years of the Journal of Differential Geometry. Surveys in Differential Geometry, 13, 277–318.
  • Strominger, A. (1986). Superstrings with torsion. Nuclear Physics B, 274(2), 253–284.
  • Tanabashi, M., et al. (Particle Data Group). (2019). The review of particle physics. Physical Review D, 98(3).
  • Taylor, W. (2012). On the Hodge structure of elliptically fibered Calabi-Yau threefolds. Journal of High Energy Physics, 1208, 032. [arXiv:1205.0952 [hep-th]].
  • Taylor, W., & Wang, Y. N. (2015). The F-theory geometry with most flux vacua. Journal of High Energy Physics, 1512, 164. [arXiv:1511.03209 [hep-th]].
  • Vafa, C. (2005). The string landscape and the swampland. [hep-th/0509212.]
  • Wall, C. T. C. (1966). Classification problems in differential topology, V: On certain 6-manifolds. Inventiones Mathematicae, 1, 355–374.
  • Wilson, P. M. H. (1994). The existence of elliptic fibre space structures on Calabi-Yau threefolds. Mathematische Annelan, 300, 693–703.
  • Wolfram Research, Inc. (2018). Mathematica, Champaign, IL.
  • Yau, S.-T. (1977). Calabi’s conjecture and some new results in algebraic geometry. Proceedings of the National Academy of Sciences of the United States of America, 74(5), 1798–1799.
  • Yau, S.-T. (1978). On the Ricci curvature of a compact Kähler manifold and the complex Monge-Ampère equation I. Communications on Pure and Applied Mathematics, 31(3), 339–411.
  • Yau, S.-T. (2009). A survey of Calabi–Yau manifolds. Geometry, analysis, and algebraic geometry: Forty years of the Journal of Differential Geometry. Surveys in Differential Geometry, 13, 277–318.

Notes

  • 1. This is seen as follows. The plane can be tessellated by an infinite number of equal parallelograms P, the vertices of which constitute the lattice. Thus, the quotient first reduces the plane to a single P, the so-called fundamental domain. Next, each pair of the opposite sides of P is pasted to give a torus.

  • 2. It is rather confusing to the outsider that in algebraic geometry, because one usually works over , a “curve” means a complex curve of real dimension 2 and is really one’s familiar surface; likewise, a “surface” usually means a complex surface of real dimension 4.

  • 3. Here, the indices μ,ν¯ are just z and z¯ because one is in complex dimension 1; in complex dimension n, one needs n pairs of coordinates (zμ,z¯ν¯).

  • 4. The formal definition is the existence of a closed 2-form, the Kähler form ω, associated with the Hermitian metric, which implies condition (1.1).

  • 5. Strictly, the Chern class is defined for the tangent bundle τΣ of Σ; this point is returned to in Section 2.2.1. “Recent Developments.” Furthermore, Equation (1.2) has written the term [c1(Σ)][Σ] more formally as an inner product, in intersection theory, of the first Chern class c1 (as an element, hence the square brackets, of the second cohomology H2(Σ)), of the tangent bundle TΣ with the second homology class H2(Σ) of Σ.

  • 6. Formally, bi is the rank of the i-th homology group Hi(Σ), which is also that of the i-th cohomology group Hi(Σ).

  • 7. There are some further mild conditions, akin to the Cauchy-Riemann equations that are needed to define complex analytic functions.

  • 8. More technically, the conjecture is as follows. Let (M,g,ω) be a compact Kähler manifold and R a (1,1)-form such that [R]=[c1(M)]. Then there exists a unique Kähler metric g˜ and Kähler form ω˜ such that [ω]=[ω˜]H2(M;) with R=Ric(ω˜), the Ricci form of ω˜.

  • 9. An equivalent definition for Calabi-Yau is that there is a unique holomorphic -form, the volume form. This unique form compels hn,0 to equal 1.

  • 10. Although one might be skeptical of supersymmetry on grounds of there being still no experimental evidence, from a theoretical point of view it is definitely the right way of thinking. An analogy with the real or complex number system is a fitting one. Problems in mathematics are far better behaved over than over because the former is, as mentioned earlier, algebraically closed. Moreover, is in some sense the unique extension of with this closure property (otherwise, it is necessary to sacrifice commutativity and associativity). Likewise, supersymmetry, by the theorem of Haag, Lopuszański, and Sohnius (1975), is in some sense the unique extension for space-time symmetry under which QFTs are much better behaved.

  • 11. It just so happened that Strominger, of CHSW, was sharing an office with Yau at the Institute for Advanced Study, Princeton, as they arrived at their condition, not long after Yau got the Fields medal for . This juxtaposition engendered the perfect discussion between the physicist and the mathematician. This is a golden example of a magical aspect of string theory: it repeatedly infringes, almost always unexpectedly rather than forcibly, on the most profound mathematics of paramount concern, and often proceeds to contribute to it.

  • 12. This is unlike for an arbitrary Kähler threefold, which has U(3), or a Riemannian 6-manifold, which has SO(6)

  • 13. Recently, independent of string theory or any unified theories, why there might be geometrical reasons for three generations to be built into the very geometry of the Standard Model has been explored (He, Jejjala, Matti, Nelson, & Stillman, 2015).

  • 14. One can check by writing out (x,y) in their real and imaginary parts, and the Weierstraß equation becomes two real constraints. We can then solve this numerical and plot the result to see a torus emerge.

  • 15. In this case, one can heuristically obtain the 1 as being descended from the Kähler class of the ambient 4 and the 101 as follows: h2,1 counts the inequivalent complex deformations, there are (5+515)=125 degree 5 monomials in 5 variables, subtract this by the action of linear redefinition of variables which amounts to (521)=24, and then by an overall scaling gives us 125241=101. In general, however, this naive counting does not work.

  • 16. This is one of the short-comings of the index theorem: the integral of curvature and the intersection of the Chern classes give only the alternating sum (Euler number) in (co-)homology, but not the individual terms.

  • 17. This works out perfectly for a Calabi-Yau 3-fold: for example, H1(X,v)×H1(X,v)×H1(X,v)H3(X,OX).

  • 18. The corresponding cohomology groups are as follows. For SU(5) we have #(10¯)=h1(X,V),#(10)=h1(X,V*),#(5)=h1(X,2V),#(5¯)=h1(X,2V*),#(1)=h1(X,VV*),#(24)=1, where the MSSM quarks/lepton live in the 105¯, and the Higgs, in the 5. Similarly, for SO(10), we have #(16¯)=h1(X,V*),#(16)=h1(X,V),#(10)=h1(X,2V)=h1(X,2V*),#(1)=h1(X,VV*),#(45)=1, where the SM quarks/lepton live in the 16, and the Higgs, in the 10.

  • 19. Geometrically, this means a Calabi-Yau 3-fold X with freely acting discrete group Γ must be found so that the smooth quotient X=X/Γ has fundamental group Γ=π1(X) and admits a stable Γ-equivariant bundle V.

  • 20. Of course, with the importance of Wilson Lines, one should no longer be limited to |χ|=6, but rather those with freely acting discrete groups of order k and χ=±3k.

  • 21. Namely, (I) Hirzebruch surfaces Fr for r=0,1,,12; (II) So-called 1-blowups of Hirzebruch surfaces F^r for r=0,1,2,3; (III) Del Pezzo surfaces dr for r=0,1,,9; and (IV) Enriques surface E. These are classical complex surfaces that are the likes of 1 fibered over 1, as well as blowups of 2.

  • 22. Due to the untimely death of Max Kreuzer, it became a pertinent issue to attempt to salvage the data for posterity, a recent version of this legacy project is presented in Braun, Knapp, Scheidegger, Skarke, and Walliser (2013); and Braun and Walliser (2011). One is also referred to Qureshi and Szendroi (2011) where the ambient space is more general than a toric variety

  • 23. In the perhaps more familiar definition of a toric variety in terms of fans of cones, the fan Σ is simply the faces of Δ.

  • 24. Geometrically, these noncompact CY3 spaces can be seen as cones over Sasaki-Einstein manifolds (Gauntlett, Martelli, Sparks, & Yau, 2007; He, Seong, & Yau, 2018; Martelli, Sparks, & Yau, 2008) of real dimension 5.

  • 25. For instance, a recent estimate of consistent F-theory flux compactifications numbers as high as 10105 by Taylor and Wang (2015). Even models with exact SM particle content are estimated to be very high powers of 10 (Constantin, He, & Lukas, 2019; Cvetic, Halverson, Lin, Liu, & Tian, 2019).

  • 26. Likewise, one could have an incomplete classification of configurations {Ii} and attempt to extrapolate to the remaining by unsupervised learning.

  • 27. One might worry that the elliptic data set is highly imbalanced in that the vast majority are elliptically fibered; balanced data were ensured by enhancing the positives with permutations, which are equivalent representations of the same manifold. In other words, the ML is not predicting 1 all the time.