BMS type symmetries at null-infinity and near horizon of non-extermal black holes

In this paper we consider a generally covariant theory of gravity, and extend the generalized off-shell ADT current such that it becomes conserved for field dependent (asymptotically) Killing vector field. Then we define the extended off-shell ADT current and the extended off-shell ADT charge. Consequently, we define the conserved charge perturbation by integrating from the extended off-shell ADT charge over a spacelike codimension two surface. Eventually, we use the presented formalism to find the conserved charge perturbation of an asymptotically flat spacetime. The conserved charge perturbation we obtain is exactly matched with the result of the paper \cite{6'}. These charges are as representations of the $BMS_4$ symmetry algebra. Also, we find that the near horizon conserved charges of a non-extremal black hole with extended symmetries are the Noether charges. For this case our result is also exactly matched with that of the paper \cite{15}.


Introduction
It is well known that the group of asymptotic symmetries of asymptotically flat space-times at future null infinity is the BMS group [3,4,5]. The BMS symmetry algebra in n space-time dimension consists of the semi-direct sum of the conformal Killing vectors of a (n − 2)-dimension sphere acting on the ideal of infinitesimal supertranslations [6,7]. So, in 4-dimensions, the asymptotic symmetry group at null infinity of asymptotically flat space-times is not the Poincare group. In this case, the symmetry algebra is an extension of the Poincare algebra, in which translations are replaced by supertranslations, and contains two copies of the Virasoro algebra [1]. In contrast to 3 and 4 dimensions, in higher dimensions the supertranslations reduce to the usual translation. Thus the asymptotical symmetry algebra of asymptotically flat space-times at the future null infinity for n > 4 dimensions is just the Poincare algebra [8,9,7]. The infinite-dimensional supertranslation subgroup of BM S 4 generates arbitrary angle dependent translations of retarded time. Ashtekar has investigated the implications of the supertranslations in the context of asymptotic quantization [10,11]. Recently, Donnay et al [12], have shown that the asymptotic symmetries close to the horizon of the nonextremal black hole solution of the three-dimensional Einstein gravity in the presence of a negative cosmological term, are generated by an extension of supertranslations. They have shown that for a special choice of boundary conditions, the near region to the horizon of a stationary black hole presents a generalization of supertranslation, including a semidirect sum with superrotations, represented by Virasoro algebra (see also [13]). More recently, we have studied the behaviors and algebras of the symmetries and conserved charges near the horizon of the non-extremal black holes in the context of the so-called Generalized Minimal Massive Gravity [14], proposed in Ref. [15].
In an interesting paper [16] Strominger has studied the BM S 4 invariance of gravitational scattering. He has discussed that in a finite neighborhood of the Minkowski vacuum, classical gravitational scattering is in fact BMSinvariant. He has demonstrated BMS invariance of the S-matrix, and has shown that the supertranslation invariance implies energy conservation at every angle. In extension of AdS/CFT correspondence to the flat space holography, the BMS algebra has been investigated very much in recent years [17,18,19,20,21,22,23,6,24,25,1,26]. Since the BM S 4 algebra is an extension of the Poincare algebra, the asymptotically flat space-time in 4-dimensions is dual to an extended conformal field theory. The BM S 4 charge algebra has been studied in [1]. The authors of [1] have used the covariant approach in order to obtain surface charges and their algebra (see also [27,28,29]). The BMS 4 Surface-charge algebra on the null infinity of asymptotically flat spacetime has been investigated via the Hamiltonian formalism in the reference [30]. The BM S 4 group leads to the conserved charges, a part of these conserved charges are associated to the Poincare group, another part is an infinite number of supermomentum charge associated with supertranslations. In the papers [24, 7, 1] Barnich and Troessaert have discussed the vector fields called "superrotations", which correspond to the infinitesimal symmetries but cannot be exponentiated to lead smooth finite diffeomorphisms. Recently, Flanagan and Nichols have computed the superrotation charges, and have shown that these charges which are called "super center-of-mass" by them are in general finite [31]. In this paper we are going to show that the BMS symmetries appear at null infinity of asymptotically flat four-dimensional space-times. What we find in this case is exactly matched with the result of the paper [1], but here, we obtain this result by a different approach. On the other hand, the near horizon geometry of non-extermal black hole solutions of a generally covariant theory of gravity exhibits an infinite-dimensional symmetry which is not exactly BM S 4 [2]. In fact, at the horizon we find the so-called BM S H 4 algebra provided in reference [2]. In this paper at first we consider a generally covariant theory of gravity in D dimensions. Then we try to find the quasi-local conserved charges corresponding to the field-dependent Killing vector fields. We assume that the diffeomorphism generator ξ depends on the dynamical fields which appear in the metric. Then by using the ADT method [32,33,34], developed in [35,36,37] (for the recent works see [38,39,40]), we obtain the extended offshell ADT current. Afterward, we define the perturbation of the conserved charge by integrating of the extended off-shell ADT charge over a space-like codimension two surface. As an application of this method for computation of conserved charges, when the Killing vector fields are dependent to the dynamical fields in the metric, and in direction of our aim, we consider an asymptotically flat line element where the components of the metric are functions of coordinates. Our result for conserved charge perturbation is exactly matched with that of the paper [1]. These charges are as representations of the BM S 4 symmetry algebra. Very recently the authors of [2] have shown that the non-extremal black holes in four-dimensional general relativity exhibit an infinite-dimensional symmetry in their near horizon region. The algebra they have found contains two sets of supertranslations currents, besides, it contains two sets of Virasoro currents which are in semi-direct sum with the supertranslations. Due to presence of two sets of supertranslations currents, this algebra is not exactly BM S 4 symmetry algebra which includes two copies of Virasoro algebra and one set of supertranslations. In section 3 we try to find the expression of the conserved charges associated to the near horizon symmetry of the non-extermal black hole solution of general relativity in 4 dimensions by the Neother method. Our result for this case is also exactly matched with that of the paper [2].

Quasi-local conserved charges correspond to the field dependent Killing vector fields
The action of a generally covariant theory of gravity in D dimensions is given by where G is the gravitational constant and L = L(g µν , R, R µν R µν , . . . ) is the Lagrangian density of a generally covariant theory of gravity. By varying Eq.(1) with respect to metric g µν we have where E µν = 0 are equations of motions and Θ µ (g; δg) is the surface term. The variation of metric under a diffeomorphism generated by the vector field ξ µ is δ ξ g µν = ∇ µ ξ ν + ∇ ν ξ µ . By supposing that the variation in Eq.(2) is due to a diffeomorphism generated by the vector field ξ µ we find that It is known that √ −g is a scalar density of weight +1 and the Bianchi identity is given by ∇ ν E µν = 0, then Eq. (3) can be written as where J µ = J µ (g; ξ) is an off-shell conserved current and it is given by By virtue of the Poincare lemma, one can write where K µν = −K νµ . Now, we assume that the diffeomorphism generator ξ depends on the dynamical fields which are appear in the metric. By varying Eq.(5) with respect to the dynamical fields we find that whereδ denotes variation with respect to the dynamical fields. The off-shell ADT current is defined as [35,36,37] The off-shell ADT current J µ ADT (g; δg) is conserved off-shell for arbitrary field-independent Killing vector field which is admitted by the spacetime everywhere. Also, the symplectic current define as an antisymmetric bilinear map on perturbations [41] The above expression for the symplectic current reduces to the Lee-Wald one [42,43,44,45], namely ω µ LW = δ 1 Θ µ (g; δ 2 g) − δ 2 Θ µ (g; δ 1 g), when two variations δ 1 and δ 2 are commute, i.e. [δ 1 , δ 2 ]g = 0. The symplectic current (9) is conserved on-shell and it gives us conserved charges correspond to asymptotically field-independent Killing vectors. It should be noted that for the case in which ξ is field-dependent we have [δ, δ ξ ] = δδ ξ , then Eq. (9) becomes It is easy to see that Eq.(10) will be reduce to the Lee-Wald symplectic current when ξ is field-independent, i.e.δξ = 0. In the paper [46], the authors have generalized the off-shell ADT current as following, this current is conserved off-shell for the asymptotically field-independent Killing vector fields as well as field-independent Killing vector fields admitted by spacetime everywhere. For the case in which ξ depends on the dynamical fields, it seems to be sensible replacing δ and the Lee-Wald symplectic current byδ and ω µ (g;δg, δ ξ g) in Eq.(11), respectively. Thus, we can define the extended off-shell ADT current as It is clear that the extended off-shell ADT current J µ ADT is conserved offshell for asymptotically field dependent Killing vector fields as well as fielddependent Killing vector fields admitted by spacetime everywhere. By considering Eq.(12), one can rewrite Eq.(7) as follows: where Q µν ADT (g,δg; ξ) is defined as the extended off-shell ADT charge and it is given by . (14) By substituting K µν = √ −gK µν and Θ µ = √ −gΘ µ into Eq. (14) we have The above expression for the extended off-shell ADT charge reduce to the generalized ADT charge [46] when ξ is field-independent, i.e.δξ = 0. Now, we can define the perturbation of the conserved charge by integrating from the extended off-shell ADT charge over a spacelike codimension two surfacê where The charge defined by Eq. (16) is conserved off-shell for the asymptotically field-dependent Killing vector fields as well as field-dependent Killing vector fields admitted by spacetime everywhere. As we mentioned earlier, the Lagrangian of a generally covariant theory of gravity is given by L = L(g µν , R, R µν R µν , . . . ), so, we have the following expressions forK µν andΘ µ [37] where P µναβ = ∂L/∂R µναβ . For the Einstein gravity, we have therefore in this case Eq.(18) will be reduced tõ By substituting Eq.(20) into Eq.(15) we find that 3 where h µν =δg µν . Although this formula is independent ofδξ, we have shown that this formula is valid for the case in which ξ is field-dependent.

An example
Let x µ = (u, r, θ, φ) and A, B, · · · = 2, 3. We consider an asymptotically flat spacetime presented in [25]. The line-element of an asymptotically flat spacetime can be written in the following form [5,25] where X, V and g AB (detg AB ) −1/2 are 6 functions of the coordinates. Also, we assume that g AC g CB = δ A B and we impose following gauge conditions ∂ r r −4 detg AB = 0.
The line-element (22) solves the Einstein field equations when g AB , X, V and U A are given as whereγ ACγ CB = δ A B ,γ AB dx A dx B = e 2ϕ(x C ) (dθ 2 + sin 2 θdφ 2 ) and indices on C AB andD AB are raised withγ AB . Also,C C C =D C C = ∂ uDAB = 0.∇ A is the covariant derivative associated toγ AB andR is the scalar curvature of ∇ A . In Eq. (27), M = M (u, x A ) is the mass aspect and, in Eq. (28),N A = N A (u, x B ) is the angular momentum aspect. We should mention thatC AB , D AB , M andN A are dynamical fields. The metric under transformations generated by ξ transforms as δ ξ g µν = £ ξ g µν . The variation generated by the following vector field preserves the fall-off conditions (25)- (28) ξ u =f where Y A is a conformal Killing vector ofγ AB . Preserving the boundary conditions means that the metric g µν (Φ) is mapped into g µν (Φ + δ ξ Φ) by transforms generated by ξ, where Φ is the collection of dynamical fields. The change of dynamical fields δ ξ Φ under transformation generated by ξ are given in the paper [1]. Now, we take codimension two surface Σ to be a (u, r)-constant surface. Thus, ru-component of the extended ADT charge is important. We can rewrite ru-component of the extended ADT charge (21) as Two last terms in the right hand side of Eq.(30) can be simplified as where we have used the equation ∇ r ξ u = 0. Since h µν = g µα g νβδ g αβ = −δg µν , then by considering line-element (22), we find that By substituting Eq. (25) and Eq.(26) into Eq.(29), we have and by some calculations one can show that By substituting Eq.(34) and Eq.(28) into Eq.(32) we find that Also, we have [1] As we mentioned earlier, we take codimension two surface Σ to be a (u, r)constant surface so Eq.(16) becomes where The symbol δ emphasizes that the perturbation of conserved charge may be non-integrable. By substituting Eqs.(36)-(39) into Eq.(40) we have Using the conformal Killing equation for the Y A , i.e.∇ (A Y B) = 1 2γ AB∇C Y C , and integrations by parts, Eq.(42) can be simplified to In the right hand side of Eq.(43), the first term is the integrable part of the surface charge and the second term is the non-integrable part. The conserved charge perturbation (43) which we found in this way is exactly matched with that of the paper [1]. Here we have obtained this result by a different approach. As has been discussed in [1] these charges are as representations of the BM S 4 symmetry algebra.

Near horizon conserved charges of non-extremal black holes as Neother charges
Consider near horizon metric of a non-extremal black hole in the Eddington-Filkenstein coordinates. Let v and ρ are the advanced time and radial coordinate, respectively. We suppose that the event horizon (which is a null surface) located at ρ = 0 and it is a non-expanding surface. Following [47,48,2], components of the metric close to Near horizon region behave like where κ, N A , Ω AB and λ AB are functions of (v, x A ). As before, we assume that x A = (θ, φ). The inverse of metric (45) is given by where Ω AB is the inverse of Ω AB and, in this section, A, B, . . . indices are raised with Ω AB . By some calculations, one can show that the metric connections correspond to the metric (44) are whereΓ A BC is the connection associated to Ω AB . The variation generated by the following vector field preserves the fall-off conditions (44) χ v =f, where [2]. Here, as we mentioned in the previous section, the metric under transformation generated by χ transforms as δ χ g µν = £ χ g µν . In this section, we consider the gauge conditions g ρρ = g ρA = 0 and g ρv = 1. Due to these gauge conditions the v component of χ has been fixed exactly. Also, the fall-off conditions (44) are considered up to O(ρ 2 ) so to preserve these boundary conditions under transformations generated by χ, we need to consider χ ρ and χ A up to O(ρ 3 ) (see ref. [2]).
In section 2, we have showed that J µ is a Noether current density which is conserved off-shell for any vector field ξ, see equations (4) and (5). Then, by virtue of Poincare lemma, we have introduced Noether charge density (6), namely K µν (ξ) = √ −gK µν (ξ) whereK µν (ξ) is given by Eq. (20). Now, we can define the near horizon conserved charge by integrating form the Noether charge density over event horizon where we have replaced ξ by χ. By substituting equations (44)-(47) into the Eq. (48), we find that In the stationary case, in which metric and f are independent of the advanced time, Eq.(49) reduced to This result is exactly what has been found in the paper [2], where the authors have considered the additional restrictions demanded by integrability (see Eq.(37) in the paper [2]). As we have mentioned in the introduction, the near horizon geometry of non-extermal black hole solutions of a generally covariant theory of gravity exhibits an infinite-dimensional symmetry which is not exactly BM S 4 . The authors of [2] have shown that the full symmetry algebra include two sets of supertranslations in semi-direct sum with two mutually commuting copies of Virasoro algebras. So, at the horizon we have found the so-called BM S H 4 algebra provided in reference [2].

Conclusion
We have considered a generally covariant theory of gravity, and found an off-shell conserved current Eq.(5) by virtue of the Bianchi identities. In order to define an extended off-shell ADT conserved current, we took variation of off-shell conserved current Eq.(5) with respect to the dynamical fields. The generalized off-shell ADT current Eq.(11) is conserved for the asymptotically field-independent Killing vector fields and field-independent Killing vector fields admitted by spactime everywhere. We have extended the generalized off-shell ADT current by replacing the Lee-Wald symplectic current by the symplectic current Eq.(10) to define the extended off-shell ADT current Eq.(12) which is conserved for asymptotically field-dependent Killing vector fields and field-dependent Killing vector fields admitted by spactime everywhere as well as field-independent one. Using the extended off-shell ADT current Eq.(12) we have defined extended off-shell ADT charge Eq. (15). Also, we have defined the conserved charge perturbation Eq.(16) by integrating of the extended off-shell ADT charge Eq.(15) over a spacelike codimension two surface. Then we applied the presented formalism to find conserved charge perturbation of an asymptotically flat spacetime which is presented in the paper [25]. The obtained result Eq. (43)

Acknowledgments
M. R. Setare thanks Dr. A. Sorouri for his help in improvement the English of the text.