arXiv subjects

Andreas P. Braun

Publications and source records attributed to Andreas P. Braun.

At least 37 records · Page 2Linked to original sources

arXiv2017

Discrete Symmetries of Calabi-Yau Hypersurfaces in Toric Four-Folds

We analyze freely-acting discrete symmetries of Calabi-Yau three-folds defined as hypersurfaces in ambient toric four-folds. An algorithm which allows the systematic classification of such symmetries which are linearly realised on the toric ambient space is devised. This algorithm is applied to all Calabi-Yau manifolds with $h^{1,1}(X)\leq 3$ obtained by triangulation from the Kreuzer-Skarke list, a list of some $350$ manifolds. All previously known freely-acting symmetries on these manifolds are correctly reproduced and we find five manifolds with freely-acting symmetries. These include a single new example, a manifold with a $\mathbb{Z}_2\times\mathbb{Z}_2$ symmetry where only one of the $\mathbb{Z}_2$ factors was previously known. In addition, a new freely-acting $\mathbb{Z}_2$ symmetry is constructed for a manifold with $h^{1,1}(X)=6$. While our results show that there are more freely-acting symmetries within the Kreuzer-Skarke set than previously known, it appears that such symmetries are relatively rare.

hep-th↗

arXiv2017

Tops as Building Blocks for G2 Manifolds

A large number of examples of compact $G_2$ manifolds, relevant to supersymmetric compactifications of M-Theory to four dimensions, can be constructed by forming a twisted connected sum of two appropriate building blocks times a circle. These building blocks, which are appropriate $K3$-fibred threefolds, are shown to have a natural and elegant construction in terms of tops, which parallels the construction of Calabi-Yau manifolds via reflexive polytopes.

hep-th↗

arXiv2017

Compact, Singular G2-Holonomy Manifolds and M/Heterotic/F-Theory Duality

We study the duality between M-theory on compact holonomy G2-manifolds and the heterotic string on Calabi-Yau three-folds. The duality is studied for K3-fibered G2-manifolds, called twisted connected sums, which lend themselves to an application of fiber-wise M-theory/Heterotic Duality. For a large class of such G2-manifolds we are able to identify the dual heterotic as well as F-theory realizations. First we establish this chain of dualities for smooth G2-manifolds. This has a natural generalization to situations with non-abelian gauge groups, which correspond to singular G2-manifolds, where each of the K3-fibers degenerates. We argue for their existence through the chain of dualities, supported by non-trivial checks of the spectra. The corresponding 4d gauge groups can be both Higgsable and non-Higgsable, and we provide several explicit examples of the general construction.

hep-th↗

arXiv2017

Heterotic Line Bundle Models on Elliptically Fibered Calabi-Yau Three-folds

We analyze heterotic line bundle models on elliptically fibered Calabi-Yau three-folds over weak Fano bases. In order to facilitate Wilson line breaking to the standard model group, we focus on elliptically fibered three-folds with a second section and a freely-acting involution. Specifically, we consider toric weak Fano surfaces as base manifolds and identify six such manifolds with the required properties. The requisite mathematical tools for the construction of line bundle models on these spaces, including the calculation of line bundle cohomology, are developed. A computer scan leads to more than $400$ line bundle models with the right number of families and an $SU(5)$ GUT group which can descend to standard-like models after taking the $\mathbb{Z}_2$ quotient. A common and surprising feature of these models is the presence of a large number of vector-like states.

hep-th↗

arXiv2017

Mirror Symmetry for $G_2$-Manifolds: Twisted Connected Sums and Dual Tops

Recently, at least 50 million of novel examples of compact $G_2$ holonomy manifolds have been constructed as twisted connected sums of asymptotically cylindrical Calabi-Yau threefolds. The purpose of this paper is to study mirror symmetry for compactifications of Type II superstrings in this context. We focus on $G_2$ manifolds obtained from building blocks constructed from dual pairs of tops, which are the closest to toric CY hypersurfaces, and formulate the analogue of the Batyrev mirror map for this class of $G_2$ holonomy manifolds, thus obtaining several millions of novel dual superstring backgrounds. In particular, this leads us to conjecture a plethora of novel exact dualities among the corresponding 2d N=1 sigma models.

