Showing 1–50 of 114 results for author: Morrison, D R

On the Frozen F-theory Landscape

Authors: David R. Morrison, Benjamin Sung

Abstract: We study $6$d $\mathcal{N} = (1,0)$ supergravity theories arising in the frozen phase of F-theory. For each of the known global models, we construct an F-theory compactification in the unfrozen phase with an identical non-abelian gauge algebra and massless matter content. Two such low energy effective theories are then distinguished through gauge enhancements in moduli space. We study potentially… ▽ More We study $6$d $\mathcal{N} = (1,0)$ supergravity theories arising in the frozen phase of F-theory. For each of the known global models, we construct an F-theory compactification in the unfrozen phase with an identical non-abelian gauge algebra and massless matter content. Two such low energy effective theories are then distinguished through gauge enhancements in moduli space. We study potentially new global models obtained via compact embeddings of a plethora of $6$d $\mathcal{N}= (1,0)$ superconformal field theories and little string theories constructed using frozen $7$-branes. In some cases, these provably do not exist, and in other cases, we explicitly construct a compact embedding, yielding $6$d supergravity theories with new massless spectra. Finally, by using gravitational anomaly cancellation, we conjecture the existence of localized neutral hypermultiplets along frozen $7$-brane loci. △ Less

Submitted 10 March, 2024; v1 submitted 17 October, 2023; originally announced October 2023.

Non-Measure Hyperbolicity of Complex K3 Surfaces

Authors: Gunhee Cho, David R. Morrison

Abstract: We show that the non-measure hyperbolicity of K3 surfaces -- which M. Green and P. Griffiths verified for certain cases in 1980 -- holds for all K3 surfaces. As a byproduct, we prove the non-measure hyperbolicity of any Hilbert schemes of points on K3 surfaces. We also obtain a new proof of the non-measure hyperbolicity of any Enriques surface. We show that the non-measure hyperbolicity of K3 surfaces -- which M. Green and P. Griffiths verified for certain cases in 1980 -- holds for all K3 surfaces. As a byproduct, we prove the non-measure hyperbolicity of any Hilbert schemes of points on K3 surfaces. We also obtain a new proof of the non-measure hyperbolicity of any Enriques surface. △ Less

Submitted 26 September, 2024; v1 submitted 9 July, 2023; originally announced July 2023.

Comments: We received comments from A. Javanpekar, L. Kamenova, Steven Lu, and Mikhail Zaidenberg after putting the preprint on arXiv, so we made a revision taking these into account. Update the consequence on Hilbert Scheme of points on K3 surfaces. arXiv admin note: text overlap with arXiv:1308.5667 by other authors

Enumerative geometry of the mirror quintic

Authors: Sheldon Katz, David R. Morrison

Abstract: We evaluate the enumerative invariants of low degree on the mirror quintic threefold. We evaluate the enumerative invariants of low degree on the mirror quintic threefold. △ Less

Submitted 4 April, 2022; originally announced April 2022.

Comments: 17 pages, 5 figures

Report number: UCSB Math 2022-09 MSC Class: 14N10; 14J33

Generalized Symmetries in F-theory and the Topology of Elliptic Fibrations

Authors: Max Hubner, David R. Morrison, Sakura Schafer-Nameki, Yi-Nan Wang

Abstract: 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 d… ▽ More 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. △ Less

Submitted 18 July, 2022; v1 submitted 18 March, 2022; originally announced March 2022.

Comments: 57 pages, tikz figures, added clarifications

Journal ref: SciPost Phys. 13, 030 (2022)

Charge completeness and the massless charge lattice in F-theory models of supergravity

Authors: David R. Morrison, Washington Taylor

Abstract: 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 o… ▽ More 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. △ Less

Submitted 12 August, 2021; v1 submitted 4 August, 2021; originally announced August 2021.

Comments: 43 pages; v2: comments on charge completeness in M-theory, references added

Report number: MIT-CTP-5172, UCSB-MATH-2021-03

Non-Perturbative Heterotic Duals of M-Theory on $G_{2}$ Orbifolds

Authors: Bobby Samir Acharya, Alex Kinsella, David R. Morrison

