Higher-derivative interactions and transformation rules of the fields in the effective field theories of the massless string states are strongly constrained by space-time symmetries and dualities. Here we use an exact formulation of ten dimensional ${\cal N}=1$ supergravity coupled to Yang-Mills with manifest T-duality symmetry to construct the first order $α'$-corrections of the heterotic string effective action. The theory contains a supersymmetric and T-duality covariant generalization of the Green-Schwarz mechanism that determines the modifications to the leading order supersymmetry transformation rules of the fields. We compute the resulting field-dependent deformations of the coefficients in the supersymmetry algebra and construct the invariant action, with up to and including four-derivative terms of all the massless bosonic and fermionic fields of the heterotic string spectrum.
We analyse the BRST cohomology of the Ramond sector of heterotic ambitwistor theory. We also write the free string field theory action and compute the supersymmetry transformations.
We show that the formal alpha' expansion for heterotic flux vacua is only sensible when flux quantization and the appearance of string scale cycles in the geometry are carefully taken into account. We summarize a number of properties of solutions with N=1 and N=2 space-time supersymmetry.
Using finite abelian automorphism groups of $K3$ we construct orbifold candidates for Type IIA-heterotic dual pairs with maximal supersymmetry in six and lower dimensions. On the heterotic side, these results extend the series of known reduced rank theories with maximal supersymmetry. The corresponding Type IIA theories generalize the Schwarz and Sen proposal for the dual of the simplest of the reduced rank theories constructed as a novel Type IIA $\IZ_2$ orbifold.
We study the non-linear sigma model realization of a heterotic vacuum with N=2 space-time supersymmetry. We examine the requirements of (0,2) + (0,4) world-sheet supersymmetry and show that a geometric vacuum must be described by a principal two-torus bundle over a K3 manifold.
The supersymmetry of near-horizon geometries in heterotic supergravity is considered. A necessary and sufficient condition for a solution to preserve more than the minimal N=2 supersymmetry is obtained. A supersymmetric near-horizon solution is constructed which is a U(1) fibration of AdS3 over a particular Aloff-Wallach space. It is proven that this solution preserves the conditions required for N=2 supersymmetry, but does not satisfy the necessary condition required for further supersymmetry enhancement. Hence, there exist supersymmetric near-horizon heterotic solutions preserving exactly N=…
We study the constraints of spacetime supersymmetry for perturbative three- and two-dimensional Minkowski vacua of the critical heterotic string. Assuming a standard RNS construction of the spacetime supersymmetry generators and a compact unitary internal superconformal worldsheet theory, we describe the worldsheet structures associated to various spacetime supersymmetries. In three dimensions we show that there are no CFT surprises: each allowed spacetime supersymmetry is realized by a supergravity compactification. As a recent orbifold construction shows, in two dimensions there are more exo…
In this paper we consider compactifications of heterotic strings in the presence of background flux. The background metric is a T^2 fibration over a K3 base times four-dimensional Minkowski space. Depending on the choice of three-form flux different amounts of supersymmetry are preserved (N=2,1,0). For supersymmetric solutions unbroken space-time supersymmetry determines all background fields except one scalar function which is related to the dilaton. The heterotic Bianchi identity gives rise to a differential equation for the dilaton which we discuss in detail for solutions preserving an N=2 …
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 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 study one-loop quantum corrections to gauge couplings in heterotic vacua with spontaneous supersymmetry breaking. Although in non-supersymmetric constructions these corrections are not protected and are typically model dependent, we show how a universal behaviour of threshold differences, typical of supersymmetric vacua, may still persist. We formulate specific conditions on the way supersymmetry should be broken for this to occur. Our analysis implies a generalised notion of threshold universality even in the case of unbroken supersymmetry, whenever extra charged massless states appear at …
We propose a new formulation of the $D=3$ type II superstring which is manifestly invariant under both target-space $N=2$ supersymmetry and worldsheet $N=(1,1)$ super reparametrizations. This gives rise to a set of twistor (commuting spinor) variables, which provide a solution to the two Virasoro constraints. The worldsheet supergravity fields are shown to play the rôle of auxiliary fields.
We study supersymmetry conditions for the heterotic pure superstring preserving and N=1 supersymmetry in four dimensions directly from the curved superspace defined by the Berkovits-Howe constraints.
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 reconsider the issue of embedding space-time fermions into the four-dimensional N=2 world-sheet supersymmetric string. A new heterotic theory is constructed, taking the right-movers from the N=4 topological extension of the conventional N=2 string but a c=0 conformal field theory supporting target-space supersymmetry for the left-moving sector. The global bosonic symmetry of the full formalism proves to be U(1,1), just as in the usual N=2 string. Quantization reveals a spectrum of only two physical states, one boson and one fermion, which fall in a multiplet of (1,0) supersymmetry.
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.
One of the goals of the landscape program in string theory is to extract information about the space of string vacua in the form of statistical correlations between phenomenological features that are otherwise uncorrelated in field theory. Such correlations would thus represent predictions of string theory that hold independently of a vacuum-selection principle. In this paper, we study statistical correlations between two features which are likely to be central to any potential description of nature at high energy scales: gauge symmetries and spacetime supersymmetry. We analyze correlations be…
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 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.
We showed that there is no SU(2) Witten anomaly in a large class of 4d N = 2 supersymmetric Heterotic string compactifications. The consistency conditions we consider are the modularity of the new supersymmetric index, the integrality of BPS indices, and the discrete Peccei-Quinn shift symmetries. We also found an example where these conditions are not sufficient to show that the theory is anomaly free. This suggests that there are more conditions in the worldsheet SCFT essential for consistent string compactifications.
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.
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.
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…
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.
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.
We explicitly describe, in the language of four-dimensional N=1 supersymmetric field theory, what happens when the moduli of a heterotic Calabi-Yau compactification change so as to make the internal non-Abelian gauge fields non-supersymmetric. At the edge of the region in Kahler moduli space where supersymmetry can be preserved, an additional anomalous U(1) gauge symmetry appears in the four-dimensional theory. The D-term contribution to the scalar potential associated to this U(1) attempts to force the system back into a supersymmetric configuration and provides a consistent low-energy descri…
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.
Perturbative heterotic string theory develops a single complex tachyonic mode beyond the Hagedorn temperature. We calculate the quartic effective potential for this tachyonic mode at the critical temperature. Equivalently, we determine the quartic effective potential for strong supersymmetric breaking via anti-perdiodic boundary conditions for fermions on a small circle. We give many details of the heterotic tachyon scattering amplitudes, including a unitarity check to fix all normalization constants. We discuss difficulties in obtaining an effective action valid at all radii. We argue that in…
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.
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.
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 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…
We discuss the AdS_3/CFT_2 duality of a heterotic three-charge model with (0,4) target space supersymmetry. The worldsheet theory for heterotic strings on the AdS_3 x S^3/Z_N x T^4 near-horizon geometry was constructed by Kutasov, Larsen and Leigh in [hep-th/9812027]. We propose that the dual conformal field theory is given by a two-dimensional (0,4) sigma model arising on the Higgs branch of an orbifolded ADHM model. As a non-trivial consistency check of the correspondence, we find that the left- and right-moving central charges of the infrared conformal field theory agree with those predicte…
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.
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…
We study the duality relationship between M-theory and heterotic string theory at the classical level, emphasising the transformations between the Kaluza-Klein reductions of these two theories on the K3 and T^3 manifolds. Particular attention is devoted to the corresponding structures of sigma-model cosets and the correspondence between the p-brane charge lattices. We also present simple and detailed derivations of the global symmetries and coset structures of the toroidally-compactified heterotic theory in all dimensions D \ge 3, making use of the formalism of solvable Lie algebras.
We revisit the duality between heterotic string theory compactified on K3 x T^2 and type IIA compactified on a Calabi-Yau threefold X in the hypermultiplet sector. We derive an explicit map between the field variables of the respective moduli spaces at the level of the classical effective actions. We determine the parametrization of the K3 moduli space consistent with the Ferrara-Sabharwal form. From the expression of the holomorphic prepotential we are led to conjecture that both X and its mirror must be K3 fibrations in order for the type IIA theory to have an heterotic dual. We then focus o…
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 present a review of heterotic-type I string duality. In particular, we discuss the effective field theory of six- and four-dimensional compactifications with N>1 supersymmetries. We then describe various duality tests by comparing gauge couplings, N=2 prepotentials, as well as higher-derivative F-terms. Based on invited lectures delivered at: 33rd Karpacz Winter School of Theoretical Physics ``Duality, Strings and Fields,'' Przesieka, Poland, 13 - 22 February 1997; Trieste Conference on Duality Symmetries in String Theory, Trieste, Italy, 1 - 4 April 1997; Cargese Summer School ``Strings, B…
