theory (physics), model (physics)
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
There is an observation by Hořava–Witten that suggests that quantum 11-dimensional supergravity on an orbifold of the form induces on its boundary heterotic string theory.
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 -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).
The supergravity C-field is supposed to vanish, and differentially vanish at the boundary in the HW model, meaning that also the local connection 3-form 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 -invariant.
Let be the canonical vector field along the circle factor. Then the component of which is annihilated by the contraction is necessarily even, so the component is also even. It follows that also is even.
Moreover, the kinetic term
is to be invariant. With the above this now implies that the components of annihiliated by is odd, because so is the mixed component of the metric tensor.
This finally implies that the restriction of 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)
Eleven dimensional supergravity on a manifold with boundary, Nucl. Phys. B475 (1996) 94 (arXiv:hep-th/9603142)
Reviews are in
Piyush Kumar, Hořava-Witten theory (2004) (pdf)
Paul Townsend, Four Lectures on M-Theory (arXiv:hep-th/9612121).
Section 3 of