Recursive relations from diffeomorphism in the Randall-Sundrum model

Abstract: Models of gravity in warped extra dimensions enjoy invariance under diffeomorphism. We derive the nonlinear transformation rules for the metric perturbations in the unitary gauge. As an off-shell symmetry, the main consequence of diffeomorphism is a set of recursive relations linking consecutive orders in the field expansion of the effective Lagrangian. The physical consequences are briefly explored for the Randall-Sundrum model with hard branes.

• The paper demonstrates that off-shell diffeomorphism invariance leads to recursive operator relations connecting consecutive orders in the effective Lagrangian.
• It employs explicit nonlinear transformation rules for metric perturbations and radion fields, clarifying the interplay between kinetic, potential, and mixing terms.
• The analysis constrains higher-order gravitational interactions, providing robust insights for model building in warped extra-dimensional theories with GW stabilization.

Recursive Diffeomorphism Relations in the Randall-Sundrum Model

Introduction

This work addresses the structure of diffeomorphism invariance in warped extra-dimensional gravity models, specifically in the Randall-Sundrum (RS) scenario equipped with the Goldberger-Wise (GW) stabilization mechanism. The analysis is performed off-shell, without imposing the equations of motion (EOMs), and derives exact—i.e., nonlinear—transformation rules for metric perturbations. A novel result is the demonstration that diffeomorphism invariance, realized as an off-shell symmetry, induces a set of recursive operator relations connecting consecutive orders of the effective Lagrangian in the expansion around the RS/GW vacuum. These recursive relations are key theoretical constraints on the interaction structure for fluctuations in warped geometries and have implications for consistency of the effective theory beyond quadratic order.

Diffeomorphism Invariance and Nonlinear Transformations

The RS model is defined on a five-dimensional Anti-de Sitter (AdS$_5$) spacetime with two branes at fixed positions in the extra dimension, stabilizing the inter-brane separation via the GW scalar mechanism. The model action incorporates the metric $g_{MN}$ and the GW scalar $\phi$, with appropriate potential and brane-localized terms. Invariance under five-dimensional diffeomorphisms is a cornerstone of such models; however, the implementation of symmetry for the action expanded in perturbations reveals nonlinear effects.

The diffeomorphism induces a Lie derivative action on fields, leading to the metric and scalar transformations:

• $\delta g_{MN} = \nabla_M \xi_N + \nabla_N \xi_M$
• $\delta\phi = \xi^K \partial_K \phi$

with the gauge parameter $\xi^M$ vanishing at the orbifold boundaries. Central to the analysis is the proof that the full Lagrangian density transforms into a total derivative:

$$\delta (\sqrt{g} \mathcal{L}) = \partial_M (\xi^M \sqrt{g} \mathcal{L})$$

Demonstrating this requires explicit treatment of the nonlinearities in the transformation, particularly in the context of unitary gauge and an arbitrary (off-shell) field configuration. The exact transformation rules for the perturbative graviton $h_{\mu\nu}$ and the radion fields $F$, $G$ are derived, showing that the diffeomorphism does not mix spins and that nonlinear field-dependent terms are essential for full invariance.

Recursive Relations in the Lagrangian Expansion

A primary result is the identification of a recursive structure connecting the $g_{MN}$0-th and $g_{MN}$1-th order terms in the expansion of the bulk Lagrangian:

$g_{MN}$2

Under the nonlinear and linear parts of the diffeomorphism variation (respectively, $g_{MN}$3, $g_{MN}$4), the following recursive equation holds identically:

$g_{MN}$5

Physically, this relation means nonlinear gauge variations at a given order are compensated by linear variations at higher order, up to a total derivative. Crucially, it is valid without performing 5D integration; surface terms from boundary contributions are carefully incorporated and not discarded, which is essential for mathematical consistency of the operator relations.

The lowest order (field-independent) term yields that the variation of the linear potential term is a total derivative, while the variation of the linear kinetic term vanishes identically. For higher orders ($g_{MN}$6), recursive relations enforce a nontrivial interplay between kinetic, potential, and mixing terms of gravitons and radions, incorporating all total derivatives arising from the expansion.

Off-Shell and On-Shell Symmetry Structure

The analysis is fundamentally off-shell: all fields, including radion and scalar fluctuations, are treated as independent variables not subject to their classical EOMs. The consequences are significant for the constraints imposed on the admissible effective interactions, in particular at cubic and higher orders. When the GW scalar stabilization is turned off and the RS background is strictly AdS$g_{MN}$7, the on-shell diffeomorphism invariance becomes more restrictive due to functional relations among fluctuations; for example, the constraint $g_{MN}$8 arises from the linearized Einstein equations. The GW stabilization breaks this relation, modifying the diffeomorphism algebra and providing a mass to the radion. Off-shell invariance, as established here, persists in the presence of general background configurations.

Implications and Future Directions

The recursive relations derived in this analysis impose robust structural constraints on the operators appearing in the effective bulk Lagrangian of RS-type models, particularly those relevant to nonlinear interactions of gravitons and moduli fields (radions and GW scalars). These constraints are directly tied to the underlying diffeomorphism gauge symmetry and are important for several reasons:

• Model Building: Ensuring consistency of higher-dimensional operators constrained by symmetry yields reliable predictions for collider, gravitational wave, and cosmological signatures.
• Perturbative Unitarity and Effective Theory: The presence of such recursive relations is relevant to questions of strong coupling, perturbative unitarity, and the structure of non-renormalizable interactions in extra-dimensional models.
• Phase Transitions and Cosmology: Interactions among radions, gravitons, and matter fields control the dynamics of early universe phase transitions, with implications for baryogenesis and stochastic gravitational wave backgrounds.
• AdS/CFT Correspondence: The results clarify the connection between bulk gauge symmetries and boundary CFT operator relations, as well as deformation structures in broken conformal/scale invariance.

Potential future directions include extending the recursive analysis to soft-wall or more general warped geometries, explicit calculations of higher-order operator mixing, and the systematic enumeration of independent invariants in effective field theory treatments of brane-world scenarios.

Conclusion

This work establishes that the 5D RS action, including GW scalar stabilization, possesses exact off-shell diffeomorphism invariance realized through nonlinear field transformations. The key outcome is a set of recursive relations linking Lagrangian terms of different orders, ensuring that the operator structure of the effective action adheres to diffeomorphism constraints at all orders in the field expansion. These results have concrete implications for the self-consistency of extra-dimensional effective theories, the structure of radion and graviton interactions, and the interpretation of low-energy phenomenology in light of higher-dimensional gauge symmetries.