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 fibered, in the limit of a large fiber and even larger base. The result is in general agreement with expectations from Kaluza-Klein reduction, in particular the metric has a two-stage fibration structure, where the $B$-field moduli are fibered over bundle and metric moduli, while bundle moduli are themselves fibered over metric moduli. A more precise match must await a detailed analysis of $R^2$-corrected ten-dimensional supergravity.
We study the moduli spaces of heterotic/type II dual pairs in four dimensions with N=2 supersymmetry corresponding to non-geometric Calabi-Yau backgrounds on the type II side and to T-fold compactifications on the heterotic side. The vector multiplets moduli space receives perturbative corrections in the heterotic description only, and non-perturbative correction in both descriptions. We derive explicitely the perturbative corrections to the heterotic four-dimensional prepotential, using the knowledge of its singularity structure and of the heterotic perturbative duality group. We also derive …
We explore a relation between four-dimensional N=2 heterotic vacua induced by Mirror Symmetry via Heterotic/Type II duality. It allows us to compute the α' corrections to the hypermultiplet moduli space of heterotic compactifications on K3xT^2 in the limit of large base of the elliptic K3. We concentrate on the case of point-like instantons on orbifold singularities leading to low-dimensional hypermultiplet moduli spaces.
Since T-duality has been proved only perturbatively and most of the heterotic states map into solitonic, non-perturbative, type II states, the 6-dimensional string-string duality between the heterotic string and the type II string is not sufficient to prove the S-duality of the former, in terms of the known T-duality of the latter. We nevertheless show in detail that perturbative T-duality, together with the heterotic-type II duality, does imply the existence of heterotic H-monopoles, with the correct multiplicity and multiplet structure. This construction is valid at a generic point in the mo…
We explore the moduli space of heterotic strings in two dimensions. In doing so, we introduce new lines of compactified theories with Spin(24) gauge symmetry and discuss compactifications with Wilson lines. The phase structure of d=2 heterotic string theory is examined by classifying the hypersurfaces in moduli space which support massless quanta or discrete states. Finally, we compute the torus amplitude over much of the moduli space.
We consider target space duality transformations for heterotic sigma models and strings away from renormalization group fixed points. By imposing certain consistency requirements between the T-duality symmetry and renormalization group flows, the one loop gauge beta function is uniquely determined, without any diagram calculations. Classical T-duality symmetry is a valid quantum symmetry of the heterotic sigma model, severely constraining its renormalization flows at this one loop order. The issue of heterotic anomalies and their cancelation is addressed from this duality constraining viewpoin…
We analyse the vector bundle moduli arising from generic heterotic compactifications from the point of view of quiver representations. Phenomena such as stability walls, crossing between chambers of supersymmetry, splitting of non-Abelian bundles and dynamic generation of D-terms are succinctly encoded into finite quivers. By studying the Poincaré polynomial of the quiver moduli space using the Reineke formula, we can learn about such useful concepts as Donaldson-Thomas invariants, instanton transitions and supersymmetry breaking.
We re-examine the question of heterotic - heterotic string duality in six dimensions and argue that the $E_8\times E_8$ heterotic string, compactified on $K3$ with equal instanton numbers in the two $E_8$'s, has a self-duality that inverts the coupling, dualizes the antisymmetric tensor, acts non-trivially on the hypermultiplets, and exchanges gauge fields that can be seen in perturbation theory with gauge fields of a non-perturbative origin. The special role of the symmetric embedding of the anomaly in the two $E_8$'s can be seen from field theory considerations or from an eleven-dimensional …
The thermofield dynamics of the D = 10 heterotic thermal string theory is described in proper reference to the thermal duality symmetry as well as the thermal stability of modular invariance in association with the global phase structure of the D = 10 heterotic thermal string ensemble.
We consider heterotic target space dual (0,2) GLSMs on elliptically fibered Calabi-Yau manifolds. In this context, each half of the "dual" heterotic theories must in turn have an F-theory dual. Moreover, the apparent relationship between two heterotic compactifications seen in (0,2) heterotic target space dual pairs should, in principle, induce some putative correspondence between the dual F-theory geometries. It has previously been conjectured in the literature that (0,2) target space duality might manifest in F-theory as multiple K3-fibrations of the same elliptically fibered Calabi-Yau mani…
In this paper we study the heterotic type IIA duality when fluxes are turned on. We show that many of the known fluxes are dual to each other and claim that certain fluxes on the heterotic side require that the type IIA picture is lifted to M or even F-theory compactifications with geometric fluxes.
We present the first example of a Kahler potential for heterotic M-theory which includes gauge bundle moduli. These moduli describe the background gauge field configurations living on the orbifold fixed planes. We concentrate on the bundle moduli describing the size and SU(2) orientation of a gauge five brane - a soliton which is primarily composed of these gauge fields. Our results are valid when the width of this object is small compared to the overall size of the Calabi-Yau threefold. We find that, in general, it is not consistent to truncate away these moduli in a simple manner.
We discuss the structure of heterotic/type II duality in four dimensions as a consequence of string-string duality in six dimensions. We emphasize the new features in four dimensions which go beyond the six dimensional vacuum structure and pertain to the way particular K3 fibers can be embedded in Calabi-Yau threefolds. Our focus is on hypersurfaces as well as complete intersections of codimension two which arise via conifold transitions.
It is argued that $M$-theory compactified on {\it any} of Joyce's $Spin(7)$ holonomy 8-manifolds are dual to compactifications of heterotic string theory on Joyce 7-manifolds of $G_2$ holonomy.
Target space duality (T duality), which interchanges Kaluza--Klein and winding-mode excitations of the compactified heterotic string, is realized as a symmetry of a world-sheet action. Axion-dilaton duality (S duality), a conjectured nonperturbative SL(2,Z) symmetry of the same theory, plays an analogous role for five-branes. We describe a soliton spectrum possessing both duality symmetries and argue that the theory has an infinite number of dual string descriptions.
We study supersymmetric compactification to four dimensions with non-zero H-flux in heterotic string theory. The background metric is generically conformally balanced and can be conformally Kahler if the primitive part of the H-flux vanishes. Analyzing the linearized variational equations, we write down necessary conditions for the existence of moduli associated with the metric. In a heterotic model that is dual to a IIB compactification on an orientifold, we find the metric moduli in a fixed H-flux background via duality and check that they satisfy the required conditions. We also discuss exp…
We review the structure $D=6, N=1$ string vacua with emphasis on the different connections due to T-dualities and S-dualities. The topics discussed include: Anomaly cancellation; K3 and orbifold $D=6, N=1$ heterotic compactifications; T-dualities between $E_8\times E_8$ and $Spin(32)/Z_2$ heterotic vacua; non-perturbative heterotic vacua and small instantons; N=2 Type-II/Heterotic duality in D=4 ; F-theory/heterotic duality in D=6; and heterotic/heterotic duality in six and four dimensions.
We study the two-loop F^6 interactions in SO(32) heterotic superstring theory in D=10. By using the generalized Riemann identity we are able to determine the single-trace part of the effective action up to a few constants which are related to certain scattering amplitudes. This two-loop heterotic result is related by duality to Type I interactions at the tree level. However, it turns out to be completely different from any sort of non-Abelian generalization of Born-Infeld theory. We offer an explanation of this discrepancy.
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 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…
We review quantitative tests on the duality between the heterotic string on T^2 and F-theory on K3. On the heterotic side, certain threshold corrections to the effective action can be exactly computed at one-loop order, and the issue is to reproduce these from geometric quantities pertaining to the K3 surface. In doing so we learn about certain non-perturbative interactions of 7-branes.
In this paper we study a possible non-perturbative dual of the heterotic string compactified on K3 x T^2 in the presence of background fluxes. We show that type IIA string theory compactified on manifolds with SU(3) structure can account for a subset of the possible heterotic fluxes. This extends our previous analysis to a case of a non-perturbative duality with fluxes.
Explicit relations among moduli of the Heterotic and Type IIB string theories in 8 dimensions are obtained. We identify the BPS states responsible for gauge enhancements in the type IIB theory and their dual partners in the Heterotic theory compactified with and without Wilson lines. The masses of BPS states in Type IIB string theory compactified on the base space of a elliptically fibred K3 are computed explicitly for the special cases in which the complex structure of the fibre is constant, ie, for constant scalar fields backgrounds.
We present a Kahler potential for four dimensional heterotic M-theory which includes moduli describing a gauge five brane living on one of the orbifold fixed planes. This result can also be thought of as describing compactifications of either of the weakly coupled heterotic strings in the presence of a gauge five brane. This is the first example of a Kahler potential in these theories which includes moduli describing background gauge field configurations. Our results are valid when the solitons width is much smaller than the size scale of the Calabi-Yau threefold and can be used to provide a m…
We study the duality between M-theory compactified on Calabi-Yau fourfolds and the heterotic string compactified on Calabi-Yau threefolds times a circle. Our analysis is based on a comparison of the low energy effective actions in three dimensions.
In this paper, we present a formalism for computing the non-vanishing Higgs mu-terms in a heterotic standard model. This is accomplished by calculating the cubic product of the cohomology groups associated with the vector bundle moduli (phi), Higgs (H) and Higgs conjugate (Hbar) superfields. This leads to terms proportional to phi H Hbar in the low energy superpotential which, for non-zero moduli expectation values, generate moduli dependent mu-terms of the form <phi> H Hbar. It is found that these interactions are subject to two very restrictive selection rules, each arising from a Leray spec…
New heterotic modular invariants are found using the level-rank duality of affine Kac-Moody algebras. They provide strong evidence for the consistency of an infinite list of heterotic Wess-Zumino-Witten (WZW) conformal field theories. We call the basic construction the dual-flip, since it flips chirality (exchanges left and right movers) and takes the level-rank dual. We compare the dual-flip to the method of conformal subalgebras, another way of constructing heterotic invariants. To do so, new level-one heterotic invariants are first found; the complete list of a specified subclass of these i…
Complex structure moduli of a Calabi-Yau threefold in $N=1$ supersymmetric heterotic compactifications can be stabilized by holomorphic vector bundles. The stabilized moduli are determined by a computation of Atiyah class. In this paper, we study how this mechanism work in the context of elliptically fibered Calabi-Yau manifolds where complex structure moduli space contains two kinds of moduli, ones from base and ones from fibration. With spectral cover bundles, we find three types of situations when holomorphicity of bundles is determined by algebraic cycles supported on special choice of com…
A study is made of the implications of heterotic string $T$-duality and extended gauge symmetry for the conjectured equivalence of heterotic and Type I superstrings. While at first sight heterotic string world-sheet dynamics appears to conflict with Type I perturbation theory, a closer look shows that Type I perturbation theory ``miraculously'' breaks down, in some cases via novel mechanisms, whenever the heterotic string has massless particles not present in Type I perturbation theory. This strongly suggests that the two theories actually are equivalent. As further evidence in the same direct…
We study heterotic vacua with four supercharges in three and four space-time dimensions and their duals obtained as M/F-theory compactified on Calabi-Yau fourfolds. We focus on their respective moduli spaces and derive the Kahler potential for heterotic vacua obtained as circle compactifications of four-dimensional N=1 heterotic theories. The Kahler potential of the dual theory is computed by compactifying 11-dimensional supergravity on Calabi-Yau fourfolds. The duality between these theories is checked for K3-fibred fourfolds and an appropriate F-theory limit is discussed.
In this brief note we analyse a toy model which can be derived from heterotic string compactifications on half-flat manifolds with SU(3) structure at first order in α' (ie including matter fields). We show that for this model, finding solutions with viable gauge group poses the same problems as finding solutions in the absence of matter fields.
Type I - heterotic duality in D=10 predicts various relations and constraints on higher order F^n couplings at different string loop levels on both sides. We prove the vanishing of two-loop corrections to the heterotic F^4 terms, which is one of the basic predictions from this duality. Furthermore, we show that the heterotic F^5 and (CP even) F^6 couplings are not renormalized at one loop. These results strengthen the conjecture that in D=10 any Tr F^(2n) coupling appears only at the disc tree-level on type I side and at (n-1)-loop level on the heterotic side. Our non-renormalization theorems …
We construct the heterotic dual theory in four dimensions of eleven dimensional supergravity compactified on a particular Joyce manifold, $J$. In particular, $J$ is constructed from resolving fixed point singularities of orbifolds of the seven torus in such a way that one is forced to consider a generalised orbifold on the heterotic side. We conjecture that a heterotic dual exists for all the compact 7-manifolds of $G_{2}$ holonomy constructed by Joyce.
We discuss the possibility of the extension of the duality between the webs of heterotic string and the type IIA string to Calabi-Yau 3-folds with another K3 fiber by comparing the dual polyhedron of Calabi-Yau 3-folds given by Candelas, Perevalov and Rajesh.
We discuss heterotic corrections to quartic internal U(1) gauge couplings and check duality by calculating one-loop open string diagrams and identifying the D-instanton sum in the dual type I picture. We also compute SO(8)^4 threshold corrections and finally R^2 corrections in type I theory.
Anomalous U(1) gauge symmetries can appear both in heterotic and type I string theories. In the heterotic case we find a single anomalous U(1), while in open string theories several such symmetries can appear. Nonetheless, there is a conjectured duality symmetry that might connect these two theories. We review the properties of anomalous gauge symmetries in various string theories as well as the status of this heterotic-type I/II duality. We also comment on the possible phenomenological applications of anomalous gauge symmetries in string theory.
We give a simple proof of the known S-duality of Heterotic String theory compactified on a T^6. Using this S-duality we calculate the tensions for a class of BPS 5-branes in Heterotic String theory on a circle. One of these, the Kaluza-Klein monopole, becomes tensionless when the radius of the circle is equal to the string length. We study the question of stability of the Heterotic NS5-brane with a transverse circle. For large radii the NS5-brane is absolutely stable. However for small radii it is only marginally stable. We also study the moduli space of 2 Kaluza-Klein monopoles and show that …
We review aspects of N=1 duality between the heterotic string and F-theory. After a description of string duality intended for the non-specialist the framework and the constraints for heterotic/F-theory compactifications are presented. The computations of the necessary Calabi-Yau manifold and vector bundle data, involving characteristic classes and bundle moduli, are given in detail. The matching of the spectrum of chiral multiplets and of the number of heterotic five-branes respectively F-theory three-branes, needed for anomaly cancellation in four-dimensional vacua, is pointed out. Several e…
T-duality is a symmetry of the heterotic string to all orders in string perturbation theory. This results in an effective four dimensional supergravity theory with desirable features for phenomenology. T-duality, as well as, generically, an anomalous U(1), is broken by quantum anomalies of the effective field theory. The structure of the full anomaly is presented, and the mechanisms for anomaly cancellation are described.
In a recent paper, we derived the leading alpha' corrections to the Kahler potentials for moduli in (0,2) heterotic compactifications. In the same spirit as the LARGE volume stabilization scenario for type IIB orientifolds, we examine whether these quantum corrections, together with a combination of tree-level and non-perturbative superpotentials, are sufficient to stabilize the overall volume modulus at large values. This is not a priori obvious, since the corrections we found are of a lower order than those used in the type IIB setting. Nevertheless, we find that stabilizing the volume at (e…
To understand in detail the contribution of a world-sheet instanton to the superpotential in a heterotic string compactification, one has to understand the moduli dependence (bundle and complex structure moduli) of the one-loop determinants from the fluctuations, which accompany the classical exponential contribution (involving Kähler moduli) when evaluating the world-volume partition function. Here we use techniques to describe geometrically these Pfaffians for spectral bundles over rational base curves in elliptically fibered Calabi-Yau threefolds, and provide a (partially exhaustive) list o…
We elaborate on the recently discovered spinor-vector duality in realistic free fermionic heterotic vacua. We emphasize the interpretation of the freely-acting orbifolds carried out on the six internal dimensions as coordinate-dependent compactifications; they play a central role in the duality, especially because of their ability to break the right-moving superconformal algebra of the space-time supersymmetric heterotic vacua. These considerations lead to a simple and intuitive proof of the spinor-vector duality, and to the formulation of explicit rules to find the dual of a given model. We d…
Four dimensional heterotic string effective action is known to admit non-rotating electrically and magnetically charged black hole solutions. It is shown that the partition functions and entropies in both the cases are identical when these black hole solutions are related by S-duality transformations. The entropy is computed and is vanishing for each black hole in the extremal limit.
Two classes of stringy instanton effects, stronger than standard field theory instantons, are identified in the heterotic string theory. These contributions are established using type IIA/heterotic and type I/heterotic dualities. They provide examples for the heterotic case of the effects predicted by Shenker based on the large-order behavior of perturbation theory. The corrections vanish as the radius of the compactification goes to infinity. For appropriate amplitudes, they are computable worldsheet or worldline instanton effects on the dual side. Some potential applications are discussed.
We propose a scenario to stabilize all geometric moduli - that is, the complex structure, Kahler moduli and the dilaton - in smooth heterotic Calabi-Yau compactifications without Neveu-Schwarz three-form flux. This is accomplished using the gauge bundle required in any heterotic compactification, whose perturbative effects on the moduli are combined with non-perturbative corrections. We argue that, for appropriate gauge bundles, all complex structure and a large number of other moduli can be perturbatively stabilized - in the most restrictive case, leaving only one combination of Kahler moduli…
In this note a simple calculation of one loop threshold corrections for the SO(32) heterotic string is performed. In particular the compactification on T^2 with a Wilson line breaking the gauge group to SO(16) x SO(16) is considered. Using heterotic type I duality, these corrections can be related to quantities appearing in the quantum mechanics of type I' D0 particles.
In this work we study the duality between F-theory and the heterotic string beyond the stable degeneration limit in F-theory and large fiber limit in the heterotic theory. Building upon a recent proposal by Clingher-Doran and Malmendier-Morrison, which phrases the duality on the heterotic side for a particular class of models in terms of (fibered) genus two curves as non-geometric heterotic compactifications - we establish the precise limit to the semi-classical heterotic string in both eight and lower space-time dimensions. In particular for six dimensional theories, we argue that this class …
We show that fractional flux from Wilson lines can stabilize the moduli of heterotic string compactifications on Calabi-Yau threefolds. We observe that the Wilson lines used in GUT symmetry breaking naturally induce a fractional flux. When combined with a hidden-sector gaugino condensate, this generates a potential for the complex structure moduli, Kahler moduli, and dilaton. This potential has a supersymmetric AdS minimum at moderately weak coupling and large volume. Notably, the necessary ingredients for this construction are often present in realistic models. We explore the type IIA dual ph…
We study heterotic/type I duality in d=8,9 uncompactified dimensions. We consider the special (``BPS saturated'') F^4 and R^4 terms in the effective one-loop heterotic action, which are expected to be non-perturbatively exact. Under the standard duality map these translate to tree-level, perturbative and non-perturbative contributions on the type I side. We check agreement with the one-loop open string calculation, and discuss the higher-order perturbative contributions, which arise because of the mild non-holomorphicities of the heterotic elliptic genus. We put the heterotic world-sheet insta…
A type IIA string compactified on a Calabi-Yau manifold which admits a K3 fibration is believed to be equivalent to a heterotic string in four dimensions. We study cases where a Calabi-Yau manifold can have more than one such fibration leading to equivalences between perturbatively inequivalent heterotic strings. This allows an analysis of an example in six dimensions due to Duff, Minasian and Witten and enables us to go some way to prove a conjecture by Kachru and Vafa. The interplay between gauge groups which arise perturbatively and nonperturbatively is seen clearly in this example. As an e…
The equations of motion of the massless sector of the two dimensional string theory, obtained by compactifying the heterotic string theory on an eight dimensional torus, is known to have an affine o(8,24) symmetry algebra generating an O(8,24) loop group. In this paper we study how various known discrete S- and T- duality symmetries of the theory are embedded in this loop group. This allows us to identify the generators of the discrete duality symmetry group of the two dimensional string theory.
We discuss the predictions of S-duality for the monopole spectrum of four-dimensional heterotic string theory resulting from toroidal compactification. We discuss in detail the spectrum of "H-monopoles", states that are magnetically charged with respect to the U(1) groups arising from the dimensional reduction of the ten dimensional antisymmetric tensor field. Using an assumption concerning the correct treatment of collective coordinates in string theory we find results which are consistent with S-duality.
It is shown that strongly coupled heterotic M-theory with anti-five-branes in the S^1/Z_2 bulk space can have meta-stable vacua which break N=1 supersymmetry and have a small, positive cosmological constant. This is demonstrated for the "minimal" heterotic standard model. This vacuum has the exact MSSM matter spectrum in the observable sector, a trivial hidden sector vector bundle and both five-branes and anti-five-branes in the bulk space. The Kahler moduli for which the cosmological constant has phenomenologically acceptable values are shown to also render the observable sector vector bundle…
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…
In this paper we study compactifications of heterotic string theory on manifolds satisfying the ddbar-lemma. We consider the Strominger system description of the low energy supergravity to first order in alpha' and show that the moduli of such compactifications are subspaces of familiar cohomology groups such as H^1(TX), H^1(TX*), H^1(End_0(V)) and H^1(End_0(TX)). These groups encode the complex structure, Kahler moduli, bundle moduli and perturbations of the spin connection respectively in the case of a Calabi-Yau compactification. We investigate the fluctuations of only a subset of the condi…
We test the conjectured Type I-Heterotic Duality in four dimensions by analyzing a given class of higher derivative F-terms of the form $F_gW^{2g}$, with W the N=2 gravitational superfield. We study a particular dual pair of theories, the O(2,2) heterotic model and a type I model based on the K3 $Z_2$ orbifold theory constructed by Gimon and Polchinski, further compactified on a torus. The $F_g$ couplings appear at 1-loop on both theories; because of the weak-weak nature of this duality in four dimensions, it is meaningful to compare the heterotic $F_g$'s with the corresponding type I coupling…
