Search

Calabi-Yau (CY) manifolds play a ubiquitous role in string theory. As a supersymmetry-preserving choice for the 6 extra compact dimensions of superstring compactifications, these spaces provide an arena in which to explore the rich interplay between physics and geometry. These lectures will focus on compact CY manifolds and the long standing problem of determining their Ricci flat metrics. Despite powerful existence theorems, no analytic expressions for these metrics are known. In this lecture series we review numerical approximation methods for Ricci flat CY metrics. Our first aim is to give a brief overview of the mathematical framework underlying CY geometry, and the various metrics that CY manifolds admit. We will then discuss the three types of numerical methods that have been developed to compute Ricci-flat CY metrics: Donaldson's algorithm, functional minimization methods, and machine learning methods. Due to the limited time/space we have, this will not be a comprehensive review, but instead we hope to give a brief survey and illustrate the essential tools, key ideas, and implementations of this rapidly advancing field., Comment: 33 pages, 7 figures, contribution to the LMS Research School: Machine Learning in Mathematics and Theoretical Physics (organised by Andrei Constantin and Yang-Hui He), to appear in the book "ML Tutorials in Pure Mathematics and Theoretical Physics'' (World Scientific)

In this brief note we explore the space of genus one and elliptic fibrations within CY manifolds, their organizing principles, and how they relate to the set of all CY manifolds. We provide examples of genus one fibered manifolds that exhibit different Hodge numbers -- and physically lead to different gauge groups - than their Jacobian fibrations. We suggest a physical mechanism for understanding this difference in twisted circle reductions of 6-dimensional compactifications of F-theory., Comment: 12 pages, 1 figure. Appeared in the proceedings of the Nankai Symposium on Mathematical Dialogues

In this work we investigate 5-dimensional theories obtained from M-theory on genus one fibered threefolds which exhibit twisted algebras in their fibers. We provide a base-independent algebraic description of the threefolds and compute light 5D BPS states charged under finite sub-algebras of the twisted algebras. We further construct the Jacobian fibrations that are associated to 6-dimensional F-theory lifts, where the twisted algebra is absent. These 6/5-dimensional theories are compared via twisted circle reductions of F-theory to M-theory. In the 5-dimensional theories we discuss several geometric transitions that connect twisted with untwisted fibrations. We present detailed discussions of $\mathfrak{e}_6^{(2)}, \mathfrak{so}_8^{(3)}$ and $\mathfrak{su}_3^{(2)}$ twisted fibers and provide several explicit example threefolds via toric constructions. Finally, limits are considered in which gravity is decoupled, including Little String Theories for which we match 2-group symmetries across twisted T-dual theories., Comment: 81 + 10 pages, 15 Figures, comments are appreciated

Geometric transitions between Calabi-Yau manifolds have proven to be a powerful tool in exploring the intricate and interconnected vacuum structure of string compactifications. However, their role in N=1, 4-dimensional string compactifications remains relatively unexplored. In this work we present a novel proposal for transitioning the background geometry (including NS5-branes and holomorphic, slope-stable vector bundles) of 4-dimensional, N=1 heterotic string compactifications through a conifold transition connecting Calabi-Yau threefolds. Our proposal is geometric in nature but informed by the heterotic effective theory. Central to this study is a description of how the cotangent bundles of the deformation and resolution manifolds in the conifold can be connected by an apparent small instanton transition with a 5-brane wrapping the small resolution curves. We show that by a "pair creation" process 5-branes can be generated simultaneously in the gauge and gravitational sectors and used to describe a coupled minimal change in the manifold and gauge sector. This observation leads us to propose dualities for 5-branes and gauge bundles in heterotic conifolds which we then confirm at the level of spectrum in large classes of examples. While the 5-brane duality is novel, we observe that the bundle correspondence has appeared before in the Target Space Duality exhibited by (0,2) GLSMs. Thus our work provides a geometric explanation of (0,2) Target Space Duality., Comment: 49 pages, 6 figures

We provide an overview of recent work which aims to understand patterns of vanishing Yukawa couplings that arise in models of particle physics derived from string theory. These patterns are seemingly linked to a plethora of different geometrical structures and our understanding of the subject has yet to be consolidated in a unified framework. This short note is based upon a talk that was given by one of the authors at the Nankai Symposium on Mathematical Dialogues. Therefore it is aimed at a mathematical audience of mixed academic background., Comment: 8 pages, 2 figures

In this work we study F-theory compactifications on elliptically fibered Calabi-Yau n-folds which have $\mathbb{P}^1$-fibered base manifolds. Such geometries, which we study in both 4- and 6-dimensions, are both ubiquitous within the set of Calabi-Yau manifolds and play a crucial role in heterotic/F-theory duality. We discuss the most general formulation of $\mathbb{P}^1$-bundles of this type, as well as fibrations which degenerate at higher codimension loci. In the course of this study, we find a number of new phenomena. For example, in both 4- and 6-dimensions we find transitions whereby the base of a $\mathbb{P}^1$-bundle can change nature, or "jump", at certain loci in complex structure moduli space. We discuss the implications of this jumping for the associated heterotic duals. We argue that $\mathbb{P}^1$-bundles with only rational sections lead to heterotic duals where the Calabi-Yau manifold is elliptically fibered over the section of the $\mathbb{P}^1$- bundle, and not its base. As expected, we see that degenerations of the $\mathbb{P}^1$-fibration of the F-theory base correspond to 5-branes in the dual heterotic physics, with the exception of cases in which the fiber degenerations exhibit monodromy. Along the way, we discuss a set of useful formulae and tools for describing F-theory compactifications on this class of Calabi-Yau manifolds., Comment: 63 pages, 6 figures

