In the quest for the mathematical formulation of M-theory, we consider three major open problems: a first-principles construction of the single (abelian) M5-brane Lagrangian density, the origin of the gauge field in heterotic M-theory, and the supersymmetric enhancement of exceptional M-geometry. By combining techniques from homotopy theory and from supergeometry to what we call super-exceptional geometry within super-homotopy theory, we present an elegant joint solution to all three problems. This leads to a unified description of the Nambu-Goto, Perry-Schwarz, and topological Yang-Mills Lagrangians in the topologically nontrivial setting. After explaining how charge quantization of the C-field in Cohomotopy reveals D'Auria-Fre's "hidden supergroup" of 11d supergravity as the super-exceptional target space, in the sense of Bandos, for M5-brane sigma-models, we prove, in exceptional generalization of the doubly-supersymmetric super-embedding formalism, that a Perry-Schwarz-type Lagrangian for single (abelian) M5-branes emerges as the super-exceptional trivialization of the M5-brane cocycle along the super-exceptional embedding of the "half" M5-brane locus, super-exceptionally compactified on the Horava-Witten circle fiber. From inspection of the resulting 5d super Yang-Mills Lagrangian we find that the extra fermion field appearing in super-exceptional M-geometry, whose physical interpretation had remained open, is the M-theoretic avatar of the gaugino field.
In this paper we show how to obtain the heterotic double field theory from exceptional field theory by breaking half of the supersymmetry. We focus on the $\mathrm{SL}(5)$ exceptional field theory and show that when the extended space contains a generalised $\mathrm{SU}(2)$-structure manifold one can define a reduction to obtain the heterotic $\mathrm{SO}(3,n)$ double field theory. In this picture, the reduction on the $\mathrm{SU}(2)$-structure breaks half of the supersymmetry of the exceptional field theory and the gauge group of the heterotic double field theory is given by the embedding te…
A new super-exceptional embedding construction of the heterotic M5-brane's sigma-model was recently shown to produce, at leading order in the super-exceptional vielbein components, the super-Nambu-Goto (Green-Schwarz-type) Lagrangian for the embedding fields plus the Perry-Schwarz Lagrangian for the free abelian self-dual higher gauge field. Beyond that, further fields and interactions emerge in the model, arising from probe M2- and probe M5-brane wrapping modes. Here we classify the full super-exceptional field content and work out some of its characteristic interactions from the rich super-e…
We show how to construct half-maximal consistent truncations of 10- and 11-dimensional supergravity to seven dimensions using exceptional field theory. This procedure gives rise to a seven-dimensional half-maximal gauged supergravity coupled to $n$ vector multiplets, with $n \neq 3$ in general. We also show how these techniques can be used to reduce exceptional field theory to heterotic double field theory.
We present $Z_3$ orbifold compactifications of $E_8\times E_8^\prime$ heterotic string with three Wilson lines, resulting to the maximum number of SU(3) factors. Here, all the matter spectrums are in the SU(3) trits($\equiv $ three representations ${\bf 3,\bar 3,1}$) of the $SU(3)^8$ GUT. Using this information, we show how three family supersymmetric standard models(SSM) can be obtained. Also, the low lying interesting representations(fundamental and adjoint) of $E_6$ and $E_8$ are given in terms of trits, establishing simple criteria for treating these low lying representations of exceptiona…
This work revisits the notions of connection and curvature in generalized geometry, with emphasis on torsion-free generalized connections on a transitive Courant algebroid, compatible with a generalized metric. Non-exact Courant algebroids have been considered recently by R. Rubio in the context of $B_n$-generalised geometry and arise naturally from the theory of generalized reduction of Burzstyn, Cavalcanti and Gualtieri. As an application, we provide a mathematical derivation of the equations of motion of heterotic supergravity, inspired by the work of Coimbra, Strickland-Constable and Waldr…
We dimensionally reduce the ten dimensional heterotic action on spacetimes of the form ${\cal M}_{(2,1)}\times Y$, where ${\cal M}_{(2,1)}$ is three dimensional maximally symmetric Anti de Sitter or Minkowski space, and $Y$ is a compact seven dimensional manifold with $G_2$ structure. In doing so, we derive the real superpotential functional of the corresponding three dimensional ${\cal N}=1$ theory. We confirm that extrema of this functional precisely correspond to supersymmetric heterotic compactifications on manifolds of $G_2$ structure. We make some comments on the role of the superpotenti…
We study $D \geq 4$-dimensional half-maximal flux backgrounds using exceptional field theory. We define the relevant generalised structures and also find the integrability conditions which give warped half-maximal $\mathrm{Minkowski}_D$ and $\mathrm{AdS}_D$ vacua. We then show how to obtain consistent truncations of type II / 11-dimensional SUGRA which break half the supersymmetry. Such truncations can be defined on backgrounds admitting exceptional generalised $\mathrm{SO}(d-1-N)$ structures, where $d = 11 - D$, and $N$ is the number of vector multiplets obtained in the lower-dimensional theo…
We derive four dimensional gauge theories with exceptional groups $F_4$, $E_8$, $E_7$, and $E_7$ with matter, by starting from the duality between the heterotic string on $K3$ and F-theory on a elliptically fibered Calabi-Yau 3-fold. This configuration is compactified to four dimensions on a torus, and by employing toric geometry, we compute the type IIB mirrors of the Calabi-Yaus of the type IIA string theory. We identify the Seiberg-Witten curves describing the gauge theories as ALE spaces fibered over a $P^1$ base.
We outline the solution of the Killing spinor equations of the heterotic supergravity. In addition, we describe the classification of all half supersymmetric solutions.
We classify non-nilpotent complex structures on 6-nilmanifolds and their associated invariant balanced metrics. As an application we find a large family of solutions of the heterotic supersymmetry equations with non-zero flux, non-flat instanton and constant dilaton satisfying the anomaly cancellation condition with respect to the Chern connection.
We investigate asymmetric orbifold models constructed from non-supersymmetric heterotic strings. We systematically classify the asymmetric orbifold models with standard embeddings and present a list of asymmetric orbifolds which are geometrically interpreted as toroidal compactifications of non-supersymmetric heterotic strings. By studying non-standard embedding models, we also construct examples of the {\em supersymmetric} asymmetric orbifold models based on non-supersymmetric heterotic strings.
The first-order bosonic field equations of the D-dimensional effective low energy theory which describes the massless background coupling of the D-dimensional fully Higgsed heterotic string are derived.
Generalizing the work by Cherkis and Schwarz [1], we carry out the double dimensional reduction of supersymmetric M5 brane on K3 to obtain the supersymmetric action of heterotic string in 7-dimensional flat space-time. Motivated by this result, we propose the supersymmetric heterotic action in 10-dimensional flat space-time where the current algebra is realized in a novel way. We explicitly verify the kappa-symmetry of the proposed action.
We investigate $α'$-corrections of heterotic double field theory up to quadratic order in the language of supersymmetric O(D,D+dim G) gauged double field theory. After introducing double-vielbein formalism with a parametrization which reproduces heterotic supergravity, we show that supersymmetry for heterotic double field theory up to leading order $α'$-correction is obtained from supersymmetric gauged double field theory. We discuss the necessary modifications of the symmetries defined in supersymmetric gauged double field theory. Further, we construct supersymmetric completion at quadratic o…
We describe the geometry of generic heterotic backgrounds preserving minimal supersymmetry in four dimensions using the language of generalised geometry. They are characterised by an $SU(3)\times Spin(6+n)$ structure within $O(6,6+n)\times\mathbb{R}^+$ generalised geometry. Supersymmetry of the background is encoded in the existence of an involutive subbundle of the generalised tangent bundle and the vanishing of a moment map for the action of diffeomorphisms and gauge symmetries. We give both the superpotential and the Kähler potential for a generic background, showing that the latter defines…
In this paper we begin revisiting the little string theories (LSTs) which govern the dynamics of the instantonic heterotic $E_8 \times E_8$ five-branes probing ALE singularities, building on and extending previous results on the subject by Aspinwall and Morrison as well as Blum and Intriligator. Our focus are the cases corresponding to choices of non-trivial flat connections at infinity. The latter are in particular interesting for the exceptional ALE singularities, where a brane realization in Type I$'$ is lacking. Our approach to determine these models is based on 6d conformal matter: we det…
A supersymmetric solution to type II supergravity is constructed by superposing two hyperkählers with torsion metrics. The solution is given by a Käler with torsion metric with $SU(3)$ holonomy. The metric is embedded into a heterotic solution obeying the Strominger system, together with a Yang-Mills instanton obtained by the standard embedding. T dualities lead to an $SO(6)$ instanton describing a symmetry breaking from $E_8$ to $SO(10)$. The compactification by taking a periodic array yields a supersymmetric domain wall solution of heterotic supergravity.
The pure spinor heterotic string in a generic super Yang-Mills and supergravity background is considered. We determine the one-loop BRST anomaly at the cohomological level. We prove that it can be absorbed by consistent corrections of the classical constraints due to Berkovits and Howe, in agreement with the Green-Schwarz cancelation mechanism.
We study a standard-embedding $N=2$ heterotic string compactification on $K3\times T^2$ with a Wilson line turned on and perform a world-sheet calculation of string threshold correction. The result can be expressed in terms of the quantities appearing in the two-loop calculation of bosonic string. We also comment and speculate on the relevance of our result to generalized Kac-Moody superalgebra and $N=2$ heterotic-type IIA duality.
We elaborate the superembedding description of 'simple' D = 10, N = 1 five-brane and discuss the possible application of the superembedding approach in search for the equations of motion of the mysterious SO(32) heterotic five brane on this basis.
The open supermembrane contribution to the non-perturbative superpotential of bulk space five-branes in heterotic M-theory is presented. We explicitly compute the superpotential for the modulus associated with the separation of a bulk five-brane from an end-of-the-world three-brane. The gauge and kappa-invariant boundary strings of such open supermembranes are given and the role of the holomorphic vector bundle on the orbifold fixed plane boundary is discussed in detail.
The superspace geometry relevant to the heterotic string is reviewed from the point of view of the off-shell supermultiplet structure of $N=1,d=10$ supergravity. The anomaly-modified seven-form Bianchi identity is analysed at order $\a'^3$ and shown to admit a complete solution. The corresponding $\a'^3$ deformation of the dimension-zero torsion tensor is derived and shown to obey the appropriate cohomological constraint.
By defining the heterotic Green-Schwarz superstring action on an N=(2,0) super-worldsheet, rather than on an ordinary worldsheet, many problems with the interacting Green-Schwarz superstring formalism can be solved. In the light-cone approach, superconformally transforming the light-cone super-worldsheet onto an N=(2,0) super-Riemann surface allows the elimination of the non-trivial interaction-point operators that complicate the evaluation of scattering amplitudes. In the Polyakov approach, the ten-dimensional heterotic Green-Schwarz covariant action defined on an N=(2,0) super-worldsheet can…
We construct a covariant formulation of the heterotic superstring on K3 times T^2 with manifest N=2 supersymmetry. We show how projective superspace appears naturally in the hybrid formulation giving a (partially) geometric interpretation of the harmonic parameter. The low-energy effective action for this theory is given by a non-standard form of N=2 supergravity which is intimately related to the N=1 old-minimal formulation. This formalism can be used to derive new descriptions of interacting projective superspace field theories using Berkovits' open string field theory and the the heterotic …
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 discuss solutions of the heterotic string theory which are analogous to bosonic and superstring backgrounds related to coset conformal field theories. A class of exact `left-right symmetric' solutions is obtained by supplementing the metric, antisymmetric tensor and dilaton of the superstring solutions by the gauge field background equal to the generalised Lorentz connection with torsion. As in the superstring case, these backgrounds are $\a'$-independent, i.e. have a `semiclassical' form. The corresponding heterotic string sigma model is obtained from the combination of the (1,0) supersymm…
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…
We consider the generalization of the heterotic action considered by Cherkis and Schwarz where the chiral bosons are introduced in a manifestly covariant way using an auxiliary field. In particular, we construct the kappa-symmetric heterotic action in ten-dimensional supergravity background coupled to super Yang-Mills theory and prove its kappa-symmetry. The usual Bianchi identity of Type I supergravity with super Yang-Mills $dH_3= -\tr F\wedge F$ is crucially used. For technical reason, the Yang-Mills field is restricted to be abelian.
Inspired by the tachyon-free non-supersymmetric heterotic SO(16)xSO(16) string we consider a special class of non-supersymmetric field theories: Those that can be obtained from supersymmetric field theories by supersymmetry breaking twists. We argue that such theories, like their supersymmetric counter parts, may still possess some fermionic symmetries as left-overs of the super gauge transformations and have special one-loop non-renormalization properties due to holomorphicity. In addition, we extend the supergraph techniques to these theories to calculate some explicit supersymmetry-breaking…
We consider the low-energy effective field theory of heterotic string theory compactified on a seven-torus, and we construct electrically charged as well as more general solitonic solutions. These solutions preserve 1/2, 1/4 and 1/8 of N=8, D=3 supersymmetry and have Killing spinors which exist due to cancellation of holonomies. The associated space-time line elements do not exhibit the conical structure that often arises in 2+1 dimensional gravity theories.
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 transf…
The fields of the conjectured ``heterotic" super--fivebrane sigma--model in ten dimensions are made out of a well known gravitational sector, the $X$ and the $\vartheta$, and of a still unknown heterotic sector which should be coupled to the Yang--Mills fields. We compute the one--loop $d=6$ worldvolume and $D=10$ target space Lorentz--anomalies which arise from the gravitational sector of the heterotic super--fivebrane sigma--model, using a method which we developed previously for the Green--Schwarz heterotic superstring. These anomalies turn out to carry an overall coefficient which is $1/2$…
Heterotic $M$-theory consists of a five-dimensional manifold of the form $S^1/\mathbf{Z}_2 \times M_{4}$. It has been shown that one of the two orbifold planes, the "observable" sector, can have a low energy particle spectrum which is precisely the $N=1$ supersymmetric standard model with three right-handed neutrino chiral supermultiplets. The other orbifold plane constitutes a "hidden" sector which, since its communication with the observable sector is suppressed, will be ignored in this paper. However, the finite fifth-dimension allows for the existence of three-brane solitons which, in orde…
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 show how to construct the familiar heterotic NS5 brane as a topological soliton in a supercritical version of heterotic string theory. Closed string tachyon condensation removes the extra dimensions, leaving the NS5 in 10d, in a process highly reminiscent of the K-theoretical description of type II D-branes, but linking non-trivial gauge bundles and geometry. The construction requires a modification of the anomalous Bianchi identity for $H_3$ in supercritical heterotic string theory. We give various proofs for the existence of this modification.
We derive the conditions for the one-loop contribution to the cosmological constant to be exponentially suppressed in a class of heterotic string compactifications with three generations of chiral matter, where supersymmetry is spontaneously broken à la Scherk-Schwarz. Using techniques of partial unfolding based on the Hecke congruence subgroup $Γ_0(2)$ of the modular group to extract the leading asymptotics, we show that the super no-scale condition $n_B=n_F$ between the degeneracies of massless bosons $n_B$ and fermions $n_F$ in the full string spectrum is necessary but not sufficient, and n…
We continue to study the BPS gauge five-brane solutions of codimension two in ten-dimensional heterotic supergravity. The geometry including the dilaton and the NS-NS $B$-field are sourced from the monopole chain in $\mathbb{R}^2 \times S^1$. We find that the geometry is asymptotically Ricci flat and the dilaton is no longer imaginary valued. These properties are contrasted with the smeared counterpart discussed in our previous paper. We perform the T-duality transformations of the solution and find that it never results in a non-geometric object.
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…
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 explicitly construct massive (0,4) supersymmetric ADHM sigma models which have heterotic p-brane solitons as their conformal fixed points. These yield the familiar gauge 5-brane and a new 1-brane solution which preserve 1/2 and 1/4 of the spacetime supersymmetry respectively. We also discuss an analogous construction for the type II NS-NS p-branes using (4,4) supersymmetric models.
It is well-known that the beta functions on a string worldsheet correspond to the target space equations of motion, e.g. the Einstein equations. We show that the BPS equations, i.e. the conditions of vanishing supersymmetry variations of the space-time fermions, can be directly derived from the worldsheet. To this end we consider the RNS-formulation of the heterotic string with (2,0) supersymmetry, which describes a complex torsion target space that supports a holomorphic vector bundle. After a detailed account of its quantization and renormalization, we establish that the cancellation of the …
In this note we study the preservation of the classical pure spinor BRST constraints under super T-duality transformations. We also determine the invariance of the one-loop conformal invariance and of the local gauge and Lorentz anomalies under the super T-dualities.
We reformulate twistor-string theory as a heterotic string based on a twisted (0,2) model. The path integral localizes on holomorphic maps, while the (0,2) moduli naturally correspond to the states of N=4 super Yang-Mills and conformal supergravity under the Penrose transform. We show how the standard twistor-string formulae of scattering amplitudes as integrals over the space of curves in supertwistor space may be obtained from our model. The corresponding string field theory gives rise to a twistor action for N=4 conformal supergravity coupled to super Yang-Mills. The model helps to explain …
We find that the conjectured heterotic SO(32) five-brane sigma model develops necessarily k-anomalies, and we investigate their form. We show that these anomalies can be absorbed by modifications of the superspace constraints, that satisfy automatically the modified Bianchi-identity $dH_7=X_8$ of N=1, D=10 supergravity. The k-anomalies induce in particular a quantum deformation of the torsion constraint $T_{αβ}^a=2γ_{αβ}^a$.
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…
In this work we investigate the classical constraints imposed on the supergravity and super Yang-Mills backgrounds in the $α'\to 0$ limit of the heterotic string using the pure spinor formalism. Guided by the recently observed sectorization of the model, we show that all the ten-dimensional constraints are elegantly obtained from the single condition of nilpotency of the BRST charge.
We show that the supersymmetric near horizon geometry of heterotic black holes is either an AdS_3 fibration over a 7-dimensional manifold which admits a G_2 structure compatible with a connection with skew-symmetric torsion, or it is a product R^{1,1} * S^8, where S^8 is a holonomy Spin(7) manifold, preserving 2 and 1 supersymmetries respectively. Moreover, we demonstrate that the AdS_3 class of heterotic horizons can preserve 4, 6 and 8 supersymmetries provided that the geometry of the base space is further restricted. Similarly R^{1,1} * S^8 horizons with extended supersymmetry are products …
We discuss the generalization of the Kerr-Schild (KS) formalism for general relativity and double field theory (DFT) to the heterotic DFT and supergravity. We first introduce a heterotic KS ansatz by introducing a pair of null O(d,d+G) generalized tangent vectors. The pair of null vectors are represented by a pair of d-dimensional vector fields, and one of the vector fields is not a null vector. This implies that the null property of the usual KS formalism, which plays a crucial role in linearizing the field equations, can be partially relaxed in a consistent way. We show that the equations of…
The geometry of (2,1) supersymmetric sigma-models with isometry symmetries is discussed. The gauging of such symmetries in superspace is then studied. We find that the coupling to the (2,1) Yang-Mills supermultiplet can be achieved provided certain geometric conditions are satisfied. We construct the general gauged action, using an auxiliary vector to generate the full non-polynomial structure.
We reconsider the ingredients of moduli stabilization in heterotic M-theory. On this line we close a gap in the literature deriving the Kaehler potential dependence on vector bundle moduli and charged matter. Crucial in this derivation is our superspace formulation of 5d heterotic M-theory taking into account the Bianchi identities modified by brane terms. Likewise, we obtain the Fayet-Iliopolous terms due to brane localised anomalous U(1)'s. After assembling perturbative and non-perturbative contributions to the superpotential, we study supersymmetric (adS) vacua. It is found that the susy co…