Abstract: By fibering the duality between the $E_{8}\times E_{8}$ heterotic string on $T^{3}$ and M-theory on K3, we study heterotic duals of M-theory compactified on $G_{2}$ orbifolds of the form $T^{7}/\mathbb{Z}_{2}^{3}$. While the heterotic compactification space is straightforward, the description of the gauge bundle is subtle, involving the physics of point-like instantons on orbifold singularities. B… ▽ More By fibering the duality between the $E_{8}\times E_{8}$ heterotic string on $T^{3}$ and M-theory on K3, we study heterotic duals of M-theory compactified on $G_{2}$ orbifolds of the form $T^{7}/\mathbb{Z}_{2}^{3}$. While the heterotic compactification space is straightforward, the description of the gauge bundle is subtle, involving the physics of point-like instantons on orbifold singularities. By comparing the gauge groups of the dual theories, we deduce behavior of a "half-$G_{2}$" limit, which is the M-theory analog of the stable degeneration limit of F-theory. The heterotic backgrounds exhibit point-like instantons that are localized on pairs of orbifold loci, similar to the "gauge-locking" phenomenon seen in Hořava-Witten compactifications. In this way, the geometry of the $G_{2}$ orbifold is translated to bundle data in the heterotic background. While the instanton configuration looks surprising from the perspective of the $E_{8}\times E_{8}$ heterotic string, it may be understood as T-dual $\text{Spin}(32)/\mathbb{Z}_{2}$ instantons along with winding shifts originating in a dual Type I compactification. △ Less

Submitted 20 September, 2021; v1 submitted 7 June, 2021; originally announced June 2021.

Comments: 42 pages, 4 figures; v2: Typos corrected

Report number: UCSB-Math-2021-02, KCL-PH-TH/2021-38

Higher-Form Symmetries in 5d

Authors: David R. Morrison, Sakura Schafer-Nameki, Brian Willett

Abstract: 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… ▽ More 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. △ Less

Submitted 28 May, 2020; v1 submitted 25 May, 2020; originally announced May 2020.

Comments: 67 pages

High electric charges in M-theory from quiver varieties

Authors: Andrés Collinucci, Marco Fazzi, David R. Morrison, Roberto Valandro

Abstract: 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 adjoi… ▽ More 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. △ Less

Submitted 3 October, 2019; v1 submitted 5 June, 2019; originally announced June 2019.

Comments: 57 pages, 13 figures, 1 appendix, 1 ancillary Mathematica file (contains very long outputs); v2: minor corrections, version published in JHEP

Mirror Symmetry and Partition Functions

Authors: Travis Maxfield, David R. Morrison, M. Ronen Plesser

Abstract: Localization methods have produced explicit expressions for the sphere partition functions of (2,2) superconformal field theories. The mirror symmetry conjecture predicts an IR duality between pairs of Abelian gauged linear sigma models, a class of which describe families of Calabi-Yau manifolds realizable as complete intersections in toric varieties. We investigate this prediction for the sphere… ▽ More Localization methods have produced explicit expressions for the sphere partition functions of (2,2) superconformal field theories. The mirror symmetry conjecture predicts an IR duality between pairs of Abelian gauged linear sigma models, a class of which describe families of Calabi-Yau manifolds realizable as complete intersections in toric varieties. We investigate this prediction for the sphere partition functions and find agreement between that of a model and its mirror up to the scheme-dependent ambiguities inherent in the definitions of these quantities. △ Less

Submitted 26 October, 2021; v1 submitted 14 February, 2019; originally announced February 2019.

Comments: v3: corrected an equation

The frozen phase of F-theory

Authors: Lakshya Bhardwaj, David R. Morrison, Yuji Tachikawa, Alessandro Tomasiello

Abstract: We study the interpretation of O7+ planes in F-theory, mainly in the context of the six-dimensional models. In particular, we study how to assign gauge algebras and matter content to seven-branes and their intersections, and the implication of anomaly cancellation in our construction, generalizing earlier analyses without any O7+ planes. By including O7+ planes we can realize 6d superconformal fie… ▽ More We study the interpretation of O7+ planes in F-theory, mainly in the context of the six-dimensional models. In particular, we study how to assign gauge algebras and matter content to seven-branes and their intersections, and the implication of anomaly cancellation in our construction, generalizing earlier analyses without any O7+ planes. By including O7+ planes we can realize 6d superconformal field theories hitherto unobtainable in F-theory, such as those with hypermultiplets in the symmetric representation of su. We also examine a couple of compact models. These reproduce some famous perturbative models, and in some cases enhance their gauge symmetries non-perturbatively. △ Less

Submitted 27 August, 2018; v1 submitted 23 May, 2018; originally announced May 2018.

Comments: 58 pages; v3: minor changes; journal version

Report number: IPMU-18-0001, USCB Math 2018-16

Geometry and Physics: An Overview

Authors: David R. Morrison

Abstract: We present some episodes from the history of interactions between geometry and physics over the past century. We present some episodes from the history of interactions between geometry and physics over the past century. △ Less

Submitted 8 October, 2018; v1 submitted 17 May, 2018; originally announced May 2018.

