Pure Lovelock Gravity

• Pure Lovelock Gravity is a truncation of Lovelock theory that retains one specific curvature term and a cosmological constant while preserving second-order field equations.
• It exhibits distinctive behavior in critical dimensions, with trivial vacuum in odd dimensions and dynamic settings in even dimensions, affecting black hole and cosmological solutions.
• Methodologies such as Hamiltonian analysis, extrinsic embeddings, and gravitational decoupling reveal unique features in static and rotating black-hole geometries as well as matter-coupled configurations.

Pure Lovelock gravity is the special truncation of Lovelock theory in which only one curvature term of fixed order is retained, typically together with a cosmological term. In the literature surveyed here, the Lovelock order is denoted by $N$, $p$, or $k$, and the spacetime dimension by $d$ or $D$. The theory reduces to general relativity when the retained term is first order, preserves second-order field equations despite its higher-curvature origin, and is repeatedly singled out by its distinctive behavior in the critical dimensions $d=2N+1$ and $d=2N+2$ (Dadhich et al., 2015, Tripathy, 2024, Dadhich et al., 2012).

1. Action, truncation, and field equations

In full Lovelock gravity, the Lagrangian is a sum of Lovelock densities,

$$\mathcal{L}_{\text{LL}}=\sum_{k=0}^{k_{\max}} \lambda_k \mathcal{L}_k,$$

with $\mathcal{L}_0$ the cosmological term, $\mathcal{L}_1$ the Einstein–Hilbert term, $p$0 the Gauss–Bonnet term, and higher $p$1 giving higher Lovelock terms. A standard explicit form is

$p$2

up to normalization conventions (Brustein et al., 2012). Pure Lovelock gravity keeps only one Lovelock density of order $p$3 together with the cosmological term. In the Hamiltonian treatment, the action is written as

$p$4

while in the generalized differential-form language one writes

$p$5

(Dadhich et al., 2015, Concha et al., 2017).

A recurrent structural point is that the field equations remain second order in the metric. In one common notation, the pure Lovelock equations are

$p$6

or, in vacuum with cosmological constant,

$p$7

(Dadhich et al., 2016, Dadhich et al., 2015). For static, spherically symmetric configurations, the standard ansatz

$p$8

is used repeatedly, with asymptotic flatness implemented by $p$9 and $k$0 as $k$1, and the event horizon defined by $k$2 (Tripathy, 2024).

Pure Lovelock gravity is not merely a perturbative correction to Einstein gravity. For $k$3, the Einstein–Hilbert term is absent, and in four dimensions only $k$4 is allowed. The order is constrained by the usual Lovelock restriction

$k$5

The truncation is therefore intrinsically higher-dimensional, except in the Einstein case (Tripathy, 2024).

2. Critical dimensions and vacuum structure

A central theme in the pure Lovelock literature is the distinction between the critical odd dimension $k$6 and the adjacent even dimension $k$7. In the odd critical dimension, vacuum is described as kinematic or trivial in the Lovelock sense. The pure Lovelock vacuum equation $k$8 implies

$k$9

in $d$0, so the spacetime is pure Lovelock flat, although it need not be Riemann flat unless $d$1 (Dadhich et al., 2012). This is the higher-curvature analogue of the familiar $d$2-dimensional Einstein result.

For static spherical symmetry, the vacuum solution takes the form

$d$3

In the critical odd dimension with $d$4, this reduces to a constant-potential geometry,

$d$5

whereas with $d$6 the same family yields the Lovelock analogue of the BTZ black hole (Dadhich et al., 2012). A related statement appears in Kasner cosmology, where pure Lovelock vacuum in $d$7 is again kinematic: the appropriate Lovelock-Riemann tensor vanishes in vacuum even though the ordinary Riemann tensor may remain nonzero (Camanho et al., 2015).

The even critical dimension $d$8 is the minimal dynamical setting. In this dimension, product spacetimes $d$9 recover the same curvature characterizations that distinguish Nariai and Bertotti–Robinson geometries in four-dimensional Einstein gravity. In pure Lovelock gravity of order $D$0, one has $D$1 in the Nariai-type vacuum case and $D$2 in the Bertotti–Robinson electrovacuum case, provided $D$3 (Dadhich et al., 2012). This even-dimensional setting also governs compact-star behavior: in $D$4 there can exist no bound distribution with a finite radius, whereas in $D$5 static fluid interiors exhibit similar behavior across Lovelock orders, including a universal Schwarzschild interior form for constant density when $D$6 (Dadhich et al., 2016).

