A derivation of Noether current from the surface term of Einstein-Hilbert action is given. We show that the corresponding charge, calculated on the horizon, is related to the Bekenstein-Hawking entropy. Also using the charge, the same entropy is found based on the Virasoro algebra and Cardy formula approach. In this approach, the relevant diffeomorphisms are found by imposing a very simple physical argument: diffeomorphisms keep the horizon structure invariant. This complements similar earlier results (Majhi and Padmanabhan (2012)) (arXiv:1204.1422) obtained from York-Gibbons-Hawking surface term. Finally we discuss the technical simplicities and improvements over the earlier attempts and also various important physical implications.
1. Introduction
The thermodynamic properties of horizon arise from the combination of the general theory of relativity and the quantum field theory. This was first observed in the case of black holes [1, 2]. Now it is evident that it is much more general, and a local Rindler observer can attribute temperature and entropy to the null surfaces in the context of the emergent paradigm of gravity [3–6]. Such a generality might provide us a deeper insight into the quantum nature of the spacetime. So far several attempts have been made to know the microscopic origin of the entropy, but every method has its own merits and demerits. Among others, Carlip made an attempt [7, 8] in the context of Virasoro algebra to illuminate this aspect which is basically the generalisation of the method by Brown and Henneaux [9]. In brief, in this method one first defines a bracket among the Noether charges and calculate it for certain diffeomorphisms, chosen by some physical considerations. It turns out that the algebra is identical to the Virasoro algebra. The central charge and the zero mode eigenvalue of the Fourier modes of the charge are then automatically identified in which after substituting in the Cardy formula [10–12] one finds the Bekenstein-Hawking entropy. (For a complete list of works which lead to further development of this method, see [13–53].) In all the previous attempts, the Noether current was taken in relation to the Einstein-Hilbert (EH) action, and the analysis was on shell; that is, equation of motion has been used explicitly. Later an off shell analysis and a generalization to Lanczos-Lovelock gravity have been presented in [54].
Earlier [55], based on the Virasoro algebra approach, we showed that the entropy can also be obtained from the Noether current corresponding to the York-Gibbons-Hawking surface term. But it is not clear if the same can be achieved from the surface term of the Einstein-Hilbert action since they are not exactly identical. So it is necessary to investigate this issue in the light of Virasoro algebra context, particullary because both surface terms lead to the same entropy on the horizon. This will complement our earlier work [55].
In this paper we will use the Noether current associated with the surface term of EH action. Before going into the motivations for taking the surface term only, let us first highlight some peculiar facts of EH action which are essential for the present purpose.
It is an unavoidable fact that to obtain the equation of motion in the Lagrangian formalism one has to impose some extra prescription, like adding extra boundary term (in this case York-Gibbons-Hawking term). This is because the action contains second-order derivative of metric tensor gab. But unfortunately the choice of the surface term is not unique. This is quite different from other well-known field theories.
The EH action can be separated into two terms: one contains the squires of the Christoffel connections (i.e., it is in ΓΓ-ΓΓ structure) and the other one contains the total derivation of Γ (∂Γ-∂Γ structure). We will call them Lquad and Lsur, respectively. Interestingly, Einstein’s equation of motion can be obtained solely from Lquad by using the usual variation principle where no additional prescription is required [56].
The most important one is that these two terms are related by an algebraic relation, usually known as holographic relation [57, 58].
Interestingly, all the previous features happened to be common even for the Lanczos-Lovelock theory [59]. For a recent review in this direction, see [60].
Although an extensive study on the Noether current of gravity has been done starting from Wald et al. [61–63], discussion on the current derived from Lsur is still lacking. To motivate why one should be interested, let us summarise the already observed facts as follows.
It is expected that the entropy is associated with the degrees of freedom around or on the relevant null surface rather than the bulk geometry of spacetime.
This surface term calculated on the Rindler horizon gives exactly the Bekenstein-Hawking entropy [56].
Extremization of the surface term with respect to the diffeomorphism parameter whose norm is a constant leads to Einstein’s equation [57].
Another interesting fact is that, in a small region around an event, EH action reduces to a pure surface term when evaluated in the Riemann normal coordinates.
All these indicate that either the bulk and the surface terms are duplicating all the information or the actual dynamics is stored in surface term rather than in bulk term. To illuminate more on this issue, one needs to study every aspect of the surface term.
In this paper, we will discuss the Noether realization of the surface term of the EH action; particularly we will examine if the Noether current represents the Virasoro algebra for a certain class of diffeomorphisms. This is necessary to have a deeper understanding of the role of the surface term in the gravity. Also it will give a further insight into the earlier claim: the actual information of the gravity is stored in the surface. To do this explicitly, we will consider the form of the metric close to the null surface in the local Rindler frame around some event. This is given by the Rindler metric. The reasons for choosing such metric are as follows. According to equivalence principle, gravity can be mimicked by an accelerated observer, and an uniformly accelerated frame will have Rindler metric. Apart from that, it is a relevant frame for an observer sitting very near to the black hole horizon. Hence any thermodynamic feature of the null surface can be attributed by this metric, and it provides a general description which was originally obtained only for the black hole horizon. Moreover, all the quantities will be observer dependent.
In this paper we will proceed as follows. First a detailed derivation of the Noether current for a diffeomorphism xa→xa+ξa, corresponding to Lsur, will be given. This is important because it has not been done earlier, and therefore the properties of the current have not been explored. Here we will show that the corresponding charge Q[ξ], calculated on the null surface for ξa to be Killing, yields exactly one-quarter of the horizon area after multiplying it by 2π/κ, where κ is the acceleration of the observer or the surface gravity in the case of a black hole. Next, a definition of the bracket among the charges will be given. This will be done by taking variation of the charge Q[ξ1] for another transformation xa→xa+ξ2a. Finally, we need to calculate all these quantities for a particular diffeomorphism. To identify the relevant diffeomorphisms from which the algebra has to be constructed, following our earlier work [55], we use the criterion that the diffeomorphism should leave the near horizon form of the metric invariant in some nonsingular coordinate system. This will lead to a set of diffeomorphism vectors for which the Fourier components of the bracket among the charges will be exactly similar to Virasoro algebra. It is then very easy to identify the zero mode eigenvalue and the central extension. Substitution of all these values in the Cardy formula [10–12] will yield exactly the Bekenstein-Hawking entropy [1, 2]. A similar analysis was done in [53] based on the Noether current corresponding to Lbulk [64–66]. In this calculation, to obtain the correct value of the entropy, a particular boundary condition (Dirichlet or Neumann) was used. But its physical significance is not well understood.
Before going into the main calculation, let us summarize the main features of the present analysis.
The first is the technical aspect. To obtain the correct entropy, in most of the earlier works, one had to either shift the zero mode eigenvalue [8] or choose a parameter contained in the Fourier modes of ξa as the surface gravity κ [53] or both [54]. Here we will show that none of the ad hoc prescriptions will be required.
The important one is the simplicity of the criterion (near horizon structure of the metric remains invariant in some nonsingular coordinate system) to find the relevant diffeomorphisms for which we obtain the Virasoro algebra. This was first introduced by us [55] in this context. The significance of this choice is that the full set of diffeomorphism symmetry of the theory is now reduced to a subset which respects the existence of horizon in a given coordinate system. Hence it may happen that some of the original gauge degrees of freedom (which could have been eliminated by certain diffeomorphisms which are now disallowed) now being effectively upgraded to physical degrees of freedom as far as a particular class of observers are concerned. So all the thermodynamic quantities, attributed to the horizon, become observer dependent.
In the present analysis we will not need any use of boundary condition like Dirichlet or Neumann to obtain the exact form of the entropy.
Since our analysis will be completely based on Lsur, where no information about Lbulk is needed, it will definitely illuminate the emergent paradigm of gravity, particularly the holographic aspects in the action.
We will discuss later more on different aspects and significance of our results.
The organization of the paper is as follows. In Section 2, the derivation of the Noether current for the Lsur will be presented explicitly. Next we will give the definition of the bracket among the charges and the relevant diffeomorphisms based on the invariance of horizon structure criterion. Section 4 will be devoted to show that the Fourier mode of the bracket is exactly like the Virasoro algebra which by the Cardy formula will lead to Bekenstein-Hawking entropy. Finally, we will conclude.
2. Derivation of Noether Current from the Surface Term of Einstein-Hilbert Action
In this section, a detailed derivation of the Noether current and the potential corresponding to the surface term of EH action will be presented. Then we will calculate the charge on the Rindler horizon.
The Lagrangian corresponding to the surface term is given by [56]
(1)Lsur=∂a(-gSa),
where
(2)Sa=2QckadgbkΓbdc,Qckad=12(δcaδkd-δkaδcd).
Here the normalization 1/16πG is omitted and it will be inserted where necessary. Now our task is to find the variations of both sides of (1) for a diffeomorphism x′a=xa+ξa and then equate them. The variation we will consider here is the Lie variation which is defined, in general, as
(3)δA=A(x′)-A′(x′),
where A(x′)=A(x+ξ)=A(x)+ξa∂aA(x) and A(x) and A′(x′) are evaluated in two different coordinate systems x and x′, respectively. In the following, for the notational simplicity, we will denote A(x) as A.
The variation of the right-hand side of (1) is given by
(4)δLsur=∂a[δ(-gSa)]=∂a[Saδ(-g)+-gδSa]=∂a[Sa2-ggbcδgbc+-gδSa].
Since gab is a tensor, for the Lie variation, δgab is expressed by the Lie derivative and is given by
(5)δgab=∇aξb+∇bξa.
Therefore,
(6)δLsur=∂a[Sa∂b(-gξb)+-gδSa].
On the other hand, since Sa is not a tensor, its variation cannot be expressed by simple Lie derivative. To find δSa we will use the general definition (3). Let us first calculate S′a(x′). Under the change x′a=xa+ξa we have
(7)∂x′a∂xb=δba+∂bξa,∂xb∂x′a=δab-∂aξb.
Here we considered infinitesimal change, and so the terms from ∂ξ∂ξ have been ignored. This will be followed in later analysis. Hence,
(8)Γbc′a(x′)=Γbca-Γbda∂cξd-Γcda∂bξd+Γbcd∂dξa-∂b∂cξa,g′bk(x′)=gbk+gbf∂fξk+gkf∂fξb,Qck′ad(x′)=Qckad.
Substitution of these in S′a(x′)=2Qck′ad(x′)g′bk(x′)Γbd′c(x′) leads to
(9)S′a(x′)=Sa+Sb∂bξa-gbd∂b∂dξa+gab∂b∂cξc.
Another one is given by
(10)Sa(x′)=Sa(xb+ξb)=Sa+ξb∂bSa.
Therefore, according to (3), the Lie variation of Sa due to the diffeomorphism is
(11)δSa=Sa(x′)-S′a(x′)=ξb∂bSa-Sb∂bξa+Ma,
where
(12)Ma=gbd∂b∂dξa-gab∂b∂cξc.
Substituting this in (6) we obtain the variation of right-hand side of (1) as
(13)δLsur=∂a[∂b(-gSaξb)--gSb∂bξa+-gMa].
Next we find the variation of left-hand side of (1), that is, Lsur. For this we will start from the following relation:
(14)Lsur=-g(Lg-Lquad),
where
(15)Lg=R;Lquad=2QabcdΓdkaΓbck,
with Qabcd=(1/2)(δacgbd-δadgbc). Since Lg is a scalar, by the definition of Lie derivative, δLg=ξa∂aLg. Therefore using (5) we find
(16)δLsur=δ(-gLg)-δ(-gLquad)=∂a(-gξaLg)-∂a(-gξa)Lquad--gδLquad=∂a[-gξa(Lg-Lquad)]+-gξa∂aLquad--gδLquad=∂a(ξaLsur)+-gξa∂aLquad--gδLquad.
To find δLquad, we will proceed as earlier. Under the change x′a=xa+ξa, Lquad′(x′) is calculated as
(17)Lquad′(x′)=2Qa′bcd(x′)Γdk′a(x′)Γbc′k(x′)=Lquad+gbcΓbck∂d∂kξd+gbcΓdkd∂b∂cξk-gbdΓdkc∂b∂cξk,
where (8) has been used. This can be expressed in terms of Ma in the following way. The second term on the right-hand side can be expressed in the following form:
(18)-ggbcΓbck∂d∂kξd=[-ggbcgak∂bgac-gak∂a(-g)]∂d∂kξd=-∂a(-ggak)∂d∂kξd,
where in the above we used gbcgak∂bgac=-∂agak. The third term of (17) reduces to
(19)-ggbcΓdkd∂b∂cξk=∂k(-g)gbc∂b∂cξk.
Similarly, the last term can be expressed as
(20)2-ggbdΓdkc∂b∂cξk=-ggbdgca∂kgad∂b∂cξk=--g∂k(gbc)∂b∂cξk,
where in the last line gbdgca∂kgad=-∂kgbc has been used. Substituting all these in (17) we obtain
(21)Lquad′(x′)=Lquad-1-g[∂a(-ggak)∂d∂kξd+∂k(-ggbc)∂b∂cξk]=Lquad+1-g∂a(-gMa).
On the other hand,
(22)Lquad(x′)=Lquad(xa+ξa)=Lquad+ξa∂aLquad.
Hence,
(23)-gδLquad=-gLquad(x′)--gLquad′(x′)=-gξa∂aLquad-∂a(-gMa).
Substituting this in (16) we obtain
(24)δLsur=∂a(ξaLsur+-gMa).
Now equating (13) and (24) we obtain ∂aJa[ξ]=0, where the conserved Noether current Ja[ξ] is given by
(25)Ja[ξ]=-∂b(-gSaξb)+-gSb∂bξa+ξaLsur.
Finally, using Lsur=∂a(-gSa) in the above, we can express the current as the divergence of an antisymmetric two-index quantity:
(26)Ja[ξ]=∂b[-g(ξaSb-ξbSa)]=∂b[-gJab[ξ]].
It is evident that the anti-symmetric object Jab[ξ] is not a tensor and it is usually called the Noether potential. Therefore, inserting the proper normalization, the charge is given by
(27)Q[ξ]=132πG∫ℋdΣabhJab[ξ],
where dΣab=-d2x(NaMb-NbMa) is the surface element of the 2-dimensional surface ℋ and h is the determinant of the corresponding metric. Since our present discussion will be near the horizon, we choose the unit normals Na and Ma as spacelike and timelike, respectively.
Now we will calculate charge (27) explicitly on the horizon. This will be done by considering the form of the metric near the horizon:
(28)ds2=-2κxdt2+12κxdx2+dx⊥2,
where x⊥ represents the transverse coordinates. The metric has a timelike Killing vector χa=(1,0,0,0) and the Killing horizon is given by χ2=0; that is, x=0. The nonzero Christoffel connections are
(29)Γtxt=12x,Γttx=2κ2x,Γxxx=-12x.
For metric (28) we find
(30)Na=(0,2κx,0,0),Ma=(12κx,0,0,0),
and hence dΣtx=-d2x. Also, (2) yields
(31)St=0,Sx=-2κ.
Therefore,
(32)Jtx=(ξtSx-ξxSt)=-2κξt.
Now if ξa is a Killing vector, then ξt=χt=1, and so calculating charge (27) explicitly we find
(33)Q[ξ=χ]=κA⊥8πG,
where A⊥=∫ℋd2x is the horizon cross-section area. Multiplying it by the periodicity of time coordinate 2π/κ we obtain exactly the entropy: one-quarter of horizon area. Moreover, the above can be expressed as Q[ξ=χ]=TS, where T=κ/2π is the temperature of the horizon and S=A⊥/4G is the entropy. Therefore one can call it the Noether energy. Such interpretaion was done earlier in [67, 68].
So far we found that the Noether charge corresponding to the surface term of EH action alone led to the entropy of the Rindler horizon. This was shown earlier for the charge coming from the total EH action [61–63]. Therefore, the present analysis revealed that it may be possible that the information is actually encoded in the surface term rather than the bulk term. Then the natural question arises: what are the degrees of freedom responsible for this entropy? So far they are not known. In the next couple of sections we will give an idea on the nature of the possible degrees of freedom in the context of Virasoro algebra and Cardy formula.
3. Bracket among the Charges and the Diffeomorphism Generators
In the previous section, we have given the expression for the charge (see (27)) for an arbitrary diffeomorphism. Here we will define the bracket among the charges. The relevant diffeomorphisms will be chosen by imposing a minimum condition on the spacetime metric. The charge and the bracket will be then expressed in terms of these generators.
We will find the bracket following our earlier works [54, 55]. For this let us first calculate the following:
(34)δξ1(-gJab[ξ2])=δξ1(-g)Jab[ξ2]+-gδξ1(Jab[ξ2])=-12-ggmnδξ1gmnJab[ξ2]+-g[(δξ1ξ2a)Sb+ξ2a(δξ1Sb)-(a⟷b)].
Using
(35)δξgab=£ξgab=-∇aξb-∇bξa,δξΓbca=∇b∇cξa+Rcmbaξm,
and in addition the expression for Sa, given by (2), we obtain
(36)δξ1(-gJab[ξ2])=-g[∇mξ1mJab[ξ2]+{(ξ1m∇mξ2a-ξ2m∇mξ1a)Sb2+ξ2a(-2Γmnb∇mξ1n+∇m∇mξ1b+2Rmbξ1m22-Γnmn(∇bξ1m+∇mξ1b)-∇m∇bξ1m)2-(a⟷b)(ξ1m∇mξ2a-ξ2m∇mξ1a)Sb}∇mξ1mJab].
For the present metric (28), g=-1, Rba=0, and hence -gΓnmn=∂m(-g)=0. Therefore
(37)δξ1(-gJab[ξ2])=[∇mξ1mJab[ξ2]2+116πG{(ξ1m∇mξ2a-ξ2m∇mξ1a)Sb+ξ2a(-2Γmnb∇mξ1n+∇m∇mξ1b-∇m∇bξ1m)-(a⟷b)(ξ1m∇mξ2a-ξ2m∇mξ1a)Sb}∇mξ1mJab]≡K12ab.
Finally we define a bracket as
(38)[Q[ξ1],Q[ξ2]]:=12∫ℋdΣabh[K12ab-(1⟷2)],
which for the present metric (28) reduces to
(39)[Q[ξ1],Q[ξ2]]:=-∫ℋd2x[K12tx-(1⟷2)].
To calculate the above bracket we need to know about the generators ξa. We will determine them by using the condition that the horizon structure remains invariant in some nonsingular coordinate system. For that let us first express metric (28) in Gaussian null (or Bondi like) coordinates:
(40)du=dt-dx2κx,dX=dx.
In these coordinates the metric reduces to the following form:
(41)ds2=-2κXdu2-2dudX+dx⊥2.
Now impose the condition that the metric coefficients gXX and guX do not change under the diffeomorphism; that is,
(42)£ξ~gXX=0,£ξ~guX=0,
where £ξ~ is the Lie derivative along the vector ξ~. These lead to
(43)£ξ~gXX=-2∂Xξ~u=0,£ξ~guX=-∂uξ~u-2κX∂Xξ~u-∂Xξ~X=0.
The solutions are
(44)ξ~u=F(u,x⊥),ξ~X=-X∂uF(u,x⊥).
The condition £ξ~guu=0 is automatically satisfied near the horizon, because use of the above solutions leads to £ξ~guu=𝒪(X). These conditions appeared earlier in [69] in the context of late time symmetry near the black hole horizon. Finally expressing (44) in the old coordinates (t,x) we find
(45)ξt=T-12κ∂tT,ξx=-x∂tT,
where T(t,x,x⊥)=F(u,x⊥).
Next we calculate K12tx from (37) for the present case. Since St=0, we find
(46)K12tx=∇mξ1mξ2tSx+(ξ1m∇mξ2t-ξ2m∇mξ1t)Sx+ξ2t(-2Γmnx∇mξ1n+∇m∇mξ1x-∇m∇xξ1m)-ξ2x(-2Γmnt∇mξ1n+∇m∇mξ1t-∇m∇tξ1m).
Now since the integration (39) will ultimately be evaluated on the horizon, we will find the value of each term of the above very near to the horizon. Therefore, using (29), (31), and the form of the generators (45) we obtain the values of each term of the above expression near the horizon x=0 as
(47)∇mξ1mξ2tSx=T2∂t2T1-12κ∂t2T1∂tT2,ξ1m∇mξ2tSx=-κT1∂tT2+κT2∂tT1+T1∂t2T2-12κ∂tT1∂t2T2,-ξ2m∇mξ1tSx=κT2∂tT1-κT1∂tT2-T2∂t2T1+12κ∂tT2∂t2T1,-2ξ2tΓmnx∇mξ1n=-T2∂t2T1+12κ∂2T1∂tT2,ξ2t∇m∇mξ1x=12κT2∂t3T1-14κ2∂t3T1∂tT2-2κT2∂tT1+∂tT1∂tT2+T2∂t2T1-12κ∂t2T1∂tT2,-ξ2t∇m∇xξ1m=0,2ξ2xΓmnt∇mξ1n=-12κ∂t2T1∂tT2-2κx∂xT1∂tT2,-ξ2x∇m∇mξ1t=14κ2∂t3T1∂tT2,ξ2x∇m∇tξ1m=-14κ2∂t3T1∂tT2.
So near the horizon (46) reduces to
(48)K12tx=-2κT1∂tT2+T1∂t2T2-12κ(∂tT1∂t2T2+∂t2T1∂tT2)+12κT2∂t3T1+∂tT1∂tT2-14κ2∂3T1∂tT2.
Substituting this in (39) and inserting the normalization factor, we obtain the expression for the bracket
(49)[Q[ξ1],Q[ξ2]]≔116πG∫ℋd2x[14κ22κ(T1∂tT2-T2∂tT1)-(T1∂t2T2-T2∂t2T1)+12κ(T1∂t3T2-T2∂t3T1)+14κ2(∂t3T1∂tT2-∂t3T2∂tT1)].
Similarly, (27) yields
(50)Q[ξ]=18πG∫d2x(κT-12∂tT).
A couple of comments are in order. It must be noted that, in finding the expression for bracket (49), no use of boundary conditions (Dirichlet or Neumann) has been used. Earlier this was used for the case of Lbulk to throw away the noncovariant terms in the bracket without giving any physical meaning [53]. Also, we did not use the condition δξ1ξ2a=0 (see (34)) which was adopted in earlier works. For instance, see [8, 53]. This is logically correct since δξ1ξ2a=0 contradicts the algebra among the Fourier modes of the diffeomorphisms (see (52), in next section).
4. Virasoro Algebra and Entropy
In this section, the Fourier modes of the bracket and the charge will be found out. We will show that for a particular ansatz for the Fourier modes of the generators will lead to the Virasoro algebra. Finally using the Cardy formula, the entropy will be calculated.
Consider the Fourier decompositions of T1 and T2:
(51)T1=∑mAmTm,T2=∑nBnTn,
where Am*=A-m and Bn*=B-n. The Fourier modes Tm will be chosen such that the Fourier modes of the diffeomorphisms (44) obey one subalgebra isomorphic to Diff. S1:
(52)i{ξm,ξn}a=(m-n)ξm+na,
where {,} is the Lie bracket. Now with the use of (51), let us first find the Fourier modes of bracket (49) and charge (50). Substitution of (51) in (49) yields
(53)[Q[ξ1],Q[ξ2]]≔∑m,nCm,n16πG∫ℋd2x[14κ22κ(Tm∂tTn-Tn∂tTm)-(Tm∂t2Tn-Tn∂t2Tm)+12κ(Tm∂t3Tn-Tn∂t3Tm)+14κ2(∂t3Tm∂tTn-∂t3Tn∂tTm)],
where Cm,n=AmBn and so Cm,n*=C-m,-n. Next defining the Fourier modes of [Q[ξ1],Q[ξ2]] as
(54)[Q[ξ1],Q[ξ2]]=∑m,nCm,n[Qm,Qn],
we find
(55)[Qm,Qn]≔116πG∫ℋd2x[14κ22κ(Tm∂tTn-Tn∂tTm)-(Tm∂t2Tn-Tn∂t2Tm)+12κ(Tm∂t3Tn-Tn∂t3Tm)+14κ2(∂t3Tm∂tTn-∂t3Tn∂tTm)].
Similarly from (50), the Fourier modes of the charge are given by
(56)Qm=18πG∫d2x(κTm-12∂tTm),
where Q[ξ]=∑mAmQm. It must be noted that the present expression (56) is exactly identical to that obtained in [55] for the York-Gibbons-Hawking surface term, whereas the other expression (55) is different by a total derivative term. This may be because these two surface terms are not exactly the same. But we will show that final result for the bracket is identical to the earlier analysis, because the total derivative term will not contribute to an ansatz for Tm.
To calculate the previous expressions (55) and (56) explicitly we need to have Tm’s. Following the earlier arguments, we choose
(57)Tm=1αeim(αt+g(x)+p·x⊥)
such that they satisfy algebra (52). Here α is a constant, p is an integer, and g(x) is a function which is regular at the horizon. This is a standard choice in these computations and has been used several times in the literature [7, 8, 53]. It must be noted that the transverse directions are noncompact due to our Rindler approximations and so we will assume that Tm is periodic in the transverse coordinates with the periodicities Ly and Lz on y and z, respectively. Now substituting (57) in (55) and (56) and then integrating over the cross-sectional area A⊥=LyLz, we obtain
(58)Qm=A⊥8πGκαδm,0,(59)i[Qm,Qn]:=A⊥8πGκα(m-n)δm+n,0+n3A⊥16πGακδm+n,0.
Using (58), (59) can be reexpressed as
(60)i[Qm,Qn]:=(m-n)Qm+n+n3A⊥16πGακδm+n,0.
This is exactly identical to Virasoro algebra with the central charge C being identified as
(61)C12=A⊥16πGακ.
The zero mode eigenvalue is evaluated from (58) for m=0:
(62)Q0=A⊥8πGκα.
Finally using the Cardy formula [10–12], we obtain the entropy as
(63)S=2πCQ06=A⊥4G,
which is exactly the Bekenstein-Hawking entropy.
5. Conclusions
It has already been observed that several interesting features and pieces of information can be obtained from the surface term without incorporating the bulk term of the gravity action. In this paper we studied the surface term of the Einstein-Hilbert (EH) action in the context of Noether current. So far we know that this has not been attempted before. First the current was derived for an arbitrary diffeomorphism by using Noether prescription. Then we showed that the charge evaluated on the horizon for a Killing vector led to the Bekenstein-Hawking entropy after multiplying it by 2π/κ. But till now, it is not known about the degrees of freedom responsible for the entropy. Here we addressed the issue and tried to shed some light. This has been discussed in the context of Virasoro algebra and Cardy formula.
In this paper, we defined the bracket among the charges. It was done, in the sprite of our earlier works [54, 55], by taking the variation of the Noether potential Jab[ξ1] for a different diffeomorphism xa→xa+ξ2a and then an anti-symmetric combination between the indices 1 and 2 and integrating over the horizon surface. To achieve the final form, we did not use Einstein’s equation of motion or any ambiguous prescription, like vanishing of the variation of diffeomorphism parameter ξa, certain boundary conditions (e.g., Dirichlet or Neumann), and so forth. For explicit evaluation of our bracket, the spacetime was considered as the Rindler metric. The relevant diffeomorphisms were identified by using a very simple, physically motivated condition: the diffeomorphisms keep the horizon structure of the metric invariant in some nonsingular coordinate system. It turned out that the Fourier modes of the bracket are similar to the Virasoro algebra. Identifying the central charge and the zero mode eigenvalue and then using these in Cardy formula, we obtained exactly the Bekenstein-Hawking entropy.
Let us now discuss in details what we have achieved in this paper. We first tabulate a couple of technical points.
To obtain the exact expression for entropy we did not need any hand waving prescriptions, like shifting of the value of the zero mode eigenvalue or the specific choice of the value of the parameter α that appeared in Fourier modes of T or both.
The relevant diffeomorphisms for invariance of the horizon structure can be obtained by various ways. Here our idea was to impose minimum constraints so that the bracket led to Virasoro algebra. It is also possible to have other choices of constraints to find the vectors ξa. For instance, the whole metric is invariant, and the diffeomorphisms come out to be the Killing vectors which in general do not exist for a general spacetime.
Finally, we discuss several conceptual aspects. The analysis presents a nice connection between the horizon entropy and the degrees of freedom which are responsible for it. In the usual cases, one always find that the concepts of degrees of freedom and entropy are absolute. These do not have any observer-dependent description. But in the case of gravity, as we know, the notion of temperature and entropy is observer dependent, and hence one can expect that the degrees of freedom may not be absolute. Here we showed that a certain class of observers which can see the horizon and keep the horizon structure invariant always attribute entropy. This signifies the fact that, among all the diffeomorphisms, some of them upgraded to real degrees of freedom which were originally gauge degrees of freedom and they have observer-dependent notion. Also, everything we achieved here was done from surface term. This again illustrates the holographic nature of the gravity actions—either the bulk and the surface terms may duplicate the same information or the surface term alone contains all the information about the theory of gravity. Moreover, the methodology is general enough to discuss other theories of gravity.
Acknowledgment
The author thanks T. Padmanabhan for several useful discussions.
BekensteinJ. D.Black holes and entropy197378233323462-s2.0-3375048576510.1103/PhysRevD.7.2333HawkingS. W.Black hole explosions?1974248544330312-s2.0-3694905123010.1038/248030a0PadmanabhanT.Thermodynamical aspects of gravity: new insights20107310.1088/0034-4885/73/4/046901046901PadmanabhanT.Lessons from classical gravity about the quantum structure of spacetime201130601200110.1088/1742-6596/306/1/012001BanerjeeR.MajhiB. R.Statistical origin of gravity20108112400610.1103/PhysRevD.81.124006MajhiB. R.Emergent gravity: from statistical point of view201240501202010.1088/1742-6596/405/1/012020CarlipS.Black hole entropy from conformai field theory in any dimension19998214282828312-s2.0-17244377821CarlipS.Entropy from conformal field theory at killing horizons19991610332733482-s2.0-003324057010.1088/0264-9381/16/10/322BrownJ. D.HenneauxM.Central charges in the canonical realization of asymptotic symmetries: an example from three dimensional gravity198610422072262-s2.0-1804438568110.1007/BF01211590CardyJ. L.Operator content of two-dimensional conformally invariant theories1986270218620410.1016/0550-3213(86)90552-3MR845940ZBL0689.17016BlöteH. W. J.CardyJ. L.NightingaleM. P.Conformal invariance, the central charge, and universal finite-size amplitudes at criticality19865677427452-s2.0-3374474702610.1103/PhysRevLett.56.742CarlipS.What we don't know about BTZ black hole entropy19981511360936252-s2.0-003235659510.1088/0264-9381/15/11/020SolodukhinS. N.Conformal description of horizon's states19994543-421322210.1016/S0370-2693(99)00398-6MR1695764ZBL1009.83514BrusteinR.Causal boundary entropy from horizon conformal field theory200186457657910.1103/PhysRevLett.86.576MR1813575DiasG. A. S.LemosJ. P. S.Conformal entropy from horizon states: Solodukhin's method for spherical, toroidal, and hyperbolic black holes in D-dimensional anti-de Sitter spacetimes200674410.1103/PhysRevD.74.044024MR2274587044024BanerjeeR.GangopadhyayS.KulkarniS.Hawking radiation and near horizon universality of chiral Virasoro algebra201042122865287110.1007/s10714-010-1028-yMR2738043ZBL1205.83035MajhiB. R.Gravitational anomalies and entropy201345234535710.1007/s10714-012-1474-9MR3018860ZBL1261.83027LinF.-L.WuY.-S.Near-horizon Virasoro symmetry and the entropy of de Sitter space in any dimension19994533-422222810.1016/S0370-2693(99)00340-8MR1694925ZBL1009.83506SolovievV. O.Black hole entropy from Poisson brackets: demystification of some calculations200061210.1103/PhysRevD.61.027502MR1739138027502NatsuumeM.OkamuraT.SatoM.Three-dimensional gravity with a conformal scalar field and asymptotic Virasoro algebra2000611010.1103/PhysRevD.61.104005MR1790757104005NavarroD. J.Navarro-SalasJ.NavarroP.Holography, degenerate horizons and entropy20005801-231133010.1016/S0550-3213(00)00244-3MR1770570ZBL0992.83035JingJ.YanM.-L.Entropies of rotating charged black holes from conformal field theory at Killing horizons2000621010.1103/PhysRevD.62.104013MR1796739104013DasS.GhoshA.MitraP.Statistical entropy of Schwarzschild black strings and black holes20016322-s2.0-003586224110.1103/PhysRevD.63.024023024023MR1818148JingJ.YanM.-L.Statistical entropy of a stationary dilaton black hole from the Cardy formula200163210.1103/PhysRevD.63.024003MR1818131024003TerashimaH.The Brown-Henneaux's central charge from the path-integral boundary condition20014991-222923210.1016/S0370-2693(01)00037-5MR1817759ZBL0972.81075HottaM.SasakiK.SasakiT.Diffeomorphism on the horizon as an asymptotic isometry of the Schwarzschild black hole20011810182318342-s2.0-003553153510.1088/0264-9381/18/10/301TerashimaH.Path integral derivation of the Brown-Henneaux central charge200164610.1103/PhysRevD.64.064016MR1857418064016KogaJ.-i.Asymptotic symmetries on Killing horizons2001641210.1103/PhysRevD.64.124012MR1878181124012ParkM.-I.The Hamiltonian dynamics of bounded spacetime and black hole entropy: the canonical method20026341-233936910.1016/S0550-3213(02)00292-4MR1910101CarlipS.Near-horizon conformal symmetry and black hole entropy2002882410.1103/PhysRevLett.88.241301MR1920711241301CvitanM.PalluaS.PresterP.Horizon conformal entropy in Gauss-Bonnet gravity20025461-211912510.1016/S0370-2693(02)02665-5MR1938573ZBL0998.83031GiacominiA.PinamontiN.Black hole entropy from classical Liouville theory2003210.1088/1126-6708/2003/02/014MR1976897PinamontiN.VanzoL.Central charges and boundary fields for two-dimensional dilatonic black holes200469810.1103/PhysRevD.69.084012MR2095082084012MedvedA. J. M.MartinD.VisserM.Dirty black holes: spacetime geometry and near-horizon symmetries20042113311131252-s2.0-314261539410.1088/0264-9381/21/13/003KangG.KogaJ.-I.ParkM.-I.Near-horizon conformal symmetry and black hole entropy in any dimension20047022-s2.0-3764902826110.1103/PhysRevD.70.024005024005GiacominiA.Poisson algebra of diffeomorphism generators in a spacetime containing a bifurcation2004702-s2.0-4274910389610.1103/PhysRevD.70.04400544005CarlipS.Horizon constraints and black-hole entropy20052271303131110.1088/0264-9381/22/7/007MR2132326ZBL1064.83034CarlipS.Conformal field theory, (2 + 1)-dimensional gravity and the BTZ black hole20052212R85R1232-s2.0-2124447226910.1088/0264-9381/22/12/R01CarlipS.Black hole thermodynamics from euclidean horizon constraints20079922-s2.0-3454732035710.1103/PhysRevLett.99.021301021301CarlipS.Symmetries, horizons, and black hole entropy20073910151915232-s2.0-3454833715810.1007/s10714-007-0467-6CarlipS.Symmetries, horizons, and black hole entropy200817659664CaoL.-M.MatsuoY.TsukiokaT.YooC.-M.Conformal symmetry for rotating D-branes200967943903952-s2.0-6894914909110.1016/j.physletb.2009.07.069RodriguezL.YildirimT.Entropy and temperature from black-hole/near-horizon-CFT duality201027152-s2.0-7795379518110.1088/0264-9381/27/15/155003155003ButtonB. K.RodriguezL.WhitingC. A.A near horizon CFT dual for Kerr-Newman-AdS2011263077ChungH.Dynamics of diffeomorphism degrees of freedom at a horizon20118382-s2.0-7996078678210.1103/PhysRevD.83.084017084017CvitanM.PalluaS.PresterP.Entropy of killing horizons from virasoro algebra in D-dimensional extended Gauss-Bonnet gravity20035553-42482542-s2.0-003742179810.1016/S0370-2693(03)00082-0CvitanM.PalluaS.PresterP.Conformal entropy as a consequence of the properties of stationary Killing horizons200470810.1103/PhysRevD.70.084043MR2117138084043CvitanM.PalluaS.Conformal entropy for generalized gravity theories as a consequence of horizon properties2005711010.1103/PhysRevD.71.104032MR2152809104032ParkM.-I.HoJ.Comment on: ‘Black hole entropy from conformal field theory in any dimension’19998326559510.1103/PhysRevLett.83.5595MR1736883CarlipS.Reply to the comment by Park and Ho1999835596ParkM.-I.YeeJ. H.Comment on “Entropy of 2D black holes from counting microstates”20006182-s2.0-33750661462088501DreyerO.GhoshA.WiśniewskiJ.Black hole entropy calculations based on symmetries200118101929193810.1088/0264-9381/18/10/308MR1832835ZBL0981.83035SilvaS.Black-hole entropy and thermodynamics from symmetries200219153947396110.1088/0264-9381/19/15/306MR1921407ZBL1003.83016MajhiB. R.PadmanabhanT.Noether current, horizon Virasoro algebra, and entropy20128582-s2.0-8486043617910.1103/PhysRevD.85.084040084040MajhiB. R.PadmanabhanT.Noether current from the surface term of gravitational action, Virasoro algebra and horizon entropy201286101501PadmanabhanT.2010chapter 15Cambridge, UKCambridge University PressPadmanabhanT.Holographic gravity and the surface term in the Einstein-Hilbert action20053523623722-s2.0-22544485375MukhopadhyayA.PadmanabhanT.Holography of gravitational action functionals2006741210.1103/PhysRevD.74.124023MR2288140124023KolekarS.PadmanabhanT.Holography in action20108210.1103/PhysRevD.82.024036024036PadmanabhanT.Structural aspects of gravitational dynamics and the emergent perspective of gravity20121483212238WaldR. M.Black hole entropy is the Noether charge1993488R3427R343110.1103/PhysRevD.48.R3427MR1242510ZBL0942.83512IyerV.WaldR. M.Some properties of the Noether charge and a proposal for dynamical black hole entropy199450284686410.1103/PhysRevD.50.846MR1288716WaldR. M.ZoupasA.General definition of “conserved quantities” in general relativity and other theories of gravity200061810.1103/PhysRevD.61.084027MR1791407ZBL1136.83317084027JuliaB.SilvaS.Currents and superpotentials in classical gauge-invariant theories: I. Local results with applications to perfect fluids and general relativity1998158217322152-s2.0-003237041810.1088/0264-9381/15/8/006JuliaB.SilvaS.Currents and superpotentials in classical gauge theories: II. Global aspects and the example of affine gravity20001722473347432-s2.0-003470006510.1088/0264-9381/17/22/312SilvaS.Brane-world charges20011881577159110.1088/0264-9381/18/8/313MR1826978ZBL0984.83047AshworthM. C.HaywardS. A.Boundary terms and Noether current of spherical black holes199960810.1103/PhysRevD.60.084004MR1718521084004PadmanabhanT.Equipartition energy, Noether energy and boundary term in gravitational action201244102681268610.1007/s10714-012-1418-4MR2970618ZBL1255.83022TanabeK.ShiromizuT.KinoshitaS.Late-time symmetry near black hole horizons20128522-s2.0-8485673813910.1103/PhysRevD.85.024048024048