This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

institutetext: School of Mathematics and Statistics, Victoria University of Wellington, PO Box 600, Wellington 6140, New Zealand.

The Kerr Memory Effect at Null Infinity

Abstract

We compute the memory effect due to a gravitational wave striking a Kerr black hole as seen by an observer at null infinity. This is done by working in Bondi–Sachs coordinates. It was shown by Hawking, Perry, and Strominger (HPS) that the memory effect due to a gravitational shockwave is seen as a pure BMS supertranslation from null infinity. Hence, it is of interest to compute the supertranslated Kerr solution in Bondi–Sachs coordinates. Finally, the gravitational wave is said to implant soft supertranslation hair on the event horizon of the black hole which carries superrotation charge. We will explicitly calculate the change in superrotation charge on the event horizon due to the supertranslation hair.


Date: 11 March 2024; -ed


Keywords:
Black holes; Kerr; BMS;
Memory effect; Supertranslations.


1 Introduction

Since the observational discovery of gravitational waves nearly a decade ago by the Laser Interferometer Gravitational-Wave Observatory (LIGO) (and other detectors such as Virgo and KAGRA), many have wondered about detection of the gravitational memory effect — the permanent alteration of a system due to a transient gravitational wave. The memory effect has been discussed in the literature since 1972, first introduced by Zel’dovich and Polnarev gravmem1st , then greatly expanded upon in the last few decades by Christodoulou and others chriswork1 ; Thorne:1992sdb ; metricofsimpleexample ; nonlineargraviationalwave ; Tolish ; tolishthesis ; Garfinkle:2022dnm . In the past few years there has been a deep mathematical connection made between the gravitational memory effect and a set of infinite symmetries at null infinity strominger2016gravitational ; compere_lectures ; stromingernotes ; HPS ; HPSrot . These symmetries are associated to a set of transformations known as supertranslations and superrotations, collectively known as supertransformations. In fact, when two particles are left permanently displaced by a gravitational wave, the initial and final states are related by a supertranslation.

This group of infinite symmetries has been known of for nearly 60 years, first introduced by Bondi, van der Burg, Metzner and Sachs bondi1960gravitational ; Bondi:1962px ; Sachs:1962wk ; cit:sachs1 - known as the BMS group111Unfortunately, van der Burg’s name is often forgotten.. In recent years, there has been further research and development of the BMS algebra Barnich:2009se ; Barnich_troes ; aspectsofbms/cft and the charges associated with supertranslations and superrotations. These charges have led to a hope of better understanding the ‘scattering problem’ in general relativity strominger2016gravitational ; stromingernotes . Furthermore, it seems that charges associated with supertransformations may play an important role in resolving — part of — the information loss problem Strominger:2017aeh ; HPSrot ; HPS . This is addressed by asserting that gravitational waves implant soft supertranslation hair on the event horizons of black holes. This hair is then evaporated off to null infinity, thereby preserving information from past null infinity through to future null infinity. Therefore, detection of the memory effect may offer a better understanding of abstract mathematical ideas and how they may be physically realised. Unfortunately, the memory effect will likely not be observationally detected until after the Laser Interferometer Space Antenna (LISA) Lisa ; LISA:2022kgy is launched.

Here we will discuss the effects of a transient gravitational shockwave striking the Kerr black hole as seen from an observer at futre null infinity222It is worth mentioning that we do not have an effective operational answer for “where is null infinity”, nor do we claim to. It is an interesting question to ask, however. How does one define an operational notion of null infinity and how “far one has to be from the source” to observe something that is being radiated off to null infinity.. We follow the calculations of HPS and others HPSrot ; stromingernotes ; cit:bhm who have discussed the effects of a transient shock wave striking Schwarzschild and Reissner Nordström black holes. These authors show that the deformation of a black hole due to a gravitational shockwave (the memory effect) is seen as a pure BMS supertranslation from future null infinity333There are additional effects that are not seen from null infinity, and this will be discussed in subsection 1.4.. Hence, we will compute the explicit supertranslated Kerr solution in Bondi–Sachs coordinates.

We will begin by summarising the expanded Bondi–Sachs metric, asymptotic Killing vectors which generate symmetries that have associated charges, and the relationship between the memory effect and supertranslations. In section 2 we will discuss the Kerr solution in general Bondi–Sachs coordinates introduced by Fletcher and Lun fletcher2003kerr and put it in the Bondi–Sachs gauge. In section 3 with the Kerr solution in the Bondi–Sachs gauge we will find the supertranslated metric functions. Finally, in section 4 we will calculate the supertransformation charges associated to the supertranslation hair that is implanted on the Kerr black hole due to the gravitational shockwave.

1.1 The Bondi–Sachs Metric

Bondi, van der Burg, Metzner, and Sachs bondi1960gravitational ; Bondi:1962px ; cit:sachs1 wanted to define a concept of asymptotic flatness at null infinity. The falloffs needed to be restrictive enough that unphyiscal spacetimes — such as those with infinite energy — would be ruled out, yet not so restrictive such that physical spacetimes and gravitational waves would be ruled out. While the falloffs may differ in the literature, we will use the choice made by BMS bondi1960gravitational ; Bondi:1962px ; cit:sachs1 ; stromingernotes :

guu=1+𝒪(r1),gur=1+𝒪(r2),guA=𝒪(r0),\displaystyle g_{uu}=-1+\mathcal{O}(r^{-1}),\quad g_{ur}=-1+\mathcal{O}(r^{-2}),\quad g_{uA}=\mathcal{O}(r^{0}), (1)
gAB=r2γAB+𝒪(r),grr=grA=0.\displaystyle g_{AB}=r^{2}\gamma_{AB}+\mathcal{O}(r),\quad g_{rr}=g_{rA}=0\,.

The class of allowed asymptotic line elements for these falloffs is given by

