Lectures on the Calabi-Yau Landscape Arxiv:2001.01212V2
Total Page:16
File Type:pdf, Size:1020Kb
Lectures on the Calabi-Yau Landscape Jiakang Bao1;2,∗ Yang-Hui He1;3;4,y Edward Hirst1;2,z Stephen Pietromonaco5x 1Department of Mathematics, City, University of London, EC1V 0HB, UK 2Department of Physics, Imperial College London, SW7 2AZ, UK 3Merton College, University of Oxford, OX14JD, UK 4School of Physics, NanKai University, Tianjin, 300071, P.R. China 5Department of Mathematics, University of British Columbia, V6T 1Z2, Canada Abstract In these lecture notes, we survey the landscape of Calabi-Yau threefolds, and the use of machine learning to explore it. We begin with the compact portion of the landscape, focusing in particular on complete intersection Calabi-Yau varieties (CICYs) and elliptic fibrations. Then we examine non-compact Calabi-Yau manifolds which are manifest in Type II superstring theories. They arise as representation varieties of quivers, used to describe gauge theories in the bulk familiar four dimensions. Finally, given the huge amount of Calabi-Yau data, whether and how machine learning can be applied to algebraic geometry and string landscape is also discussed. These notes are directed to the beginning graduate student interested in mathematics and in physics, and are based on lectures given by the 2nd author at the 2019 PIMS Summer School on Algebraic Geometry in High-Energy Physics at the University of Saskatchewan. arXiv:2001.01212v2 [hep-th] 4 Feb 2020 ∗jiakang:bao18@imperial:ac:uk yhey@maths:ox:ac:uk zEdward:Hirst@city:ac:uk xspietro@math:ubc:ca 1 CONTENTS CONTENTS Contents 1 Introduction4 I Compact Calabi-Yau Landscape5 2 Calabi-Yau Geometry in Math and Physics5 2.1 Topological Data . .7 2.2 String Compactifications . .9 3 C.I.C.Y. 9 3.1 Cyclic Calabi-Yau Threefolds . .9 3.2 CICY Calabi-Yau Threefolds . 11 4 Elliptically Fibered Calabi-Yau Threefolds 13 5 Additional Regions of the Compact Landscape 15 II Non-compact Calabi-Yau Landscape 16 6 String Theory Structures 16 6.1 D-branes . 16 6.2 Quivers . 17 3 6.3 An Orbifold Example: C =Z3 .......................... 18 6.4 McKay Correspondence . 19 7 Algebraic Geometry Viewpoint 20 7.1 Brane Tilings . 20 7.2 Dessin d'Enfants . 22 8 Non-compact Calabi-Yau Summary 24 III Machine-Learning the Landscape 26 9 Performance Measures: Hypersurfaces in W P4 26 10 Learning CICYs 28 10.1 Distinguishing Elliptic Fibrations . 31 11 A Digression: Group Theory 33 11.1 Learning Cayley Tables . 33 2 CONTENTS CONTENTS 11.2 Learning Finite Simple Groups . 33 12 Summary and Outlook 34 A Some Complex Geometry 35 A.1 K¨ahlerManifolds . 36 A.2 Chern Classes . 36 B Toric Varieties 37 C Introduction to Machine Learning 39 C.1 Text recognition . 39 C.2 Neural Networks . 41 C.3 Support Vector Machines . 43 C.4 Decision Trees . 46 C.5 Types of Machine Learning . 48 References 49 3 1 INTRODUCTION 1 Introduction Superstring theories demand our spacetime dimension to be 10, which means we should reduce them to an effectively 4-dimensional theory. The standard solution of string com- pactification, as a generalization of Kaluza-Klein compactification, renders the extra six dimensions Calabi-Yau (CY). Thus, the study of Calabi-Yau and algebraic geometry has entered the field of theoretical physics. In order to avoid an excess of symmetries in our observed 4-dimensional universe, isome- tries in our geometry, which leads to extra graviphotons, is not allowed [1]. This leaves us the only option of manifolds of complex dimension 3, which requires K¨ahlerstructure and vanishing first Chern classes (c1 = 0). As will be explained in x2.2, we also want the manifold to be Ricci-flat. However, given a K¨ahlermanifold with zero c1, the existence of a (unique) K¨ahlermetric in the same K¨ahlerclass with vanishing Ricci form is not self-evident. Followed by the work of Calabi [2] and Yau [3,4], mathematicians reached a great success in studying CY manifolds. Later, physicists realized the crucial role CY manifolds play in fundamental physics as aforementioned. Discoveries in physics enabled people to reconstruct the Standard Model from compactifications and also led to the mirror symmetry which is now a focused interface of mathematics and physics [5]. More details and discussions on the physcial predictions from CY manifolds can be found in [1]. Nowadays, thanks to the information age, we are able to let machines help us learn the structure of CY manifolds due to the large volume of data which has been compiled since the mid-1980s by physi- cists and mathematicians. This even brings computer science and data science into this interdisciplinary area. The outline is organized as follows. In PartI, we mainly focus on compact CY landscape. We start with a background on Calabi-Yau geometry. We also pay our attention to the complete intersection Calabi-Yaus (CICYs). Then we contemplate the non-compact case in Part II. In this part, more physics and mathematics, such as quivers and toric varieties, and their relations are discussed. Finally, we apply machine learning to the study of CY landscape in Part III. Along with a quick introduction to machine learning, we perform this technique to different topics in mathematics. In the appendices, some prerequisites are provided. 4 2 CALABI-YAU GEOMETRY IN MATH AND PHYSICS Part I Compact Calabi-Yau Landscape Some basic topological or geometric facts are given in AppendixA. For far more detailed treatment on what follows, we refer the reader to [6{9]. 2 Calabi-Yau Geometry in Math and Physics The story of Calabi-Yau manifolds originates in the mid-1950s with the following conjec- ture of Eugenio Calabi. Conjecture 2.1. (The Calabi Conjecture) Let (X; g; !) be a compact K¨ahlermanifold, 1;1 1;1 and fix R 2 Ω (X) such that [R] = c1(TX ) 2 H (X). Then there exists a unique K¨ahler metric ge with K¨ahlerform !e such that [!] = [!e], and R = Ric(!e) where Ric(!e) is the Ricci form of !e. The power of this conjecture is that it describes complicated geometric data (curvature) in terms of simpler topological data (Chern classes). For example, in complex dimension 1, this conjecture reduces to the Gauss-Bonnet theorem for Riemann surfaces, which says that the curvature is determined completely by the genus. In higher dimensions, the conjecture is that the curvature is controlled by the first Chern class (of the tangent bundle). Calabi himself proved the uniqueness part of his conjecture, but the existence remained an open problem for 20 years before Shing-Tung Yau completed the proof, for which he received the Fields Medal in 1982. Theorem 2.2. (Yau) The Calabi conjecture holds. We will be primarily interested in the special case of R = 0, in which we say that X admits a Ricci-flat metric. In general relativity, Riemannian manifolds with Ricci-flat metrics are vacuum solutions of Einstein's equations (that is, solutions without matter and energy). We are therefore interested in such manifolds which are K¨ahler. This leads us to the definition of a Calabi-Yau manifold1. Definition 2.3. Let X be a compact K¨ahlermanifold with dimC(X) = n. We say X is a Calabi-Yau n-fold if it admits a Ricci-flat metric2 of strictly SU(n) holonomy. 1In fact, the word \Calabi-Yau" was coined by physicists later [5] for Ricci-flat K¨ahlermanifolds. 2Yau's proof of the Calabi conjecture was not constructive, and to-date, there is not a single compact Calabi-Yau manifold where the Ricci-flat metric is known explicitly (outside of trivial cases of tori). This is an important open problem. 5 2 CALABI-YAU GEOMETRY IN MATH AND PHYSICS Let us give some low-dimensional examples of Calabi-Yau manifolds: 1. The only Calabi-Yau manifold of (complex) dimension 1 is an elliptic curve. Thus, there is a single topological type. 2. The Calabi-Yau manifolds of complex dimension 2 are called K3 surfaces. A simple construction is as a smooth quartic hypersurface in P3. All K3 surfaces are simply connected, and diffeomorphic to one another; so there is only one topological type. (Note that 4-dimensional tori are indeed Ricci flat, but they do not satisfy the condition on the holonomy group in the definition.) Proposition 2.4. For X as in the definition, the following are equivalent3: 1. X is a Calabi-Yau n-fold. 2. The first Chern class of X vanishes; c1(TX ) = 0. 3. There exists a covariantly constant spinor on X. 4. There exists a non-vanishing holomorphic n-form on X. ∼ 5. X is a smooth projective algebraic variety with trivial canonical line bundle !X = OX , Vn ∗ k where !X = TX , and which additionally satisfies H (X; OX ) = 0 for 0 < k < n. The final characterization in the proposition is clearly the preferable one in algebraic geometry. We can remove the hypothesis of projectivity, which results in non-compact Calabi-Yau manifolds, of interest to us in PartII. We could also allow for mild singularities, which inevitably arise when studying families of Calabi-Yau manifolds. Remark 2.5. One must beware of mildly different definitions of Calabi-Yau. Our definition excludes all tori (in particular, abelian varieties) and, for example, the threefold K3×E; the product of a K3 surface and an elliptic curve. These spaces admit Ricci-flat metrics, though of holonomy strictly contained in SU(n). In physics, this will translate into the low-energy theory having enhanced supersymmetry. Both abelian threefolds and K3×E are of interest in enumerative geometry. 3There are some subtleties in these propositions. The second one is actually weaker. For instance, complex tori with dimension greater than one have vanishing first Chern classes, but they fail to satisfy the fifth one.