Hamiltonian structure and asymptotic symmetries of the Einstein-Maxwell system at spatial infinity

We present a new set of asymptotic conditions for gravity at spatial infinity that includes gravitational magnetic-type solutions, allows for a non-trivial Hamiltonian action of the complete BM S4 algebra, and leads to a non-divergent behaviour of the Weyl tensor as one approaches null infinity. We then extend the analysis to the coupled Einstein-Maxwell system and obtain as canonically realized asymptotic symmetry algebra a semi-direct sum of the BM S4 algebra with the angle dependent u(1) transformations. The Hamiltonian charge-generator associated with each asymptotic symmetry element is explicitly written. The connection with matching conditions at null infinity is also discussed.


Introduction
The BMS symmetry was originally discovered at null infinity in the context of gravitational radiation in asymptotically flat spacetimes [1][2][3][4][5][6]. A major development in the field has been the realization that soft graviton theorems could be interpreted as Ward identities for the BMS asymptotic symmetries (for a review, see [7]). Now, Ward identities can only be derived from bona fide conserved charges. This raises the question of constructing the BMS charges that canonically generate the BMS symmetries.
The question is not entirely trivial since it has been long appreciated that at null infinity, the natural concepts to be considered are fluxes, rather than charges, which are not conserved whenever the fluxes are non zero [8][9][10][11]. The symmetries are in fact not even canonically generated and the association of functions with symmetries is therefore intricate. The situation is somewhat analogous to the dynamics of a system in a box with semi-permeable boundary conditions that allow non-vanishing outgoing (or incoming) fluxes. Hypersurfaces that "reach" null infinity are non-Cauchy. As one moves from one non-Cauchy hypersurface to the next, the past (or future) development shrinks with information leaking to (or coming from) null infinity. It is only when the fluxes at null infinity (known as "the news" in the gravitational case) vanish that one recovers a standard Hamiltonian picture.

JHEP07(2018)171 JHEP07(2018)171
Our paper is organized as follows. We first consider pure gravity. In section 2, we explain the general idea underlying the choice of boundary conditions, starting from the pioneering work [15] where parity conditions were imposed asymptotically. We then give in section 3 the precise form of these boundary conditions. To streamline the presentation, we first give their explicit form, which turns out to be unexpectedly simple, and verify next that they possess all the good properties that they should have. In section 4, we review the asymptotic structure of free electromagnetism in Minkowski space and then combine it with the gravitational one in order to describe the asymptotic structure of the Einstein-Maxwell system. Section 5 is devoted to conclusions and comments, including a discussion of the connection with other works. In appendix A, we give more details on the structure of the new asymptotic conditions for gravity.
We close this introductory section with an important question. Why can one state that the BMS 4 symmetries exhibited at spatial infinity are the same BMS 4 symmetries found at null infinity? This question was answered already in [12][13][14], but since this is an important point, we examine it again here from a somewhat more conceptual standpoint.
A symmetry is a transformation that leaves the action invariant. Symmetries are conveniently discussed in the Hamiltonian formulation, where the action is S[q i (t), p i (t)] = dt p iq i − H . The Hamiltonian can have an explicit time dependence. A symmetry transformation must preserve the kinetic term of the action and so must be a canonical transformation. Let G be its generator. It is a phase space function that may depend explicitly on t. The action will be completely invariant (up to a term at the time boundaries) if and only if dG dt ≡ ∂G ∂t + [G, H] = 0. This equation shows that giving a symmetry transformation at a time t 0 , say, (i.e., its generator G(t 0 )), determines it uniquely at all times. The same is true in field theory: giving a symmetry on a Cauchy hypersurface determines it everywhere (modulo proper gauge transformations [16] in the case of gauge theories).
The same is also true for asymptotic symmetries where the relevant dynamics is the asymptotic dynamics, which is fixed once one has chosen the time slicing at infinity. In the case relevant to our question, in order to do the matching between spatial infinity and null infinity, one must integrate the equation for the symmetry generator from the given Cauchy hypersurface to the "critical spheres", i.e., the past of future null infinity and the future of past null infinity. To that end, it is convenient to blow up spatial infinity, which is a single point in Penrose's compactification [4], to a cylinder bounded by the critical spheres, and to adopt a time slicing that covers that cylinder, such as hyperbolic coordinates [17][18][19][20][21] or the coordinates introduced in [22][23][24]. In practice, since any transformation that leaves the action invariant also maps solutions on solutions, one can determine the asymptotic symmetry from its "initial data" by requesting that the equations of motion at infinity be preserved. This is the method followed in [12][13][14] for pure gravity and the Einstein-Maxwell system, leading to a precise (and somewhat subtle) matching between the descriptions of the BMS 4 symmetry at spatial infinity and at null infinity. equal to zero) -and coincide also with the reduced phase space Poisson bracket. For that reason, it has become customary not to make the distinction between Poisson and Dirac brackets in this context.