Heterotic compactifications on Calabi-Yau threefolds frequently exhibit textures of vanishing Yukawa couplings in their low energy description. The vanishing of these couplings is often not enforced by any obvious symmetry and appears to be topological in nature. Recent results in the literature used differential geometric methods to explain the origin of some of this structure. A vanishing theorem was given which showed that the effect could be attributed, in part, to the embedding of the Calabi-Yau manifolds of interest inside higher dimensional ambient spaces, if the gauge bundles involved descended from vector bundles on those larger manifolds. In this paper, we utilize an algebro-geometric approach to provide an alternative derivation of some of these results, and are thus able to generalize them to a much wider arena than has been considered before. For example, we consider cases where the vector bundles of interest do not descend from bundles on the ambient space. In such a manner we are able to highlight the ubiquity with which textures of vanishing Yukawa couplings can be expected to arise in heterotic compactifications, with multiple different constraints arising from a plethora of different geometric features associated to the gauge bundle., Comment: 34 pages

We use machine learning to approximate Calabi-Yau and SU(3)-structure metrics, including for the first time complex structure moduli dependence. Our new methods furthermore improve existing numerical approximations in terms of accuracy and speed. Knowing these metrics has numerous applications, ranging from computations of crucial aspects of the effective field theory of string compactifications such as the canonical normalizations for Yukawa couplings, and the massive string spectrum which plays a crucial role in swampland conjectures, to mirror symmetry and the SYZ conjecture. In the case of SU(3) structure, our machine learning approach allows us to engineer metrics with certain torsion properties. Our methods are demonstrated for Calabi-Yau and SU(3)-structure manifolds based on a one-parameter family of quintic hypersurfaces in $\mathbb{P}^4.$, Comment: minor changes, 27+15 pages, 12 figures, 3 tables

The superpotential in four-dimensional heterotic effective theories contains terms arising from holomorphic Chern-Simons invariants associated to the gauge and tangent bundles of the compactification geometry. These effects are crucial for a number of key features of the theory, including vacuum stability and moduli stabilization. Despite their importance, few tools exist in the literature to compute such effects in a given heterotic vacuum. In this work we present new techniques to explicitly determine holomorphic Chern-Simons invariants in heterotic string compactifications. The key technical ingredient in our computations are real bundle morphisms between the gauge and tangent bundles. We find that there are large classes of examples, beyond the standard embedding, where the Chern-Simons superpotential vanishes. We also provide explicit examples for non-flat bundles where it is non-vanishing and fractionally quantized, generalizing previous results for Wilson lines., Comment: 32 pages

In this work we extend the well-known spectral cover construction first developed by Friedman, Morgan, and Witten to describe more general vector bundles on elliptically fibered Calabi-Yau geometries. In particular, we consider the case in which the Calabi-Yau fibration is not in Weierstrass form, but can rather contain fibral divisors or multiple sections (i.e. a higher rank Mordell-Weil group). In these cases, general vector bundles defined over such Calabi-Yau manifolds cannot be described by ordinary spectral data. To accomplish this we employ well established tools from the mathematics literature of Fourier-Mukai functors. We also generalize existing tools for explicitly computing Fourier-Mukai transforms of stable bundles on elliptic Calabi-Yau manifolds. As an example of these new tools we produce novel examples of chirality changing small instanton transitions. The goal of this work is to provide a geometric formalism that can substantially increase the understood regimes of heterotic/F-theory duality., Comment: 54 pages, 1 figure

We consider heterotic target space dual (0,2) GLSMs on elliptically fibered Calabi-Yau manifolds. In this context, each half of the "dual" heterotic theories must in turn have an F-theory dual. Moreover, the apparent relationship between two heterotic compactifications seen in (0,2) heterotic target space dual pairs should, in principle, induce some putative correspondence between the dual F-theory geometries. It has previously been conjectured in the literature that (0,2) target space duality might manifest in F-theory as multiple K3-fibrations of the same elliptically fibered Calabi-Yau manifold. In this work we investigate this conjecture in the context of both 6-dimensional and 4-dimensional effective theories and demonstrate that in general, (0,2) target space duality cannot be explained by such a simple phenomenon alone. In all cases, we provide evidence that non-geometric data in F-theory must play at least some role in the induced F-theory correspondence, while leaving the full determination of the putative new F-theory duality to future work., Comment: 37 pages, 1 figure

In this work we consider quotients of elliptically fibered Calabi-Yau threefolds by freely acting discrete groups and the associated physics of F-theory compactifications on such backgrounds. The process of quotienting a Calabi-Yau geometry produces not only new genus one fibered manifolds, but also new effective 6-dimensional physics. These theories can be uniquely characterized by the much simpler covering space geometry and the symmetry action on it. We use this method to construct examples of F-theory models with an array of discrete gauge groups and non-trivial monodromies, including an example with Z6 discrete symmetry., Comment: 41 pages, 4 figures, 8 tables

