Skip to content

Black hole perturbations and master equations


1. Einstein–Maxwell theory in DD dimensions

Section titled “1. Einstein–Maxwell theory in DDD dimensions”

We start with perturbations of Reissner–Nordström–AdS (RN–AdS) black holes / branes, but the dof counting and sector decomposition are much more general.

We consider Einstein–Maxwell with a cosmological constant (AdS):

S=12κ2dDxg(R2Λ)14gF2dDxgFμνFμν,Λ<0.S=\frac{1}{2\kappa^2}\int d^D x\,\sqrt{-g}\left(R-2\Lambda\right) -\frac{1}{4g_F^2}\int d^D x\,\sqrt{-g}\,F_{\mu\nu}F^{\mu\nu}, \qquad \Lambda<0.

A standard RN–AdS background (static, “maximally symmetric horizon”) can be written in the Kodama–Ishibashi (KI) form

ds2=f(r)dt2+dr2f(r)+r2dΣn,K2,nD2,ds^2 = -f(r)\,dt^2+\frac{dr^2}{f(r)}+r^2\,d\Sigma_{n,K}^2, \qquad n\equiv D-2,

where dΣn,K2d\Sigma_{n,K}^2 is an nn-dimensional space of constant curvature K{1,0,1}K\in\{1,0,-1\} (sphere/plane/hyperboloid). A convenient parameterization is

f(r)=Kλr22Mrn1+Q2r2n2,λ=1L2 for AdS.f(r)=K-\lambda r^2-\frac{2M}{r^{n-1}}+\frac{Q^2}{r^{2n-2}}, \qquad \lambda=-\frac{1}{L^2}\ \text{for AdS}.

For the planar brane relevant to AdS/CFT, take K=0K=0 and Fourier-expand along the horizon directions.


2. Physical degrees of freedom in DD dimensions

Section titled “2. Physical degrees of freedom in DDD dimensions”

These are on-shell dofs (polarizations) of massless fields:

  • Graviton in DD: Ng(D)=D(D+1)22D=D(D3)2.N_g(D)=\frac{D(D+1)}{2}-2D=\frac{D(D-3)}{2}.
  • Maxwell field in DD: NA(D)=D2.N_A(D)=D-2.

So Einstein–Maxwell has

NEM(D)=D(D3)2+(D2)=D2D42.N_{\text{EM}}(D)=\frac{D(D-3)}{2}+(D-2)=\frac{D^2-D-4}{2}.

Concrete checks:

  • D=4D=4: Ng=2N_g=2, NA=2N_A=2, total 44.
  • D=5D=5: Ng=5N_g=5, NA=3N_A=3, total 88.

3. Spin channels under SO(D3)SO(D-3)

Section titled “3. Spin channels under SO(D−3)SO(D-3)SO(D−3)”

On a planar AdS black brane, it is natural to Fourier expand along the boundary directions and (for k0k\neq 0) choose momentum along one axis, say δΨ(t,r,x)eiωt+ikz\delta\Psi(t,r,\vec x)\sim e^{-i\omega t+i k z}. This picks out the zz direction and leaves a residual rotation symmetry acting on the transverse directions xix^i:

SO(D3)SO(N),N=D3.SO(D-3)\equiv SO(N),\qquad N=D-3.

Perturbations decompose into irreducible representations of SO(N)SO(N):

  • Scalar channel (s=0s=0): SO(N)SO(N) singlets, representation dimension: 1,
  • Vector channel (s=1s=1): SO(N)SO(N) vectors (one transverse index ii), representation dimension: NN,
  • Tensor channel (s=2s=2): traceless symmetric tensors TTijTT_{ij} under SO(N)SO(N) (exists only for N2N\ge 2, i.e. D5D\ge 5), representation dimension: dim(TT)=N(N+1)21=(N+2)(N1)2=(D1)(D4)2.\dim(TT)=\frac{N(N+1)}{2}-1=\frac{(N+2)(N-1)}{2} =\frac{(D-1)(D-4)}{2}.

The number of independent copies in each channel is the dimension of the corresponding SO(N)SO(N) representation. This “multiplicity bookkeeping’’ matters because each master equation typically comes with that many polarization copies. For example, in D=5D=5 (N=2N=2) one finds