Comments: v2: minor corrections, expand some of the historical context

Infinitely Many M2-instanton Corrections to M-theory on $G_2$-manifolds

Authors: Andreas P. Braun, Michele Del Zotto, James Halverson, Magdalena Larfors, David R. Morrison, Sakura Schafer-Nameki

Abstract: We consider the non-perturbative superpotential for a class of four-dimensional $\mathcal N=1$ vacua obtained from M-theory on seven-manifolds with holonomy $G_2$. The class of $G_2$-holonomy manifolds we consider are so-called twisted connected sum (TCS) constructions, which have the topology of a K3-fibration over $S^3$. We show that the non-perturbative superpotential of M-theory on a class of… ▽ More We consider the non-perturbative superpotential for a class of four-dimensional $\mathcal N=1$ vacua obtained from M-theory on seven-manifolds with holonomy $G_2$. The class of $G_2$-holonomy manifolds we consider are so-called twisted connected sum (TCS) constructions, which have the topology of a K3-fibration over $S^3$. We show that the non-perturbative superpotential of M-theory on a class of TCS geometries receives infinitely many inequivalent M2-instanton contributions from infinitely many three-spheres, which we conjecture are supersymmetric (and thus associative) cycles. The rationale for our construction is provided by the duality chain of arXiv:1708.07215, which relates M-theory on TCS $G_2$-manifolds to $E_8\times E_8$ heterotic backgrounds on the Schoen Calabi-Yau threefold, as well as to F-theory on a K3-fibered Calabi-Yau fourfold. The latter are known to have an infinite number of instanton corrections to the superpotential and it is these contributions that we trace through the duality chain back to the $G_2$-compactification. △ Less

Submitted 23 March, 2018; v1 submitted 6 March, 2018; originally announced March 2018.

Comments: 50 pages, 8 figures; v2: references added

4D Gauge Theories with Conformal Matter

Authors: Fabio Apruzzi, Jonathan J. Heckman, David R. Morrison, Luigi Tizzano

Abstract: One of the hallmarks of 6D superconformal field theories (SCFTs) is that on a partial tensor branch, all known theories resemble quiver gauge theories with links comprised of 6D conformal matter, a generalization of weakly coupled hypermultiplets. In this paper we construct 4D quiverlike gauge theories in which the links are obtained from compactifications of 6D conformal matter on Riemann surface… ▽ More One of the hallmarks of 6D superconformal field theories (SCFTs) is that on a partial tensor branch, all known theories resemble quiver gauge theories with links comprised of 6D conformal matter, a generalization of weakly coupled hypermultiplets. In this paper we construct 4D quiverlike gauge theories in which the links are obtained from compactifications of 6D conformal matter on Riemann surfaces with flavor symmetry fluxes. This includes generalizations of super QCD with exceptional gauge groups and quarks replaced by 4D conformal matter. Just as in super QCD, we find evidence for a conformal window as well as confining gauge group factors depending on the total amount of matter. We also present F-theory realizations of these field theories via elliptically fibered Calabi-Yau fourfolds. Gauge groups (and flavor symmetries) come from 7-branes wrapped on surfaces, conformal matter localizes at the intersection of pairs of 7-branes, and Yukawas between 4D conformal matter localize at points coming from triple intersections of 7-branes. Quantum corrections can also modify the classical moduli space of the F-theory model, matching expectations from effective field theory. △ Less

Submitted 28 June, 2018; v1 submitted 1 March, 2018; originally announced March 2018.

Comments: v2: 65 pages, 12 figures, clarifications and references added

Conformal field theories and compact curves in moduli spaces

Authors: Ron Donagi, David R. Morrison

Abstract: We show that there are many compact subsets of the moduli space $M_g$ of Riemann surfaces of genus $g$ that do not intersect any symmetry locus. This has interesting implications for $\mathcal{N}=2$ supersymmetric conformal field theories in four dimensions. We show that there are many compact subsets of the moduli space $M_g$ of Riemann surfaces of genus $g$ that do not intersect any symmetry locus. This has interesting implications for $\mathcal{N}=2$ supersymmetric conformal field theories in four dimensions. △ Less

Submitted 20 March, 2018; v1 submitted 15 September, 2017; originally announced September 2017.

Comments: Update acknowledging recent developments

Exotic matter on singular divisors in F-theory

Authors: Denis Klevers, David R. Morrison, Nikhil Raghuram, Washington Taylor

