arXiv subjects

David R. Morrison

Publications and source records attributed to David R. Morrison.

At least 55 records · Page 3Linked to original sources

arXiv2014

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.

hep-th↗

arXiv2014

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.

hep-th↗

arXiv2014

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.

hep-th↗

arXiv2014

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.

hep-th↗

arXiv2013

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.

hep-th↗

arXiv2013

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.

hep-th↗

arXiv2012

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.

hep-th↗

arXiv2012

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.

hep-th↗

arXiv2012

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.

hep-th↗

arXiv2012

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.

hep-th↗

arXiv2012

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.

hep-th↗

arXiv2012

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.

hep-th↗

arXiv2012

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.

hep-th↗

arXiv2012

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.

hep-th↗

arXiv2011

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.

hep-th↗

arXiv2011

Characteristics of Optimal Solutions to the Sensor Location Problem

In [Bianco, L., Giuseppe C., and P. Reverberi. 2001. "A network based model for traffic sensor location with implications on O/D matrix estimates". Transportation Science 35(1):50-60.], the authors present the Sensor Location Problem: that of locating the minimum number of traffic sensors at intersections of a road network such that the traffic flow on the entire network can be determined. They offer a necessary and sufficient condition on the set of monitored nodes in order for the flow everywhere to be determined. In this paper, we present a counterexample that demonstrates that the condition is not actually sufficient (though it is still necessary). We present a stronger necessary condition for flow calculability, and show that it is a sufficient condition in a large class of graphs in which a particular subgraph is a tree. Many typical road networks are included in this category, and we show how our condition can be used to inform traffic sensor placement.

math.OC↗

arXiv2010

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.

hep-th↗

arXiv2010

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.

hep-th↗