Since 12 August, 2008. 

MTheory
How do we know that Mtheory on a circle gives the IIA superstring,
and not the IIB or Heterotic superstrings? The answer to this question
comes from a careful analysis of the massless fields that we get upon compactification
of 11dimensional supergravity on a circle. Another easy check is that
we can find an Mtheory origin for the Dbrane states unique to the IIA
theory. Recall that the IIA theory contains D0,D2,D4,D6,D8branes as well
as the NS fivebrane. The following table summarizes the situation:
The two that have been left out are the D6 and D8branes. The D6brane can be interpreted as a "Kaluza Klein Monopole" which is a special kind of solution to 11dimensional supergravity when it's compactified on a circle. The D8brane doesn't really have clear interpretation in terms of Mtheory at this point in time; that's a topic for current research! We can also get a consistent 10dimensional theory if we compactify Mtheory on a small line segment. That is, take one dimension (the 11th dimension) to have a finite length. The endpoints of the line segment define boundaries with 9 spatial dimensions. An open membrane can end on these boundaries. Since the intersection of the membrane and a boundary is a string, we see that the 9+1 dimensional worldvolume of the each boundary can contain strings which come from the ends of membranes. As it turns out, in order for anomalies to cancel in the supergravity theory, we also need each boundary to carry an E8 gauge group. Therefore as we take the space between the boundaries to be very small we're left with a 10dimensional theory with strings and an E8 x E8 gauge group. This is the E8 x E8 heterotic string!
So given this new phase 11dimensional phase of string theory, and the
various dualities between string theories, we're led to the very exciting
prospect that there is only a single fundamental underlying theory  Mtheory.
The five superstring theories and 11D Supergravity can be thought of as
classical limits. Previously, we've tried to deduce their quantum
theories by expanding around these classical limits using perturbation
theory. Perturbation has its limits, so by studying nonperturbative
aspects of these theories using dualities, supersymmetry, etc. we've come
to the conclusion that there only seems to be one unique quantum theory
behind it all. This uniqueness is very appealing, and much of the
work in this field will be directed toward formulating the full quantum
Mtheory.
Contents 