hep-th↗

arXiv2016

Heterotic-Type IIA Duality and Degenerations of K3 Surfaces

We study the duality between four-dimensional N=2 compactifications of heterotic and type IIA string theories. Via adiabatic fibration of the duality in six dimensions, type IIA string theory compactified on a K3-fibred Calabi-Yau threefold has a potential heterotic dual compactification. This adiabatic picture fails whenever the K3 fibre degenerates into multiple components over points in the base of the fibration. Guided by monodromy, we identify such degenerate K3 fibres as solitons generalizing the NS5-brane in heterotic string theory. The theory of degenerations of K3 surfaces can then be used to find which solitons can be present on the heterotic side. Similar to small instanton transitions, these solitons escort singular transitions between different Calabi-Yau threefolds. Starting from well-known examples of heterotic--type IIA duality, such transitions can take us to type IIA compactifications with unknown heterotic duals.

hep-th↗

arXiv2015

Box Graphs and Resolutions II: From Coulomb Phases to Fiber Faces

Box graphs, or equivalently Coulomb phases of three-dimensional N=2 supersymmetric gauge theories with matter, give a succinct, comprehensive and elegant characterization of crepant resolutions of singular elliptically fibered varieties. Furthermore, the box graphs predict that the phases are organized in terms of a network of flop transitions. The geometric construction of the resolutions associated to the phases is, however, a difficult problem. Here, we identify a correspondence between box graphs for the gauge algebras su(2k+1) with resolutions obtained using toric tops and generalizations thereof. Moreover, flop transitions between different such resolutions agree with those predicted by the box graphs. Our results thereby provide explicit realizations of the box graph resolutions.

hep-th↗

arXiv2015

De Sitter vacua from a D-term generated racetrack potential in hypersurface Calabi-Yau compactifications

In arXiv:1407.7580 a mechanism to fix the closed string moduli in a de Sitter minimum was proposed: a D-term potential generates a linear relation between the volumes of two rigid divisors which in turn produces at lower energies a race-track potential with de Sitter minima at exponentially large volume. In this paper, we systematically search for implementations of this mechanism among all toric Calabi-Yau hypersurfaces with $h^{1,1}\leq 4$ from the Kreuzer-Skarke list. For these, topological data can be computed explicitly allowing us to find the subset of three-folds which have two rigid toric divisors that do not intersect each other and that are orthogonal to $h^{1,1}-2$ independent four-cycles. These manifolds allow to find D7-brane configurations compatible with the de Sitter uplift mechanism and we find an abundance of consistent choices of D7-brane fluxes inducing D-terms leading to a de Sitter minimum. Finally, we work out a couple of models in detail, checking the global consistency conditions and computing the value of the potential at the minimum.

hep-th↗

arXiv2014

The Vertical, the Horizontal and the Rest: anatomy of the middle cohomology of Calabi-Yau fourfolds and F-theory applications

The four-form field strength in F-theory compactifications on Calabi-Yau fourfolds takes its value in the middle cohomology group $H^4$. The middle cohomology is decomposed into a vertical, a horizontal and a remaining component, all three of which are present in general. We argue that a flux along the remaining or vertical component may break some symmetry, while a purely horizontal flux does not influence the unbroken part of the gauge group or the net chirality of charged matter fields. This makes the decomposition crucial to the counting of flux vacua in the context of F-theory GUTs. We use mirror symmetry to derive a combinatorial formula for the dimensions of these components applicable to any toric Calabi--Yau hypersurface, and also make a partial attempt at providing a geometric characterization of the four-cycles Poincaré dual to the remaining component of $H^4$. It is also found in general elliptic Calabi-Yau fourfolds supporting SU(5) gauge symmetry that a remaining component can be present, for example, in a form crucial to the symmetry breaking ${\rm SU}(5) \longrightarrow {\rm SU}(3)_C \times {\rm SU}(2)_L \times {\rm U}(1)_Y$. The dimension of the horizontal component is used to derive an estimate of the statistical distribution of the number of generations and the rank of 7-brane gauge groups in the landscape of F-theory flux vacua.

