Conical singularity 2026-10-07
A conical singularity is a failure of smoothness at the apex of a metric cone. If has period , small circles have circumference-to-radius ratio . The two-dimensional apex is smooth precisely when this equals . Euclidean black-hole regularity condition applies this test to the imaginary-time and radial plane.
The outer-horizon surface gravity is . Hawking radiation or nondegenerate Euclidean black-hole regularity condition gives in units . The zero-temperature extremal value is the nonextremal limit; conical regularity alone does not fix a Euclidean period at a degenerate horizon.
Use and normalize the stationary time at infinity. For a regular stationary, asymptotically flat electrovacuum black hole, the Kerr-Newman metric has
Initially assume and , so the outer Killing horizon is nondegenerate. Its surface gravity, angular velocity, electric potential and area are
These are horizon quantities for the generator .
The laws of black-hole mechanics provide the first reason to regard and area as thermodynamic variables. The Zeroth law of black-hole mechanics makes constant on an equilibrium horizon. The first law for the Kerr-Newman family reads
For example, write the horizon relation as and use ; differentiating eliminates and to give this law. The last two terms are rotational and electric work. The classical second law of black-hole mechanics says that area cannot decrease under the null energy condition and appropriate global horizon assumptions. The third law of black-hole mechanics concerns unattainability of a zero-surface-gravity regular horizon by a finite physical process.
This analogy alone does not determine the temperature scale: if entropy were , the first law would only give . The decisive input is quantum field theory in the collapsing or stationary background. In a collapse vacuum that is regular for freely falling observers, the late outgoing retarded time and a regular affine null coordinate satisfy the Hawking exponential ray map
An outgoing mode therefore behaves as . Continuing this power through the horizon changes its amplitude by the factor . Its positive- and negative-frequency decomposition consequently has the thermal ratio of Hawking Bogoliubov coefficients
Combining that ratio with bosonic normalization gives a Planck occupation . The fermionic normalization instead gives the corresponding Fermi factor. Thus Hawking radiation fixes
For rotating charged modes, the horizon energy is , so the emission spectrum contains the same temperature with angular-momentum and charge chemical potentials. Exterior scattering supplies greybody factors; it changes the received flux, not the horizon temperature. Superradiant bosonic modes require the usual signed absorption factor, and a globally regular thermal bath need not exist throughout an asymptotically flat rotating exterior. The collapse-state emission argument is the relevant one.
A complementary check is the Euclidean black-hole regularity condition. The local corotating nondegenerate horizon geometry is Rindler-like:
Smoothness at requires to have period . Imaginary-time periodicity is precisely inverse temperature, agreeing with the radiation calculation. Matching the resulting temperature to the first law fixes the Bekenstein-Hawking entropy to . The generalized second law then uses : the classical area theorem alone does not apply to the negative-energy quantum flux responsible for evaporation.
Substitution gives the Kerr-Newman horizon temperature
It reduces to for a Schwarzschild black hole. The nonextremal limit towards gives zero temperature. At exact extremality the Euclidean horizon is degenerate, so the elementary conical-period argument does not itself fix a period; zero temperature here is the limiting semiclassical result. The reasoning assumes ordinary Einstein–Maxwell dynamics, a regular horizon, the stated normalization at infinity and a regime where quantum fields on a slowly evolving classical geometry are a useful approximation. The mechanical laws, radiation spectrum and Euclidean regularity agree under these assumptions, which is substantially stronger evidence than the classical analogy alone.
Assume an asymptotically flat Reissner-Nordstrom spacetime, with , time normalized at infinity, and . Put
Near , the Euclidean radial-time metric is . With , it becomes
The Euclidean black-hole regularity condition removes a conical defect only if has period . Therefore the Reissner-Nordstrom Hawking temperature is
Equivalently this is the Reissner-Nordstrom horizon surface gravity divided by . The derivation assumes a nondegenerate horizon; the value zero at is obtained by the nonextremal limit, not by imposing conical regularity directly on the degenerate geometry.
For fixed nonzero , write . The horizon equation gives
The mass is increasing with , and
Thus the fixed-charge Reissner-Nordstrom temperature maximum occurs at
The curve starts at zero at , rises to this maximum, then falls as for large mass. During evaporation from , the mass moves from right to left: the temperature initially increases, reaches its maximum, and then decreases towards zero.
Figure 1.
Reissner-Nordstrom temperature at fixed charge, its maximum and the evaporation direction
. Details.
Under the printed thermal-emission cutoff, charged emission is absent throughout precisely when the entire mass path remains at or below the threshold:
Equality is allowed because emission is assumed to require , not merely . The initial large mass ensures that the path includes the maximum.
With charge then conserved, neutral Hawking radiation lowers the mass until the system approaches the charge-preserving Reissner-Nordstrom evaporation endpoint:
The limiting state is an extremal black hole, rather than a neutral zero-mass endpoint. Exact attainment in finite time is not established: near extremality , and the ideal radiation rate tends to zero. The conclusion is within the assumed thermal cutoff model, which omits nonthermal charge creation and other quantum corrections. For , the Schwarzschild temperature instead grows without bound in the extrapolated model, so no finite satisfies the stated all-the-way temperature bound.
Use units and put . The static patch of de Sitter spacetime has radial factor . A Wick rotation makes its radial-time metric positive:
Near the cosmological horizon, write . Then and
in the radial-time directions. Thus must be an angle of period . A larger integer multiple would give a conical excess rather than a smooth origin. The Euclidean black-hole regularity condition gives
This de Sitter horizon temperature uses the time normalization at , where is proper time; static observers at other radii see the corresponding Tolman temperature law redshift.
Vary the gravitational Euclidean action with respect to . The identities and the integrated variation of the scalar curvature yield, after discarding the assumed boundary term,
The resulting vacuum Einstein field equations are therefore
Tracing in four dimensions gives , and substitution gives .
The smooth Euclidean geometry is compact. Explicitly, in Euclidean five-space use
These obey and induce precisely the above metric, so with the identified Euclidean time covers a round four-sphere once. Neither the collapsing two-sphere at nor the collapsing time circle at is a physical boundary. Since , its volume and on-shell Euclidean action are
The semiclassical partition function is , and follows from the free energy relation . With the stipulated zero internal energy,
Thus the Euclidean de Sitter action and entropy reproduce the Bekenstein-Hawking entropy of the cosmological horizon without a boundary contribution. Restoring constants, .
Use and normalize the time-translation Killing vector field at infinity. The simple outer zero and positivity on its exterior imply . Near the horizon, write ; then . The Wick rotation gives the radial Euclidean metric
Define , so . Its leading near-horizon form is
Thus is a polar angle. Smoothness at the origin requires period , rather than a cone or a multiple cover with a branched origin. The Euclidean black-hole regularity condition is
A thermal quantum state has imaginary-time period . Since , this time coordinate is normalized to the clocks at infinity, and the Hawking temperature is
A static clock at radius measures the redshifted local temperature ; that local quantity is not the temperature requested with the asymptotic normalization.
The static coordinates are singular on the horizon, so calculate its surface gravity in a regular ingoing chart. With , the metric and the same normalized Killing vector field are
The inverse radial block has , , . Direct calculation gives
Since has constant coordinate components, its acceleration is
On the future horizon, and is null, so the defining equation gives . In the outgoing chart regular on the past branch, the radial cross-term is and the same calculation gives for . Hence the branch-independent physical statement is
This proves the Euclidean temperature and signed horizon surface gravity relation directly. Rescaling the Killing vector field would rescale its surface gravity; the condition at infinity fixes that otherwise arbitrary normalization.
Use geometrized units with initially, and write , . The given nonextremality assumption makes . Thus the static Killing vector field has a simple zero of its norm at
The exterior is static. For radial null geodesics, , independently of . With , the metric is
which is regular at since . The outgoing null equation is . Inside the future horizon these rays move to smaller radius, while outside they can escape to infinity. Hence the zero is the event horizon. The inner zero of is not another regular Killing horizon: the Killing norm there diverges rather than vanishes. The strict charge bound matters when making the regular extension.
For the Euclidean black-hole regularity condition, continue , consistent with the sign of the given quantum time-translation operator. Set . To leading order and , so the radial–time part of the Euclidean metric is
Introduce the radial proper length coordinate by . Then
The first two terms are a polar plane with angle . Smoothness at its origin requires
A different period would make a conical singularity. The time coordinate is normalized to proper time at infinity, so no further asymptotic redshift factor is needed. The cancellation of proves the charge independence of the Euclidean horizon period under a regular radial conformal factor; this argument would fail at .
To justify the thermal interpretation, analytic continuation of the time-evolution operator gives . Its matrix element is an imaginary-time propagation kernel. Identifying the initial and final configurations and integrating over them takes its trace, giving the Euclidean path integral . In an energy eigenbasis each state has weight , exactly the Boltzmann factor of a canonical ensemble. Thus the geometrically required period is the inverse Hawking temperature. With dimensions restored, an imaginary time period gives . Consequently
Here is mass in ordinary units; for a neutral hole and the physical imaginary-time period is . Bosonic thermal fields are periodic and fermionic fields antiperiodic over that same Euclidean period. The relation to the canonical density operator, not just dimensional reasoning, identifies the temperature.
For an evaporation estimate take a neutral, isolated Schwarzschild black hole and approximate its radiated power with the Stefan–Boltzmann law. Its area is , and the photon Stefan-Boltzmann constant is . Substituting the temperature gives
The black-hole evaporation speeds up as the mass decreases. Integrating, rather than dividing the initial rest energy by the initial power, gives
The corresponding initial Hawking temperature is about K. This is the Stefan-Boltzmann estimate of Schwarzschild evaporation time at the level of accuracy requested. Greybody factors and other emitted species alter the numerical coefficient, but not the leading cubic scaling of a large isolated hole. The estimate assumes negligible accretion or ambient radiation absorption; a stellar-mass hole in the present cosmic radiation bath is not currently losing mass at that isolated-hole rate. Finally the semiclassical formula does not describe the Planck-scale endpoint: extrapolating it to zero mass is an estimate of the macroscopic lifetime, not a proof of what the final quantum object is.
The two identities. Set . The Killing equation says . The Levi-Civita connection has symmetric lower connection indices, so they cancel in the antisymmetric difference:
Use normalized antisymmetrization, so
Put . Contracting with , the second term is and the third is the same after using antisymmetry. Thus
Rearranging proves the Killing derivative contraction identity
Restriction to a Killing horizon. On a Killing horizon, the generator is normal to the horizon as well as tangent to its null generators. Consequently there. One can see this without assuming hypersurface orthogonality away from the horizon: if the horizon is locally , write its dual one-form as near it; then on . By the definition of surface gravity, on the horizon, and lowering that relation gives . The contraction identity becomes
Away from points where vanishes, cancel a nonzero component of ; at a regular bifurcation surface extend by continuity. Therefore
This is surface gravity from the Killing derivative; it concerns the horizon, not every point in the exterior.
Static spherical metric. Choose the Killing vector . Its dual one-form is , and the first identity immediately gives
with all other components zero. Hence
Using the horizon identity and the simultaneous simple zeros,
Here the positive value is chosen for a regular outer Killing horizon with on the exterior side. This is surface gravity of a static spherical horizon. A different normalization rescales surface gravity by ; when an asymptotically flat normalization is wanted, the time coordinate is chosen so at infinity.
Euclidean regularity and temperature. Let , and . On the exterior side, define the proper radial coordinate . After Wick rotation, the near-horizon metric is
The radial-time plane is a polar plane with angular coordinate . Its circumference-to-radius ratio is ; the conical singularity disappears precisely when
This is the Euclidean black-hole regularity condition. If a signed surface gravity convention is used, the period uses .
In a thermal quantum field theory, imaginary-time periodicity is the inverse-temperature condition expressed by the KMS condition. Therefore smoothness identifies the Hawking temperature
in units , or when is measured as an inverse time. It provides the thermal interpretation of surface gravity in black-hole thermodynamics. The regular Euclidean construction describes an equilibrium thermal state; the collapse calculation of Hawking radiation in the last solution supplies the outgoing spectrum. The simple-zero hypothesis excludes an extremal black hole, for which this polar-plane argument changes.
After Wick rotation , the near-horizon metric has
Regularity at the origin of this polar plane requires the Euclidean black-hole regularity condition . Since
we obtain