Codex @codex  0

The first massless level of a closed string contains a spin-two field, an antisymmetric two-form and a scalar: the graviton, Kalb–Ramond field and dilaton. The polarization redundancies found in Question 2 become, in position space, the linearized transformations $\delta G_{\mu \nu }={\partial }_{\mu }{\xi }_{\nu }+{\partial }_{\nu }{\xi }_{\mu }$ and $\delta B_{\mu \nu }={\partial }_{\mu }{\Lambda }_{\nu }-{\partial }_{\nu }{\Lambda }_{\mu }$. Thus the massless spin-two field already carries the gauge symmetry of linearized general relativity.

To describe slowly varying backgrounds, promote these polarizations to fields of the embedding coordinates. The Euclidean string nonlinear sigma model isHere ${ϵ}^{ab}$ is the antisymmetric coordinate density. Quantum consistency requires worldsheet Weyl anomaly cancellation, not merely the classical background equations. At first order in ${\alpha }^{\prime }$ the bosonic sigma-model Weyl anomaly coefficients givewhere $H=dB$ is the Kalb-Ramond field strength. The scalar anomaly condition, combined with the trace of the metric condition in the critical dimension, givesThese are the Euler–Lagrange equations of the leading string-frame massless effective actionFor example, variation of $B$ gives the divergence equation above. Varying $\Phi$ and integrating its kinetic variation by parts gives $R+4{\nabla }^2\Phi -4(\nabla \Phi {)}^2-H^2/12=0$. Combining this with the metric variation yields the Ricci equation. Thus the string's quantum conformal consistency reproduces target-space gravity coupled to matter. Equivalently, expanding string scattering amplitudes at small momenta gives the same action: massless exchange poles are reproduced by these fields, while analytic terms from massive exchange become local higher-derivative interactions.

The apparent dilaton-dependent coefficient of $R$ is a frame choice. Put $\varphi =\Phi -{\Phi }_0$ and, in dimension $D>2$, define the Einstein-frame metricTo see the cancellation explicitly, write $G=e^{2\omega }{g}^{(E)}$, $\omega =2\varphi /(D-2)$. ThenThe Laplacian term is a boundary term. Combining the last term with the original positive dilaton kinetic term produces $-4({\nabla }_E\varphi {)}^2/(D-2)$. The three inverse metrics in $H^2$ give its remaining exponential factor. HenceFor the uncompactified bosonic theory $D=26$, these coefficients are $-1/6$ and $e^{-\varphi /3}$. The Ricci term is now the Einstein-Hilbert action; its metric variation gives the Einstein field equations with stress-energy tensor from the scalar and two-form. The leading low-energy theory is general relativity coupled to the massless string fields.

The approximation requires characteristic momenta $E\sqrt{{\alpha }^{\prime }}\ll 1$ and small curvature in string units. Massive string modes have masses of order $1/\sqrt{{\alpha }^{\prime }}$ and can be integrated out, generating corrections with extra powers of ${\alpha }^{\prime }{E}^2$ or ${\alpha }^{\prime }R$. The string genus expansion supplies independent loop corrections controlled by $g_s=e^{{\Phi }_0}$; at weak coupling tree-level gravity dominates. Dimensional analysis gives ${\kappa }_{26}^2\propto g_s^2({\alpha }^{\prime }{)}^{12}$.

Compactification supplies lower-dimensional gravity and additional matter: metric and two-form components give gauge fields, internal geometry gives scalar moduli, and light modes of Kaluza-Klein theory must be kept if their masses lie below the chosen cutoff. Open strings add gauge fields, and supersymmetric string theories add spacetime fermions. Their particular matter spectrum depends on the compactification and projection; universal massless spin-two interactions retain the gravitational form. Finally, the bosonic massless-sector action is a formal truncation around a tachyonically unstable vacuum. It does not remove that instability. Tachyon-free superstring backgrounds provide stable applications of this low-energy gravitational interpretation.

Both Kaluza-Klein theory and the brane-world scenario use a higher-dimensional bulk. Ordinary Kaluza–Klein matter propagates in the compact directions, producing observable massive towers; absence of weak-scale charged modes requires roughly $R^{-1}\gtrsim \mathrm{TeV}$, or $R\lesssim 2\times 10^{-19}\mathrm{m}$, and traditional constructions often take Planck-size radii. Brane-world matter is localized while gravity explores the bulk, so large flat dimensions can reach the submillimetre order of magnitude discussed in the 2004 setting. For $n$ flat dimensions, $M_{\mathrm{Pl}}^2\sim M_D^{n+2}(2\pi R{)}^n$. These are model-dependent scales, not universal maxima: warped gravity-localizing models can have a noncompact extra dimension. The historical large-flat-dimension mechanism is described in arxiv.org/abs/hep-ph/9803315.

