Charges and fluxes on (perturbed) non-expanding horizons
Abhay Ashtekar, Neev Khera, Maciej Kolanowski, Jerzy Lewandowski
Abstract
A bstract In a companion paper [1] we showed that the symmetry group $$ \mathfrak{G} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>G</mml:mi> </mml:math> of non-expanding horizons (NEHs) is a 1-dimensional extension of the Bondi-Metzner-Sachs group $$ \mathfrak{B} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>B</mml:mi> </mml:math> at $$ \mathcal{I} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>I</mml:mi> </mml:math> + . For each infinitesimal generator of $$ \mathfrak{G} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>G</mml:mi> </mml:math> , we now define a charge and a flux on NEHs as well as perturbed NEHs. The procedure uses the covariant phase space framework in presence of internal null boundaries $$ \mathcal{N} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>N</mml:mi> </mml:math> along the lines of [2–6]. However, $$ \mathcal{N} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>N</mml:mi> </mml:math> is required to be an NEH or a perturbed NEH. Consequently, charges and fluxes associated with generators of $$ \mathfrak{G} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>G</mml:mi> </mml:math> are free of physically unsatisfactory features that can arise if $$ \mathcal{N} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>N</mml:mi> </mml:math> is allowed to be a general null boundary. In particular, all fluxes vanish if $$ \mathcal{N} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>N</mml:mi> </mml:math> is an NEH, just as one would hope; and fluxes associated with symmetries representing ‘time-translations’ are positive definite on perturbed NEHs. These results hold for zero as well as non-zero cosmological constant. In the asymptotically flat case, as noted in [1], $$ \mathcal{I} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>I</mml:mi> </mml:math> ± are NEHs in the conformally completed space-time but with an extra structure that reduces $$ \mathfrak{G} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>G</mml:mi> </mml:math> to $$ \mathfrak{B} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>B</mml:mi> </mml:math> . The flux expressions at $$ \mathcal{N} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>N</mml:mi> </mml:math> reflect this synergy between NEHs and $$ \mathcal{I} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>I</mml:mi> </mml:math> + . In a forthcoming paper, this close relation between NEHs and $$ \mathcal{I} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>I</mml:mi> </mml:math> + will be used to develop gravitational wave tomography, enabling one to deduce horizon dynamics directly from the waveforms at $$ \mathcal{I} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>I</mml:mi> </mml:math> + .