In this work we study genus one fibrations in Calabi-Yau three-folds with a non-trivial first fundamental group. The manifolds under consideration are constructed as smooth quotients of complete intersection Calabi-Yau three-folds (CICYs) by a freely acting, discrete automorphism. By probing the compatibility of symmetries with genus one fibrations (that is, discrete group actions which preserve a local decomposition of the manifold into fiber and base) we find fibrations that are inherited from fibrations on the covering spaces. Of the 7,890 CICY three-folds, 195 exhibit known discrete symmetries, leading to a total of 1,695 quotient manifolds. By scanning over 20,700 fiber/symmetry pairs on the covering spaces we find 17,161 fibrations on the quotient Calabi-Yau manifolds. It is found that the vast majority of the non-simply connected manifolds studied exhibit multiple different genus one fibrations - echoing a similar ubiquity of such structures that has been observed in other data sets. The results are available at http://www1.phys.vt.edu/quotientdata/. The possible base manifolds are all singular and are catalogued. These Calabi-Yau fibrations generically exhibit multiple fibers and are of interest in F-theory as backgrounds leading to theories with superconformal loci and discretely charged matter., Comment: 18 pages, 3 figures

In this work we provide a self-contained and modern introduction to some of the tools, obstacles and open questions arising in string compactifications. Techniques and current progress are illustrated in the context of smooth heterotic string compactifications to 4-dimensions. Progress is described on bounding and enumerating possible string backgrounds and their properties. We provide an overview of constructions, partial classifications, and moduli problems associated to Calabi-Yau manifolds and holomorphic bundles over them., Comment: 61 pages, 10 figures, 2 tables. To appear as part of the Proceedings of TASI 2017

We explore 6-dimensional compactifications of F-theory exhibiting (2,0) superconformal theories coupled to gravity that include discretely charged superconformal matter. Beginning with F-theory geometries with Abelian gauge fields and superconformal sectors, we provide examples of Higgsing transitions which break the $U(1)$ gauge symmetry to a discrete remnant in which the matter fields are also non-trivially coupled to a (2,0) SCFT. In the compactification background this corresponds to a geometric transition linking two fibered Calabi-Yau geometries defined over a singular base complex surface. An elliptically fibered Calabi-Yau threefold with non-zero Mordell-Weil rank can be connected to a smooth non-simply connected genus one fibered geometry constructed as a Calabi-Yau quotient. These hyperconifold transitions exhibit multiple fibers in co-dimension 2 over the base., Comment: 60 pages, 11 pages appendices, 18 Figures, 2 Tables, references added, typos corrected, extended introduction, extended discussion of Section 4.3, published version

This brief survey aims to set the stage and summarize some of the ideas under discussion at the Workshop on Singular Geometry and Higgs Bundles in String Theory, to be held at the American Institute of Mathematics from October 30th to November 3rd, 2017. One of the most interesting aspects of the duality revolution in string theory is the understanding that gauge fields and matter representations can be described by intersection of branes. Since gauge theory is at the heart of our description of physical interactions, it has opened the door to the geometric engineering of many physical systems, and in particular those involving Higgs bundles. This note presents a curated overview of some current advances and open problems in the area, with no intention of being a complete review of the whole subject.

In this work we systematically enumerate genus one fibrations in the class of 7,890 Calabi-Yau manifolds defined as complete intersections in products of projective spaces, the so-called CICY threefolds. This survey is independent of the description of the manifolds and improves upon past approaches that probed only a particular algebraic form of the threefolds (i.e. searches for "obvious" genus one fibrations as in [1,2]). We also study K3-fibrations and nested fibration structures. That is, K3 fibrations with potentially many distinct elliptic fibrations. To accomplish this survey a number of new geometric tools are developed including a determination of the full topology of all CICY threefolds, including triple intersection numbers. In 2,946 cases this involves finding a new "favorable" description of the manifold in which all divisors descend from a simple ambient space. Our results consist of a survey of obvious fibrations for all CICY threefolds and a complete classification of all genus one fibrations for 4,957 "Kahler favorable" CICYs whose Kahler cones descend from a simple ambient space. Within the CICY dataset, we find 139,597 obvious genus one fibrations, 30,974 obvious K3 fibrations and 208,987 nested combinations. For the Kahler favorable geometries we find a complete classification of 377,559 genus one fibrations. For one manifold with Hodge numbers (19,19) we find an explicit description of an infinite number of distinct genus-one fibrations extending previous results for this particular geometry that have appeared in the literature. The data associated to this scan is available at http://www1.phys.vt.edu/cicydata ., Comment: 54 pages, 4 tables, 4 figures

Singular limits of 6D F-theory compactifications are often captured by T-branes, namely a non-abelian configuration of intersecting 7-branes with a nilpotent matrix of normal deformations. The long distance approximation of such 7-branes is a Hitchin-like system in which simple and irregular poles emerge at marked points of the geometry. When multiple matter fields localize at the same point in the geometry, the associated Higgs field can exhibit irregular behavior, namely poles of order greater than one. This provides a geometric mechanism to engineer wild Higgs bundles. Physical constraints such as anomaly cancellation and consistent coupling to gravity also limit the order of such poles. Using this geometric formulation, we unify seemingly different wild Hitchin systems in a single framework in which orders of poles become adjustable parameters dictated by tuning gauge singlet moduli of the F-theory model., Comment: v2: 65 pages, 6 figures, clarifications added

