Rindler Wedges and the Bisognano–Wichmann Theorem

The Bisognano–Wichmann theorem identifies the modular group of a vacuum wedge algebra with the Lorentz boosts preserving that wedge. The statement is exact for the Wightman-field theories covered by the theorem, and in other algebraic formulations only when the Bisognano–Wichmann property has been established separately. Poincaré covariance and a vacuum vector alone do not imply it.

Required background. Microcausality supplies the spacelike commutation relation used at the analytic boundary, stress-tensor charges identify a boost charge when a stress tensor exists, and Tomita–Takesaki flow supplies the intrinsic modular group of a standard algebra–vacuum pair.

Helpful background. Thermal KMS states explain the Unruh-temperature interpretation, while local region algebras distinguish an algebraic restriction from a Hilbert-space tensor factor.

The chapter’s route from standard pairs to geometric flow separates the intrinsic theorem from its geometric input. Compare the wedge row in the representative-flow table, then use the claim-licensing checklist before exporting the result to another state, region, or regulator.

Wedge geometry fixes the normalization

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

$$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}$$

It preserves $W_R$. Fix the covariance convention

$$U(\Lambda)\,\mathcal A(O)\,U(\Lambda)^*=\mathcal A(\Lambda O)$$

and the modular convention

$$\sigma_s(A)=\Delta_{W_R}^{is}A\Delta_{W_R}^{-is}, \qquad K_{W_R}=-\log\Delta_{W_R}.$$

Then the Bisognano–Wichmann relation is

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

Thus positive modular time moves points with rapidity $\eta=-2\pi s$ in this convention. Defining the flow with $\Delta^{-is}$ reverses the direction, but it cannot change the magnitude $2\pi$. In the equivalent convention used in many theorem statements,

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

The shared wedge–ball diagram makes the geometric relationship visible: inspect how wedge boost orbits become diamond-preserving ball trajectories while the entangling boundaries remain fixed.

For the wedge, the geometric identification uses Poincaré covariance, locality, positive energy, an invariant vacuum, wedge standardness, and the analytic field control of the Bisognano–Wichmann theorem. For the ball it additionally uses conformal covariance, a CFT vacuum, and a round entangling sphere. The displayed stress-tensor charges are one-sided regulated or split representatives; the intrinsic continuum objects are the modular operators. With $\sigma_s=\operatorname{Ad}\Delta^{is}$, positive $s$ follows $\eta=-2\pi s$ in the wedge and $dx_s/ds=-\zeta_B$ in the ball. Schematic; not to scale.

The original scalar-field theorem and its extension to finite-component boson and fermion fields establish this boost–modular identification through complex Lorentz analyticity and the Tomita polar decomposition Bisognano and Wichmann 1975, Theorem 1 and pp. 985–1007; Bisognano and Wichmann 1976, §III, pp. 306–309 and Theorem 1, p. 310.

What the theorem assumes

The 1975 theorem treats a Hermitian scalar Wightman field. The 1976 extension allows a collection of finite-component, local or relatively local boson and fermion fields. Its working hypotheses include:

• a strongly continuous unitary representation of the proper orthochronous Poincaré group;
• the spectrum condition for translations and a unique invariant vacuum;
• fields that are operator-valued tempered distributions on a common invariant dense domain;
• Poincaré covariance and the appropriate Bose or Fermi locality relations;
• the field-domain and complex-boost analyticity used to identify the Tomita operator.

For the resulting wedge algebra, cyclicity follows from the Reeh–Schlieder argument, and locality together with cyclicity for the opposite wedge gives separation. It is therefore misleading to list “cyclic and separating” as an unrelated physical axiom: it is the standardness conclusion needed before modular theory can be applied.

An abstract Haag–Kastler net may satisfy covariance, locality, positive energy, and vacuum uniqueness without the equality above having been proved. In that setting the displayed equality is called the Bisognano–Wichmann property. The safe logical order is: establish a standard wedge pair, prove or assume the property for the specified model, and only then identify modular time with rapidity.

The local boost representative and Unruh scale

When a conserved stress tensor is available, the right-half-space adjoint action on the $t=0$ surface has the one-sided representative

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