dim(TT)=2,dim(V)=2,dim(S)=1,\dim(TT)=2,\qquad \dim(V)=2,\qquad \dim(S)=1,

which matches the familiar helicity language under SO(2)SO(2): two helicity-±2\pm2 modes, two helicity-±1\pm1 modes, and one helicity-00 mode. In D=4D=4 the transverse group is trivial (SO(1)SO(1)), so this helicity classification degenerates; on spherical horizons one instead uses parity (odd/even) as the natural organizing principle.


A clean way to see the channel decomposition is to restrict the little-group representations from SO(D2)=SO(N+1)SO(D-2)=SO(N+1) down to SO(N)SO(N).

The graviton dofs satisfy the identity

D(D3)2=(D1)(D4)2tensor+(D3)vector+1scalar.\frac{D(D-3)}{2} = \underbrace{\frac{(D-1)(D-4)}{2}}_{\text{tensor}} +\underbrace{(D-3)}_{\text{vector}} +\underbrace{1}_{\text{scalar}}.

Interpretation:

  • tensor channel: the “genuine” helicity-2/tensor polarizations,
  • vector channel: momentum-flux–type polarizations,
  • scalar channel: energy-density–type polarization.

The Maxwell dofs satisfy

D2=(D3)vector+1scalar.D-2=\underbrace{(D-3)}_{\text{vector}}+\underbrace{1}_{\text{scalar}}.

There is no tensor piece for a Maxwell field.

So the physical dofs per channel are

  • tensor: (D1)(D4)2\frac{(D-1)(D-4)}{2} (graviton only),
  • vector: 2(D3)2(D-3) (graviton + Maxwell),
  • scalar: 22 (graviton + Maxwell).

This already tells you how many independent master scalars are needed.


A useful “rule of thumb” that is actually quite robust on symmetric backgrounds:

In a given symmetry channel, the number of independent master scalars equals the number of field species that contribute to that channel.

For Einstein–Maxwell:

  • tensor channel: only the graviton contributes
    \Rightarrow 1 master scalar ΦT\Phi_T.

  • vector channel: graviton + Maxwell contribute
    \Rightarrow 2 master scalars, often diagonalized to ΦV±\Phi_{V\pm} on RN backgrounds.

  • scalar channel: graviton + Maxwell contribute
    \Rightarrow 2 master scalars, often diagonalized to ΦS±\Phi_{S\pm} on RN backgrounds.

So for D5D\ge 5:

# master equations=1 (tensor)+2 (vector)+2 (scalar)=5.\text{\# master equations} = 1\ (\text{tensor}) + 2\ (\text{vector}) + 2\ (\text{scalar}) = 5.

The total dof count is then

1(D1)(D4)2+2(D3)+21=D(D3)2+(D2),1\cdot\frac{(D-1)(D-4)}{2} + 2\cdot(D-3) + 2\cdot 1 = \frac{D(D-3)}{2}+(D-2),

matching the field-theory result exactly.


SO(N) decomposition of perturbations
Decomposition of perturbations into tensor / vector / scalar channels under SO(N), N = D−3.
Dimensiongraviton dofsMaxwell dofstotal
DDD(D3)2\frac{D(D-3)}{2}D2D-2D2D42\frac{D^2-D-4}{2}
44222244
55553388

6.2 Channel dofs and master equations (planar/helicity viewpoint)

Section titled “6.2 Channel dofs and master equations (planar/helicity viewpoint)”
Channel
(spin under SO(N)SO(N))
rep dimension
(“copies”)
dofs in channel# master scalars
tensor(D1)(D4)2\frac{(D-1)(D-4)}{2}(D1)(D4)2\frac{(D-1)(D-4)}{2}11
vectorD3D-32(D3)2(D-3)22
scalar112222

7. Gauge invariance and what “master scalar” means

Section titled “7. Gauge invariance and what “master scalar” means”

Linear perturbations involve:

  • diffeomorphisms: δhμν=μξν+νξμ\delta h_{\mu\nu}=\nabla_\mu\xi_\nu+\nabla_\nu\xi_\mu,
  • U(1)U(1) gauge transformations: δaμ=μλ\delta a_\mu=\partial_\mu \lambda.

