Hawking temperature as the total Gauss–Bonnet invariant of the region outside a black hole

We provide two novel ways to compute the surface gravity (κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document}) and the Hawking temperature (TH)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(T_{H})$$\end{document} of a stationary black hole: in the first method TH\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T_{H}$$\end{document} is given as the three-volume integral of the Gauss–Bonnet invariant (or the Kretschmann scalar for Ricci-flat metrics) in the total region outside the event horizon; in the second method it is given as the surface integral of the Riemann tensor contracted with the covariant derivative of a Killing vector on the event horizon. To arrive at these new formulas for the black hole temperature (and the related surface gravity), we first construct a new differential geometric identity using the Bianchi identity and an antisymmetric rank-2 tensor, valid for spacetimes with at least one Killing vector field. The Gauss–Bonnet tensor and the Gauss–Bonnet scalar play a particular role in this geometric identity. We calculate the surface gravity and the Hawking temperature of the Kerr and the extremal Reissner–Nordström holes as examples.


I. INTRODUCTION
Black hole physics, from the vantage point of both observations and theory, is in a remarkable state of development.Rotating Kerr metric [1], as the vacuum solution of Einstein field equations, describe all the observed properties of these black holes with just two parameters: the mass of the black hole m and the rotation parameter a which is related to the angular momentum of the black hole as a = J/m (See [2] for a detailed exposition.)These two parameters arise as integration constants in the solution of the partial differential equations; but they can be represented as geometric invariants through the usual ADM [3] construction which expresses the mass and angular momentum as integrals of the first derivatives of the metric tensor at spatial infinity [4].Besides these parameters, the black hole is expected to have thermal properties: for example, an equilibrium black hole obeys the four laws of black hole physics [5][6][7].An explicitly gauge invariant derivation of the black hole laws of black hole thermodynamics was given recently in [8] Thermodynamics of black holes is currently only understood at a semi-classical level [9]; and hence a proper microscopic understanding of this issue is important for quantum gravity.In black hole thermodynamics, the notion of surface gravity, associated to a Killing (or event) horizon, plays a major role as it is directly related to the zeroth law and the uniform temperature assigned to a black hole.Surface gravity is usually defined as the nonaffinity coefficient (κ) in the null Killing vector field ζ µ given as: which is to be computed on the event horizon.We must keep in mind the well-known ambiguity in the definition of surface gravity here: if the integral curves of the null Killing vector ζ µ are restricted to be affinely parameterized, then ∇ ζ ζ = 0 and κ disappears.So affine parameterization should not be imposed.Furthermore, a constant scaling of ζ µ → aζ µ , also scales κ → aκ.So one must fix the normalization ζ µ away from the horizon where it is not null, an issue to which we shall come back below.For two wonderful expositions of this topic, see [10,11].As demonstrated in these works in a pedagogical manner, one can show that the surface gravity as defined above ( 1) is constant on the horizon which, even at a cursory level, suggests a direct connection of the event horizon (or the black hole) with an object with constant temperature that is in equilibrium with its surrounding.
Here we provide a completely unexpected formulation of surface gravity which matches the usual formulation (1) for stationary black holes.Our definition is valid for generic spacetime dimensions larger than 3, and for generic gravity theories.But, in particular, for four dimensional vacuum black holes, we show that the surface gravity is proportional to the volume integral of the Kretschmann scalar outside the black hole region.It is well-known that the Kretschmann scalar diverges for a black hole in some region inside the event horizon and this scalar has been used to detect the singularity of black hole spacetimes See [12] for use of the scalar curvature invariants on the detection of other invariants of black holes.Here we have shown another use of Kretschmann curvature invariant: its integral over the spatial section of the spacetime outside the black hole yields the surface gravity and hence the associated Hawking temperature [9] given in geometric units as In what follows, we will show that κ can be expressed as the total three-volume integral of the Kretschmann scalar, where the integration domain is outside the black hole region, that is from the event horizon to spatial infinity of the spacetime.Equivalently, it can also be expressed as a surface integral (see Fig. 1 (1)) on the cross section of the event horizon with an integral that involves the Riemann tensor and the covariant derivative of the timelike or any other Killing vector.Our formulation is geometric in the sense that it is valid for any gravity theory, for any n ≥ 4 dimensions.The contents of a theory enter only after the geometric identity (13).
To derive the new formulas for surface gravity and the black hole temperature , let us start with the construction of a new geometric identity.

