Entropy function from the gravitational surface action for an extremal near horizon black hole

It is often argued that {\it all the information of a gravitational theory is encoded in the surface term of the action}; which means one can find several physical quantities just from the surface term without incorporating the bulk part of the action. This has been observed in various instances; e.g. derivation of the Einstein's equations, surface term calculated on the horizon leads to entropy, etc. Here I investigate the role of it in the context of entropy function and entropy of extremal near horizon black holes. Considering only the Gibbons-Hawking-York (GHY) surface term to define an entropy function for the extremal near horizon black hole solution, it is observed that the extremization of such function leads to the exact value of the horizon entropy. This analysis again supports the previous claim that there exists a ``{\it holographic}'' nature in the gravitational action -- surface term contains the information of the bulk.


Introduction and Motivation
The computations of entropy of an extremal near horizon black hole (ENH-BH) solution, proposed by A. Sen, is a very simple and useful method [1] (For a review and large amount of references in this direction, see [2]). In this method, a function is introduced by integrating the Lagrangian density of the theory on the horizon of the ENH-BH geometry. Then performing the Legendre transformation of this function with respect to electric field strengths an entropy function is defined. Finally, the entropy is given by the extremum value of the entropy function with respect to the fields, appearing in the theory. One of the important facts of this approach is that the calculation of the entropy ultimately boils down to the solutions of a set of simplified algebraic equations. One must note that the whole analysis was based on the action of the theory in which the gravitational part does not contain the surface term, like the Gibbons-Hawking-York (GHY) in case of the general theory of relativity (GR) -both in terms of the definition of the initial function which is the integrated version of the Lagrangian density and in the expression for the horizon entropy (done by the Wald's Noether charge prescription [3,4] corresponding to the gravity action without the boundary term).
In this paper, I shall develop the entropy function formalism alone from the surface term of the gravitational action in presence of the matter action of the theory. The computation will be confined within GR and hence the convenient boundary term will be taken to be the GHY term. Here I will not use any "direct" information of the Einstein-Hilbert (EH) part. GHY comes into the picture to obtain a well prescribed action principle in the derivation of the Einstein's equations of motion. Of course this choice is not unique [5], but it becomes popular because its simplicity and wide applicability. The interests purely on the surface part are due to the following reasons. (i) As in the local region of spacetime Christoffel symbols vanishes, the EH action reduces to a purely surface term. (ii) Extremization of the surface term for a diffeomorphism, in which the diffeomorphism vector satisfies the constant norm condition, leads to Einstein's equations of motion [6]. (iii) Evaluation of the surface term on the horizon yields the entropy. This is done by calculating first on a constant radial coordinate surface and then taking the horizon limit [7]. Moreover the Noether charge corresponding to the GHY term, calculated on the horizon (similar to the Wald charge associated with the EH action), leads to the entropy [8,9]. This has also been even tested successfully in the context of Virasoro algebra and Cardy formula [8,10]. (iv) In literature, often argued that the entropy is associated to the degrees of freedom around or on the relevant null surface rather than the bulk geometry of spacetime. All these instances indicates that either the surface term encodes all the information about the bulk or the surface action bears the dynamics of the system.
Considering the above facts, it is important to investigate if entropy function formalism can be developed purely from the surface or the boundary term of the action. In this paper I shall show that it is possible. The steps are identical to the original work [1,2]. The organization of the paper is as follows. In section 2, the GHY term and its relation to horizon entropy will be introduced. Next section will deal with the construction for the main formalism based on purely surface term. Here the entropy function will be constructed from the GHY action. The whole formalism will be applied in section 4 to find the entropy of the extremal near horizon Ressiner-Nordstrom solution. Final section will summarize the results and then conclude.

GHY surface term and relation to entropy
The usual EH action contains both first order and second order derivatives of the metric g ab . As a result, the arbitrary variation of the action leads to a boundary term which is composed of variations of the metric as well as the derivative of the metric. Therefore, to obtain the equation of motion by least action principle one has to impose both the Dirichlet and Neumann boundary conditions; i.e. we have to fix metric and derivative of the metric simultaneously at the boundary. Such a prescription is not well posed in physics. To avoid this discrepancy, people adds a surface term which helps to get rid of this kind of issue. Of course, there is no unique choice of the boundary term [5]. Most of the cases, people choose the GHY surface term, given originally by Gibbons, Hawking and York. This is defined on the timelike or spacelike surfaces and hence it is foliation dependent 1 . Inclusion of it leads to the fact that we have to fix only the induced metric, defined on the foliated surface, at the boundary to find the Einstein's equations of motion [7]. In this section, introducing the GHY term, I shall briefly discuss the relations between it and the horizon entropy of a black hole.
The GHY surface term is given by where ∂V is the three dimensional boundary surface of the four dimensional curved manifold M. It can be timelike or spacelike, depending on the value of ǫ. h (i) is the determinant of the induced metric on ∂V and K (i) is the second fundamental which is expressed in terms of the unit normal N a (i) to the boundary as Here "i" in the subscript denotes the kind of surface (spacelike or timelike) we are choosing and ǫ = +1 for timelike surface while ǫ = −1 for spacelike surface. Using Gauss's theorem (1) can be expressed as where N a (i) N a(i) = ǫ has been used. For the present context "i" denotes t = constant surface which is spacelike and r = constant, θ = constant, φ = constant surfaces which are timelike. Now it is well known that if one calculates the surface term (1) on a r = constant surface and then takes the horizon limit, it leads to the black hole entropy. To illuminate this fact, let me give a brief discussion on this. Consider, for simplicity, a static spherically symmetric non-extremal black hole of the form: whose horizon is given by f (r H ) = 0 = l(r H ). For the r = constant surface, integration in (1) will be on t, θ and φ. Here the determinant of the induced metric is h (r) = −r 4 f (r) sin 2 θ and the trace of the second fundamental turns out to be l which is independent of the coordinates of the surface. Also note that the periodicity of the Euclidean time is given by (2π)/κ where the surface gravity κ = f ′ (r H )l ′ (r H )/2. Using the above information and taking ǫ = +1 (as the r = constant surface is timelike) we obtain the following value of the GHY term in the near horizon limit: The integration range of time is taken to be the periodicity of the Euclidean time and A H is the horizon area. This shows that the GHY surface term is related to the horizon entropy.
On the other hand, A GHY | H can also be interpreted as the surface Hamiltonian by using the Hamilton-Jacobi result H sur = −(∂A GHY | H /∂t) [12]. This turns out to be H sur = T S BH where T = κ/2π is the Hawking temperature and S BH = A H /4G is the black hole entropy. Also it has been shown that the Noether charge corresponding to GHY term, calculated on the horizon for the timelike Killing vector, leads to entropy when multiplied by the periodicity of the Euclidean time [8,9]. The anti-symmetric potential for any diffeomorphism x a → x a + ξ a is given by Now calculation of the charge on the horizon for the metric (4) leads to where χ a = (1, 0, 0, 0) is the timelike Killing vector and σ is the determinant of the induced metric on the horizon. Multiplying it by the periodicity of the Euclidean time one obtains the entropy S BH = (2π/κ)Q H = A H /4G. The discussion, presented in this section, tells that the GHY surface term plays a major role to study the thermodynamics of gravity. In fact, many physical entities and several information of the theory can be extracted from this without any information of the bulk term. This has been already mentioned in the introductory part. In the next section I shall discuss the role of the surface term in the context of the entropy function and entropy of a ENH-BH.

Extremal near horizon black hole and entropy function from GHY term
To start with, let me introduce a brief discussion on the ENH-BH. Consider a theory where a four dimensional gravity theory is coupled to U (1) gauge fields A (j) a and neutral scalar fields {φ s }. So the total Lagrangian for our theory is L = L g + L m where first one is the gravity part while the last one is the matter part. In this case L m is given by ab F (j)ab + Lagrangian for the scalar fields , with F a . One spacial solution of this kind of theory is Reissner-Nordstrom (RN) black hole metric.
The extremal near horizon black hole solution, in general, takes the form as AdS 2 × S 2 . It is invariant under SO(2, 1) × SO(3) transformations. In four spacetime dimensions, one writes in the following way: where v 1 , v 2 , {u s }, {e j } and {p j } are constants. For U (1) case, e j and p j are electric field and magnetic charge, respectively. A detailed analysis to obtain the ENH-BH for RN solution is presented in [2]. Now define a function F ( u, v, e, p) by integrating the total Lagrangian density on the transverse (angular) coordinates for the extremal near horizon geometry (9). It has been mentioned in the introduction that one can obtain the Einstein's equations of motion from the total action which is composed of the GHY surface term and the matter part. Therefore (9) can be considered as a solution of the theory which is given by the total action L = L GHY + L m with L GHY = 1/(8πG)∇ a K (i) N a (i) and L m is the matter action, given by (8). Keeping this in mind we define the function as Use of the gauge field equations and the Bianchi identities for the full black hole solution lead to the following important results [1,2]: where the constant q j is identified as the electric charge and p j is the magnetic charge of the black hole. Also since the Einstein's equations of motion can be obtained by extremizing the GHY plus the matter action, it is obvious that the scalar and the metric field equations for the extremum near horizon geometry correspond to the extremization of F with respect to u and v, respectively; i.e. ∂F ∂u s = 0; ∂F ∂v j = 0 .
In order to find a relation between F and the entropy of the black hole, we define F λ ( u, v, e, p) by rescaling K (r) by λ; i.e. replacing K (r) by λK (r) with λ is a constant. Then taking differentiation on both sides with respect to λ and finally putting λ = 1, we obtain Since for the metric (9), only non-vanishing component of N a (r) is radial component, the above reduces to ∂F λ ( u, v, e, p) ∂λ Now for this metric one finds N r (r) = r/ √ v 1 and K (r) = −1/ √ v 1 . Substitution of them leads to Here σ is the determinant of the induced metric on t and r constant surface and the integration is performed on the horizon. Hence we can express the black hole entropy as Next consider following function by taking the Legendre's transformation of F ( u, v, e, p): In terms of E the equations of motion (12) and (11) are given by respectively. In the following using (16) and (18) I shall relate E with the black hole entropy. To do this, note that the Lagrangian L λ , which is achieved by replacing K (r) by λK (r) in the total Lagrangian (see Eq. (10)), is invariant under the scaling λ → sλ, v 1 → sv 1 and e j → se j where s is an arbitrary constant. Therefore, since √ −g ∼ v 1 , the function F λ ( u, v, e, p) is scaled as sF λ ( u, v, e, p). Hence F λ is a function of λ, v 1 and e j with degree one. So using Euler's theorem, we can write: Then taking λ = 1 and using (11) and the equations of motion (12), one obtains Hence use of (16) and (17) yields This implies the entropy of the extremal near horizon black hole is given by the value of E( u, v, q, p) at the extremum with the extremization is done by the set of equations (18). So the calculation of entropy for an extremal near horizon black hole reduces to a set of algebraic equations which are given by the relations, presented in (18). The steps are as follows. First calculate F ( u, v, e, p) using (10) to obtain E( u, v, q, p). Then extremize it, basically leads to (18), which in turn yields a set of algebraic equations. Use them back into the expression for E which yields the value of E at the extremum. This gives the entropy of the black hole. In the following I shall use this setup to find this for the metric (9).

Entropy from the entropy function
To calculate F we need to evaluate L GHY and L m . Here consider that (9) is the solution of the theory where the matter part is given by the action for the gauge fields only; i.e. it represents an extremal near horizon RN black hole. First concentrate on the GHY part. To proceed further write it in the following form: Now, note that the non-vanishing component of the unit normal N a (t) for the metric (9) is the temporal part. Similar happens for the other terms; i.e. only radial component of N a (r) is non-zero and so on. Hence the partial derivative in the first term of the above will be with respect to time. Since the metric is static, this leads to zero. In the identical way, the last term also vanishes. Only the second and the third terms will contribute to the gravity part. Use of On the other hand, the matter part leads to Substituting them in (10) and integrating on the angular variables we obtain Therefore, by (21), E turns out to be Then (18) leads to the following set of equations: Solutions of these are Substitution of the above values in (26) leads to the value of E at extremum, which is by (21) is the entropy of the black hole: This shows that an entropy function for the ENH-BH solutions can be constructed only from the GHY term which leads to the correct value of the horizon entropy.

Summary and Conclusions
In stead of looking at the full action, it has been demonstrated that the whole entropy function formalism can be developed just by considering the GHY surface term. The steps, adopted here, are identical to the original work of Sen [1,2]. The only difference occurred here in the action for the theory. I never borrowed any information of the main action, like EH action, in the sense that everything has been constructed based on the pure surface term. Another interesting feature to be noted that in defining the function F (see Eq. (10)), the Lagrangian density for GHY is taken to be covariant derivative over all coordinates. Usually GHY is defined on any timelike or spacelike surface; whereas in Eq. (10) the second fundamental and the normals are defined for the manifold whose boundary consists of one spacelike and three timelike surfaces. The correct result is coming when one considers all the contribution (see the analysis around Eq. (23)). A similar feature has been observed earlier [13] in interpreting the gravitational action as the inverse temperature times the free energy.
Earlier several instances showed that the surface term may reflects the most of the information of the bulk. So it would be interesting to investigate if there is any role of the surface term in the context of entropy function formalism. Here I precisely addressed this question and found that it is indeed possible. This again strengthens the fact that in gravitational theory these terms play a major part in the dynamics of the gravity in the sense that one can find the equations of motion by extremizing the entropy. Finally, the formalism is general enough to investigate for a general Lanczos-Lovelock theory. This is in progress [14].