A master variable is a combination of (hμν,aμ)(h_{\mu\nu},a_\mu) that is gauge invariant under both, and for which the linearized equations reduce to a decoupled 2nd-order equation.

  • Kodama–Ishibashi (KI): harmonic decomposition on dΣn,K2d\Sigma_{n,K}^2 and covariant 2D orbit-space equations. Works for any D=n+2D=n+2 and K=±1,0K=\pm1,0.
  • Kovtun–Starinets (KS): helicity channels for planar branes in radial gauge (common in holography). Equivalent in content.

This page uses KI notation for general DD and occasionally translates intuition into helicity language.


8. Master equations in the KI formalism (general DD)

Section titled “8. Master equations in the KI formalism (general DDD)”

In all sectors, after Fourier transforming eiωt\sim e^{-i\omega t} the master equation takes the universal “Schrödinger/Sturm–Liouville” form

f(r)ddr ⁣(f(r)dΦdr)+(ω2V(r))Φ=0,ord2Φdr2+(ω2V)Φ=0,f(r)\,\frac{d}{dr}\!\left(f(r)\frac{d\Phi}{dr}\right)+\left(\omega^2-V(r)\right)\Phi=0, \qquad \text{or}\qquad \frac{d^2\Phi}{dr_*^2}+\left(\omega^2-V\right)\Phi=0,

with dr/dr=1/fdr_*/dr=1/f.

8.1 Tensor channel (exists only for D5D\ge 5)

Section titled “8.1 Tensor channel (exists only for D≥5D\ge 5D≥5)”
  • No Maxwell tensor-type perturbations exist, so this sector is purely gravitational.
  • The tensor master equation is equivalent to the wave equation for a minimally coupled massless scalar on the same background (after appropriate rescaling and harmonic separation).

Intuition: there is no other field content in Einstein–Maxwell that can transform as a TT rank-2 tensor under the horizon symmetry, so no mixing is possible.

8.2 Vector channel (2 master fields ΦV±\Phi_{V\pm})

Section titled “8.2 Vector channel (2 master fields ΦV±\Phi_{V\pm}ΦV±​)”

Vector harmonics have eigenvalue kV2k_V^2 on dΣn,K2d\Sigma_{n,K}^2, and define

mVkV2(n1)K.m_V \equiv k_V^2-(n-1)K.

The vector sector mixes gravitational and Maxwell perturbations but can be diagonalized into two decoupled master fields ΦV±\Phi_{V\pm}, each obeying

