---
title: Konoplya–Stuchlik–Zhidenko Spacetimes
url: https://www.emergentmind.com/topics/konoplya-stuchlik-zhidenko-spacetimes
type: topic
---

# Konoplya–Stuchlik–Zhidenko Spacetimes

Konoplya–Stuchlík–Zhidenko spacetimes are a three-function deformation of the Kerr metric, formulated in Boyer–Lindquist–type coordinates and originally obtained by demanding that both the Hamilton–Jacobi equation for geodesics and the Klein–Gordon equation for a test scalar field remain separable. In this sense they form a class of stationary, axisymmetric, and asymptotically flat metrics with “double separability,” preserving the integrability of both particle motion and scalar-wave propagation while allowing systematic departures from Kerr [2507.18706].

## 1. Universal metric structure

In the universal form, the line element is written as
$$
ds^2
=
-\frac{N^2-W^2\sin^2\vartheta}{K^2}\,dt^2
-2\,r\,W\,\sin^2\vartheta\,dt\,d\varphi
+r^2K^2\sin^2\vartheta\,d\varphi^2
+\frac{\Sigma B^2}{N^2}\,dr^2
+r^2\Sigma\,d\vartheta^2.
$$

The metric functions are built from three arbitrary functions of radius, $R_\Sigma(r)$, $R_B(r)$, and $R_M(r)$, together with the spin parameter $a$ [2507.18706].

| Function | Definition |
|---|---|
| $\Sigma(r,\vartheta)$ | $R_\Sigma(r)+\dfrac{a^2\cos^2\vartheta}{r^2}$ |
| $N^2(r)$ | $R_\Sigma(r)-\dfrac{R_M(r)}{r}+\dfrac{a^2}{r^2}$ |
| $B(r)$ | $R_B(r)$ |
| $W(r,\vartheta)$ | $\dfrac{a\,R_M(r)}{r^2\Sigma(r,\vartheta)}$ |
| $K^2(r,\vartheta)$ | $\dfrac{(r^2+a^2)^2-a^2N^2(r)\sin^2\vartheta}{r^2\Sigma(r,\vartheta)}$ |

This parametrization isolates the departures from Kerr into radial functions while retaining separability. Asymptotic flatness requires
$$
\lim_{r\to\infty}R_B(r)=1,\qquad
\lim_{r\to\infty}R_\Sigma(r)=1,\qquad
\lim_{r\to\infty}\frac{R_M(r)}{r}=0.
$$
In practical parameterizations one may expand $R_\Sigma(r)$ and $R_M(r)$ in powers of $1-x$, with $x=1-r_0/r$, or use a continued-fraction parametrisation to improve convergence both at the horizon and at infinity [2211.05620].

The Kerr limit is obtained by setting
$$
R_B(r)=1,\qquad R_\Sigma(r)=1,\qquad R_M(r)=2M,
$$
which reproduces the standard Kerr metric in Boyer–Lindquist coordinates [2211.05620].

## 2. Construction from rotating-seed algorithms

A central structural result is that a recent asymptotically-flat variant of the Newman–Janis–Azreg-Aïnou algorithm generates precisely the KSZ class. In the formulation using a static, spherically symmetric seed
$$
ds^2_{\rm seed}=-f(r)\,dt^2+\frac{g(r)}{f(r)}\,dr^2+R^2(r)\,d\Omega^2,
$$
the streamlined steps are: rewrite the seed in Eddington–Finkelstein–type null coordinates; perform the complex coordinate transformation
$$
u\to u'=u-i\,a\cos\vartheta,\qquad r\to r'=r+i\,a\cos\vartheta;
$$
impose circularity, asymptotic flatness, and the requirement that the $a\to0$ limit returns the original seed; and then fix a conformal factor by solving a quadratic equation for the local angular velocity of the hypothetical matter rest-frame [2507.18706].

