Extremal Black Holes from Homotopy Algebras

The uniqueness and rigidity of black holes remain central themes in gravitational research. In this work, we investigate the construction of all extremal black hole solutions to the Einstein equation for a given near-horizon geometry, employing the homotopy algebraic perspective, a powerful and increasingly influential framework in both classical and quantum field theory. Utilising Gaußian null coordinates, we recast the deformation problem as an analysis of the homotopy Maurer-Cartan equation associated with an $L_\infty$-algebra. Through homological perturbation theory, we systematically solve this equation order by order in directions transverse to the near-horizon geometry. As a concrete application of this formalism, we examine the deformations of the extremal Kerr horizon. Notably, this homotopy-theoretic approach enables us to characterise the moduli space of deformations by studying only the lowest-order solutions, offering a systematic way to understand the landscape of extremal black hole geometries.

💡 Research Summary

The paper introduces a novel homotopy‑algebraic framework for constructing all extremal black‑hole solutions that share a prescribed near‑horizon geometry. Starting from the well‑known fact that the near‑horizon limit of an extremal black hole can be expressed in Gaussian null coordinates, the authors recast the Einstein equations as a deformation problem in the transverse radial direction. In these coordinates the metric is completely determined by a scalar function, a one‑form, and a symmetric rank‑2 tensor defined on the codimension‑two spatial cross‑section Σ.

Section 2 reviews Gaussian null coordinates, the structure of near‑horizon geometries, and the isometries they typically possess. The extremal Kerr solution is explicitly rewritten in this language, providing a concrete example that will be used throughout the paper.

Section 3 formulates the deformation problem. By exploiting the contracted Bianchi identity the authors isolate a minimal set of independent Einstein equations. The lowest‑order (linear) deformation equation is identified as a linear operator μ₁ acting on the perturbations of the scalar, one‑form and metric on Σ. μ₁ is essentially a Laplace‑type operator on Σ; its Green’s function G(x,y) is constructed explicitly for the Kerr horizon. The authors also discuss gauge fixing and the removal of pure diffeomorphism modes, ensuring that the remaining solutions correspond to genuine physical deformations.

Section 4 provides a concise but thorough review of homotopy algebras. An L∞‑algebra encodes the full nonlinear deformation data: the unary product ℓ₁ corresponds to μ₁, higher products ℓ₂, ℓ₃,… capture the nonlinear interactions among perturbations, and a cyclic inner product reflects the BV symplectic structure. The equations of motion become the homotopy Maurer–Cartan (MC) equation Σₙ ℓₙ(Φ,…,Φ)=0, where Φ denotes the collective deformation field.

Section 5 applies the homological perturbation lemma (HPL) to this MC equation. The HPL provides a systematic way to transfer the L∞‑structure from the original complex of fields to its cohomology, yielding a minimal model. In the minimal model the only non‑trivial differential is ℓ₁ acting on the cohomology, and all higher products are induced via the homotopy transfer. Consequently, the moduli space of full solutions is parametrised entirely by the kernel of μ₁, i.e. the space of lowest‑order deformations.

The authors then work out the higher‑order corrections explicitly. Using the inverse μ₁⁻¹ (the Green’s function) they solve the next‑to‑lowest order MC equation, showing that the second‑order deformation is uniquely determined by the first‑order data. This recursive procedure can be continued to arbitrary order, with each step adding at most a finite number of new parameters.

For the extremal Kerr horizon the analysis yields a concrete counting: there are no non‑trivial deformations at first order (n=1), exactly two independent deformations at second order (n=2), and at most 2k‑2 independent parameters at order rᵏ. This reproduces and extends the finiteness theorem of