Five-Dimensional Metric Ansatz

The Kaluza–Klein (KK) Equations – Explicit Derivation in Five Dimensions

The Kaluza–Klein (KK) equations are derived by imposing a specific metric ansatz on five-dimensional general relativity and reducing the theory to four dimensions. The derivation proceeds rigorously from the five-dimensional Einstein equations (or equivalently, the Einstein–Hilbert action) without presupposing Maxwell’s equations or the Lorentz force; both emerge as consequences of geometry. All steps assume the vacuum case in five dimensions for simplicity (extensions to matter follow identically). The cylinder condition (independence of all fields on the extra coordinate) is imposed after the ansatz, as justified by the dynamical stabilization discussed in the amended framework.

Step 1: Five-Dimensional Metric Ansatz

Consider a five-dimensional spacetime with coordinates \( x^A = (x^\mu, x^5) \), where \( \mu, \nu = 0, 1, 2, 3 \) and \( x^5 \) is the compact extra dimension. The line element is parametrized as

\[ ds^2 = G_{AB}\, dx^A dx^B = g_{\mu\nu}(x^\rho)\, dx^\mu dx^\nu + \phi^2(x^\rho) \bigl( dx^5 + A_\mu(x^\rho)\, dx^\mu \bigr)^2, \]

where \( g_{\mu\nu}(x^\rho) \) is the four-dimensional metric, \( \phi(x^\rho) \) is a scalar field (the dilaton), and \( A_\mu(x^\rho) \) is a vector field (the electromagnetic potential). All fields are independent of \( x^5 \) (cylinder condition: \( \partial_5 \equiv 0 \)).

Expanding the metric tensor components yields the explicit matrix form

\[ G_{AB} = \begin{pmatrix} g_{\mu\nu} + \phi^2 A_\mu A_\nu & \phi^2 A_\mu \\ \phi^2 A_\nu & \phi^2 \end{pmatrix}. \]

The determinant satisfies \( \sqrt{-G} = \phi \sqrt{-g} \), where \( g = \det(g_{\mu\nu}) \).

The inverse metric \( G^{AB} \) (obtained by block-matrix inversion) is

\[ G^{AB} = \begin{pmatrix} g^{\mu\nu} & -A^\mu \\ -A^\nu & \phi^{-2} + A_\lambda A^\lambda \end{pmatrix}, \]

where indices are raised with \( g^{\mu\nu} \) and \( A^\mu = g^{\mu\nu} A_\nu \).

Step 2: Five-Dimensional Einstein–Hilbert Action

The fundamental dynamics are governed solely by the five-dimensional Einstein–Hilbert action (non-Maxwell):

\[ S_5 = \frac{1}{16\pi G_5} \int R_5 \sqrt{-G}\, d^5 x, \]

where \( R_5 \) is the five-dimensional Ricci scalar, \( G_5 \) is the five-dimensional Newton constant, and the integral is over the five-dimensional manifold. The vacuum Einstein equations follow by variation:

\[ R_{AB} - \frac{1}{2} G_{AB} R_5 = 0 \quad \Leftrightarrow \quad R_{AB} = 0 \]

(in the trace-reversed form; the cosmological-constant term may be added but is omitted here for the classical vacuum reduction).

Step 3: Reduction of the Five-Dimensional Ricci Scalar

To reduce \( R_5 \), compute the five-dimensional Christoffel symbols

\[ \Gamma^C_{AB} = \frac{1}{2} G^{CD} \bigl( \partial_A G_{BD} + \partial_B G_{AD} - \partial_D G_{AB} \bigr) \]

using the metric components and the cylinder condition. The symbols split into purely four-dimensional, mixed, and extra-dimensional classes. After substitution and contraction, the five-dimensional Ricci scalar \( R_5 \) reduces exactly to (up to total derivatives that vanish upon integration)

\[ R_5 = R_4 - \frac{1}{4} \phi^2 F_{\mu\nu} F^{\mu\nu} - \frac{2}{\phi} \Box_g \phi, \]

where

• \( R_4 \) is the four-dimensional Ricci scalar constructed from \( g_{\mu\nu} \),
• \( F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu \) is the field-strength tensor (emergent; no Maxwell Lagrangian is inserted),
• \( \Box_g = \nabla^\mu \partial_\mu \) is the four-dimensional d’Alembertian with respect to \( g_{\mu\nu} \).

Substituting into the action and integrating over the compact \( x^5 \) (whose effective length is proportional to \( \phi \)) produces the four-dimensional effective action

