pith. sign in

arxiv: 1310.6353 · v2 · submitted 2013-10-23 · ✦ hep-th

Kaluza-Klein Towers on General Manifolds

Kurt Hinterbichler , Janna Levin , Claire Zukowski This is my paper

Pith reviewed 2026-05-05 05:04 UTC · model claude-opus-4-7

classification ✦ hep-th MSC 53C2558J5083E15 PACS 04.50.Cd11.25.Mj04.50.-h
keywords Kaluza-Klein reductionHodge decompositionStuckelberg formalismLichnerowicz operatorflux compactificationHiguchi boundmassive gravityEinstein manifolds
0
0 comments X

The pith

Kaluza-Klein towers on any internal manifold can be read off from the action by Hodge-decomposing fields into physical and Stuckelberg modes.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

When a higher-dimensional theory is compactified on an internal manifold, four-dimensional physics inherits an infinite tower of fields with masses set by Laplacians on the internal space. This paper rebuilds that derivation for scalars, p-forms, linearized gravity, and Freund-Rubin flux backgrounds in a single uniform language: expand each higher-dimensional field in the Hodge decomposition (exact, co-exact, harmonic) for forms and an analogous decomposition for symmetric tensors using the Lichnerowicz operator. Once expanded, the higher-dimensional action integrates cleanly over the internal manifold, and the resulting d-dimensional action is already in gauge-invariant Stuckelberg form — the would-be longitudinal modes are exactly the exact pieces of the decomposition, and the higher harmonics of the higher-dimensional gauge symmetry become Stuckelberg symmetries. Spectra and stability fall out by inspection: graviton masses equal scalar Laplacian eigenvalues, vector masses involve vector Laplacian eigenvalues shifted by curvature, and the Lichnerowicz spectrum governs internal tensor moduli. Along the way the authors show, using the Lichnerowicz lower bound, that Kaluza-Klein gravitons can never saturate the Higuchi bound, so partially massless gravitons never appear in pure Kaluza-Klein reductions.

Core claim

The free Kaluza-Klein tower for scalars, p-forms, gravity, and Freund-Rubin flux compactifications can be derived on any smooth internal manifold entirely at the action level, without ever fixing a gauge or invoking equations of motion. The trick is that the Hodge decomposition for forms — and its analog for symmetric tensors built from the Lichnerowicz operator — sorts the higher-dimensional fields into physical modes and Stuckelberg modes automatically. After integrating over the internal manifold, the d-dimensional action appears as a tower of gauge-invariant Stuckelberg combinations whose masses are eigenvalues of internal Laplacians, and stability conditions follow directly from those e

What carries the argument

The Hodge decomposition of p-forms together with its symmetric-tensor analog (transverse-traceless plus symmetrized-derivative plus trace pieces, with the Lichnerowicz operator as the relevant Laplacian). The decomposition diagonalizes the integrated action and, crucially, separates physical from Stuckelberg fields without gauge fixing; Killing vectors and conformal scalars (which saturate the Lichnerowicz eigenvalue bound) are the special cases where Stuckelberg pieces are absent and must be excluded by hand.

If this is right

  • Partially massless gravitons cannot arise from any pure Kaluza-Klein reduction of Einstein gravity, because the Lichnerowicz lower bound on the scalar Laplacian is incompatible with the Higuchi saturation condition.
  • Compactifications of pure gravity to positively curved (e.g. de Sitter) lower-dimensional spaces are always unstable through the volume modulus, but turning on Freund-Rubin flux can stabilize that modulus once the flux is large enough.
  • Stability of a flux compactification on a generic internal manifold reduces to a finite list of eigenvalue inequalities for the scalar Laplacian, the vector Laplacian, and the Lichnerowicz operator — quantities computable from internal geometry alone.
  • On internal product manifolds like S^p x S^q the Lichnerowicz operator generically has a tachyonic mode corresponding to trading volume between factors, giving a Hubble-scale instability visible directly from the action.
  • Massless lower-dimensional vectors are in one-to-one correspondence with Killing vectors of the internal manifold, and massless scalar moduli are in one-to-one correspondence with Lichnerowicz zero modes that deform the Einstein structure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Because the framework is action-level and gauge-invariant, the same Stuckelberg structure should extend cleanly to interactions: cubic and higher couplings on the internal manifold become overlap integrals of Hodge eigenmodes, giving a systematic route to KK self-interactions.
  • The result that partially massless gravitons cannot emerge from KK reduction strengthens the case that any putative partially massless theory must be constructed top-down rather than obtained as a limit of a higher-dimensional Einstein theory.
  • The same machinery should generalize to fermions and to backgrounds with warping, but each generalization will hinge on whether an analogous orthogonal decomposition with a self-adjoint internal operator exists for the relevant field type.
  • The technique gives a practical computational recipe for phenomenological model-building: pick an internal manifold, compute three Laplacian spectra, and read stability and the mass tower from a fixed table of formulas.

Load-bearing premise

The argument relies on having a clean Hodge-style decomposition for symmetric tensors on the internal space — including a well-behaved Lichnerowicz operator with discrete spectrum and the right exclusion of Killing and conformal modes — which is established for closed Einstein manifolds but is the load-bearing structural input for everything that follows.

What would settle it

Compute the Kaluza-Klein spectrum on a specific non-trivial internal manifold (say a known Einstein space whose Lichnerowicz spectrum is tabulated, such as a product of spheres or a quotient of hyperbolic space) by the standard equations-of-motion / propagator method, and compare the resulting masses, mixings, and stability windows to the action-level formulas given here (e.g. Eqs. 6.49, 6.52, 6.56). Any disagreement on a mass, a Stuckelberg identification, or the Higuchi-bound conclusion would falsify the construction.

read the original abstract

A higher-dimensional universe with compactified extra dimensions admits a four-dimensional description consisting of an infinite Kaluza-Klein tower of fields. We revisit the problem of describing the free part of the complete Kaluza-Klein tower of gauge fields, p-forms, gravity, and flux compactifications. In contrast to previous studies, we work with a generic internal manifold of any dimension, completely at the level of the action, in a gauge invariant formulation, and without resorting to the equations of motion or analysis of propagators. We demonstrate that the physical fields and Stuckelberg fields are naturally described by ingredients of the Hodge decomposition and its analog for symmetric tensors. The spectrum of states and stability conditions, in terms of the eigenvalues of various Laplacians on the internal manifold, is easily read from the action.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

pith-pipeline@v0.1.0 · 4574 in / 1684 out tokens · 23756 ms · 2026-05-05T05:04:43.606810+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.