ds2=\displaystyle ds^{2}= du22dudr+r2γABdΘAdΘB\displaystyle-\mathrm{d}u^{2}-2\mskip 1.5mu\mathrm{d}u\mskip 1.5mu\mathrm{d}r+r^{2}\gamma_{AB}\mskip 1.5mu\mathrm{d}\Theta^{A}\mathrm{d}\Theta^{B} (2)
+2mbondirdu2+rCABdΘAdΘB+DBCABdudΘA\displaystyle+\frac{2\mskip 1.5mum_{\,\text{bondi}}}{r}\mathrm{d}u^{2}+r\mskip 1.5muC_{AB}\mskip 1.5mu\mathrm{d}\Theta^{A}\mathrm{d}\Theta^{B}+D^{B}C_{AB}\mskip 1.5mu\mathrm{d}u\mskip 1.5mu\mathrm{d}\Theta^{A}
+116r2{CFDCFD}dudr\displaystyle+\frac{1}{16\mskip 1.5mur^{2}}\mskip 1.5mu\Big{\{}C^{FD}C_{FD}\Big{\}}\,\mathrm{d}u\mskip 1.5mu\mathrm{d}r
+1r(43NA+4u3Ambondi18A{CFDCFD})dudΘA\displaystyle+\frac{1}{r}\Big{(}\,\frac{4}{3}N_{A}+\frac{4u}{3}\partial_{A}m_{\,\text{bondi}}-\frac{1}{8}\partial_{A}\Big{\{}C^{FD}C_{FD}\Big{\}}\Big{)}\mathrm{d}u\mskip 1.5mu\mathrm{d}\Theta^{A}
+14γAB{CFDCFD}dΘAdΘB+\displaystyle+\frac{1}{4}\gamma_{AB}\mskip 1.5mu\Big{\{}C^{FD}C_{FD}\Big{\}}\,\mathrm{d}\Theta^{A}\mathrm{d}\Theta^{B}+\dots

where ΘA{θ,ϕ}\Theta^{A}\in\{\theta,\phi\} and the uppercase Latin indices run over θ,ϕ\theta,\phi. DAD_{A} is the covariant derivative on the 2–sphere with respect to the 2–sphere metric, γAB\gamma_{AB}. The function mbondim_{\text{bondi}} is the Bondi mass aspect, which is in general a function of uu and the angles, θ,ϕ\theta\,,\phi. This can be used to obtain the entire Bondi mass after integrating mbondim_{\text{bondi}} over the entire 2–sphere at null infinity. In the case of the Kerr spacetime, the Bondi mass is simply, MM, the mass of the black hole. NAN_{A} is the angular moment aspect. Contracting NAN_{A} with the generator of rotations and integrating over the entire sphere is related to the total angular momentum of the spacetime. CABC_{AB} is another field which is symmetric and traceless (γABCAB=0\gamma^{AB}C_{AB}=0). The retarded time derivative of CABC_{AB} is in fact the Bondi news tensor,

NAB:=uCAB.N_{AB}:=\partial_{u}\mskip 1.5muC_{AB}\,. (3)

The news tensor is the gravitational analogue of the Maxwell field strength and its square is proportional to the energy flux across +\mathcal{I}^{+} stromingernotes ; compere_lectures .

It is important to note that NAN_{A} is defined slightly differently in various parts of the literature — usually depending on the asymptotic expansion (2). For instance, Comperé in refs Compere_final_state ; 45offinalstate has a decomposition that leads to NAN_{A} being defined as444This corresponds to pure vacuum and the mass contribution is omitted.

NA:=332A(CBCCBC)14CABDCCAC.N_{A}:=-\frac{3}{32}\partial_{A}\Big{(}C_{BC}C^{BC}\Big{)}-\frac{1}{4}C_{AB}D_{C}C^{AC}. (4)

However, Strominger in ref stromingernotes and Comperé in ref compere_lectures uses the decomposition (2), which leads to NAN_{A} being defined as

23NA116A(CBCCBC):=g(1).uA\frac{2}{3}N_{A}-\frac{1}{16}\partial_{A}\Big{(}C_{BC}C^{BC}\Big{)}:=g^{(1)}{{}_{uA}}\,. (5)

Here, guA(1)g^{(1)}_{uA} corresponds to the r1r^{-1} expansion in guAg_{uA}. We will opt to use the second definition as the superrotation charge will not be changed. This can be seen explicitly in the case of the Kerr solution.

1.2 Killing Vector

Symmetries of a spacetime are associated to Killing vectors of that spacetime. Hence, before discussing the charges associated with symmetries in our spacetime, we must first briefly discuss the Killing vectors of our spacetime - or rather, the asymptotic Killing vectors. The most general Killing vector, 𝝃\boldsymbol{\xi}, that preserves the metric (2) to leading order is stromingernotes

ξαα:=fu\displaystyle\xi^{\alpha}\partial_{\alpha}:=f\partial_{u} +[1rDAf+12r2CABDBf+𝒪(1r3)]A\displaystyle+\Bigg{[}-\frac{1}{r}D^{A}f+\frac{1}{2\mskip 1.5mur^{2}}C^{AB}D_{B}f+\mathcal{O}{\left(\frac{1}{r^{3}}\right)}\Bigg{]}\,\partial_{A} (6)
+[12D2f1r{12DAfDBCAB+14CABDADBf}+𝒪(1r2)]r.\displaystyle+\Bigg{[}\frac{1}{2}D^{2}f-\frac{1}{r}\Bigg{\{}\frac{1}{2}D_{A}fD_{B}\mskip 1.5muC^{AB}+\frac{1}{4}C^{AB}\mskip 1.5muD_{A}D_{B}\mskip 1.5muf\Bigg{\}}+\mathcal{O}{\left(\frac{1}{r^{2}}\right)}\Bigg{]}\,\partial_{r}\,.