hep-th↗

arXiv2014

Distribution of the Number of Generations in Flux Compactifications

Flux compactification of string theory generates an ensemble with a large number of vacua called the landscape. By using the statistics of various properties of low-energy effective theories in the string landscape, one can therefore hope to provide a scientific foundation to the notion of naturalness. This article discusses how to answer such questions of practical interest by using flux compactification of F-theory. It is found that the distribution is approximately in a factorized form given by the distribution of the choice of 7-brane gauge group, that of the number of generations $N_{\rm gen}$ and that of effective coupling constants. The distribution of $N_{\rm gen}$ is approximately Gaussian for the range $|N_{\rm gen}| \lesssim 10$. The statistical cost of higher-rank gauge groups is also discussed.

hep-ph↗

arXiv2014

Box Graphs and Resolutions I

Box graphs succinctly and comprehensively characterize singular fibers of elliptic fibrations in codimension two and three, as well as flop transitions connecting these, in terms of representation theoretic data. We develop a framework that provides a systematic map between a box graph and a crepant algebraic resolution of the singular elliptic fibration, thus allowing an explicit construction of the fibers from a singular Weierstrass or Tate model. The key tool is what we call a fiber face diagram, which shows the relevant information of a (partial) toric triangulation and allows the inclusion of more general algebraic blowups. We shown that each such diagram defines a sequence of weighted algebraic blowups, thus providing a realization of the fiber defined by the box graph in terms of an explicit resolution. We show this correspondence explicitly for the case of SU(5) by providing a map between box graphs and fiber faces, and thereby a sequence of algebraic resolutions of the Tate model, which realizes each of the box graphs.

hep-th↗

arXiv2014

The fate of U(1)'s at strong coupling in F-theory

U(1) gauge symmetries in F-theory are expected to manifest themselves as codimension three singularities of Calabi-Yau fourfolds. However, some of these are known to become massive at strong coupling via the Stückelberg mechanism. In this note, we propose a geometric picture for detecting all U(1)'s, and determining which ones are massive and which ones are massless. We find that massive gauge symmetries show up as codimension three singularities that only admit small, non-Kähler, resolutions. Our proposal passes several highly non-trivial tests, including a case with a non-diagonal mass matrix.

hep-th↗

arXiv2014

Hypercharge flux in F-theory and the stable Sen limit

IIB compactifications enjoy the possibility to break GUT groups via fluxes without giving mass to the hypercharge gauge field. Although this important advantage has greatly motivated F-theory constructions, no such fluxes have been constructed directly in terms of the M-theory $G_4$-form. In this note, we give a general prescription for constructing hypercharge G-fluxes. By using a stable version of Sen's weak coupling limit, we verify their connection with IIB fluxes. We illustrate the lift of fluxes in a number of examples, including a compact ${\rm SU}(5) \times {\rm U}(1)$ model with explicit realization of doublet-triplet splitting. Finally, we prove an equivalence conjectured in an earlier work as a by-product.

hep-th↗

arXiv2014

The Noether-Lefschetz Problem and Gauge-Group-Resolved Landscapes: F-Theory on K3 x K3 as a Test Case

Four-form flux in F-theory compactifications not only stabilizes moduli, but gives rise to ensembles of string vacua, providing a scientific basis for a stringy notion of naturalness. Of particular interest in this context is the ability to keep track of algebraic information (such as the gauge group) associated with individual vacua while dealing with statistics. In the present work, we aim to clarify conceptual issues and sharpen methods for this purpose, using compactification on ${\rm K3} \times {\rm K3}$ as a test case. Our first approach exploits the connection between the stabilization of complex structure moduli and the Noether-Lefschetz problem. Compactification data for F-theory, however, involve not only a four-fold (with a given complex structure) $Y_4$ and a flux on it, but also an elliptic fibration morphism $Y_4 \longrightarrow B_3$, which makes this problem complicated. The heterotic-F-theory duality indicates that elliptic fibration morphisms should be identified modulo isomorphism. Based on this principle, we explain how to count F-theory vacua on ${\rm K3} \times {\rm K3}$ while keeping the gauge group information. Mathematical results reviewed/developed in our companion paper are exploited heavily. With applications to more general four-folds in mind, we also clarify how to use Ashok-Denef-Douglas' theory of the distribution of flux vacua in order to deal with statistics of sub-ensembles tagged by a given set of algebraic/topological information. As a side remark, we extend the heterotic/F-theory duality dictionary on flux quanta and elaborate on its connection to the semistable degeneration of a K3 surface.