II. CONSTRUCTION OF THE GEOMETRIC IDENTITY
In [13,14], we introduced the following P-tensor where The P-tensor (which vanishes identically in three dimensions) satisfies the symmetries of the Riemann tensor and its contraction yields the Einstein tensor, P ν µvσ = (3 − n)G µσ .In fact, one of our motivations was to find a rank (1, 3) tensor whose contraction is not the Ricci tensor, but the Einstein tensor.This Ptensor does the job.Moreover, as defined above, this tensor vanishes identically for maximally symmetric spacetimes; but when Λ = 0, it vanishes for flat spacetimes.Perhaps, the most important property of the P-tensor is that, unlike the Riemann tensor, it is divergence-free for all twice differentiable metrics on a spacetime This fact yields rather remarkable consequences for the underlying manifold.Let F βσ be a generic antisymmetric tensor.Then, contracting (4) with F βσ yields Let χ σ be a generic vector field on the manifold.Then, we take a particular F βσ such that χ σ be its potential as and decompose χ σ as follows where ξ σ is a Killing vector ( i.e. ∇ β ξ σ + ∇ σ ξ β = 0) and ψ σ is a generic vector.Then F βσ becomes Using the Killing identity, , the right hand side of equation ( 5) can be written as We will now write the contraction of the Riemann and the P-tensors, P νµ βσ R σβ νλ , in terms of the Gauss-Bonnet tensor [16,17] where the Gauss-Bonnet invariant, χ GB , reads as Note that H µν vanishes identically in four dimensions, while χ GB can be written as the divergence of a vector field, albeit in a non-covariant way.(Vanishing of H µν in four dimensions is not obvious from the definition ( 10), but a detailed derivation was given in [16] and a concise one in [17].)Then in generic n spacetime dimensions, one has an identity Inserting (8,12) in equation (5), one arrives at the desired geometric identity which is valid for any smooth metric Note that, at the end of the construction, the non-Killing part of the χ σ vector dropped in the last equation, and only the Killing part survived.So this identity is valid only for spacetimes that have at least one Killing symmetry, otherwise one does not have this identity.
As the identity (13) is a vector identity, its prone to another covariant derivative.Let us show that, without a constraint on the geometry beyond the assumption of the existence of a Killing symmetry, the covariant derivative of the identity vanishes automatically.This really is desired, otherwise the underlying geometry would be further constrained.So we have Let us concentrate on the left-hand side which reads In the last two lines, each term vanished identically since the Ricci tensor is symmetric while the term in the parenthesis is anti-symmetric.So the lest-hand side of ( 14) vanishes identically.Let us check the right-hand side of that equation.Since ξ is a Killing vector ∇ ξ ξ = 0. Since the geometry is invariant along the flow of this Killing vector, we have ∇ ξ R = ξ µ ∇ µ R = 0, which can also be easily shown.Similarly ∇ ξ χ GB = 0.As the Gauss-Bonnet tensor H µλ comes from the variation of a diffeomorphism invariant action, it satisfies covariant conservation ∇ µ H µλ = 0 So the right-hand side of ( 14) boils down to 2Λ(n−3) (n−1) ξ λ ∇ µ R µλ which vanishes identically upon use of the Bianchi Identity ∇ µ R µλ = 1 2 ∇ λ R plus the identity ξ µ ∇ µ R = 0 coming from the Killing vector identity.So to some up: covariant derivative of ( 13) vanishes for all smooth geometries.And as we have just shown, since the right-hand and the left-hand vanishes independently, identically, this allows us to define two equivalent covariantly conserved currents : and We shall use both of these two give two different expressions for the surface gravity and temperature of a stationary black hole.Since, up to now, we have not assumed any field equations, in principle we can consider any gravity theory, but to derive the consequences of (13) for our World, let us consider four dimensional manifolds that satisfy the cosmological Einstein theory with matter.Then, one has G µν = κ N T µν , with κ N = 8πGn c 4 ; and as stated above the Gauss-Bonnet tensor H µν = 0 in four dimensions, yielding where we have expressed the right-hand side of the identity in terms of the(modified) energy momentum tensor: In particular, one of the main applications of this construction will be the astrophysically relevant Kerr black hole for which Λ = 0 and in a vacuum, T µν = 0, and hence (18) reduces to So on the right-hand side the Gauss-Bonnet invariant reduced to the Kretschmann scalar for Ricci flat metrics i.e. the metrics solving vacuum Einstein equation.
As we have shown in the general case above, above we have ∇ µ J µ = 0, which yields a true conservation law ∂ µ ( √ −gJ µ ) = 0 which can be integrated over the spacetime ´M d 4 x∂ µ ( √ −gJ µ ) = 0. Let us consider the consequences of this expression for black hole spacetimes.For a detailed discussion of this type of construction, please see the third section in [18].To be concrete, let ξ µ be a time-like Killing vector and let Σ be a spatial hypersurface (which will be specified below) in the total spacetime M and let n m u be its (inward-pointing) unit time-like normal vector, and γ ij be the induced metric on Σ.Then ´Σ d 3 y √ γn µ J µ is independent of time and the choice of the spatial hypersurface as per conservation.So then we have the following exact relation where in vacuum, for Ricci flat metrics, the P reduced to the Riemann tensor.We can use the Stokes' theorem on the left-hand side as follows where ∂Σ is the (spacelike) boundary of the spacelike surface Σ while σ ν is its spacelike outward unit normal vector and γ (∂Σ) µν := g µν + n µ n ν − σ µ σ ν is the induced metric on it.Introducing the antisymmetric binormal as we can rewrite (21) as So then we have the main identity To proceed, let us now specify the hypersurface Σ.To be mathematically somewhat rigorous, let us take the time interval to be compact t ∈ [−T, T ] and let T → ∞ at the end.Then, as depicted in figure (1), M = M − B × [−T, T ] denotes the spacetime region between the event horizon of the black hole and the boundary of the black hole at infinity.Here M is the total spacetime and B denotes the three dimensional ball of which the boundary is the two dimensional cross section of the event horizon.Also, ∂ M denotes the disconnected boundary of that region: one at spatial infinity ∂M, the other on the event horizon S 2 × [−T, T ].Under these considerations the hypersurface for asymptotically flat spacetimes is given as Σ = R 3 − B, with two a disconnected boundary composed of an S 2 as the cross section of the event horizon and another S 2 at spatial infinity.The expression ( 24) is an identity for all Ricci flat metrics in four dimensions.One important point to note is the following, for black holes the Kretschmann scalar is divergent somewhere inside the event horizon (defining the real singularity of the black hole); and its integral over the totality of the spacetime is also clearly divergent, but here we restrict the integration domain to the spatial region outside the black hole for which the integral is finite.Let us understand the content of the identity, (24), in the case of the Kerr metric.