These results collectively establish the odd/even split as more than a formal dimensional counting rule. It controls vacuum triviality, existence of finite fluid boundaries, and the form of exact and model solutions across black-hole, stellar, and cosmological sectors (Dadhich et al., 2012, Dadhich et al., 2016).

3. Black-hole geometries and uniqueness

The static black-hole sector is often represented by the Lovelock–Schwarzschild family. In the extrinsic formulation, the spatial metric is

$D$7

with horizon radius

$D$8

Viewed as a rotationally invariant hypersurface in $D$9, this geometry satisfies the time-symmetric vacuum constraint

$d=2N+1$0

where $d=2N+1$1 is the shape operator and $d=2N+1$2 is the $d=2N+1$3-mean curvature (Lima et al., 2021).

Under a one-ended, asymptotically flat, embedded-hypersurface hypothesis together with the ellipticity condition

$d=2N+1$4

a global uniqueness theorem holds: any such extrinsic Lovelock black hole is congruent to the standard Lovelock–Schwarzschild hypersurface. The proof combines reflection across the horizon, a regularity argument upgrading a $d=2N+1$5 reflected hypersurface to $d=2N+1$6, and the rigidity theorem of Araújo–Leite (Lima et al., 2021). This is a precise higher-curvature analogue of black-hole uniqueness, but formulated extrinsically rather than purely in terms of the intrinsic spacetime metric.

Rotation is more subtle. A higher-dimensional rotating metric was obtained for pure Lovelock gravity by two independent procedures: a Newtonian-acceleration-based ansatz and the Newman–Janis algorithm. Both yield the same form, with

$d=2N+1$7

in the even-dimensional pure Lovelock case $d=2N+1$8. The resulting geometry has two horizons, an ergoregion, and a ring singularity. However, unlike the Einstein case, it is not an exact vacuum solution; it satisfies the pure Lovelock vacuum equations only in the leading asymptotic order (Dadhich et al., 2013).

That limitation is reinforced by later work on weak cosmic censorship, which begins from the explicit statement that there is no known exact rotating vacuum solution for general pure Lovelock gravity. There, an effective rotating metric is constructed by replacing the Einstein potential in the Myers–Perry form by the pure Lovelock potential

$d=2N+1$9

This effective metric underlies analyses of overspinning and dimensional thresholds, but it also marks an important boundary of current exact solution theory (Shaymatov et al., 2020).

4. Black-hole dynamics, censorship, hair, and response

Pure Lovelock black holes have been used to test several classical statements about black-hole mechanics and exterior structure. For static, spherically symmetric, asymptotically flat black holes with isotropic matter, the quantity

$d=2N+2$0

provides the basis for a pure Lovelock version of the no-short-hair analysis. Assuming the weak energy condition, non-positive trace $d=2N+2$1, and sufficiently rapid decay of the matter fields, one finds $d=2N+2$2, $d=2N+2$3, and at the photon sphere $d=2N+2$4,

$d=2N+2$5

Together with $d=2N+2$6 at infinity, this implies that the hair must extend at least to the photon sphere: $d=2N+2$7 The conclusion is independent of spacetime dimension and Lovelock order (Tripathy, 2024).

Weak cosmic censorship has been studied through the test-particle overspinning problem for an effective rotating pure Lovelock black hole. A key threshold is

$d=2N+2$8

Beyond this value, the rotationally induced repulsion dominates asymptotically, the would-be overspinning particles cannot reach the horizon, and the weak cosmic censorship conjecture is automatically protected. In the six-dimensional pure Gauss–Bonnet example, linear-order overspinning is possible, but the Sorce–Wald second-order inequalities restore censorship by keeping the extremality function nonnegative once nonlinear backreaction is included (Shaymatov et al., 2020).

A related classical bound appears in the third law of black-hole dynamics for charged, static, spherically symmetric pure Lovelock black holes coupled to Maxwell electrodynamics. Infinitesimal perturbations satisfy a lower bound for horizon crossing,

$d=2N+2$9

