Quasi-Topological Gravity: Black Hole Mechanics

• Quasi-topological gravity is a higher-curvature extension of Einstein gravity that yields algebraic black hole equations in static, spherically symmetric settings.
• Its formulation enables second-order linearized equations and controlled holographic parameters, providing a tractable framework for black hole mechanics.
• The theory underpins models for regular black holes, wormholes, and bounce spacetimes, offering practical insights into quantum gravity and effective field theory.

Searching arXiv for recent and foundational papers on quasi-topological gravity to ground the article.
Quasi-topological gravity (QTG) is a higher-curvature extension of Einstein gravity selected so that, although its full equations of motion are generically higher order on arbitrary backgrounds, static, spherically symmetric black holes are characterized by a single metric function and the linearized equations around maximally symmetric vacua are second order and Einstein-like up to an overall normalization. In the modern literature, QTG is most naturally understood as the algebraic subclass of generalized quasi-topological gravities (GQTGs): on the ansatz (ds^2=-f(r)dt^2+dr^2/f(r)+r^2 d\Omega_{D-2}^2), the equation for (f(r)) is algebraic for QTG and at most second order for proper GQTGs. This structure makes the subject simultaneously relevant to black-hole theory, holography, effective field theory, and recent constructions of regular black holes, wormholes, and bounce geometries [1003.5357, 1703.01631, 1909.07983].

1. Defining structure and classification

The defining properties of GQTGs are twofold: when linearized around any maximally symmetric background, their equations of motion are second order and identical to those of Einstein’s theory up to an overall normalization, and they admit non-hairy static, spherically symmetric black holes characterized by a single metric function (f(r)) with (g_{tt}g_{rr}=-1). QTG is the distinguished subclass for which the static, spherically symmetric equation for (f(r)) is purely algebraic. In this sense, Lovelock gravities sit inside the quasi-topological sector, while proper GQTGs generalize the same reduction-of-order property without requiring an algebraic master equation [2203.05589, 2304.08510, 2510.25823].

At fixed curvature order (n) and for (D\geq 5), there are exactly (n-1) inequivalent classes of order-(n) GQTG densities: precisely one class is quasi-topological, and the remaining (n-2) are genuine GQTGs. In (D=4), the algebraic quasi-topological class does not exist for polynomial curvature invariants; instead, there is a single proper GQTG at each order. More recent work reformulates the subject in terms of three notions: type I QTGs, whose field equations on a single-function static, spherically symmetric ansatz are second order; type II QTGs, whose field equations on general static, spherically symmetric backgrounds are second order; and type III QTGs, for which the trace of the field equations on a general background is second order. Type II theories are a subset of type I, type III theories are a subset of type II modulo pure Weyl invariants, and type II is essentially equivalent to the existence of a Birkhoff theorem in the spherical sector.

This classification clarifies a common source of confusion. “Quasi-topological” does not mean “topological.” Lovelock Euler densities are topological in critical dimensions and second order off shell for arbitrary metrics, whereas quasi-topological densities are not topological invariants and are generically higher derivative off shell, but become exceptionally simple on highly symmetric sectors. A related misconception is that QTG and GQTG are interchangeable labels; the literature instead reserves “QTG” for the algebraic subclass and “GQTG” for the broader family with second-order master equations for (f(r)).

2. Actions, curvature densities, and all-order constructions

The original five-dimensional cubic quasi-topological action supplements Einstein–Hilbert plus a negative cosmological constant by the Gauss–Bonnet density (\mathcal{X}_4) and a specific curvature-cubed invariant (Z_5),
[
I=\frac{1}{16\pi G_5}\int d^5x\,\sqrt{-g}\left[\frac{12}{L^2}+R+\frac{\lambda L^2}{2}\mathcal{X}_4+\frac{7\mu L^4}{4}Z_5\right].
]
The coefficients in (Z_5) are tuned so that the reduced action on the black-hole ansatz becomes a radial total derivative, while the graviton equations in an (\mathrm{AdS}_5) vacuum remain second order [1003.5357].