\[ S_4 = \frac{1}{16\pi G} \int \Bigl[ \phi R_4 - \frac{1}{4} \phi^3 F_{\mu\nu} F^{\mu\nu} - \frac{1}{\phi} (\partial_\mu \phi)(\partial^\mu \phi) \Bigr] \sqrt{-g}\, d^4 x, \]

where the four-dimensional Newton constant satisfies \( G = G_5 / (2\pi R_0) \) (with \( R_0 \) the stabilized compactification radius) and higher-order terms are neglected at low energies.

Step 4: Derivation of the Reduced Field Equations

Vary \( S_4 \) with respect to each field (equivalently, project the five-dimensional Einstein equations \( R_{AB} = 0 \) onto the four-dimensional components).

• Variation with respect to \( g_{\mu\nu} \) (or \( R_{\mu\nu} \) component projection):
  The four-dimensional Einstein equation with sources is \[ R_{\mu\nu} - \frac{1}{2} g_{\mu\nu} R = 8\pi G \bigl( T_{\mu\nu}^{\text{EM}} + T_{\mu\nu}^{\phi} \bigr), \] where the electromagnetic stress-energy tensor is \[ T_{\mu\nu}^{\text{EM}} = \frac{\phi^2}{4\pi} \Bigl( F_{\mu\lambda} F_\nu{}^\lambda - \frac{1}{4} g_{\mu\nu} F_{\rho\sigma} F^{\rho\sigma} \Bigr) \] and the dilaton contribution is \[ T_{\mu\nu}^{\phi} = \frac{1}{8\pi G} \Bigl[ \frac{1}{\phi} \bigl( \nabla_\mu \partial_\nu \phi - g_{\mu\nu} \Box \phi \bigr) - \frac{1}{\phi^2} \bigl( \partial_\mu \phi \partial_\nu \phi - \frac{1}{2} g_{\mu\nu} (\partial \phi)^2 \bigr) \Bigr]. \]
• Variation with respect to \( A_\mu \) (or \( R_{\mu 5} \) component projection):
  The inhomogeneous Maxwell equation (with dilaton coupling) is \[ \nabla_\mu \bigl( \phi^3 F^{\mu\nu} \bigr) = 0. \] When \( \phi \) is constant (low-energy limit after stabilization), this reduces to the source-free Maxwell equation \[ \nabla_\mu F^{\mu\nu} = 0. \] The homogeneous part \( \partial_{[\lambda} F_{\mu\nu]} = 0 \) follows identically from the Bianchi identity on \( F_{\mu\nu} \).
• Variation with respect to \( \phi \) (or \( R_{55} \) component projection):
  The dilaton wave equation is \[ \Box \phi = \frac{1}{4} \phi^3 F_{\mu\nu} F^{\mu\nu} + \frac{1}{2\phi} (\partial \phi)^2 \] (exact form after trace adjustment; the right-hand side sources \( \phi \) by the electromagnetic invariant). After adding a stabilizing potential \( V(\phi) \) (as in the amended theory), \( \phi \) acquires a mass and settles to a constant value \( \phi_0 \), decoupling it at laboratory scales.

Step 5: Geodesic Motion (Lorentz Force)

The five-dimensional geodesic equation

\[ \frac{d^2 x^A}{d\tau^2} + \Gamma^A_{BC} \frac{dx^B}{d\tau} \frac{dx^C}{d\tau} = 0 \]

projects under the cylinder condition and Killing vector \( \partial_5 \) (conserved charge \( q = \phi^2 (\dot{x}^5 + A_\mu \dot{x}^\mu) \)). The \( \mu \)-component yields the four-dimensional equation

\[ m \frac{D u^\mu}{d\tau} = q F^\mu{}_\nu u^\nu, \]

where \( u^\mu = dx^\mu / d\tau \) is the four-velocity and \( D \) is the four-dimensional covariant derivative.

Step 6: Consistency and Low-Energy Limit

When the dilaton is stabilized (\( \phi = \text{const} = 1 \)), the equations reduce precisely to the Einstein–Maxwell system:

\[ R_{\mu\nu} - \frac{1}{2} g_{\mu\nu} R = 8\pi G \, T_{\mu\nu}^{\text{EM}}, \qquad \nabla_\mu F^{\mu\nu} = 0, \]

with the Lorentz force recovered. All steps preserve the single non-Maxwell origin (five-dimensional Einstein geometry). Higher-order corrections (Kaluza–Klein modes) are massive and suppressed by the compactification scale.

This completes the explicit derivation.