The weight has length dimension one and vanishes linearly at the entangling plane. The constant $c$ only fixes a regulated type-I normalization and drops from the adjoint action. In a split or tensor-factor representative, the standard modular generator is “right minus left”; in the continuum, the global boost implements the same automorphism on $\mathcal A(W_R)$ without requiring a trace-class reduced density matrix.

The uniformly accelerated orbit

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

has rapidity $a\tau$. Since $a\tau=-2\pi s$ along the modular trajectory,

$$\tau=-\beta_{\mathrm U}s, \qquad \beta_{\mathrm U}=\frac{2\pi}{a}, \qquad T_{\mathrm U}=\frac{a}{2\pi}.$$

This is the temperature entering accelerated-detector response and wedge KMS correlators, not a claim that the Minkowski vacuum is a global Gibbs density matrix Unruh 1976, §III, especially Eq. (3.10), pp. 883–885.

Worked free-field check of the $2\pi$

Consider the massless real scalar field in four dimensions, normalized by

$$\langle\Omega,\phi(x)\phi(y)\Omega\rangle =-\frac{1}{4\pi^2} \frac{1}{[(x^0-y^0)-i0]^2-\lvert\mathbf x-\mathbf y\rvert^2}.$$

Point fields are distributional shorthand here; the algebraic statement is obtained by smearing both insertions with test functions supported in the wedge. Along the orbit above, introduce the analytic function

$$\mathcal G(z)= -\frac{a^2}{16\pi^2} \frac{1}{\sinh^2(az/2)}, \qquad -\frac{2\pi}{a}<\operatorname{Im}z<0.$$

Its upper boundary is the ordered Wightman function,

$$G^+(u)=\lim_{\epsilon\downarrow0}\mathcal G(u-i\epsilon),$$

whereas its lower boundary is

$$\begin{aligned} \lim_{\epsilon\downarrow0} \mathcal G\!\left(u-\frac{2\pi i}{a}+i\epsilon\right) &=-\frac{a^2}{16\pi^2} \lim_{\epsilon\downarrow0} \frac{1}{\sinh^2[(au+i\epsilon)/2]}\\ &=G^-(u). \end{aligned}$$

The identity uses $\sinh(w-i\pi)=-\sinh w$; the change from $-i0$ to $+i0$ records the reversed operator order. Under $u=\beta_{\mathrm U}s$, this proper-time strip becomes exactly $-1<\operatorname{Im}s<0$. Therefore the correlator checks both the sign $\eta=-2\pi s$ and the magnitude $2\pi$.

This check is reproducible without a fit. Fix any $a>0$, exclude a small coincidence window $\lvert u\rvert<u_{\min}$, and compare the two regulated boundary values with the same $\epsilon$. Normalize the dimension-two correlator as $\widehat{\mathcal G}=\mathcal G/a^2$. The dimensionless analytic residual

$$R_\epsilon(u)= \frac{\left\lvert \widehat{\mathcal G}(u-2\pi i/a+i\epsilon)- \widehat{\mathcal G}(u+i\epsilon) \right\rvert} {\max(1,\lvert\widehat{\mathcal G}(u+i\epsilon)\rvert)}$$

is identically zero; a numerical implementation should therefore report only floating-point error. The controls $u_{\min}$ and $\epsilon$ prevent a coincidence singularity from being mistaken for a normalization failure.

Adversarial state check

The vacuum boost cannot be the modular flow of a state that is not invariant under that boost. A transparent diagnostic uses a coherent excitation. In a large-box normalization, take a right-moving massless mode with classical field

$$\phi_{\mathrm{cl}}(x)=A\cos[\omega(x^0-x^1)].$$

Along the accelerated orbit,

$$\frac{\phi_{\mathrm{cl}}(\tau)}{A} =\cos\!\left(\frac{\omega}{a}e^{-a\tau}\right).$$

Applying the vacuum modular trajectory $\tau=-2\pi s/a$ gives the stationarity residual