JHEP07(2018)171 2 Parity conditions
Our boundary conditions strongly rely on the approach developed in [15], where parity conditions were imposed on the leading orders of the asymptotic fields.
The rationale behind the parity conditions can be understood as follows. If one considers the usual asymptotics for gravity without parity conditions, the bulk integral of the symplectic structure acquires a logarithmic divergence for generic configurations. Now, a finite symplectic form is necessary for having a well-defined canonical structure. In order to cancel the divergence, one must therefore restrict further the asymptotic fields. This can be done by means of parity conditions. The natural choice for these parity conditions [15] is such that the resulting symmetry algebra reduces to the exact symmetries of the background, i.e., the Poincaré algebra. This is because any supertranslation which is not a translation is either trivial -i.e., is pure gauge with zero charge -or forbidden -i.e., does not preserve the parity conditions. A different choice of parity conditions must thus be considered.
The different boundary conditions proposed in [12] involve a twist in the parity conditions for the leading orders of the angular components of the metric. These new conditions, while still being Lorentz invariant, keep the symplectic structure finite and allow for the non-trivial enhancement of the asymptotic symmetry algebra to the BMS 4 algebra. However, as we pointed out above, the twist implies that solutions with non-zero gravitational magnetic charges, like the Taub-NUT metric, are not part of the phase-space. Furthermore, the new boundary conditions generically lead to divergences in the magnetic components of the Weyl tensor as one goes to null infinity. As suggested by the analysis of [25], selecting appropriate parity conditions is a key step in order to remove divergences. How, then, can one devise new boundary conditions that allow for a non trivial action of the BMS 4 group without leading to these undesirable features? The way out is suggested by electromagnetism.
Electromagnetism enlarges further the symmetry by introducing asymptotic angledependent u(1) transformations, which were identified at null infinity in [26,27]. A similar picture holds, namely, that the angle-dependent u(1) transformations are not canonically generated at null infinity whenever the "electromagnetic news function" does not vanish. In order to exhibit the conserved charge-generators, the precise asymptotic structure of electromagnetism at spatial infinity (i.e., on Cauchy hypersurfaces) has been studied in [14] (earlier important work include [28]). Again, the symplectic structure diverges unless one imposes extra conditions which can be parity conditions. The natural parity conditions, given in [29], suffers however from the same drawback as the corresponding ones for gravity: they freeze the possibility to perform non trivial angle-dependent u(1) transformations, except constant ones. A twist of the parity conditions on the angular components of the asymptotic fields is thus also necessary in this case if one wants a non-trivial action of the angular dependent u(1)-transformations present at null infinity. But as in the gravitational case, while imposing these twisted parity conditions leads to a well-defined system, this choice excludes magnetic monopoles and introduces solutions possessing a logarithmic divergent electromagnetic field at null infinity.