Abstract: We analyze exotic matter representations that arise on singular seven-brane configurations in F-theory. We develop a general framework for analyzing such representations, and work out explicit descriptions for models with matter in the 2-index and 3-index symmetric representations of SU($N$) and SU(2) respectively, associated with double and triple point singularities in the seven-brane locus. The… ▽ More We analyze exotic matter representations that arise on singular seven-brane configurations in F-theory. We develop a general framework for analyzing such representations, and work out explicit descriptions for models with matter in the 2-index and 3-index symmetric representations of SU($N$) and SU(2) respectively, associated with double and triple point singularities in the seven-brane locus. These matter representations are associated with Weierstrass models whose discriminants vanish to high order thanks to nontrivial cancellations possible only in the presence of a non-UFD algebraic structure. This structure can be described using the normalization of the ring of intrinsic local functions on a singular divisor. We consider the connection between geometric constraints on singular curves and corresponding constraints on the low-energy spectrum of 6D theories, identifying some new examples of apparent "swampland" theories that cannot be realized in F-theory but have no apparent low-energy inconsistency. △ Less

Submitted 25 June, 2017; originally announced June 2017.

Comments: 71 pages

Report number: CERN-TH-2016-252, MIT-CTP-4878, UCSB Math 2017-07

6D SCFTs and Phases of 5D Theories

Authors: Michele Del Zotto, Jonathan J. Heckman, David R. Morrison

Abstract: Starting from 6D superconformal field theories (SCFTs) realized via F-theory, we show how reduction on a circle leads to a uniform perspective on the phase structure of the resulting 5D theories, and their possible conformal fixed points. Using the correspondence between F-theory reduced on a circle and M-theory on the corresponding elliptically fibered Calabi--Yau threefold, we show that each 6D… ▽ More Starting from 6D superconformal field theories (SCFTs) realized via F-theory, we show how reduction on a circle leads to a uniform perspective on the phase structure of the resulting 5D theories, and their possible conformal fixed points. Using the correspondence between F-theory reduced on a circle and M-theory on the corresponding elliptically fibered Calabi--Yau threefold, we show that each 6D SCFT with minimal supersymmetry directly reduces to a collection of between one and four 5D SCFTs. Additionally, we find that in most cases, reduction of the tensor branch of a 6D SCFT yields a 5D generalization of a quiver gauge theory. These two reductions of the theory often correspond to different phases in the 5D theory which are in general connected by a sequence of flop transitions in the extended Kahler cone of the Calabi--Yau threefold. We also elaborate on the structure of the resulting conformal fixed points, and emergent flavor symmetries, as realized by M-theory on a canonical singularity. △ Less

Submitted 8 September, 2017; v1 submitted 8 March, 2017; originally announced March 2017.

Comments: v2: 45 pages, 7 figures, references and clarifications added

Non-Higgsable abelian gauge symmetry and F-theory on fiber products of rational elliptic surfaces

Authors: David R. Morrison, Daniel S. Park, Washington Taylor

Abstract: 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 e… ▽ More 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. △ Less

Submitted 16 November, 2016; v1 submitted 21 October, 2016; originally announced October 2016.

Comments: 41 pages + appendices, 10 figures; v2: reference added

Report number: UCSB Math 2016-17, MIT-CTP-4839

Gromov-Witten invariants and localization

Authors: David R. Morrison

Abstract: We give a pedagogical review of the computation of Gromov-Witten invariants via localization in 2D gauged linear sigma models. We explain the relationship between the two-sphere partition function of the theory and the Kahler potential on the conformal manifold. We show how the Kahler potential can be assembled from classical, perturbative, and non-perturbative contributions, and explain how the n… ▽ More We give a pedagogical review of the computation of Gromov-Witten invariants via localization in 2D gauged linear sigma models. We explain the relationship between the two-sphere partition function of the theory and the Kahler potential on the conformal manifold. We show how the Kahler potential can be assembled from classical, perturbative, and non-perturbative contributions, and explain how the non-perturbative contributions are related to the Gromov-Witten invariants of the corresponding Calabi-Yau manifold. We then explain how localization enables efficient calculation of the two-sphere partition function and, ultimately, the Gromov-Witten invariants themselves. △ Less

Submitted 15 October, 2016; v1 submitted 9 August, 2016; originally announced August 2016.