Here, ff is a function of that angular coordinates (θ,ϕ)(\theta,\phi) only and D2D^{2} is the standard Laplacian on the 2–sphere. However, since the analysis conducted here is only a calculation to linear order — as done by HPS HPSrot , the Killing vector is truncated:

ξαα=fu+12D2fr1rDAfA.\xi^{\alpha}\partial_{\alpha}=f\mskip 1.5mu\partial_{u}+\frac{1}{2}D^{2}f\partial_{r}-\frac{1}{r}D^{A}f\partial_{A}\,. (7)

This does indeed beg the question of whether a second order analysis would still show that the memory effect — as seen from null infinity — is still a supertranslation with the Killing vector (6).

1.3 Associated Charges and Charge Conservation

It is well known that the symmetries of spacetime are associated to conserved charges via Noether’s theorem. Before the discovery of the BMS group, the largest symmetry group was the Poincaré group, which has associated conserved charges such as energy and momentum. The BMS group, which is an infinite dimensional group of symmetries at null infinity also has charges associated to supertranslations and superrotations.

Supertranslation charge and its conservation is given by555Note that integration is carried out over the 2–sphere at null infinity. stromingernotes

Qf+=14π+d2Θγfmbondi=14πd2Θγfmbondi=Qf.Q_{f}^{+}=\frac{1}{4\pi}\int_{\mathcal{I}^{+}}\mathrm{d}^{2}\Theta\,\sqrt{\gamma}\,fm_{\,\text{bondi}}=\frac{1}{4\pi}\int_{\mathcal{I}^{-}}\mathrm{d}^{2}\Theta\,\sqrt{\gamma}\,fm_{\,\text{bondi}}=Q^{-}_{f}\,. (8)

Here ff is a function of angular coordinates666Note that while ff is often chosen to be a spherical harmonic function, it is not limited to be only a spherical harmonic. and can be thought of as the generator of supertranslations. In general, the supertranslation charges will depends on advanced/retarded time. This is simply due to mbondim_{\text{bondi}} — in general — depending on advanced/retarded time. In the case where f=1f=1 the conserved charge is energy while in the case where ff is a l=1l=1 spherical harmonic function we have conservation of ADM momentum.

Superrotation charge and its conservation is given by777This definition of superrotation charge follows from using (5) as our definition of NAN_{A}. In the case that one uses (4), superrotation charge is expressed via Barnich_troes QY=116πd2ΘγYA[2NA+116A(CBCCBC)].Q_{Y}=\frac{1}{16\pi}\int\mathrm{d}^{2}\Theta\,\sqrt{\gamma}\,Y^{A}\Big{[}2N_{A}+\frac{1}{16}\partial_{A}\Big{(}C_{BC}C^{BC}\Big{)}\Big{]}\,.

QY+=18π+d2ΘγYANA=18πd2ΘγYANA=QY,Q^{+}_{Y}=\frac{1}{8\pi}\int_{\mathcal{I}^{+}}\mathrm{d}^{2}\Theta\,\sqrt{\gamma}\,Y^{A}N_{A}=\frac{1}{8\pi}\int_{\mathcal{I}^{-}}\mathrm{d}^{2}\Theta\,\sqrt{\gamma}\,Y^{A}N_{A}=Q^{-}_{Y}, (9)

where YAY^{A} is an arbitrary vector field on the 2–sphere 888As is the case for ff, the components of YAY^{A} are often chosen to be spherical harmonic functions, however, the components of YAY^{A} are not limited to be spherical harmonics.. In the case that YAY^{A} is one of the 6 global conformal Killing vectors on the 2–sphere (9) expresses conservation of ADM angular momentum and boost charges.

The notation used here indicates that supertransformation charge at future null infinity, +\mathcal{I}^{+} should match the supertransformation charge at past null infinity, \mathcal{I}^{-}. Furthermore, these matching conditions are a statement about having a well-posed scattering problem in general relativity. The existence of these conserved charges is — at least in principle — verifiable with the gravitational memory effect, which may be detectable in the near future.

1.4 The Memory Effect and Supertranslations

During the last decade there has been a lot of discussion regarding the gravitational memory effect and the direct correspondence of this effect with the BMS group — for instance, one may see refs stromingernotes ; HPSrot ; HPS ; compere_lectures ; Compere_final_state ; donnaysuperathorizon ; extendedsymm ; Wald_bHM . It was shown by HPS HPSrot that a deformation due to a shockwave defined via an energy-momentum tensor is equivalent to a BMS supertranslation at null infinity (for a Schwarzschild black hole). Such a supertranslation is given by taking the Lie derivative of the spacetime metric — in this case, the Schwarzschild metric — along the asymptotic Killing vector999Note the sign change here due to changing from retarded time to advanced time.,

ξμμ=fv12D2fr+1rDAfA.\xi^{\mu}\partial_{\mu}=f\partial_{v}-\frac{1}{2}D^{2}f\partial_{r}+\frac{1}{r}D^{A}f\partial_{A}\,. (10)

However, as HPS HPSrot state, supertranslations only equate to part of the deformation a gravitational wave would produce when striking a black hole.

Intuitively, gravitational waves, which carry energy, should impart some of this energy to the black hole it strikes and it should alter the mass and/or (angular) momentum. In fact, it was shown by HPS HPSrot that there was a change in the mass of a Schwarzschild black hole due to the monopole (denoted by μ\mu in ref HPSrot ) contribution of the shockwave. Therefore, the full101010The word full is used here, however, it is worth noting that this is only an analysis at linear order. “memory effect” due to such a shockwave was written as111111The Heaviside terms here have been neglected as we are assuming the shockwave has already struck the black hole.