The resulting ACKN metric is
$$
ds^2_{\rm ACKN}
=
-(1-2F/\Sigma)\,dt^2
-2(2F/\Sigma)a\sin^2\vartheta\,dt\,d\phi
+\frac{\Pi}{\Sigma}\sin^2\vartheta\,d\phi^2
+\frac{\Sigma}{\Delta}g(r)\,dr^2
+\Sigma\,d\vartheta^2,
$$
with
$$
2F(r)=(1-f(r))R^2(r),\qquad
\Delta(r)=f(r)R^2(r)+a^2,
$$
$$
\Sigma(r,\vartheta)=R^2(r)+a^2\cos^2\vartheta,\qquad
\Pi(r,\vartheta)=(R^2+a^2)^2-\Delta a^2\sin^2\vartheta.
$$
Under the identifications
$$
R_\Sigma=\frac{R^2}{r^2},\qquad
R_B=\sqrt{g},\qquad
R_M=\frac{(1-f)R^2}{r},
$$
one exactly recovers the KSZ form [2507.18706].

This equivalence is important because it ties a widely used rotating-metric construction to a sharply delimited class: the algorithm does not generate arbitrary stationary and axisymmetric geometries, but rather the doubly separable KSZ spacetimes.

## 3. Double separability and hidden symmetries

The hallmark of KSZ spacetimes is that both geodesic motion and scalar-wave propagation separate. For the Hamilton–Jacobi equation one uses the ansatz
$$
S=-Et+L\phi+S_r(r)+S_\vartheta(\vartheta),
$$
and the radial and polar dependence decouple, yielding ordinary differential equations and four first integrals corresponding to the conserved energy $E$, azimuthal momentum $L$, mass $m$, and the Carter constant $C$ [2507.18706].

A massive scalar field also separates under
$$
\Psi=e^{-iEt}e^{iL\phi}R(r)\Theta(\vartheta),
$$
so that the full Klein–Gordon partial differential equation reduces to radial and polar ordinary differential equations. Equivalently, the second-order operator
$$
\mathcal K=\nabla_\mu K^{\mu\nu}\nabla_\nu
$$
constructed from the Killing tensor commutes with the d’Alembertian, ensuring simultaneous diagonalization [2507.18706].

The geometric origin of this integrability is a rank-2 Killing tensor $K^{\mu\nu}$ satisfying
$$
\nabla_{(\alpha}K_{\beta\gamma)}=0.
$$
In a special degenerate subfamily, built from seeds with $g(r)=1$ and $R(r)=r$, one further finds a nontrivial Killing–Yano tensor $J_{\mu\nu}$ such that
$$
K^{\mu\nu}=-J^{\mu\alpha}J_{\alpha}{}^{\nu},\qquad
\nabla_{(\alpha}J_{\beta)\gamma}=0.
$$
For that subclass, the massive Dirac equation also separates into radial and polar Dirac-type equations. For generic nondegenerate KSZ spacetimes, by contrast, there is no known full separation of the Dirac system [2507.18706].

## 4. Horizons, photon regions, and shadow construction

Within the KSZ family, the event horizon is located by the root of
$$
g^{rr}=0\iff \Delta(r_h)=0,
$$
while the ergosurface is determined by
$$
g_{tt}=0\iff N^2(r_e,\vartheta)=W^2(r_e,\vartheta)\sin^2\vartheta.
$$
The photon region is defined by spherical photon orbits satisfying $\dot r=0$ and $\ddot r=0$ in the radial potential, and unstable circular orbits parameterise the edge of the shadow [2211.05620].

In vacuum, Hamilton–Jacobi separability gives
$$
\rho^2\dot r=\pm\sqrt{R(r)},\qquad
\rho^2\dot\vartheta=\pm\sqrt{\Theta(\vartheta)},
$$
with
$$
R(r)=-\mathcal K\,\Delta+\bigl[(r^2R_\Sigma+a^2)E+aL\bigr]^2,
$$
$$
\Theta(\vartheta)=\mathcal K-\bigl(aE\sin\vartheta+L/\sin\vartheta\bigr)^2.
$$
The shadow boundary is then obtained from unstable spherical photon orbits at radius $r_p$, by solving $R(r_p)=R'(r_p)=0$ for the impact constants $\xi=L/E$ and $\eta=\mathcal K/E^2$, and projecting to the observer’s sky [2211.05620].