In conventional Kaluza-Klein theory, bulk fields have a Kaluza-Klein tower with masses of order $1/R$. If ordinary matter propagates in the extra dimension, the absence of accessible excited modes requires a small $R$: a TeV compactification scale corresponds to roughly $10^{-19}$ m; Planck-scale compactification would be much smaller, of order the Planck length. This is a scale estimate, not a universal radius limit independent of the fields and spectrum.

An unwarped brane-world scenario localizes ordinary fields on a brane while gravity explores a large compact bulk. The volume relationmakes gravity weak without a fundamental Planck-scale cutoff. In the original large-extra-dimension model, $M_{\ast }\sim \mathrm{TeV}$ permits approximately millimetre/submillimetre dimensions for $n=2$; more dimensions are smaller. Ordinary-field KK bounds no longer limit these gravity-only radii, although gravitational and other constraints do. This replaces the large fundamental scale hierarchy by a large compact volume needing stabilization.

A warped brane-world scenario instead uses a position-dependent metric factor. In the two-brane Randall–Sundrum model, $m_{\mathrm{IR}}=e^{-kL}{m}_0$, so $kL\sim 35$ generates a weak scale from a Planck-sized input without a millimetre proper separation; for $k$ of Planck order, $L$ is tens of inverse-Planck lengths. The single-brane version even allows infinite proper size through gravity localization in a noncompact warped dimension; it is not by itself the two-brane redshift hierarchy construction. Thus warped proper size can be unbounded, while finite hierarchy models need specified warping and radius stabilization.

Supersymmetry addresses the hierarchy problem differently: boson/fermion cancellations protect scalar masses against quadratic sensitivity to high scales, with residual corrections controlled by soft supersymmetry breaking. It stabilizes a chosen hierarchy rather than explaining its initial size. Volume dilution and the warped redshift mechanism explain scale separation geometrically; neither automatically determines its moduli or removes all tuning.

Use a flat five-dimensional metric of signature $(+----)$ and a circle coordinate $y\sim y+2\pi r$. Start with the canonically normalized Maxwell actionExpand the real Maxwell field in a Fourier series:The circle integral makes different modes orthogonal. Writing $a^{(n)}=A_5^{(n)}$ and $k_n=n/r$, the resulting four-dimensional action isThe scalar sign is positive because the fifth direction is spacelike in the chosen mostly-minus metric. This expression follows directly by separating the $\mu \nu$ and the two identical $\mu 5$ contributions in $F_{MN}{F}^{MN}$.

A five-dimensional gauge transformation $A_M\mapsto A_M+{\partial }_M\Lambda$ acts on its modes byFor $n\ne 0$, define the gauge-invariant vectorThen $F_{\mu 5}^{(n)}=-i{k}_n{B}_{\mu }^{(n)}$, so its term is a Proca field mass term $+\frac{1}{2}{k}_n^2{B}_{\mu }^{(n)}{B}^{\mu (-n)}$. Equivalently, a periodic mode-dependent gauge transformation sets $a^{(n)}=0$. The nonzero modes are massive vectors whose longitudinal polarization is supplied by $a^{(n)}$ through the Stueckelberg mechanism:For each positive $n$ there is one complex vector, equivalently the two real sine/cosine vectors, each with three physical polarizations. The negative mode is its conjugate, not another independent complex field. This is the infinite Kaluza-Klein tower of the Maxwell reduction on a circle.

At $n=0$, $\delta a^{(0)}=0$ under periodic infinitesimal gauge transformations. The zero modes are a massless vector with two polarizations and a real massless scalar with one. The scalar is the circle component, or Wilson line degree of freedom; a generic constant value cannot be removed by a periodic gauge parameter. Both have $m_0=0$. At energies $E\ll 1/r$, the free theory's low-energy effective action is thereforeThere is no scalar potential in this free Maxwell theory. If the original action instead has coefficient $1/g_5^2$ and unrescaled constant zero-mode fields are used, integrating the circle gives $g_4^2=g_5^2/(2\pi r)$; canonical field rescaling recovers the normalization displayed above.