We provide a set of tools for analyzing the geometry of elliptically fibered Calabi-Yau manifolds, starting with a description of the total space rather than with a Weierstrass model or a specified type of fiber/base. Such an approach to the subject of F-theory compactification makes certain geometric properties, which are usually hidden, manifest. Specifically, we review how to isolate genus-one fibrations in such geometries and then describe how to find their sections explicitly. This includes a full parameterization of the Mordell-Weil group where non-trivial. We then describe how to analyze the associated Weierstrass models, Jacobians and resolved geometries. We illustrate our discussion with concrete examples which are complete intersections in products of projective spaces (CICYs). The examples presented include cases exhibiting non-abelian symmetries and higher rank Mordell-Weil group. We also make some comments on non-flat fibrations in this context. In a companion paper [1] to this one, these results will be used to analyze the consequences for string dualities of the ubiquity of multiple fibrations in known constructions of Calabi-Yau manifolds., Comment: 49 pages, 3 figures

In this work we explore the physics associated to Calabi-Yau (CY) n-folds that can be described as a fibration in more than one way. Beginning with F-theory vacua in various dimensions, we consider limits/dualities with M-theory, type IIA, and heterotic string theories. Our results include many M-/F-theory correspondences in which distinct F-theory vacua - associated to different elliptic fibrations of the same CY n-fold - give rise to the same M-theory limit in one dimension lower. Examples include 5-dimensional correspondences between 6-dimensional theories with Abelian, non-Abelian and superconformal structure, as well as examples of higher rank Mordell-Weil geometries. In addition, in the context of heterotic/F-theory duality, we investigate the role played by multiple K3- and elliptic fibrations in known and novel string dualities in 8-, 6- and 4-dimensional theories. Here we systematically summarize nested fibration structures and comment on the roles they play in T-duality, mirror symmetry, and 4-dimensional compactifications of F-theory with G-flux. This investigation of duality structures is made possible by geometric tools developed in a companion paper [1]., Comment: 55 pages, 9 figures, 2 tables

In the context of (0,2) gauged linear sigma models, we explore chains of perturbatively dual heterotic string compactifications. The notion of target space duality originates in non-geometric phases and can be used to generate distinct GLSMs with shared geometric phases leading to apparently identical target space theories. To date, this duality has largely been studied at the level of counting states in the effective theories. We extend this analysis to the effective potential and loci of enhanced symmetry in dual theories. By engineering vector bundles with non-trivial constraints arising from slope-stability (i.e. D-terms) and holomorphy (i.e. F-terms) the detailed structure of the vacuum space of the dual theories can be explored. Our results give new evidence that GLSM target space duality may provide important hints towards a more complete understanding of (0,2) string dualities., Comment: 53 pages, 6 figures, 3 Tables

In this work we review a systematic, algorithmic construction of dual heterotic/F-theory geometries corresponding to 4-dimensional, N = 1 supersymmetric compactifications. We look in detail at a class of well-defined Calabi-Yau fourfolds for which the standard formulation of the duality map appears to fail, leading to dual heterotic geometry which appears naively incompatible with the spectral cover construction of vector bundles. In the simplest class of examples the F-theory background consists of a generically singular elliptically fibered Calabi-Yau fourfold with E7 symmetry. The vector bundles arising in the corresponding heterotic theory appear to violate an integrality condition of an SU(2) spectral cover. A possible resolution of this puzzle is explored by studying the most general form of the integrality condition. This leads to the geometric challenge of determining the Picard group of surfaces of general type. We take an important first step in this direction by computing the Hodge numbers of an explicit spectral surface and bounding the Picard number., Comment: 14 pages. To appear in the Proceedings of the Knoxville Special Session on Singularities and Physics, J. of Singularities

We explore a novel type of transition in certain 6D and 4D quantum field theories, in which the matter content of the theory changes while the gauge group and other parts of the spectrum remain invariant. Such transitions can occur, for example, for SU(6) and SU(7) gauge groups, where matter fields in a three-index antisymmetric representation and the fundamental representation are exchanged in the transition for matter in the two-index antisymmetric representation. These matter transitions are realized by passing through superconformal theories at the transition point. We explore these transitions in dual F-theory and heterotic descriptions, where a number of novel features arise. For example, in the heterotic description the relevant 6D SU(7) theories are described by bundles on K3 surfaces where the geometry of the K3 is constrained in addition to the bundle structure. On the F-theory side, non-standard representations such as the three-index antisymmetric representation of SU(N) require Weierstrass models that cannot be realized from the standard SU(N) Tate form. We also briefly describe some other situations, with groups such as Sp(3), SO(12), and SU(3), where analogous matter transitions can occur between different representations. For SU(3), in particular, we find a matter transition between adjoint matter and matter in the symmetric representation, giving an explicit Weierstrass model for the F-theory description of the symmetric representation that complements another recent analogous construction., Comment: 107 pages, 3 figures, 32 tables. In version 2, one figure and comments added on the geometry of matter transitions

In this paper we explore contributions to non-perturbative superpotentials arising from instantons wrapping effective divisors in smooth Calabi-Yau four-folds. We concentrate on the case of manifolds constructed as complete intersections in products of projective spaces (CICYs) or generalizations thereof (gCICYs). We systematically investigate the structure of the cone of effective (algebraic) divisors in the four-fold geometries and employ the same tools recently developed in arXiv:1507.03235 to construct more general instanton geometries than have previously been considered in the literature. We provide examples of instanton configurations on Calabi-Yau manifolds that are elliptically and $K3$-fibered and explore their consequences in the context of string dualities. The examples discussed include manifolds containing infinite families of divisors with arithmetic genus, $\chi(D, \mathcal O_D)=1$ and superpotentials exhibiting modular symmetry., Comment: 27 pages. v2: a footnote and references added, a paragraph inserted in the introduction and wordings adjusted to more clearly state our focus

