--- abstract: 'We study several properties of some new charges of asymptotically flat spacetimes. These <span>*dual supertranslation charges*</span> are akin to the magnetic large $U(1)$ charges in QED. In this paper we find the symmetries associated with these charges and show that the global dual supertranslation charge is topological because it is invariant under globally defined, smooth variations of the asymptotic metric. We also exhibit spacetimes where the charge does not vanish and we find dynamical processes that interpolate between regions with different values of these charges.' --- CERN-TH-2019-069 4 cm <span>**Properties of Dual Supertranslation Charges in .1in Asymptotically Flat Spacetimes**</span> 2 cm <span>Uri Kol$^a$ and Massimo Porrati$^{a,b}$</span> .75 cm <span>$^a$ *Center for Cosmology and Particle Physics\ Department of Physics, New York University\ 726 Broadway, New York, NY 10003, USA*</span> <span>$^b$ *CERN TH, CH 1211, Geneva 23, Switzerland[^1]*</span> 1.25 cm Introduction ============ New <span>*dual gravitational charges*</span> of asymptotically flat spacetimes were introduced in @Godazgar:2018qpq [@Godazgar:2018dvh]. They are akin to the magnetic dual of the large $U(1)$ gauge charges @He:2014cra [@Strominger:2013lka; @Strominger:2015bla; @Strominger:2017zoo] (see also @shiu) so we shall call them "dual supertranslation charges" henceforth. The symmetries they generate are not explicit in the derivation of @Godazgar:2018qpq [@Godazgar:2018dvh] so we shall begin our paper by reporting on an independent line of research that we have been pursuing recently and that arrives at them in a different manner, which makes their action on the phase space of the theory more manifest. Another important question about these charges concerns the extent to which one can draw the parallel with large magnetic $U(1)$ transformations. The global magnetic charge is topological in nature since it does not change under small, globally-defined deformations of the gauge potential, it is quantized in units set by the electric charge and it partitions the space of gauge field configurations on the celestial sphere into discrete, topologically distinct sectors. In this paper we will provide evidence that the global dual supertranslation charge is also topological. Let us begin with some standard definitions, the first of which is the expansion of an asymptotically flat metrics around future null infinity $\mathcal{I}^+$: $$\label{futureMetric} \begin{aligned} ds^2 &= -du^2 -2dudr+2r^2 \gammaflat dz d\zb \\ &+ \frac{2m_B}{r} du^2 +r C_{zz} dz^2 +r C_{\zb\zb} d\zb ^2 -2U_z du dz -2 U_{\zb} du d\zb \\ &+ \frac{1}{r}\left( \frac{4}{3}\left(N_z+u \paz m_B \right) - \frac{1}{4} \paz \left(C_{zz}C^{zz}\right) \right) du dz + c.c. \\ &+ \dots , \end{aligned}$$ where $u$ is the retarded time, $$\gammaflat = \frac{2}{(1+z \zb)^2}$$ is the round metric on the unit $S^2$, $$U_z = -\frac{1}{2} D^z C_{zz}$$ and the dots indicate subleading terms in the expansion around $r= \infty$. The symbol $m_B$ denotes the Bondi mass aspect and $N_z$ the angular momentum aspect. The Bondi news, given by $$N_{zz} = \pa_u C_{zz},$$ characterizes gravitational radiation. In @Strominger:2013jfa [@He:2014laa] it was argued that in order to achieve the correct Dirac bracket on the radiative modes at future null infinity $\mI^+$ $$\label{DiracBra} \{ T (f) , C_{zz} \} =f \pa_u C_{zz} - 2 D_z^2f = \mL_f C_{zz},$$ where $T (f)$ is the generator of $\text{BMS}^+$ supertranslations, the following boundary conditions have to be imposed $$\label{StandradBC} \Big[ D_{\zb}^2 C_{zz} - D_z^2 C_{\zb\zb} \Big]_{\mI^+_{-}}=0,$$ $$\label{gravRadCond} N_{zz}\eval _{\mI^+_{-}}=0.$$ The condition fixes the coefficient of the $D_z^2f$ term in equation to be $(-2)$. Without it, this coefficient would be $-1$ instead of $-2$. The reason for this discrepancy lies in the way we count zero-momentum modes. For non-zero momentum the graviton has two degrees of freedom corresponding to the two polarization modes with respect to its momentum. However, at zero momentum the two polarization modes cannot be distinguished so that in fact only one degree of freedom survives. The constraint relates the two polarization modes of the zero-momentum graviton and therefore reduces the number of degrees of freedom from two to one, as required. The numerical factor in front of the $D_z^2f$ term in precisely accounts for this effect. In this paper we show that there is a more general class of boundary conditions that is consistent with the correct Dirac brackets, to wit: $$\label{NewBC} i \alpha \Big[ D_{\zb}^2 C_{zz} -D_z^2 C_{\zb\zb} \Big]_{\mI^+_{-}} +\beta \Big[ D_{\zb}^2 C_{zz} +D_z^2 C_{\zb\zb} \Big]_{\mI^+_{-}} =0,$$ $$N_{zz}\eval _{\mI^+_{-}}=0.$$ Here $\alpha$ and $\beta$ are real but otherwise unconstrained coefficients. The solution to is given by $$\label{boundaryGraviton} C_{zz} \eval _{\mI^+_{-}} = D_z^2 C (z , \zb),$$ where $C(z,\zb)$ is a *complex* function, the *boundary graviton*. To see this we plug into to get the following constraint $$\label{constraint} -\alpha \, {{\rm Im}\,}C + \beta \, {{\rm Re}\,}C =0,$$ which relates the real and imaginary parts of the boundary graviton. For generic values of $\alpha$ and $\beta$ both parts are different than zero. By setting $\beta$ to zero we recover the standard boundary condition which implies that $C$ is a real function. In the same way we can isolate the imaginary part of $C$ by setting its real part to zero using the alternative boundary condition $$\label{orthogonalBC} \Big[ D_{\zb}^2 C_{zz} + D_z^2 C_{\zb\zb} \Big]_{\mI^+_{-}} = 0,$$ which corresponds to the choice $\alpha=0$. The nature of the real and imaginary components of the boundary graviton can be understood using their transformation law under the antipodal map, which is equivalent, up to rotations on the two sphere, to $$z \longleftrightarrow \zb.$$ Under the antipodal map the two components transform as $$\begin{aligned} {{\rm Re}\,}C & \rightarrow +{{\rm Re}\,}C ,\\ {{\rm Im}\,}C & \rightarrow -{{\rm Im}\,}C . \end{aligned}$$ Using these parity properties we can now draw an analogy between the boundary graviton $C$ and the scalar potential $\phi$ in electrodynamics, whose real and imaginary components define the electric and magnetic fields, respectively, and transform in a similar way (see table \[EManalogy\] and references @Henneaux:2018cst [@Henneaux:2018gfi; @Henneaux:2018hdj] for related works on the parity odd component of the metric). The standard *electric boundary condition* therefore sets to zero the magnetic component of the metric while the alternative *magnetic boundary condition* sets to zero its electric component. More generally, we can impose the *dyonic boundary condition* which implies that both the real and imaginary modes of $C$ are turned on. Our main goal in this paper is to explore the physics of the imaginary part of $C$. ---------------------------------------------------------------------------------------------- -- ------------------------------------------------------------------------------------------------------------ **Gravity** **QED** \[2ex\] $ $ \begin{aligned} \begin{aligned} \\ \\ {{\rm Re}\,}C &\sim \Big[ D_{\zb}^2 C_{zz} +D_z^2 C_{\zb\zb} \Big]_{\mI^+_{-}} \\ \\ {{\rm Re}\,}\phi &\sim \Big[ \pazb A_z^{(0)}+\paz A_{\zb}^{(0)}\Big]_{\mI^+_{-}} {{\rm Im}\,}C &\sim \\[10pt] \Big[ {{\rm Im}\,}\phi &\sim \Big[\pazb A_z^{(0)}-\paz A_{\zb}^{(0)}\Big]_{\mI^+_{-}} D_{\zb}^2 C_{zz} -D_z^2 C_{\zb\zb} \end{aligned} \Big]_{\mI^+_{-}} $ \end{aligned} $ \[8ex\] $ $ \begin{aligned} \begin{aligned} \\ \\ T(f) \\[30pt] Q_{\text{electric}}(\epsilon) &= \frac{1}{e^2}\int_{\mI^+_-}d^2 z \gammaflat \, \epsilon \, F_{ru}^{(2)} \mM(f) \\[10pt] \end{aligned} Q_{\text{magnetic}}(\epsilon) &= \frac{i}{2\pi} \int_{\mI^+_-} d^2 z \, \epsilon \, F_{z\zb}^{(0)} $ \end{aligned} $ \[8ex\] ---------------------------------------------------------------------------------------------- -- ------------------------------------------------------------------------------------------------------------ : The analogy between gravity and electrodynamics. Here $\phi$ is the scalar potential in electrodynamics, $F_{ru}^{(2)}$ and $F_{z\zb}^{(0)}$ are the leading terms in the asymptotic expansions of the electric and magnetic fields and we have used the gauge condition $A_u^{(0)}=0$ (see @Strominger:2015bla [@Strominger:2017zoo] for more details). The real and imaginary parts of the boundary graviton describe the parity even and parity odd components of the metric, respectively, in analogy with the electric and magnetic fields. Correspondingly, the analogy extends to the charges that are associated with each field component. <span data-label="EManalogy"></span> In electrodynamics, each one of the field components (electric and magnetic) define a conserved charge. Similarly in gravity, the real and imaginary parts of the boundary graviton are associated with two different conservation laws. The conserved charges are defined in terms of the complex Weyl scalar $\Psi_2$, whose leading component in the asymptotic expansion is given by $$\label{PsiC} \begin{aligned} \Psi_2^0(u,z,\zb) & \equiv - \lim_{r\rightarrow \infty} \left(r C_{uzr\zb} \gammaflatt\right) \\ &= - m_B +\frac{1}{4} C^{zz}N_{zz} +\frac{1}{4} (\gammaflatt)^2 \Big( D_{\zb}^2 C_{zz}-D_z^2 C_{\zb\zb}\Big). \end{aligned}$$ The real part of $\Psi^0_2$ defines the BMS supertranslation charge $$\label{superT} \begin{aligned} T(f) &= - \frac{1}{4\pi G} \int_{\mI^+_-} d^2 z \gammaflat f(z,\zb) \Big[ {{\rm Re}\,}\Psi_2^0(u,z,\zb) \Big]_{\mI^+_-} \\ &= \frac{1}{4\pi G} \int_{\mI^+_-} d^2 z \gammaflat f(z,\zb) m_B. \end{aligned}$$ In section \[supertsection\] we review BMS supertranslations and show how they are related to the standard electric boundary condition. The imaginary part of $\Psi^0_2$ defines an independent charge $$\label{NewCharge} \begin{aligned} \mM(f) &= - \frac{1}{4\pi G} \int d^2 z \gammaflat f(z,\zb) \Big[ {{\rm Im}\,}\Psi_2^0(u,z,\zb) \Big] _{\mI^+_-} \\ &= \frac{i}{16\pi G} \int_{\mI^+_-} d^2 z \, \gammaflatt f(z,\zb) \Big( D_{\zb}^2 C_{zz} -D_z^2 C_{\zb\zb} \Big). \end{aligned}$$ In the literature $\mM (f)$ is sometimes referred to as the *gravitational magnetic aspect* or *gravitomagnetic monopole*. We will refer to $\mM (f)$ as the *dual supertranslation* charge, in reference to the electric-magnetic duality (see table \[EManalogy\]). Clearly, the dual supertranslation charge vanishes when the standard electric boundary condition is imposed, but will acquire a non-zero value for the magnetic or dyonic boundary conditions. As we will see soon, the dual supertranslation charge is conserved identically and therefore it is completely fixed by the boundary conditions. The expansion of the metric around past null infinity $\mI^-$ takes the form $$\begin{aligned} ds^2 &= -dv^2 +2dv dr+2r^2 \gammaflat dz d\zb \\ &+ \frac{2m_B^-}{r} dv^2 +r D_{zz}^- dz^2 +r D_{\zb\zb} d\zb ^2 -2V_z dv dz -2 V_{\zb} dv d\zb \\ &+ \frac{1}{r}\left( \frac{4}{3}\left(N_z^- +v \paz m_B^- \right) - \frac{1}{4} \paz \left(D_{zz} D^{zz}\right) \right) dv dz + c.c. \\ &+ \dots , \end{aligned}$$ with $v$ the advanced time, $$V_z = - \frac{1}{2} D^z D_{zz}$$ and $$N_{zz}^{-} = \pa_u D_{zz} .$$ Following the previous discussion at $\mI^+$, the new dyonic boundary conditions on the radiative modes at $\mI^-$ will take the form $$\label{NewBCD} -i \alpha \Big[ D_{\zb}^2 D_{zz} -D_z^2 D_{\zb\zb} \Big]_{\mI^-_{+}} +\beta \Big[ D_{\zb}^2 D_{zz} +D_z^2 D_{\zb\zb} \Big]_{\mI^-_{+}} =0,$$ $$N_{zz}\eval _{\mI^-_{+}}=0,$$ which are solved by $$\label{boundaryGravitonD} D_{zz} \eval _{\mI^-_{+}} = D_z^2 D (z,\zb),$$ where $D(z,\zb)$ is a *complex* function. Similarly, the supertranslation and dual supertranslation charges can be defined at $\mI^-$ $$\begin{aligned} T^-(f) &= \frac{1}{4\pi G} \int_{\mI^-_+} d^2 z \gammaflat f(z,\zb) m_B^- \\ \mM^- (f) &= - \frac{i}{16\pi G} \int_{\mI^-_+} d^2 z \, \gammaflatt f(z,\zb) \Big( D_{\zb}^2 D_{zz} -D_z^2 D_{\zb\zb} \Big). \end{aligned}$$ Note that the dual supertranslation charge, as well as the parity odd part of , contain a relative minus sign with respect to their $\mI^+$ counterparts. The reason is that the sphere's coordinates on $\mI^-$ are antipodally mapped to the ones on $\mI^+$. The antipodal map reverse the orientation of the sphere and therefore flips the sign of parity odd fields. The scattering problem in general relativity is solved by a map of the Cauchy data on $\mI^-$ to that on $\mI^+$. Generally speaking, this map is obtained by evolving the Cauchy data using the Einstein equations. However, the equations of motion should be supplemented with boundary conditions to make the scattering problem well defined. In @Strominger:2013jfa, the following matching conditions between the boundary data for the parity even components of the metric on $\mI^-_+$ and $\mI^+_-$ were proposed $$\label{matchEven1} m_B (z,\zb) \eval _{\mI^+_-} = m_B^- (z,\zb) \eval _{\mI^-_+}.$$ $$\label{matchEven2} {{\rm Re}\,}C (z,\zb) \eval _{\mI^+_-} = {{\rm Re}\,}D (z,\zb) \eval _{\mI^-_+},$$ In the same spirit, here we propose the following matching condition for the parity odd metric component $$\label{matchOdd} {{\rm Im}\,}C (z,\zb) \eval _{\mI^+_-} = - {{\rm Im}\,}D (z,\zb) \eval_{\mI^-_+}.$$ These matching conditions, together with the boundary conditions and , are all invariant under Lorentz and CPT transformations. We would like to emphasize a key difference between the matching conditions of the boundary graviton - and the one of the Bondi mass . Matching of the boundary graviton follows from Lorentz invariance @Strominger:2013jfa, but it is not enough to ensure stress-energy conservation, which we need to impose explicitly by the matching condition on the Bondi mass. We refer to the former as the *trivial* matching conditions, while the latter is imposed explicitly. To emphasize the importance of this difference, let us resort again to the analogy with electrodynamics, where the matching condition of the scalar potential follows from Lorentz invariance @He:2014cra. In electrodynamics this is enough to ensure magnetic charge conservation (in the absence of magnetic sources), but electric charge conservation has to be imposed explicitly. In other words, magnetic charge is conserved *identically* and follows from continuity of the potential, while electric charge conservation is imposed explicitly. Similarly in gravity, we see that the dual supertranslation charge is conserved identically due to continuity of the boundary graviton, while supertranslation conservation is a direct result of stress-energy conservation (which is analogous to charge conservation in QED). In QED, despite the absence of magnetic charges, a non-trivial solution that carries magnetic charge still exists and is known as the *Dirac string* @Dirac:1931kp. This magnetic configuration is possible due to its non-trivial topology in gauge space. The magnetic charge then classifies the gauge field into distinct topological sectors. In gravity, the identical conservation of the dual supertranslation charge therefore suggests that it may describe a configuration with a non-trivial *spacetime topology*. Indeed, we will show in section \[NewSection\] that the global dual supertranslation charge $\mM_{\text{global}}$ is a topological invariant of spacetime by proving that it is independent of the metric. This property distinguishes dual supertranslations from other asymptotic charges that appear in the literature, like BMS supertranslations and superrotations. The analogy between the topological structure in gravity and in electrodynamics, due to the presence of monopoles, is described in figure \[Analogy\]. ![The analogy between our work and the theory of magnetic monopoles. For brevity, we refer to dual supertranslation charged objects simply as *gravitational monopoles*, which are analogous to magnetic monopoles in electrodynamics. In the same way that the magnetic monopole charge partitions the space of gauge fields into distinct topological sectors, the gravitational monopole charge partitions the space of spacetime metrics into topologically distinct sectors. <span data-label="Analogy"></span>](Fig1.pdf) The simplest case of a configuration with a non-zero dual supertranslation charge is when ${{\rm Im}\,}\Psi_2^0$ is a constant $$\label{TBcharge} {{\rm Im}\,}\Psi_2^0 = \ell .$$ The charge defined by ${{\rm Im}\,}\Psi_2^0$ is then known as the NUT charge, and $\ell$ is called the NUT parameter. The Taub-NUT metric is an example of a solution that obeys equation . On the other hand, the Taub-NUT metric is known to exhibit an infinite string singularity similar to the Dirac string. The presence of a cosmic string singularity implies that the celestial space is an infinite-fold covering of the two sphere with a branch cut at the location of the sphere. This example shows the connection between dual supertranslations and the topology of the celestial space. We will study this example in detail. The paper is organized as follows. In section \[supertsection\] we review BMS supertranslations and show that the new dyonic boundary condition we introduced in is consistent with their action on the phase space. In section \[rotSection\] we study new aspects of BMS superrotations that follow from the new boundary conditions we introduced. We discuss a puzzle that was not addressed in the literature so far - a mismatch between the action of the superrotation charge on the phase space and the corresponding action of the Lie derivative. This puzzle resembles the one that was encountered in @He:2014laa for supertranslations, and we solve it in a similar manner. The new boundary conditions are essential to this discussion; though they are more general than (\[StandradBC\],\[gravRadCond\]), they are strong enough to resolve the puzzle. In section \[NewSection\] we study the new topological symmetry that is associated with the dual supertranslation charges and which we name *dual supertranslations*. We show that the charge $\mM$ is composed of soft gravitons only, compute its action on the phase space and show that it cannot be reproduced by diffeomorphisms. Moreover, we prove that the global dual supertranslation charge $\mM_{\text{global}}\equiv \mM(f)\eval_{f=1}$ is independent of any metric deformation and is therefore a topological invariant of spacetime. We study the Taub-NUT metric as an example of a solution that carries a dual supertranslation charge and an imaginary boundary graviton, and use it to demonstrate the resulting topological structure. In order to understand how the new degrees of freedom, that were introduced by the new boundary conditions, arise in a physical process, in section \[MemSec\] we study the classical effect of a stress tensor on the phase space and the corresponding symmetry operation. The effect associated with supertranslations goes under the name of *the memory effect*. We derive new formulas for the effect that is associated with superrotations and dual supertranslations. We show that there is no memory in these cases and that the effect cannot be reproduced by regular diffeomorphisms like in the case of supertranslations. In section \[ScatteringSec\] we study a vacuum solution of the Einstein equations that interpolates between regions of spacetime with different dual supertranslation charge. The solution describes the scattering of two impulsive gravitational plane waves. The dual supertranslation charge vanishes before the instant of collision and acquires a non-zero value after the two plane waves collide. This solution can be interpreted as the formation of a cosmic string with NUT charge and provides a physical interpretation for dual supertranslations. We end with a few comments and topics for future study of the new topological symmetry. Review of BMS Supertranslations {#supertsection} =============================== We start by reviewing the action of supertranslations on the phase space and on spacetime, the puzzle that was encountered in @He:2014laa concerning the Dirac brackets and the proposed solution using the boundary condition . We show that BMS supertranslations are independent of the new degree of freedom introduced by the dyonic boundary condition , which therefore does not alter the analysis of @He:2014laa. The generator of BMS supertranslations on $\mI^+$, which is given by , can be decomposed into two parts $$T(f) = \Tsoft (f) + \Thard (f)$$ using the $uu$ component of the Einstein equations $G_{uu} = 8\pi T^M_{uu}$ $$\label{uuEquation} \begin{aligned} \pa_u m_B &= \frac{1}{4} \left(D_z^2 N^{zz}+D_{\zb}^2 N^{\zb\zb}\right) - T_{uu} ,\\ T_{uu} &= 4\pi G \lim_{r \rightarrow \infty } \left(r^2 T^M_{uu}\right) + \frac{1}{4} N_{zz}N^{zz}. \end{aligned}$$ The hard part of the generator is given by $$\Thard (f) = \frac{1}{4 \pi G} \int _{\mI^+} du d^2z f(z,\zb) \gammaflat T_{uu}$$ while the soft part is $$\begin{aligned}\label{tsoft} \Tsoft(f) &= \frac{1}{8\pi G} \int_{\mI^+} du\, d^2z \, \pa_u \Big( \pazb U_{z} + \paz U_{\zb} \Big) f(z,\zb) \\ &= - \frac{1}{16\pi G} \int_{\mI^+} du \, d^2z \, \gammaflatt \, \Big( D^2_{\zb} N_{zz}+ D^2_{z} N_{\zb \zb} \Big) f(z,\zb) . \end{aligned}$$ The action of supertranslations on the metric is described by the vector field $$\xi_f = f \pa_u-\frac{1}{r} \left(D^z f \pa_z +D^{\zb} f \pa_{\zb} \right) +D^z D_z f \pa_r +\mO \left( r^{-2} \right), \qquad f= f(z,\zb).$$ In particular, it implies that the radiative data transforms as $$\mL_f C_{zz} =f \pa_u C_{zz}-2D_z^2 f .$$ In @He:2014laa it was noticed that using the canonical Dirac bracket $$\label{Cbracket} \{N_{\zb\zb}(u,z,\zb),C_{ww}(u',w,\wb)\} = 16\pi G \delta(u-u') \delta^2(z-w) \gammaflat,$$ the action of the supertranslation charge $$\label{wrongCom} \{T(f),C_{zz}\} = f \pa_u C_{zz}-D_z^2 f \neq \mL_f C_{zz}$$ is inconsistent with the variation of the metric under supertranslations. The inhomogeneous term in is off by a factor of 2. Reference @He:2014laa proposed to resolve this inconsistency by imposing the boundary condition . The boundary condition relates the two polarization modes of the zero-momentum gravitons and as a result both terms in contribute to the bracket $ \{T(f),C_{zz}\}$, in such a manner that the contribution to the inhomogeneous part is doubled. In the rest of this section we will review this construction and show that the more general boundary condition we introduced in is also consistent with the action of BMS supertranslations on the phase space. In addition to the boundary field $C(z,\zb)$, ref. @He:2014laa introduced the boundary field $N(z,\zb)$, defined by $$\label{defN} \int_{-\infty}^{\infty} du N_{zz} (u,z,\zb)= D_z^2 N(z,\zb) .$$ The standard boundary condition implies that both $C$ and $N$ are real functions while the new dyonic boundary condition implies that they are complex. However, the soft part of the supertranslations generator is a function of the real part of $N$ only $$\label{TsoftReN} \Tsoft (f) = - \frac{1}{8 \pi G} \int d^2z \, \gammaflatt \, f(z,\zb) \, D_z^2 D_{\zb}^2 \Big( {{\rm Re}\,}N(z,\zb )\Big) .$$ BMS supertranslations are therefore completely independent of the magnetic part of the metric and the analysis of @He:2014laa follows through also when the more general dyonic boundary condition is imposed. By continuity, and using , ref. @He:2014laa found the algebra of the boundary fields $$\label{ps1} \begin{aligned} \{C_{\zb\zb}(u,z,\zb),C_{ww}(u',w,\wb)\} &= 8\pi G \Theta(u-u') \delta^2(z-w) \gammaflat, \\ \{ {{\rm Re}\,}C(z,\zb),C_{ww}(u',w,\wb)\} & = -8 GD_w^2 \left(S \ln |z-w|^2\right), \\ \{ {{\rm Re}\,}N(z,\zb),C_{ww}(u',w,\wb)\} & = 16 GD_w^2 \left(S \ln |z-w|^2\right), \\ \{ {{\rm Re}\,}N(z,\zb), {{\rm Re}\,}C(w,\wb)\} &= 16 G S \ln |z-w|^2 , \end{aligned}$$ where $\Theta(x)=\text{sign}(x)$ while the function $$\label{Sfunc} S = \frac{(z-w)(\zb-\wb)}{(1+z\zb)(1+w\wb)}$$ obeys $$\begin{aligned} D_w^2 \left(S \ln |z-w|^2\right) &= \frac{S}{(z-w)^2}, \\ D_{\zb}^2 D_w^2 \left(S \ln |z-w|^2\right) &= \pi \gammaflat \delta^2(z-w). \end{aligned}$$ The resulting action of the BMS generator on the set of fields that span the phase space is then given by $$\label{ps2} \begin{aligned} \{T(f) , N_{zz }\} &= f \pa_u N_{zz}, \\ \{T(f) , C_{zz }\} &= f \pa_u C_{zz} -2D_z^2 f, \\ \{T(f) , {{\rm Re}\,}N\} &= 0, \\ \{T(f) , {{\rm Re}\,}C\} & = -2f. \end{aligned}$$ In particular, $ \{T(f) , C_{zz }\} = \mL_f C_{zz}$ and the puzzle is resolved. This review summarizes the discussion about the electric sector of the phase space which is described by the BMS supertranslations generator and the real part of the boundary fields. In the following sections we will study the magnetic counterpart and the interplay between the two sectors. New Properties of BMS Superrotations {#rotSection} ==================================== We now turn to study BMS superrotations in light of the new dyonic boundary conditions that we introduced in . We will see that these boundary conditions are essential in solving a puzzle similar to the one encountered for supertranslations in . The generator of BMS superrotations on $\mI^+$ @Barnich:2011mi [@Barnich:2016lyg] $$Q(Y) = \frac{1}{8\pi G} \int _{\mI^+_-} d^2z \left(Y_{\zb}N_z + Y_z N_{\zb}\right)$$ can be decomposed into soft and hard parts $$Q(Y) = Q_S(Y) +Q_H(Y)$$ using the $uz$ component of the Einstein equations $G_{uz} = 8\pi T^M_{uz}$ $$\label{uzEquation} \begin{aligned} \pa_u N_z &= \frac{1}{4}\paz \left(D_z^2 C^{zz} - D_{\zb}^2 C^{\zb\zb}\right) -u \pa_u \paz m_B - T_{uz} ,\\ T_{uz} &= 8 \pi G \lim_{r \rightarrow \infty } \left(r^2 T^M_{uz}\right) - \frac{1}{4} \paz \left( C_{zz}N^{zz}\right) -\frac{1}{2}C_{zz}D_z N^{zz}. \end{aligned}$$ The hard part is given by $$Q_{H}(Y) = \frac{1}{8\pi G} \int _{\mI^+} du d^2z \left( Y_{\zb} T_{uz} + Y_z T_{u \zb} +u \pa_z Y_{\zb} T_{uu}+u \pa_{\zb} Y_{z} T_{uu} \right) ,$$ while the soft part is $$\label{QYsoft} Q_{S}(Y) = -\frac{1}{16\pi G} \int _{\mI^+} du d^2z \gammaflatt u \left( D_z ^3 Y^z N_{ \zb \zb } + D_{\zb} ^3 Y^{\zb} N_{ z z }\right).$$ The action of superrotations on the metric is described by the vector field $$\label{xiY} \xi_Y = (1+\frac{u}{2r})Y^z \paz -\frac{u}{2r} D^{\zb}D_zY^z \pazb -\frac{1}{2}(u+r)D_z Y^z \pa_r +\frac{u}{2} D_z Y^z \pa_u+c.c. .$$ At leading order, the metric component $g_{\zb\zb}$ transforms under as $$\mL_Y g_{\zb\zb} = 2r^2 \gammaflat \pazb Y^z + \mO(r) .$$ In order to preserve the falloff conditions, the vector field $Y^z$ on the two sphere is therefore required to obey $$\label{rotationCond} \pa_{\zb} Y^z =0.$$ Locally, this is solved by $$Y^z = \{ z^n , \, i \, z^n \} ,$$ for any integer $n$. However, only the choices $n=0,1,2$ lead to a globally defined vector fields, which are holomorphic functions on the sphere. These are the six global conformal Killing vector fields on $S^2$. For a general integer $n$ the vector fields are meromorphic functions on the sphere and the symmetry algebra is promoted to the infinite-dimensional algebra of local conformal transformations. In this case the falloff conditions on the metric are violated at isolated points. For example, if $Y^z = \frac{1}{z-w}$, then $\pazb Y^z = 2\pi \delta^2(z-w) \neq 0$ so that the falloff condition is violated at $z=w$. The rest of the metric components transform in a way that preserves the falloff conditions. At the next order, the same metric component transforms as $$\delta_Y C_{zz} = \frac{u}{2} D \cdot Y N_{zz} +Y \cdot D C_{zz} -\frac{1}{2} D \cdot Y C_{zz} +2 D_z Y^z C_{zz} -u D_z^2 \left(D \cdot Y \right) ,$$ where $$D \cdot Y \equiv D_z Y^z + D_{\zb} Y^{\zb} .$$ On the other hand, using the Dirac bracket we can compute the action of the superrotation charge on $C_{zz}$ $$\begin{aligned} \{Q_S(Y),C_{zz}\} &= -u D_z^3 Y^z , \\ \{Q_H(Y),C_{zz}\} &= \frac{u}{2} D \cdot Y N_{zz} +Y \cdot D C_{zz} -\frac{1}{2} D \cdot Y C_{zz} +2 D_z Y^z C_{zz}. \end{aligned}$$ We now encounter a mismatch similar to the puzzle with supertranslations $$\label{puzzle2} \{Q(Y),C_{zz}\} \neq \delta_Y C_{zz}.$$ The mismatch, again, is in the inhomogeneous term. This problem does not seem to have been addressed in the literature. Here we suggest a solution in the spirit of @He:2014laa. Let us define the boundary field $\Nt (z,\zb)$ $$\int_{-\infty}^{\infty} du \, u \, N_{zz} (u,z,\zb) = D_z^2 \Nt (z,\zb) .$$ Here, $\Nt$ is a complex function. In fact, the imaginary part of $\Nt$ contributes to the soft superrotation charge, as can be seen by rewriting as $$\begin{aligned} Q_S(Y) &= Q_S^{{{\rm Re}\,}} (Y) + Q_S^{{{\rm Im}\,}} (Y),\\ Q_S^{{{\rm Re}\,}} (Y) &= + \frac{1}{16\pi G} \int_{\mI^+_-} d^2 z\, \gamma^{z\zb} \Big[ D_z^2 D_{\zb}^2 \left( D \cdot Y \right)\Big] {{\rm Re}\,}\Nt (z,\zb), \\ Q_S^{{{\rm Im}\,}} (Y) &= -\frac{i}{16\pi G} \int_{\mI^+_-} d^2 z \, \gamma^{z\zb} \Big[D_z^2 D_{\zb}^2 \left( D_z Y^z - D_{\zb}Y^{\zb} \right)\Big] {{\rm Im}\,}\Nt (z,\zb). \end{aligned}$$ We have identified the contributions to $Q_S(Y)$ due to the real and imaginary parts of $\Nt$ as $Q_S^{{{\rm Re}\,}} (Y)$ and $Q_S^{{{\rm Im}\,}} (Y)$, respectively. The action of $\Nt$ on $C_{zz}$ can be deduced from $$\begin{aligned} D_z^2 \{ \tilde{N} (z,\zb), C_{\wb \wb} (u,w, \wb) \} &= \int _{- \infty }^{\infty} du' \, u' \{ N_{zz} (u', z,\zb), C_{\wb \wb} (u,w,\wb) \} \\ &= -16 \pi G u \gammaflat \delta^2(z-w). \end{aligned}$$ The above equation is solved by $$\label{NtBracket} \{ \Nt (z,\zb), C_{\wb \wb} (u,w,\wb) \} = -16 G u D_{\wb}^2 \left( S \log |z-w|^2\right),$$ from which we can also deduce $$\{ \Nt (z,\zb), C(w, \wb) \} = -16 G u S \log |z-w|^2 .$$ Let us emphasize again that both $\Nt$ and $C$ are in general complex functions. Each one of them, therefore, contain two real scalar degrees of freedom and we have to determine the action of each one of them on the phase space separately. *A priori* we don't know how the Dirac bracket is decomposed in terms of the real and imaginary parts of $\Nt$. The idea is to determine this decomposition by the requirement that $$\label{correctBracket} \{Q(Y), C_{zz}\} = \delta_Y C_{zz}.$$ To demonstrate this logic we use the following ansatz $$\label{NtBracketDecompose} \begin{aligned} \{ \ReNt , C_{\wb \wb} (u,w,\wb) \} &= - a_1 \, 16 G u D_{\wb}^2 \left( S \log |z-w|^2\right), \\ \{ i\, \ImNt, C_{\wb \wb} (u,w,\wb) \} &= - a_2 \, 16 G u D_{\wb}^2 \left( S \log |z-w|^2\right), \end{aligned}$$ where $$a_1 + a_2 =1$$ such that the sum of the two equations in reproduces the Dirac bracket . We can now compute the action of $Q_S(Y)$ on $C_{zz}$ $$\{ Q_S(Y),C_{zz}\} = - u D_z^2 \Big[ a_1 D \cdot Y - a_2 \left(D_z Y^z -D_{\zb} Y^{\zb}\right) \Big].$$ The requirement that equation is obeyed now determines the coefficients $a_1$ and $a_2$ to be $$a_1 =1 , \qquad a_2 =0.$$ In other words, we have to impose that $\ImNt$ commutes with $C_{zz}$ $$\label{ImNBracket} \{ \ImNtz, C_{\wb \wb} (u,w,\wb) \} =0 ,$$ and that the action of $\ReNt$ on the radiative data is given by $$\label{ReNBracket} \{ \ReNtz , C_{\wb \wb} (u,w,\wb) \} = - 16 G u D_{\wb}^2 \left( S \log |z-w|^2\right).$$ We conclude that if and only if we impose the Dirac brackets -, the puzzle is resolved. We would like to emphasize that this conclusion does not depend on the ansatz , which we used for demonstration purpose only. Imposing and we can now compute the action of $Q_S^{{{\rm Im}\,}}(Y)$ on the phase space $$\{Q_S^{{{\rm Im}\,}}(Y),C_{zz}\}= \{Q_S^{{{\rm Im}\,}}(Y),C\} = \{Q_S^{{{\rm Im}\,}}(Y),N_{zz}\}=\{Q_S^{{{\rm Im}\,}}(Y),N\} =0.$$ Namely, $Q_S^{{{\rm Im}\,}}(Y)$ leaves the entire phase space spanned by $\{C_{zz},N_{zz},C,N\}$ invariant! This is a result of the requirement that equation be satisfied. In particular, it implies that $Q_S^{{{\rm Im}\,}}(Y)$ commutes with both soft and hard supertranslations $$\{Q_S^{{{\rm Im}\,}}(Y) , \Tsoft (f)\}= \{Q_S^{{{\rm Im}\,}}(Y) , T_H(f)\}=0.$$ Let us also note that $$\{\ReNtz , {{\rm Im}\,}\Nt (w,\wb) \} =0,$$ which implies $$\{ Q_S^{{{\rm Re}\,}} (Y) , Q_S^{{{\rm Im}\,}} (Y') \} =0.$$ Finally, let us mention that $Q_S^{{{\rm Im}\,}}$ does not commute with the hard superrotations charge $Q_H$. Properties of Dual BMS Supertranslations {#NewSection} ======================================== We would like to explore now the consequences of the magnetic boundary condition , which implies that $C(z,\zb)$ and $N(z,\zb)$ are imaginary functions on the complex plane. The soft supertranslation charge vanishes in this case, but the dual supertranslation charge doesn't. We start by showing that $\mM(f)$ is a soft charge. Using the expression for $C_{zz}$ in terms of the gravitons' Fourier modes @Choi:2017bna $$C_{zz}(u,z,\zb)= -\frac{i \kappa}{8 \pi ^2} \gammaflat \int _0 ^{\infty} d \omegak \left[a_+(\omegak\hat{\bold{x}}_z) e^{-i \omegak u} -a_-^{\dagger}(\omegak\hat{\bold{x}}_z) e^{i \omegak u} \right] ,$$ the dual supertranslation charge can be brought to the form $$\mM (f) = \lim_{\omegak \rightarrow 0} \frac{i \omegak}{4\pi \kappa} \int d^2 z \Big[ \left( a_+(\omegak\hat{\bold{x}}_z) +a_-^{\dagger}(\omegak\hat{\bold{x}}_z) \right) D_{\zb}^2 f - \text{h.c.} \Big],$$ which shows that $\mM(f)$ receives contributions only from soft graviton modes. As opposed to the soft supertranslation charge, $\mM(f)$ is conserved by itself and does not have a hard counterpart. We now follow the same route that was taken in section \[supertsection\] for supertranslations and apply it to the new charge in order to compute its action on the phase space. First, we rewrite in terms of the boundary field $N$[^2] $$\label{TsoftImN} \begin{aligned} \mM(f) &= \frac{-i}{16\pi G} \int_{\mI^+} du d^2 z \, \gammaflatt f(z,\zb) \Big( D_{\zb}^2 N_{zz} -D_z^2 N_{\zb\zb} \Big) \\ &= \frac{-i}{16\pi G} \int_{\mI^+} du d^2 z \, \gammaflatt \Big[ N_{zz} D_{\zb}^2 f(z,\zb) - N_{\zb\zb} D_z^2f(z,\zb) \Big] \\ &= \frac{1}{8 \pi G} \int d^2z \, \gammaflatt \, f(z,\zb) \, D_z^2 D_{\zb}^2 \Big[{{\rm Im}\,}N(z,\zb )\Big] \\ &= \frac{1}{8 \pi G} \int d^2z \, \gammaflatt \, D_z^2 D_{\zb}^2 \left[ f(z,\zb) \right] {{\rm Im}\,}N(z,\zb ) . \end{aligned}$$ The algebra that follows from is given by $$\begin{aligned} \{C_{\zb\zb}(u,z,\zb),C_{ww}(u',w,\wb)\} &= 8\pi G \Theta(u-u') \delta^2(z-w) \gammaflat, \\ \{ {{\rm Im}\,}C(z,\zb),C_{ww}(u',w,\wb)\} & = +8 G i \, D_w^2 \left(S \ln |z-w|^2\right), \\ \{ {{\rm Im}\,}N(z,\zb),C_{ww}(u',w,\wb)\} & = - 16 G i \, D_w^2 \left(S \ln |z-w|^2\right), \\ \{ {{\rm Im}\,}N(z,\zb), {{\rm Im}\,}C(w,\wb)\} &= - 16 G S \ln |z-w|^2 . \end{aligned}$$ Together with , it implies that the action of $\mM (f)$ on the phase space is $$\label{actionNew} \begin{aligned} \{\mM (f) , N_{zz }\} &= 0, \\ \{\mM (f) , C_{zz }\} &= -2 i D_z^2 f, \\ \{\mM (f) , {{\rm Im}\,}N\} &= 0, \\ \{\mM (f) , {{\rm Im}\,}C\} & = -2 f. \end{aligned}$$ This algebra looks very much like the "imaginary" counterpart of soft supertranslations. The question that follows immediately is whether there exists a spacetime diffeomorphism that corresponds to the action of $\mM (f)$ on the phase space . As we will now show, the answer to this question is *no*. A spacetime diffeomorphism is described by a vector field $\xi^{\mu}(u,r,z,\zb)$. We can expand $\xi^{\mu}$ around $\mI^+$ as follows $$\label{diffExp} \xi^{\mu} = \sum_{n=0}^{\infty} \frac{1}{r^n} \xi^{\mu(n)}(u,z,\zb).$$ We will focus our attention on the transformation of the following metric components under the above diffeomorphism $$\begin{aligned} \mL_{\xi} g_{uu} & = \dots+ \frac{2\xi^{u(0)} \pa_{u} m_B+\dots}{r} +\dots , \\ \mL_{\xi} g_{rz} & = -\gammaflat \Big( \xi^{\zb (1)} +D^{\zb} \xi^{u(0)} \Big) +\dots ,\\ \mL_{\xi} C_{zz} & = \xi^{u(0)} \pa_{u} C_{zz} + 2 D_z \xi^{(1)}_z. \end{aligned}$$ To reproduce the action of $\mM (f)$ on the phase space we would like to set the component $\xi^{u(0)}$, which generates hard transformations, to zero. On the other hand, the falloff conditions on the metric, which ensure asymptotic flatness, require that $g_{rz}=0$. The falloff conditions, together with the requirement that $\xi^{u(0)}$ vanishes, then sets $\xi^{z(1)}$ and $\xi^{\zb(1)}$ to zero, therefore rendering the action of the transformation on the phase space trivial. In other words, there is no way to generate a non-trivial homogeneous transformation on the phase space while setting the non-homogeneous terms to zero and obeying the falloff conditions at the same time, using diffeomorphisms. Spacetime diffeomorphisms therefore *cannot* reproduce the action of $\mM (f)$ on the phase space. Let us make a couple of remarks on possible generalizations of our analysis. First, one could relax the falloff conditions on the metric to allow for isolated singularities on the sphere, in a similar way to superrotation transformations. However, it is easy to see that even if we allow for isolated singularities to appear in the $g_{rz}$ component of the metric, it is impossible to generate a non-trivial homogeneous term in $C_{zz}$. The second remark is that one could possibly include linear terms in the expansion , like the ones that appear in superrotation transformations. However, that will not change our analysis, which depend only on the components $\xi^{u(0)}$, $\xi^{z(1)}$ and $\xi^{\zb(1)}$. A simpler way to understand our result is to notice that we would need a diffeomorphism that acts nontrivially on the asymptotic metric while leaving invariant all matter fields (since there is no hard component in $\mM (f)$). This is clearly impossible. We have shown that the dual supertranslation charge $\mM (f)$, for any function $f(z,\zb)$ on the sphere cannot be a spacetime diffeomorphisms. This is consistent with the fact that our boundary conditions set to zero supertranslations, which are the only diffeomorphism acting nontrivially on the asymptotic fields. In the next subsection we will show that even when a nonzero $T (f)$ is allowed by the dyonic boundary conditions, it still commutes with $\mM (f)$ so that $\mM (f)$ is still invariant under all diffeomorphisms. The global dual supertranslation charge, given by $$\label{TotalS} \mM_{\text{global}} = \mM(f) \eval _{f=1} = \frac{i}{16 \pi G} \int_{\mI^+_-} d^2 z \Big( \pazb \pa^z C_{zz} - \paz \pa^{\zb} C_{\zb \zb} \Big),$$ obeys a stronger condition - it is invariant under *any* deformation of the metric that is globally well defined on the two sphere. Under a general deformation of the metric $$C_{zz} \rightarrow C_{zz} + a_{zz},$$ where $a_{zz}$ is a 2-form, the charge $\mM_{\text{global}}$ does not change because the integrand in is a total derivative. In other words, $\mM_{\text{global}}$ itself vanishes unless there are some defects on the sphere that prevents the metric from being a globally-defined 2-form, in which case it is given by $$\ \mM_{\text{global}} = \frac{i}{16 \pi G} \oint_{\mC} \Big( dz \, \pa^z C_{zz} - d \zb \, \pa^{\zb} C_{\zb\zb} \Big),$$ where $\mC$ is a contour around the defect. We conclude that $\mM_{\text{global}} $ is invariant under any smooth deformation of the metric and therefore classifies the geometry of the asymptotic space into distinct topological sectors. Dyonic Boundary Conditions {#dyonic-boundary-conditions .unnumbered} -------------------------- We now consider the general boundary condition , which implies that both $C$ and $N$ are complex function, and compute the commutation relations between the real and imaginary sectors. The fundamental bracket $$\{C_{\zb\zb}(u,z,\zb),C_{ww}(u',w,\wb)\} = 8\pi G \Theta(u-u') \delta^2(z-w) \gammaflat$$ implies that $$\label{NstarC} \{ N^* (z,\zb),C_{ww}(u',w,\wb)\} = - 16 G \, D_w^2 \left(S \ln |z-w|^2\right).$$ Further acting with the operator $\int du' \pa_{u'}$ on we find $$\{ N^* (z,\zb), N(w,\wb) \} = 0 .$$ Namely, the real and imaginary parts of $N$ commute $$\{ {{\rm Re}\,}N (z,\zb), {{\rm Im}\,}N(w,\wb) \} = 0 ,$$ which in turn implies that dual supertranslations commute with supertranslations $$\{ T(f_1), \mM (f_2 ) \} =0.$$ This result agrees with the fact that the Bondi mass does not change under dual supertranslations. Finally, let us note that dual supertranslations do not commute with superrotations[^3]. Example {#example .unnumbered} ------- An example of a solution that admits a non-zero dual supertranslation charge is the Taub-NUT metric, which is given by $$\label{TaubNUTMetric} ds^2 = -f(r) \left(dt +2 \ell \cos \theta d \varphi\right)^2 +\frac{1}{f(r)} dr^2 +\left(r^2 + \ell^2 \right)\left(d\theta^2 +\sin ^2 \theta d\varphi ^2\right)$$ with $$f(r) = \frac{r^2 -2 m r -\ell^2}{r^2+\ell^2}.$$ Here $m$ is the mass of the black hole and $\ell$ is called the NUT parameter. The Taub-NUT metric has two horizons located at $$r_{\pm} = m \pm \sigma ,$$ where $$\sigma = \sqrt{ m^2 +\ell ^2 } .$$ The domain $r_- < r < r_+$ describes the Taub region while the domains $r>r_+$ and $r< r_-$ describe the NUT region. The complex Weyl scalar $\Psi_2$ of the Taub-NUT solution is given by $$\label{Psi2TN} \Psi_2 = - \frac{m- i \ell}{(r+i \ell)^3}$$ and its leading component in the asymptotic expansion is $$\Psi_2^0 = -m + i \ell .$$ As we mentioned in the introduction, the imaginary part of $ \Psi_2^0$ is given by the NUT parameter and therefore the dual supertranslation charge is non-zero $$\label{TNcharge} \mM (f) = \frac{\ell}{4 \pi G} \int d^2 z \gammaflat \, f(z,\zb).$$ The global dual supertranslation charge is therefore $$\mM _{\text{global}}= \frac{\ell}{ G}.$$ The Taub-NUT metric is locally isomorphic to flat space everywhere except at $\theta=0$ and $\theta=\pi$ where there is a conical singularity. This line singularity is the gravitational analogue of the Dirac string for magnetic monopoles. In order to study the asymptotic structure of the Taub-NUT spacetime we will bring it to the Bondi form . To do this we first write it in the retarded system of coordinates and we use complex variables on the two sphere $$ds^2 = -f(r) \left( du+dr+ i \ell \frac{1-|z|^2}{|z|^2} \frac{z d\zb -\zb dz}{1+ |z|^2} \right)^2 +\frac{1}{f(r)}dr^2 +2(r^2 + \ell^2) \gammaflat dz d\zb$$ where $$z= \tan \left( \frac{\theta}{2} \right) e^{i \varphi} .$$ In order to bring the metric into the Bondi form, we have to remove the $g_{rr}$ component using $$\label{uChange} \begin{aligned} u \rightarrow u +V(r) , \qquad \qquad V'(r) = - \frac{f(r) \pm 1 }{f(r)}, \end{aligned}$$ and then employ the following change of variables on the two sphere $$\label{changeZ1} \begin{aligned} z &\rightarrow z -i \frac{1-|z|^4}{2 \zb } \frac{\ell}{r} ,\\ \zb &\rightarrow \zb + i \frac{1-|z|^4}{2 z } \frac{\ell}{r}. \end{aligned}$$ Note that is not defined at either $z=0$ or $z=\infty$ (corresponding to $\theta=0$ and $\theta=\pi$ respectively). The result is that the Taub-NUT metric can be brought to the Bondi form with $$C_{zz} = - i \ell \gammaflat \frac{1+|z|^4}{z^2}$$ everywhere except at the location of the string. This implies that the boundary graviton is given by $$\label{ImCTN} C (z,\zb)= - 2 i \ell \log \frac{(1+|z|^2)^2}{|z|^2} .$$ We conclude that the Taub-NUT solution serves as an example in which the boundary graviton is purely imaginary, namely - it follows from the new magnetic boundary condition that we introduced in . As it was discussed above, the imaginary part of the boundary graviton can develop a non-zero value only when the topology of the asymptotic spacetime is non-trivial. Indeed, the presence of an isolated string singularity in the Taub-NUT solution implies that the celestial space is a covering of the sphere branched at the location of the string. The infinite string singularity can be partly eliminated by a change of variables. This procedure results in the appearance of closed timelike curves and is regarded as pathological in the literature. In this paper we do not attempt to address the question of how to eliminate the string in order to achieve a singularity-free monopole solution. Instead, we will treat the infinite string as a physical object. However, for the sake of completeness we will briefly review the partial de-singularization procedure and the resulting asymptotic structure. It is possible to remove the singularity of at $\theta=0$ by the change of coordinates $t =t'-2 \ell \varphi$, which brings the metric to the form $$\label{SemiMetric} \begin{aligned} ds^2 &= -f(r) \left(dt' -4 \ell \sin ^2 \frac{\theta}{2} d \varphi\right)^2 +\frac{1}{f(r)} dr^2 +\left(r^2 + \ell^2 \right)\left(d\theta^2 +\sin ^2 \theta d\varphi ^2\right)\\ &= -f(r) \left( du'+dr-2 i \ell \frac{z d\zb -\zb dz}{1+ |z|^2 } \right)^2 +\frac{1}{f(r)}dr^2 +2(r^2 + \ell^2) \gammaflat dz d\zb. \end{aligned}$$ Using and the following change of variables on the sphere $$\label{changeZ} \begin{aligned} z &\rightarrow z +i \ell \frac{z(1+|z|^2)}{r},\\ \zb &\rightarrow \zb -i \ell \frac{\zb(1+|z|^2)}{r} , \end{aligned}$$ the metric is brought to the Bondi form everywhere except at the location of the semi-infinite string ($z=\infty$ or equivalently $\theta=\pi$) with $$C_{zz} = - 2i \ell \gammaflat \zb ^2.$$ This implies that the boundary graviton is given by $$\label{ImCTN} C (z,\zb)= - 4 i \ell \log (1+|z|^2).$$ The Memory Effect {#MemSec} ================= The new boundary conditions have introduced two new boundary fields - the imaginary parts of $C(z,\zb)$ and $N(z,\zb)$ - to the phase space. As it was shown in the previous section, the imaginary part of $N$ is related to the dual supertranslation charge, which, in turn, acts non-trivially on the imaginary part of $C$. But how exactly ${{\rm Im}\,}C$ arises in a physical process? To answer this question, in this section we will consider the classical effect of a stress tensor on the asymptotic phase space of the theory. Before discussing the new degrees of freedom, we will first briefly review the classical effect of a stress tensor on the real part of the boundary graviton. Consider, for example, a burst of radiation described by a stress tensor $T_{uu}$ that is non-zero only in some finite interval $u_i<u<u_f$. The radiation flux will induce a non-zero change in ${{\rm Re}\,}C$ which can be computed using the $uu$ component of the Einstein equations $$\label{dReC} \begin{aligned} \Delta {{\rm Re}\,}C (z,\zb) &\equiv {{\rm Re}\,}C (z,\zb) \eval _{\mI^+_+} - {{\rm Re}\,}C (z,\zb) \eval _{\mI^+_-} \\ &= \frac{2}{\pi} \int d^2 w \gamma_{w\wb} G(z,w) \left( \int_{-\infty}^{+\infty} du \, T_{uu} (u,w,\wb) +\Delta m_B \right) , \end{aligned}$$ where $G(z,w)$ is the Green's function $$\begin{aligned} G(z,w) &= S \log S ,\\ D_z^2 D_{\zb}^2 G &= \pi \gammaflat \delta^2 (z-w) , \end{aligned}$$ defined in terms of the function $S(z,w)$ defined in . This process goes under the name of *the memory effect* and it shows how a radiation burst can interpolate between two distinct vacua that are related by a BMS supertranslation @Strominger:2014pwa. We would like to emphasize that only the real part of $C$ appears in the equation of motion and therefore the memory effect described by the formula applies only to it and not to the imaginary part of $C$. Another example for the classical effect of a stress tensor on the asymptotic phase space was studied in @Hawking:2016sgy, where it was shown how to implant supertranslation hair on a Schwarzchild black hole using a shock wave. The formula applies in this case too, as well as in any classical process, since it is simply an inversion of the equation of motion. In a similar way, BMS superrotations transform ${{\rm Re}\,}C$ by a term linear in $u$. In other words, they map two distinct states that are characterized by different values of $\pa_u {{\rm Re}\,}C$. A natural question to ask is whether there exists a memory effect in the boundary graviton to leading order in the asymptotic expansion associated with superrotations. Subleading memory effects for superrotations were studied in @comp and a discussion about the subject can be found in @Pasterski:2015tva, but the subject does not seem to have been fully addressed in the literature. The answer to this question can be inferred, again, from equation , which dictates the relation between $\pa_u {{\rm Re}\,}C$ and the stress tensor $$\label{duReC} \pa_u {{\rm Re}\,}C \eval _{\mI^+_{\pm}} = \frac{2}{\pi} \int d^2 w \gamma_{w\wb} G(z,w) \, \Big[ T_{uu} (u,w,\wb) \Big]_{\mI^+_{\pm}} .$$ Note that the only way $\pa_u {{\rm Re}\,}C$ can acquire a non-zero value is by having a non-vanishing stress tensor at $u=\pm \infty$. This situation is very different from the memory effect for $\Delta {{\rm Re}\,}C $, where due to the $u$-integral the effect is *integrated* and a burst of radiation at some finite interval will induce a finite memory. For superrotations we see that the equivalent process will yield an instantaneous effect rather than an *integrated* memory effect. Note also that this effect is due to the real part of superrotation only (as defined in section \[rotSection\]). The imaginary part of superrotations leaves the phase space invariant and does not induce any change in the physical parameters. Following the same logic we will now consider the effect of a stress tensor on ${{\rm Im}\,}C$. To do this we use the $uz$ component of the Einstein equation . Inverting this equation we derive the following formula $$\label{dImC} \begin{aligned} {{\rm Im}\,}C (z,\zb) \eval _{\mI^+_{\pm}} &= - \frac{i}{\pi ^2} \int d^2 q \, \gamma^{q \qb} \, G(z,q) \int d^2 w \, \pa_{\wb} \log |q-w|^2 \, \times \\ & \qquad \qquad \qquad \qquad \Big[ \pa_u N_w(u,w,\wb) - u \pa_u \pa_w m_B(u,w,\wb) -T_{uw} (u,w,\wb) \Big]_{\mI^+_{\pm}}, \end{aligned}$$ where we have used and $\pa_z \pa_{\wb} \log |z-w|^2 = -2\pi \delta^{(2)}(z-w)$. The expression is more convoluted than the previous formulas, but here again we see that it does not involve an integral over the null direction $u$, similarly to the formula for $ \pa_u {{\rm Re}\,}C $. We therefore conclude that there is *no* integrated memory effect for ${{\rm Im}\,}C$. Nonetheless, there is an instantaneous effect similar to the effect of superrotations. Let us emphasize, however, that while superrotations induce a non-zero Bondi news, dual supertranslations do not. The violation of asymptotic flatness in this case is therefore milder in the sense that it does not require an infinite source of energy. Following the same route, one could think of a similar effect for $\pa_u {{\rm Im}\,}C \sim \pa_u T_{uz}$. This kind of effect will require a linearly diverging stress tensor and does not correspond to any of the symmetry transformations we discussed in this paper. \[1\]<span>&gt;p<span>\#1</span></span> <span>ccC<span>2.8cm</span>c</span> **Symmetry** & **Phase Space** & **Memory** & **Diffeomorphism**\ \[2ex\] Supertranslations & $\Delta {{\rm Re}\,}C \sim \int _{-\infty}^{\infty} du \, T_{uu}$ & (Integrated) memory & Regular diffeomorphism\ \[2ex\] Superrotations & $ \pa_u {{\rm Re}\,}C \eval _{\mI^+_{\pm}} \sim T_{uu} \eval _{\mI^+_{\pm}}$ & No memory & Singular diffeomorphism\ \[2ex\] Dual Supertranslations & $ {{\rm Im}\,}C \eval _{\mI^+_{\pm}} \sim T_{uz} \eval _{\mI^+_{\pm}} $ & No memory & No diffeomorphism\ \[2ex\] Finally, let us emphasize that these results are consistent with the spacetime transformations that are associated with the different symmetries. The effect of supertranslations can be reproduced by a regular spacetime diffeomorphism, or equivalently by a stress tensor. On the other hand, there is no *regular* diffeomorphism that can reproduce the action of superrotations nor dual supertranslations, therefore rendering a corresponding memory effect impossible. After all, the stress tensor measures the response of the metric to small changes. We summarize the classical effect of the stress tensor on the phase space, its relation to diffeomorphisms and to the three symmetry transformations in table \[MemoryTable\]. Scattering of Two Impulsive Gravitational Plane Waves {#ScatteringSec} ===================================================== In the previous section we described how the stress tensor can implant a non-zero imaginary component of the boundary graviton. However, this component can also arise and play an important role also in vacuum solutions. In this section we will describe such a solution of the Einstein's vacuum equations, that involves a scattering of two impulsive gravitational plane waves. This scattering process interpolates between regions of spacetime with different dual supertranslation charge and different values of the field ${{\rm Im}\,}C$. It therefore provides an explicit realization of dual supertranslations. The solution was found by Ferrari and Ibañez @Ferrari:1988nu (see also @Ferrari:1987cs [@Ferrari:1987yk]), and is based on a method due to Penrose and Khan @Khan:1971vh for constructing solutions that describe scattering of two impulsive gravitational plane waves. The solution is given by the following metric $$\label{FIsol} ds^2 = - 16A \frac{X}{F} du dv +s^2 \frac{Y}{X}\left( dx - 2q \mu dy \right)^2 +\frac{X}{Y} dy^2 .$$ Here $u$ and $v$ are two null coordinates[^4], $A$ is a constant representing the amplitude of the waves and we defined $$\begin{aligned} F &= 2 \frac{\eta^2 -\mu ^2 }{\sqrt{1-s-j}\sqrt{1-s+j}} , \\ X&= 1+ \eta^2 +2p \eta, \qquad Y= \frac{1}{1-\mu ^2 }, \\ \eta &= \frac{1}{2} \sqrt{(1+j)^2-s^2}+\frac{1}{2} \sqrt{(1-j)^2-s^2},\\ \mu &= \frac{1}{2} \sqrt{(1+j)^2-s^2}-\frac{1}{2} \sqrt{(1-j)^2-s^2} ,\\ s&= 1- \ut ^2 - \vt^2 , \qquad j= \vt^2 -\ut ^2 , \end{aligned}$$ where $$\ut = u H(u), \qquad \vt = v H(v).$$ $H(u)$ is the Heaviside step function that describes the impulsive burst of the plane waves. The parameter $p$ represent the angle between the direction of the polarization of the two colliding waves. It takes the values $-1<p<1$. When $p=\pm 1$ the two waves have parallel polarizations. The parameter $q$ is related to $p$ by $p^2 +q^2=1$. The Penrose diagram of the metric is depicted in figure \[fig:scattering\]. ![The Penrose diagram of the scattering process of two impulsive gravitational plane waves. The two waves propagate along $u=0$ and $v=0$, respectively and travel freely until the instant of collision. The interaction region is locally isomorphic to the Taub region of the Taub-NUT metric and can be extended beyond the even horizon which is described by the dashed line. <span data-label="fig:scattering"></span>](Fig2.pdf) The metric interpolates between three different regions of spacetime. The first and simplest is the region $u,v<0$, where the metric reduces to that of flat spacetime $$ds^2 = - 4A du dv +dx^2 +dy^2.$$ This is the region of spacetime before the collision of the two plane waves at $u=0,v=0$. The second region is $u\geq 0,v<0$, where the metric takes the following form $$\label{PW1} \begin{aligned} ds^2 &= -\frac{ 4A (1+u^2 +2pu)}{\sqrt{1-u^2}} du dv \\ &+ \frac{1-u^2}{1+u^2 +2pu} (dx+2qu dy)^2 +(1-u^2)(1+u^2 +2pu) dy^2. \end{aligned}$$ This metric describes a plane wave propagating freely in the $u$-direction. At $u=1$ there is a coordinate singularity, whose nature we will discuss soon. In the region $v\geq 0,u<0$ the metric is given by the same expression with $u$ replaced by $v$ and $q$ by $-q$; it describes a plane wave propagating freely in the $v$-direction. Finally, the most interesting region is the interaction region $u,v \geq 0$. It describes spacetime after the collision of the two plane waves. In this region the
{'source': 'arXiv_out/1907'}