δgμν=ξgμν+2μrδvδvμ.ν\delta g_{\mu\nu}=\mathcal{L}_{\xi}g_{\mu\nu}+\frac{2\mu}{r}\delta^{\mskip 1.5muv}{{}_{\mu}}\delta^{\mskip 1.5muv}{{}_{\nu}}\,. (11)

Here δgμν\delta g_{\mu\nu} refers to the permanent change in the spacetime due to a gravitational wave. Therefore, the mass of the hairy Schwarzschild black hole would be m=M+μm=M+\mu after the gravitational shockwave strikes the black hole. However, while the mass of the black hole may change, the Bondi mass of the black hole — at least at linear order — does not change. This further emphasises that the memory effect is not entirely captured by BMS supertransformations. However, the memory effect as seen from null infinity is entirely captured by BMS supertranslations.

This discussion is important when analysing the calculations in this paper. Applying the same gravitational shockwave used in HPSrot ; stromingernotes ; cit:bhm to the Kerr solution is a non-trivial task and thus one does not know for certain what the other components to the memory effect will appear. A common suspicion within the community is that there may be another monopole contribution to the mass term that appears in the guϕg_{u\phi} component of the metric. This would imply a change in the angular momentum of the Kerr black hole due to a gravitational shockwave — which will not be seen at null infinity by observation of the superrotation charge.

2 The Kerr Metric

We will now discuss the Kerr metric in general Bondi–Sachs coordinates. The Kerr solution was first introduced in generalised Bondi–Sachs coordinates by Fletcher and Lun fletcher2003kerr as they were interested in investigating gravitational radiation in the Kerr spacetime. As we are interested in the behaviour of this solution at large rr, i.e., expanded in powers of 1/r1/r we shall only present the asymptotic line element121212We have chosen to not list the gθϕg_{\theta\phi} term here since it is of order 𝒪(1/r)\mathcal{O}{\left(1/r\right)}. Comparing this to (2) it is clear that this term will be of subleading order and not used in the analysis. found in the appendix of ref fletcher2003kerr :

ds2=\displaystyle\mathrm{d}s^{2}= (12Mr~)du22(1+a2cos2θ12a2r~2)dudr~\displaystyle-\Bigg{(}1-\frac{2M}{\tilde{r}}\Bigg{)}\,\mathrm{d}u^{2}-2\Bigg{(}1+\frac{a^{2}\cos^{2}\theta-\frac{1}{2}\mskip 1.5mua^{2}}{\tilde{r}^{2}}\Bigg{)}\mskip 1.5mu\mathrm{d}u\mskip 1.5mu\mathrm{d}\tilde{r} (12)
2cosθ(a2aM+2a2sinθr~)dudθ2(2aMsin2θr~)dudϕ\displaystyle-2\cos\theta\Bigg{(}a-\frac{2aM+2a^{2}\sin\theta}{\tilde{r}}\Bigg{)}\mskip 1.5mu\mathrm{d}u\mskip 1.5mu\mathrm{d}\theta-2\Bigg{(}\frac{2aM\sin^{2}\theta}{\tilde{r}}\Bigg{)}\mskip 1.5mu\mathrm{d}u\mskip 1.5mu\mathrm{d}\phi
+r~2(1+2asinθr~+2a23a2cos2θr~2)dθ2\displaystyle+\tilde{r}^{2}\Bigg{(}1+\frac{2a\sin\theta}{\tilde{r}}+\frac{2a^{2}-3a^{2}\cos^{2}\theta}{\tilde{r}^{2}}\Bigg{)}\mskip 1.5mu\mathrm{d}\theta^{2}
+r~2(sin2θ2asinθcos2θr~+a23a2cos2θ+3a2cos4θr~2)dϕ2+\displaystyle+\tilde{r}^{2}\Bigg{(}\sin^{2}\theta-\frac{2a\sin\theta\cos^{2}\theta}{\tilde{r}}+\frac{a^{2}-3a^{2}\cos^{2}\theta+3a^{2}\cos^{4}\theta}{\tilde{r}^{2}}\Bigg{)}\mskip 1.5mu\mathrm{d}\phi^{2}+\dots

The line element given in (12) does not, however, satisfy the Bondi-Sachs gauge. This gauge is reached by requiring the coordinate, rr, to be the “luminosity distance” bondi1960gravitational . This is, however, misleading as in the term luminosity distance means something quite different in cosmology. In fact, rr, is simply chosen to be an areal coordinate that varies along null rays that satisfies det(gAB)=r4sin2θ\mathrm{det}(g_{AB})=r^{4}\sin^{2}\theta. This is achieved by defining131313In fact, this is not the only reason this transformation is chosen. This coordinate transformation also leads to the trace of CABC_{AB} vanishing and to the metric taking the form (2).,

r~:=r+a2cos2θsinθ+a28(4cos2θ+1sin2θ)1r.\tilde{r}:=r+\frac{a}{2}\frac{\cos 2\theta}{\sin\theta}+\frac{a^{2}}{8}\,\Bigg{(}4\cos 2\theta+\frac{1}{\sin^{2}\theta}\Bigg{)}\frac{1}{r}\,. (13)

With this radial coordinate the line element (12) may be recast into the following form141414The gurg_{ur} component here differs from ref Barnich_troes . This is in fact a small error in Appendix D of their paper and can be verified by computing dr~\mathrm{d}\tilde{r}. Furthermore, one may note that this component now correctly provides the scalar, CABCABC^{AB}C_{AB}.:

ds2=\displaystyle\mathrm{d}s^{2}= (12Mr)du22(1a216sin2θ1r2)dudr\displaystyle-\Bigg{(}1-\frac{2M}{{r}}\Bigg{)}\,\mathrm{d}u^{2}-2\Bigg{(}1-\frac{a^{2}}{16\mskip 1.5mu\sin^{2}\theta}\frac{1}{r^{2}}\Bigg{)}\mskip 1.5mu\mathrm{d}u\mskip 1.5mu\mathrm{d}{r} (14)
2(a2cosθsin2θacosθ4{8M+asin3θ}1r)dudθ2(2aMsin2θr)dudϕ\displaystyle-2\Bigg{(}-\frac{a}{2}\frac{\cos\theta}{\sin^{2}\theta}-\frac{a\cos\theta}{4}\{8M+\frac{a}{\sin^{3}\theta}\}\frac{1}{r}\Bigg{)}\mskip 1.5mu\mathrm{d}u\mskip 1.5mu\mathrm{d}\theta-2\Bigg{(}\frac{2aM\sin^{2}\theta}{r}\Bigg{)}\mskip 1.5mu\mathrm{d}u\mskip 1.5mu\mathrm{d}\phi
+(r2+asinθr+a22sin2θ)dθ2+(r2sin2θasinθr+a22)dϕ2+\displaystyle+\Bigg{(}r^{2}+\frac{a}{\sin\theta}\mskip 1.5mur+\frac{a^{2}}{2\mskip 1.5mu\sin^{2}\theta}\Bigg{)}\mskip 1.5mu\mathrm{d}\theta^{2}+\Bigg{(}r^{2}\sin^{2}\theta-a\sin\theta\,r+\frac{a^{2}}{2}\Bigg{)}\mskip 1.5mu\mathrm{d}\phi^{2}+\dots

By comparing the expanded form of Kerr solution in the Bondi-Sachs gauge in (14) with (2) we may read off NAN_{A}, CABC_{AB}, and CABCABC_{AB}\mskip 1.5muC^{AB} for the Kerr solution.

CABCAB2a2sin2θ;\displaystyle C_{AB}\mskip 1.5muC^{\mskip 1.5muAB}\equiv\frac{2a^{2}}{\sin^{2}\theta}; (15)
CABdxAdxBasinθdθ2asinθdϕ2;\displaystyle C_{AB}\mskip 1.5mu\mathrm{d}x^{A}\mskip 1.5mu\mathrm{d}x^{B}\equiv\frac{a}{\sin\theta}\,\mathrm{d}\theta^{2}-a\sin\theta\,\mathrm{d}\phi^{2};
Nθ3aMcosθ;\displaystyle N_{\theta}\equiv 3aM\cos\theta\,;
Nϕ3aMsin2θ;\displaystyle N_{\phi}\equiv-3aM\sin^{2}\theta;
mbondiM.\displaystyle m_{\,\text{bondi}}\equiv M\,.

One may note here that the coordinate transformation (13) is singular when sinθ=0\sin\theta=0. However, this is in fact only a coordinate singularity as one may confirm by checking both the Ricci and Kretschmann scalars. Both of these scalar invariants remain finite when sinθ=0\sin\theta=0. Intuitively, one may see this as a result of using simple null geodesics — those with zero angular momentum about the axis of symmetry — to arrive at this particular version of the Kerr solution. Simple null geodesics were used by Fletcher and Lun fletcher2003kerr as the principal null directions of the Kerr solution do not form constant uu hypersurfaces. This feature has been discussed in the literature and does limit the applicability of this metric in numerical studies — one may see refs Venter:2005cs ; kdsinbondi for further discussions.

Furthermore, note that we are using retarded time instead of advanced time. The original calculations by HPS HPSrot ; stromingernotes were done in advanced time. However, we are interested in the potential observation of the supertranslated Kerr black hole in the future of the black hole being struck by a gravitational wave151515By following the calculations of Fletcher and Lun fletcher2003kerr changing from retarded time to advanced time will only require a sign change. Therefore, if one wishes to see charges implanted on the horizon, one can easily do so by changing the a sign in the relevant components..

3 Supertranslations of the Kerr Spacetime

Unlike the cases considered in refs HPSrot ; cit:bhm ; KKSofthair — which are non-rotating spacetimes — there are several other terms involved when calculating the diffeomorphisms of the Kerr solution in the form (12). All of these diffeomorphisms are explicitly given by

δgμν:=ξgμν=ξααgμν+gανμξα+gμανξα,\delta g_{\mu\nu}:=\mathcal{L}_{\mathbf{\xi}}g_{\mu\mskip 1.5mu\nu}=\xi^{\alpha}\partial_{\alpha}\mskip 1.5mug_{\mu\mskip 1.5mu\nu}+g_{\alpha\mskip 1.5mu\nu}\mskip 1.5mu\partial_{\mu}\mskip 1.5mu\xi^{\alpha}+g_{\mu\mskip 1.5mu\alpha}\mskip 1.5mu\partial_{\nu}\mskip 1.5mu\xi^{\alpha}\,, (16)

where the 𝝃\boldsymbol{\xi} is once again the asymptotic Killing vector in (10). The supertranslated metric functions are found to be:

δguu=MD2fr2;\displaystyle\delta g_{uu}=-M\frac{D^{2}f}{r^{2}}\,; (17)
δgur=1r2acosθ2sin2θD2f;\displaystyle\delta g_{ur}=\frac{1}{r^{2}}\frac{\mskip 1.5mua\cos\theta}{2\mskip 1.5mu\sin^{2}\theta}\mskip 1.5muD^{2}f\,;
δguθ=(θf+12θD2f)+1r(2Mθfθ{a2cos(θ)sin2θθf});\displaystyle\delta g_{u\mskip 1.5mu\theta}=-\Bigg{(}\partial_{\theta}f+\frac{1}{2}\partial_{\theta}D^{2}f\Bigg{)}+\frac{1}{r}\Bigg{(}2M\partial_{\theta}f-\partial_{\theta}\mskip 1.5mu\Bigg{\{}\frac{a}{2}\frac{\cos{\theta}}{\sin^{2}\theta}\partial_{\theta}f\Bigg{\}}\Bigg{)}\,;
δguϕ=(ϕf+12ϕD2f)+1r(2Mϕfa2cos(θ)sin2θϕθf);\displaystyle\delta g_{u\mskip 1.5mu\phi}=-\Bigg{(}\partial_{\phi}f+\frac{1}{2}\partial_{\phi}D^{2}f\Bigg{)}+\frac{1}{r}\Bigg{(}2M\partial_{\phi}f-\frac{a}{2}\frac{\cos{\theta}}{\sin^{2}\theta}\partial_{\phi}\mskip 1.5mu\partial_{\theta}f\Bigg{)}\,;
δgθθ={2θf2D2f}rasinθ{+12D2f+2cosθsinθθf2θf2};\displaystyle\delta g_{\theta\theta}=\Bigg{\{}2\partial_{\theta}{{}^{2}}f-D^{2}f\Bigg{\}}\mskip 1.5mur-\frac{a}{\sin\theta}\Bigg{\{}+\frac{1}{2}D^{2}f+2\mskip 1.5mu\frac{\cos\theta}{\sin\theta}\partial_{\theta}f-2\mskip 1.5mu\partial_{\theta}{{}^{2}}f\Bigg{\}}\,;
δgϕϕ={2ϕf2+2sinθcosθϕfsin2θD2f}r\displaystyle\delta g_{\phi\phi}=\Bigg{\{}2\partial_{\phi}{{}^{2}}f+2\mskip 1.5mu\sin\theta\cos\theta\,\partial_{\phi}f-\sin^{2}\theta D^{2}f\Bigg{\}}\mskip 1.5mur
asinθ{12sin2θD2f+cosθϕf+2ϕf2}.\displaystyle\hskip 142.00018pt-\frac{a}{\sin\theta}\Bigg{\{}\frac{1}{2}\sin^{2}\theta D^{2}f+\cos\theta\mskip 1.5mu\partial_{\phi}f+2\mskip 1.5mu\partial_{\phi}{{}^{2}}f\Bigg{\}}\,.

Comparing the supertranslated metric functions with refs HPSrot ; cit:bhm ; KKSofthair it is clear that upon setting a=0a=0 we recover the supertranslated Schwarzschild black hole161616The notation used in this paper is more explicit when comparing to the referenced papers. This leads to the gϕϕg_{\phi\phi} supertranslation looking slightly different. This is, however, due to the fact that the covariant derivatives have been calculated explicitly and not left in the form DA(DBf)D_{A}(D_{B}f) .. One may note that the supertranslated CABC_{AB} field is the same for the Kerr solution and Schwarzschild. This is to be expected as in refs stromingernotes ; compere_lectures is it shown that there should be no change unless mbondim_{\text{bondi}} is actually a function of retarded/advanced time.

The new metric functions are defined via

g¯μν:=gμν+δgμν,\bar{g}_{\mu\nu}:=g_{\mu\nu}+\delta g_{\mu\nu}\,, (18)

which are:

g¯uu=(12MrMD2fr2)\displaystyle\bar{g}_{uu}=-\Bigg{(}1-\frac{2M}{r}-M\frac{D^{2}f}{r^{2}}\Bigg{)} (19)
g¯ur=(1{a216sin2θ+8acosθ16sin2θD2f}1r2)\displaystyle\bar{g}_{ur}=-\Bigg{(}1-\Bigg{\{}\frac{a^{2}}{16\mskip 1.5mu\sin^{2}\theta}+\frac{8\mskip 1.5mua\cos\theta}{16\mskip 1.5mu\sin^{2}\theta}D^{2}f\Bigg{\}}\frac{1}{r^{2}}\Bigg{)}
g¯uθ={a2cosθsin2θ+θf+12θD2f}\displaystyle\bar{g}_{u\theta}=-\Bigg{\{}-\frac{a}{2}\frac{\cos\theta}{\sin^{2}\theta}+\partial_{\theta}f+\frac{1}{2}\partial_{\theta}D^{2}f\Bigg{\}}
{acosθ4{8M+asin3θ}2Mθf+θ[a2cos(θ)sin2θθf]}1r\displaystyle\hskip 22.0pt-\Bigg{\{}-\frac{a\cos\theta}{4}\{8M+\frac{a}{\sin^{3}\theta}\}-2M\partial_{\theta}f+\partial_{\theta}\Bigg{[}\frac{a}{2}\frac{\cos{\theta}}{\sin^{2}\theta}\partial_{\theta}f\Bigg{]}\Bigg{\}}\frac{1}{r}
g¯uϕ=(ϕf+12ϕD2f)+{2aMsin2θ+2Mϕfa2cos(θ)sin2θϕθf}1r\displaystyle\bar{g}_{u\phi}=-\Bigg{(}\partial_{\phi}f+\frac{1}{2}\partial_{\phi}D^{2}f\Bigg{)}+\Bigg{\{}-2aM\sin^{2}\theta+2M\partial_{\phi}f-\frac{a}{2}\frac{\cos{\theta}}{\sin^{2}\theta}\partial_{\phi}\mskip 1.5mu\partial_{\theta}f\Bigg{\}}\frac{1}{r}
g¯θθ=r2+{asinθ+2θf2D2f}r\displaystyle\bar{g}_{\theta\theta}=r^{2}+\Bigg{\{}\frac{a}{\sin\theta}+2\partial_{\theta}{{}^{2}}f-D^{2}f\Bigg{\}}\mskip 1.5mur
asinθ{a2sinθ+12D2f+2cosθsinθθf2θf2}\displaystyle\hskip 13.00005pt-\frac{a}{\sin\theta}\Bigg{\{}-\frac{a}{2\sin\theta}+\frac{1}{2}D^{2}f+2\mskip 1.5mu\frac{\cos\theta}{\sin\theta}\partial_{\theta}f-2\mskip 1.5mu\partial_{\theta}{{}^{2}}f\Bigg{\}}
g¯ϕϕ=r2sin2θ+{asinθ+2ϕf2+2cosθsinθϕfsin2θD2f}r\displaystyle\bar{g}_{\phi\phi}=r^{2}\sin^{2}\theta+\Bigg{\{}-a\sin\theta+2\partial_{\phi}{{}^{2}}f+2\mskip 1.5mu\cos\theta\sin\theta\,\partial_{\phi}f-\sin^{2}\theta D^{2}f\Bigg{\}}\mskip 1.5mur
asinθ{asinθ2+12sin2θD2f+cosθϕf+2ϕf2}.\displaystyle\hskip 40.00006pt-\frac{a}{\sin\theta}\Bigg{\{}-\frac{a\sin\theta}{2}+\frac{1}{2}\sin^{2}\theta D^{2}f+\cos\theta\mskip 1.5mu\partial_{\phi}f+2\mskip 1.5mu\partial_{\phi}{{}^{2}}f\Bigg{\}}\,.