Application to the Kerr black hole
The coordinates in which the metric is written does not change our construction as we need the Kretschmann scalar, but since we also need a Killing vector field, it is best to take coordinates in such a way that one of them is a Killing coordinate.To this end, one can take the Ricci flat Kerr metric in the Kerr-Schild form [19] where ρ 2 := r 2 + a 2 cos 2 θ and with the seed metric given as The vector k µ , which is null with respect to both the seed and the full metric, is given as − a sin 2 θdφ.
For more details on the Kerr metric, see [20].The outer event horizon is located at r H = m + √ m 2 − a 2 ; and the surface gravity, κ, at the event horizon can be easily computed from the usual definition via the formula (1), with the Killing vector field which is the horizon-generating null Killing vector field.
Here Ω H is the angular velocity of the event horizon given as

on the event horizon
As mentioned in the paragraph below (1), ζ µ has a scaling ambiguity: the choice (27) with the factor 1 in front of the timelike Killing vector removes this ambiguity which is the common practice that is consistent with the laws of black hole mechanics.So, using (27) in ( 1) one arrives at the known result [10] for the surface gravity of the Kerr black hole and the Hawking temperature follows from (2).
Let us now show how our integral formula (24) reproduces this result in a completely different manner.One can compute either the left-hand side or the right-hand side of the identity (24), as they are equal, the result of course does not matter.Defining the right-hand side of (24) as The Kretschmann scalar K ≡ R ραβσ R ραβσ for the metric (25) can be computed to be where and The induced metric γ in the hypersurface Σ follows from (25) by setting t =constant, that is and the vector k µ reduces to − a sin 2 θdφ.
Taking the time-like Killing vector ξ = (1, 0, 0, 0) and computing the time-like unit normal n µ to the hypersurface Σ as Then plugging all these into (30) and carrying out the volume integral over the ranges r ∈ [r H , ∞] and θ ∈ [0, π], φ ∈ [0, 2π] that cover Σ, yields This expression has the correct behavior for the surface gravity, for example it vanishes exactly for the extremal Kerr metric for which a = m and r H = m.For the subextremal Kerr metric, one must introduce a constant coefficient which is akin to the scaling ambiguity in (1).In fact, this is evident from the choice of the Killing vector above: we chose ξ = (1, 0, 0, 0), but any other choice ξ = (c, 0, 0, 0), with c a constant, would scale κ.So one has the surface gravity of the Kerr metric which is equivalent to (29).For the Schwarzschild black hole, a = 0 and one finds the correct limit κ = 1 4m .Defining the dimensionless rotation parameter of the black hole as α := a/m and the tangential speed of the horizon as v H = r H Ω H , the prefactor in (37) reads as the dimensionless ratio (α/v H ) 2 .so for the Kerr black hole, the Hawking temperature simply reads as where, again, the integral is outside the black hole region.Equivalently, from (24) one can calculate the same integral on the surface of the event horizon.
In Figure (2), we have plotted the Kretschmann scalar K (31) for the Kerr black hole.Even though this curvature scalar diverges on a ring inside the event horizon, diagnosing the true singularity of spacetime, its finite outside the event horizon.Moreover, as is the premise of this work, as we have shown, its spatial volume integral is also finite and is related to the surface gravity.
Let us give a non-vacuum example: the extremal charged Reissner-Nordström metric which is a solution to Einstein-Maxwell theory.The metric is the of the following form where we keep f (r) arbitrary for now but will specify in a moment.The metric is not Ricci-flat generically, so we must now apply the full identity (13).We assume Λ = 0 and in four dimensions, we we already noted, the Gauss-Bonnet 2-tensor vanishes, but the Gauss-Bonnet scalar does not.For (39), we have for f (r) = 1 − 2m/r + q 2 /r 2 , for the time-like vector ξ = (1, 0, 0, 0), the relevant expression yields which vanished identically for the extremal case of q = m, that is r H = m.This yield κ = 0 and so T H = 0 as expected.For the non-extremal case, the constant in front of the Killing vector must be taken not 1.
Finally, let us also note a rather interesting connection (which needs to be better studied) of the above construction with our earlier work [13], [14].The linearized version of the main identity (13) yields the conserved charges (mass and angular momentum) written in terms of not the derivatives of the metric deviations but in terms of the explicitly diffeomorphism invariant linearized Riemann tensor for asymptotically anti-de Sitter spacetimes [13], [14] as and the barred quantities refer to the AdS background; and 2 Fβσ = ∇β ξσ − ∇σ ξβ .