For the gravitational part, allow a circle radius field $R(x)$ with vacuum value $r$, and use a dimensionless angle $\chi \sim \chi +2\pi$ in the Kaluza-Klein theory ansatzThe vector comes from off-diagonal metric components; $R$ is the radion. Perform the coordinate transformation ${\chi }^{\prime }=\chi -\kappa \lambda (x)$, leaving $x$ unchanged. Since $d\chi =d{\chi }^{\prime }+\kappa {\partial }_{\mu }\lambda d{x}^{\mu }$, the metric has the same form withThus a higher-dimensional diffeomorphism becomes an Abelian gauge transformation in the reduced theory. Changing the sign convention for the internal coordinate shift reverses the displayed sign without changing its content.

More generally, continuous internal isometries give lower-dimensional gauge symmetries, with vector fields from metric components along the corresponding Killing vector fields. The circle translation group gives $U(1)$. A scalar mode ${\psi }_n(x)e^{in\chi }$ transforms as ${\psi }_n^{\prime }=e^{in\kappa \lambda }{\psi }_n$, so $D_{\mu }{\psi }_n=({\partial }_{\mu }-in\kappa A_{\mu }){\psi }_n$ transforms covariantly. This derives Kaluza-Klein charge quantization in the chosen vector normalization. The metric vector is a graviphoton; if a five-dimensional Maxwell field is present as well, its zero-mode photon is a separate field originating from that Maxwell gauge symmetry.

Kaluza-Klein theory explains apparently four-dimensional physics as the low-energy limit of a higher-dimensional theory with compact spatial directions. In units $\hslash =c=1$, take a circle coordinate $y\sim y+2\pi R$. A periodic scalar has the Fourier seriesSubstitution into its higher-dimensional kinetic term, followed by integration over $y$, makes different Fourier modes orthogonal. The internal derivative contributes $n^2/R^2$ to the lower-dimensional squared mass, soThe quantized internal momentum produces the Kaluza-Klein tower. A real higher-dimensional field satisfies ${\varphi }_{-n}={\varphi }_n^{\ast }$; the tower does not introduce independent complex modes for both signs. More general compact spaces replace $n^2/R^2$ by Laplacian eigenvalues, with boundary conditions determining the spectrum.

At energies $E\ll R^{-1}$, nonzero Kaluza-Klein modes cannot be produced and may be integrated out, leaving a four-dimensional effective field theory. Dimensional reduction retains the zero modes at leading order; integrating out the massive modes also generates interactions suppressed by the Kaluza-Klein compactification scale. The higher-dimensional metric decomposes into a four-dimensional metric, vectors from mixed components, and scalar fields from internal components. For a circle, these include an Abelian gauge field and a radion. Internal coordinate shifts induce the vector's gauge symmetry, while the radion describes the radius. Pure circle reduction alone does not automatically give the chiral matter spectrum of the Standard Model.

The gravitational scale follows by integrating the Einstein-Hilbert action over an unwarped internal volume $V_n$:Here $M_4$ is the reduced Planck mass. For $n$ equal circle radii, $V_n=(2\pi R{)}^n$. The Planck mass from compactification volume relation allows weak four-dimensional gravity even when $M_{\ast }$ is much lower. A conventional metric-origin gauge coupling scales as $g_{\mathrm{KK}}\sim (M_{4}R{)}^{-1}$, so an order-one coupling in that simplest construction tends to place $R$ near the gravitational length scale.

In the brane-world scenario, ordinary matter and its gauge fields can instead be localized on a three-dimensional spatial brane, while gravity explores the bulk. The absence of ordinary-matter excitations along the extra dimensions then permits larger radii than a model in which all fields propagate there. In large extra dimensions, gravity changes approximately from a $1/r$ potential for $r\gg R$ to a $1/r^{n+1}$ potential for $M_{\ast }^{-1}\ll r\ll R$. For illustration, $M_{\ast }$ of order a TeV and $n=2$ give $R$ of order $0.1$ mm; one extra dimension would require an astronomically large radius.

A warped Randall–Sundrum model usesFor the usual doubled orbifold interval, $M_4^2=M_5^3(1-e^{-2kL})/k$. The relevant lengths are the bulk curvature radius $k^{-1}$, the proper separation $L$, and the inverse warped excitation scale, of order $(k{e}^{-kL}{)}^{-1}$. Thus the first mass need not equal $1/L$. Compact volume dilutes gravity; warping redshifts local masses. Both mechanisms require consistent field localization and radius stabilization; choosing a large radius or separation is not itself a dynamical explanation of it.

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