JHEP07(2018)171
However, it was shown in [14] that it is sufficient for this twist to be an improper gauge transformation (for "improper", we follow the terminology of [16]). This leads to the introduction of a set of hybrid parity conditions combining the best of both choices: a non-trivial action of the enhanced asymptotic symmetry algebra, the absence of solutions diverging at null infinity and the possibility to describe magnetic monopoles.
We show in this paper that the same procedure also works for gravity. The gravitational analog of the hybrid parity conditions introduced for electromagnetism are a mixture of the parity conditions of [15] with those of [12]. More precisely, the twisted parity component of [12] that we include here is an improper gauge transformation (i.e., diffeomorphism). These hybrid parity conditions for gravity form a well-defined system and allow for a nontrivial action of the BMS4 supertranslations without the drawbacks mentioned earlier. They are given in the next section.
The new boundary conditions ("parity of [15] on the asymptotic fields modulo an arbitrary improper gauge transformation") are deceptively simple. While they are straightforwardly invariant under BMS 4 transformations, which are improper gauge transformations, they lead to complications in the verification of the finiteness of the symplectic form and of the charges, which holds only if additional conditions are imposed at infinity. These extra conditions are also explicitly spelled out. In the case of electromagnetism, the twist of the parity conditions by an improper gauge transformation also leads to the surprising feature that an extra surface degree of freedom must be introduced in order for the generators of Lorentz transformations to exist [14]. No such additional degree of freedom is necessary in the case of gravity.

Pure gravity
As announced in the introduction, we first give the boundary conditions and then check that they have the requested properties.
The hamiltonian action of gravity can be written as S =ˆdt where B S∞ is a boundary term on the sphere at spatial infinity that depends on the asymptotic values of the lapse and the shift (see below).

Boundary conditions
The boundary conditions on the dynamical variables that define asymptotically flat spacetimes are, in spherical coordinates:

JHEP07(2018)171
The asymptotic 2-dimensional metric γ AB is here the usual metric on the sphere. In Cartesian coordinates, the decay expressed by these conditions is the standard one, namely, g ij − δ ij ∼ 1 r and π ij ∼ 1 r 2 . The leading orders of the dynamical variables are further subject to two types of extra conditions: (i) Parity conditions; (ii) Constraint conditions.
In order to describe these conditions, it is useful to introduce a 1+2 radial split of the 3 dimensional metric g ij : We will use D A and D A to respectively denote the covariant derivatives of γ AB and γ AB . The indices A, B, . . . on bulk fields will be lowered and raised with γ AB and its inverse γ AB while the same indices on asymptotic fields will be lowered and raised with γ AB and its inverse γ AB . The extrinsic curvature of the constant r surfaces is then given by Constraint conditions. The constraints are requested to asymptotically decay faster than what (3.3) implies, i.e., one imposes: In terms of the asymptotic fields, these conditions are: Parity conditions. We further request that the leading part of the asymptotic fields fulfill the following parity conditions under the sphere antipodal map, in coordinates where this map takes the form 2 x A → −x A : Here, it is the same scalar V that appears in the parity conditions of π rA and π AB . One easily sees that the two functions U and V can be restricted to be odd and even, respectively, since the contributions of the opposite parity terms can be absorbed through a redefinition of (π rA ) even , (π AB ) odd and (k AB ) even .

JHEP07(2018)171
Comparison with previous parity conditions. The asymptotic decay (3.3) with the above constraint and parity conditions define our phase space. In appendix A, subsection A.2, we rewrite these boundary conditions more invariantly in terms of the components of the asymptotic Weyl tensor, which are shown to possess definite parities. If one sets U = V = 0 in the parity conditions, one recovers the parity conditions of [15]. This shows that the phase space defined by the boundary conditions includes the Schwarzschild and Kerr metrics as well as their transformed under asymptotic boosts. It also includes the Taub-NUT solution [30] but one does not need to impose the symmetric gauge conditions adopted asymptotically in that reference to see it.
If one sets (π rA ) even , (π AB ) odd and (k AB ) even to zero, one gets a subset of the configurations considered in [12], which have these fields of opposite parity, i.e., π rA = odd, π AB = even and k AB = odd ("twisted parity conditions"). We do include here angular components of twisted parity, but they have to take the specific "improper gauge" form parametrized by the functions U and V . It is only under this specific form that twisted parity components are compatible with generic components of untwisted parity, allowing thereby the Taub-NUT metric.
Lapse and shift. The lapse N and the shift N k , which are Lagrange multipliers for the (first-class) constraints, must be chosen so that the dynamical evolution preserves the boundary conditions. This means that they can be taken to parametrize a generic asymptotic symmetry. It is customary to take: This corresponds to slicings by hypersurfaces that become asymptotically parallel hyperplanes. Imposing these boundary conditions on the lapse and the shift means that we have to add to the action the ADM energy, i.e, (see below).