We present a generalization of the complete intersection in products of projective space (CICY) construction of Calabi-Yau manifolds. CICY three-folds and four-folds have been studied extensively in the physics literature. Their utility stems from the fact that they can be simply described in terms of a `configuration matrix', a matrix of integers from which many of the details of the geometries can be easily extracted. The generalization we present is to allow negative integers in the configuration matrices which were previously taken to have positive semi-definite entries. This broadening of the complete intersection construction leads to a larger class of Calabi-Yau manifolds than that considered in previous work, which nevertheless enjoys much of the same degree of calculational control. These new Calabi-Yau manifolds are complete intersections in (not necessarily Fano) ambient spaces with an effective anticanonical class. We find examples with topology distinct from any that has appeared in the literature to date. The new manifolds thus obtained have many interesting features. For example, they can have smaller Hodge numbers than ordinary CICYs and lead to many examples with elliptic and K3-fibration structures relevant to F-theory and string dualities., Comment: 52 pages

We study heterotic Calabi-Yau models with hypercharge flux breaking, where the visible E8 gauge group is directly broken to the standard model group by a non-flat gauge bundle, rather than by a two-step process involving an intermediate grand unified theory and a Wilson line. It is shown that the required alternative E8 embeddings of hypercharge, normalized as required for gauge unification, can be found and we classify these possibilities. However, for all but one of these embeddings we prove a general no-go theorem which asserts that no suitable geometry and vector bundle leading to a standard model spectrum can be found. Intuitively, this happens due to the large number of index conditions which have to be imposed in order to obtain a correct physical spectrum in the absence of an underlying grand unified theory., Comment: 11 pages. v2: typos fixed and references added

We study the physics of F-theory compactifications on genus-one fibrations without section by using an M-theory dual description. The five-dimensional action obtained by considering M-theory on a Calabi-Yau threefold is compared with a six-dimensional F-theory effective action reduced on an additional circle. We propose that the six-dimensional effective action of these setups admits geometrically massive U(1) vectors with a charged hypermultiplet spectrum. The absence of a section induces NS-NS and R-R three-form fluxes in F-theory that are non-trivially supported along the circle and induce a shift-gauging of certain axions with respect to the Kaluza-Klein vector. In the five-dimensional effective theory the Kaluza-Klein vector and the massive U(1)s combine into a linear combination that is massless. This U(1) is identified with the massless U(1) corresponding to the multi-section of the Calabi-Yau threefold in M-theory. We confirm this interpretation by computing the one-loop Chern-Simons terms for the massless vectors of the five-dimensional setup by integrating out all massive states. A closed formula is found that accounts for the hypermultiplets charged under the massive U(1)s., Comment: 45 pages, 7 figures, v2: clarifications mainly in section 2, references added

We systematically analyze a broad class of dual heterotic and F-theory models that give four-dimensional supergravity theories, and compare the geometric constraints on the two sides of the duality. Specifically, we give a complete classification of models where the heterotic theory is compactified on a smooth Calabi-Yau threefold that is elliptically fibered with a single section and carries smooth irreducible vector bundles, and the dual F-theory model has a corresponding threefold base that has the form of a P^1 bundle. We formulate simple conditions for the geometry on the F-theory side to support an elliptically fibered Calabi-Yau fourfold. We match these conditions with conditions for the existence of stable vector bundles on the heterotic side, and show that F-theory gives new insight into the conditions under which such bundles can be constructed. In particular, we find that many allowed F-theory models correspond to vector bundles on the heterotic side with exceptional structure groups, and determine a topological condition that is only satisfied for bundles of this type. We show that in many cases the F-theory geometry imposes a constraint on the extent to which the gauge group can be enhanced, corresponding to limits on the way in which the heterotic bundle can decompose. We explicitly construct all (4962) F-theory threefold bases for dual F-theory/heterotic constructions in the subset of models where the common twofold base surface is toric, and give both toric and non-toric examples of the general results., Comment: 81 pages, 2 figures; v2, v3: references added, minor corrections; v4: minor errors, Table 5 corrected

In this paper we study compactifications of heterotic string theory on manifolds satisfying the ddbar-lemma. We consider the Strominger system description of the low energy supergravity to first order in alpha' and show that the moduli of such compactifications are subspaces of familiar cohomology groups such as H^1(TX), H^1(TX*), H^1(End_0(V)) and H^1(End_0(TX)). These groups encode the complex structure, Kahler moduli, bundle moduli and perturbations of the spin connection respectively in the case of a Calabi-Yau compactification. We investigate the fluctuations of only a subset of the conditions of the Strominger system (expected to correspond physically to F-term constraints in the effective theory). The full physical moduli space is, therefore, given by a further restriction on these degrees of freedom which we discuss but do not explicitly provide. This paper is complementary to a previous tree-level worldsheet analysis of such moduli and agrees with that discussion in the limit of vanishing alpha'. The structure we present can be interpreted in terms of recent work in Atiyah and Courant algebroids, and we conjecture links with aspects of Hitchin's generalized geometry to heterotic moduli., Comment: 33 pages

T-branes are a non-abelian generalization of intersecting branes in which the matrix of normal deformations is nilpotent along some subspace. In this paper we study the geometric remnant of this open string data for six-dimensional F-theory vacua. We show that in the dual M-theory / IIA compactification on a smooth Calabi-Yau threefold X, the geometric remnant of T-brane data translates to periods of the three-form potential valued in the intermediate Jacobian of X. Starting from a smoothing of a singular Calabi-Yau, we show how to track this data in singular limits using the theory of limiting mixed Hodge structures, which in turn directly points to an emergent Hitchin-like system coupled to defects. We argue that the physical data of an F-theory compactification on a singular threefold involves specifying both a geometry as well as the remnant of three-form potential moduli and flux which is localized on the discriminant. We give examples of T-branes in compact F-theory models with heterotic duals, and comment on the extension of our results to four-dimensional vacua., Comment: v2: 80 pages, 2 figures, clarifications and references added, typos corrected

Compactifications of heterotic theories on smooth Calabi-Yau manifolds remains one of the most promising approaches to string phenomenology. In two previous papers, http://arXiv.org/abs/arXiv:1106.4804 and http://arXiv.org/abs/arXiv:1202.1757, large classes of such vacua were constructed, using sums of line bundles over complete intersection Calabi-Yau manifolds in products of projective spaces that admit smooth quotients by finite groups. A total of 10^12 different vector bundles were investigated which led to 202 SU(5) Grand Unified Theory (GUT) models. With the addition of Wilson lines, these in turn led, by a conservative counting, to 2122 heterotic standard models. In the present paper, we extend the scope of this programme and perform an exhaustive scan over the same class of models. A total of 10^40 vector bundles are analysed leading to 35,000 SU(5) GUT models. All of these compactifications have the right field content to induce low-energy models with the matter spectrum of the supersymmetric standard model, with no exotics of any kind. The detailed analysis of the resulting vast number of heterotic standard models is a substantial and ongoing task in computational algebraic geometry., Comment: 33 pages, Latex

We discuss the use of gauge fields to stabilize complex structure moduli in Calabi-Yau three-fold compactifications of heterotic string and M-theory. The requirement that the gauge fields in such models preserve supersymmetry leads to a complicated landscape of vacua in complex structure moduli space. We develop methods to systematically map out this multi-branched vacuum space, in a computable and explicit manner. In analyzing the resulting vacua, it is found that the associated Calabi-Yau three-folds are sometimes stabilized at a value of complex structure resulting in a singular compactification manifold. We describe how it is possible to resolve these singularities, in some cases, while maintaining computational control over the moduli stabilization mechanism. The discussion is illustrated throughout the paper with explicit worked examples., Comment: 49 pages, 1 figure

In a previous publication, arXiv:1106.4804, we have found 200 models from heterotic Calabi-Yau compactifications with line bundles, which lead to standard models after taking appropriate quotients by a discrete symmetry and introducing Wilson lines. In this paper, we construct the resulting standard models explicitly, compute their spectrum including Higgs multiplets, and analyze some of their basic properties. After removing redundancies we find about 400 downstairs models, each with the precise matter spectrum of the supersymmetric standard model, with one, two or three pairs of Higgs doublets and no exotics of any kind. In addition to the standard model gauge group, up to four Green-Schwarz anomalous U(1) symmetries are present in these models, which constrain the allowed operators in the four-dimensional effective supergravity. The vector bosons associated to these anomalous U(1) symmetries are massive. We explicitly compute the spectrum of allowed operators for each model and present the results, together with the defining data of the models, in a database of standard models accessible at http://www-thphys.physics.ox.ac.uk/projects/CalabiYau/linebundlemodels/index.html. Based on these results we analyze elementary phenomenological properties. For example, for about 200 models all dimension four and five proton decay violating operators are forbidden by the additional U(1) symmetries., Comment: 55 pages, Latex, 3 pdf figures

Holomorphic gauge fields in N=1 supersymmetric heterotic compactifications can constrain the complex structure moduli of a Calabi-Yau manifold. In this paper, the tools necessary to use holomorphic bundles as a mechanism for moduli stabilization are systematically developed. We review the requisite deformation theory -- including the Atiyah class, which determines the deformations of the complex structure for which the gauge bundle becomes non-holomorphic and, hence, non-supersymmetric. In addition, two equivalent approaches to this mechanism of moduli stabilization are presented. The first is an efficient computational algorithm for determining the supersymmetric moduli space, while the second is an F-term potential in the four-dimensional theory associated with vector bundle holomorphy. These three methods are proven to be rigorously equivalent. We present explicit examples in which large numbers of complex structure moduli are stabilized. Finally, higher-order corrections to the moduli space are discussed., Comment: 54 pages

We construct heterotic standard models by compactifying on smooth Calabi-Yau three-folds in the presence of purely Abelian internal gauge fields. A systematic search over complete intersection Calabi-Yau manifolds with less than six Kahler parameters leads to over 200 such models which we present. Each of these models has precisely the matter spectrum of the MSSM, at least one pair of Higgs doublets, the standard model gauge group and no exotics. For about 100 of these models there are, naively, four additional U(1) symmetries, however these are Green-Schwarz anomalous and, hence, massive. In the remaining cases, three U(1) symmetries are anomalous while the fourth, massless one can be spontaneously broken by singlet vacuum expectation values. The presence of additional global U(1) symmetries, together with the possibility of switching on singlet vacuum expectation values, leads to a rich phenomenology which is illustrated for a particular example. Our database of standard models, which can be further enlarged by simply extending the computer-based search, allows for a detailed and systematic phenomenological analysis of string standard models, covering issues such as the structure of Yukawa couplings, R-parity violation, proton stability and neutrino masses., Comment: 19 pages. References Added

We further develop the numerical algorithm for computing the gauge connection of slope-stable holomorphic vector bundles on Calabi-Yau manifolds. In particular, recent work on the generalized Donaldson algorithm is extended to bundles with Kahler cone substructure on manifolds with h^{1,1}>1. Since the computation depends only on a one-dimensional ray in the Kahler moduli space, it can probe slope-stability regardless of the size of h^{1,1}. Suitably normalized error measures are introduced to quantitatively compare results for different directions in Kahler moduli space. A significantly improved numerical integration procedure based on adaptive refinements is described and implemented. Finally, an efficient numerical check is proposed for determining whether or not a vector bundle is slope-stable without computing its full connection., Comment: 38 pages, 10 figures

We propose a scenario to stabilize all geometric moduli - that is, the complex structure, Kahler moduli and the dilaton - in smooth heterotic Calabi-Yau compactifications without Neveu-Schwarz three-form flux. This is accomplished using the gauge bundle required in any heterotic compactification, whose perturbative effects on the moduli are combined with non-perturbative corrections. We argue that, for appropriate gauge bundles, all complex structure and a large number of other moduli can be perturbatively stabilized - in the most restrictive case, leaving only one combination of Kahler moduli and the dilaton as a flat direction. At this stage, the remaining moduli space consists of Minkowski vacua. That is, the perturbative superpotential vanishes in the vacuum without the necessity to fine-tune flux. Finally, we incorporate non-perturbative effects such as gaugino condensation and/or instantons. These are strongly constrained by the anomalous U(1) symmetries which arise from the required bundle constructions. We present a specific example, with a consistent choice of non-perturbative effects, where all remaining flat directions are stabilized in an AdS vacuum., Comment: 24 pages, 2 figures

We analyze transitions between heterotic vacua with distinct gauge bundles using two complementary methods - the effective four-dimensional field theory and the corresponding geometry. From the viewpoint of effective field theory, such transitions occur between flat directions of the potential energy associated with heterotic stability walls. Geometrically, this branch structure corresponds to smooth deformations of the gauge bundle coupled to the chamber structure of K\"ahler moduli space. We demonstrate how such transitions can change important properties of the effective theory, including the gauge symmetry and the massless spectrum. Geometrically, this study is divided into deformations of the vector bundle which preserve the rank of the gauge bundle and those which change the rank. In the latter case, our results provide explicit solutions to a class of Li-Yau type deformation problems. Finally, we use the framework of stability walls and their effective theory to study Donaldson-Thomas invariants on Calabi-Yau threefolds., Comment: 53 pages, 3 figures

In this paper, we show that the presence of gauge fields in heterotic Calabi-Yau compacitifications causes the stabilisation of some, or all, of the complex structure moduli of the Calabi-Yau manifold while maintaining a Minkowski vacuum. Certain deformations of the Calabi-Yau complex structure, with all other moduli held fixed, can lead to the gauge bundle becoming non-holomorphic and, hence, non-supersymmetric. This leads to an F-term potential which stabilizes the corresponding complex structure moduli. We use 10- and 4-dimensional field theory arguments as well as a derivation based purely on algebraic geometry to show that this picture is indeed correct. An explicit example is presented in which a large subset of complex structure moduli is fixed. We demonstrate that this type of theory can serve as the hidden sector in heterotic vacua and can co-exist with realistic particle physics., Comment: 17 pages, Latex

A numerical algorithm is presented for explicitly computing the gauge connection on slope-stable holomorphic vector bundles on Calabi-Yau manifolds. To illustrate this algorithm, we calculate the connections on stable monad bundles defined on the K3 twofold and Quintic threefold. An error measure is introduced to determine how closely our algorithmic connection approximates a solution to the Hermitian Yang-Mills equations. We then extend our results by investigating the behavior of non slope-stable bundles. In a variety of examples, it is shown that the failure of these bundles to satisfy the Hermitian Yang-Mills equations, including field-strength singularities, can be accurately reproduced numerically. These results make it possible to numerically determine whether or not a vector bundle is slope-stable, thus providing an important new tool in the exploration of heterotic vacua., Comment: 52 pages, 15 figures. LaTex formatting of figures corrected in version 2.

A holomorphic vector bundle on a Calabi-Yau threefold, X, with h^{1,1}(X)>1 can have regions of its Kahler cone where it is slope-stable, that is, where the four-dimensional theory is N=1 supersymmetric, bounded by "walls of stability". On these walls the bundle becomes poly-stable, decomposing into a direct sum, and the low energy gauge group is enhanced by at least one anomalous U(1) gauge factor. In this paper, we show that these additional symmetries can strongly constrain the superpotential in the stable region, leading to non-trivial textures of Yukawa interactions and restrictions on allowed masses for vector-like pairs of matter multiplets. The Yukawa textures exhibit a hierarchy; large couplings arise on the stability wall and some suppressed interactions "grow back" off the wall, where the extended U(1) symmetries are spontaneously broken. A number of explicit examples are presented involving both one and two stability walls, with different decompositions of the bundle structure group. A three family standard-like model with no vector-like pairs is given as an example of a class of SU(4) bundles that has a naturally heavy third quark/lepton family. Finally, we present the complete set of Yukawa textures that can arise for any holomorphic bundle with one stability wall where the structure group breaks into two factors., Comment: 53 pages, 4 figures and 13 tables

A complete analysis of all heterotic Calabi-Yau compactifications based on positive two-term monad bundles over favourable complete intersection Calabi-Yau threefolds is performed. We show that the original data set of about 7000 models contains 91 standard-like models which we describe in detail. A closer analysis of Wilson-line breaking for these models reveals that none of them gives rise to precisely the matter field content of the standard model. We conclude that the entire set of positive two-term monads on complete intersection Calabi-Yau manifolds is ruled out on phenomenological grounds. We also take a first step in analyzing the larger class of non-positive monads. In particular, we construct a supersymmetric heterotic standard model within this class. This model has the standard model gauge group and an additional U(1)_{B-L} symmetry, precisely three families of quarks and leptons, one pair of Higgs doublets and no anti-families or exotics of any kind., Comment: 48 pages

We study the sub-structure of the heterotic Kahler moduli space due to the presence of non-Abelian internal gauge fields from the perspective of the four-dimensional effective theory. Internal gauge fields can be supersymmetric in some regions of the Kahler moduli space but break supersymmetry in others. In the context of the four-dimensional theory, we investigate what happens when the Kahler moduli are changed from the supersymmetric to the non-supersymmetric region. Our results provide a low-energy description of supersymmetry breaking by internal gauge fields as well as a physical picture for the mathematical notion of bundle stability. Specifically, we find that at the transition between the two regions an additional anomalous U(1) symmetry appears under which some of the states in the low-energy theory acquire charges. We compute the associated D-term contribution to the four-dimensional potential which contains a Kahler-moduli dependent Fayet-Iliopoulos term and contributions from the charged states. We show that this D-term correctly reproduces the expected physics. Several mathematical conclusions concerning vector bundle stability are drawn from our arguments. We also discuss possible physical applications of our results to heterotic model building and moduli stabilization., Comment: 37 pages, 4 figures

We present a practical, algebraic method for efficiently calculating the Yukawa couplings of a large class of heterotic compactifications on Calabi-Yau three-folds with non-standard embeddings. Our methodology covers all of, though is not restricted to, the recently classified positive monads over favourable complete intersection Calabi-Yau three-folds. Since the algorithm is based on manipulating polynomials it can be easily implemented on a computer. This makes the automated investigation of Yukawa couplings for large classes of smooth heterotic compactifications a viable possibility., Comment: 38 pages

We explicitly describe, in the language of four-dimensional N=1 supersymmetric field theory, what happens when the moduli of a heterotic Calabi-Yau compactification change so as to make the internal non-Abelian gauge fields non-supersymmetric. At the edge of the region in Kahler moduli space where supersymmetry can be preserved, an additional anomalous U(1) gauge symmetry appears in the four-dimensional theory. The D-term contribution to the scalar potential associated to this U(1) attempts to force the system back into a supersymmetric configuration and provides a consistent low-energy description of gauge bundle stability., Comment: 12 pages, Latex, 2 eps figures. Figure 2 has been replaced in v2. Minor typos corrected

In this thesis, we explore two approaches to string phenomenology. In the first half of the work, we investigate M-theory compactifications on spaces with co-dimension four, orbifold singularities. We construct M-theory on C^2/Z_N by coupling 11-dimensional supergravity to a seven-dimensional Yang-Mills theory located on the orbifold fixed-plane. The resulting action is supersymmetric to leading non-trivial order in the 11-dim Newton constant. We thereby reduce M-theory on a G2 orbifold with C^2/Z_N singularities, explicitly incorporating the additional gauge fields at the singularities. We derive the Kahler potential, gauge-kinetic function and superpotential for the resulting N=1 four-dimensional theory. Blowing-up of the orbifold is described by a Higgs effect and the results are consistent with the corresponding ones obtained for smooth G2 spaces. Further, we consider flux and Wilson lines on singular loci of the G2 space, and discuss the relation to N=4 SYM theory. In the second half, we develop an algorithmic framework for E8 x E8 heterotic compactifications with monad bundles. We begin by considering cyclic Calabi-Yau manifolds where we classify positive monad bundles, prove stability, and compute the complete particle spectrum for all bundles. Next, we generalize the construction to bundles on complete intersection Calabi-Yau manifolds. We show that the class of positive monad bundles, subject to the heterotic anomaly condition, is finite (~7000 models). We compute the particle spectrum for these models and develop new techniques for computing the cohomology of line bundles. There are no anti-generations of particles and the spectrum is manifestly moduli-dependent. We further study the slope-stability of positive monad bundles and develop a new method for proving stability of SU(n) vector bundles., Comment: PhD Thesis, 230 pages; University of Oxford (2008)

In this paper, we study positive monad vector bundles on complete intersection Calabi-Yau manifolds in the context of E8 x E8 heterotic string compactifications. We show that the class of such bundles, subject to the heterotic anomaly condition, is finite and consists of about 7000 models. We explain how to compute the complete particle spectrum for these models. In particular, we prove the absence of vector-like family anti-family pairs in all cases. We also verify a set of highly non-trivial necessary conditions for the stability of the bundles. A full stability proof will appear in a companion paper. A scan over all models shows that even a few rudimentary physical constraints reduces the number of viable models drastically., Comment: 35 pages, 4 figures