$$D(s)= \frac{\lvert\phi_{\mathrm{cl}}(-2\pi s/a)-\phi_{\mathrm{cl}}(0)\rvert}{\lvert A\rvert} =\left\lvert \cos\!\left(\frac{\omega}{a}e^{2\pi s}\right) -\cos\!\left(\frac{\omega}{a}\right) \right\rvert.$$

For $\omega/a=1$ and $s=0.1$, $D=0.8393168$. The nonzero one-point residual proves that this boost is not the coherent state’s modular group. A normalizable wavepacket replaces the box mode by a narrow frequency band; one must then report the bandwidth $\Delta\omega/a$, box size or envelope scale, and the change in $D$ under refinement. What survives is the vacuum theorem and a useful comparison flow—not geometric modular flow for the excited state. This diagnostic does not compute the excited state’s actual modular Hamiltonian.

Common pitfalls

Dropping the $2\pi$. A boost preserves the wedge for every rapidity. Only the Tomita/KMS boundary condition fixes the modular parametrization.

Treating a theorem for Wightman fields as an axiom of every net. In an abstract net, name the argument that establishes the Bisognano–Wichmann property. Covariance alone is not that argument.

Using the one-sided integral as a continuum density matrix. The integral is a local representative of the adjoint action. The intrinsic object is the modular operator of the wedge algebra and vacuum.

Exercises

1. Rapidity, sign, and dimensions

Show that the orbit $x^0=\rho\sinh\eta$, $x^1=\rho\cosh\eta$ stays in $W_R$. Starting from $\Delta^{is}=U(\Lambda_R(-2\pi s))$, find $d\tau/ds$ for $\rho=a^{-1}$. Finally verify that $K_R$ is dimensionless in $d$ spacetime dimensions.

Solution

The orbit obeys $(x^1)^2-(x^0)^2=\rho^2>0$ and $x^1>0$, so $x^1>\lvert x^0\rvert$. Its rapidity is $\eta=a\tau$. The theorem gives $a\tau=-2\pi s$, hence $d\tau/ds=-2\pi/a$. In natural units $[T_{00}]=d$, $[d^{d-1}x]=-(d-1)$, and $[x^1]=-1$, so the integral has dimension $d-(d-1)-1=0$.

2. Boundary order in the free-field strip

For $\mathcal G(z)=-a^2/[16\pi^2\sinh^2(az/2)]$, evaluate its two boundaries in the strip $-2\pi/a<\operatorname{Im}z<0$. Explain why the equality is a KMS ordering relation rather than ordinary periodicity of a nonsingular function.

Solution

At the upper boundary, $z=u-i\epsilon$ gives $G^+(u)$. At the lower boundary, approach from inside with $z=u-2\pi i/a+i\epsilon$. Then

$$\sinh\!\left(\frac{au}{2}-i\pi+\frac{ia\epsilon}{2}\right) =-\sinh\!\left(\frac{au}{2}+\frac{ia\epsilon}{2}\right),$$

so the squared denominator gives $G^-(u)$ with the opposite $i0$. The poles lie on the boundaries. Ignoring the side from which a boundary is approached erases the operator ordering and turns a distributional KMS statement into the false claim that the two ordered distributions are identical.

3. Failure of vacuum boost stationarity

For the coherent-mode diagnostic, evaluate $D(s)$ at $\omega/a=1$ and $s=0.1$. Which conclusion follows from $D\ne0$, and which conclusion does not?

Solution

Since $e^{2\pi(0.1)}=1.8744561$,

$$D(0.1)=\lvert\cos(1.8744561)-\cos(1)\rvert =0.8393168.$$

Every faithful state is stationary under its own modular flow. Therefore the vacuum boost automorphism cannot be the modular flow of this coherent excitation. The calculation does not determine the coherent state’s modular generator; that requires new modular data, for example a relative-modular or cocycle analysis. A wavepacket calculation must additionally check stability under bandwidth and volume refinement.

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.
• Bisognano, Joseph J., and Eyvind H. Wichmann. “On the Duality Condition for Quantum Fields.” Journal of Mathematical Physics 17 (1976): 303–321. DOI; Open PDF.
• Unruh, William G. “Notes on Black-Hole Evaporation.” Physical Review D 14 (1976): 870–892. DOI.