Symplectic form
We now start to check that the boundary conditions provide a consistent Hamiltonian description. We first verify that the symplectic structure is well defined. The leading term of the kinetic term in the action, is generically logarithmically divergent with the decay prescribed by (3.3). The extra conditions are added to cancel this divergence. One way to eliminate the logarithmic term would be to take the fields and the corresponding conjugate momenta to have definite and opposite parities so that the integral over the angles vanishes. There are only two ways to assign these definite parities in a Lorentz

JHEP07(2018)171
invariant manner compatible with the Schwarzschild solution, which are respectively described in [15] (untwisted case) and [12] (twisted case). But neither is fully satisfactory (non invariance under the BMS 4 algebra, or non-inclusion of the Taub-NUT metric).
To get a satisfactory phase space where the asymptotic symmetry is the full BMS 4 algebra and where the Taub-NUT metric is included, one cannot take the asymptotic fields to have definite parities. One must allow both untwisted and twisted parity components. But the logarithmic term in the symplectic form must remain zero. This is why the twisted parity component is forced to take the specific form of (3.10)-(3.12). Using integrations by part and the asymptotic constraints (3.9), one then easily shows that the integral on the sphere appearing in the divergent term of the symplectic structure is indeed always zero.

Asymptotic symmetries
The asymptotic symmetries preserving the boundary conditions are generated by the vector fields correspond to spacetime translations, but higher spherical harmonics are allowed and involve the BMS 4 supertranslations.
The action of these symmetries on the asymptotic fields is given by These transformation rules display one important feature. One can read from them that the variation of the functions (U ) odd and (V ) even take the following form:

JHEP07(2018)171
From these, one sees that the variation of these functions under finite supertranslations is additive. Therefore, the twisted piece in the parity conditions is just that induced by a finite transformation of the asymptotic fields. It follows that if one starts from a configuration that satisfies the untwisted parity conditions, one generically generates a nonvanishing twist that takes exactly the prescribed form, except if one restricts the transformation to the Poincaré algebra in which case the twist remains zero. Invariance of the boundary conditions under the extended set of transformations is in that sense direct. That the enhancement, described here by the two functions T (x B ) and W (x B ) on the sphere, leads exactly to the BMS 4 algebra requires further analysis since the BMS 4 supertranslations are characterized by a single function on the sphere. This was shown in [12]. To understand this point necessitates the form of the charges and is explained in the next section.

Charge-generators
The construction of the charges follows standard Hamiltonian lines [15]. The steps and difficulties parallel those of the treatment of the twisted case given in [12], so we only give the result. Assuming that the asymptotic parameters T, W, Y A and b are field independent, one finds that the asymptotic symmetries are canonical transformations generated by Here, as in [12], the boundary term B ξ is finite thanks to the constraint conditions on the asymptotic fields. Explicitly, one finds for B ξ Note that the charges involve contributions that are quadratic in the asymptotic fields. These are absent for untwisted parity conditions [15]. By making a BMS transformation away from an "untwisted frame", one therefore generates quadratic contributions.
Due to the parity conditions on λ and π rr − π A A , the transformations generated by even W 's and odd T 's have zero charge and are proper gauge transformations. They do not change the physical state of the system and can be factored out. By contrast, the transformations generated by odd W 's and even T 's generically have non-vanishing charges. Such transformations are improper gauge transformations that do change the physical state of the system [16]. The physically relevant functions of the angles appearing in the transformations are then (T ) even and (W ) odd .
The algebra is easily evaluated to be:

JHEP07(2018)171
where ξ generates an asymptotic symmetry with the following parameters Modding out the trivial transformations generated by even W 's and odd T 's, the resulting algebra is the algebra found in [12]. Using the results of [13], this algebra was shown there to be the BMS 4 algebra expressed in an unfamiliar parametrization. This was done by integrating the equations of motion for the symmetry parameters all the way to null infinity, along the lines explained in the introduction. One finds that the odd W 's and even T 's combine to yield the arbitrary function of the angles parametrizing supertranslations in the original parametrization. This enables one to conclude that the symmetry at spatial infinity is the same BMS 4 as the BMS 4 uncovered at null infinity.
In this context, we note that the parity conditions are conditions relating fields at antipodal points on the same asymptotic spheres at spatial infinity. When passing to hyperbolic coordinates to go from spatial infinity to future null infinity and past null infinity, one finds that the parity conditions relate then antipodal points on different spheres since the antipodal transformation is accompanied by a change of sign of the hyperbolic time τ [12,13]. This implies that the values of the fields on asymptotic spheres at null infinity are not restricted by parity conditions. One gets instead matching conditions between the values of the fields on the future and past critical spheres (i.e., the past boundary of future null infinity and the future boundary of past null infinity), which involves the antipodal map in agreement with [7]. One way to get an idea of why the future critical sphere is related to the past critical sphere under parity is to boost arbitrary data fulfilling the parity conditions given on some Cauchy hypersurface. For each value of the velocity, one gets a new Cauchy hypersurface bounded by an asymptotic sphere on which the parity conditions are satisfied since these are Lorentz invariant. In the limit of infinite velocity, the parity conditions are still fulfilled, but the asymptotic sphere S meets the critical spheres at points that are antipodally related, so that the antipodal map sends the intersection of S with the future critical sphere on the intersection of S with the past critical sphere.
We also note that the boundary conditions imply that the components of the Weyl tensor do fulfill the definite parity conditions of [15] since the twisted part drops from them. For that reason, they remain finite as one goes to null infinity [13]. The unwanted feature of generic twisted parity contributions is absent.

Einstein-Maxwell system
In this section, we combine the pure gravity case presented above with results on electromagnetism described in [14] in order to obtain the asymptotic structure of the Einstein-Maxwell system. We begin with a short review of the asymptotic structure of Maxwell's theory in Minkowski space and then couple it to gravity in the second subsection.

Maxwell field on Minkowski background
We start with a review of [14] to which we refer for details. We use the same notation as in the previous section in order to describe the background Minkowski metric: (4.1) The global action of electromagnetism in Minkowski space can then be written as follows: with the following asymptotic behaviour for the fields On top of the usual dynamical fields, i.e. the vector potential A i and the electric field π i , we have an extra canonical pair (Ψ, π Ψ ). The fields A t and χ are lagrange multipliers for the two first class constraints: Gauss's law G = −∂ i π i ≈ 0 and a new constraint π Ψ ≈ 0. Locally, this new constraint can be easily solved and one recovers the usual bulk hamiltonian action for electromagnetism. However, it was shown in [14] that these extra fields and the boundary contribution to the kinetic term are needed for the global description of the system and its symmetries. As in the gravity case, one has to impose parity conditions in order to have a finite kinetic term. Various propositions were made in [14,29]. We adopt here the ones that allow for the simultaneous description of all know solutions and of the angle dependent u(1)-symmetries introduced at null infinity. They can be expressed as [14] A r = (A r ) odd , π r = (π r ) even , where the function Φ can be restricted to be an even function on the sphere. One easily checks that the radial logarithmic divergence appearing in the bulk integral of the kinetic term disappears by combining these parity conditions with the asymptotic constraints imposed in (4.5) and (4.6) [14]. A particularity of the action is that the symplectic structure Ω derived from its kinetic term has a boundary term:

JHEP07(2018)171
where we used d V to denote the exterior derivative in phase-space. For that reason, the prescription −i X Ω = d V F that associates a function F to a canonical transformation described by the phase-space vector field X can lead to a surface contribution even if the bulk part of F contains no spatial derivative. The action is invariant under two linearly independent gauge transformations: usual electromagnetic gauge transformations and arbitrary shifts of Ψ. Their action on the dynamical fields are with the following asymptotic behaviour for the gauge parameters Assuming that µ and are field independent, their total generator is given by Due to the parity conditions (4.8), only the transformations for which is even or µ is odd are improper gauge transformations.
The system is also invariant under Poincaré transformations. The associated total generator can be written as 14) where the Killing vectors of the background (ξ, ξ i ) are given by The algebra of the various generators is easily computed:

JHEP07(2018)171
The algebra of the symmetries is thus a semi-direct sum of the Poincaré algebra and the abelian algebra parametrized by µ and , the action of the Poincaré subalgebra characterising this semi-direct sum being given by: It was also shown in [14] that this algebra agrees with the one obtained at null infinity. The core idea is that the even and odd functions, and µ, combine to form a single function on the sphere that generates the angle-dependent u(1)-transformations seen at null infinity.

