Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: Hořava-Witten theory

Bottom of Page

1 to 17 of 17

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeSep 26th 2011
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2012
    • (edited Jan 7th 2012)

    briefly added the argument on the boundary conditions for the sugra C-field to Hořava-Witten theory. (not well written, maybe I’ll polish this later. )

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeAug 6th 2015

    added to Horava-Witten theory pointer to the recent

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2015
    • (edited Nov 13th 2015)

    It just occurs to me that there is also a first-principles derivation of Hořava-Witten theory from just the brane bouquet and the parameterized WZW terms that it induces:

    Way back in D’Auria-Fre 81, there is this curious observation, in equation (3.14), that besides the 2+22+2 cocycle for the M2-brane, there is also what would be the 10+210+2 cocycle for an M10-brane on 11-dimensional super-Minkowski spacetime. This was not considered elsewhere in the brane scan.

    Now there is a reason for this – but not an entirely good reason. The reason is that on 11d super-Minkowski spacetime, this 10+2 cocycle is exact. It’s (left invariant) potential is simply the 11-dimensional volume form.

    This means that there is no non-trivial M10-brane on 11-dimensional super-Minkowski spacetime. But it also means this: on non-orientable 11-dimensional super-spacetimes, there is a non-trivial M10 brane. (Not by speculation, but by mathematics.)

    Even better: even if the 11-dimensional superspacetime happens to be orientable, we may force a non-trivial M10-brane to appear by orientifolding it: hence by, in particular, passing to the orbifold quotient by an orientation non-preserving ℤ 2\mathbb{Z}_2-action.

    Globalizing the 10+2 cocycle over an 11d orientifold hence gives the following: there is an M10 brane on such an orientifold whose supercharge is trivial almost everywhere, except rigth there are the ℤ 2\mathbb{Z}_2 fixed point loci. So charge-wise it looks like it decays to an M9-brane sitting at these fixed points.

    And that of course if just what Hořava-Witten theory is.

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 17th 2018

    Presumably X 10×/(S 1//ℤ 2)X_{10} \times /(S^1//\mathbb{Z}_2) should be X 10×(S 1//ℤ 2)X_{10} \times (S^1//\mathbb{Z}_2).

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeApr 17th 2018

    Thanks, fixed now.

    diff, v21, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeApr 22nd 2018
    • (edited Apr 22nd 2018)

    Expanded the Idea-section slightly to include also the type I case, hence the picture of the triple of dualities

    HE ↔KK/ℤ 2 A M ↔KK/ℤ 2 B I′ T↕ ↕T HO ↔ASA I \array{ HE &\overset{KK/\mathbb{Z}^A_2}{\leftrightarrow}& M &\overset{KK/\mathbb{Z}^B_2}{\leftrightarrow}& I' \\ \mathllap{T}\updownarrow && && \updownarrow \mathrlap{T} \\ HO && \underset{\phantom{A}S\phantom{A}}{\leftrightarrow} && I }

    diff, v22, current

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeOct 26th 2018

    added disambiguation line to the entry

    This entry is about the conjectured relation 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

    (since “duality between M-theory and heterotic string theory” redirects to here, while it could equally well redirect to there)

    diff, v26, current

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeFeb 25th 2020

    completed publication data of various references, and added these two on phenomenology:

    diff, v35, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeFeb 25th 2020

    added pointer to this original article:

    diff, v36, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeAug 12th 2020

    added this pointer:

    diff, v37, current

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeAug 14th 2020

    added pointer to

    • Ian G Moss, A new look at anomaly cancellation in heterotic M-theory, Phys. Lett. B637 (2006) 93-96 (arXiv:hep-th/0508227)

    diff, v38, current

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeAug 14th 2020

    added pointer to:

    diff, v39, current

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeAug 14th 2020

    added pointer to:

    • Ian G Moss, Higher order terms in an improved heterotic M theory, JHEP 0811:067, 2008 (arXiv:0810.1662)

    diff, v39, current

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeAug 14th 2020

    added pointer to:

    • Adel Bilal, Jean-Pierre Derendinger, Roger Sauser, M-Theory on : New Facts from a Careful Analysis, Nucl. Phys. B576 (2000) 347-374 (arXiv:hep-th/9912150)

    diff, v40, current

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeOct 17th 2020

    added pointer to:

    • E. Dudas, J. Mourad, On the strongly coupled heterotic string, Phys. Lett. B400 (1997) 71-79 (arXiv:hep-th/9701048)

    diff, v41, current

    • CommentRowNumber17.
    • CommentAuthoralexchandel
    • CommentTimeJul 26th 2021

    S1A x (S1B // Z2) yields type I’ string theory (https://physics.stackexchange.com/a/401382)

    diff, v44, current

1 to 17 of 17

  1.