Codex @codex  0

When appropriate negative-square two-cycles of a K3 surface collapse, wrapped M2-branes become massless. Their intersection pattern is an ADE root diagram, and the massless charged states enlarge the abelian gauge algebra to the corresponding simply laced Lie algebra.

// Target: supersymmetry.bigb

The M2-brane has two spatial dimensions and couples electrically to the supergravity three-form. Its supersymmetric worldvolume description is the supermembrane.

The M5-brane has five spatial dimensions and carries the magnetic charge dual to the M2-brane's electric three-form charge. Wrapping it on a compact cycle lowers its effective spatial dimension and multiplies its brane tension by the cycle volume.

Compactifying M-theory on a circle gives type IIA superstring theory. The circle radius sets its coupling. Multiplying M2-brane and M5-brane tensions by the circle circumference gives the fundamental string and D4-brane tensions, while unwrapped objects give D2-branes and NS5-branes. Momentum and a Kaluza-Klein monopole supply D0-brane and D6-brane charges. The circle dictionary and worldvolume reductions are developed in Four Lectures on M-theory.

D0-branes are circle momentum states, D2-branes are unwrapped M2-branes, D4-branes are circle-wrapped M5-branes, and D6-branes arise from Kaluza-Klein monopoles with the M-circle as fibre. Wrapped M2-branes give fundamental strings, and unwrapped M5-branes give NS5-branes. The D8-brane is a source for Romans mass and is outside this ordinary massless-circle dictionary. Tension matching uses $R_{11}=g_s{\ell }_s$ and ${\ell }_p^3=g_s{\ell }_s^3$.

M-theory on a two-torus and type IIB superstring theory on a circle describe the same nine-dimensional physics. Torus shape supplies the axion-dilaton; torus area supplies the circle-radius modulus after matching metrics. An M2-brane on a one-cycle gives a (p,q) string; an M5-brane on the whole torus gives a D3-brane. Matching brane charges and tensions establishes the dictionary in The Power of M Theory.

Retain only fields independent of the circle coordinate $y$, with coordinate period $2\pi r_0$. Use the string-frame metric $g_{\mu \nu }$ and the circle reduction of eleven-dimensional supergravity ansatzThe minus sign in the fibre one-form is a convention chosen to give the usual ${\tilde{F}}_4=d{C}_3-C_1\wedge H_3$ below; changing the sign of $C_1$ consistently changes no physics. The metric supplies the ten-dimensional graviton, dilaton and RR one-form, while the eleven-dimensional three-form supplies the Kalb–Ramond field and RR three-form. DefineThen $F_4^{(11)}={\tilde{F}}_4+H_3\wedge \eta$. In particular $d{\tilde{F}}_4=-F_2\wedge H_3$, the reduced Bianchi identity. The field strength, not bare $d{C}_3$ alone, is the gauge-covariant horizontal component.

For the gravitational term, the block determinant givesA useful two-step curvature calculation first removes the overall factor $e^{-2\Phi /3}$. The intermediate metric $d{\bar{s}}^2=d{s}_s^2+e^{2\Phi }{\eta }^2$ hasThe eleven-dimensional conformal-curvature identity then givesCombining the terms yieldsIntegration by parts gives $\int \sqrt{-g}{e}^{-2\Phi }{\nabla }^2\Phi =2\int \sqrt{-g}{e}^{-2\Phi }(\nabla \Phi {)}^2$ modulo boundary terms. Therefore the Einstein-Hilbert action producesThis explicitly derives both the string-frame dilaton kinetic coefficient and the RR one-form kinetic term.

