Horizon KMS, Unruh, and Hawking Theorem Interfaces

Horizon thermality is a chain of distinct statements. A modular theorem can identify vacuum wedge flow with Lorentz boosts; a KMS boundary condition can then fix a boost temperature; an accelerated detector requires an additional response calculation; and Hawking radiation requires curved geometry, state selection, and an asymptotic observation problem. Keeping those interfaces explicit prevents a local horizon analogy from being mistaken for a global black-hole theorem.

Required background. The Bisognano–Wichmann theorem and geometric modular action fixes the wedge modular normalization; C*-dynamical systems and the KMS condition supplies the analytic boundary condition. Helpful background. Relativistic KMS analyticity and spectrum treats covariant thermal analyticity; locally covariant QFT as a functor separates local covariance from state selection; the Unruh effect and accelerated detectors gives the operational calculation; Tolman–KMS local temperature gives stationary redshift; equivalence-principle acceleration limits states the local-to-global limitation; black-hole thermodynamics at the QFT interface supplies the semiclassical context.

Wedge modular flow and boost KMS

For the right Rindler wedge

$$W_R=\{x:x^1>|x^0|\}$$

in Minkowski space, let $\mathcal M_R=\mathcal A(W_R)$ and let $\Omega$ be the vacuum. Under the Wightman field hypotheses used by Bisognano and Wichmann, $\Omega$ is cyclic and separating and

$$\Delta_R^{it}=U(\Lambda_R(-2\pi t)).$$

Tomita–Takesaki theory says that the vacuum restricted to $\mathcal M_R$ is KMS at inverse temperature $1$ for the modular parameter $t$. The displayed normalization therefore makes it KMS at inverse temperature $2\pi$ for dimensionless boost rapidity, with the sign determined by the chosen boost orientation. The scalar theorem is proved in Bisognano and Wichmann 1975, pp. 985–1007, and its general field extension in Bisognano and Wichmann 1976, pp. 303–321.

This is a theorem about a vacuum representation, a wedge algebra, and a specified geometric boost. It is not obtained merely by observing that a region has a null boundary. For a generic covariant net the Bisognano–Wichmann property is additional unless it has been derived from stronger field or scattering assumptions.

Proper acceleration and detector temperature

A uniformly accelerated orbit in $W_R$ may be parameterized as

$$x^0(\tau)=a^{-1}\sinh(a\tau), \qquad x^1(\tau)=a^{-1}\cosh(a\tau).$$

Its boost rapidity is $a\tau$. Converting the boost period $2\pi$ to proper time gives

$$\beta_{\mathrm{proper}}=\frac{2\pi}{a}, \qquad T_U=\frac{a}{2\pi}.$$

For a stationary Unruh–DeWitt detector with energy gap $E>0$, the pulled-back vacuum two-point function has this KMS period. After a controlled long-interaction-time limit, its transition rates obey

$$\frac{\dot{\mathcal F}(E)}{\dot{\mathcal F}(-E)}=e^{-2\pi E/a}.$$

The detector statement adds a worldline, coupling, switching prescription, and limiting response rate. A finite-time detector need not have an exactly Planckian spectrum even though the wedge state is exactly KMS. These operational assumptions are carried out at the first application in the Unruh effect and accelerated detectors.

Bifurcate Killing horizons and surface gravity

Let $\chi$ be a Killing field that vanishes on a bifurcation surface and generates the two horizon branches. Its surface gravity is fixed on the horizon by

$$\chi^\nu\nabla_\nu\chi^\mu=\kappa\chi^\mu.$$

Near a nonextremal horizon, the normal two-plane has Rindler form. If a state is invariant, nonsingular across the bifurcation surface, and satisfies the relevant quasifree and field-equation hypotheses, analytic continuation around that plane selects the Killing parameter period

$$\beta_H=\frac{2\pi}{\kappa}.$$