For a standard observer, the photon arrives with directional angles $(\Theta,\Phi)$ in the local sky, and stereographic projection gives
$$
X=-2\tan(\Theta/2)\sin\Phi,\qquad
Y=-2\tan(\Theta/2)\cos\Phi.
$$
This formalism is sufficiently general that, by appropriate choice of the radial functions, the KSZ family reproduces Kerr, Kerr–Newman, dilatonic, or braneworld black holes, together with arbitrary small deformations encoded in series or continued-fraction expansions [2211.05620].

## 5. Constraints on admissible matter content

The symmetries responsible for double separability strongly constrain any self-gravitating matter source. Projecting the Einstein tensor into the local rest-frame tetrad yields characteristic diagonal stress-energy forms for several standard matter models:

- A massless real scalar field has
  $$
  T_{(a)(b)}={\rm diag}[+\epsilon,+\epsilon,-\epsilon,-\epsilon].
  $$
- A perfect fluid has
  $$
  T_{(a)(b)}={\rm diag}[+\epsilon,+p,+p,+p].
  $$
- An electromagnetic field has
  $$
  T_{(a)(b)}={\rm diag}[+\epsilon,-\epsilon,+\epsilon,+\epsilon].
  $$

Imposing these relations on a general KSZ metric leads to sharp nonexistence results. Perfect fluids require $p_\vartheta=p_\phi=p_r$, but in a nonvacuum KSZ metric one finds $p_r\neq p_\vartheta$ unless the solution reduces to the trivial Kerr vacuum. A real massless scalar field would require $p_\vartheta=p_\phi=-p_r$, but this cannot be satisfied except in the special case $R(r)=r$, $g(r)=1$, and $f(r)=1-2M/r+Q^2/r^2$, namely Kerr–Newman. Electromagnetic fields lead to the same algebraic condition and again yield only the Kerr–Newman family [2507.18706].

A notable corollary is that the rotating Janis–Newman–Winicour scalar-hair spacetime is not a member of the KSZ class. The broader implication, stated explicitly in the literature, is that doubly separable spacetimes cannot be sourced by massless real scalar fields or perfect fluids, and that electromagnetic fields lead only to the Kerr–Newman family [2507.18706].

## 6. Role in strong-field phenomenology

The KSZ framework is valuable precisely because its symmetry structure makes several observational calculations analytically and numerically tractable. Photon rings and black-hole shadows can be computed from one-dimensional root-finding problems, and quasinormal modes of test fields reduce to one-dimensional radial and angular problems. The same separability structure has been used directly to study shadows of rotating black holes in plasma environments with aberration effects [2507.18706; 2211.05620].

A plausible implication is that the one-parameter rotating Konoplya–Zhidenko metric, which is studied extensively in the recent literature, functions as a concrete laboratory inside the broader separable program. That metric has been used to investigate the shadow, strong gravitational lensing, superradiance, Penrose energy extraction, repetitive Penrose processes, horizon-scale intensity and polarization images with thick accretion flows, and polarized images of equatorial emitting rings [1707.09451; 1609.00802; 2105.09258; 1707.03175; 2603.16147; 2607.01017; 2512.22764].

At the same time, the same symmetry that makes KSZ spacetimes useful for shadows, quasinormal oscillations, and related test-field problems also limits their status as fully self-consistent Einstein–matter solutions. Aside from Kerr–Newman, the class does not accommodate astrophysically standard matter models such as perfect fluids or massless real scalar fields. Consequently, KSZ spacetimes are best regarded as a mathematically constrained but highly useful arena for analytic studies of strong-field observables, rather than as generic nonvacuum rotating solutions with arbitrary matter content [2507.18706].

Source: https://www.emergentmind.com/topics/konoplya-stuchlik-zhidenko-spacetimes