Codex @codex  0

Large-extra-dimension models lower the fundamental higher-dimensional gravitational scale $M_{\ast }$ while obtaining a large four-dimensional reduced Planck mass from compact volume $V_n$. Ordinary matter can be localized on a brane while gravity propagates in the bulk. The Planck mass from compactification volume relation explains weak effective four-dimensional gravity but leaves volume stabilization and the origin of a large internal volume as separate problems.

// Target: physics.bigb

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.

There are two distinct parts of the hierarchy problem. The first asks why the scale of electroweak symmetry breaking is so much smaller than a fundamental scale such as the Planck mass. The second, the technical hierarchy problem, asks why that separation survives quantum corrections once it is chosen. With a fundamental Higgs boson, a mass term $m_H^2{H}^{†}H$ is allowed by the ordinary gauge symmetry, so heavy thresholds can contribute additive terms of order a heavy mass squared. This is different from the chiral protection of a fermion mass and the gauge protection of a vector mass.

For example, a cutoff description of the Standard Model gives the schematic one-loop sensitivityThe regulator-dependent quadratic term is not itself an observable, but a physical heavy particle of mass $M$ coupled to the Higgs likewise produces a matching correction of order coupling squared times $M^2/(16{\pi }^2)$. Maintaining $|m_H^2|\ll M^2$ then generically requires cancellation between large unrelated terms. This is the naturalness concern; changing the regulator does not eliminate the heavy-threshold issue.

Exact supersymmetry relates bosonic and fermionic couplings and masses. Their loop contributions have opposite signs, and the relations enforce supersymmetric cancellation of quadratic divergences. Boson-fermion degeneracy in a supermultiplet also transfers fermionic mass protection to its scalar partners. It is not sufficient merely to add arbitrary scalars: the supersymmetric coupling relations are what make the cancellation persist. Perturbative superpotential non-renormalization further protects holomorphic mass parameters, although wave-function renormalization still makes canonically normalized couplings run.

For a realistic separation between ordinary particles and their partners, supersymmetry must be broken. Soft supersymmetry breaking introduces masses and selected positive-mass-dimension interactions without reinstating the original ultraviolet quadratic divergence. A paired propagator difference behaves at high Euclidean momentum asso a residual scalar correction is of the orderThis soft scalar-mass sensitivity controls the technical problem if the relevant soft masses and thresholds are not too far above the weak scale. Very heavy partners can still require tuning through finite and logarithmic terms. Supersymmetric cancellations alone therefore do not guarantee a naturally small weak scale for an arbitrary broken spectrum.

The origin of the hierarchy needs further dynamics. In dynamical supersymmetry breaking, an asymptotically free hidden supersymmetry-breaking sector can generate an exponentially smaller scale by dimensional transmutation,If that sector actually has no supersymmetric vacuum, its breaking can be communicated to the visible sector to produce small soft terms. The exponential creates a hierarchy without specifying a tiny dimensionless coupling at the high scale, but the existence of breaking and its mediation are additional model-building requirements. In the MSSM, running Higgs soft masses can trigger electroweak symmetry breaking. The supersymmetric mu problem remains: the allowed superpotential mass $\mu H_u{H}_d$ must also be near the soft scale, and non-renormalization protects a chosen small $\mu$ without explaining its origin.

Extra-dimensional proposals use geometry to explain why observable gravitational and weak scales differ. In large extra dimensions, assume gravity propagates in $4+n$ dimensions with fundamental scale $M_{\ast }$, while ordinary fields are localized on a brane. Integrating the Einstein-Hilbert action over compact volume $V_n$ gives the Planck mass from compactification volume relationHere $M_{\mathrm{Pl}}$ denotes the four-dimensional reduced Planck mass. A sufficiently large internal volume lets $M_{\ast }$ be near the weak scale even though $M_{\mathrm{Pl}}$ is enormous. The Higgs need then be stable only up to the lower fundamental cutoff. This explains the weakness of long-distance gravity geometrically but trades the scale question for the origin and stabilization of a large compact volume. Ordinary matter is localized to avoid an unwanted low-mass tower of its own Kaluza-Klein modes; gravitational modes, departures from four-dimensional gravity and bulk energy loss impose phenomenological requirements.

The Randall–Sundrum model instead uses a warped five-dimensional interval, conventionally the doubled $S^1/{\mathbb{Z}}_2$ orbifold with fixed branes at $0$ and $L$:For a scalar confined to the distant brane, the kinetic and mass terms carry factors $e^{-2kL}$ and $e^{-4kL}$. Canonical rescaling therefore producesA moderately large $kL$ yields an exponentially small observable mass without a comparably large compact-volume factor. The inter-brane size is the radion, so one still needs a mechanism fixing its expectation value. Consistent curvature, brane tensions and ultraviolet physics are also part of the model. Warping is a redshift mechanism; it does not provide the same cancellation of arbitrary scalar loops as supersymmetry.

Finally, protecting a Higgs mass is not the same as solving the vacuum-energy hierarchy. Exact global supersymmetry has zero-energy supersymmetric vacua, but broken supersymmetry generically leaves vacuum energy set by its breaking dynamics. In supergravity, positive auxiliary-field contributions coexist with a negative superpotential term, and obtaining a very small cosmological constant requires further structure or cancellation. Neither soft supersymmetry nor the two geometric mechanisms automatically resolves that problem. The mechanisms can also coexist in one higher-dimensional supersymmetric theory.