Comments: This is a contribution to the review volume `Localization techniques in quantum field theories' (eds. V. Pestun and M. Zabzine): arXiv:1608.02952 and at https://arxiv.boxedpaper.com/src/1608.02952/anc/LocQFT.pdf or http://pestun.ihes.fr/pages/LocalizationReview/LocQFT.pdf This article reviews portions of hep-th/9412236, hep-th/9508107, arXiv:1208.6244, arXiv:1305.3278, arXiv:1308.2157, and arXiv:1509.08511

Localization techniques in quantum field theories

Authors: Vasily Pestun, Maxim Zabzine, Francesco Benini, Tudor Dimofte, Thomas T. Dumitrescu, Kazuo Hosomichi, Seok Kim, Kimyeong Lee, Bruno Le Floch, Marcos Marino, Joseph A. Minahan, David R. Morrison, Sara Pasquetti, Jian Qiu, Leonardo Rastelli, Shlomo S. Razamat, Silvu S. Pufu, Yuji Tachikawa, Brian Willett, Konstantin Zarembo

Abstract: This is the foreword to the special volume on localization techniques in quantum field theory. We summarize the individual chapters and their relation. This is the foreword to the special volume on localization techniques in quantum field theory. We summarize the individual chapters and their relation. △ Less

Submitted 13 October, 2016; v1 submitted 9 August, 2016; originally announced August 2016.

Comments: The complete volume can be downloaded at https://arxiv.boxedpaper.com/src/1608.02952/anc/LocQFT.pdf or http://pestun.ihes.fr/pages/LocalizationReview/LocQFT.pdf

Tall sections from non-minimal transformations

Authors: David R. Morrison, Daniel S. Park

Abstract: 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" Wei… ▽ More 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. △ Less

Submitted 23 June, 2016; originally announced June 2016.

Comments: 16 pages

F-theory and Unpaired Tensors in 6D SCFTs and LSTs

Authors: David R. Morrison, Tom Rudelius

Abstract: 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… ▽ More 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. △ Less

Submitted 25 May, 2016; originally announced May 2016.

Comments: 21 pages

F-Theory and N=1 SCFTs in Four Dimensions

Authors: David R. Morrison, Cumrun Vafa

Abstract: 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 deform… ▽ More 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. △ Less

Submitted 26 July, 2016; v1 submitted 12 April, 2016; originally announced April 2016.

Comments: v2: added an example

SU(N) transitions in M-theory on Calabi-Yau fourfolds and background fluxes

Authors: Hans Jockers, Sheldon Katz, David R. Morrison, M. Ronen Plesser

Abstract: We study M-theory on a Calabi-Yau fourfold with a smooth surface $S$ of $A_{N-1}$ singularities. The resulting three-dimensional theory has a $\mathcal{N}=2$ $SU(N)$ gauge theory sector, which we obtain from a twisted dimensional reduction of a seven-dimensional $\mathcal{N}=1$ $SU(N)$ gauge theory on the surface $S$. A variant of the Vafa-Witten equations governs the moduli space of the gauge the… ▽ More We study M-theory on a Calabi-Yau fourfold with a smooth surface $S$ of $A_{N-1}$ singularities. The resulting three-dimensional theory has a $\mathcal{N}=2$ $SU(N)$ gauge theory sector, which we obtain from a twisted dimensional reduction of a seven-dimensional $\mathcal{N}=1$ $SU(N)$ gauge theory on the surface $S$. A variant of the Vafa-Witten equations governs the moduli space of the gauge theory, which, for a trivial $SU(N)$ principal bundle over $S$, admits a Coulomb and a Higgs branch. In M-theory these two gauge theory branches arise from a resolution and a deformation to smooth Calabi-Yau fourfolds, respectively. We find that the deformed Calabi-Yau fourfold associated to the Higgs branch requires for consistency a non-trivial four-form background flux in M-theory. The flat directions of the flux-induced superpotential are in agreement with the gauge theory prediction for the moduli space of the Higgs branch. We illustrate our findings with explicit examples that realize the Coulomb and Higgs phase transition in Calabi-Yau fourfolds embedded in weighted projective spaces. We generalize and enlarge this class of examples to Calabi-Yau fourfolds embedded in toric varieties with an $A_{N-1}$ singularity in codimension two. △ Less

Submitted 22 February, 2017; v1 submitted 24 February, 2016; originally announced February 2016.

Comments: 33 pages, v2: references added, v3: references added --- version published in CMP

Journal ref: Commun.Math.Phys. 351 (2017) no.2, 837-871

F-theory and the Classification of Little Strings

Authors: Lakshya Bhardwaj, Michele Del Zotto, Jonathan J. Heckman, David R. Morrison, Tom Rudelius, Cumrun Vafa

Abstract: Little string theories (LSTs) are UV complete non-local 6D theories decoupled from gravity in which there is an intrinsic string scale. In this paper we present a systematic approach to the construction of supersymmetric LSTs via the geometric phases of F-theory. Our central result is that all LSTs with more than one tensor multiplet are obtained by a mild extension of 6D superconformal field theo… ▽ More Little string theories (LSTs) are UV complete non-local 6D theories decoupled from gravity in which there is an intrinsic string scale. In this paper we present a systematic approach to the construction of supersymmetric LSTs via the geometric phases of F-theory. Our central result is that all LSTs with more than one tensor multiplet are obtained by a mild extension of 6D superconformal field theories (SCFTs) in which the theory is supplemented by an additional, non-dynamical tensor multiplet, analogous to adding an affine node to an ADE quiver, resulting in a negative semidefinite Dirac pairing. We also show that all 6D SCFTs naturally embed in an LST. Motivated by physical considerations, we show that in geometries where we can verify the presence of two elliptic fibrations, exchanging the roles of these fibrations amounts to T-duality in the 6D theory compactified on a circle. △ Less

Submitted 30 May, 2019; v1 submitted 17 November, 2015; originally announced November 2015.

Comments: 75 pages, 7 figures, v2: typos corrected, v3: LSTs involving two -2 curves intersecting tangentially omitted since their construction had an inadvertent error

Journal ref: Phys. Rev. D 93, 086002 (2016)

On the global symmetries of 6D superconformal field theories

Authors: Marco Bertolini, Peter R. Merkx, David R. Morrison

Abstract: 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… ▽ More 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. △ Less

Submitted 23 July, 2016; v1 submitted 27 October, 2015; originally announced October 2015.

Comments: 47 pages; v2: typos corrected, added the case su(6)* to the analysis of section 5 and section 6.1. v3: references added, minor changes, published version

On Gauge Enhancement and Singular Limits in $G_2$ Compactifications of M-theory

Authors: James Halverson, David R. Morrison

Abstract: 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 stud… ▽ More 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. △ Less

Submitted 21 April, 2016; v1 submitted 21 July, 2015; originally announced July 2015.

Comments: 41 pages plus references and appendices. v2: references added. v3: JHEP version

Report number: NSF-KITP-15-098. UCSB Math 2015-10

Geometry of 6D RG Flows

Authors: Jonathan J. Heckman, David R. Morrison, Tom Rudelius, Cumrun Vafa

Abstract: 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 t… ▽ More 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. △ Less

Submitted 25 August, 2015; v1 submitted 30 April, 2015; originally announced May 2015.

Comments: v2: 34 pages, 5 figures, typos corrected

Special Lagrangian torus fibrations of complete intersection Calabi-Yau manifolds: a geometric conjecture

Authors: David R. Morrison, M. Ronen Plesser

Abstract: 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. 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. △ Less

Submitted 30 April, 2015; originally announced April 2015.

Comments: 23 pagers, 10 figures

Atomic Classification of 6D SCFTs

Authors: Jonathan J. Heckman, David R. Morrison, Tom Rudelius, Cumrun Vafa

Abstract: 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 in… ▽ More 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. △ Less

Submitted 11 July, 2015; v1 submitted 18 February, 2015; originally announced February 2015.

Comments: v3: 123 pages, 23 figures, typos corrected. Included with the submission are the Mathematica notebooks "Bases.nb" and "Fiber_Enhancements.nb"

6D SCFTs and Gravity

Authors: Michele Del Zotto, Jonathan J. Heckman, David R. Morrison, Daniel S. Park

Abstract: 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… ▽ More 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. △ Less

Submitted 19 December, 2014; originally announced December 2014.

Comments: 46 pages, 5 figures

Non-Higgsable clusters for 4D F-theory models

Authors: David R. Morrison, Washington Taylor

Abstract: We analyze non-Higgsable clusters of gauge groups and matter that can arise at the level of geometry in 4D F-theory models. Non-Higgsable clusters seem to be generic features of F-theory compactifications, and give rise naturally to structures that include the nonabelian part of the standard model gauge group and certain specific types of potential dark matter candidates. In particular, there are… ▽ More We analyze non-Higgsable clusters of gauge groups and matter that can arise at the level of geometry in 4D F-theory models. Non-Higgsable clusters seem to be generic features of F-theory compactifications, and give rise naturally to structures that include the nonabelian part of the standard model gauge group and certain specific types of potential dark matter candidates. In particular, there are nine distinct single nonabelian gauge group factors, and only five distinct products of two nonabelian gauge group factors with matter, including $SU(3) \times SU(2)$, that can be realized through 4D non-Higgsable clusters. There are also more complicated configurations involving more than two gauge factors; in particular, the collection of gauge group factors with jointly charged matter can exhibit branchings, loops, and long linear chains. △ Less

Submitted 15 March, 2015; v1 submitted 18 December, 2014; originally announced December 2014.

Comments: 35 pages, 3 figures; v2: references added; v3: constraints on two-factor product groups tightened, minor other corrections; v4: references added, some issues clarified in discussion of potential physical relevance

Report number: UCSB Math 2014-38, MIT-CTP-4582

The Landscape of M-theory Compactifications on Seven-Manifolds with $G_2$ Holonomy

Authors: James Halverson, David R. Morrison

Abstract: 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 math… ▽ More 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. △ Less

Submitted 23 September, 2015; v1 submitted 12 December, 2014; originally announced December 2014.

Comments: v1: 37 pages. v2: references added. v3: more discussion of instanton zero modes. JHEP version v4: references corrected

Report number: NSF-KITP-14-203

K3 surfaces, modular forms, and non-geometric heterotic compactifications

Authors: Andreas Malmendier, David R. Morrison

Abstract: 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… ▽ More 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. △ Less

Submitted 4 June, 2015; v1 submitted 18 June, 2014; originally announced June 2014.

Comments: 32 pages. v3 has minor changes and additional references

Journal ref: Lett. Math. Phys. 105 (2015), no. 8, 1085-1118

Mordell-Weil Torsion and the Global Structure of Gauge Groups in F-theory

Authors: Christoph Mayrhofer, David R. Morrison, Oskar Till, Timo Weigand

Abstract: 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 associa… ▽ More 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. △ Less

Submitted 19 June, 2014; v1 submitted 14 May, 2014; originally announced May 2014.

Comments: 42 pages, 10 figures; v2: references added

Sections, multisections, and U(1) fields in F-theory

Authors: David R. Morrison, Washington Taylor

Abstract: 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 fiel… ▽ More 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. △ Less

Submitted 29 September, 2014; v1 submitted 5 April, 2014; originally announced April 2014.

Comments: 27 pages, 2 figures; v2: references added; v3: Scope of arguments clarified. Cases identified where U(1) to SU(2) enhancement gives superconformal points and/or leads to boundary points at an infinite distance from the interior of moduli space; conclusions modified accordingly. Minor additional corrections, clarifications, references added

Report number: UCSB Math 2014-12, MIT-CTP-4540

Box Graphs and Singular Fibers

Authors: Hirotaka Hayashi, Craig Lawrie, David R. Morrison, Sakura Schafer-Nameki

Abstract: 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 r… ▽ More 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. △ Less

Submitted 28 February, 2014; v1 submitted 11 February, 2014; originally announced February 2014.

Comments: 107 pages, 44 figures, v2: added case of E7 monodromy-reduced fibers

Report number: IFT-UAM/CSIC-14-005, KCL-MTH-14-01, UCSB Math 2014-07

F-theory on Genus-One Fibrations

Authors: Volker Braun, David R. Morrison

Abstract: 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 o… ▽ More 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. △ Less

Submitted 26 March, 2014; v1 submitted 30 January, 2014; originally announced January 2014.

Comments: 53 pages, 9 figures, 6 tables. v2: references added

Solving the Pricing Problem in a Branch-and-Price Algorithm for Graph Coloring using Zero-Suppressed Binary Decision Diagrams

Authors: David R. Morrison, Edward C. Sewell, Sheldon H. Jacobson

Abstract: 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.… ▽ More 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. △ Less

Submitted 8 July, 2015; v1 submitted 22 January, 2014; originally announced January 2014.

On the Classification of 6D SCFTs and Generalized ADE Orbifolds

Authors: Jonathan J. Heckman, David R. Morrison, Cumrun Vafa

Abstract: 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 possibiliti… ▽ More 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. △ Less

Submitted 4 May, 2015; v1 submitted 19 December, 2013; originally announced December 2013.

Comments: v3: 47 pages, 3 figures, clarifications added, typos corrected, references added, and Mathematica file updated

Perturbative Corrections to Kahler Moduli Spaces

Authors: James Halverson, Hans Jockers, Joshua M. Lapan, David R. Morrison

Abstract: 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 Gromo… ▽ More 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. △ Less

Submitted 30 August, 2013; v1 submitted 9 August, 2013; originally announced August 2013.

Comments: 28 pages; v2: discussion in section 5 extended and refs. added

Report number: NSF-KITP-13-144, BONN-TH-2013-12, UCSB Math 2013-17

Journal ref: Commun.Math.Phys. 333 (2015) 1563-1584

New Methods for Characterizing Phases of 2D Supersymmetric Gauge Theories

Authors: James Halverson, Vijay Kumar, David R. Morrison

Abstract: 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… ▽ More 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. △ Less

Submitted 30 March, 2014; v1 submitted 14 May, 2013; originally announced May 2013.

Comments: 25 pages + references, appendices. v2: references added, typos corrected. v3: two small typos corrected

Report number: UCSB Math 2013-05. NSF-KITP-13-076

Two-Sphere Partition Functions and Gromov-Witten Invariants

Authors: Hans Jockers, Vijay Kumar, Joshua M. Lapan, David R. Morrison, Mauricio Romo

Abstract: 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 spac… ▽ More 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. △ Less

Submitted 30 December, 2013; v1 submitted 30 August, 2012; originally announced August 2012.

Comments: 25 pages + 2 appendices; v2 corrects a divisor in Kähler moduli space and includes a new calculation that confirms a geometric prediction; v3 contains minor update of Gromov-Witten invariant extraction procedure

Report number: BONN-TH-2012-21; NSF-KITP-12-150; UCSB Math 2012-33; IPMU 12-0165

F-Theory and the Mordell-Weil Group of Elliptically-Fibered Calabi-Yau Threefolds

Authors: David R. Morrison, Daniel S. Park

Abstract: 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 to… ▽ More 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. △ Less

Submitted 12 November, 2012; v1 submitted 13 August, 2012; originally announced August 2012.

Comments: 29 pages + appendices, 5 figures; v2: minor corrections

Report number: UCSB Math 2012-27; MIT-CTP-4388

Journal ref: JHEP 1210:128,2012

Nonabelian 2D Gauge Theories for Determinantal Calabi-Yau Varieties

Authors: Hans Jockers, Vijay Kumar, Joshua M. Lapan, David R. Morrison, Mauricio Romo

Abstract: 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 d… ▽ More 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. △ Less

Submitted 7 November, 2012; v1 submitted 14 May, 2012; originally announced May 2012.

Comments: v3: 46 pages, 1 figure. Corrected phase structure of general linear determinantal varieties. Typos corrected

Report number: BONN-TH-2012-09; NSF-KITP-12-070; UCSB Math 2012-17

Toric bases for 6D F-theory models

Authors: David R. Morrison, Washington Taylor

Abstract: 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 rang… ▽ More 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. △ Less

Submitted 17 April, 2012; v1 submitted 1 April, 2012; originally announced April 2012.

Comments: 39 pages, 13 figures, one appendix; ancillary data file contains list of 61,539 bases; v2: minor correction

Report number: UCSB Math-2012-14; MIT-CTP-4356

Conifold Transitions in M-theory on Calabi-Yau Fourfolds with Background Fluxes

Authors: Kenneth Intriligator, Hans Jockers, Peter Mayr, David R. Morrison, M. Ronen Plesser

Abstract: 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… ▽ More 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. △ Less

Submitted 30 May, 2012; v1 submitted 29 March, 2012; originally announced March 2012.

Comments: 93 pages; v2: minor changes and references added

Report number: BONN-TH-2012-06, LMU-ASC 20/12, UCSB Math 2012-15, UCSD-PTH-11-16

Journal ref: Adv.Theor.Math.Phys. 17 (2013) 601-699

Classifying bases for 6D F-theory models

Authors: David R. Morrison, Washington Taylor

Abstract: 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 anothe… ▽ More 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. △ Less

Submitted 4 May, 2012; v1 submitted 9 January, 2012; originally announced January 2012.

Comments: 28 pages, 2 figures, 1 appendix. v2: added references, minor changes; v3: two signs corrected

Report number: UCSB Math 2012-01; MIT-CTP-4339

Anomalies and the Euler characteristic of elliptic Calabi-Yau threefolds

Authors: Antonella Grassi, David R. Morrison

Abstract: 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 c… ▽ More 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. △ Less

Submitted 23 January, 2012; v1 submitted 31 August, 2011; originally announced September 2011.

Comments: 63 pages, 15 tables. v2: minor changes

Report number: UCSB Math 2011-08, IPMU 11-0106

Tate's algorithm and F-theory

Authors: Sheldon Katz, David R. Morrison, Sakura Schäfer-Nameki, James Sully

Abstract: 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… ▽ More 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. △ Less

Submitted 20 June, 2011; originally announced June 2011.

Comments: 30 pages

Report number: UCSB Math 2011-09, IPMU11-0107, NSF-KITP-11-110, KCL-MTH-11-13

Matter and singularities

Authors: David R. Morrison, Washington Taylor

Abstract: 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 codimensi… ▽ More 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. △ Less

Submitted 24 June, 2012; v1 submitted 17 June, 2011; originally announced June 2011.

Comments: 55 pages, 7 figures; v2: references added; v3: minor correction

Report number: UCSB Math 2011-10, IPMU11-0108, MIT-CTP-4200