We discuss a new perspective on the dualities among seven-dimensional M-theory on elliptically fibered K3 surfaces, eight-dimensional (8D) heterotic strings on $T^2$, and 8D F-theory on elliptic K3 surfaces. There are several distinct small-fiber F-theory limits of a single M-theory, and we deduce that the distinct F-theory limits of an identical M-theory generally include both an F-theory limit, wherein a discrete gauge symmetry forms, and another F-theory limit, wherein a discrete gauge symmetry does not form. We also discuss constraints imposed on the degrees of discrete gauge groups and on the continuous gauge groups formed in F-theory on K3 surfaces by applying a formula that is known to hold for genus-one fibrations of K3 surfaces, and by utilizing the existence of the Jacobian fibrations.
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 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 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 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 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.
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.
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…
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…
We revisit the T-duality transformation rules in heterotic string theory, pointing out that the chiral structure of the world-sheet leads to a modification of the standard Buscher's transformation rules. The simplest instance of such modifications arises for toroidal compactifications, which are rederived by analyzing a bosonized version of the heterotic world-sheet Lagrangian. Our study indicates that the usual heterotic toroidal T-duality rules naively extended to the curved case cannot be correct, leading in particular to an incorrect Bianchi identity for the field strength H of the Kalb-Ra…
We consider the heterotic string on an elliptic Calabi-Yau three-fold with five-branes wrapping curves in the base ('horizontal' curves) of the Calabi-Yau as well as some elliptic fibers ('vertical' curves). We show that in this generalized set-up, where the association of the heterotic side with the $F$-theory side is changed relative to the purely vertical situation, the number of five-branes wrapping the elliptic fibers still matches the corresponding number of $F$-theory three-branes.
We discuss type I -- heterotic duality in four-dimensional models obtained as a Coulomb phase of the six-dimensional U(16) orientifold model compactified on T^2 with arbitrary SU(16) Wilson lines. We show that Kahler potentials, gauge threshold corrections and the infinite tower of higher derivative F-terms agree in the limit that corresponds to weak coupling, large T^2 heterotic compactifications. On the type I side, all these quantities are completely determined by the spectrum of N=2 BPS states that originate from D=6 massless superstring modes.
We study aspects of Heterotic/F-theory duality for compactifications with Abelian discrete gauge symmetries. We consider F-theory compactifications on genus-one fibered Calabi-Yau manifolds with n-sections, associated with the Tate-Shafarevich group Z_n. Such models are obtained by studying first a specific toric set-up whose associated Heterotic vector bundle has structure group Z_n. By employing a conjectured Heterotic/F-theory mirror symmetry we construct dual geometries of these original toric models, where in the stable degeneration limit we obtain a discrete gauge symmetry of order two a…
In this note we propose a generalization of heterotic/F-theory duality. We introduce a set of non-compact building blocks which we glue together to reach compact examples of generalized duality pairs. The F-theory building blocks consist of non-compact elliptically fibered Calabi-Yau fourfolds which also admit a K3 fibration. The compact elliptic model obtained by gluing need not have a globally defined K3 fibration. By replacing the K3 fiber of each F-theory building block with a T^2, we reach building blocks in a heterotic dual vacuum which includes a position dependent dilaton and three-for…
Duality covariant curvature and torsion tensors in double field theory/generalized geometry are central in analyzing consistent truncations, generalized dualities, and related integrable $σ$-models. They are constructed systematically with the help of a larger, auxiliary space in a procedure inspired by Cartan geometry originally proposed by Poláček and Siegel for bosonic strings. It pivots around a maximally isotropic group that captures the generalized structure group of the physical space. We show how dropping the isotropy condition on this group allows us to describe heterotic/type I strin…
We analyze the map between heterotic and type II N=2 supersymmetric string theories for certain two and three moduli examples found by Kachru and Vafa. The appearance of elliptic j-functions can be traced back to specializations of the Picard-Fuchs equations to systems for $K_3$ surfaces. For the three-moduli example we write the mirror maps and Yukawa couplings in the weak coupling limit in terms of j-functions; the expressions agree with those obtained in perturbative calculations in the heterotic string in an impressive way. We also discuss symmetries of the world-sheet instanton numbers in…
We study the noncritical two-dimensional heterotic string. Long fundamental strings play a crucial role in the dynamics. They cancel anomalies and lead to phase transitions when the system is compactified on a Euclidean circle. A careful analysis of the gauge symmetries of the system uncovers new subtleties leading to modifications of the worldsheet results. The compactification on a Euclidean thermal circle is particularly interesting. It leads us to an incompatibility between T-duality (and its corresponding gauge symmetry) and locality.
We review the derivation and the basic properties of the perturbative prepotential in N=2 compactifications of the heterotic superstring. We discuss the structure of the perturbative monodromy group and the embedding of rigidly supersymmetric monodromies associated with enhanced gauge groups, at both perturbative and non-perturbative level.
We provide some additional evidence in favour of the strong - weak coupling duality between the SO(32) heterotic and type I superstring theories by comparing terms quartic in the gauge field strength in their low-energy effective actions. We argue that these terms should not receive higher-loop string corrections so that duality should relate the leading-order perturbative coefficients in the two theories. In particular, we demonstrate that the coefficient of the $F^4$-term in the one-loop (torus) part of the SO(32) heterotic string action is exactly the same as the coefficient of the $F^4$-te…
The relation between some perturbative non-BPS states of the heterotic theory on T^4 and non-perturbative non-BPS states of the orbifold limit of type IIA on K3 is exhibited. The relevant states include a non-BPS D-string, and a non-BPS bound state of BPS D-particles (`D-molecule'). The domains of stability of these states in the two theories are determined and compared.
We show how the brane wrapping rules, recently discovered in closed oriented string theories compactified on tori, are extended to the case of the Type IIA string compactified on K3. To this aim, a crucial role is played by the duality between this theory and the Heterotic string compactified on a four-dimensional torus T^4. We first show how the wrapping rules are applied to the T^4/Z_N orbifold limits of K3 by relating the D0 branes, obtained as D2 branes wrapping two-cycles, to the perturbative BPS states of the Heterotic theory on T^4. The wrapping rules are then extended to the solitonic …
We review the construction of open descendants of the type IIB superstring on the Z-orbifold. It results in a chiral four-dimensional model with gauge group $SO(8) \otimes U(12)$ and three generations of matter in the $(8,12^*)\oplus (1,66)$ representations. As a test of type I - heterotic duality, that reduces to a weak/weak duality in D=4, a heterotic model on the same orbifold is also presented. The massless spectrum reproduces exactly the one found in the type I case apart from additional twisted matter charged with respect to the SO(8) gauge group. The puzzle is solved by noting that at g…
We explicitly give the correspondence between spectra of heterotic string theory compactified on $T^2$ and string junctions in type IIB theory compactified on $S^2$.
We compute the partition function for the exotic instanton system corresponding to D-instantons on D7 branes in Type I' theory. We exploit the BRST structure of the moduli action and its deformation by RR background to fully localize the integration. The resulting prepotential describes non-perturbative corrections to the quartic couplings of the gauge field F living on the D7's. The results match perfectly those obtained in the dual heterotic theory from a protected 1-loop computation, thus providing a non-trivial test of the duality itself.
Under heterotic/F-theory duality it was argued that a wide class of heterotic five-branes is mapped into the geometry of an F-theory compactification manifold. In four-dimensional compactifications this identifies a five-brane wrapped on a curve in the base of an elliptically fibered Calabi-Yau threefold with a specific F-theory Calabi-Yau fourfold containing the blow-up of the five-brane curve. We argue that this duality can be reformulated by first constructing a non-Calabi-Yau heterotic threefold by blowing up the curve of the five-brane into a divisor with five-brane flux. Employing hetero…
We compare order $R^4$ terms in the 10-dimensional effective actions of SO(32) heterotic and type I superstrings from the point of view of duality between the two theories. Some of these terms do not receive higher-loop corrections being related by supersymmetry to `anomaly-cancelling' terms which depend on the antisymmetric 2-tensor. At the same time, the consistency of duality relation implies that the `tree-level' $R^4$ super-invariant (the one which has $ζ(3)$-coefficient in the sphere part of the action) should appear also at higher orders of loop expansion, i.e. should be multiplied by a…