The supertranslated Kerr metric in section 3 is referred to as a “hairy black hole”. The hair carried is soft supertranslation hair, which have corresponding charges. From the metric components, one can read off CABCABC_{AB}C^{AB}, CABC_{AB}, and NAN_{A} after the Kerr spacetime has been supertranslated.

CABCAB=2a2sin2θ+16acosθsin2θD2f\displaystyle C_{AB}\mskip 1.5muC^{AB}=\frac{2\mskip 1.5mua^{2}}{\sin^{2}\theta}+\frac{16\mskip 1.5mua\cos\theta}{\sin^{2}\theta}D^{2}f (20)
CABdxAdxB=(asinθ+2θf2D2f)dθ2\displaystyle C_{AB}\mskip 1.5mu\mathrm{d}x^{A}\mskip 1.5mu\mathrm{d}x^{B}=\Bigg{(}\frac{a}{\sin\theta}+2\partial_{\theta}{{}^{2}}f-D^{2}f\Bigg{)}\,\mathrm{d}\theta^{2}
(asinθ2ϕf22cosθsinθϕfsin2θD2f)dϕ2\displaystyle\hskip 57.00005pt-\Bigg{(}a\sin\theta-2\partial_{\phi}{{}^{2}}f-2\mskip 1.5mu\frac{\cos\theta}{\sin\theta}\partial_{\phi}f-\sin^{2}\theta D^{2}f\Bigg{)}\,\mathrm{d}\phi^{2}
Nθ=3M{acosθ+θf}+32aθ{cosθsin2θ[D2f12θf]}\displaystyle N_{\theta}=3M\{\mskip 1.5mua\cos\theta+\partial_{\theta}f\mskip 1.5mu\}+\frac{3}{2}\mskip 1.5mua\mskip 1.5mu\partial_{\theta}\Bigg{\{}\frac{\cos\theta}{\sin^{2}\theta}\Big{[}D^{2}f-\frac{1}{2}\partial_{\theta}f\Big{]}\Bigg{\}}
Nϕ=3M{asin2θ+ϕf}+32aϕ{cosθsin2θ[D2f12θf]},\displaystyle N_{\phi}=3M\{\mskip 1.5mu-a\sin^{2}\theta+\partial_{\phi}f\mskip 1.5mu\}+\frac{3}{2}\mskip 1.5mua\mskip 1.5mu\partial_{\phi}\Bigg{\{}\frac{\cos\theta}{\sin^{2}\theta}\Big{[}D^{2}f-\frac{1}{2}\partial_{\theta}f\Big{]}\Bigg{\}}\,,

and the supertranslated event horizon is now located at

(r+)f=r++12D2f.(r_{+})_{f}=r_{+}+\frac{1}{2}D^{2}f\,. (21)

It is apparent that several terms in the supertranslated metric functions are once again singular when sinθ=0\sin\theta=0. If one is to use this solution for numerical studies then it is likely that ff must be restricted to very particular functions in order to eliminate this issue.

4 Charges

With the supertranslated spacetime — the hairy Kerr black hole — we may now discuss the superrotation charges associated to the supertranslation hair which are evaporated off the event horizon to future null infinity.

4.1 Supertranslation Charge

As discussed by HPS HPSrot ; stromingernotes supertranslation hair do not impart supertranslation charge. Recall that the supertranslation charge observed at future null infinity is defined as follows:

Qf=14π+d2Θγfmbondi.Q_{f}=\frac{1}{4\pi}\int_{\mathcal{I}^{+}}\mathrm{d}^{2}\Theta\,\sqrt{\gamma}\,fm_{\,\text{bondi}}\,. (22)

It is now clear that since the Bondi mass aspect, mbondim_{\text{bondi}}, is not changed due to the supertranslation alone we will not have any supertranslation charge turned on by supertranslation hair. However it is worth noting that in Donnay et al. cit:bhm and ref KKSofthair an analysis of the Schwarzschild and Kaluza–Klein spacetimes in the near horizon limit is conducted. This analysis shows that nontrivial supertranslation charge is turned on at the horizon due to the gravitational wave that is absent at null infinity. Furthermore, one may see ref nearhorizon_req for an analysis relating near horizon displacement effects to supertransformation charges.

4.2 Superrotation Charge

Supertranslation hair does however, carry superrotation charge. The superrotation charge that is measured at future null infinity is given by

QY=18π+d2ΘγYANA.Q_{Y}=\frac{1}{8\pi}\int_{\mathcal{I}^{+}}\mathrm{d}^{2}\Theta\,\sqrt{\gamma}\,Y^{A}N_{A}\,. (23)

Using (20) we see that superrotation charge that is present at null infinity is

