The Bisognano–Wichmann Theorem and Geometric Modular Action

The Bisognano–Wichmann theorem identifies the abstract modular objects of a wedge algebra in the vacuum representation with spacetime transformations. For the right wedge and the convention $\sigma_t=\operatorname{Ad}\Delta^{it}$, modular flow is the Lorentz boost of rapidity $-2\pi t$; modular conjugation implements the wedge reflection together with the CPT and spin data appropriate to the field theory. This is not a theorem about arbitrary regions or states. Its free-scalar KMS consequence is used on the Unruh effect and uniformly accelerated detectors.

Required background. Haag–Kastler nets and locality supplies wedge algebras; CPT theorem variants and their hypotheses supplies the antiunitary reflection data; standard von Neumann algebras and Tomita–Takesaki theory supplies modular operators; and modular automorphisms, conjugations, and standard forms fixes the convention.

Helpful background. Rindler wedges and the Bisognano–Wichmann theorem gives the physical geometry, while ball regions and conformal modular Hamiltonians explains a distinct conformal extension.

Wedge geometry and boost normalization

In $(+---)$ signature, take

$$W_R=\{x\in\mathbb R^{1,3}:x^1>|x^0|\}.$$

The one-parameter boosts preserving $W_R$ are

$$\begin{pmatrix}x^{0}\\x^{1}\end{pmatrix} \longmapsto \begin{pmatrix} \cosh\chi&\sinh\chi\\ \sinh\chi&\cosh\chi \end{pmatrix} \begin{pmatrix}x^{0}\\x^{1}\end{pmatrix}.$$

Let $\mathcal M_R=\mathcal A(W_R)$ and let $\Omega$ be the unique Poincaré-invariant vacuum. Under the Wightman hypotheses—positive Hilbert-space metric, tempered covariant fields, spectrum condition, locality, and the domain/field-generation assumptions used in the theorem—$\Omega$ is cyclic and separating for $\mathcal M_R$. Its Tomita data are therefore defined.

The theorem states

$$\Delta_R^{it} =U\!\left(\Lambda_R(-2\pi t)\right), \qquad t\in\mathbb R,$$

as unitaries on all of $\mathcal H$, and consequently

$$\Delta_R^{it}\mathcal M_R\Delta_R^{-it} =\mathcal M_R.$$

For a Hermitian scalar field, $J_R$ is the antiunitary implementing the reflection $j_R:(x^0,x^1,\mathbf x_\perp)\mapsto(-x^0,-x^1,\mathbf x_\perp)$ in the corresponding CPT representation. For charged or spinorial multiplets, rotations, charge conjugation, and the statistics twist must be included with the theorem’s field convention. The scalar result is proved in Bisognano and Wichmann 1975, pp. 985–1007; the extension to general boson and fermion fields is Bisognano and Wichmann 1976, pp. 303–321.

At the net level, “Bisognano–Wichmann property” names this identification and is an additional property unless it has been derived from stronger assumptions. Locality and covariance by themselves do not force the modular group of every covariant net to be the boosts.

Why analytic continuation fixes the modular data

The proof starts on a dense set of finite products of smeared fields whose supports lie in $W_R$. Positive energy gives analytic continuation of boost-transformed matrix elements into a strip of complex rapidity. Continuing by imaginary rapidity $i\pi$ reverses the wedge in the $(x^0,x^1)$ plane. Locality reverses the field ordering at the spacelike boundary, while CPT and the finite-dimensional Lorentz representation supply the reflected fields and spin phases.

These boundary identities show that the geometrically defined antilinear operator agrees with

$$S_R(A\Omega)=A^*\Omega$$

on a Tomita core. Uniqueness of polar decomposition then identifies its positive factor with the boosts and its antiunitary factor with the reflected CPT action. This is a domain argument: the complex boosts act first on analytic vectors, and equality of the closed operators is obtained only after the core has been controlled.

An independent sign check uses $t=-i/2$. The rapidity in $\Lambda_R(-2\pi t)$ becomes $i\pi$, which sends $(x^0,x^1)$ to $(-x^0,-x^1)$ and exchanges $W_R$ with the opposite wedge. This is the geometric operation expected at the $J\Delta^{1/2}$ boundary.

Vacuum KMS relation and the free scalar

For $A,B\in\mathcal A(W_R)$ analytic under boosts, define

$$F(t) =\langle\Omega, U(\Lambda_R(-2\pi t))B U(\Lambda_R(2\pi t))A\Omega\rangle.$$

Tomita–Takesaki theory supplies an analytic continuation to the unit strip with the upper boundary equal to the reversed product. In boost rapidity $\chi=-2\pi t$, the same statement is a KMS relation with period $2\pi$.

For the free massive scalar, the one-particle boost representation and second quantization give the displayed modular unitary. If a uniformly accelerated orbit has rapidity $\chi=a\tau$, then comparing $\chi=a\tau$ with $-2\pi t$ converts the modular strip to physical inverse temperature

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

This establishes the wedge-vacuum KMS relation. Turning that relation into a detector response additionally requires a detector coupling, switching/long-time limit, and trajectory; geometric modular action alone is not every operational statement called the Unruh effect.

Adversarial test: a massive double cone

Replace $W_R$ by a generic bounded double cone $\mathcal O$ in a massive theory. Reeh–Schlieder still makes $(\mathcal A(\mathcal O),\Omega)$ standard, so an abstract modular group exists. But no Lorentz-boost subgroup preserves $\mathcal O$, and the Bisognano–Wichmann theorem supplies no alternative local geometric flow for it. The modular action is generally nongeometric.

Conformal theories can map wedges to balls and obtain geometric ball flow under additional conformal covariance. That is a new theorem with new hypotheses, not a consequence of applying the massive wedge formula to a different region.

Exercises

Derive the proper-time KMS period for a uniformly accelerated orbit from the modular normalization.

Solution

The modular parameter has imaginary period $i$. Since boost rapidity is $\chi=-2\pi t$, shifting $t\mapsto t+i$ shifts $\chi\mapsto\chi-2\pi i$. Along an orbit $\chi=a\tau$, this corresponds to $\tau\mapsto\tau-2\pi i/a$. Thus the magnitude of the physical inverse temperature is $2\pi/a$. The sign depends on the orientation chosen for boost and modular parameters, while the positive temperature does not.

References

• Bisognano, Joseph J., and Eyvind H. Wichmann. 1975. “On the Duality Condition for a Hermitian Scalar Field.” Journal of Mathematical Physics 16: 985–1007. DOI.
• Bisognano, Joseph J., and Eyvind H. Wichmann. 1976. “On the Duality Condition for Quantum Fields.” Journal of Mathematical Physics 17: 303–321. DOI.