13.09.09 · gr-cosmology / microlocal-qft-curved-spacetimes

Unruh effect via the Bisognano-Wichmann theorem

shipped3 tiersLean: none

Anchor (Master): Bisognano and Wichmann, *J. Math. Phys.* 16 (1975) 985 and 17 (1976) 303; Sewell, *Ann. Phys.* 141 (1982) 201; Bratteli and Robinson, *Operator Algebras and Quantum Statistical Mechanics* vol. 1 (Springer, 2nd ed. 1987), §2.5 (Tomita-Takesaki theory and KMS states); Haag, *Local Quantum Physics* (Springer, 2nd ed. 1996), §V.4; Gérard, *Microlocal Analysis of Quantum Fields on Curved Spacetimes* (EMS, 2019), Ch. 10

Intuition Beginner

An observer moving at constant velocity through empty Minkowski space sees nothing — the vacuum is empty, with no particles to detect. Bill Unruh discovered in 1976 that an observer who instead accelerates uniformly through the very same vacuum sees something startling: a warm bath of particles, with a temperature set by the acceleration. Push harder, and the bath gets hotter. The vacuum that one observer calls empty, the accelerated observer calls thermal.

The temperature is tiny for everyday accelerations and enormous only near a black hole, which is why nobody has measured it directly. The relation is famous for its simplicity: the temperature equals the proper acceleration divided by two times $π$ , in units where the speed of light, the Boltzmann constant, and Planck's constant are all set to one. A larger acceleration gives a hotter bath.

Why should acceleration make the vacuum look hot? The key is that an accelerated observer cannot see all of spacetime. A uniformly accelerated worldline stays inside a wedge-shaped region — the Rindler wedge — and is forever blind to events behind a horizon, much as a person falling toward a black hole loses contact with the region behind the event horizon. The observer who is denied half the information about a pure state perceives the part they can access as a mixed, thermal state. Hiding information turns purity into heat.

The deepest version of this story does not even mention particles. It is a statement about operator algebras, due to Joseph Bisognano and Eyvind Wichmann in 1975 and 1976. They showed that for any well-behaved quantum field, the mathematical operation that the vacuum naturally attaches to the algebra of observables inside the wedge — the so-called modular flow — is precisely the boost that the accelerated observer uses as their clock. Time, for the accelerated observer, is the modular flow.

Once that identification is made, thermality is automatic. A general theorem of quantum statistical mechanics says that the modular flow always looks thermal: any state, restricted to a sub-algebra, satisfies the same equilibrium condition (the KMS condition) that defines a Gibbs state at a definite temperature, with respect to its own modular flow. George Sewell put these pieces together in 1982 to give the rigorous Unruh effect: the wedge-restricted vacuum is a thermal equilibrium state at the Unruh temperature, with the boost as time.

Visual Beginner

The picture to hold is a spacetime diagram of Minkowski space split by the light cone of the origin into four wedges, with a uniformly accelerated observer riding a hyperbola inside the right wedge, blind to everything beyond the diagonal horizon lines.

Three features carry the meaning. The hyperbola is the worldline of constant proper acceleration: every uniformly accelerated observer in Minkowski space travels along such a curve, asymptotic to the light cone but never crossing it. The diagonal lines are the Rindler horizons — the boundaries past which the accelerated observer can neither send nor receive signals. The boost flow, drawn as arrows along the hyperbola, advances the observer's proper time and slides each point of the wedge along its own hyperbola.

The remarkable content is that this same boost flow is the modular flow that the vacuum assigns to the wedge. The accelerated observer's clock and the algebra's intrinsic modular clock coincide. Because the modular flow is always thermal, the observer reads off a temperature, and that temperature is fixed by the acceleration.

Worked example Beginner

Compute the Unruh temperature for a uniformly accelerated observer, first in natural units and then for a concrete laboratory-scale acceleration, and check the relation against the surface gravity of a black hole.

Step 1. State the relation. A uniformly accelerated observer with proper acceleration $a$ perceives the Minkowski vacuum as a thermal bath at the Unruh temperature $$ T = \frac{a}{2\pi}, $$ in natural units with the speed of light, the reduced Planck constant, and the Boltzmann constant all equal to one. Restoring the constants, $T = ℏ a / (2 π c k_{B})$ .

Step 2. Plug in the constants. With $ℏ = 1.055 \times 1 0^{- 34}$ joule-seconds, $c = 3.00 \times 1 0^{8}$ metres per second, and $k_{B} = 1.38 \times 1 0^{- 23}$ joules per kelvin, the prefactor is $$ \frac{\hbar}{2\pi c k_B} = \frac{1.055 \times 10^{-34}}{2\pi \cdot (3.00 \times 10^8) \cdot (1.38 \times 10^{-23})} \approx 4.05 \times 10^{-21}\ \text{kelvin per (metre per second squared)}. $$

Step 3. Evaluate for a strong laboratory acceleration. Take $a = 1 0^{20}$ metres per second squared — roughly the acceleration of an electron in an intense laser field, far beyond anything mechanical. The temperature is $$ T \approx (4.05 \times 10^{-21}) \times 10^{20} \approx 0.4\ \text{kelvin}. $$ Even this extreme acceleration produces only a fraction of a degree above absolute zero. This is why the Unruh effect has never been measured directly: ordinary accelerations give utterly negligible temperatures.

Step 4. Compare with a black hole. The surface gravity of a Schwarzschild black hole of mass $M$ is $κ = 1/ (4 M)$ in natural units. An observer hovering just outside the horizon experiences a local acceleration close to $κ$ , and the Unruh relation gives a temperature $T = κ / (2 π) = 1/ (8 π M)$ — exactly the Hawking temperature. The Unruh effect and the Hawking effect share one formula because the near-horizon geometry of a black hole looks like the Rindler wedge.

What this tells us: the Unruh temperature is real but minuscule for any acceleration a person could survive, growing measurable only in the astrophysical setting of a black-hole horizon. The same factor of $2 π$ that appears in the Unruh formula reappears in the Hawking temperature, signalling that both are manifestations of one mechanism — a wedge or horizon hiding part of the vacuum, with the hidden information re-emerging as heat.

Check your understanding Beginner

Exercise (easy, multiple choice).

A uniformly accelerated observer in the Minkowski vacuum perceives

A. Nothing — the vacuum is empty for every observer B. A thermal bath of particles at temperature $T = a / (2 π)$ , where $a$ is the proper acceleration C. A single particle of energy equal to the acceleration D. A bath whose temperature decreases as the acceleration increases

Hint

The accelerated observer is denied access to part of spacetime behind a horizon, and a state restricted away from part of its support looks thermal.

Answer

B. A thermal bath of particles at temperature $T = a / (2 π)$ , where $a$ is the proper acceleration.

Unruh 1976 showed that the response of a uniformly accelerated particle detector in the Minkowski vacuum is exactly that of an inertial detector immersed in a thermal bath at $T = a / (2 π)$ . A larger acceleration gives a higher temperature, so option D has the dependence backward. Option A is the inertial observer's experience, not the accelerated one's. Option C confuses a thermal bath with a single excitation; the response is a full Planck spectrum, not one particle.

Exercise (easy, true-false).

True or false: the Bisognano-Wichmann theorem says that the modular flow the vacuum assigns to the algebra of observables in the Rindler wedge is the boost subgroup of the Lorentz group.

Hint

The boost is the proper-time evolution of a uniformly accelerated observer, and the wedge is the region that observer can access.

Answer

True.

