This entry is about the conjectured relation (duality) between M-theory at MO9-planes and heterotic string theory on these. For the relation of M-theory KK-compactified on a K3-surface and heterotic string theory on a 3-torus see instead at duality between M/F-theory and heterotic string theory.
general mechanisms
string-fivebrane duality
string-QFT duality
There is an observation by Hořava–Witten 95, Hořava–Witten 96 which suggests that M-theory on an Z/2-orbifold (actually a higher orientifold) of the form $X_{10} \times (S^1 \slash \mathbb{Z}_2))$ in “dual” to heterotic string theory on its boundary (fixed point) “M9-brane”. Therefore one also speaks of “heterotic M-theory” (Ovrut 02).
from Kashima 00
In the above the circle factor is taken to be the circle fiber over the 10d type IIA spacetime.
If instead one considers another of the spatial dimensions to be compactified on $S^1\sslash \mathbb{Z}_2$, then, after T-duality (F-theory) result is supposed to be type I string theory. In this case the intersection of the M2-brane with the M9-brane (the latter now wrapping the M-theory circle fiber) is called the E-string.
More in detail:
One considers the KK-compactification of M-theory on a Z/2-orbifold of a torus, hence of the Cartesian product of two circles
such that the reduction on the first factor $S^1_A$ corresponds to the duality between M-theory and type IIA string theory, hence so that subsequent T-duality along the second factor yields type IIB string theory (in its F-theory-incarnation). Now the diffeomorphism which exchanges the two circle factors and hence should be a symmetry of M-theory is interpreted as S-duality in type II string theory:
graphics taken from Horava-Witten 95, p. 15
If one considers this situation additionally with a $\mathbb{Z}/2\mathbb{Z}$-orbifold quotient of the first circle factor, one obtains the duality between M-theory and heterotic string theory (Horava-Witten theory). If instead one performs it on the second circle factor, one obtains type I string theory.
Here in both cases the involution action is by reflection of the circle at a line through its center. Hence if we identify $S^1 \simeq \mathbb{R} / \mathbb{Z}$ then the action is by multiplication by /1 on the real line.
In summary:
M-theory on
$(S^1_A \sslash \mathbb{Z}_2 ) \times S^1_B$ yields heterotic string theory
$S^1_A \times \left( S^1_B \sslash \mathbb{Z}_2 \right)$ yields type I string theory
Hence the S-duality that swaps the two circle factors corresponds to duality between type I and heterotic string theory.
graphics taken from Horava-Witten 95, p. 16
Here each of the two copies of the heterotic gauge theory is a “hidden sector” with respect to the other.
The orbifold equivariance condition of the supergravity C-field is that discussed at orientifold (there for the B-field). Therefore it has to vanish at the two fixed fixed points of the $\mathbb{Z}_2$-action. Thereby the quantization condition
on the supergravity C-field becomes the condition for the Green-Schwarz mechanism of the heterotic string theory on the “boundary” (the orbifold fixed points).
duality between M-theory and type I string theory
originally suggested in (Horava-Witten 95, section 3)
Further evidence is reviewed in APT 98
duality between heterotic and type I string theory
via S-duality in the F-theory-picture…
The supergravity C-field $\hat G_4$ is supposed to vanish, and differentially vanish at the boundary in the HW model, meaning that also the local connection 3-form $C_3$ vanishes there. The argument is roughly as follows (similar for as in Falkowski, section 3.1).
in the Lagrangian of 11-dimensional supergravity is supposed to be well-defined on fields on the orbifold and hence is to be $\mathbb{Z}_2$-invariant.
Let $\iota_{11}$ be the canonical vector field along the circle factor. Then the component of $G \wedge G$ which is annihilated by the contraction $\iota_{11}$ is necessarily even, so the component $d x^{11}\wedge \iota_11 C_3$ is also even. It follows that also $d x^{11}\wedge \iota_11 G_4$ is even.
Moreover, the kinetic term
is to be invariant. With the above this now implies that the components of $G$ annihiliated by $\iota_{11}$ is odd, because so is the mixed component of the metric tensor.
This finally implies that the restriction of $C_3$ to the orbifold fixed points has to be closed.
The original articles are
Petr Hořava, Edward Witten, Heterotic and Type I string dynamics from eleven dimensions, Nucl. Phys. B460 (1996) 506 (arXiv:hep-th/9510209)
Petr Hořava, Edward Witten, Eleven dimensional supergravity on a manifold with boundary, Nucl. Phys. B475 (1996) 94 (arXiv:hep-th/9603142)
Review is in
Piyush Kumar, Hořava-Witten theory (2004) (pdf)
Paul Townsend, Four Lectures on M-Theory (arXiv:hep-th/9612121).
Burt Ovrut, Lectures on Heterotic M-Theory (arXiv:hep-th/0201032)
Adam Falkowski, section 3 of Five dimensional locally supersymmetric theories with branes, Master Thesis, Warsaw (pdf)
The black M2-brane solution in HW-theory, supposedly yielding the black heterotic string at the intersection with the M9-brane is discussed in
Zygmunt Lalak, André Lukas, Burt Ovrut, Soliton Solutions of M-theory on an Orbifold, Phys. Lett. B425 (1998) 59-70 (arXiv:hep-th/9709214)
Ken Kashima, The M2-brane Solution of Heterotic M-theory with the Gauss-Bonnet $R^2$ terms, Prog.Theor.Phys. 105 (2001) 301-321 (arXiv:hep-th/0010286)
Explicit discussion of worldvolume CFT of the M2-branes ending on the HW fixed points and becoming heterotic strings is discussed, via the BLG model, in
After KK-reduction to 5d supergravity there is a corresponding 5d mechanism, see the references there.
Disucussion of the duality between heterotic and type I string theory includes
Discussion of string phenomenology in Horava-Witten theory:
Discussion of gaugino condensation and supersymmetry breaking in Horava-Witten theory, where the two heterotic MO9-branes provide a natural mechanism for supersymmetry breaking on one (the physical brane) by gaugino condensation on the other (the “dark sector” brane):
lecture notes:
original articles:
I. Antoniadis, M. Quiros, On the M-theory description of gaugino condensation, Phys.Lett. B416 (1998) 327-333 (arXiv:hep-th/9707208)
I. Antoniadis, M. Quiros, Supersymmetry breaking in M-theory and gaugino condensation, Nucl.Phys. B505 (1997) 109-122 (arXiv:hep-th/9705037)
André Lukas, Burt Ovrut, Daniel Waldram, Gaugino condensation in M theory on $S^1/Z_2$, Phys. Rev. D 57, 7529 (1998) (arXiv:hep-th/9711197, doi:10.1103/PhysRevD.57.7529)
André Lukas, Burt Ovrut, Daniel Waldram, Five-Branes and Supersymmetry Breaking in M-Theory, JHEP 9904:009, 1999 (arXiv:hep-th/9901017)
specifically for M-theory on S1/G_HW times H/G_ADE:
Generalization to M-theory on S1/G_HW times H/G_ADE:
Zygmunt Lalak, Steven Thomas, Gaugino Condensation, Moduli Potentials and Supersymmetry Breaking in M-Theory Models (hep-th/9707223)
V. Kaplunovsky, J. Sonnenschein,Stefan Theisen, S. Yankielowicz, On the Duality between Perturbative Heterotic Orbifolds and M-Theory on $T^4/Z_N$ (arXiv:hep-th/9912144)
E. Gorbatov, V.S. Kaplunovsky, J. Sonnenschein, Stefan Theisen, S. Yankielowicz, On Heterotic Orbifolds, M Theory and Type I’ Brane Engineering, JHEP 0205:015, 2002 (arXiv:hep-th/0108135)
Davide Gaiotto, Alessandro Tomasiello, Holography for $(1,0)$ theories in six dimensions, JHEP12(2014)003 (arXiv:1404.0711)
Michele Del Zotto, Jonathan Heckman, Alessandro Tomasiello, Cumrun Vafa, Section 6 of: 6d Conformal Matter, JHEP02(2015)054 (arXiv:1407.6359)
John Huerta, Hisham Sati, Urs Schreiber, Example 2.2.7 of: Real ADE-equivariant (co)homotopy and Super M-branes, CMP (2019) (arXiv:1805.05987, doi:10.1007/s00220-019-03442-3)
Discussion for 7d supergravity:
Tony Gherghetta, Alex Kehagias, Anomaly Cancellation in Seven-Dimensional Supergravity with a Boundary, Phys.Rev. D68 (2003), 065019, (arXiv:hep-th/0212060)
Spyros D. Avramis, Alex Kehagias, Gauged $D=7$ Supergravity on the $S^1/\mathbb{Z}_2$ Orbifold (arXiv:hep-th/0407221)
T.G. Pugh, Ergin Sezgin, Kellogg Stelle, $D=7$ / $D=6$ Heterotic Supergravity with Gauged R-Symmetry (arXiv:1008.0726)
Last revised on July 17, 2019 at 09:42:34. See the history of this page for a list of all contributions to it.