The D=6 string-string duality, crucial for allowing the interchanging of the roles of 4-D spacetime and string-world-sheet loop expansion, entails that there is an equivalence between the K-3 membrane action and the orbifold action. Here are some thoughts and reflections.
In the bosonic sector, the membrane action is:
where:
Recall I derived the total action:
which is highly non-trivial since Clifford algebras are a quantization of exterior algebras. Applying to the Einstein-Minkowski fibre-bundle, we get via Gaussian matrix elimination, an expansion of via Green’s-functions, yielding the on-shell action of M-theory in the Witten gauge:
with the kappa symmetry term. With the metric on , and the corresponding coordinates with an antisymmetric 3-tensor. Hence, the worldvolume is:
The bosonic sector lives on the boundary of the open membrane: two copies of , which naturally couple to the U(1) connections .
Now, double dimensional reduction of the twisted supermembrane on:
of
entails that the bosonic sector is that of the heterotic string:
with gauge group indices I = 1, … , 16.
It gets interesting when we consider:
with dimension:
since the worldsheet action:
is now just a sum of three terms:
and the index I = 1, … , 22 labels 22 gauge fields: 16 coming from the internal dimensions of the heterotic string, and the other 6 gauge fields are the KK modes of the metric and antisymmetric tensor. The action has a massless spectrum given by moduli fields corresponding to deformations of the Narain lattice and thus take values in the group manifold:
Now, something fundamentally deep has occurred: all the gauge fields of the action have appeared within a two-dimensional theory, and not a three-dimensional theory
This is precisely the long wavelength limit behavior of the open membrane:
the gauge fields are defined in terms of fields which live on 10-dimensional boundaries of M-theory
In the closed membrane case:
the gauge fields are defined in terms of 11-dimensional fields
Hence, the gauge fields of the closed membrane must be defined over M3 and not over its boundary, unlike the closed membrane, whose action on is:
where is with the spacetime being .
Hence, the closed membrane action on reduces to:
with:
and
and since surfaces have no one-cycles, it follows that the three-form potential that appears in of the action:
can be expanded in terms of the cocycles of .
For the 22 2-cocycles of , one can decompose in a similar way for the two-form potential:
with I = 1, …, 22 labeling the two-cycles of . So after insertion into , we can derive:
Applying reparametrization invariance, one can set:
where is a worldvolume coordinate, and now one performs a dimensional reduction of:
Here are the key propositions relevant to the membrane/string duality of the low energy theory in D=7.
- the kinetic terms for the gauge fields in D=7 supergravity are:
derived by a split of the 4-4 field strength , of the 11-dimensional supergravity action:
from the following term:
- Membrane/string duality in D=7 requires the existence of a point in the moduli space of where all the 22 gauge fields are enhanced via U(1) gauging: this is key to preserving kappa symmetry. Thus, at the point in the moduli space when the 22 two-cycles vanish the following holds:
- Hence, dimensional reduction yields:
So, the S-duality map:
takes:
to:
and is equivalent to the term in:
So, the above map acts on the induced metric on the worldvolume. It follows then that the term in in:
yields, after a double dimensional reduction of , the following:
with:
which yields an equivalence between:
and
Thus, the S-duality map that takes to also takes to the dimensionally reduced .
To achieve the matching of gauge sectors of the closed and open membrane, we must generate the gauge fields of the closed membrane before dimensionally reducing the theory, as opposed to the gauge fields of the open membrane, which are always generated within the two-dimensional theory. This explains the origin of strong-weak duality in string theory. The strong coupling limit of type IIA string is 11-dimensional supergravity which is believed to arise as the long wavelength limit of supermembrane theory. So, gauge fields present in the 3-dimensional theory will be strongly interacting, and will continue to be strongly interacting after dimensional reduction to a two-dimensional theory. However, the open membrane has its gauge fields appearing in two dimensional theories, which are therefore weakly interacting.
So, we must consider the spacetime part of the action for the closed membrane:
The term:
can be dimensionally reduced to:
which is equivalent to the first term in:
and the term:
maps to:
with and members of
Now, since the term is topological, and S-duality of the seven dimensional space entails:
then one can reduce:
to:
with the Hodge dual and in turn, allows us to further reduce to:
Therefore the b-term in the spacetime string action is a direct consequence of the duality of the seven dimensional duality between 3- and 4-forms, and so the dimensional reduction of yields the term , and this is tantamount to mapping the closed membrane action on to the open membrane action on , thus D=6 string-string duality follows and both theories will have the same spacetime supersymmetry since they have the same massless spectra
This naturally brings us to the connection between string field theory and Dp-branes. Recall that one derives the string propagator by an evaluation of the Witten super-symmetric quantum path integral on a fiber-strip with the Polyakov string action:
with:
for and the Regge parameter clear from context. In the proper-time gauge and the normal modes of the lapse and shift function in 2-D, the Polyakov metric has the following property:
allowing us to derive the open string field Polyakov propagator on the Dp-branes:
with:
and the momentum operators are given by:
Since open string end-points are topologically glued to Dp-branes, open strings must have inequivalent quantum states and thus, the string field has to carry the gauge group indices of :
where are the generators of the SU(N) group, with . Hence, the string propagator on multi-Dp-branes takes the following form, with contraction and indices ordering:
which yields the field theory action:
BRST-invariantly as:
Hence, the above field theory action implies that the string-string duality associates to every Dp–Brane a solution corresponding to the d–dimensional string–frame Lagrangian:
with the dilaton, the curvature of a (p + 1)–form gauge field:
where the two–index NS/NS tensor and the dual six-index heterotic five–brane tensor are given by:
and
Now we have the general form of a 10-D p-brane solution:
with:
and:
with
The general form of 11-D Mp–branes solutions, noting the absence of the dilaton field, with the following Lagrangian:
is:
Hence, the M2-brane solution is:
squaring the field strength gives the following M5-brane solution:
In the string-frame Ramond-Ramond gauge field Lagrangian:
Dp-brane solutions have the following form:
From the string-string duality above and , we can derive the kinetic term of Dp–branes in terms of the Born–Infeld action with the following form:
with the embedding metric and the gauge field world-volume curvature manifest, entailing the existence of a WZ/RR term that couples to Dp-branes:
and where the heterotic 5–brane, the IIA five–brane and the D5–brane dual potentials are given by:
Parallels for the M5-brane are formally similar. We have the quadratic kinetic term:
with the WZ term:
and the dual 6–form potential:
By the field-property of the Polyakov propagator on the Dp-branes:
combined with the string-string duality, we can prove that all Dp-and-Mn–brane solutions preserve half of the SUSY. With the SUSY rules for the gravitino and dilatino in the string-frame given by:
for IIA:
and for IIB:
Since the Killing spinor is given by:
where is a constant spinor.
End of proof.
Hence, the triangular interplay between string-string duality, string-field theory, and the action of Dp/M5-branes establishes a duality between 4-D spacetime and string-world-sheet loop expansion, entailing the equivalence between the K-3 membrane action and the orbifold action.