and, near extremality, a complementary upper bound collapses onto the same expression as $$\mathcal{L}_{\text{LL}}=\sum_{k=0}^{k_{\max}} \lambda_k \mathcal{L}_k,$$0. The admissible interval of perturbations therefore shrinks to zero, forbidding attainment of $$\mathcal{L}_{\text{LL}}=\sum_{k=0}^{k_{\max}} \lambda_k \mathcal{L}_k,$$1 by any finite classical process (De et al., 12 Nov 2025).

The tidal response of pure Lovelock black holes is also dimension- and sector-dependent. Static tidal Love numbers do not vanish generically, but vanish in special cases controlled by the hypergeometric structure of the perturbation equations. In particular, scalar and tensor Love numbers vanish for $$\mathcal{L}_{\text{LL}}=\sum_{k=0}^{k_{\max}} \lambda_k \mathcal{L}_k,$$2, while scalar and axial/vector sectors can vanish for $$\mathcal{L}_{\text{LL}}=\sum_{k=0}^{k_{\max}} \lambda_k \mathcal{L}_k,$$3 in special integer cases. There is no universal pair $$\mathcal{L}_{\text{LL}}=\sum_{k=0}^{k_{\max}} \lambda_k \mathcal{L}_k,$$4 for which all perturbation sectors vanish simultaneously (Singha et al., 20 Aug 2025).

Regular black-hole constructions add another layer. One recent family uses an energy density determined by a gravitational vacuum tension scale $$\mathcal{L}_{\text{LL}}=\sum_{k=0}^{k_{\max}} \lambda_k \mathcal{L}_k,$$5, producing regular black holes whose properties depend sharply on the Lovelock order $$\mathcal{L}_{\text{LL}}=\sum_{k=0}^{k_{\max}} \lambda_k \mathcal{L}_k,$$6 and dimension $$\mathcal{L}_{\text{LL}}=\sum_{k=0}^{k_{\max}} \lambda_k \mathcal{L}_k,$$7. For odd $$\mathcal{L}_{\text{LL}}=\sum_{k=0}^{k_{\max}} \lambda_k \mathcal{L}_k,$$8, the relevant branch has spherical transverse geometry and a de Sitter-like core; for even $$\mathcal{L}_{\text{LL}}=\sum_{k=0}^{k_{\max}} \lambda_k \mathcal{L}_k,$$9, a hyperbolic branch with an Anti-de Sitter-like core also occurs. In several cases the final state of evaporation is a zero-temperature remnant, reached when the relevant horizons coincide (Estrada et al., 2024).

5. Hamiltonian structure and conserved quantities

The Hamiltonian analysis of pure Lovelock gravity reveals a background-dependent dynamical structure. In first-order form, the theory is formulated using independent vielbein $\mathcal{L}_0$0 and spin connection $\mathcal{L}_0$1, together with a Lagrange multiplier imposing vanishing torsion,

$\mathcal{L}_0$2

The constraint algebra contains both first- and second-class constraints, and a curvature-dependent matrix $\mathcal{L}_0$3 determines how many multiplier components are fixed and how many remain free (Dadhich et al., 2015).

In the maximal-rank sector, the number of physical degrees of freedom is

$\mathcal{L}_0$4

the same as in higher-dimensional Einstein gravity. But unlike Einstein gravity, the rank of $\mathcal{L}_0$5 can vary with the background. When it drops, additional gauge freedom appears and the number of local degrees of freedom decreases; in the extreme case $\mathcal{L}_0$6, the theory becomes topological with $\mathcal{L}_0$7 (Dadhich et al., 2015). This background sensitivity is one of the defining dynamical features of the theory.

The extension of ADM mass and Brown–York quasi-local energy to pure Lovelock gravity is correspondingly nontrivial. In asymptotically flat pure Lovelock gravity with order $\mathcal{L}_0$8, the background-subtracted quasi-local energy has a vanishing large-surface limit and therefore does not directly reproduce ADM mass. What survives correctly is the variation,

$\mathcal{L}_0$9

which yields a new simple formula for the ADM mass variation. In spherical symmetry this becomes integrable and reproduces known mass expressions (Kastikainen, 2019).

A complementary field-theoretical perturbation formalism constructs exact conserved currents and superpotentials for static and Vaidya-type black holes with AdS, dS, and flat asymptotics. In that framework, global energy, quasi-local energy, and energy fluxes can all be defined relative to a chosen background. The background choice is essential: AdS and dS backgrounds are natural in their respective asymptotic classes, while the flat case requires an auxiliary non-flat background because the direct flat-background superpotential degenerates in pure Lovelock gravity (Petrov, 2020).

