Rindler Wedges and the Bisognano–Wichmann Theorem

The Bisognano–Wichmann theorem is the paradigmatic geometric modular-flow result. For a Poincaré-covariant vacuum QFT, the modular group of a wedge algebra is the Lorentz-boost group preserving that wedge, with a fixed $2\pi$ conversion between dimensionless modular parameter and rapidity. This is a theorem under specific net, locality, spectrum, and vacuum hypotheses—not a template that can be assigned to every region or state.

Required background. Microcausality supplies locality, stress-tensor charges supplies the boost generator when a stress tensor exists, and Tomita–Takesaki flow supplies the modular group.

Helpful background. Thermal KMS states explain the Unruh-temperature reading, while local region algebras fix the subsystem.

Wedge geometry and boost normalization

In Minkowski coordinates with the site’s $(+---)$ metric, take the right wedge

W_R=\{x:x^1>\lvert x^0\rvert\}.

The boost of rapidity $\eta$ in the $(x^0,x^1)$ plane is

\begin{aligned} x^{0\prime}&=x^0\cosh\eta+x^1\sinh\eta,\\ x^{1\prime}&=x^1\cosh\eta+x^0\sinh\eta, \end{aligned}

and preserves $W_R$ . Let $\mathcal A(W_R)$ be the wedge algebra, $\Omega$ the Poincaré-invariant vacuum, and $U(\Lambda_R(\eta))$ the unitary boost representation. In the modular convention

\sigma_s(A)=\Delta_{W_R}^{is}A\Delta_{W_R}^{-is},

the theorem gives

\Delta_{W_R}^{is}=U(\Lambda_R(-2\pi s)).

Changing the sign used for the boost generator or defining modular flow with $\Delta^{-is}$ reverses the displayed sign; the magnitude $2\pi$ is invariant. An exact statement should always display both the modular and geometric actions.

On the $t=0$ Cauchy surface, the corresponding one-sided vacuum modular Hamiltonian of the right half-space is conventionally written

K_R=2\pi\int_{x^1>0}d^{d-1}x\;x^1T_{00}(0,\mathbf x)+c.

The constant $c$ is relevant only in a regulated density-matrix normalization and drops from adjoint flow. The algebraic full modular generator has the complementary left-wedge contribution with the opposite sign.

The structural map places Rindler Wedges and the Bisognano–Wichmann Theorem between intrinsic modular data and the additional hypotheses that permit a geometric interpretation.

A standard algebra-state pair determines the Tomita operator, modular conjugation, modular flow, and relative modular data; only additional covariance or conformal hypotheses turn the flow into wedge or ball geometry. — Tomita polar decomposition intrinsically produces $J$ and $\Delta$ . Wedge boosts and CFT ball flow are special consequences of locality, covariance, the spectrum condition, the vacuum, and—only for the ball—the conformal map. The diagram is schematic and not to scale.

Hypotheses doing the work

The original theorem is formulated for Wightman fields in Bisognano and Wichmann 1975, pp. 985–1007 and was subsequently placed in algebraic-QFT settings. The essential ingredients are:

a unitary positive-energy representation of the proper orthochronous Poincaré group;
a unique invariant vacuum vector;
covariance of the net and locality between spacelike-separated algebras;
a wedge algebra for which the vacuum is cyclic and separating;
the appropriate field-domain and analyticity properties.

Positive energy produces analyticity in complexified boosts. Locality supplies the boundary relation that identifies the analytic continuation with the Tomita operation. Uniqueness of the polar decomposition then fixes the modular unitary group. The same analysis identifies modular conjugation with a wedge reflection combined with the required antiunitary and internal operations.

Merely observing that boosts preserve $W_R$ is insufficient. Many one-parameter groups preserve a set, but only the KMS/Tomita boundary condition fixes the modular parametrization and its $2\pi$ factor.

Rindler observers and the Unruh temperature

An observer on the orbit

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

has proper acceleration $a$ and boost rapidity $\eta=a\tau$ . Because the vacuum restricted to the wedge is KMS with unit modular period and $\eta=2\pi$ times modular time in magnitude, the proper-time inverse temperature is

\beta_{\rm U}=\frac{2\pi}{a}, \qquad T_{\rm U}=\frac{a}{2\pi}.

This is a statement about detector response or wedge observables along the uniformly accelerated trajectory. It does not turn the global Minkowski vacuum into a thermal density matrix on a factorized continuum Hilbert space.

Checks and boundaries

Three quick checks protect the normalization:

the weight $x^1$ gives a dimensionless $K_R$ because $T_{00}$ has dimension $d$ and $d^{d-1}x\,x^1$ has dimension $-d$ ;
the boost vector vanishes on the entangling plane $x^1=0$ at $t=0$ ;
translating rapidity to proper time reproduces $T_{\rm U}=a/(2\pi)$ .

The theorem does not establish local modular Hamiltonians for bounded regions in massive QFT, for arbitrary excited states, or after a regulator that breaks Lorentz symmetry. Small shape or state perturbations may be controlled, but their correction generally includes null, bilocal, or more complicated terms. Curved Killing horizons require separate geometric and state hypotheses and are outside this page.

Common pitfalls

Dropping the $2\pi$ . A boost that preserves the wedge is not yet the modular flow. KMS analyticity fixes the conversion between rapidity and modular parameter.

Using the one-sided integral as the universal definition. It is a special local representative of the wedge result. The continuum definition remains the modular operator of the algebra–vacuum pair.

Extending the theorem by visual analogy. A region that resembles a wedge locally does not inherit exact global boost flow. State the approximation and its error if only a near-surface limit is used.

Before assigning geometric meaning to this modular statement, use the validity map to check standardness, spectral domains, normalization, geometric hypotheses, and approximation control independently.

A decision map separates exact modular conclusions from failures caused by missing faithfulness, uncontrolled operator domains, absent geometric theorems, or perturbative nonlocal kernels. — A modular-flow claim is only as strong as its algebra–state standardness, spectral domain, normalization, geometric hypotheses, and approximation control. Dashed branches mark conditional steps; the terminal warnings identify common out-of-domain uses. The diagram is schematic and not to scale.

References

Bisognano, Joseph J., and Eyvind H. Wichmann. “On the Duality Condition for a Hermitian Scalar Field.” Journal of Mathematical Physics 16 (1975): 985–1007. DOI.