Extreme Black Holes is an important theoretical laboratory for exploring the nature of entropy. We suggest that this unusual nature of the extremal limit could explain the entropy of extremal Kerr black holes. The time-independence of the extremal black hole, the zero surface gravity, the zero entropy and the absence of a bifurcate Killing horizon are all related properties that define and reduce to one single unique feature of the extremal Kerr spacetime. We suggest the presence of a true geometric discontinuity as the underlying cause of a vanishing entropy.
One of the most remarkable ideas in black hole theory is the analogy between the laws of classical black hole mechanics and the laws of thermodynamics.
Black hole thermodynamics has become an active area of research since Bekenstein showed that the entropy of a black hole is proportional to the area of the horizon [
Our analysis reveals a purely geometrical disparity between the extreme and near extreme Kerr geometries, due to the singular nature of extreme regime. In other words, the approach to extremality is not continuous. The nature of the extremal Kerr metric is very different from other stationary solutions. We focus on relating the entropy of extremal Kerr black holes strictly to their geometric structure. Any classical method involving a finite number of steps used for the extremal case leads to subtle inconsistencies like a vanishing entropy and zero surface gravity while the area of the event horizon still remains positive. Using the near-extremal limit to evaluate the black hole entropy leads to major discontinuities.
Our aim is to understand this discontinuity working solely on pure geometric grounds. The discontinuous nature of entropy during the transition from non-extremal to extremal black hole is directly connected with a discontinuous topological nature of the horizon. The entropy of extremal black holes can’t be determined as a limit of the non-extremal case. The geometry of the extreme black holes could shed some light on understanding black hole entropy in general. Extremal black holes can’t be regarded as limits of non-extremal black holes due to this discontinuity. We suggest that the reason for this discontinuity is that non-extremal and extremal black holes are topologically different and the switch from one to another can’t be done in a continuous manner. In this paper we study various properties of extreme Kerr black holes to expose the underlying topological nature of the discrepancy between extreme and non-extreme regimes.
It is well known that Einstein’s field equations are timereversal invariant. A maximally extended spacetime includes apart from the black hole solution, its “time-reverse” case. In the non-extreme case, the extended spacetime possesses a bifurcate Killing horizon. In the extreme case (surface gravity), no distinct timereverse equivalent exists, the black hole is time-independent everywhere and possesses a single degenerate Killing horizon. The surface gravity of a black hole can not be reduced to zero within a finite time. In the extended Schwarzschild spacetime, a white hole region becomes the time-reverse of the black hole region. The future event horizon, which separates two regions, is distinct from the past event horizon. The two regions intersect at the bifurcation two-sphere. The time-reverse of one region yields another region. In the non-extremal Kerr extended case, a new region is the time-reverse of the black hole, generating distinct patches in between the two horizons. The extremal Kerr extended spacetime does not contain such a distinct time-reverse patch but always duplicates of the same patch. There is no distinct timereverse region and no distinct event horizon. The extremal Kerr black hole has no time-reverse equivalent or, in other words, it is time-independent everywhere. Furthermore, a naked singularity is composed of one single region and has no time-reverse region, has no event horizon and zero entropy.
In the extremal case, the Killing vector field on the horizon is null on a timelike hypersurface intersecting the horizon and it is spacelike on both sides [
In Boyer-Lindquist coordinates, the Kerr metric is given by
where
The horizons are situated at, i.e. at,
The Kerr spacetime gets divided into three regions:
Region I is the exterior, region II lies between the two Killing horizons at, and region III is an asymptotic region. The mass of the black hole is m, its angular momentum, and its event horizon happens at. The extremal case is obtained by setting, in which case there is no region II since the two horizons coincide. The case describes the generic black hole, while describes a naked singularity [
The solutions for generate the inner and outer horizons:
.
The metric has two Killing vectors, and. We can construct a Killing vector as a linear combination of two vectors: with being a constant.
Both and are positive but on the ring singularity they vanish.
In the non-extremal case,. is positive for or and zero for and. But is negative in the region representing, always remaining between the horizons. Since any linear combination of the two Killing vectors remains spacelike, is nonstationary.
In contrast, the extreme case has, positive everywhere except at the event horizon where it is zero. If at, we obtain the angular velocity of a zero angular momentum observer (ZAMO). A ZAMO observer exists at every point in the spacetime. The Killing vector is timelike or null. At each point, one can have a different timelike Killing vector (except at the horizon where it vanishes). There is no point where all Killing vectors are spacelike and no region is non-stationary. A general Killing vector field of the generic Kerr solution is given by the linear combination
where K is a constant. Its norm is
This can vanish for all only if [
The linear combination defines the horizon Killing vector field. We have
where
In 3 + 1 decomposition, the Kerr metric becomes:
where
where we introduced the lapse function N, the shift vector and the induced metric.
Depending on, the solution depicts a black hole or a naked singularity. The lapse function is never negative. Since, and depend only on r and, the lapse function N also depends only on r and and is timeindependent. The induced and the momentum conjugate Pab are time-independent everywhere. Thus, there is no time evolution of the phase space. The coefficients, and can’t be positive and they are independent of time. They all depend on r and: is zero everywhere. is also time-independent and it depends only on r and. The momentum conjugate to, is also time independent. The extrinsic curvature is:
with the components:
and
where
and
The momentum conjugate is:
with the components:
and
where
Obviously is only dependent on r and and consequently it is independent of time. There is only one single classical microstate available.
In the non-extremal case, the region is non-stationary and the general 3 + 1 decomposition in this region has N2 positive. However, all components are time dependent. The phase space in is time dependent. The entropy is not vanishing, since there is more than one classical microstate hidden from the outside observer.
A non-extremal spacetime with an outer and an inner horizon becomes extremal as the outer horizon approaches the inner one. The two horizons are in equilibrium at two different temperatures and the temerature of the outer horizon approaches zero. Consequently, no thermality is observed at the outer horizon.
In the extremal regime, the flux is the same both outside and inside the horizon and approaches zero on the horizon, with a vanishing temperature in the extremal case. There is a finite discontinuity of flux in the extremal limit of the non-extremal regime. There is no physically acceptable smooth transition from the extremal regime as a limiting case of the non-extremal one and the pure extremal case.
To understand the thermal nature of an extreme black hold, let us firstly find the probability flux across the horizon. To achieve this, we write the Kerr metric in Kruskal coordinates and set for the extreme regime:
with
The horizon is located at. Introducing the null coordinates with
and
the surface appears at. The Kruskal coordinates U, V are:
The future horizon is located at:
.
The Killing vector becomes
To find the outgoing probability flux across the horizon, we find:
We have and . Taking logarithm of both sides we get the flux:
For any, no thermality is observed. The horizon behaves like a transparent membrane. The flux at, is obtained by regularizing the deltafunction. Using the limit, we obtain:
The flux when. A finite discontinuity of flux and no thermality is present at the horizon. This discontinuity is not coordinate related. For an extremal black hole, the proper radial distance from the horizon to any point close to the horizon outside or inside, is infinite. It is impossible for any incident particle state to cross the horizon. An extremal black hole cannot absorb or emit particle states. The coordinates, remove the coordinate singularity at the horizon. However fails to be a proper distance. The discontinuity in is not physical. The flux needs an infinite proper time to become zero at the horizon when it is incident either from inside or outside. When equated to the Boltzmann factor, it implies an infinite. This is equivalent to setting a zero temperature for the black hole. In the extremal limit, when [
An interesting question appears. Where should we calculate the entropy: on (or nearby) the horizon or within the black hole (disc) itself? Is the entropy created immediately after the gravitational collapse, or later during the black hole evolution? The extremal entropy is independent of the black hole evolution and its internal configuretion. Can such a function be purely derived from geometric or topological considerations? The third law of thermodynamics states that the surface gravity vanishing limit cannot be reached within a finite time [
Statistical mechanics describes the entropy of a system by the natural logarithm of internal states count: S = lnQ. A microstate Q? is a function of the system’s macrostate. The entropy is a function of these variables. An interesting relation between (macroscopic) entropy and statistical thermodynamics (number of microscopic states) becomes evident. Where there is only one microstate, Q = 1 and the entropy is zero, no disorder is present. One single state corresponds to the extremal regime. Extremal black holes can’t be viewed as limits of non-extremal regime because of this discontinuity. Our assessment is that the non-extremal and extremal regimes are topologically different and the discontinuity itself can be explained on geometric grounds.
An infinitesimal perturbation in mass, spin and horizon area can be written in Kerr metric:
where m and a are the mass and the spin of the black hole.
The horizons form at. The surface gravity is. The Hawking temperature of the black hole is. If we compare it with the first law of thermodynamics,
and replace the term by, we find that the entropy must be identified with up to an affine constant, which we set to zero by introducing the limit when.
The entropy becomes:
where is the Bekenstein-Hawking entropy, G is Newton’s constant and A is the event horizon area.
We see that in extremal regime, because. The analogy between the Equations (35) and (36) can’t be done anymore. We also have
where the right hand side diverges at the limit. The entropy can be now described a function of m with a singularity at the extremal limit.
Let us assume the entropy being an arbitrary function of the area:
with
where and are the change in entropy and area of the black hole when the internal configuration is changed (for example, when a particle falls into it). After the particle crosses the horizon, there is no information about its state or status. We therefore assume that it is equally probable for it to exist or not. The minimum entropy change can be written
where the summation over n represents all possible states of the particle. The proper radius b for an incident particle with mass and center of mass at is
. The minimum change of black hole area can be written
and, under the non-extremal condition. However, in the extremal limit, the radius b becomes:
diverging for any. For any small finite, the proper radius of the particle becomes infinite. Therefore we need to have. For (point particle), we have. The change in entropy requires that
with a discontinuity in the extremal limit.
A semi-classical picture evaluates the gravitational path integral by employing the euclideanized black hole geometry. If we consider the euclideanised case, the metric in n dimensions near the horizon is
and the proper angle in the plane near the horizon becomes
where is the N differentiated with respect to r. N depends on the proper angle:
In two dimensions, the metric near the horizon reduces to:
with To avoid a conical singularity at the horizon, the period of is identified with, which corresponds to the topology of a disc with zero deficit angle in the plane. This can always be done for non-extremal black holes, as is nonzero. In the extremal case, the proper radius diverges and the proper angle tends to zero. The disk topology is replaced with an annulus one. The topology of the transverse section in either case is. For a wrong periodicity, the geometry would have a singularity at the origin linked to the excess angle, like a cone structure that we may create out of a sheet of paper. The conical excess angle becomes and the topology is that of an annulus. The topology of the transverse section in either case is. An interesting feature of the solution is that the interior of the black hole is completely absent in the euclidean case. To know what is happening inside the black hole, the euclideanized spacetime is continued to an imaginary value of the radial coordinate near the horizon.
The Euclidean action leads to the entropy
The euclideanized version imposes in the metric, with leading to a manifold topology. The polar coordinates are defined on the with origin and periodicity of the Euclidean time angle. An interesting fact is that the Lorentzian manifold regions can’t be included in the Euclidean solution. The boundary contributions from the vicinity of the origin for the non-extremal regime are independent of and the canonical action is proportional to, leading to Bekenstein-Hawking entropy [
In the extremal regime, is infinitely far away from any point outside the horizon and consequently this point must be removed from the whole Euclidean manifold. The extremal black hole horizon is an infinite proper distance from any stationary observer. There is an absence of a conical singularity at the origin of the manifold. The topology of the Euclidean extremal solution becomes. The periodicity of the the Euclidean time is not fixed. Because the origin doesn’t exist any more, for any periodicity of the Euclidean time, no conical singularity is formed [
We believe that this topology can explain what is actually happening with the entropy. If we consider the black hole as a microcanonical ensemble, in a Hamiltonian formulation, the action I is proportional to the entropy. A dimensional continuation of Gauss-Bonnet theorem to n dimensions gives us the action:
with the Euler characteristic of the euclideanised plane and the area of the transverse. The black hole entropy becomes
In the non-extremal regime, corresponding to a disc and leading to the regular area law. In the extremal case, we have (annulus), implying a vanishing entropy.
Cosmic Censorship tries to solve the following problem: can a singularity exist in the absence of a horizon (naked singularity, not a topic of this paper)? Similarly, the existence of extreme black holes relies upon answering the question: can a spinning singularity exist without two separate horizons? This is an interesting problem. Extremal Kerr black holes are stationary black holes whose inner and outer horizons coincide. An extremal black hole has and no bifurcate Killing horizon. Also, the past and future horizons never intersect. There is no physical process that can make an extremal black hole out of a non-extremal black hole. A near-extremal black hole has a sort of potential barrier close to the horizon that prevents to reach extremal regime. These type of black holes represent the asymptotic limit of physical black holes [
However, black hole entropy can be also defined as a measure of the observer’s accessibility to information about the internal configuration hidden behind the event horizon. This internal configuration can be depicted as the sum of points in the phase space, defined by a number of classical microstates. We can say that extremal Kerr black hole has zero entropy because it possesses a single classical microstate. Extremal black holes have zero temperature, surface gravity and zero entropy therefore they obey the strong version of the third law of thermodynamics.
We could say that an extremal Kerr black hole has zero entropy only because it has one single classical microstate. There is no continuous set of classical states and no time evolution. All metric components are time independent. Any observer should have complete access to the unique classical state found within the region beyond the event horizon.
A regular black hole has non-zero entropy because an event horizon hides its internal configuration and there are more than one internal states within its configuration. An extremal black hole has an event horizon but because the phase space is time independent, it doesn’t hide more than one internal configuration. The extremal solution doesn’t have a time-reverse equivalent or a bifurcate Killing horizon. The condition for a non-zero entropy is the existence of a bifurcate Killing horizon in the extended spacetime. Wald’s general formula for the entropy of a black hole [
For a regular black hole, the zeroth law imposes that the horizon of a black hole must be bifurcate and the surface gravity must be must constant and non-vanishing. In the case of a degenerate Killing horizon there is no such bifurcation between the horizons. The area between horizons is completely absent.
The primary condition for a non-zero entropy is the existence of a bifurcate Killing horizon. This single criteria is enough. We analyzed a few features of the Kerr black hole that distinguish the extremal regime from the nearextremal one. From a thermodynamic point of view, there is a discontinuous nature of the entropy between the non-extremal and extremal cases, as the entropy of extremal regime is not the limit of the non-extremal one. While dual and string theory dual microstate counting predict non-vanishing entropy solutions for extreme regime, we suggested that the unusual nature encountered in the extremal limit using semi-classical methods represents a genuine relevant topological discontinuity and therefore the origin of a vanishing entropy. The entropy is zero, in agreement with semi-classical solutions, due to a degeneracy of the horizon geometry. The spacetime topology plays an essential role in the explanation of intrinsic thermodynamics of the extreme black hole solution. We conclude that the topology itself of the extreme black hole is enough to explain entropy in this regime. Moreover, the study of extreme black holes could play a crucial role in understanding gravitational entropy in general.