Combining gravity and electromagnetism
Combining all the results described in the previous sections for gravity and electromagnetism is straightforward. The starting point is the following action for the Einstein-Maxwell system: The asymptotic conditions appropriate to this action are the ones we described previously for gravity and electromagnetism: see equations (3.3) to (3.13) for the gravitational field and equations (4.3) to (4.8) for the electromagnetic one. We assume in particular that the constraints hold asymptotically, in the sense that they fall off at least one order faster than the one implied by the boundary conditions on the fields, As the contribution of the electromagnetic field to the gravitational constraints is subleading, the asymptotic conditions on the gravitational fields are unchanged The generators of the large u(1) gauge transformations in equation (4.12) are easily seen to remain allowed functionals in the combined case. To build the generators of the BMS 4 transformations, we add the gravitational generators P grav ξ of equation (3.25) to the Poincaré generators (4.13) of electromagnetism: and allow the diffeomorphism generators ξ = (ξ ⊥ , ξ i ) to take the same general form as in the pure gravitational case:

JHEP07(2018)171
This gives the expression where the boundary term reads Using the previous results, we can easily check that where Ω is the symplectic structure of the Einstein-Maxwell action given in (4.24): As in the pure gravitational case, the a priori divergent term produced by the variation of the generator disappears using the asymptotic constraints (4.28). Moreover, one can also check that the associated variations preserve the asymptotic conditions on the canonical variables. The two properties together prove that the generators written in (4.32) are allowed functionals. The algebra of the constraints leads to the following algebra for the gauge parameters: where The variations δ 1 and δ 2 denotes the action of the gauge transformations acting on the canonical fields. From this, we can read off the algebra of the asymptotic gauge parameters using the transformation laws of the asymptotic fields:

JHEP07(2018)171
As before, the transformations generated by W and µ even and T and odd are proper gauge transformations and have to be modded out. The total algebra of asymptotic symmetries A is therefore the semi-direct sum of Lorentz algebra with the direct sum of the two abelian algebras representing supertranslations and large u(1) gauge transformations:

JHEP07(2018)171
conditions of [15]. They take a particularly simple form, because the integrated variations of the relevant functions take the same form as the infinitesimal variations (abelian action).
One motivation behind our work was to provide a direct Hamiltonian description of the infrared structure and of the charges underlying the soft graviton/photon theorems [32][33][34][35][36][37][38][39][40][41][42][43][44][45][46][47][48][49]. That one can achieve such a description is not surprising, not only because everything is anchored on Cauchy hypersurfaces, but also because the matching conditions underlying the soft theorems are intimately related to the "Coulomb behaviour" of the fields [7,35] (and of the dual "magnetic Coulomb behaviour" when there are magnetic charges). This behaviour is of course recorded at spatial infinity, and we have given the action of the BMS 4 group on the asymptotic fields there. Even though there is no gravitational or electromagnetic radiation reaching spatial infinity, the action of the group is non trivial on these asymptotic data. In particular, the asymptotic fields corresponding to the Minkowski solution (k AB = 0 = λ = π rr = π rA = π AB ) do transform under supertranslations. The Minkowski solution is not invariant and belongs to a non trivial orbit of the action of the BMS 4 algebra, although its charges remain zero.
As one goes to null infinity, the electromagnetic field or the Weyl tensor generically develops a logarithmic singularity for twisted parity conditions, [13,14] (see also [50]). This problem is part of the general question on how Cauchy data behave as one approaches null infinity (see [51][52][53][54][55] and references therein for the relevant literature). Cauchy data without logarithmic singularities may diverge logarithmically in that null limit, which, more generally, needs to be described by a polyhomogeneous expansion in r i log j r. By taking the twist to be trivial, i.e., given by a gauge transformation that is allowed to be improper, we eliminate the first, divergent piece in that expansion. Stronger smoothness conditions at null infinity would imply stronger restrictions on the Cauchy data, but these would still have to satisfy the boundary conditions adopted here in order to fulfill the leading regularity condition at null infinity.
Finally, we note that our boundary conditions lead to the original BMS 4 algebra as asymptotic symmetry algebra, without super-rotations [56][57][58]. This question deserves further study.