QY=Yθ=\displaystyle Q_{Y=Y^{\theta}}= 18π+γd2ΘYθ 3Macosθ+\displaystyle\frac{1}{8\pi}\int_{\mathcal{I}^{+}}\sqrt{\gamma}\,\mathrm{d}^{2}\Theta\,Y^{\theta}\,3Ma\cos\theta\,+ (24)
18π+γd2ΘYθ[θf+32aθ{cosθsin2θ[D2f12θf]}],\displaystyle\frac{1}{8\pi}\int_{\mathcal{I}^{+}}\sqrt{\gamma}\,\mathrm{d}^{2}\Theta\,Y^{\theta}\Bigg{[}\partial_{\theta}f+\frac{3}{2}\mskip 1.5mua\mskip 1.5mu\partial_{\theta}\Bigg{\{}\frac{\cos\theta}{\sin^{2}\theta}\Big{[}D^{2}f-\frac{1}{2}\partial_{\theta}f\Big{]}\Bigg{\}}\Bigg{]}\,,

and

QY=Yϕ=\displaystyle Q_{Y=Y^{\phi}}= 18π+γd2ΘYϕ 3Masin2θ+\displaystyle\frac{1}{8\pi}\int_{\mathcal{I}^{+}}-\sqrt{\gamma}\,\mathrm{d}^{2}\Theta\,Y^{\phi}\,3Ma\sin^{2}\theta\,+ (25)
18π+γd2ΘYϕ[ϕf+32aϕ{cosθsin2θ[D2f12ϕf]}].\displaystyle\frac{1}{8\pi}\int_{\mathcal{I}^{+}}\sqrt{\gamma}\,\mathrm{d}^{2}\Theta\,Y^{\phi}\Bigg{[}\partial_{\phi}f+\frac{3}{2}\mskip 1.5mua\mskip 1.5mu\partial_{\phi}\Bigg{\{}\frac{\cos\theta}{\sin^{2}\theta}\Big{[}D^{2}f-\frac{1}{2}\partial_{\phi}f\Big{]}\Bigg{\}}\Bigg{]}\,.

Here the first lines correspond to the bald Kerr black hole superrotation charges and can easily be recovered if the supertranslation function ff vanishes. Furthermore, as one would expect when a=0a=0 we recover the superrotation charges of the hairy Schwarzschild black hole HPSrot ; cit:bhm ; KKSofthair . As shown by Barnich and Troessaert in Barnich_troes , when YϕY^{\phi} is the Killing vector, ϕ\partial_{\phi}, (25) corresponds to conservation of angular momentum (for the bald Kerr black hole). For the Hairy Kerr black hole, one may see that the zero-mode superrotation charge (when f=0f=0 and Yϕ=1Y^{\phi}=1) given by (25), does not change and will still correspond to conservation of angular momentum.

Detection of these charges still remains an open question. One first requires an operational notion of finite infinity. Secondly, we require a notion of what higher order charges would be observed as in our detectors. In theory, the supertranslation field should be detectable via classical tests of general relativity such as the bending of light Compere_final_state ; Teo_lensing ; stdetection_req . However, as Comperé discusses in Compere_final_state , one would need an array of detectors surrounding the central object in order to deduce the superrotation charges, thereby confirming the existence of the supertranslation field.

4.3 Supertransformation charges and the Memory effect

In subsection 1.4 we discussed that it has been shown the mass, MM — in the case of the Schwarzschild spacetime — is changed by a factor of μ\mu which is the monopole contribution to the shockwave. We discussed that in the case of Kerr, this shockwave may also change the mass term present in the guAg_{uA} terms. This would change the angular momentum of the Kerr black hole, as one may expect from the passing of a gravitational wave. Since the mass of the black hole is changed, one may ask why there is no supertranslation charge found at null infinity or why the zero-mode of superrotation charge (angular momentum) is not changed.

Recall, however, that supertranslation and superrotation charges are only defined for +\mathcal{I}^{+} and \mathcal{I}^{-}. This, therefore, becomes a statement of what an observer at null infinity measures as the memory effect rather than what the memory effect may be for all observers. Indeed, it seems that the change in mass and, therefore, changes in momentum and/or angular momentum are not measurable at null infinity via the measurement of superrotation charges.

5 Conclusion

We have studied the effects of a BMS supertranslation on the Kerr black hole in Bondi coordinates. This was first done by taking the asymptotic expansion of this solution which matches perfectly with the general BMS expansion of a asymptotically flat metric (2) after a coordinate change given by (13). In section 3 we then found the supertranslated metric functions — the hairy Kerr black hole — which were used to to determine the supertranslation and superrotation charges that may be found at null infinity in section 4.

We discussed the change in these supertransformation charges due to the supertranslation hair implanted on the Kerr black hole by the gravitational wave. It was shown that supertranslation charge was absent at null infinity. However, the supertranslation hair did in fact turn on superrotation charge that was detectable at null infinity, given by (24) and (25). We showed that the zero-mode of the superrotation charge remained unchanged at null infinity since any change in mass is not due to pure supertranslations. While detection of these charges still requires further technological developments, calculations of these charges does hope to provide a better understanding of the scattering problem when astrophysical, rotating black holes are involved.

The near horizon limit of the extremal Kerr solution was not discussed. It was shown in refs cit:bhm ; KKSofthair that there was a non-trivial supertranslation charge turned on at the horizon for the hairy Schwarzschild and Kaluza–Klien spacetimes. Hence, the near horizon Kerr limit would be interesting to explore. Furthermore, the charged Kerr black hole — the Kerr–Newman solution would be interesting to explore as it has been shown that the presence of a vector potential will lead to soft electric hair HPS .

Acknowledgements.
RG was supported by a Victoria University of Wellington PhD Doctoral Scholarship. RG would like to acknowledge Prof. Matt Visser for various comments on this paper along with Marco Galoppo, and Chris Harvey-Hawes for deep and interesting conversations regarding the infrared triangle.

References