Enumerative geometry of the mirror quintic
We evaluate the enumerative invariants of low degree on the mirror quintic threefold.
Source author record
David R. Morrison
David R. Morrison appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
52works
6topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
52 published item(s)
preprint2022arXiv
Generalized Symmetries in F-theory and the Topology of Elliptic Fibrations
We realize higher-form symmetries in F-theory compactifications on non-compact elliptically fibered Calabi-Yau manifolds. Central to this endeavour is the topology of the boundary of the non-compact elliptic fibration, as well as the explicit construction of relative 2-cycles in terms of Lefschetz thimbles. We apply the analysis to a variety of elliptic fibrations, including geometries where the discriminant of the elliptic fibration intersects the boundary. We provide a concrete realization of the 1-form symmetry group by constructing the associated charged line operator from the elliptic fibration. As an application we compute the symmetry topological field theories in the case of elliptic three-folds, which correspond to mixed anomalies in 5d and 6d theories.
0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv
Charge completeness and the massless charge lattice in F-theory models of supergravity
We prove that, for every 6D supergravity theory that has an F-theory description, the property of charge completeness for the connected component of the gauge group (meaning that all charges in the corresponding charge lattice are realized by massive or massless states in the theory) is equivalent to a standard assumption made in F-theory for how geometry encodes the global gauge theory by means of the Mordell-Weil group of the elliptic fibration. This result also holds in 4D F-theory constructions for the parts of the gauge group that come from sections and from 7-branes. We find that in many 6D F-theory models the full charge lattice of the theory is generated by massless charged states; this occurs for each gauge factor where the associated anomaly coefficient satisfies a simple positivity condition. We describe many of the cases where this massless charge sufficiency condition holds, as well as exceptions where the positivity condition fails, and analyze the related global structure of the gauge group and associated Mordell-Weil torsion in explicit F-theory models.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Higher-Form Symmetries in 5d
We study higher-form symmetries in 5d quantum field theories, whose charged operators include extended operators such as Wilson line and 't Hooft operators. We outline criteria for the existence of higher-form symmetries both from a field theory point of view as well as from the geometric realization in M-theory on non-compact Calabi-Yau threefolds. A geometric criterion for determining the higher-form symmetry from the intersection data of the Calabi-Yau is provided, and we test it in a multitude of examples, including toric geometries. We further check that the higher-form symmetry is consistent with dualities and is invariant under flop transitions, which relate theories with the same UV-fixed point. We explore extensions to higher-form symmetries in other compactifications of M-theory, such as $G_2$-holonomy manifolds, which give rise to 4d $\mathcal{N}=1$ theories.
0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv
High electric charges in M-theory from quiver varieties
M-theory on a Calabi-Yau threefold admitting a small resolution gives rise to an Abelian vector multiplet and a charged hypermultiplet. We introduce into this picture a procedure to construct threefolds that naturally host matter with electric charges up to six. These are built as families of Du Val ADE surfaces (or ALE spaces), and the possible charges correspond to the Dynkin labels of the adjoint of the ADE algebra. In the case of charge two, we give a new derivation of the answer originally obtained by Curto and Morrison, and explicitly relate this construction to the Morrison-Park geometry. We also give a procedure for constructing higher-charge cases, which can often be applied to F-theory models.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
F-Theory and N=1 SCFTs in Four Dimensions
Using the F-theory realization, we identify a subclass of 6d (1,0) SCFTs whose compactification on a Riemann surface leads to N = 1 4d SCFTs where the moduli space of the Riemann surface is part of the moduli space of the theory. In particular we argue that for a special case of these theories (dual to M5 branes probing ADE singularities), we obtain 4d N = 1 theories whose space of marginal deformations is given by the moduli space of flat ADE connections on a Riemann surface.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
F-theory and Unpaired Tensors in 6D SCFTs and LSTs
We investigate global symmetries for 6D SCFTs and LSTs having a single "unpaired" tensor, that is, a tensor with no associated gauge symmetry. We verify that for every such theory built from F-theory whose tensor has Dirac self-pairing equal to -1, the global symmetry algebra is a subalgebra of $\mathfrak{e}_8$. This result is new if the F-theory presentation of the theory involves a one-parameter family of nodal or cuspidal rational curves (i.e., Kodaira types $I_1$ or $II$) rather than elliptic curves (Kodaira type $I_0$). For such theories, this condition on the global symmetry algebra appears to fully capture the constraints on coupling these theories to others in the context of multi-tensor theories. We also study the analogous problem for theories whose tensor has Dirac self-pairing equal to -2 and find that the global symmetry algebra is a subalgebra of $\mathfrak{su}(2)$. However, in this case there are additional constraints on F-theory constructions for coupling these theories to others.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Non-Higgsable abelian gauge symmetry and F-theory on fiber products of rational elliptic surfaces
We construct a general class of Calabi--Yau threefolds from fiber products of rational elliptic surfaces with section, generalizing a construction of Schoen to include all Kodaira fiber types. The resulting threefolds each have two elliptic fibrations with section over rational elliptic surfaces and blowups thereof. These elliptic fibrations generally have nonzero Mordell--Weil rank. Each of the elliptic fibrations has a physical interpretation in terms of a six-dimensional F-theory model with one or more non-Higgsable abelian gauge fields. Many of the models in this class have mild singularities that do not admit a Calabi--Yau resolution; this does not seem to compromise the physical integrity of the theory and can be associated in some cases with massless hypermultiplets localized at the singular loci. In some of these constructions, however, we find examples of abelian gauge fields that cannot be "unHiggsed" to a nonabelian gauge field without producing unphysical singularities that cannot be resolved. The models studied here can also be used to exhibit T-duality for a class of little string theories.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
On Gauge Enhancement and Singular Limits in $G_2$ Compactifications of M-theory
We study the physics of singular limits of $G_2$ compactifications of M-theory, which are necessary to obtain a compactification with non-abelian gauge symmetry or massless charged particles. This is more difficult than for Calabi-Yau compactifications, due to the absence of calibrated two-cycles that would have allowed for direct control of W-boson masses as a function of moduli. Instead, we study the relationship between gauge enhancement and singular limits in $G_2$ moduli space where an associative or coassociative submanifold shrinks to zero size; this involves the physics of topological defects and sometimes gives indirect control over particle masses, even though they are not BPS. We show how a lemma of Joyce associates the class of a three-cycle to any $U(1)$ gauge theory in a smooth $G_2$ compactification. If there is an appropriate associative submanifold in this class then in the limit of nonabelian gauge symmetry it may be interpreted as a gauge theory worldvolume and provides the location of the singularities associated with non-abelian gauge or matter fields. We identify a number of gauge enhancement scenarios related to calibrated submanifolds, including Coulomb branches and non-isolated conifolds, and also study examples that realize them.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
On the global symmetries of 6D superconformal field theories
We study global symmetry groups of six-dimensional superconformal field theories (SCFTs). In the Coulomb branch we use field theoretical arguments to predict an upper bound for the global symmetry of the SCFT. We then analyze global symmetry groups of F-theory constructions of SCFTs with a one-dimensional Coulomb branch. While in the vast majority of cases, all of the global symmetries allowed by our Coulomb branch analysis can be realized in F-theory, in a handful of cases we find that F-theory models fail to realize the full symmetry of the theory on the Coulomb branch. In one particularly mysterious case, F-theory models realize several distinct maximal subgroups of the predicted group, but not the predicted group itself.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Tall sections from non-minimal transformations
In previous work, we have shown that elliptic fibrations with two sections, or Mordell-Weil rank one, can always be mapped birationally to a Weierstrass model of a certain form, namely, the Jacobian of a $\mathbb{P}^{112}$ model. Most constructions of elliptically fibered Calabi-Yau manifolds with two sections have been carried out assuming that the image of this birational map was a "minimal" Weierstrass model. In this paper, we show that for some elliptically fibered Calabi-Yau manifolds with Mordell-Weil rank-one, the Jacobian of the $\mathbb{P}^{112}$ model is not minimal. Said another way, starting from a Calabi-Yau Weierstrass model, the total space must be blown up (thereby destroying the "Calabi-Yau" property) in order to embed the model into $\mathbb{P}^{112}$. In particular, we show that the elliptic fibrations studied recently by Klevers and Taylor fall into this class of models.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Atomic Classification of 6D SCFTs
We use F-theory to classify possibly all six-dimensional superconformal field theories (SCFTs). This involves a two step process: We first classify all possible tensor branches allowed in F-theory (which correspond to allowed collections of contractible spheres) and then classify all possible configurations of seven-branes wrapped over them. We describe the first step in terms of "atoms" joined into "radicals" and "molecules," using an analogy from chemistry. The second step has an interpretation via quiver-type gauge theories constrained by anomaly cancellation. A very surprising outcome of our analysis is that all of these tensor branches have the structure of a linear chain of intersecting spheres with a small amount of possible decoration at the two ends. The resulting structure of these SCFTs takes the form of a generalized quiver consisting of ADE-type nodes joined by conformal matter. A collection of highly non-trivial examples involving E8 small instantons probing an ADE singularity is shown to have an F-theory realization. This yields a classification of homomorphisms from ADE subgroups of SU(2) into E8 in purely geometric terms, largely matching results obtained in the mathematics literature from an intricate group theory analysis.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Geometry of 6D RG Flows
We study renormalization group flows between six-dimensional superconformal field theories (SCFTs) using their geometric realizations as singular limits of F-theory compactified on elliptically fibered Calabi-Yau threefolds. There are two general types of flows: One corresponds to giving expectation values to scalars in the tensor multiplets (tensor branch flow) realized as resolving the base of the geometry. The other corresponds to giving expectation values to hypermultiplets (Higgs branch flow) realized as complex structure deformations of the geometry. To corroborate this physical picture we calculate the change in the anomaly polynomial for these theories, finding strong evidence for a flow from a UV fixed point to an IR fixed point. Moreover, we find evidence against non-trivial dualities for 6D SCFTs. In addition we find non-trivial RG flows for theories realizing small E8 instantons on ALE spaces.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
K3 surfaces, modular forms, and non-geometric heterotic compactifications
We construct non-geometric compactifications by using the F-theory dual of the heterotic string compactified on a two-torus, together with a close connection between Siegel modular forms of genus two and the equations of certain K3 surfaces. The modular group mixes together the Kähler, complex structure, and Wilson line moduli of the torus yielding weakly coupled heterotic string compactifications which have no large radius interpretation.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
On the Classification of 6D SCFTs and Generalized ADE Orbifolds
We study (1,0) and (2,0) 6D superconformal field theories (SCFTs) that can be constructed in F-theory. Quite surprisingly, all of them involve an orbifold singularity C^2 / G with G a discrete subgroup of U(2). When G is a subgroup of SU(2), all discrete subgroups are allowed, and this leads to the familiar ADE classification of (2,0) SCFTs. For more general U(2) subgroups, the allowed possibilities for G are not arbitrary and are given by certain generalizations of the A- and D-series. These theories should be viewed as the minimal 6D SCFTs. We obtain all other SCFTs by bringing in a number of E-string theories and/or decorating curves in the base by non-minimal gauge algebras. In this way we obtain a vast number of new 6D SCFTs, and we conjecture that our construction provides a full list.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Solving the Pricing Problem in a Branch-and-Price Algorithm for Graph Coloring using Zero-Suppressed Binary Decision Diagrams
Branch-and-price algorithms combine a branch-and-bound search with an exponentially-sized LP formulation that must be solved via column generation. Unfortunately, the standard branching rules used in branch-and-bound for integer programming interfere with the structure of the column generation routine; therefore, most such algorithms employ alternate branching rules to circumvent this difficulty. This paper shows how a zero-suppressed binary decision diagram (ZDD) can be used to solve the pricing problem in a branch-and-price algorithm for the graph coloring problem, even in the presence of constraints imposed by branching decisions. This approach facilitates a much more direct solution method, and can improve convergence of the column generation subroutine.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Special Lagrangian torus fibrations of complete intersection Calabi-Yau manifolds: a geometric conjecture
For complete intersection Calabi-Yau manifolds in toric varieties, Gross and Haase-Zharkov have given a conjectural combinatorial description of the special Lagrangian torus fibrations whose existence was predicted by Strominger, Yau and Zaslow. We present a geometric version of this construction, generalizing an earlier conjecture of the first author.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
The Landscape of M-theory Compactifications on Seven-Manifolds with $G_2$ Holonomy
We study the physics of globally consistent four-dimensional $\mathcal{N}=1$ supersymmetric M-theory compactifications on $G_2$ manifolds constructed via twisted connected sum; there are now perhaps fifty million examples of these manifolds. We study a rich example that exhibits $U(1)^3$ gauge symmetry and a spectrum of massive charged particles that includes a trifundamental. Applying recent mathematical results to this example, we compute membrane instanton corrections to the superpotential and spacetime topology change in a compact model; the latter include both the (non-isolated) $G_2$ flop and conifold transitions. The conifold transition spontaneously breaks the gauge symmetry to $U(1)^2$, and associated field theoretic computations of particle charges make correct predictions for the topology of the deformed $G_2$ manifold. We discuss physical aspects of the abelian $G_2$ landscape broadly, including aspects of Higgs and Coulomb branches, membrane instanton corrections, and some general aspects of topology change.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
6D SCFTs and Gravity
We study how to couple a 6D superconformal field theory (SCFT) to gravity. In F-theory, the models in question are obtained working on the supersymmetric background R^{5,1} x B where B is the base of a compact elliptically fibered Calabi-Yau threefold in which two-cycles have contracted to zero size. When the base has orbifold singularities, we find that the anomaly polynomial of the 6D SCFTs can be understood purely in terms of the intersection theory of fractional divisors: the anomaly coefficient vectors are identified with elements of the orbifold homology. This also explains why in certain cases, the SCFT can appear to contribute a "fraction of a hypermultiplet" to the anomaly polynomial. Quantization of the lattice of string charges also predicts the existence of additional light states beyond those captured by such fractional divisors. This amounts to a refinement to the lattice of divisors in the resolved geometry. We illustrate these general considerations with explicit examples, focusing on the case of F-theory on an elliptic Calabi-Yau threefold with base P^2 / Z_3.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Box Graphs and Singular Fibers
We determine the higher codimension fibers of elliptically fibered Calabi-Yau fourfolds with section by studying the three-dimensional N=2 supersymmetric gauge theory with matter which describes the low energy effective theory of M-theory compactified on the associated Weierstrass model, a singular model of the fourfold. Each phase of the Coulomb branch of this theory corresponds to a particular resolution of the Weierstrass model, and we show that these have a concise description in terms of decorated box graphs based on the representation graph of the matter multiplets, or alternatively by a class of convex paths on said graph. Transitions between phases have a simple interpretation as `flopping' of the path, and in the geometry correspond to actual flop transitions. This description of the phases enables us to enumerate and determine the entire network between them, with various matter representations for all reductive Lie groups. Furthermore, we observe that each network of phases carries the structure of a (quasi-)minuscule representation of a specific Lie algebra. Interpreted from a geometric point of view, this analysis determines the generators of the cone of effective curves as well as the network of flop transitions between crepant resolutions of singular elliptic Calabi-Yau fourfolds. From the box graphs we determine all fiber types in codimensions two and three, and we find new, non-Kodaira, fiber types for E_6, E_7 and E_8.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
F-theory on Genus-One Fibrations
We argue that M-theory compactified on an arbitrary genus-one fibration, that is, an elliptic fibration which need not have a section, always has an F-theory limit when the area of the genus-one fiber approaches zero. Such genus-one fibrations can be easily constructed as toric hypersurfaces, and various $SU(5)\times U(1)^n$ and $E_6$ models are presented as examples. To each genus-one fibration one can associate a $τ$-function on the base as well as an $SL(2,\mathbb{Z})$ representation which together define the IIB axio-dilaton and 7-brane content of the theory. The set of genus-one fibrations with the same $τ$-function and $SL(2,\mathbb{Z})$ representation, known as the Tate-Shafarevich group, supplies an important degree of freedom in the corresponding F-theory model which has not been studied carefully until now. Six-dimensional anomaly cancellation as well as Witten's zero-mode count on wrapped branes both imply corrections to the usual F-theory dictionary for some of these models. In particular, neutral hypermultiplets which are localized at codimension-two fibers can arise. (All previous known examples of localized hypermultiplets were charged under the gauge group of the theory.) Finally, in the absence of a section some novel monodromies of Kodaira fibers are allowed which lead to new breaking patterns of non-Abelian gauge groups.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Mordell-Weil Torsion and the Global Structure of Gauge Groups in F-theory
We study the global structure of the gauge group $G$ of F-theory compactified on an elliptic fibration $Y$. The global properties of $G$ are encoded in the torsion subgroup of the Mordell-Weil group of rational sections of $Y$. Generalising the Shioda map to torsional sections we construct a specific integer divisor class on $Y$ as a fractional linear combination of the resolution divisors associated with the Cartan subalgebra of $G$. This divisor class can be interpreted as an element of the refined coweight lattice of the gauge group. As a result, the spectrum of admissible matter representations is strongly constrained and the gauge group is non-simply connected. We exemplify our results by a detailed analysis of the general elliptic fibration with Mordell-Weil group $\mathbb Z_2$ and $\mathbb Z_3$ as well as a further specialization to $\mathbb Z \oplus \mathbb Z_2$. Our analysis exploits the representation of these fibrations as hypersurfaces in toric geometry.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
New Methods for Characterizing Phases of 2D Supersymmetric Gauge Theories
We study the physics of two-dimensional N=(2,2) gauged linear sigma models (GLSMs) via the two-sphere partition function. We show that the classical phase boundaries separating distinct GLSM phases, which are described by the secondary fan construction for abelian GLSMs, are completely encoded in the analytic structure of the partition function. The partition function of a non-abelian GLSM can be obtained as a limit from an abelian theory; we utilize this fact to show that the phases of non-abelian GLSMs can be obtained from the secondary fan of the associated abelian GLSM. We prove that the partition function of any abelian GLSM satisfies a set of linear differential equations; these reduce to the familiar A-hypergeometric system of Gel'fand, Kapranov, and Zelevinski for GLSMs describing complete intersections in toric varieties. We develop a set of conditions that are necessary for a GLSM phase to admit an interpretation as the low-energy limit of a non-linear sigma model with a Calabi-Yau threefold target space. Through the application of these criteria we discover a class of GLSMs with novel geometric phases corresponding to Calabi-Yau manifolds that are branched double-covers of Fano threefolds. These criteria provide a promising approach for constructing new Calabi-Yau geometries.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Sections, multisections, and U(1) fields in F-theory
We show that genus-one fibrations lacking a global section fit naturally into the geometric moduli space of Weierstrass models. Elliptic fibrations with multiple sections (nontrivial Mordell-Weil rank), which give rise in F-theory to abelian U(1) fields, arise as a subspace of the set of genus-one fibrations with multisections. Higgsing of certain matter multiplets charged under abelian gauge fields in the corresponding supergravity theories break the U(1) gauge symmetry to a discrete gauge symmetry group. We further show that in six dimensions every U(1) gauge symmetry arising in an F-theory model can be found by Higgsing an SU(2) gauge symmetry with adjoint matter, and that a similar structure holds for F-theory geometries giving 4D supergravity theories.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Perturbative Corrections to Kahler Moduli Spaces
We propose a general formula for perturbative-in-alpha' corrections to the Kahler potential on the quantum Kahler moduli space of Calabi-Yau n-folds, for any n, in their asymptotic large volume regime. The knowledge of such perturbative corrections provides an important ingredient needed to analyze the full structure of this Kahler potential, including nonperturbative corrections such as the Gromov-Witten invariants of the Calabi-Yau n-folds. We argue that the perturbative corrections take a universal form, and we find that this form is encapsulated in a specific additive characteristic class of the Calabi-Yau n-fold which we call the log Gamma class, and which arises naturally in a generalization of Mukai's modified Chern character map. Our proposal is inspired heavily by the recent observation of an equality between the partition function of certain supersymmetric, two-dimensional gauge theories on a two-sphere, and the aforementioned Kahler potential. We further strengthen our proposal by comparing our findings on the quantum Kahler moduli space to the complex structure moduli space of the corresponding mirror Calabi-Yau geometry.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Two-Sphere Partition Functions and Gromov-Witten Invariants
Many N=(2,2) two-dimensional nonlinear sigma models with Calabi-Yau target spaces admit ultraviolet descriptions as N=(2,2) gauge theories (gauged linear sigma models). We conjecture that the two-sphere partition function of such ultraviolet gauge theories -- recently computed via localization by Benini et al. and Doroud et al. -- yields the exact Kähler potential on the quantum Kähler moduli space for Calabi-Yau threefold target spaces. In particular, this allows one to compute the genus zero Gromov-Witten invariants for any such Calabi-Yau threefold without the use of mirror symmetry. More generally, when the infrared superconformal fixed point is used to compactify string theory, this provides a direct method to compute the spacetime Kähler potential of certain moduli (e.g., vector multiplet moduli in type IIA), exactly in α'. We compute these quantities for the quintic and for Rødland's Pfaffian Calabi-Yau threefold and find agreement with existing results in the literature. We then apply our methods to a codimension four determinantal Calabi-Yau threefold in P^7, recently given a nonabelian gauge theory description by the present authors, for which no mirror Calabi-Yau is currently known. We derive predictions for its Gromov-Witten invariants and verify that our predictions satisfy nontrivial geometric checks.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Anomalies and the Euler characteristic of elliptic Calabi-Yau threefolds
We investigate the delicate interplay between the types of singular fibers in elliptic fibrations of Calabi-Yau threefolds (used to formulate F-theory) and the "matter" representation of the associated Lie algebra. The main tool is the analysis and the appropriate interpretation of the anomaly formula for six-dimensional supersymmetric theories. We find that this anomaly formula is geometrically captured by a relation among codimension two cycles on the base of the elliptic fibration, and that this relation holds for elliptic fibrations of any dimension. We introduce a "Tate cycle" which efficiently describes this relationship, and which is remarkably easy to calculate explicitly from the Weierstrass equation of the fibration. We check the anomaly cancellation formula in a number of situations and show how this formula constrains the geometry (and in particular the Euler characteristic) of the Calabi-Yau threefold.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Classifying bases for 6D F-theory models
We classify six-dimensional F-theory compactifications in terms of simple features of the divisor structure of the base surface of the elliptic fibration. This structure controls the minimal spectrum of the theory. We determine all irreducible configurations of divisors ("clusters") that are required to carry nonabelian gauge group factors based on the intersections of the divisors with one another and with the canonical class of the base. All 6D F-theory models are built from combinations of these irreducible configurations. Physically, this geometric structure characterizes the gauge algebra and matter that can remain in a 6D theory after maximal Higgsing. These results suggest that all 6D supergravity theories realized in F-theory have a maximally Higgsed phase in which the gauge algebra is built out of summands of the types su(3), so(8), f_4, e_6, e_8, e_7, (g_2 + su(2)), and su(2) + so(7) + su(2), with minimal matter content charged only under the last three types of summands, corresponding to the non-Higgsable cluster types identified through F-theory geometry. Although we have identified all such geometric clusters, we have not proven that there cannot be an obstruction to Higgsing to the minimal gauge and matter configuration for any possible F-theory model. We also identify bounds on the number of tensor fields allowed in a theory with any fixed gauge algebra; we use this to bound the size of the gauge group (or algebra) in a simple class of F-theory bases.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Conifold Transitions in M-theory on Calabi-Yau Fourfolds with Background Fluxes
We consider topology changing transitions for M-theory compactifications on Calabi-Yau fourfolds with background G-flux. The local geometry of the transition is generically a genus g curve of conifold singularities, which engineers a 3d gauge theory with four supercharges, near the intersection of Coulomb and Higgs branches. We identify a set of canonical, minimal flux quanta which solve the local quantization condition on G for a given geometry, including new solutions in which the flux is neither of horizontal nor vertical type. A local analysis of the flux superpotential shows that the potential has flat directions for a subset of these fluxes and the topologically different phases can be dynamically connected. For special geometries and background configurations, the local transitions extend to extremal transitions between global fourfold compactifications with flux. By a circle decompactification the M-theory analysis identifies consistent flux configurations in four-dimensional F-theory compactifications and flat directions in the deformation space of branes with bundles.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
F-Theory and the Mordell-Weil Group of Elliptically-Fibered Calabi-Yau Threefolds
The Mordell-Weil group of an elliptically fibered Calabi-Yau threefold X contains information about the abelian sector of the six-dimensional theory obtained by compactifying F-theory on X. After examining features of the abelian anomaly coefficient matrix and U(1) charge quantization conditions of general F-theory vacua, we study Calabi-Yau threefolds with Mordell-Weil rank-one as a first step towards understanding the features of the Mordell-Weil group of threefolds in more detail. In particular, we generate an interesting class of F-theory models with U(1) gauge symmetry that have matter with both charges 1 and 2. The anomaly equations --- which relate the Neron-Tate height of a section to intersection numbers between the section and fibral rational curves of the manifold --- serve as an important tool in our analysis.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Mapping 6D N = 1 supergravities to F-theory
We develop a systematic framework for realizing general anomaly-free chiral 6D supergravity theories in F-theory. We focus on 6D (1, 0) models with one tensor multiplet whose gauge group is a product of simple factors (modulo a finite abelian group) with matter in arbitrary representations. Such theories can be decomposed into blocks associated with the simple factors in the gauge group; each block depends only on the group factor and the matter charged under it. All 6D chiral supergravity models can be constructed by gluing such blocks together in accordance with constraints from anomalies. Associating a geometric structure to each block gives a dictionary for translating a supergravity model into a set of topological data for an F-theory construction. We construct the dictionary of F-theory divisors explicitly for some simple gauge group factors and associated matter representations. Using these building blocks we analyze a variety of models. We identify some 6D supergravity models which do not map to integral F-theory divisors, possibly indicating quantum inconsistency of these 6D theories.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Matter and singularities
We analyze the structure of matter representations arising from codimension two singularities in F-theory, focusing on gauge groups SU(N). We give a detailed local description of the geometry associated with several types of singularities and the associated matter representations. We also construct global F-theory models for 6D and 4D theories containing these matter representations. The codimension two singularities encountered include examples where the apparent Kodaira singularity type does not need to be completely resolved to produce a smooth Calabi-Yau, examples with rank enhancement by more than one, and examples where the 7-brane configuration is singular. We identify novel phase transitions, in some of which the gauge group remains fixed but the singularity type and associated matter content change along a continuous family of theories. Global analysis of 6D theories on P^2 with 7-branes wrapped on curves of small degree reproduces the range of 6D supergravity theories identified through anomaly cancellation and other consistency conditions. Analogous 4D models are constructed through global F-theory compactifications on P^3, and have a similar pattern of SU(N) matter content. This leads to a constraint on the matter content of a limited class of 4D supergravity theories containing SU(N) as a local factor of the gauge group.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Nonabelian 2D Gauge Theories for Determinantal Calabi-Yau Varieties
The two-dimensional supersymmetric gauged linear sigma model (GLSM) with abelian gauge groups and matter fields has provided many insights into string theory on Calabi--Yau manifolds of a certain type: complete intersections in toric varieties. In this paper, we consider two GLSM constructions with nonabelian gauge groups and charged matter whose infrared CFTs correspond to string propagation on determinantal Calabi-Yau varieties, furnishing another broad class of Calabi-Yau geometries in addition to complete intersections. We show that these two models -- which we refer to as the PAX and the PAXY model -- are dual descriptions of the same low-energy physics. Using GLSM techniques, we determine the quantum Kähler moduli space of these varieties and find no disagreement with existing results in the literature.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Toric bases for 6D F-theory models
We find all smooth toric bases that support elliptically fibered Calabi-Yau threefolds, using the intersection structure of the irreducible effective divisors on the base. These bases can be used for F-theory constructions of six-dimensional quantum supergravity theories. There are 61,539 distinct possible toric bases. The associated 6D supergravity theories have a number of tensor multiplets ranging from 0 to 193. For each base an explicit Weierstrass parameterization can be determined in terms of the toric data. The toric counting of parameters matches with the gravitational anomaly constraint on massless fields. For bases associated with theories having a large number of tensor multiplets, there is a large non-Higgsable gauge group containing multiple irreducible gauge group factors, particularly those having algebras e_8, f_4 and (g_2 + su(2)) with minimal (non-Higgsable) matter.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Tate's algorithm and F-theory
The "Tate forms" for elliptically fibered Calabi-Yau manifolds are reconsidered in order to determine their general validity. We point out that there were some implicit assumptions made in the original derivation of these "Tate forms" from the Tate algorithm. By a careful analysis of the Tate algorithm itself, we deduce that the "Tate forms" (without any futher divisiblity assumptions) do not hold in some instances and have to be replaced by a new type of ansatz. Furthermore, we give examples in which the existence of a "Tate form" can be globally obstructed, i.e., the change of coordinates does not extend globally to sections of the entire base of the elliptic fibration. These results have implications both for model-building and for the exploration of the landscape of F-theory vacua.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Geometries, Non-Geometries, and Fluxes
Using F-theory/heterotic duality, we describe a framework for analyzing non-geometric T2-fibered heterotic compactifications to six- and four-dimensions. Our results suggest that among T2-fibered heterotic string vacua, the non-geometric compactifications are just as typical as the geometric ones. We also construct four-dimensional solutions which have novel type IIB and M-theory dual descriptions. These duals are non-geometric with three- and four-form fluxes not of (2,1) or (2,2) Hodge type, respectively, and yet preserve at least N=1 supersymmetry.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Global aspects of the space of 6D N = 1 supergravities
We perform a global analysis of the space of consistent 6D quantum gravity theories with N = 1 supersymmetry, including models with multiple tensor multiplets. We prove that for theories with fewer than T = 9 tensor multiplets, a finite number of distinct gauge groups and matter content are possible. We find infinite families of field combinations satisfying anomaly cancellation and admitting physical gauge kinetic terms for T > 8. We find an integral lattice associated with each apparently-consistent supergravity theory; this lattice is determined by the form of the anomaly polynomial. For models which can be realized in F-theory, this anomaly lattice is related to the intersection form on the base of the F-theory elliptic fibration. The condition that a supergravity model have an F-theory realization imposes constraints which can be expressed in terms of this lattice. The analysis of models which satisfy known low-energy consistency conditions and yet violate F-theory constraints suggests possible novel constraints on low-energy supergravity theories.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
On the structure of supersymmetric T3 fibrations
We formulate some precise conjectures concerning the existence and structure of supersymmetric T3 fibrations of Calabi-Yau threefolds, and describe how these conjectural fibrations would give rise to the Strominger-Yau-Zaslow version of mirror symmetry.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Quivers from Matrix Factorizations
We discuss how matrix factorizations offer a practical method of computing the quiver and associated superpotential for a hypersurface singularity. This method also yields explicit geometrical interpretations of D-branes (i.e., quiver representations) on a resolution given in terms of Grassmannians. As an example we analyze some non-toric singularities which are resolved by a single CP1 but have "length" greater than one. These examples have a much richer structure than conifolds. A picture is proposed that relates matrix factorizations in Landau-Ginzburg theories to the way that matrix factorizations are used in this paper to perform noncommutative resolutions.
0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv
D-branes at Singularities, Compactification, and Hypercharge
We report on progress towards the construction of SM-like gauge theories on the world-volume of D-branes at a Calabi-Yau singularity. In particular, we work out the topological conditions on the embedding of the singularity inside a compact CY threefold, that select hypercharge as the only light U(1) gauge factor. We apply this insight to the proposed open string realization of the SM of hep-th/0508089, based on a D3-brane at a dP_8 singularity, and present a geometric construction of a compact Calabi-Yau threefold with all the required topological properties. We comment on the relevance of D-instantons to the breaking of global U(1) symmetries.
0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv
Localized tachyons in C^3/Z_N
We study the condensation of localized closed string tachyons in C^3/Z_N nonsupersymmetric noncompact orbifold singularities via renormalization group flows that preserve supersymmetry in the worldsheet conformal field theory and their interrelations with the toric geometry of these orbifolds. We show that for worldsheet supersymmetric tachyons, the endpoint of tachyon condensation generically includes ``geometric'' terminal singularities (orbifolds that do not have any marginal or relevant Kahler blowup modes) as well as singularities in codimension two. Some of the various possible distinct geometric resolutions are related by flip transitions. For Type II theories, we show that the residual singularities that arise under tachyon condensation in various classes of Type II theories also admit a Type II GSO projection. We further show that Type II orbifolds entirely devoid of marginal or relevant blowup modes (Kahler or otherwise) cannot exist, which thus implies that the endpoints of tachyon condensation in Type II theories are always smooth spaces.
0 citations0 reviewsNo code linkedOpen access
preprint2000arXiv
Group representations and the Euler characteristic of elliptically fibered Calabi-Yau threefolds
To every elliptic Calabi-Yau threefold with a section $X$ there can be associated a Lie group $G$ and a representation $ρ$ of that group. The group is determined from the Weierstrass model, which has singularities that are generically rational double points; these double points lead to local factors of $G$ which are either the corresponding A-D-E groups or some associated non-simply laced groups. The representation $ρ$ is a sum of representations coming from the local factors of $G$, and of other representations which can be associated to the points at which the singularities are worse than generic. This construction first arose in physics, and the requirement of anomaly cancellation in the associated physical theory makes some surprising predictions about the connection between $X$ and $ρ$. In particular, an explicit formula (in terms of $ρ$) for the Euler characteristic of $X$ is predicted. We give a purely mathematical proof of that formula in this paper, introducing along the way a new invariant of elliptic Calabi-Yau threefolds. We also verify the other geometric predictions which are consequences of anomaly cancellation, under some (mild) hypotheses about the types of singularities which occur. As a byproduct we also discover a novel relation between the Coxeter number and the rank in the case of the simply laced groups in the ``exceptional series'' studied by Deligne.
0 citations0 reviewsNo code linkedOpen access
preprint1997arXiv
Orbifold Resolution by D-Branes
We study topological properties of the D-brane resolution of three-dimensional orbifold singularities, C^3/Gamma, for finite abelian groups Gamma. The D-brane vacuum moduli space is shown to fill out the background spacetime with Fayet--Iliopoulos parameters controlling the size of the blow-ups. This D-brane vacuum moduli space can be classically described by a gauged linear sigma model, which is shown to be non-generic in a manner that projects out non-geometric regions in its phase diagram, as anticipated from a number of perspectives.
0 citations0 reviewsNo code linkedOpen access
preprint1996arXiv
Compactifications of F-Theory on Calabi--Yau Threefolds -- II
We continue our study of compactifications of F-theory on Calabi--Yau threefolds. We gain more insight into F-theory duals of heterotic strings and provide a recipe for building F-theory duals for arbitrary heterotic compactifications on elliptically fibered manifolds. As a byproduct we find that string/string duality in six dimensions gets mapped to fiber/base exchange in F-theory. We also construct a number of new $N=1$, $d=6$ examples of F-theory vacua and study transitions among them. We find that some of these transition points correspond upon further compactification to 4 dimensions to transitions through analogues of Argyres--Douglas points of $N=2$ moduli. A key idea in these transitions is the notion of classifying $(0,4)$ fivebranes of heterotic strings.
0 citations0 reviewsNo code linkedOpen access
preprint1996arXiv
Enhanced Gauge Symmetry in Type II String Theory
We show how enhanced gauge symmetry in type II string theory compactified on a Calabi--Yau threefold arises from singularities in the geometry of the target space. When the target space of the type IIA string acquires a genus $g$ curve $C$ of $A_{N-1}$ singularities, we find that an $SU(N)$ gauge theory with $g$ adjoint hypermultiplets appears at the singularity. The new massless states correspond to solitons wrapped about the collapsing cycles, and their dynamics is described by a twisted supersymmetric gauge theory on $C\times \R^4$. We reproduce this result from an analysis of the $S$-dual $D$-manifold. We check that the predictions made by this model about the nature of the Higgs branch, the monodromy of period integrals, and the asymptotics of the one-loop topological amplitude are in agreement with geometrical computations. In one of our examples we find that the singularity occurs at strong coupling in the heterotic dual proposed by Kachru and Vafa.
0 citations0 reviewsNo code linkedOpen access
preprint1996arXiv
Extremal Transitions and Five-Dimensional Supersymmetric Field Theories
We study five-dimensional supersymmetric field theories with one-dimensional Coulomb branch. We extend a previous analysis which led to non-trivial fixed points with $E_n$ symmetry ($E_8$, $E_7$, $E_6$, $E_5=Spin(10)$, $E_4=SU(5)$, $E_3=SU(3)\times SU(2)$, $E_2=SU(2)\times U(1)$ and $E_1=SU(2)$) by finding two new theories: $\tilde E_1$ with $U(1)$ symmetry and $E_0$ with no symmetry. The latter is a non-trivial theory with no relevant operators preserving the super-Poincaré symmetry. In terms of string theory these new field theories enable us to describe compactifications of the type I' theory on $S^1/Z_2$ with 16, 17 or 18 background D8-branes. These theories also play a crucial role in compactifications of M-theory on Calabi--Yau spaces, providing physical models for the contractions of del Pezzo surfaces to points (thereby completing the classification of singularities which can occur at codimension one in Kähler moduli). The structure of the Higgs branch yields a prediction which unifies the known mathematical facts about del Pezzo transitions in a quite remarkable way.
0 citations0 reviewsNo code linkedOpen access
preprint1995arXiv
Summing the Instantons: Quantum Cohomology and Mirror Symmetry in Toric Varieties
We use the gauged linear sigma model introduced by Witten to calculate instanton expansions for correlation functions in topological sigma models with target space a toric variety $V$ or a Calabi--Yau hypersurface $M \subset V$. In the linear model the instanton moduli spaces are relatively simple objects and the correlators are explicitly computable; moreover, the instantons can be summed, leading to explicit solutions for both kinds of models. In the case of smooth $V$, our results reproduce and clarify an algebraic solution of the $V$ model due to Batyrev. In addition, we find an algebraic relation determining the solution for $M$ in terms of that for $V$. Finally, we propose a modification of the linear model which computes instanton expansions about any limiting point in the moduli space. In the smooth case this leads to a (second) algebraic solution of the $M$ model. We use this description to prove some conjectures about mirror symmetry, including the previously conjectured ``monomial-divisor mirror map'' of Aspinwall, Greene, and Morrison.
0 citations0 reviewsNo code linkedOpen access
preprint1995arXiv
Towards Mirror Symmetry as Duality for Two-Dimensional Abelian Gauge Theories
Superconformal sigma models with Calabi--Yau target spaces described as complete intersection subvarieties in toric varieties can be obtained as the low-energy limit of certain abelian gauge theories in two dimensions. We formulate mirror symmetry for this class of Calabi--Yau spaces as a duality in the abelian gauge theory, giving the explicit mapping relating the two Lagrangians. The duality relates inequivalent theories which lead to isomorphic theories in the low-energy limit. This formulation suggests that mirror symmetry could be derived using abelian duality. The application of duality in this context is complicated by the presence of nontrivial dynamics and the absence of a global symmetry. We propose a way to overcome these obstacles, leading to a more symmetric Lagrangian. The argument, however, fails to produce a derivation of the conjecture.
0 citations0 reviewsNo code linkedOpen access
preprint1995arXiv
U-Duality and Integral Structures
We analyze the U-duality group for the case of a type II superstring compactified to four dimensions on a K3 surface times a torus. The various limits of this theory are considered which have interpretations as type IIA and IIB superstrings, the heterotic string, and eleven-dimensional supergravity, allowing all these theories to be directly related to each other. The integral structure which appears in the Ramond-Ramond sector of the type II superstring is related to the quantum cohomology of general Calabi-Yau threefolds which allows the moduli space of type II superstring compactifications on Calabi-Yau manifolds to be analyzed.
0 citations0 reviewsNo code linkedOpen access
preprint1994arXiv
Mirror Manifolds in Higher Dimension
We describe mirror manifolds in dimensions different from the familiar case of complex threefolds. We emphasize the simplifying features of dimension three and supply more robust methods that do not rely on such special characteristics and hence naturally generalize to other dimensions. The moduli spaces for Calabi--Yau $d$-folds are somewhat different from the ``special Kähler manifolds'' which had occurred for $d=3$, and we indicate the new geometrical structures which arise. We formulate and apply procedures which allow for the construction of mirror maps and the calculation of order-by-order instanton corrections to Yukawa couplings. Mathematically, these corrections are expected to correspond to calculating Chern classes of various parameter spaces (Hilbert schemes) for rational curves on Calabi--Yau manifolds. Our results agree with those obtained by more traditional mathematical methods in the limited number of cases for which the latter analysis can be carried out. Finally, we make explicit some striking relations between instanton corrections for various Yukawa couplings, derived from the associativity of the operator product algebra.
0 citations0 reviewsNo code linkedOpen access
preprint1994arXiv
Mirror Symmetry for Two Parameter Models -- II
We describe in detail the space of the two Kähler parameters of the Calabi--Yau manifold $¶_4^{(1,1,1,6,9)}[18]$ by exploiting mirror symmetry. The large complex structure limit of the mirror, which corresponds to the classical large radius limit, is found by studying the monodromy of the periods about the discriminant locus, the boundary of the moduli space corresponding to singular Calabi--Yau manifolds. A symplectic basis of periods is found and the action of the $Sp(6,\Z)$ generators of the modular group is determined. From the mirror map we compute the instanton expansion of the Yukawa couplings and the generalized $N=2$ index, arriving at the numbers of instantons of genus zero and genus one of each degree. We also investigate an $SL(2,\Z)$ symmetry that acts on a boundary of the moduli space.
0 citations0 reviewsNo code linkedOpen access
preprint1991arXiv
Topological Field Theory and Rational Curves
We analyze the superstring propagating on a Calabi-Yau threefold. This theory naturally leads to the consideration of Witten's topological non-linear sigma-model and the structure of rational curves on the Calabi-Yau manifold. We study in detail the case of the world-sheet of the string being mapped to a multiple cover of an isolated rational curve and we show that a natural compactification of the moduli space of such a multiple cover leads to a formula in agreement with a conjecture by Candelas, de la Ossa, Green and Parkes.
0 citations0 reviewsNo code linkedOpen access