f(fΦV±)+(ω2VV±)ΦV±=0.f(f\Phi_{V\pm}')'+(\omega^2-V_{V\pm})\Phi_{V\pm}=0.

A standard closed-form expression for the KI vector potentials is

VV±(r)=f(r)r2[kV2+(n22n+4)K4n(n2)4λr2+n(5n2)4Q2r2n2+μ±(V)rn1],V_{V\pm}(r)=\frac{f(r)}{r^2}\left[ k_V^2+\frac{(n^2-2n+4)K}{4}-\frac{n(n-2)}{4}\lambda r^2 +\frac{n(5n-2)}{4}\frac{Q^2}{r^{2n-2}} +\frac{\mu^{(V)}_\pm}{r^{n-1}} \right],

where

μ±(V)=n2+22M±Δ,Δ=(n21)2M2+2n(n1)mVQ2.\mu^{(V)}_\pm=-\frac{n^2+2}{2}M\pm\Delta, \qquad \Delta=\sqrt{(n^2-1)^2M^2+2n(n-1)m_VQ^2}.

8.3 Scalar channel (2 master fields ΦS±\Phi_{S\pm})

Section titled “8.3 Scalar channel (2 master fields ΦS±\Phi_{S\pm}ΦS±​)”

Scalar harmonics have eigenvalue k2k^2 and define

mk2nK.m\equiv k^2-nK.

The scalar sector again mixes gravitational and Maxwell perturbations. KI show it can be diagonalized into two decoupled master fields ΦS±\Phi_{S\pm} obeying

f(fΦS±)+(ω2VS±)ΦS±=0.f(f\Phi_{S\pm}')'+(\omega^2-V_{S\pm})\Phi_{S\pm}=0.

The scalar potentials admit a compact representation in terms of auxiliary variables

x=2Mrn1,y=λr2,z=Q2r2n2,H=m+n(n+1)2xn2z,x=\frac{2M}{r^{n-1}},\qquad y=\lambda r^2,\qquad z=\frac{Q^2}{r^{2n-2}}, \qquad H=m+\frac{n(n+1)}{2}x-n^2 z,

and

VS±(r)=f(r)U±(r)64r2H±(r)2.V_{S\pm}(r)=\frac{f(r)\,U_\pm(r)}{64\,r^2\,H_\pm(r)^2}.

The explicit polynomials U±U_\pm and functions H±H_\pm are known in closed form but are lengthy; for practical work, it is often best to implement them symbolically once and reuse them for numerics.


9. Specialization: AdS4_4 (parity and isospectrality)

Section titled “9. Specialization: AdS4_44​ (parity and isospectrality)”

For D=4D=4 we have n=2n=2 and there are no TT tensor harmonics on S2S^2. So there is no “tensor-type” sector.

Perturbations are usually organized instead into:

  • odd (axial) parity,
  • even (polar) parity.

In Einstein–Maxwell, each parity sector contains coupled gravito-electromagnetic perturbations. After building gauge invariants, each parity typically yields two decoupled master equations (often described as “gravitational-led” and “electromagnetic-led”).

In 4D asymptotically flat RN, the axial and polar potentials are related by a Chandrasekhar/Darboux transformation, which implies isospectrality under appropriately matched boundary conditions.

In AdS, the bulk differential operators can still be related in a similar way, but spectral equivalence can depend on the AdS boundary conditions (because the Darboux map can send one boundary condition to a different Robin condition in the partner problem). So:

  • the equations can be “partnered,”
  • the spectra can coincide or not depending on which AdS boundary conditions you impose.

This is a key conceptual difference between “isospectral potentials” and “isospectral QNM spectra.”


10. Specialization: AdS5_5 (helicity channels and isospectrality breaking down)

Section titled “10. Specialization: AdS5_55​ (helicity channels and isospectrality breaking down)”

For AdS5_5 we have n=3n=3 and for planar branes the transverse group is SO(2)SO(2):

  • tensor channel = helicity-2 (2 copies),
  • vector channel = helicity-1 (2 copies),
  • scalar channel = helicity-0 (1 copy).

Einstein–Maxwell therefore gives:

  • 1 tensor master equation (2 polarizations),
  • 2 vector master equations (each with 2 polarizations),
  • 2 scalar master equations (each with 1 polarization),

total 2+4+2=82+4+2=8 dofs.

Unlike D=4D=4, there is no generic Chandrasekhar-type partnering between the distinct helicity channels, and even within a fixed channel the “±\pm” potentials are not typically supersymmetric partners. So there is no generic isospectrality tying together the AdS5_5 channels.


When you perturb an RN–AdS black hole/brane in Einstein–Maxwell:

  1. Count dofs: Ng=D(D3)/2N_g=D(D-3)/2, NA=D2N_A=D-2.
  2. Choose symmetry basis:
    • planar: classify under SO(D3)SO(D-3) (tensor/vector/scalar),
    • spherical in D=4D=4: parity (odd/even),
    • KI: tensor/vector/scalar harmonics on KnK_n.
  3. Build gauge-invariant variables.
  4. Reduce to master scalars: In total there are 5 distinct master equations in D5D\ge 5 (tensor + 2 vector + 2 scalar), with multiplicities determined by symmetry. In D=4D=4 there is no tensor channel, and the system is often described as odd/even parity (axial/polar) instead.
  5. Impose physically appropriate boundary conditions (ingoing at the horizon; AdS boundary conditions consistent with your dual CFT sources/vevs).

Adding a scalar field: Einstein–Maxwell–dilaton (EMD)

Section titled “Adding a scalar field: Einstein–Maxwell–dilaton (EMD)”

Einstein–Maxwell is the simplest charged matter system. In holography and string-inspired models one often adds a neutral scalar (a “dilaton” or modulus), with a scalar potential and a scalar-dependent gauge kinetic function. This turns the decoupled RN story into a matrix-valued master problem: the tensor channel remains a single equation, the vector channel becomes a coupled 2×22\times 2 system, and the scalar channel becomes a coupled 3×33\times 3 system in general. This structure is systematic and holds in any dimension DD for backgrounds with a maximally symmetric (D2)(D-2)-dimensional spatial part. See [7] for more details.

A very general EMD model (covering most “bottom-up” holographic setups) is

S=12κ2dDxg(R2Λη(ϕ)214Z(ϕ)FμνFμνV(ϕ)),S=\frac{1}{2\kappa^2}\int d^D x\,\sqrt{-g}\left( R-2\Lambda -\eta\,(\partial\phi)^2 -\frac{1}{4}Z(\phi)\,F_{\mu\nu}F^{\mu\nu} -V(\phi) \right),

where Z(ϕ)Z(\phi) is the gauge kinetic function and V(ϕ)V(\phi) is the scalar potential. (Different normalizations are common; the only essential points are that Z(ϕ)Z(\phi) and V(ϕ)V(\phi) are arbitrary functions and ϕ\phi can have a nontrivial radial profile.)

A time-independent background with a maximally symmetric (D2)(D-2)-dimensional spatial part can be written as

ds2=f(r)dt2+ζ(r)2f(r)dr2+S(r)2dX(n,K)2,A=a(r)dt,ϕ=ϕ(r),ds^2=-f(r)\,dt^2+\frac{\zeta(r)^2}{f(r)}\,dr^2+S(r)^2\,dX^2_{(n,K)}, \qquad A=a(r)\,dt, \qquad \phi=\phi(r),

with n=D2n=D-2 and K{1,0,1}K\in\{1,0,-1\} labeling spherical/planar/hyperbolic horizons. In EMD, f,ζ,S,a,ϕf,\zeta,S,a,\phi are all dynamical and typically need to be obtained numerically for a given choice of Z(ϕ),V(ϕ)Z(\phi),V(\phi).

Degrees of freedom: what changes when a scalar is added?

Section titled “Degrees of freedom: what changes when a scalar is added?”

A single real scalar field contributes one physical degree of freedom in any DD.

So the total on-shell dof count becomes

NEMD(D)=D(D3)2graviton+(D2)Maxwell+1scalar=D2D22.N_{\text{EMD}}(D)=\underbrace{\frac{D(D-3)}{2}}_{\text{graviton}} +\underbrace{(D-2)}_{\text{Maxwell}} +\underbrace{1}_{\text{scalar}} =\frac{D^2-D-2}{2}.

For AdS4_4 and AdS5_5:

  • D=4D=4: 2+2+1=52+2+1=5 dofs,
  • D=5D=5: 5+3+1=95+3+1=9 dofs.

Channel decomposition under SO(D3)SO(D-3) (planar/helicity viewpoint)

Section titled “Channel decomposition under SO(D−3)SO(D-3)SO(D−3) (planar/helicity viewpoint)”

Fix momentum along one direction. The residual transverse rotation group is SO(D3)SO(D-3). The new scalar field is a singlet, so it contributes only to the scalar channel.

Let N=D3N=D-3.

  • Tensor channel dofs (graviton only): (D1)(D4)2\frac{(D-1)(D-4)}{2}.
  • Vector channel dofs (graviton + Maxwell): 2(D3)2(D-3).
  • Scalar channel dofs (graviton + Maxwell + scalar): 33.

This implies the following master-field counting for generic modes:

Channel# master scalarscopies per master scalartotal dofs carried
tensor11(D1)(D4)2\frac{(D-1)(D-4)}{2}(D1)(D4)2\frac{(D-1)(D-4)}{2}
vector22D3D-32(D3)2(D-3)
scalar331133

As a check:

1(D1)(D4)2+2(D3)+3=D(D3)2+(D2)+1.1\cdot\frac{(D-1)(D-4)}{2}+2(D-3)+3=\frac{D(D-3)}{2}+(D-2)+1.
  • AdS4_4 (D=4D=4): no tensor channel. You have a vector/odd sector with 2 master scalars and a scalar/even sector with 3 master scalars (gravity + gauge + scalar), totaling 5.
  • AdS5_5 (D=5D=5): tensor channel exists and has 2 polarizations; the scalar channel carries 3 master scalars (one copy), so total dofs are 2+4+3=92 + 4 + 3 = 9.

Master equations become a coupled Klein–Gordon system (potential matrices)

Section titled “Master equations become a coupled Klein–Gordon system (potential matrices)”

A powerful general result is that you can express all gauge-invariant perturbations in terms of master scalars that satisfy a matrix-valued Klein–Gordon-type system.

For each helicity/channel h{2,1,0}h\in\{2,1,0\} (tensor/vector/scalar), introduce a vector of master scalars

Φ(h)(t,r)=(Φ1(h)ΦNh(h)),N2=1,  N1=2,  N0=3,\vec{\Phi}^{(h)}(t,r)=\begin{pmatrix}\Phi^{(h)}_1 \\ \vdots \\ \Phi^{(h)}_{N_h}\end{pmatrix}, \qquad N_2=1,\;N_1=2,\;N_0=3,

and a symmetric potential matrix W(h)(r)W^{(h)}(r) of size Nh×NhN_h\times N_h.

Then the master system takes the universal form

Φs(h)s=1NhWss(h)(r)Φs(h)=0,\square\,\Phi^{(h)}_s-\sum_{s'=1}^{N_h}W^{(h)}_{s s'}(r)\,\Phi^{(h)}_{s'}=0,

where \square is the wave operator on the background metric and W(h)W^{(h)} contains non-derivative couplings only (no derivative mixing). The matrices are symmetric, and positivity of eigenvalues of an appropriate (possibly deformed) potential matrix gives a sufficient stability criterion. In general, these coupled systems do not fully diagonalize into independent ODEs. Only in special cases (notably Reissner–Nordström, where the scalar is absent/constant) do you recover the fully decoupled KI equations.

Even though the master equations are “only” coupled by a potential matrix, you still cannot usually diagonalize them by a constant change of basis, because the eigenvectors typically depend on rr. Generically one can treat the vector/scalar channel as a genuinely coupled system.

  • In the vector channel, a necessary and sufficient condition for full decoupling into two independent equations is that the eigenvectors of the 2×22\times2 potential matrix are rr-independent. A simple equivalent condition is that
W11(1)(r)W22(1)(r)W12(1)(r)=const.\frac{W^{(1)}_{11}(r)-W^{(1)}_{22}(r)}{W^{(1)}_{12}(r)}=\text{const}.

If this holds, the two decoupled potentials are just the two eigenvalues of W(1)(r)W^{(1)}(r).

  • In the scalar channel, decoupling would require an rr-independent eigenbasis for the 3×33\times3 matrix, which is rarer.

Practical workflow: perturbations in EMD models

Section titled “Practical workflow: perturbations in EMD models”

Most holographic EMD backgrounds are not analytic, so a robust workflow is:

  1. Background: solve the background ODEs for f,ζ,S,a,ϕf,\zeta,S,a,\phi numerically for your chosen Z(ϕ),V(ϕ)Z(\phi),V(\phi).
  2. Choose a channel (tensor/vector/scalar) using the residual symmetry (helicity under SO(D3)SO(D-3) for planar branes; tensor/vector/scalar harmonics for KI on SD2S^{D-2}).
  3. Build gauge invariants:
    • tensor: already gauge invariant,
    • vector: gauge invariants from (htα,hrα,aα)(h_{t\alpha},h_{r\alpha},a_\alpha),
    • scalar: gauge invariants from (htt,htr,hrr,htx,hrx,hxx,h,at,ar,ax,φ)(h_{tt},h_{tr},h_{rr},h_{t x},h_{r x},h_{xx},h_{\perp\perp},a_t,a_r,a_x,\varphi) (schematically).
  4. Solve the master system:
    • tensor: one ODE,
    • vector: coupled 2×22\times2 ODE system,
    • scalar: coupled 3×33\times3 ODE system.
  5. Boundary conditions:
    • impose ingoing conditions at the horizon (matrix Frobenius expansion),
    • impose the AdS boundary conditions appropriate to your quantization (Dirichlet/Neumann/mixed for ϕ\phi; standard source/vev conditions for metric and gauge field).
  6. Spectra/Green’s functions: compute quasinormal modes or retarded correlators by solving the coupled boundary value problem (e.g. determinant method: build a basis of ingoing solutions and look for vanishing sources).

Final remarks: Exceptional modes and degenerations

Section titled “Final remarks: Exceptional modes and degenerations”

The sector decomposition and master-field diagonalizations described above are for generic modes. At special momenta/harmonics, some of the usual constructions degenerate. This reflects symmetry enhancement and constraints: some modes become non‑radiative (pure gauge or parameter shifts), even though the underlying linearized equations remain regular.

For a planar brane, perturbations are usually expanded as eiωt+ikze^{-i\omega t+i k z}. For k0k\neq 0, the momentum selects a direction and the little group is SO(D3)SO(D-3), giving the familiar tensor/vector/scalar channels. At strictly k=0k=0 there is no preferred direction and the symmetry enlarges to SO(D2)SO(D-2), so the distinction between “sound/shear/tensor’’ channels ceases to be intrinsic; different finite‑kk channels can coincide by symmetry.

Technically, many convenient gauge‑invariant variables (and some diagonalization steps) are constructed assuming k0k\neq 0 and contain explicit divisions by kk (or by harmonic combinations that reduce to kk in the planar case), so taking k0k\to 0 can make the chosen variables ill‑defined even when the physics is smooth.

Spherical horizons: lowest harmonics (=0,1\ell=0,1) are exceptional

Section titled “Spherical horizons: lowest harmonics (ℓ=0,1\ell=0,1ℓ=0,1) are exceptional”

On compact horizons (e.g. SD2S^{D-2}), the harmonic decomposition introduces discrete modes. The lowest harmonics are special:

  • For vector-type perturbations, the exceptional case mV=0m_V=0 (including the =1\ell=1 vector harmonic on SnS^n) carries no gravitational dynamical degree of freedom in the source-free problem; it corresponds physically to adding infinitesimal rotation.
  • For scalar-type perturbations, the =0\ell=0 mode changes the available gauge generators and harmonic building blocks; the generic gauge-invariant variables of the master-equation construction are not defined, and the physical system reduces (often to a parameter-shift mode plus possibly matter fluctuations).

EMD systems: couplings can vanish and the effective rank can drop

Section titled “EMD systems: couplings can vanish and the effective rank can drop”

In EMD theories the master equations are typically coupled (vector: 2×22\times2, scalar: 3×33\times3), and full decoupling is not generic. But the potential-matrix entries often carry explicit factors such as k2nK\sqrt{k^2-nK} and background-profile-dependent terms (from At(r)A_t'(r), ϕ(r)\phi'(r), Z(ϕ)Z(\phi), Z(ϕ)Z'(\phi), etc.), so mixing can disappear in special limits (including planar k=0k=0) or for special backgrounds.

[1] S. Chandrasekhar, The Mathematical Theory of Black Holes (Oxford University Press, Oxford; New York, 1983).

[2] H. Kodama and A. Ishibashi, A Master Equation for Gravitational Perturbations of Maximally Symmetric Black Holes in Higher Dimensions, Prog. Theor. Phys. 110, 701–722 (2003) [arXiv:hep-th/0305147].

[3] H. Kodama and A. Ishibashi, Master Equations for Perturbations of Generalised Static Black Holes with Charge in Higher Dimensions, Prog. Theor. Phys. 111, 29–73 (2004) [arXiv:hep-th/0308128].

[4] A. Ishibashi and H. Kodama, Perturbations and Stability of Static Black Holes in Higher Dimensions, Prog. Theor. Phys. Suppl. 189, 165–209 (2011) [arXiv:1103.6148].

[5] P. K. Kovtun and A. O. Starinets, Quasinormal modes and holography, Phys. Rev. D 72, 086009 (2005) [arXiv:hep-th/0506184].

[6] Y. Matsuo, S.-J. Sin, S. Takeuchi, T. Tsukioka and C.-M. Yoo, Sound Modes in Holographic Hydrodynamics for Charged AdS Black Hole, Nucl. Phys. B 820, 593–619 (2009) [arXiv:0901.0610].

[7] A. Jansen, A. Rostworowski and M. Rutkowski, Master equations and stability of Einstein–Maxwell–scalar black holes, JHEP 12, 036 (2019) [arXiv:1909.04049].