A quartic extension in five bulk dimensions adds Gauss–Bonnet, cubic QTG, and a specific quartic quasi-topological density,
[
I_G=\frac{1}{2l_p^3}\int d^5x\sqrt{-g}\left[\mathcal{L}_1+\frac{\lambda}{2}L^2\mathcal{L}_2+\frac{7}{4}\mu L^4\mathcal{L}_3+\frac{1}{21024}\nu L^6\mathcal{L}_4\right],
]
with (\mathcal{L}1=R-2\Lambda), (\mathcal{L}_2) the Gauss–Bonnet density, and (\mathcal{L}_3,\mathcal{L}_4) fixed combinations of cubic and quartic contractions of the Riemann tensor and its traces. In this theory, the effective (\mathrm{AdS}) scale is (L{\mathrm{eff}}=L f_\infty^{-1/2}), where (f_\infty) is determined by
[
\gamma(f_\infty)\equiv 1-f_\infty+\lambda f_\infty^2+\mu f_\infty^3+\nu f_\infty^4=0.
]
This quartic construction preserves the characteristic quasi-topological features on (\mathrm{AdS}_5) and planar black-brane backgrounds [1307.0330].

All-order constructions were subsequently given in arbitrary dimension. In one formulation, quasi-topological densities (\mathcal{Z}{(n)}) and generalized quasi-topological densities (\mathcal{S}{(n,j)}) exist at every curvature order, with explicit recursive formulas generating higher-order terms from lower-order ones. In another, the reduced static, spherically symmetric sector is encoded by a single function
[
h(\psi)=\psi+\sum_{n=2}^{N}\alpha_n \psi^n,\qquad \psi=\frac{k-f(r)}{r^2},
]
so that the effect of the whole tower is compressed into the polynomial or series (h). This all-order viewpoint is central in later constructions of regular black holes, wormholes, and bounce geometries, where the resummation of infinitely many higher-curvature couplings becomes essential.

3. Static, spherically symmetric sector and black-hole mechanics

The static, spherically symmetric sector is the locus where QTG is simplest. For the Schwarzschild-gauge ansatz
[
ds^2=-f(r)\,dt^2+\frac{dr^2}{f(r)}+r^2 d\Sigma_{k,d-2}^2,
]
the defining statement is that the field equations integrate once to a single master equation. In polynomial curvature QTG this takes the form
[
\Omega(r,f)=M,
]
while in the (h(\psi)) language it becomes
[
h!\left(\frac{k-f(r)}{r^2}\right)=\frac{m}{r^{D-1}}.
]
The integration constant is the thermodynamic mass, and (g_{tt}g_{rr}=-1) emerges from the reduced equations rather than being imposed by hand [1909.07983, 2203.05589, 2604.24101].

For the quartic five-dimensional planar black brane,
[
ds^2=\frac{r^2}{L^2}\left[-N(r)^2 f(r)\,dt^2+dx^2+dy^2+dz^2\right]+\frac{L^2}{r^2 f(r)}dr^2,
]
the reduced equations integrate to
[
\gamma(f(r))\equiv 1-f(r)+\lambda f(r)^2+\mu f(r)^3+\nu f(r)^4-\frac{r_h^4}{r^4}=0,\qquad N(r)=\text{const}.
]
Boundary normalization fixes (N=f_\infty^{-1/2}). The Hawking temperature, energy density, and entropy density are
[
T=\frac{r_h}{\pi L^2\sqrt{f_\infty}},\qquad
M=\frac{3r_h^4}{2 l_p^3 L^5 \sqrt{f_\infty}},\qquad
s=\frac{2\pi r_h^3}{l_p^3 L^3},
]
and they satisfy (M=(3/4)Ts) [1307.0330].