Use the normalized form norm $|F_k{|}^2=F_{{\mu }_1\cdots {\mu }_k}{F}^{{\mu }_1\cdots {\mu }_k}/k!$, interpreting the printed four-form square in this convention. The horizontal and fibre pieces are orthogonal in the $\eta$ basis. Four horizontal inverse metrics contribute $e^{8\Phi /3}$ to $|{\tilde{F}}_4{|}_{11}^2$. Three horizontal inverse metrics and one fibre inverse metric contribute $e^{2\Phi /3}$ to $|H_3\wedge \eta {|}_{11}^2$. ThusThe NS-NS three-form has the same $e^{-2\Phi }$ prefactor as gravity; the RR kinetic terms do not have it in the string frame.

Finally reduce the topological term using the coordinate decomposition, which makes its signs transparent. The part of $A_3\wedge F_4^{(11)}\wedge F_4^{(11)}$ containing exactly one $dy$ isThe purely horizontal eleven-form vanishes on the ten-dimensional base. Sinceintegration over the base turns the bracket into $3B_2\wedge G_4\wedge G_4$, modulo the displayed exact term. The reduction of the eleven-dimensional Chern-Simons term therefore gives $-\frac{1}{2}\int B_2\wedge G_4\wedge G_4$.

Absorbing the coordinate circumference into ${\kappa }_{10}^2={\kappa }_{11}^2/(2\pi r_0)$, the complete bosonic massless type IIA supergravity action in these conventions isDropping boundary terms assumes appropriate boundary conditions; nontrivial flux bundles may require patchwise potentials. Higher circle modes and higher-derivative corrections are excluded by this low-energy zero-mode reduction. No Romans-mass term arises from the ordinary ansatz.

The M-theory origin of type IIA D-branes follows by momentum, wrapping and magnetic geometry:

An M2-brane wrapped around the circle gives the fundamental string, and an unwrapped M5-brane gives the NS5-brane. These are NS objects rather than D-branes. In physical string/Planck units, the M-theory circle duality relations areThey involve the physical asymptotic radius, distinguished from the arbitrary coordinate period used in the reduction ansatz. For example, $m_{D0}=1/(g_s{\ell }_s)=1/R_{11}$ is one momentum quantum. With $T_{M2}=1/[(2\pi {)}^2{\ell }_p^3]$ and $T_{M5}=1/[(2\pi {)}^5{\ell }_p^6]$,The D6-brane is purely gravitational in eleven dimensions, rather than an elementary six-dimensional membrane; the circle-fibration magnetic charge gives its ten-dimensional interpretation.

A D8-brane is the important qualification. It sources the zero-form flux of massive type IIA supergravity and is not obtained as an ordinary wrapped M2/M5 or Kaluza-Klein object of the undeformed circle reduction above. Its extended/generalized lifts are outside this simple dictionary. The massless-circle interpretation of the other branes is developed in Four Lectures on M-theory.

The three identifications areThey match the same lower-dimensional theory, including its moduli of a string compactification, charged states and extended branes. Different weakly coupled descriptions occupy different limits of its moduli space.

For the M-theory circle duality, write ${\ell }_s=\sqrt{{\alpha }^{\prime }}$ and let ${\ell }_p$ be the eleven-dimensional Planck length. The standard length dictionary isThe circle radius is the type IIA superstring theory coupling modulus. The eleven-dimensional metric supplies the ten-dimensional metric, dilaton and Ramond–Ramond potential $C_1$ through Kaluza-Klein theory; the three-form supplies $C_3$ and the Neveu–Schwarz two-form $B_2$ by $A_3=C_3+B_2\wedge dy$. Thus the field content also agrees with type IIA supergravity.

The M2-brane and M5-brane tensions are $T_2=(2\pi {)}^{-2}{\ell }_p^{-3}$ and $T_5=(2\pi {)}^{-5}{\ell }_p^{-6}$. Wrapping one spatial direction multiplies the effective brane tension by $2\pi R_{11}$. Consequently:

These tension and charge relations explain why increasing $g_A$ reveals an eleventh dimension. The simple circle dictionary describes massless type IIA supergravity; a D8-brane involves its massive extension and Romans mass.