Bisognano and Wichmann 1975/1976 proved that for a Wightman quantum field, the Tomita-Takesaki modular operator of the wedge algebra in the vacuum state is the analytic continuation of the boost to imaginary rapidity, so the modular automorphism group is exactly the boost flow. This is the geometric content that makes the Unruh effect rigorous: the boost the accelerated observer uses as time is the algebra's own modular flow, and the modular flow is always thermal.

Exercise (medium, numeric).

A proton in a circular accelerator experiences a centripetal proper acceleration of about $a = 3 \times 1 0^{23}$ metres per second squared. Using the prefactor $ℏ/ (2 π c k_{B}) \approx 4.05 \times 1 0^{- 21}$ kelvin per (metre per second squared), estimate the Unruh temperature in kelvin.

Hint

Multiply the acceleration by the prefactor; the linear Unruh relation $T = a / (2 π)$ in natural units becomes $T = (ℏ/ (2 π c k_{B})) \cdot a$ in SI units.

Answer

$T \approx 1.2 \times 1 0^{3}$ kelvin.

Multiplying, $T \approx (4.05 \times 1 0^{- 21}) \times (3 \times 1 0^{23}) \approx 1.2 \times 1 0^{3}$ kelvin, a bit over a thousand kelvin. This is one of the few settings where the Unruh temperature reaches a sizeable value: the enormous centripetal acceleration of relativistic particles in storage rings produces a non-negligible effective temperature, which is part of why the equilibrium spin polarisation of electrons in such rings (the Sokolov-Ternov effect) can be reinterpreted as an Unruh-temperature signature.

Formal definition Intermediate+

Throughout, $(M_{0}, η)$ is four-dimensional Minkowski spacetime with metric signature $(-, +, +, +)$ to match the conventions of 13.09.01 and 13.09.02, coordinates $x = (x^{0}, x^{1}, x^{2}, x^{3})$ , and a Wightman quantum field $ϕ$ satisfying the axioms W1-W7 of 08.10.07 acting on a Hilbert space $H$ with vacuum vector $Ω$ . For an open region $O \subseteq M_{0}$ write $R (O)$ for the von Neumann algebra generated by the bounded functions of the smeared fields $ϕ (f)$ with $supp f \subseteq O$ .

The right Rindler wedge is the open region $$ W_R := {x \in \mathcal{M}_0 : x^1 > |x^0|}, $$ invariant under the one-parameter group of boosts in the $x^{0} x^{1}$ -plane, $$ \Lambda_1(s) : (x^0, x^1) \mapsto (x^0 \cosh s + x^1 \sinh s,\ x^0 \sinh s + x^1 \cosh s), $$ fixing the $x^{2}, x^{3}$ coordinates. The orbits of $Λ_{1}$ inside $W_{R}$ are the hyperbolae $x^{1}^{2} - x^{0}^{2} = ρ^{2} > 0$ ; the orbit at $ρ = 1/ a$ is the worldline of an observer with constant proper acceleration $a$ , whose proper time is $τ = s / a$ . Denote by $U (Λ_{1} (s))$ the unitary implementing $Λ_{1} (s)$ on $H$ , and write the boost generator as $K$ , so $U (Λ_{1} (s)) = e^{i K s}$ .