A more general “extended quasi-topological gravity” packages the entire static thermodynamics into a generating function (\Omega(r,f)). In that framework, the same first integral (\Omega(r,f)=M) determines the geometry, the temperature is
[
T=-\frac{1}{4\pi}\frac{\partial_{r_h}\Omega(r_h)}{\partial_f\Omega(r_h)},
]
and the Wald entropy simplifies to
[
S=-4\pi\int dr_h\,\partial_f\Omega(r_h).
]
This yields (dM=T\,dS) for static neutral black holes and extends naturally to (V\,\delta P) and coupling-variation terms in the generalized first law.

The same reduction explains why QTG is particularly effective for exact black-hole engineering. Recent examples include vacuum regular Fan–Wang-type black holes generated by an infinite tower of higher-curvature couplings, and Born–Infeld-type regular black holes whose reduced equations remain algebraic in the same (h(\psi)) variable.

4. Maximally symmetric vacua, holography, causality, and transport

A maximally symmetric vacuum is fixed by the embedding equation for the effective curvature scale. In cubic QTG this is
[
1-f_\infty+\lambda f_\infty^2+\mu f_\infty^3=0,
]
while in quartic QTG it is the quartic equation (\gamma(f_\infty)=0). The linearized graviton equation on (\mathrm{AdS}) is Einstein’s operator multiplied by a coupling-dependent prefactor. For the quartic five-dimensional theory,
[
-\frac12\left(1-2\lambda f_\infty-3\mu f_\infty^2-4\nu f_\infty^3\right)[\text{Einstein operator on }h_{ab}]=\kappa T_{ab},
]
and ghost freedom requires
[
1-2\lambda f_\infty-3\mu f_\infty^2-4\nu f_\infty^3>0.
]
This same condition coincides with positivity of the dual stress-tensor two-point function normalization [1004.2055, 1307.0330, 1802.00697].

Holographically, the quartic theory yields central charges from the four-dimensional Weyl anomaly,
[
c=\frac{\pi^2 L^3 f_\infty^{3/2}}{l_p^3}\left(1-2\lambda f_\infty-3\mu f_\infty^2-4\nu f_\infty^3\right),
]
[
a=\frac{\pi^2 L^3 f_\infty^{3/2}}{l_p^3}\left(1-6\lambda f_\infty+9\mu f_\infty^2+4\nu f_\infty^3\right).
]
In cubic QTG, conformal-collider data are nontrivial: (t_4\neq 0), unlike Lovelock and Gauss–Bonnet gravity, so the dual CFT is not constrained to the supersymmetric (t_4=0) locus. Energy-flux positivity gives three inequalities in the tensor, vector, and scalar channels, and the allowed region determines the physically admissible coupling domain.

Transport is likewise sensitive to the higher-curvature sector. In cubic QTG the shear-viscosity ratio can attain
[
\left.\frac{\eta}{s}\right|{\min}\simeq 0.4140\,\frac{1}{4\pi},
]
while in quartic QTG
[
\frac{\eta}{s}=\frac{1}{4\pi}\Big[1-4\lambda-36\mu(9-64\lambda+128\lambda^2+48\mu)-\frac{96}{73}\nu(\cdots)\Big],
]
with the explicit quartic polynomial given in the cited work. A distinctive quartic result is that nontrivial tensor-channel causality constraints arise only when both cubic and quartic couplings are present; the near-boundary condition is
[
\frac{11300 f\infty \nu + 657\mu}{(4 f_\infty \nu + 3\mu)f_\infty}\geq 0.
]
That constraint does not imply any lower positive bound on (\eta/s). Additional holographic observables show similar sector dependence: in five-dimensional QTG the butterfly effect exhibits two butterfly-velocity modes, while the thermoelectric DC conductivity with momentum dissipation coincides with the Einstein and Gauss–Bonnet results in the model studied.

5. Recent geometric applications: regular black holes, wormholes, and bounce spacetimes

