Kahler decoupling for Kerr perturbations

TL;DR

This paper reveals that the Kahler structure underlying the Kerr metric explains the decoupling of curvature equations like Teukolsky's, by showing how Kahler geometry preserves component decomposition.

Contribution

It demonstrates that the decoupling of curvature equations in Kerr perturbations is a direct consequence of the underlying Kahler geometry, providing a geometric explanation.

Findings

Kahler structure explains decoupling of Teukolsky equations.

Spin-k Teukolsky operator derived from Kahler Laplace-type operator.

Electromagnetic perturbations decouple due to Kahler conformal invariance.

Abstract

The Euclidean Kerr metric is conformal, in two distinct ways, to a Kahler metric, with conformal factors determined by the repeated eigenvalue of the two chiral halves of the Weyl curvature. A Lorentzian analogue holds, where the conformally related metric is complex but retains key features of Kahler geometry. We show that this hidden Kahler structure provides a geometric explanation for the existence of decoupled equations for curvature scalars, such as the Teukolsky equations. The essential mechanism is that, on a Kahler background, self-dual 2-forms are parallel with respect to a natural covariant derivative, so differential operators acting on them preserve their decomposition and do not mix components. In this way, decoupling is seen to be a direct consequence of Kahler geometry. We make this mechanism explicit in two ways. First, we show that the spin-k Teukolsky operator can be obtained from a Laplace-type operator associated with the Kahler metric by a similarity transformation. Second, for electromagnetic perturbations, we use the conformal invariance of Maxwell's equations delta F = 0 to show that they imply d delta F = 0, where delta is the co-differential of the Kahler metric. This operator automatically decouples, and the resulting equations for the extremal components coincide with the spin-one Teukolsky equations.