hep-th↗

arXiv2013

On the Classification of Elliptic Fibrations modulo Isomorphism on K3 Surfaces with large Picard Number

Motivated by a problem originating in string theory, we study elliptic fibrations on K3 surfaces with large Picard number modulo isomorphism. We give methods to determine upper bounds for the number of inequivalent K3 surfaces sharing the same frame lattice. For any given Neron--Severi lattice $S_X$, such a bound on the `multiplicity' can be derived by investigating the quotient of the isometry group of $S_X$ by the automorphism group. The resulting bounds are strongest for large Picard numbers and multiplicities of unity do indeed occur for a number of K3 surfaces with Picard number 20. Under a few extra conditions, a more refined analysis is also possible by explicitly studying the embedding of $S_X$ into the even unimodular lattice ${\rm II}_{1,25}$ and exploiting the detailed structure of the isometry groups of $S_X$ and ${\rm II}_{1,25}$. We illustrate these methods in examples and derive bounds for the number of elliptic fibrations on Kummer surfaces of Picard numbers 17 and 20. As an intermediate step, we also discuss coarser classification schemes and review known results.

math.AG↗

arXiv2013

U-folds as K3 fibrations

We study N=2 four-dimensional flux vacua describing intrinsic non-perturbative systems of 3 and 7 branes in type IIB string theory. The solutions are described as compactifications of a G(ravity) theory on a Calabi Yau threefold which consists of a fibration of an auxiliary K3 surface over an S^2 base. In the spirit of F-theory, the complex structure of the K3 surface varying over the base codifies the details of the fluxes, the dilaton and the warp factors in type IIB string theory. We discuss in detail some simple examples of geometric and non-geometric solutions where the precise flux/geometry dictionary can be explicitly worked out. In particular, we describe non-geometric T-fold solutions exhibiting non-trivial T-duality monodromies exchanging 3- and 7-branes.

hep-th↗

arXiv2013

On Singular Fibres in F-Theory

In this paper, we propose a connection between the field theory local model (Katz-Vafa field theory) and the type of singular fibre in flat crepant resolutions of elliptic Calabi-Yau fourfolds, a class of fourfolds considered by Esole and Yau. We review the analysis of degenerate fibres for models with gauge groups SU(5) and SO(10) in detail, and observe that the naively expected fibre type is realized if and only if the Higgs vev in the field theory local model is unramified. To test this idea, we implement a linear (unramified) Higgs vev for the `E6' Yukawa point in a model with gauge group SU(5) and verify that this indeed leads to a fibre of Kodaira type IV*. Based on this observation, we argue i) that the singular fibre types appearing in the fourfolds studied by Esole-Yau are not puzzling at all, (so that this class of fourfolds does not have to be excluded from the candidate of input data of some yet-unknown formulation of F-theory) and ii) that such fourfold geometries also contain more information than just the eigenvalues of the Higgs field vev configuration in the field theory local models.

hep-th↗

arXiv2012

PALP - a User Manual

This article provides a complete user's guide to version 2.1 of the toric geometry package PALP by Maximilian Kreuzer and others. In particular, previously undocumented applications such as the program nef.x are discussed in detail. New features of PALP 2.1 include an extension of the program mori.x which can now compute Mori cones and intersection rings of arbitrary dimension and can also take specific triangulations of reflexive polytopes as input. Furthermore, the program nef.x is enhanced by an option that allows the user to enter reflexive Gorenstein cones as input. The present documentation is complemented by a Wiki which is available online.

math.AG↗