JHEP07(2018)171
In order for this term to be zero, we need the various tensors to belong to orthogonal subspaces. There is little choice for the first term as we want the solution space to contain black-holes and be invariant under Poincaré transformations, we must impose the parity conditions described in [15]. On the other hand, there is more freedom in the choice of conditions on the angular part.
In order to better understand the asymptotic structure, it is interesting to introduce a decomposition of rank 2 symmetric tensors on the sphere that is adapted to the gravitational fields. A systematic decomposition of tensors on the sphere can be done using spin coefficients. However, as we only have rank 1 and 2 tensors in this work, it will be more convenient to use a decomposition based on scalar potentials.
On the sphere, a 1-form V A can be decomposed into a transverse part V T A and a longitudinal part V L A as follows where e AB is the anti-symmetric tensor with e θφ = sin θ in usual spherical coordinates. The two scalar functions V L and V T are potentials and are defined up to a constant. The decomposition is orthogonal in the sense that: A similar decomposition can be introduced for rank 2 symmetric tensors T AB . Indeed, for all such tensors, there exists a vector V A and a scalar T such that This property is the linearised version of the statement that all metrics on the sphere are conformally equivalent: any deformation of the metric, here δγ AB = T AB , is the sum of an infinitesimal diffeomorphism and an infinitesimal Weyl transformation. We then introduce the decomposition of the vector V A described above to obtain This decomposition is valid in general and is equivalent to the one given in term of spin coefficients. 3 However, it is not well adapted to the gravitational problem and needs to be slightly modified by introducing alternative potentials. For all pairs of functions (V L , T ), there exists a unique pair (T L , T T ) such that This can be easily proved using the fact that the operator ∆ + 1 is invertible on the sphere. Renaming the potential V T as T T T , we proved that a symmetric rank 2 tensor T AB can be uniquely decomposed into three parts T L AB , T T AB and T T T AB as follows 3 Introducing stereographic coordinates on the sphere such that γ AB dx A dx B = 2P −2 dζdζ and the covariant derivative is encoded in the ð and ð operators, we see that the three combinations ð 2 V L − ið 2 V T , ð 2 V L + ið 2 V T and P 2 ( T + ∆V L ) correspond to the three spin coefficients of weights 2, -2 and 0 describing a symmetric rank 2 tensor.

JHEP07(2018)171
where The names of the various parts (T T , T and L) are related to the way they appear in the gravitational constraints and are inspired by the decomposition of the bulk 3 dimensional rank 2 tensors. As in the rank 1 case, the decomposition is orthogonal: (A.11) Introducing this decomposition for k AB and π AB , one easily shows that the asymptotic constraints (3.9) impose the following conditions where the decomposition is extended to densities in the natural way. The surface integral (A.1) controlling the logarithmic divergence of the action then simplifies tǫ 14) The only components on which we have to impose parity conditions are these TT components while the "pure gauge" components π T AB and k L AB can be left arbitrary. The choice presented in section 3 corresponds to k T T AB even and π T T AB odd while the choice leading to the twisted parity conditions of [12] corresponds to the opposite. In the next part of this appendix, we will show how the T T components of both tensors are related to the asymptotic behaviour of the Weyl tensor.

A.2 Weyl tensor
The electric and magnetic parts of the 4 dimensional Weyl tensor W µνρσ are given in terms of canonical fields by the following expressions where e ijk is the totally antisymmetric tensor such that e rθφ = √ g. In asymptotically euclidean coordinates, for which the metric and the momenta take the following form

JHEP07(2018)171
Using spherical coordinates, and the asymptotic conditions of section 3, their leading term takes the form The converse is also true in the sense that, if the parity conditions are imposed on the radial components λ and π rr − π A A then imposing the parity conditions (A.25) on the Weyl tensor is equivalent to imposing the standard untwisted parity conditions on the T T part of the angular components k T T AB and π T T AB : k T T AB = even, π T T AB = odd, (A.27) which is equivalent to the relaxed parity conditions given in (3.10)-(3.12).
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.