The all-order and reduced-action formulations have enabled a shift from QTG as a holographic toy model to QTG as a framework for non-singular geometries. In one recent line, a D-dimensional QTG sector coupled to a phantom scalar supports Ellis–Bronnikov wormholes with a single throat, asymptotic flatness on both ends, and second-order ordinary differential equations on static, spherically symmetric backgrounds. The solutions are symmetric about the throat; negative mass can arise for certain parameter choices; the scalar charge (\mathcal{D}) rapidly decreases as the higher-curvature coupling increases; the Kretschmann scalar is lowered; and for sufficiently large coupling the lapse (-g_{tt}) develops a pronounced near-throat dip that remains positive, so the geometry stays traversable [2602.01029, 2602.16754, 2604.06632, 2509.00137].

A second line constructs vacuum regular black holes of Fan–Wang type in (D>4) without matter fields. There the reduced equation (h(\psi)=m/r^{D-1}) is solved by a metric engineered through an infinite tower of quasi-topological couplings. Regularity at the center requires an infinite tower; finite truncations cannot produce (1-f(r)=\mathcal{O}(r^2)). For the regular branch, consistency fixes (\mu=3), yielding a de Sitter-like core,
[
f(r)\simeq 1-\frac{r^2}{\alpha}+\cdots,
]
finite curvature invariants, and at most two horizons. For even (\bar{\nu}), negative-mass horizonless geometries remain completely regular, in sharp contrast to Einstein gravity.

A third line studies QTG coupled to Born–Infeld nonlinear electrodynamics. In that setting, some Hayward-type QTG models develop a finite-radius curvature singularity once charge is added, while Born–Infeld-type QTG keeps charged black holes regular. The noteworthy change is that the de Sitter core of the neutral solution is replaced by an anti-de Sitter core. The electric field and the source term are obtained in closed form, and the reduced metric function is reconstructed through a hypergeometric expression for (\hat h(\rho)).

Finally, an infinite-tower QTG model has been proposed that reproduces both the effective loop quantum cosmology big-bounce equation and the quantum Oppenheimer–Snyder black-bounce exterior. In that construction,
[
H^2=\frac{8\pi G}{3}\rho\left(1-\frac{\rho}{\rho_c}\right)
]
for (D=4), (k=0), while the black-hole exterior takes
[
f(r)=1-\frac{2Gm}{r}+\frac{\beta G^2 m^2}{r^4}.
]
The theory enforces a minimal radius (r_0), excises the (r=0) region from the maximal extension, and keeps curvature invariants finite in both cosmological and black-hole sectors.

6. Conceptual scope and present status

The contemporary view of QTG is broader than the original cubic construction. One direction enlarges the notion to “extended quasi-topological gravity,” defined by a warped-product reduction to an integrable two-dimensional Horndeski-type dilaton theory with a generating function (\Omega(r,f)). In that sense, the class includes Lovelock theories, the full tower of polynomial generalized quasi-topological gravities in (d\geq 5), and non-polynomial curvature or curvature-derivative theories, including (d=4) realizations, provided the reduced theory satisfies the integrability condition (\partial_\chi\alpha-\partial_\varphi\beta=0) [1906.00987, 2510.25823, 2604.24101].

A second direction is the field-redefinition perspective: any higher-curvature effective action built from the metric and the Riemann tensor can be mapped, order by order, to a GQTG. That result elevates QTG and GQTG from a special corner of higher-curvature gravity to a canonical frame for static black-hole physics. In the spherical sector, this viewpoint aligns with the recent statement that Birkhoff implies quasi-topological: for analytic metric theories built from polynomial curvature invariants, any theory satisfying a Birkhoff theorem is type II quasi-topological, and, up to a zero-measure set characterized by (h(\psi_0)=h'(\psi_0)=0), the converse also holds.

The resulting picture is structurally tight. In (D\geq 5), there is a unique quasi-topological class at each curvature order, embedded in the broader GQTG hierarchy; in (D=4), polynomial algebraic QTGs are absent, but proper GQTGs and non-polynomial extended QTG realizations remain available. Across these formulations, the recurrent themes are the same: algebraic or integrable static sectors, Einstein-like linearized spectra, exact or quasi-exact black-hole mechanics, and a controlled laboratory for testing how higher-curvature interactions reshape holography and the global structure of spacetime.