III. CONCLUSIONS
We have given two new expressions for surface gravity and the associated temperature for black holes.Broadly speaking both surface gravity and the temperature of a black hole is directly related to the total (integrated) quadratic curvature invariant outside the black hole region.This is a rather important result which directly links the surface gravity to a curvature invariant and the integration clearly shows the non-locality of the surface gravity concept.
Our construction was based on a divergence-free rank four tensor and an antisymmetric rank two tensor built from the covariant derivative of any Killing vector field: we found an identity (13) valid for all spacetimes of generic n > 3 dimensions.A curious fact is that the Gauss-Bonnet tensor H µν (which comes from the variation δ g ´dn x √ −gχ GB ) and the Gauss-Bonnet scalar, χ GB , appears on the right-hand side of the expression.When this expression is integrated in a region of spacetime for which the integrals are finite, one obtains an identity, which in four dimensional Ricci flat metrics yield (24). Remarkably the left-hand side or the right-hand side of this identity is related to the Hawking temperature (and the surface gravity) of the black hole.We realized this upon the computation for extremal black holes; the integrals vanish identically and for Schwarzschild black holes they yield the surface gravity κ = 1/4m which are the known results.Therefore, besides the usual way of defining the surface gravity via the null geodesic generator as in (1), our construction gives two novel definitions one of which includes the integral of the Kretschmann scalar in the part of the spacetime outside the black hole region, and the other one being an integral of the Riemann tensor (in the Ricci flat case it is actually the Weyl tensor) contracted with the covariant derivative of any Killing vector field.

Figure 1 .
Figure 1.M denotes the four (or generically n > 3) dimensional spacetime, B represents the three (or generically n − 1) dimensional ball for which the boundary is the cross section of the event horizon.Also, M = M − B × [−T, T ] denotes the region of the spacetime between the event horizon and the boundary of the black hole at infinity.To not deal with a trivial divergence over the time integral for stationary spacetimes, we have taken the time dimension to run over the interval [−T, T ].The boundary of M, ∂ M, consists of the event horizon as a 3 (generically (n − 1)) dimensional degenerate hypersurface and the boundary at infinity.

Figure 2 .
Figure 2. Plot of the Kretschmann scalar K (31) for the Kerr black hole with a = 1/3, m = 1; and for the interval r ∈ [rH = 1.94, 3.5], θ ∈ [0, π] .The figure is depicted to show how the total Kretschmann scalar of the rotating black hole over the spatial region outside the black hole region can give a finite result.