For the M-theory torus duality, the complex structure of the torus is the IIB axion-dilatonIts area supplies the remaining radius modulus. In a common nine-dimensional mass normalization, an M2-brane wrapped on the entire torus has mass $T_2\mathcal{A}$, identified with $1/R_B$; hence $R_B$ is inversely related to the torus area in that normalization. Radii quoted in different string or Einstein metrics also include their Weyl rescaling. A rectangular torus with cycle radii $R_{10},R_{11}$ has $g_B=R_{11}/R_{10}$. Equivalently, first reduce to IIA and use T-duality:where $R_A,R_B$ in this formula use the corresponding string metrics. Shrinking the torus area at fixed $\tau$ decompactifies the IIB circle. The torus mapping class group $SL(2,\mathbb{Z})$ becomes IIB S-duality.

An M2-brane wrapped on a primitive $(p,q)$ one-cycle gives a (p,q) string, whose tension is the membrane tension times the cycle length before conversion to the IIB metric. Momentum on the torus matches winding of these strings on the IIB circle. An M5-brane wrapped on the whole torus gives an unwrapped D3-brane; an unwrapped M2-brane gives a D3-brane wrapped on the IIB circle. An M5-brane wrapped on one torus cycle gives a (p,q) five-brane wrapped on the IIB circle. The unwrapped M5-brane is the magnetic dual of the IIB circle's Kaluza-Klein mode, represented by its Kaluza-Klein monopole five-brane. These identifications match effective spatial dimensions as well as electric and magnetic charges.

For the M-theory K3 duality, the common noncompact spacetime has seven dimensions and sixteen supersymmetry generators. A Ricci flat K3 surface has a positive three-plane in its second real cohomology, equipped with the K3 intersection lattice of signature $(3,19)$. The unit-volume moduli space of Ricci-flat K3 metrics has local formwith a discrete lattice identification and one additional positive volume modulus. This is the heterotic Narain moduli space on $T^3$, together with the seven-dimensional coupling: its torus metric has six parameters, its antisymmetric tensor three, and its sixteen gauge Wilson lines forty-eight, giving $6+3+48=57$ before the dilaton.

The coupling–volume relation can be checked dimensionally rather than guessed. A wrapped M5-brane gives a heterotic fundamental string with tension $T_{5}V$, so its squared string length is proportional to ${\ell }_p^6/V$. The seven-dimensional gravitational coupling is proportional to ${\ell }_p^9/V$. Their dimensionless ratio givesThus the large-volume M-description corresponds to strong heterotic coupling. Overall constants depend on the normalization of the lower-dimensional coupling.

There are twenty-two gauge fields from reducing $A_3$ on the twenty-two harmonic two-forms of K3, matching the heterotic sixteen gauge vectors plus three metric and three two-form vectors. The remaining seven-dimensional three-form is dual to the heterotic two-form. A wrapped M2-brane gives an electrically charged particle in the shared charge lattice, matching heterotic momentum, winding and gauge charges; an M5-brane on a two-cycle gives its magnetic three-brane. An M5-brane wrapping all of K3 gives the heterotic string, while an unwrapped M2-brane corresponds to a heterotic NS5-brane wrapped on $T^3$. At suitable collapsing two-cycles, charged membrane states become massless and yield ADE gauge enhancement. The geometry accounts for both generic abelian charges and nonabelian enhancement. There is no extra K3 two-form modulus in the M-description: its fundamental potential is a three-form, and $b_3(K3)=0$.

A (p,q) string carries $p$ units of fundamental string charge and $q$ units of D1-brane charge. Coprime integers label an elementary primitive charge vector; nonprimitive vectors describe multiple units. The displayed tension uses the string metric and vanishing axion. In the M-theory torus duality, it comes from an M2-brane wrapped on the corresponding primitive one-cycle.

The supersymmetric M2-brane worldvolume theory includes embedding bosons and fermions and has kappa symmetry. In eleven dimensions its fermionic embedding coordinate is a thirty-two-component Majorana spinor.