Kay and Wald prove conditional uniqueness and thermal results for linear scalar fields on globally hyperbolic spacetimes with a bifurcate Killing horizon: under their detailed symplectic, invariance, quasifree, and nonsingularity assumptions, an admissible state is highly constrained, and its wedge restriction has the corresponding KMS property. Existence is not automatic. Their hypotheses and main conclusions occupy Kay and Wald 1991, §§3–7, pp. 71–126.

The numerical value of $\kappa$ depends on the normalization of $\chi$. In an asymptotically flat static black hole, unit normalization of the stationary Killing field at infinity fixes the Hawking temperature measured relative to that time. A local Tolman observer then sees the redshifted temperature, not a constant proper temperature throughout the exterior.

Equilibrium KMS is not outgoing Hawking flux

A regular KMS state on both exterior wedges is the equilibrium, Hartle–Hawking-type question. Hawking radiation from collapse is instead described by an Unruh-type state: regularity is imposed at the future horizon, the past state is chosen at early null infinity, and late outgoing modes are propagated through the exterior potential. Greybody factors and the definition of particles at infinity belong to that scattering problem.

Consequently, the local relation $T=\kappa/(2\pi)$ does not by itself prove a flux, its spectrum at infinity, or black-hole evaporation. The algebraic horizon theorem fixes a thermal periodicity under specified state and geometric hypotheses. Stress-tensor flux, backreaction, and generalized-entropy statements require further constructions.

Failure boundaries

The equivalence principle supplies a local Rindler approximation, not a preferred global state. A small freely falling neighborhood does not determine whether the global state is Hartle–Hawking, Unruh, Boulware, or something else. An extremal horizon has $\kappa=0$ and no ordinary bifurcation surface in the relevant extension, so the nonextremal periodicity argument cannot simply be evaluated at $\kappa=0$.

Rotation adds another obstruction. For a rotating horizon the generator is $\chi=\partial_t+\Omega_H\partial_\varphi$; bosonic superradiant modes can prevent a globally regular, isometry-invariant Hartle–Hawking state of the naive kind. Finally, Euclidean smoothness is a powerful consistency test but does not alone establish Lorentzian positivity, the Hadamard condition, or existence of a state on the full field algebra.

Exercises

1. Convert modular time to proper time. Derive $\beta_{\mathrm{proper}}=2\pi/a$ from the wedge modular formula.

Solution

An imaginary modular shift $t\mapsto t+i$ changes boost rapidity by $-2\pi i$. Since rapidity along the orbit is $a\tau$, the corresponding imaginary proper-time shift has magnitude $2\pi/a$. The positive inverse temperature is therefore $2\pi/a$.

2. Tolman check. In a static metric with $\chi^2>0$, show that an observer following $u=\chi/\sqrt{\chi^2}$ measures $T_{\mathrm{loc}}=T_H/\sqrt{\chi^2}$.

Solution

If $s$ is Killing time and $\tau=\sqrt{\chi^2}\,s$ is proper time on the orbit, a KMS period $\beta_H$ in $s$ becomes $\beta_{\mathrm{loc}}=\sqrt{\chi^2}\,\beta_H$. Taking the inverse gives the stated redshift.

3. Identify the missing inference. Why does the wedge KMS theorem not by itself prove a finite detector’s Planck spectrum?

Solution

The theorem concerns algebraic correlation functions under boost automorphisms. A detector prediction additionally selects a worldline and interaction, smears the two-point function with a switching profile, and takes an appropriate long-time limit. Finite switching generally broadens the response and need not preserve an exact Planck form.

References

• Bisognano, J. J., and Wichmann, E. H. (1975). “On the duality condition for a Hermitian scalar field.” Journal of Mathematical Physics 16, 985–1007. DOI.
• Bisognano, J. J., and Wichmann, E. H. (1976). “On the duality condition for quantum fields.” Journal of Mathematical Physics 17, 303–321. DOI.
• Kay, B. S., and Wald, R. M. (1991). “Theorems on the uniqueness and thermal properties of stationary, nonsingular, quasifree states on spacetimes with a bifurcate Killing horizon.” Physics Reports 207, 49–136. DOI.