We construct heterotic vacua based on six-dimensional nearly-Kahler homogeneous manifolds and non-trivial vector bundles thereon. Our examples are based on three specific group coset spaces. It is shown how to construct line bundles over these spaces, compute their properties and build up vector bundles consistent with supersymmetry and anomaly cancelation. It turns out that the most interesting coset is $SU(3)/U(1)^2$. This space supports a large number of vector bundles which lead to consistent heterotic vacua, some of them with three chiral families.
Aiming at improving our knowledge of the low-energy limit of heterotic orbifold compactifications, we determine at lowest order the Kahler potential of matter fields in the case where more than three bulk Kahler moduli appear. Interestingly, bulk matter fields couple to more than one Kahler modulus, a subtle difference with models with only three Kahler moduli that may provide a tool to address the question of moduli stabilization in these models.
We study Heterotic supergravity on Hyper-Kahler manifolds in the presence of non-trivial warping and three form flux with Abelian bundles in the large charge limit. We find exact, regular solutions for multi-centered Gibbons-Hawking spaces and Atiyah-Hitchin manifolds. In the case of Atiyah-Hitchin, regularity requires that the circle at infinity is of the same order as the instanton number, which is taken to be large. Alternatively there may be a non-trivial density of smeared five branes at the bolt.
New heterotic torsional geometries are constructed as orbifolds of T^2 bundles over K3. The discrete symmetries considered can be freely-acting or have fixed points and/or fixed curves. We give explicit constructions when the base K3 is Kummer or algebraic. The orbifold geometries can preserve N=1,2 supersymmetry in four dimensions or be non-supersymmetric.
We examine the vacua of the scalar potential of the effective 4-d action, obtained after the dimensional reduction of the 10-d $\mathcal{N}=1$ heterotic supergravity coupled to an $\mathcal{N}=1$ Yang-Mills sector. The (Coset Space) dimensional reduction takes place over the three 6-d nearly-Kähler manifolds, namely the homogeneous 6-d non-symmetric coset spaces, $G_2/SU(3)$, $Sp_4/SU(2)\times U(1)$ and $SU(3)/U(1)\times U(1)$. The current work consists a complete catalogue of the kinds of vacua of theories obtained after the reduction of the heterotic string over the 6-d non-symmetric coset s…
We study heterotic string compactifications on nearly Kähler homogeneous spaces, including the gauge field effects which arise at order α'. Using Abelian gauge fields, we are able to solve the Bianchi identity and supersymmetry conditions to this order. The four-dimensional external space-time consists of a domain wall solution with moduli fields varying along the transverse direction. We find that the inclusion of α' corrections improves the moduli stabilization features of this solution. In this case, one of the dilaton and the volume modulus asymptotes to a constant value away from the doma…
We propose an analytic method to calculate the matter field Kähler metric in heterotic compactifications on smooth Calabi-Yau three-folds with Abelian internal gauge fields. The matter field Kähler metric determines the normalisations of the ${\cal N}=1$ chiral superfields, which enter the computation of the physical Yukawa couplings. We first derive the general formula for this Kähler metric by a dimensional reduction of the relevant supergravity theory and find that its T-moduli dependence can be determined in general. It turns out that, due to large internal gauge flux, the remaining integr…
Our aim is to derive the effective action in four dimensions resulting by reducing dimensionally the ten-dimensional ${\cal N}=1$ heterotic supergravity coupled to ${\cal N}=1$ super Yang-Mills over manifolds admitting a nearly-Kähler structure. Given the fact that all six-dimensional nearly-Kähler manifolds are included in the class of the corresponding non-symmetric coset spaces plus a group manifold, our procedure amounts in applying the Coset Space Dimensional Reduction scheme using these coset spaces as internal manifolds. In our examination firstly the rules of the reduction of the theor…
We study a supersymmetry-preserving solution-generating method in heterotic supergravity. In particular, we use this method to construct one-parameter non-Kahler deformations of Calabi-Yau manifolds with a U(1) isometry, in which the complex structure remains invariant. We explain how to obtain corresponding solutions to heterotic string theory, up to first order in α', by a modified form of the standard embedding. In the course of the paper we also show that Abelian heterotic supergravity embeds into type II supergravity, and note that the solution-generating method in this context is related…
In heterotic string theories consistency requires the introduction of a non-trivial vector bundle. This bundle breaks the original ten-dimensional gauge groups $\text{E}_8\times\text{E}_8$ or $\text{SO}(32)$ for the supersymmetric heterotic string theories and $\text{SO}(16) \times \text{SO}(16)$ for the non-supersymmetric tachyon-free theory to smaller subgroups. A vast number of MSSM-like models have been constructed up to now, most of which describe the vector bundle as a sum of line bundles. However, there are several different ways of describing these line bundles and their embedding in t…
We compute the six-dimensional effective action of the heterotic string compactified on K3 for the standard embedding and for a class of backgrounds with line bundles and appropriate Yang-Mills fluxes. We compute the couplings of the charged scalars and the bundle moduli as functions of the geometrical K3 moduli from a Kaluza-Klein analysis. We derive the D-term potential and show that in the flux backgrounds U(1) vector multiplets become massive by a Stuckelberg mechanism.
We study the vacua of $4d$ heterotic toroidal orbifolds using effective theories consisting of an overall Kähler modulus, the dilaton, and non-perturbative corrections to both the superpotential and Kähler potential that respect modular invariance. We prove three de Sitter no-go theorems for several classes of vacua and thereby substantiate and extend previous conjectures. Additionally, we provide evidence that extrema of the scalar potential can occur inside the PSL$(2,\mathbb{Z})$ fundamental domain of the Kähler modulus, in contradiction of a separate conjecture. We also illustrate a loopho…
The effective field theory of heterotic vacua that realise $\mathbb{R}^{3,1}$ preserving $\mathcal{N} =1$ supersymmetry are studied. The vacua in question admit large radius limits taking the form $\mathbb{R}^{3,1}\times {X}$ , with ${X}$ a smooth three-fold with vanishing first Chern class and a stable holomorphic gauge bundle $\mathcal{E}$. In a previous paper we calculated the kinetic terms for moduli, deducing the moduli metric and Kahler potential. In this paper, we compute the remaining couplings in the effective field theory, correct to first order in alpha prime. In particular, we comp…
We study F-theory duals of heterotic line bundle models on elliptically fibered Calabi-Yau threefolds. These models necessarily contain NS5-branes which are geometrised in the dual F-theory compactifications. We initiate a systematic study of the correspondence between various configurations of NS5-branes and the dual geometries in F-theory and perform several checks of the duality. Furthermore, we discuss the singular transitions between different configurations of NS5-branes.
We show that a class of torsional compactifications of the heterotic string are dual to conventional Kahler heterotic string compactifications. This observation follows from the recently proposed analogue of the c-map for the heterotic string.
By studying phase transitions in supersymmetric gauge theories with Green-Schwarz anomaly cancellation, a natural relation is found between sigma models on certain non-Kahler manifolds with intrinsic torsion and asymmetric Landau-Ginzburg orbifolds. In these orbifold limits, a quantum anomaly of the orbifold action is cancelled by discrete phases in the partition function. These intrinsic torsion phases are derived by blowing down cycles supporting non-trivial H-flux in the linear model. This correspondence extends the CY-LG correspondence to special non-Kahler manifolds and provides computati…
We undertake a systematic scan of vector bundles over spaces from the largest database of known Calabi-Yau three-folds, in the context of heterotic string compactification. Specifically, we construct positive rank five monad bundles over Calabi-Yau hypersurfaces in toric varieties, with the number of Kahler moduli equal to one, two, and three and extract physically interesting models. We select models which can lead to three families of matter after dividing by a freely-acting discrete symmetry and including Wilson lines. About 2000 such models on two manifolds are found.
We study the sub-structure of the heterotic Kahler moduli space due to the presence of non-Abelian internal gauge fields from the perspective of the four-dimensional effective theory. Internal gauge fields can be supersymmetric in some regions of the Kahler moduli space but break supersymmetry in others. In the context of the four-dimensional theory, we investigate what happens when the Kahler moduli are changed from the supersymmetric to the non-supersymmetric region. Our results provide a low-energy description of supersymmetry breaking by internal gauge fields as well as a physical picture …
We systematically approach the construction of heterotic E_8 X E_8 Calabi-Yau models, based on compact Calabi-Yau three-folds arising from toric geometry and vector bundles on these manifolds. We focus on a simple class of 101 such three-folds with smooth ambient spaces, on which we perform an exhaustive scan and find all positive monad bundles with SU(N), N=3,4,5 structure groups, subject to the heterotic anomaly cancellation constraint. We find that anomaly-free positive monads exist on only 11 of these toric three-folds with a total number of bundles of about 2000. Only 21 of these models, …
A numerical algorithm is presented for explicitly computing the gauge connection on slope-stable holomorphic vector bundles on Calabi-Yau manifolds. To illustrate this algorithm, we calculate the connections on stable monad bundles defined on the K3 twofold and Quintic threefold. An error measure is introduced to determine how closely our algorithmic connection approximates a solution to the Hermitian Yang-Mills equations. We then extend our results by investigating the behavior of non slope-stable bundles. In a variety of examples, it is shown that the failure of these bundles to satisfy the …
The systematic program of heterotic line bundle model building has resulted in a wealth of standard-like models (SLM) for particle physics. In this paper, we continue this work in the setting of generalised Complete Intersection Calabi Yau (gCICY) manifolds. Using the gCICYs constructed in Ref. [1], we identify two geometries that, when combined with line bundle sums, are directly suitable for heterotic GUT models. We then show that these gCICYs admit freely acting $\mathbb{Z}_2$ symmetry groups, and are thus amenable to Wilson line breaking of the GUT gauge group to that of the standard model…
Within the context of the weakly coupled E8 x E8 heterotic string, we study the hidden sector of heterotic standard model compactifications to four-dimensions. Specifically, we present a class of hidden sector vector bundles - composed of the direct sum of line bundles only - that, together with an effective bulk five-brane, renders the heterotic standard model entirely N=1 supersymmetric. Two explicit hidden sectors are constructed and analyzed in this context; one with the gauge group E7 x U(1) arising from a single line bundle and a second with an SO(12) x U(1) x U(1) gauge group constructe…
Within the class of heterotic line bundle models, we argue that N=1 vacua which lead to a small number of low-energy chiral families are preferred. By imposing an upper limit on the volume of the internal manifold, as required in order to obtain finite values of the four-dimensional gauge couplings, and validity of the supergravity approximation we show that, for a given manifold, only a finite number of line bundle sums are consistent with supersymmetry. By explicitly scanning over this finite set of line bundle models on certain manifolds we show that, for a sufficiently small volume of the …
In arXiv:1008.1018 it is shown that a given stable vector bundle $V$ on a Calabi-Yau threefold $X$ which satisfies $c_2(X)=c_2(V)$ can be deformed to a solution of the Strominger system and the equations of motion of heterotic string theory. In this note we extend this result to the polystable case and construct explicit examples of polystable bundles on elliptically fibered Calabi-Yau threefolds where it applies. The polystable bundle is given by a spectral cover bundle, for the visible sector, and a suitably chosen bundle, for the hidden sector. This provides a new class of heterotic flux co…
We consider heterotic string theory on Eguchi-Hanson space, as a local model of a resolved A_1 singularity in a six-dimensional flux compactification, with an Abelian gauge bundle turned on and non-zero torsion. We show that in a suitable double scaling limit, that isolates the physics near the non-vanishing two-cycle, a worldsheet conformal field theory description can be found. It contains a heterotic coset whose target space is conformal to Eguchi-Hanson. Starting from the blow-down limit of the singularity, it can be viewed as a dynamical deformation of the near-horizon fivebrane backgroun…
We study the possibility of obtaining metastable de Sitter vacua of heterotic string theory compactified on a Calabi-Yau threefold which are classical and simple in the Kähler moduli sector of the theory. For this, we exploit a known necessary condition on the Kähler potential in N=1-supergravity, which we, under the assumption that only moduli fields contribute to supersymmetry breaking, express in terms of a tensorial eigenvalue problem for the Calabi-Yau triple intersection tensor. For three-dimensional moduli spaces we are able to identify the discriminant of the Calabi-Yau intersection te…
The superpotential in four-dimensional heterotic effective theories contains terms arising from holomorphic Chern-Simons invariants associated to the gauge and tangent bundles of the compactification geometry. These effects are crucial for a number of key features of the theory, including vacuum stability and moduli stabilization. Despite their importance, few tools exist in the literature to compute such effects in a given heterotic vacuum. In this work we present new techniques to explicitly determine holomorphic Chern-Simons invariants in heterotic string compactifications. The key technica…
Heterotic string compactifications on a $K3$ surface $\mathfrak{S}$ depend on a choice of hyperkähler metric, anti-self-dual gauge connection and Kalb-Ramond flux, parametrized by hypermultiplet scalars. The metric on hypermultiplet moduli space is in principle computable within the $(0,2)$ superconformal field theory on the heterotic string worldsheet, although little is known about it in practice. Using duality with type II strings compactified on a Calabi-Yau threefold, we predict the form of the quaternion-Kähler metric on hypermultiplet moduli space when $\mathfrak{S}$ is elliptically fib…
We revisit AdS_4 heterotic compactifications on nearly Kähler manifolds in the presence of H-flux and certain fermion condensates. Unlike previous studies, we do not assume the vanishing of the supersymmetry variations. Instead we determine the full equations of motion originating from the ten-dimensional action, and subsequently we provide explicit solutions to them on nearly Kähler manifolds at first order in alpha'. The Bianchi identity is also taken into account in order to guarantee the absence of all anomalies. In the presence of H-flux, which is identified with the torsion of the intern…
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 mo…
A major problem in discussing heterotic string models is the stabilisation of the many vector bundle moduli via the superpotential generated by world-sheet instantons. In arXiv:1110.6315 we have discussed the method to make a discrete twist in a large and much discussed class of vector bundles such that the generation number gets new contributions (which can be tuned suitably) and at the same time the space of bundle moduli of the new, twisted bundle is a proper subspace (where the 'new', non-generic twist class exists) of the original bundle moduli space; one thus gets a model, closely relate…
Geometric transitions between Calabi-Yau manifolds have proven to be a powerful tool in exploring the intricate and interconnected vacuum structure of string compactifications. However, their role in N=1, 4-dimensional string compactifications remains relatively unexplored. In this work we present a novel proposal for transitioning the background geometry (including NS5-branes and holomorphic, slope-stable vector bundles) of 4-dimensional, N=1 heterotic string compactifications through a conifold transition connecting Calabi-Yau threefolds. Our proposal is geometric in nature but informed by t…
Supersymmetric heterotic string models, built from a stable holomorphic vector bundle $V$ on a Calabi-Yau threefold $X$, usually come with many vector bundle moduli whose stabilisation is a difficult and complex task. It is therefore of interest to look for bundle constructions which, from the outset, have as few as possible bundle moduli. One way to reach such a set-up is to start from a generic construction and to make discrete modifications of it which are available only over a subset of the bundle moduli space. Turning on such discrete 'twists' constrains the moduli to the corresponding su…