6. Matter sources, compact objects, collapse, and decoupling

Pure Lovelock gravity supports a broad matter-coupled solution theory. For perfect-fluid stars, the isotropy equation simplifies when written in the variables

$\mathcal{L}_1$0

and a universal result emerges: uniform density always gives the Schwarzschild interior form when $\mathcal{L}_1$1. In the critical odd dimension $\mathcal{L}_1$2, however, there is no finite-radius boundary for a bounded fluid sphere, so static perfect-fluid configurations are necessarily unbounded (Dadhich et al., 2016).

Gravitational collapse exhibits a similarly sharp odd/even distinction. Since pure Lovelock gravity is kinematic in odd $\mathcal{L}_1$3, the physically relevant collapse dimension is the even case $\mathcal{L}_1$4. For inhomogeneous dust and null dust collapse, pure Lovelock gravity favors naked singularity as against black hole for the Einstein case in the same dimension, while the strength of singularity as measured by divergence of the Kretshmann scalar is interestingly the same in the two cases; i.e. the corresponding scalars have the same fall off behavior (Dadhich et al., 2013).

Thin-shell constructions exploit the richer matching structure of the theory. A higher-dimensional classical particle model can be built as a spherical shell of radius $\mathcal{L}_1$5 with flat Minkowski interior and charged pure Lovelock exterior, while requiring vanishing surface energy density and pressure,

$\mathcal{L}_1$6

The essential mechanism is that Lovelock junction conditions involve higher powers of the extrinsic curvature, so a nontrivial shell is possible when the inner and outer Lovelock couplings differ. The analogous construction fails in higher-dimensional Einstein gravity (Forghani et al., 2020).

A different matter-coupling strategy is provided by gravitational decoupling and Minimal Geometric Deformation. In pure Lovelock gravity, the total source is decomposed as

$\mathcal{L}_1$7

and the radial metric function is deformed according to

$\mathcal{L}_1$8

This algorithm allows the field equations to split order by order in $\mathcal{L}_1$9, and, when applied to an Anti–de Sitter seed, yields analytic regular black-hole solutions in pure Lovelock gravity (Estrada, 2019).

7. Reformulations, embeddings, and generalized frameworks

Several lines of work reinterpret pure Lovelock gravity within larger geometric or gauge-theoretic structures. One reformulation shows that any Lovelock theory can be effectively described as Einstein gravity coupled to a $p$00-form gauge field. In the pure Lovelock case, the single Lovelock term of order $p$01 is encoded by an effective $p$02-form gauge potential, or equivalently a $p$03-form field strength, with the equivalence holding on shell (Brustein et al., 2012). This does not remove the higher-curvature content; it recasts it as Einstein gravity plus non-minimally coupled form fields.

A separate embedding arises in odd dimensions through Chern–Simons theory based on an $p$04-expanded AdS algebra. In this construction, the pure Lovelock action appears as a special sector selected by invariant-tensor coefficients and a matter-free limit for the extra fields. The action-level recovery is systematic, but the dynamical equivalence is more delicate because the extra gauge fields generate additional equations of motion; recovering the exact pure Lovelock dynamics requires further field identifications (Concha et al., 2016).

Generalized pure Lovelock gravity introduces an enlarged Lorentz-like symmetry with an extra one-form $p$05 and curvature

$p$06

The generalized Lovelock action is built from both $p$07 and $p$08, yet ordinary pure Lovelock gravity is recovered simply by taking the matter-free configuration

$p$09

In this sense, the usual pure Lovelock theory appears as a clean sector of a broader gauge-geometric framework, without the auxiliary-field proliferation characteristic of some other constructions (Concha et al., 2017).

Taken together, these reformulations clarify that pure Lovelock gravity is simultaneously a truncation, a critical-dimension theory, a higher-curvature black-hole framework, and a node in a larger web of equivalent or embedding descriptions. The common feature across these approaches is the retention of second-order field equations together with a highly dimension-dependent structure that sharply distinguishes it from both Einstein gravity and generic Lovelock combinations (Brustein et al., 2012, Concha et al., 2016, Concha et al., 2017).