Tomita-Takesaki modular data. Let $M$ be a von Neumann algebra on $H$ with a vector $Ω$ that is cyclic ( $\overline{M Ω} = H$ ) and separating ( $A Ω = 0$ with $A \in M$ forces $A = 0$ ). The antilinear operator $S_{0} : A Ω \mapsto A^{*} Ω$ , defined on the dense domain $M Ω$ , is closable; let $S$ be its closure. The polar decomposition $$ S = J,\Delta^{1/2} $$ defines the modular conjugation $J$ (an antiunitary involution, $J = J^{*} = J^{- 1}$ ) and the modular operator $Δ = S^{*} S$ (a positive, generally unbounded, self-adjoint operator with $ΔΩ = Ω$ ). The modular automorphism group of $(M, Ω)$ is $$ \sigma_t(A) := \Delta^{it} A, \Delta^{-it}, \qquad t \in \mathbb{R}. $$ The fundamental theorem of Tomita and Takesaki ^{[Tomita 1967]} asserts $J M J = M^{'}$ (the commutant) and $Δ^{i t} M Δ^{- i t} = M$ for all $t$ , so $σ_{t}$ is a one-parameter automorphism group of $M$ .

KMS condition. A state $ω$ on a von Neumann algebra $M$ satisfies the KMS condition at inverse temperature $β > 0$ with respect to a one-parameter automorphism group $α_{t}$ if for every pair $A, B \in M$ there is a function $F_{A, B}$ holomorphic on the strip ${z : 0 < Im z < β}$ , bounded and continuous on its closure, with boundary values $$ F_{A,B}(t) = \omega(A,\alpha_t(B)), \qquad F_{A,B}(t + i\beta) = \omega(\alpha_t(B),A). $$ The KMS condition is the algebraic characterisation of thermal equilibrium ^{[Haag-Hugenholtz-Winnink 1967]}: for a finite system with Hamiltonian $H$ and $α_{t} = Ad (e^{i H t})$ , the Gibbs state $ω (\cdot) = Tr (e^{- β H} \cdot) / Tr (e^{- β H})$ is the unique KMS state, the analyticity strip arising from the trace cyclicity $Tr (A e^{i H t} B e^{- i H t} e^{- β H}) = Tr (e^{i H (t + i β)} B e^{- i H (t + i β)} e^{- β H} A)$ .

Bisognano-Wichmann property. The Wightman field $ϕ$ has the Bisognano-Wichmann property if the modular data of the wedge algebra $R (W_{R})$ in the vacuum $Ω$ are geometric: $$ \Delta^{it} = U(\Lambda_1(-2\pi t)), \qquad J = \Theta, U(R_1(\pi)), $$ where $Θ$ is the TCP operator and $R_{1} (π)$ is the rotation by $π$ about the $x^{1}$ -axis. Equivalently, the modular automorphism group is the boost reparametrised by $- 2 π$ , and the modular conjugation implements the geometric reflection $j_{W_{R}} : (x^{0}, x^{1}, x^{2}, x^{3}) \mapsto (- x^{0}, - x^{1}, x^{2}, x^{3})$ across the edge of the wedge.

Counterexamples to common slips

The Reeh-Schlieder property ^{[Reeh-Schlieder 1961]} is what makes the modular construction available: the vacuum $Ω$ is cyclic and separating for every $R (O)$ with $O$ open and $O^{'} = M_{0} ∖ \overline{J (O)}$ having non-empty interior, in particular for the wedge. Without separating-ness the operator $S_{0}$ would not be well-defined as a map $A Ω \mapsto A^{*} Ω$ . The cyclic-separating hypothesis cannot be dropped: for the algebra of all bounded operators $B (H)$ no vector is separating, and the modular theory degenerates.
The factor $- 2 π$ in $Δ^{i t} = U (Λ_{1} (- 2 π t))$ is the entire content. The Unruh temperature is not an independent input; it is forced by the convention that the modular flow runs at $β = 1$ , combined with the geometric fact that boost rapidity $s$ relates to the proper time $τ$ of the $a$ -accelerated orbit by $s = a τ$ . The modular flow at parameter $t$ moves rapidity by $- 2 π t$ , hence proper time by $- 2 π t / a$ ; demanding $β = 1$ in modular time means $β = 2 π / a$ in proper time, which is $T = a / (2 π)$ .
The Unruh effect is not the statement that "acceleration creates particles" in any frame-independent sense. The global Minkowski vacuum is a pure state and contains no Minkowski particles in any frame. The thermal character is a property of the restriction of the pure vacuum to the wedge sub-algebra $R (W_{R})$ : the restricted state is mixed and KMS. Particle language is the Fock-space repackaging of this algebraic statement via Rindler quantisation ^{[Fulling 1973]}.
The boost has both signs of energy on $H$ — the spectrum of the generator $K$ is all of $R$ , unlike the time-translation Hamiltonian whose spectrum is non-negative by the W5 spectrum condition. This is exactly why $U (Λ_{1} (s))$ can be analytically continued in $s$ to define the positive operator $Δ = U (Λ_{1} (2 π i))$ : continuation to imaginary boost parameter is possible precisely because of the wedge geometry, not the global energy positivity.

Key theorem with proof Intermediate+

Theorem (Sewell / Bisognano-Wichmann: the wedge vacuum is KMS). Let $ϕ$ be a Wightman field with the Bisognano-Wichmann property, $R (W_{R})$ the wedge algebra, and $ω_{Ω} (\cdot) = ⟨ Ω, (\cdot) Ω ⟩$ the vacuum state restricted to $R (W_{R})$ . Let $\beta_s(A) := U(\Lambda_1(s)),A,U(\Lambda_1(s))^ $b e t h e b oos t f l o w . T h e n$ \omega_\Omega $s a t i s f i es t h eK M S co n d i t i o na t in v er se t e m p er a t u r e$ \beta = 2\pi $w i t h r es p ec tt o$ \beta_s $. C o n se q u e n tl y, t h e w or l d l in eo f co n s t an tp r o p er a cce l er a t i o n$ a $in s i d e$ W_R $, w h ose p r o p er t im e i s$ \tau = s/a $, sees$ \omega_\Omega $a s a t h er ma l s t a t e a tt e m p er a t u r e$ T = a/(2\pi)$* ^{[Bisognano-Wichmann 1975]}^{[Sewell 1982]}.

Proof. The argument has two parts: first, that the modular automorphism group of any pair $(M, Ω)$ makes $ω_{Ω}$ a $β = 1$ KMS state for that flow; second, that the Bisognano-Wichmann identification converts modular flow into boost flow and rescales $β$ accordingly.

Part 1: the modular flow is KMS at $β = 1$ . Let $Δ$ be the modular operator of $(M, Ω)$ and $σ_{t} = Ad (Δ^{i t})$ . Fix $A, B \in M$ and define $$ F(z) := \langle \Delta^{1/2 - i\bar{z}},A^\Omega,\ \Delta^{-i\bar{z}},B\Omega\rangle \quad\text{for } 0 \le \mathrm{Im}, z \le 1. $$ On the boundary $Im z = 0$ , set $z = t$ . Using $S = J Δ^{1/2}$ , $S,A\Omega = A^\Omega $, an d$ J\Delta^{1/2}J = \Delta^{-1/2} $, a d i r ec t co m p u t a t i o n g i v es$ F(t) = \langle \Omega, A,\sigma_t(B),\Omega\rangle = \omega_\Omega(A,\sigma_t(B)) $. T h e f u n c t i o n$ F $i s h o l o m or p hi co n t h eo p e n s t r i p b ec a u se$ \Delta^{-iz} $i s h o l o m or p hi c in$ z $o n$ 0 < \mathrm{Im},z < 1 $w h e na ppl i e d t o v ec t or s in s u i t ab l e ana l y t i c d o main s, an d$ A^\Omega $,$ B\Omega $l i e in t h e d o main o f$ \Delta^{1/2} $(s in ce$ \Omega $i scy c l i c - se p a r a t in g an d$ \Delta^{1/2}A^\Omega = JSA^\Omega = JA\Omega $i s w e l l - d e f in e d) . O n t h e u pp er b o u n d a r y$ z = t + i$, $$ F(t + i) = \langle \Delta^{-1/2 - it}A^\Omega,\ \Delta^{1 - it}B\Omega\rangle = \langle \Delta^{1/2}\Delta^{-it}\Delta^{-1/2}A^\Omega,\ \Delta^{1/2}\Delta^{it}\Delta^{1/2}B\Omega\rangle, $$ which, on regrouping with $\Delta^{1/2}A^\Omega = JA\Omega $an d$ \Delta^{1/2}B\Omega = J B^*\Omega $, r e d u ces t o$ \langle\Omega, \sigma_t(B),A,\Omega\rangle = \omega_\Omega(\sigma_t(B),A) $. T h u s$ F $i s t h er e q u i r e d ana l y t i c in t er p o l an t an d$ \omega_\Omega $i sK M S a t$ \beta = 1 $f or$ \sigma_t$ ^{[Bratteli-Robinson 1987]}.

Part 2: geometric identification and rescaling. The Bisognano-Wichmann property gives $Δ^{i t} = U (Λ_{1} (- 2 π t))$ , hence $σ_{t} = β_{- 2 π t}$ as automorphisms of $R (W_{R})$ . Substituting $σ_{t} = β_{- 2 π t}$ into the $β = 1$ KMS condition of Part 1 and changing the flow parameter from $t$ to $s = - 2 π t$ : a state KMS at inverse temperature $1$ for $σ_{t}$ becomes KMS at inverse temperature $2 π$ for $β_{s}$ , because the KMS strip width scales inversely with the reparametrisation rate. Explicitly, the interpolant $G (w) := F (- w /2 π)$ is holomorphic on $0 < Im w < 2 π$ with $G (s) = ω_{Ω} (A β_{s} (B))$ and $G (s + 2 π i) = ω_{Ω} (β_{s} (B) A)$ . So $ω_{Ω}$ is KMS at $β = 2 π$ for the boost.

Conversion to temperature. A worldline of proper acceleration $a$ has proper time $τ$ related to boost rapidity by $s = a τ$ . The boost generator $K$ restricted to this orbit acts as $a^{- 1}$ times the proper-time generator. A state KMS at $β = 2 π$ in the parameter $s$ is therefore KMS at $β_{τ} = 2 π / a$ in proper time, which is a thermal state at temperature $T = 1/ β_{τ} = a / (2 π)$ . $□$

Bridge. This theorem builds toward the rigorous theory of black-hole temperature and appears again in 13.09.08, where the de Sitter static-patch vacuum is shown thermal by the identical mechanism. The foundational reason the Unruh temperature is what it is, is the geometric identification $Δ^{i t} = U (Λ_{1} (- 2 π t))$ : the $2 π$ is the period of the Euclidean rotation that the wedge boost continues to, so it is the same $2 π$ that fixes the Hawking temperature through the conical-deficit / smoothness argument at a horizon. This is exactly the bridge from operator algebras to thermodynamics — the modular flow of a region is a thermal time, and the Tomita-Takesaki theorem guarantees a KMS condition without any reference to a Hamiltonian. Putting these together, the abstract modular automorphism group of [the wedge algebra] identifies the accelerated observer's proper-time evolution with the algebra's intrinsic equilibrium dynamics, so that the central insight is the coincidence of three a priori unrelated objects: the boost subgroup of the Poincaré group, the Tomita-Takesaki modular flow of the vacuum on the wedge, and the thermal time of a Gibbs state at the Unruh temperature.

Exercises Intermediate+

Exercise 3 (medium, symbolic).

Starting from the modular relation $Δ^{i t} = U (Λ_{1} (- 2 π t))$ , express the modular operator $Δ$ itself as an analytically continued boost, and identify the imaginary rapidity at which the boost equals $Δ$ .

Hint

Set $i t = 1$ , i.e. continue the boost parameter $s = - 2 π t$ to the value of $t$ that makes $Δ^{i t} = Δ^{1} = Δ$ .

Answer

Writing $Δ^{i t} = U (Λ_{1} (- 2 π t))$ and continuing to $t = - i$ gives $Δ = Δ^{i (- i)} = U (Λ_{1} (- 2 π \cdot (- i))) = U (Λ_{1} (2 π i))$ . So $Δ$ is the boost continued to imaginary rapidity $s = 2 π i$ , and $Δ^{1/2} = U (Λ_{1} (π i))$ is the continuation to rapidity $π i$ . The continuation is well-defined precisely because the wedge two-point functions are boundary values of functions holomorphic in the tube domain, which is the Bisognano-Wichmann analytic input. Rubric: full credit for $Δ = U (Λ_{1} (2 π i))$ with the imaginary-rapidity identification.

Exercise 4 (medium, short-answer).

Explain why the boost generator $K$ has spectrum equal to all of $R$ , whereas the time-translation Hamiltonian $H$ has spectrum bounded below, and why this difference is essential to the existence of the modular operator $Δ = U (Λ_{1} (2 π i))$ .

Hint

Recall the W5 spectrum condition for $H$ and how the modular operator must be a positive self-adjoint operator obtained by analytic continuation in a real parameter.

Answer

The W5 spectrum condition requires the joint spectrum of the energy-momentum operators to lie in the closed forward light cone, so $H = P^{0} \geq 0$ . The boost generator $K$ is a Lorentz generator, not a translation generator; it is unitarily conjugate to $- K$ by a rotation, so its spectrum is symmetric about $0$ and, being unbounded, equals all of $R$ . The modular operator $Δ = U (Λ_{1} (2 π i)) = e^{- 2 π K}$ must be positive and self-adjoint; this is consistent only because $K$ is self-adjoint with real spectrum, so $e^{- 2 π K}$ is a genuine positive operator. If one tried the same continuation with $H$ (a translation), the result $e^{- 2 π H}$ would be bounded but the geometry would not close up into a wedge symmetry, and there would be no separating vector to support the modular construction. The wedge boost is special: its orbits foliate the wedge and its imaginary continuation by $2 π$ implements the geometric reflection. Rubric: full credit for the symmetric-spectrum argument plus the positivity-of- $Δ$ point.

Exercise 5 (medium, short-answer).

Show that the modular conjugation $J = Θ U (R_{1} (π))$ maps the wedge algebra $R (W_{R})$ onto the algebra $R (W_{L})$ of the opposite (left) wedge, and explain how this realises Haag duality $R (W_{R})^{'} = R (W_{L})$ .

Hint

The geometric reflection $j_{W_{R}} : (x^{0}, x^{1}, x^{2}, x^{3}) \mapsto (- x^{0}, - x^{1}, x^{2}, x^{3})$ implemented by $J$ sends $W_{R}$ to $W_{L}$ , and the Tomita-Takesaki theorem gives $J R (W_{R}) J = R (W_{R})^{'}$ .

Answer

The composite $Θ U (R_{1} (π))$ implements on spacetime the map $j_{W_{R}} : (x^{0}, x^{1}, x^{2}, x^{3}) \mapsto (- x^{0}, - x^{1}, x^{2}, x^{3})$ : the TCP operator $Θ$ reflects all four coordinates and the $π$ -rotation about the $x^{1}$ -axis restores $x^{2}, x^{3}$ , leaving net reflection of $x^{0}$ and $x^{1}$ . This map carries $W_{R} = {x^{1} > ∣ x^{0} ∣}$ to $W_{L} = {x^{1} < - ∣ x^{0} ∣}$ , so $J R (W_{R}) J = R (j_{W_{R}} (W_{R})) = R (W_{L})$ . The Tomita-Takesaki theorem independently gives $J R (W_{R}) J = R (W_{R})^{'}$ . Comparing the two, $R (W_{R})^{'} = R (W_{L})$ , which is the Haag duality for the wedge — the Bisognano-Wichmann paper's titular "duality condition." Causally, $W_{L}$ is the causal complement of $W_{R}$ , so duality says the commutant of the wedge algebra is exactly the algebra of the causal complement. Rubric: full credit for the reflection computation plus the identification of duality with the commutant.

Exercise 6 (hard, short-answer).

Derive the Unruh temperature $T = a / (2 π)$ directly from the periodicity of the Euclidean Green's function, without invoking modular theory. Continue Minkowski time to Euclidean time $x^{0} = - i x_{E}^{0}$ , write the Rindler coordinates, and identify the period of the Euclidean angle.

Hint

In Rindler coordinates $x^{1} = ρ cosh (a τ)$ , $x^{0} = ρ sinh (a τ)$ ; the Euclidean continuation $τ \to - i τ_{E}$ turns the boost into a rotation by angle $θ = a τ_{E}$ . Smoothness of the Euclidean section at $ρ = 0$ requires $θ$ to be $2 π$ -periodic.

Answer

In the right wedge use $x^{1} = ρ cosh (a τ)$ , $x^{0} = ρ sinh (a τ)$ , so the metric becomes $d s^{2} = - ρ^{2} a^{2} d τ^{2} + d ρ^{2} + d x_{⊥}^{2}$ (with $ρ$ the proper distance from the horizon and $τ$ the proper time of the $ρ = 1/ a$ orbit). Continue $τ \to - i τ_{E}$ : the metric becomes $d s^{2} = ρ^{2} a^{2} d τ_{E}^{2} + d ρ^{2} + d x_{⊥}^{2}$ , which near $ρ = 0$ is the flat plane in polar coordinates $(ρ, θ)$ with angle $θ = a τ_{E}$ . The Euclidean section is smooth (no conical singularity at the horizon $ρ = 0$ ) only if $θ$ has period $2 π$ , i.e. $τ_{E}$ has period $2 π / a$ . A Green's function periodic in Euclidean time with period $β$ is a thermal (KMS) Green's function at inverse temperature $β$ , so $β = 2 π / a$ and $T = a / (2 π)$ . This is the same $2 π$ as the modular-flow factor: the conical-smoothness condition and the modular $Δ = U (Λ_{1} (2 π i))$ are two faces of one analytic continuation. Rubric: full credit for the conical-smoothness period plus the KMS identification $β = 2 π / a$ .

Exercise 7 (hard, short-answer).

The free massless scalar two-point function in $1 + 1$ dimensions, restricted to the Rindler wedge and expressed in the proper time $τ$ of an $a$ -accelerated worldline, takes the form $W (τ) \propto - ln sinh^{2} (a (τ - i ϵ) /2)$ up to additive constants. Show that this function is periodic in imaginary time with period $2 π / a$ and hence KMS at the Unruh temperature.

Hint

A function $f (τ)$ is KMS at inverse temperature $β$ if its analytic continuation satisfies $f (τ + i β) = f (- τ)$ (the boundary-value version of the KMS condition for a two-point function); use $sinh (z + iπ) = - sinh (z)$ .

Answer

Consider $W (τ) \propto - ln sinh^{2} (a τ /2)$ along the accelerated orbit. The KMS condition for a two-point function of a stationary state requires $W (τ - i β) = W (- τ)$ . Continue $τ \to τ - i β$ with $β = 2 π / a$ : then $a τ /2 \to a τ /2 - iπ$ , and $sinh (a τ /2 - iπ) = - sinh (a τ /2)$ since $sinh$ has imaginary period $2 π i$ and $sinh (z - iπ) = - sinh z$ . Squaring removes the sign: $sinh^{2} (a τ /2 - iπ) = sinh^{2} (a τ /2)$ . The function is therefore periodic under $τ \to τ - 2 π i / a$ , equivalently $W (τ - 2 π i / a) = W (τ)$ , and (using the reflection symmetry $W (τ) = W (- τ)$ of the static state) the KMS relation $W (τ - i β) = W (- τ)$ holds with $β = 2 π / a$ . Hence the wedge-restricted vacuum is thermal at $T = a / (2 π)$ , matching the abstract Bisognano-Wichmann result for this concrete free field. Rubric: full credit for the $sinh (z - iπ) = - sinh z$ periodicity argument plus the KMS identification.

Advanced results Master

The Bisognano-Wichmann theorem sits inside a web of structural results connecting modular theory, the geometry of wedges, and the existence of thermal states on horizons. The following sharpen and extend the basic theorem.

Theorem (Bisognano-Wichmann, full statement). Let $ϕ$ be a finite-component Wightman field on Minkowski space satisfying W1-W7, with vacuum $Ω$ . For the right wedge $W_{R}$ , the modular operator and modular conjugation of $(R (W_{R}), Ω)$ satisfy $$ \Delta^{it} = U(\Lambda_1(-2\pi t)), \qquad J = \Theta, U(R_1(\pi)), $$ where $U$ is the representation of the Poincaré group, $Θ$ the TCP operator, and $R_{1} (π)$ the rotation by $π$ about the $x^{1}$ -axis. Moreover the wedge satisfies Haag duality $R (W_{R})^{'} = R (W_{R}^{'})$ , where $W_{R}^{'} = W_{L}$ is the causal complement ^{[Bisognano-Wichmann 1975]}^{[Bisognano-Wichmann 1976]}.

The proof is analytic: the spectrum condition W5 makes the vacuum two-point Wightman distributions boundary values of functions holomorphic in the forward tube $R^{4} - i V^{+}$ . The Reeh-Schlieder theorem supplies cyclicity and separating-ness. The geometric heart is that the analytic continuation of the boost orbit by imaginary rapidity $π$ maps the wedge into its causal complement while exchanging the field with its TCP conjugate, which forces the Tomita operator $S = J Δ^{1/2}$ to coincide with the continued boost composed with TCP. The original Bisognano-Wichmann argument runs through the analyticity of the boost-covariant Wightman functions; Bisognano-Wichmann 1976 extended it from the scalar field to arbitrary finite-component fields and proved the wedge duality.

Theorem (Borchers' commutation theorem). Let $M$ be a von Neumann algebra with cyclic separating vector $Ω$ , and let $U (t) = e^{i tP}$ be a one-parameter group with positive generator $P \geq 0$ , $U (t) Ω = Ω$ , satisfying $U (t) M U (- t) \subseteq M$ for $t \geq 0$ (a "half-sided modular inclusion"). Then the modular data satisfy $$ \Delta^{is}U(t)\Delta^{-is} = U(e^{-2\pi s}t), \qquad J,U(t),J = U(-t). $$ This 1992 theorem of Hans-Jürgen Borchers ^{[Haag 1996]} is the abstract algebraic skeleton of Bisognano-Wichmann: it derives the commutation relations between the modular group and a positive-energy translation from the positivity of the generator alone, with no reference to fields. Half-sided modular inclusions, axiomatised by Wiesbrock, became the modern route to reconstructing the Poincaré group from a single wedge algebra and its modular data — the programme of "modular localisation" of Brunetti-Guido-Longo and Schroer.

Theorem (geometric modular action and the PCT theorem). If the net $O \mapsto R (O)$ has the Bisognano-Wichmann property for every wedge, the modular conjugations $J_{W}$ of the wedges generate a representation of the proper Poincaré group extended by spacetime reflections, and the modular conjugation of any one wedge supplies the PCT operator $Θ$ . The modular structure thus derives the PCT symmetry rather than assuming it — a reversal of the usual logic, in which PCT is proved from the Wightman axioms by the Jost analyticity argument. This is the content of the "geometric modular action" programme of Buchholz, Dreyer, Florig and Summers.

Theorem (Kay-Wald: bifurcate Killing horizons). Let $(M, g)$ be a globally hyperbolic spacetime with a bifurcate Killing horizon generated by a Killing field $χ$ whose flow has surface gravity $κ$ on the horizon. If a quasi-free Hadamard state $ω$ is invariant under the Killing flow and the flow acts ergodically on the horizon, then $ω$ is unique, and restricted to either side of the horizon it is KMS at the Hawking-Unruh temperature $T = κ / (2 π)$ with respect to the Killing flow ^{[Kay-Wald 1991]}. The Minkowski wedge is the special case $χ =$ boost, $κ = a$ at the orbit of acceleration $a$ ; the Schwarzschild Kruskal horizon is the case $χ = \partial_{t}$ , $κ = 1/ (4 M)$ , giving the Hartle-Hawking state and the Hawking temperature. This is the rigorous bridge from the flat-space Unruh effect to the curved-space Hawking effect.

Synthesis. The Bisognano-Wichmann theorem is the foundational reason the Unruh, Hawking, and Gibbons-Hawking temperatures all share the factor $2 π$ : in each case a one-parameter geometric symmetry — the boost, the horizon-generating Killing field, the de Sitter static-patch boost — is the Tomita-Takesaki modular flow of the vacuum on the region it preserves, and the modular flow is universally KMS at $β = 1$ in its own parametrisation. The central insight is the coincidence of geometry with algebra: the proper-time evolution along an accelerated worldline, an a priori purely kinematical Poincaré transformation, is identical to the intrinsic equilibrium dynamics that the vacuum state assigns to the wedge algebra through the modular operator $Δ = U (Λ_{1} (2 π i))$ . Putting these together, the abstract modular automorphism group identifies three structures — the boost subgroup of the Poincaré group, the modular flow of the wedge, and the thermal time of a Gibbs state at temperature $a / (2 π)$ — that have no reason to coincide outside this analytic miracle, and the $2 π$ that converts boost rapidity to Euclidean rotation angle is exactly the $2 π$ that the conical-smoothness condition at the horizon demands.

This is dual to the Euclidean / conical-deficit derivation: the modular-theoretic statement $Δ = U (Λ_{1} (2 π i))$ and the smoothness of the Euclidean section at $ρ = 0$ are two presentations of one analytic continuation of the boost to imaginary rapidity, and the pattern recurs at every Killing horizon through the Kay-Wald theorem. Borchers' commutation theorem strips the result to its essence — positivity of energy plus a cyclic separating vacuum forces the modular flow to scale translations geometrically — so that the entire Poincaré group, the PCT symmetry, and the thermal interpretation can be reconstructed from the modular data of a single wedge algebra, which is the deepest sense in which the vacuum knows the spacetime geometry.

Full proof set Master

Proposition (modular flow is KMS at $β = 1$ ). For a von Neumann algebra $M$ with cyclic separating vector $Ω$ , the vector state $ω_{Ω} = ⟨ Ω, \cdot Ω ⟩$ satisfies the KMS condition at inverse temperature $1$ with respect to the modular automorphism group $σ_{t} = Ad (Δ^{i t})$ .

Proof. Fix $A, B \in M$ . The identity $A^{*} Ω = S A Ω = J Δ^{1/2} A Ω$ shows $A Ω \in dom (Δ^{1/2})$ , and likewise $B Ω \in dom (Δ^{1/2})$ . By the spectral theorem write $Δ = \int_{0}^{\infty} λ d E (λ)$ ; for vectors $ξ, ζ$ in the relevant spectral domains, $z \mapsto ⟨ ξ, Δ^{z} ζ ⟩ = \int_{0}^{\infty} λ^{z} d ⟨ ξ, E (λ) ζ ⟩$ is holomorphic on any open strip where the integral converges absolutely, and continuous up to its closure.

Define $F (z) := ⟨ A^{*} Ω, Δ^{i z} B Ω ⟩$ . Since $Δ^{i z} = Δ^{- Im z} Δ^{i Re z}$ and $Δ^{s} B Ω$ is norm-bounded for $0 \leq s \leq 1$ (using $Δ^{1/2} B Ω = J B^{*} Ω \in dom (Δ^{1/2})$ at the right endpoint), the function $F$ is holomorphic on the strip $- 1 < Im z < 0$ and continuous on its closure.

On the lower edge $Im z = 0$ , using $Δ^{- i t} Ω = Ω$ , $$ \widehat F(t) = \langle A^\Omega, \Delta^{it}B\Omega\rangle = \langle\Omega, A,\Delta^{it}B\Delta^{-it}\Omega\rangle = \omega_\Omega(A,\sigma_t(B)). $$ On the edge $Im z = - 1$ , write $\widehat F(t - i) = \langle A^\Omega, \Delta^{it}\Delta,B\Omega\rangle $an d a ppl y, w i t h$ C := \sigma_t(B) \in \mathcal{M}$, the identity $$ \langle A^\Omega, \Delta, C\Omega\rangle = \langle \Delta^{1/2}A^\Omega, \Delta^{1/2}C\Omega\rangle = \langle JA\Omega, JC^\Omega\rangle = \langle C^\Omega, A\Omega\rangle = \omega_\Omega(CA), $$ so $F (t - i) = ω_{Ω} (σ_{t} (B) A)$ . Setting $F_{A, B} (z) := F (- z)$ produces a function holomorphic on $0 < Im z < 1$ with $F_{A, B} (t) = ω_{Ω} (A σ_{t} (B))$ and $F_{A, B} (t + i) = ω_{Ω} (σ_{t} (B) A)$ , which is the KMS condition at $β = 1$ . $□$

Proposition (rescaling of inverse temperature under reparametrised flow). If $ω$ is KMS at inverse temperature $β_{0}$ for the flow $α_{t}$ , and $γ_{s} := α_{cs}$ for a constant $c \neq = 0$ , then $ω$ is KMS at inverse temperature $β_{0} /∣ c ∣$ for $γ_{s}$ when $c > 0$ , with the strip orientation reversed when $c < 0$ .

Proof. Let $F_{A, B}$ be the KMS interpolant for $α_{t}$ at $β_{0}$ , holomorphic on $0 < Im z < β_{0}$ with $F_{A, B} (t) = ω (A α_{t} (B))$ and $F_{A, B} (t + i β_{0}) = ω (α_{t} (B) A)$ . Define $G_{A, B} (w) := F_{A, B} (c w)$ . The map $w \mapsto c w$ sends the strip ${0 < Im w < β_{0} / c}$ (for $c > 0$ ) bijectively and holomorphically onto ${0 < Im z < β_{0}}$ , so $G_{A, B}$ is holomorphic there. On the real axis $G_{A, B} (s) = F_{A, B} (cs) = ω (A α_{cs} (B)) = ω (A γ_{s} (B))$ , and on the upper edge $G_{A, B} (s + i β_{0} / c) = F_{A, B} (cs + i β_{0}) = ω (α_{cs} (B) A) = ω (γ_{s} (B) A)$ . So $ω$ is KMS at inverse temperature $β_{0} / c$ for $γ_{s}$ . For $c < 0$ the affine map flips the strip, exchanging the two boundary conditions; this corresponds to $γ_{s}$ being the time-reverse of $α_{t}$ , and $ω$ is KMS at $β_{0} /∣ c ∣$ for the reversed flow. Applying this with $α_{t} = σ_{t}$ (modular flow, $β_{0} = 1$ ) and $c = - 2 π$ via $σ_{t} = β_{- 2 π t}$ , i.e. $β_{s} = σ_{- s /2 π}$ , yields the boost KMS condition at $β = 2 π$ used in the Key theorem. $□$

Proposition (Unruh temperature from surface gravity of the boost orbit). The orbit $x^{1}^{2} - x^{0}^{2} = a^{- 2}$ of the boost $Λ_{1}$ in $W_{R}$ is the worldline of proper acceleration $a$ , and its proper time $τ$ relates to the boost rapidity $s$ by $s = a τ$ . Hence the boost KMS temperature $β = 2 π$ corresponds to a proper-time temperature $T = a / (2 π)$ .

Proof. Parametrise the orbit by $x^{0} (s) = a^{- 1} sinh s$ , $x^{1} (s) = a^{- 1} cosh s$ . The four-velocity is $u^{μ} = d x^{μ} / d τ$ . Computing the Minkowski arclength, $d τ^{2} = - η_{μν} d x^{μ} d x^{ν} = a^{- 2} (cosh^{2} s - sinh^{2} s) d s^{2} = a^{- 2} d s^{2}$ , so $τ = s / a$ along the orbit (the orbit at $ρ = 1/ a$ is timelike with unit-normalised proper time). The four-acceleration is $α^{μ} = d u^{μ} / d τ$ ; from $u^{0} = cosh s$ , $u^{1} = sinh s$ and $d / d τ = a d / d s$ one finds $α^{0} = a sinh s$ , $α^{1} = a cosh s$ , with magnitude $η_{μν} α^{μ} α^{ν} = a cosh^{2} s - sinh^{2} s = a$ . So the orbit has constant proper acceleration $a$ and the boost generator, restricted to it, advances proper time at rate $d τ / d s = 1/ a$ . A state KMS at inverse temperature $2 π$ in the boost parameter $s$ is, after the substitution $s = a τ$ , KMS at inverse temperature $2 π / a$ in $τ$ (by the reparametrisation proposition with $c = a$ ), hence thermal at $T = a / (2 π)$ . $□$

Theorem (Bisognano-Wichmann modular operator), stated with proof outline — see Bisognano-Wichmann 1975 J. Math. Phys. 16 985 ^{[Bisognano-Wichmann 1975]}. The full identification $Δ^{i t} = U (Λ_{1} (- 2 π t))$ requires the analytic-continuation machinery of Wightman functions and is given in the original papers. The structure: (i) the boost-covariant Wightman functions extend holomorphically to a tube domain by the W5 spectrum condition; (ii) the Reeh-Schlieder theorem gives the cyclic separating vacuum, so the modular operator exists; (iii) the boost continued to imaginary rapidity $π$ maps $W_{R}$ -supported test functions to $W_{L}$ -supported ones while implementing TCP conjugation; (iv) matching the analytic continuation of the vacuum expectation values on both sides forces $S = Θ U (R_{1} (π)) U (Λ_{1} (π i))$ , whence $Δ^{1/2} = U (Λ_{1} (π i))$ and $J = Θ U (R_{1} (π))$ by uniqueness of the polar decomposition. Borchers' 1992 theorem reproves (iii)-(iv) from energy positivity alone.

Connections Master

Hadamard states via the wave-front-set criterion 13.09.03. The Minkowski vacuum is the flat-space prototype of a Hadamard state, and its wave-front set lies on the positive-frequency half of the bicharacteristic relation. Restricting to the Rindler wedge, the modular (boost) flow propagates the wave-front set along the boost orbits, which are the flat-space bicharacteristics of the d'Alembertian on the wedge. The KMS / thermal structure of the wedge-restricted vacuum is consistent with the Hadamard condition precisely because the Bogoliubov transformation to Rindler modes preserves the short-distance singularity that the Radzikowski criterion fixes. The Unruh effect is thus the simplest substantive example of a Hadamard state appearing thermal on a sub-region.
Wightman axioms W1-W7 08.10.07. The Bisognano-Wichmann theorem is a theorem about a field satisfying the Wightman axioms: the spectrum condition W5 supplies the tube-domain holomorphy of the vacuum correlation functions, Poincaré covariance W3 supplies the boost representation $U (Λ_{1} (s))$ , and the axioms together yield the Reeh-Schlieder cyclic-separating property that makes the modular operator exist. Without the axiom system there is no analytic continuation and no modular geometrisation; the theorem is one of the deepest structural consequences of the Wightman framework.
Bunch-Davies state on de Sitter 13.09.08. The Gibbons-Hawking thermal property of the Bunch-Davies vacuum is the de Sitter analog of the Unruh effect. The static-patch boost of de Sitter is the modular flow of the static-patch wedge algebra in the Bunch-Davies state, by the de Sitter version of the Bisognano-Wichmann theorem, and the Bunch-Davies vacuum restricts to a KMS state at the Gibbons-Hawking temperature $T_{d S} = H / (2 π)$ . The two units share one mechanism: a maximally symmetric vacuum, a region preserved by a boost-like Killing field, and the modular identification that turns the boost into thermal time.
Hawking radiation 13.06.04. The Unruh effect is the near-horizon flat-space limit of the Hawking effect. The surface gravity $κ$ of a black-hole horizon plays the role of the proper acceleration $a$ , and the near-horizon geometry of any non-extremal black hole is approximately the Rindler wedge, so the Hawking temperature $T_{H} = κ / (2 π)$ is the Unruh temperature of an observer hovering just outside the horizon. The Kay-Wald theorem makes this rigorous by extending the wedge-modular argument to a bifurcate Killing horizon, with the Hartle-Hawking state as the horizon analog of the Minkowski vacuum.
Klein-Gordon equation on a globally hyperbolic spacetime 13.09.02. The concrete realisation of the Unruh effect for a free field uses the Klein-Gordon Cauchy problem of 13.09.02: the Rindler quantisation expands the field in modes adapted to the boost Killing field rather than the inertial time, and the Bogoliubov coefficients between Minkowski and Rindler modes encode the thermal occupation numbers. The causal propagator $E = E^{+} - E^{-}$ on the wedge and its restriction supply the symplectic structure whose quasi-free vacuum is the wedge-restricted Minkowski state.

Historical & philosophical context Master

The Unruh effect and the Bisognano-Wichmann theorem arose independently and converged. William Unruh, working on the conceptual underpinnings of Hawking's 1974/1975 black-hole evaporation result, asked in 1976 ^{[Unruh 1976]} what a uniformly accelerated particle detector registers in the Minkowski vacuum and found, via a Bogoliubov-coefficient calculation in the Rindler quantisation of Stephen Fulling ^{[Fulling 1973]}, a thermal response at $T = a / (2 π)$ . Unruh's motivation was to clarify that the Hawking temperature is observer-relative and tied to horizons rather than to curvature: the flat-space accelerated observer already sees thermality, with no gravity at all. The detector argument was heuristic — a two-level system coupled to the field, with the transition rate computed in first-order perturbation theory — and the resulting temperature was read off the Planckian form of the detector's excitation spectrum.

The rigorous algebraic counterpart had appeared one year earlier in a different community. Joseph Bisognano and Eyvind Wichmann, in two papers of 1975 and 1976 ^{[Bisognano-Wichmann 1975]}^{[Bisognano-Wichmann 1976]}, were studying the "duality condition" for the local algebras of a Wightman field — whether the commutant of a wedge algebra equals the algebra of the causal complement. To prove it they computed the Tomita-Takesaki modular operator of the wedge algebra in the vacuum and discovered it to be the analytically continued Lorentz boost. The modular theory itself was recent: Minoru Tomita's 1967 preprint, made rigorous and publicised by Masamichi Takesaki's 1970 lecture notes ^{[Tomita 1967]}, had supplied the modular operator $Δ$ and conjugation $J$ for any von Neumann algebra with a cyclic separating vector. The KMS condition characterising thermal equilibrium had been imported into algebraic quantum theory by Rudolf Haag, Nico Hugenholtz and Marinus Winnink in 1967 ^{[Haag-Hugenholtz-Winnink 1967]}, named for the Kubo-Martin-Schwinger analyticity of thermal Green's functions, and the Tomita-Takesaki theorem's identification of the modular flow as the canonical KMS dynamics was understood by the early 1970s through the work of Takesaki and of Winnink.

The synthesis was made explicit by Geoffrey Sewell in 1982 ^{[Sewell 1982]}, who recognised that the Bisognano-Wichmann modular automorphism, combined with the universal KMS property of modular flow, gives the Unruh effect a status independent of any detector model: the wedge-restricted vacuum is a KMS state at the Unruh temperature, full stop. Sewell also formulated the general bifurcate-Killing-horizon version, later sharpened by Bernard Kay and Robert Wald in 1991 ^{[Kay-Wald 1991]} into a uniqueness-and-thermality theorem covering Schwarzschild and de Sitter as special cases. Hans-Jürgen Borchers in 1992 ^{[Haag 1996]} distilled the algebraic content into a commutation theorem requiring only energy positivity, which seeded the modular-localisation programme of Bert Schroer, Roberto Longo, and others, in which the Poincaré group and even the field content are reconstructed from the modular data of wedge algebras. The Unruh effect thus migrated from a heuristic detector calculation to a cornerstone of algebraic quantum field theory, and the factor $2 π$ that Unruh extracted from a Planck spectrum is the same $2 π$ that closes the Euclidean section smoothly and that fixes the period of the modular flow.

Bibliography Master

@article{BisognanoWichmann1975,
  author  = {Bisognano, Joseph J. and Wichmann, Eyvind H.},
  title   = {On the duality condition for a {H}ermitian scalar field},
  journal = {J. Math. Phys.},
  volume  = {16},
  year    = {1975},
  pages   = {985--1007}
}

@article{BisognanoWichmann1976,
  author  = {Bisognano, Joseph J. and Wichmann, Eyvind H.},
  title   = {On the duality condition for quantum fields},
  journal = {J. Math. Phys.},
  volume  = {17},
  year    = {1976},
  pages   = {303--321}
}

@article{Unruh1976,
  author  = {Unruh, William G.},
  title   = {Notes on black-hole evaporation},
  journal = {Phys. Rev. D},
  volume  = {14},
  year    = {1976},
  pages   = {870--892}
}

@article{Sewell1982,
  author  = {Sewell, Geoffrey L.},
  title   = {Quantum fields on manifolds: {PCT} and gravitationally induced thermal states},
  journal = {Ann. Phys.},
  volume  = {141},
  year    = {1982},
  pages   = {201--224}
}

@book{Takesaki1970,
  author    = {Takesaki, Masamichi},
  title     = {Tomita's Theory of Modular {H}ilbert Algebras and Its Applications},
  series    = {Lecture Notes in Mathematics},
  volume    = {128},
  publisher = {Springer-Verlag},
  year      = {1970}
}

@article{HaagHugenholtzWinnink1967,
  author  = {Haag, Rudolf and Hugenholtz, N. M. and Winnink, Marinus},
  title   = {On the equilibrium states in quantum statistical mechanics},
  journal = {Comm. Math. Phys.},
  volume  = {5},
  year    = {1967},
  pages   = {215--236}
}

@book{Haag1996,
  author    = {Haag, Rudolf},
  title     = {Local Quantum Physics: Fields, Particles, Algebras},
  edition   = {2},
  publisher = {Springer-Verlag},
  year      = {1996}
}

@book{BratteliRobinson1987,
  author    = {Bratteli, Ola and Robinson, Derek W.},
  title     = {Operator Algebras and Quantum Statistical Mechanics, Vol. 1},
  edition   = {2},
  publisher = {Springer-Verlag},
  year      = {1987}
}

@article{ReehSchlieder1961,
  author  = {Reeh, Helmut and Schlieder, Siegfried},
  title   = {Bemerkungen zur {U}nit{\"a}r{\"a}quivalenz von {L}orentzinvarianten {F}eldern},
  journal = {Nuovo Cimento},
  volume  = {22},
  year    = {1961},
  pages   = {1051--1068}
}

@article{Fulling1973,
  author  = {Fulling, Stephen A.},
  title   = {Nonuniqueness of canonical field quantization in {R}iemannian space-time},
  journal = {Phys. Rev. D},
  volume  = {7},
  year    = {1973},
  pages   = {2850--2862}
}

@article{KayWald1991,
  author  = {Kay, Bernard S. and Wald, Robert M.},
  title   = {Theorems on the uniqueness and thermal properties of stationary, nonsingular, quasifree states on spacetimes with a bifurcate {K}illing horizon},
  journal = {Phys. Rep.},
  volume  = {207},
  year    = {1991},
  pages   = {49--136}
}

@article{Borchers1992,
  author  = {Borchers, Hans-J{\"u}rgen},
  title   = {The {CPT}-theorem in two-dimensional theories of local observables},
  journal = {Comm. Math. Phys.},
  volume  = {143},
  year    = {1992},
  pages   = {315--332}
}

@book{Wald1994,
  author    = {Wald, Robert M.},
  title     = {Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics},
  publisher = {University of Chicago Press},
  year      = {1994}
}

@article{CrispinoHiguchiMatsas2008,
  author  = {Crispino, Lu{\'\i}s C. B. and Higuchi, Atsushi and Matsas, George E. A.},
  title   = {The {U}nruh effect and its applications},
  journal = {Rev. Mod. Phys.},
  volume  = {80},
  year    = {2008},
  pages   = {787--838}
}

Prerequisites

13.09.01
13.09.02
13.09.03
08.10.07

Tier anchors

beginner: Wald, *Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics* (Chicago, 1994), Ch. 5 (the heuristic Rindler-wedge picture and the thermal interpretation of the accelerated detector); Crispino, Higuchi and Matsas, *Rev. Mod. Phys.* 80 (2008) 787 (review-level survey of the Unruh effect)
intermediate: Wald, *Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics* (Chicago, 1994), Ch. 5; Haag, *Local Quantum Physics* (Springer, 2nd ed. 1996), §V.4 (modular theory and the Bisognano-Wichmann property); Gérard, *Microlocal Analysis of Quantum Fields on Curved Spacetimes* (EMS, 2019), Ch. 10
master: Bisognano and Wichmann, *J. Math. Phys.* 16 (1975) 985 and 17 (1976) 303; Sewell, *Ann. Phys.* 141 (1982) 201; Bratteli and Robinson, *Operator Algebras and Quantum Statistical Mechanics* vol. 1 (Springer, 2nd ed. 1987), §2.5 (Tomita-Takesaki theory and KMS states); Haag, *Local Quantum Physics* (Springer, 2nd ed. 1996), §V.4; Gérard, *Microlocal Analysis of Quantum Fields on Curved Spacetimes* (EMS, 2019), Ch. 10

References

Bisognano, J. J. & Wichmann, E. H. — 'On the duality condition for a Hermitian scalar field', J. Math. Phys. 16 (1975) 985 · The originating theorem: for a Wightman field, the Tomita-Takesaki modular operator of the wedge algebra in the vacuum is the analytically continued boost, and the modular conjugation is the TCP-times-rotation operator. Part I establishes the modular structure of the right wedge.
Bisognano, J. J. & Wichmann, E. H. — 'On the duality condition for quantum fields', J. Math. Phys. 17 (1976) 303 · Part II: the duality (Haag duality) condition for the wedge, the extension from the scalar field to arbitrary finite-component Wightman fields, and the geometric action of the modular conjugation.
Unruh, W. G. — 'Notes on black-hole evaporation', Phys. Rev. D 14 (1976) 870 · The originating heuristic derivation of the thermal response of a uniformly accelerated detector at temperature T = a/(2 pi); the particle-detector model and the Rindler-quantisation Bogoliubov-coefficient calculation.
Sewell, G. L. — 'Quantum fields on manifolds: PCT and gravitationally induced thermal states', Ann. Phys. 141 (1982) 201 · The rigorous packaging of the Unruh effect: the Bisognano-Wichmann modular automorphism identifies the wedge-restricted vacuum as a KMS state at the Unruh temperature with respect to the boost; the general bifurcate-Killing-horizon version.
Tomita, M. — 'On canonical forms of von Neumann algebras' (preprint, 1967); Takesaki, M. — Tomita's Theory of Modular Hilbert Algebras and Its Applications, Lecture Notes in Math. 128 (Springer, 1970) · The modular theory of a von Neumann algebra with a cyclic separating vector: the modular operator Delta, modular conjugation J, and the modular automorphism group sigma_t = Ad(Delta^{it}).
Haag, R., Hugenholtz, N. M. & Winnink, M. — 'On the equilibrium states in quantum statistical mechanics', Comm. Math. Phys. 5 (1967) 215 · The KMS condition as the algebraic characterisation of thermal equilibrium states; the analyticity strip and the boundary-value condition omega(A sigma_{i beta}(B)) = omega(BA).
Haag, R. — Local Quantum Physics: Fields, Particles, Algebras (Springer, 2nd ed. 1996) · §V.4 (the modular theory of local algebras, the Bisognano-Wichmann property, and geometric modular action); §V.1-V.2 (algebraic framework and the Reeh-Schlieder theorem giving the cyclic separating vacuum).
Bratteli, O. & Robinson, D. W. — Operator Algebras and Quantum Statistical Mechanics, Vol. 1 (Springer, 2nd ed. 1987) · §2.5 (Tomita-Takesaki modular theory and the proof that a modular automorphism group satisfies the KMS condition at beta = 1); the canonical operator-algebra reference.
Reeh, H. & Schlieder, S. — 'Bemerkungen zur Unitäräquivalenz von Lorentzinvarianten Feldern', Nuovo Cimento 22 (1961) 1051 · The Reeh-Schlieder theorem: the vacuum is cyclic and separating for the local algebra of any open region with non-empty causal complement; the hypothesis that makes Tomita-Takesaki theory applicable to wedge algebras.
Wald, R. M. — Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics (Chicago, 1994) · Ch. 5 (the Unruh effect, Rindler quantisation, the thermal interpretation, and the relation to the Hawking effect); the physicist-side textbook treatment.
Crispino, L. C. B., Higuchi, A. & Matsas, G. E. A. — 'The Unruh effect and its applications', Rev. Mod. Phys. 80 (2008) 787 · Comprehensive review of the Unruh effect: detector models, the Bogoliubov-coefficient derivation, the algebraic / modular derivation, and proposed experimental signatures.
Fulling, S. A. — 'Nonuniqueness of canonical field quantization in Riemannian space-time', Phys. Rev. D 7 (1973) 2850 · The Rindler quantisation: the inequivalent particle notion of the uniformly accelerated frame; the Boulware vacuum and the origin of the Bogoliubov mixing that the Unruh temperature measures.
Kay, B. S. & Wald, R. M. — 'Theorems on the uniqueness and thermal properties of stationary, nonsingular, quasifree states on spacetimes with a bifurcate Killing horizon', Phys. Rep. 207 (1991) 49 · The generalisation of the wedge-vacuum thermal property to a Hadamard state invariant under a bifurcate Killing horizon flow; the Hartle-Hawking-Israel state and the abstract Unruh/Hawking mechanism.

Estimated time

beginner: 18m
intermediate: 42m
master: 70m