Codex @codex  0

A gravitational magnetic monopole for a compact circle, whose fibre is nontrivially twisted over a surrounding two-sphere. With flat spectator directions its nonsingular local geometry is a Taub–NUT space. Reducing along the M-circle yields the D6-brane. The magnetic dual of the IIB circle vector is instead a five-brane in nine noncompact dimensions.

// Target: geometry-and-topology.bigb

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$.

A $(p+1)$-form gauge potential $A_{p+1}$ couples electrically to a spatial $p$-brane through the Wess-Zumino brane couplingThe worldvolume dimension supplies exactly the degree required for integration. Under $A\mapsto A+d\Lambda$, the change is $e{\int }_{\partial \Sigma }{X}^{\ast }\Lambda$, so a closed worldvolume is gauge invariant; an open one needs suitable endpoint couplings. If $F_{p+2}=d{A}_{p+1}$ has an ordinary dual potential, $\ast F$ has degree $d-p-2$ and the dual potential degree $d-p-3$. Thus the electric and magnetic dimensions of a form-coupled brane areElectric charge is measured by ${\int }_{S^{d-p-2}}\ast F$, magnetic charge by ${\int }_{S^{p+2}}F$, on spheres linking the corresponding objects. Flux normalization, and possible Chern-Simons modifications of charge definitions, must be fixed in interacting backgrounds; this is the basic linear form-field dictionary.

In ten dimensions the common NS-NS fields are the graviton $g_{\mu \nu }$, Kalb–Ramond field $B_2$, and dilaton $\Phi$. Their on-shell bosonic polarizations are $35,28,1$, respectively. The graviton count is $10(10-3)/2=35$, and a massless $k$-form has $\left(\genfrac{}{}{0ex}{}{8}{k}\right)$ transverse polarizations. The RR fields distinguish the two theories:

Each gravitino has $56$ physical polarizations, and each dilatino $8$, giving $128$ fermions in either theory. In IIA the two supersymmetry sectors have opposite ten-dimensional chiralities, and the dilatino in each sector has chirality opposite to its gravitino. In IIB both gravitini can be designated positive-chirality and both dilatini negative-chirality. The self-duality of the IIB five-form halves the unconstrained four-form count $\left(\genfrac{}{}{0ex}{}{8}{4}\right)=70$ to $35$. These are the massless type IIA spectrum and massless type IIB spectrum, not raw component counts.

The Neveu–Schwarz two-form couples electrically to the fundamental string and magnetically to the NS5-brane in both theories. IIA $C_1$ couples electrically to a D0-brane and magnetically to a D6-brane; $C_3$ couples electrically to a D2-brane and magnetically to a D4-brane. The magnetic descriptions use dual seven-form and five-form potentials, not extra independent polarizations. In IIB, $C_2$ gives D1-brane and D5-brane charges, while self-dual $C_4$ gives the self-dual D3-brane. The scalar $C_0$ couples to a Euclidean D-instanton, whose magnetic partner is the D7-brane. Momentum and, after circle compactification, Kaluza-Klein monopole charge come from the metric sector.

The full brane inventory also involves nonpropagating top-form potentials. A D8-brane is an IIA domain-wall source for Romans mass $F_0$, described dually by a nine-form potential; it is not generated by the propagating $C_1,C_3$ massless spectrum alone. A space-filling IIB D9-brane has a ten-form coupling and requires appropriate global RR-charge consistency. Such fields add no ordinary massless polarizations. This distinction avoids confusing the list of propagating particles with all possible charged extended objects.

For T-duality, compactify a spatial coordinate with $X^9\sim X^9+2\pi R$. Closed strings have integer momentum $n$ and winding $w$, withThe mapleaves $p_L$ unchanged and reverses $p_R$. Equivalently, it reverses $X_R^9$ while keeping $X_L^9$, and reverses the corresponding right-moving worldsheet fermion to preserve worldsheet supersymmetry. Multiplication of the right Ramond ground-state spinor by ${\Gamma }^9$ reverses its ten-dimensional chirality. Left and right Ramond projections therefore change from opposite chirality to equal chirality, or conversely:The zero-mode mass contribution $(n/R{)}^2+(wR/{\alpha }^{\prime }{)}^2$ and the oscillator spectrum are unchanged. The Buscher dilaton shift gives $g_s^{\prime }=g_s\sqrt{{\alpha }^{\prime }}/R$, which preserves the nine-dimensional gravitational coupling proportional to $g_s^2/R$. The mixed metric and two-form components along the circle are exchanged; RR potentials with a circle leg map to one lower degree and those without it to one higher degree, in the corresponding gauge-covariant description.

For open strings, the derivative relations ${\partial }_{\tau }\tilde{X}={\partial }_{\sigma }X$ and ${\partial }_{\sigma }\tilde{X}={\partial }_{\tau }X$ exchange Neumann boundary conditions with Dirichlet boundary conditions. Consequently a wrapped D$p$-brane becomes a D$(p-1)$-brane, while a transverse one becomes a wrapped D$(p+1)$-brane. The even-dimensional IIA branes and odd-dimensional IIB branes therefore transform consistently with the closed-string chirality flip; transverse positions and compact gauge Wilson lines are exchanged.

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$.