The Bisognano–Wichmann Theorem under the Biquaternion Framework
Introduction
The Bisognano–Wichmann theorem states that for a wedge region of Minkowski space the modular structure of the vacuum is geometric. For the right wedge
$$ W_R=\{x : x^1>|x^0|\}, $$
the modular operator of the vacuum, restricted to the algebra of the wedge, is the generator of the boosts that preserve the wedge,
$$ \Delta = e^{-2\pi K_{\mathrm{boost}}}, $$
and the modular conjugation is the PCT/reflection operator that exchanges the wedge with its opposite. The modular flow is therefore the boost flow. The theorem is established physics, due to Bisognano and Wichmann (1975, 1976); it is imported here, not derived from the biquaternion algebra.
The theorem is the meeting point of the two articles that precede this one. The Modular Theory of Tomita–Takesaki under the Biquaternion Framework constructed the Tomita operator $S$, its polar decomposition $S=J\Delta^{1/2}$, the modular flow $\sigma_s(A)=\Delta^{is}A\Delta^{-is}$, and the modular Hamiltonian $K=-\log\rho$ in the finite-dimensional algebra $\mathbb{B}\cong M_2(\mathbb{C})$. The Unruh Effect in Biquaternionic Form carried that abstract flow to the Rindler wedge, identified it with the boost, and derived the Unruh temperature from the analyticity of the two-point function. That article had to import the identification of the modular flow with the boost, and said so. The present article states what was imported — the Bisognano–Wichmann theorem — and marks the sense in which the biquaternion framework reproduces it. This is what makes the Unruh application exact rather than a coincidence: the flow that the two-point function was computed along is, by a theorem, the modular flow of the wedge.
Three features of the theorem are easy to get wrong, and they organize what follows.
- The theorem is stated for wedges, not for arbitrary regions. The wedge is a region of Minkowski space preserved by a boost Killing vector, and it is because of that vector that the modular flow can be geometric. For a general region no such vector exists and the modular Hamiltonian is not a geometric generator. Generalising the theorem silently to an arbitrary region is a defect, and the distinction is kept explicit below.
- The modular conjugation is anti-unitary. $J$ is not a unitary symmetry: it conjugates the scalar imaginary, $J\,i\,J=-i$, and satisfies $J^2=1$ and $J\Delta J=\Delta^{-1}$. In the present setting $J$ realises a geometric reflection, and the anti-unitarity is what inverts the flow.
- The modular flow must be the boost with the correct rapidity, not merely some one-parameter group of geometric transformations. The factor $2\pi$ in $\Delta=e^{-2\pi K_{\mathrm{boost}}}$ is the content: the modular parameter is the boost rapidity in units of $2\pi$. It is checked explicitly below.
The framework can verify two things exactly: the boost generator is the Hermitian element $G_1=ie_1\in\mathbb{M}_+$ already used in the Rindler computation, and the rapidity carried by the modular flow is $2\pi$ times the modular parameter. It can also verify the conjugation identities $J^2=1$, $J\,i\,J=-i$, $J\Delta J=\Delta^{-1}$. It cannot make the geometric boost coincide with the inner modular flow on the material sector: the modular flow is unitary, while the finite-dimensional boost rotor is Hermitian, and its action on $\mathbb{M}_-$ is two-sided rather than an inner automorphism. That gap is stated where it occurs and is not smoothed over.
The article proceeds as follows. The theorem is stated first, with its two hypotheses. Then its relation to the two parent articles is made explicit. Then the wedge is isolated, and the reason the theorem cannot be generalised is given. Then the boost generator is identified on the wedge. Then the modular flow is shown to be the boost with rapidity $2\pi$. Then the modular conjugation is shown to be the PCT/reflection operator, with the conjugation identities verified. Then the biquaternion boost rotor is compared with the modular generator, and the identification — and its limit — is recorded. It closes with the established/interpretation/gap split, the summary, and the notation.
Conventions. Those of the companion articles. The biquaternion algebra is $\mathbb{B}=\mathbb{C}\otimes_\mathbb{R}\mathbb{H}$, with quaternion basis $e_0=1,e_1,e_2,e_3$, $e_k^2=-e_0$, scalar imaginary $i$ with $i^2=-1$, and $\mathbb{B}\cong M_2(\mathbb{C})$. The material (anti-Hermitian) subspace is $\mathbb{M}_-$ and the informational (Hermitian) subspace is $\mathbb{M}_+$, with $\mathbb{B}=\mathbb{M}_+\oplus\mathbb{M}_-$ and $i\mathbb{M}_\pm=\mathbb{M}_\mp$; $\mathbb{H}_{\mathbb{B}}$ is the real-quaternion subspace. The material coordinate is $\tilde{Q}=ict\,e_0+x\,e_1+y\,e_2+z\,e_3\in\mathbb{M}_-$, with biquaternion norm $N(\tilde{Q})=\tilde{Q}\tilde{Q}^{\natural}=-c^2t^2+x^2+y^2+z^2$. Rindler coordinates on the wedge are $x=\rho\cosh\eta$, $ct=\rho\sinh\eta$. The boost Killing vector is $\xi=x\partial_t+t\partial_x=\partial_\eta$; the boost rotor is $\tilde\Lambda(\psi)=\exp(\tfrac{\psi}{2}G_1)=\cosh\tfrac{\psi}{2}+i\sinh\tfrac{\psi}{2}e_1$ with $G_1=ie_1$, and it acts by rotor conjugation $\tilde{Q}\mapsto\tilde\Lambda\tilde{Q}\tilde\Lambda^{*}$. The trace formula $\mathrm{Tr}(\tilde P\tilde H)=2\,\mathrm{Sc}(\tilde P\tilde H)$, with $\mathrm{Tr}(e_0)=2$, is inherited unchanged. The modular data are those of the modular-theory companion: $S=J\Delta^{1/2}$, $\sigma_s(A)=\Delta^{is}A\Delta^{-is}$, $K=-\log\rho$ in finite dimension. Throughout, $c$ is the speed of light, and $\hbar$ and $k_B$ are the reduced Planck and Boltzmann constants.
The Theorem
Statement. Let $\mathcal{O}\mapsto M(\mathcal{O})$ be the net of local algebras of a Wightman quantum field theory on Minkowski space, and let $\Omega$ be the vacuum vector, cyclic and separating for every wedge algebra. Let $W_R$ be the right wedge and $W_L$ its mirror. Then:
-
The modular operator is the boost. The modular operator of the pair $(M(W_R),\Omega)$ is $$ \Delta = e^{-2\pi K_{\mathrm{boost}}}, $$ where $K_{\mathrm{boost}}$ is the generator of the one-parameter group of boosts that preserve $W_R$, normalized so that the boost Killing vector is $\xi=\partial_\eta$. Equivalently, the modular flow is the boost by rapidity $2\pi s$ (the orientation is fixed below; in the rotor convention of this article the modular flow is $\tilde\Lambda(-2\pi s)$, which is future-directed on $W_R$): $$ \sigma_s(\tilde A)=\Delta^{is}\tilde A\Delta^{-is} = \text{the boost of rapidity }2\pi s\text{ applied to }\tilde A . $$
-
The modular conjugation is the PCT/reflection operator. The modular conjugation is $$ J=\Theta\,U(R_W), $$ with $\Theta$ the PCT operator and $U(R_W)$ the unitary representative of the rotation by $\pi$ that leaves the characteristic two-plane of the wedge invariant. Consequently $J$ is anti-unitary, $$ J(z\tilde A)=\bar z\,J(\tilde A),\qquad J\,i\,J=-i,\qquad J^2=1,\qquad J\Delta J=\Delta^{-1}, $$ and it realises the geometric reflection that exchanges the two wedges. The corresponding statement on the field algebra is that $$ J\,M(W_R)\,J=M(W_R)'=M(W_L), $$ the wedge duality relation: the commutant of the algebra of a wedge is the algebra of the causal complement, the opposite wedge.
-
The wedge vacuum is KMS for the boost. The restriction of the vacuum to the wedge satisfies the KMS condition with respect to the boost flow at inverse temperature $\beta=2\pi$ (in units $\hbar=c=k_B=1$). This is the link to The KMS Condition and the Biquaternion Framework, and it is the reason the Unruh temperature is exact.
The hypotheses are load-bearing. Two are visible and both are hypotheses in the strict sense. The first is the state: the theorem is a statement about the vacuum, a distinguished Poincaré-invariant state, not about an arbitrary state on the wedge algebra. The second is the region: the algebra and the flow are those of a wedge, and the boost Killing vector exists only there. Neither hypothesis can be dropped, and the two ways of dropping them fail differently — the state point in The Modular Theory of Tomita–Takesaki under the Biquaternion Framework, the region point in the next section.
The theorem is not a theorem of the biquaternion framework. It is a theorem of quantum field theory, and everything in this article is either a restatement of it, a check of it, or a statement of where the finite-dimensional algebra stops short of it.
The Meeting Point of the Two Preceding Articles
The two parent articles meet precisely here.
What the modular-theory article supplied. It built the Tomita operator of the finite-dimensional algebra, identified it with Hermitian conjugation, and obtained the polar decomposition $$ \Delta(\tilde A)=\tilde\rho\,\tilde A\,\tilde\rho^{-1},\qquad J(\tilde A)=\tilde\rho^{1/2}\tilde A^{*}\tilde\rho^{-1/2},\qquad \sigma_s(\tilde A)=\tilde\rho^{is}\tilde A\tilde\rho^{-is}, $$ with $\tilde\rho\in\mathbb{M}_+$ a faithful state and $\tilde K=-\log\tilde\rho\in\mathbb{M}_+$. It also recorded the gap that this construction leaves: the finite-dimensional flow is inner, and the framework supplies a family of states but no dynamics that selects one. The abstract flow $\sigma_s$ is what the present article identifies with the boost.
What the Unruh article supplied. It computed the massless two-point function along an accelerated orbit, found that it is periodic in imaginary proper time with period $\beta=2\pi/a$, and read off the Unruh temperature $T=\hbar a/(2\pi c k_B)$. The computation is exact only if the flow along which the correlation function is evaluated is the modular flow. That is the Bisognano–Wichmann theorem. The Unruh article imported it and labelled it as imported; this article states it and checks its two halves inside the framework.
Why the meeting is exact and not a coincidence. A modular flow is defined abstractly by a state and an algebra; a boost flow is defined geometrically by a Killing vector. That these two one-parameter groups should coincide is a nontrivial theorem. Without it, the Rindler computation would relate the analyticity of a two-point function to a temperature along a flow that merely happens to look like a boost; with it, the analyticity is the KMS condition, and the temperature is the modular temperature. The theorem is what turns the Rindler computation into a statement about the modular structure of the vacuum. This is the sense in which the biquaternion framework's Rindler flow is the modular flow of the wedge, and not merely a flow that resembles it.
Why the Wedge, and Not a General Region
The theorem is about wedges because the wedge is the region for which the relevant geometric flow exists.
The wedge is a Killing horizon. The right wedge $W_R=\{x:x^1>|x^0|\}$ is bounded by the two null planes $x^1=\pm x^0$. Its boundary is a bifurcate Killing horizon for the boost Killing vector $$ \xi=x\partial_t+t\partial_x=\partial_\eta, $$ which is future-directed inside $W_R$ and past-directed inside $W_L$, and whose orbits are the constant-$\rho$ hyperbolas $x=\rho\cosh\eta$, $ct=\rho\sinh\eta$. In the material sector $\mathbb{M}_-$ the boundary lies in the zero-divisor cone $N(\tilde{Q})=0$, as established in the companion article on $\mathbb{M}_-$ and used in the Unruh article. In the boost plane $(x^0,x^1)$ the wedge is exactly a connected component of the complement of the light cone of that plane — the two null lines $x^1=\pm x^0$ — and the boost is exactly the Killing vector that preserves it.
No such flow exists for a general region. For a region $O$ that is not a wedge, there is in general no Killing vector of Minkowski space whose flow preserves $O$, and the modular Hamiltonian $K_O=-\log\Delta_O$ is not a geometric generator: it is a nonlocal operator on the region, not an integral of a local current against a Killing vector. The contrast is stark already in the vacuum. For a wedge the modular Hamiltonian is the boost $K_{\mathrm{boost}}$; for a ball of radius $R$ in a conformal field theory it is the Casini–Huerta–Myers operator
$$
K_{\mathrm{ball}} = 2\pi\int_{|\mathbf{x}| The theorem cannot be generalised by fiat. It is a defect to state the identification of the modular flow with a boost for an arbitrary region. Where generalisations do exist they are theorems in their own right and have their own hypotheses: for conformal field theories the modular flow of a double cone or a light cone is geometric (Hislop–Longo and related results), and for a general spacetime with a bifurcate Killing horizon an analogue holds under further conditions — that analogue is the content of the Hawking effect rather than of Bisognano–Wichmann. None of these says that an arbitrary region's modular flow is a boost, because it is not. Both the wedge and the vacuum are used. It is worth stating together what the two hypotheses of the theorem exclude. Fixing the wedge but taking a non-vacuum state loses the identification of $\Delta$ with the boost; fixing the vacuum but taking a non-wedge region loses the existence of the boost. The theorem is the statement that the two distinguished objects — the vacuum and the wedge — fit each other. The first conclusion of the theorem is an identification of generators. The biquaternion representative of the boost is the one already used in the Rindler computation; it is recalled and re-verified here, because the identification hinges on it. The boost generator is
$$
G_1 = i\,e_1 \in \mathbb{M}_+,
$$
which is Hermitian, $G_1^\dagger=G_1$, and satisfies $G_1^2=e_0$. Its exponential is the boost rotor
$$
\tilde\Lambda(\psi)=\exp\!\Big(\frac{\psi}{2}G_1\Big)
=\cosh\frac{\psi}{2}+i\sinh\frac{\psi}{2}\,e_1 \in\mathbb{M}_+,
$$
Hermitian and of unit norm, $\tilde\Lambda\tilde\Lambda^{\natural}=e_0$. On an element $\tilde{Q}=iq_0e_0+q_1e_1+q_2e_2+q_3e_3\in\mathbb{M}_-$ the rotor acts by rotor conjugation $\tilde{Q}\mapsto\tilde\Lambda(\psi)\tilde{Q}\tilde\Lambda(\psi)$ (the rotor is Hermitian, so $\tilde\Lambda^{*}=\tilde\Lambda$), and a direct recomputation in the matrix representation gives
$$
q_0\longmapsto q_0\cosh\psi-q_1\sinh\psi,\qquad
q_1\longmapsto q_1\cosh\psi-q_0\sinh\psi,\qquad
q_2,q_3\ \text{unchanged},
$$
with the biquaternion norm preserved, $N(\tilde\Lambda\tilde{Q}\tilde\Lambda)=N(\tilde{Q})$. On the Rindler orbit $q_0=ct=\rho\sinh\eta$, $q_1=x=\rho\cosh\eta$, the same computation gives
$$
q_0\longmapsto\rho\sinh(\eta-\psi),\qquad q_1\longmapsto\rho\cosh(\eta-\psi),
$$
so the rotor of rapidity $\psi$ shifts the Rindler time by $\eta\mapsto\eta-\psi$. This is the orientation fixed in the Unruh article, and it is used below. It is the two-sided action, not the commutator, that generates the boost. The infinitesimal rotor action is
$$
\frac{d}{d\psi}\Big(\tilde\Lambda(\psi)\tilde{Q}\tilde\Lambda(\psi)\Big)\Big|_{\psi=0}
=\frac{1}{2}\big(G_1\tilde{Q}+\tilde{Q}G_1\big),
$$
the anticommutator. The commutator is a different object:
$$
G_1\tilde{Q}-\tilde{Q}G_1
=2i q_2\,e_3-2i q_3\,e_2,
$$
which vanishes on the boost plane $q_2=q_3=0$ and acts as a rotation in the $(e_2,e_3)$ plane. This was flagged in the Unruh article and it is load-bearing here: the generator of the wedge-preserving boost acts on the material sector by the two-sided rotor action, and a commutator with $G_1$ does not produce a boost. The distinction returns in the section comparing the rotor with the modular generator. The identification. The generator that preserves the wedge is therefore the Lie-algebra element $G_1$ — equivalently, the element whose exponential is the rotor is $\tfrac12G_1$. The Bisognano–Wichmann modular Hamiltonian $K_{\mathrm{boost}}$ is this same generator, with the normalization fixed by the factor $2\pi$ in $\Delta=e^{-2\pi K_{\mathrm{boost}}}$. That the generator lies in $\mathbb{M}_+$ is the exact form of the parent article's algebraic fact that $K=-\log\rho$ is Hermitian; here the element is $G_1=ie_1$, the boost generator, and the agreement is structural rather than analogical. The second conclusion is that the modular flow is the boost, with the right rapidity. This is the statement that turns the abstract flow of the modular-theory article into the geometric flow of the Unruh computation, and it is checked in two steps: the rapidity, and the orientation. The rapidity. The theorem states $\Delta=e^{-2\pi K_{\mathrm{boost}}}$, so the modular parameter $s$ in $\sigma_s(A)=\Delta^{is}A\Delta^{-is}$ is not the rapidity; it is the rapidity divided by $2\pi$. Equivalently, the modular flow is the boost by rapidity $2\pi s$. The verification is direct. Since the rotor of rapidity $\psi$ shifts Rindler time by $\eta\mapsto\eta-\psi$, the modular flow, which must be future-directed on $W_R$, is represented by the inverse rotor,
$$
\sigma_s(\tilde{Q})=\tilde\Lambda(-2\pi s)\,\tilde{Q}\,\tilde\Lambda(-2\pi s),
$$
and $\tilde\Lambda(-2\pi s)$ shifts the Rindler time by
$$
\eta\longmapsto\eta+2\pi s .
$$
The displayed action of $\sigma_s$ on $\mathbb{M}_-$ is the geometric image of the modular flow; whether that image can be realised as an inner automorphism of the finite-dimensional algebra is a separate question, and the section comparing the rotor with the modular generator states where it cannot. So one unit of modular parameter advances the Rindler time by $2\pi$, and the corresponding boost rapidity is $2\pi$ per unit $s$. The infinitesimal generator on the material sector is
$$
\frac{d}{ds}\sigma_s(\tilde{Q})\Big|_{s=0}
=-\pi\big(G_1\tilde{Q}+\tilde{Q}G_1\big),
$$
which is $-2\pi$ times the boost generator of the preceding section, since that section's infinitesimal action is $\tfrac12(G_1\tilde{Q}+\tilde{Q}G_1)$. The factor $2\pi$ is the content of $\Delta=e^{-2\pi K_{\mathrm{boost}}}$, and it is verified rather than assumed. The orientation. The sign of $2\pi s$ is not decoration. It fixes which of the two one-parameter groups preserving the pair $(W_R,W_L)$ is the modular flow. The flow represented by $\tilde\Lambda(-2\pi s)$ advances $\eta$ and is future-directed on $W_R$; the opposite sign gives the flow that is future-directed on $W_L$. The modular Hamiltonians of the two wedges are related by $K_L=-K_R$, and the temperature is built from $|\kappa|$, so it is the same for both, but a statement about "the modular Hamiltonian" that omits the wedge is ambiguous, and the wedge is kept explicit. Consistency with the Unruh temperature. The same factor appears in the Unruh article. There the massless two-point function on the accelerated orbit is periodic in imaginary proper time with period $\beta=2\pi/a$, and the temperature is $T=\hbar a/(2\pi c k_B)$. The Rindler time is $\eta=a\tau$ in units $c=1$ (since $d\tau=\rho\,d\eta$ and $a=1/\rho$), so the modular parameter's period $2\pi$ in $\eta$ is the physical period $2\pi/a$ in proper time. The two computations — the modular one here and the field-theoretic one in the Unruh article — are consistent by the same factor. What is checked and what is assumed. The rapidity and the orientation are recomputed above. The identification of the modular flow with the boost is not: it is the Bisognano–Wichmann theorem, and it is imported. What the framework adds is that the geometric flow is available in the algebra, with the generator $G_1=ie_1\in\mathbb{M}_+$ and the rapidity $2\pi s$; what it does not add is the theorem. The third conclusion is that the modular conjugation $J$ is the PCT/reflection operator. This is the place where the anti-unitarity is easy to lose, so the two algebraic facts and the geometric realisation are separated. The algebraic facts. $J$ is anti-unitary:
$$
J(z\tilde A)=\bar z\,J(\tilde A),\qquad z\in\mathbb{C},
$$
equivalently $J\,i\,J=-i$: the modular conjugation conjugates the scalar imaginary. It is an involution and it inverts the modular operator,
$$
J^2=1,\qquad J\Delta J=\Delta^{-1},\qquad J\,M(W_R)\,J=M(W_L)=M(W_R)' .
$$
The last is wedge duality. In the finite-dimensional model of the modular-theory article, with $\tilde\rho\in\mathbb{M}_+$ faithful, the explicit form is
$$
J(\tilde A)=\tilde\rho^{1/2}\tilde A^{*}\tilde\rho^{-1/2},
$$
and the four identities
$$
J^2=\mathrm{id},\qquad J(i\tilde A)=-i\,J(\tilde A),\qquad J(\tilde\rho)=\tilde\rho,\qquad J\Delta J=\Delta^{-1}
$$
were recomputed in rational arithmetic for two faithful states whose Bloch vectors were chosen after the formulas, not before them:
$$
\mathbf r_1=\Big(\tfrac{12}{25},\tfrac{16}{25},\tfrac{12}{25}\Big),\qquad
\mathbf r_2=\Big(\tfrac23,\tfrac29,\tfrac49\Big),
$$
both with $|\mathbf r|<1$ and neither along a basis axis. All four identities hold exactly for both. The geometric realisation. The theorem writes $J=\Theta\,U(R_W)$, with $\Theta$ the PCT operator and $U(R_W)$ the unitary representative of the rotation by $\pi$ that leaves the characteristic two-plane of the wedge invariant. The net geometric effect on Minkowski space is the reflection through the edge of the wedge,
$$
r_W:\ (t,x^1,x^2,x^3)\longmapsto(-t,-x^1,x^2,x^3),
$$
which in the wedge plane is $r_W(t,x)=(-t,-x)$. It is an involution, and it exchanges the two wedges, $r_W(W_R)=W_L$, consistent with $JM(W_R)J=M(W_L)$. The trap, and its resolution. It is tempting to require the geometric reflection to anticommute with the boost, so that $J\Delta J=\Delta^{-1}$ follows from $J\Lambda(s)J=\Lambda(-s)$. That requirement is wrong in the present conventions, and the difference is exactly the anti-unitarity. The reflection $r_W$ commutes with the boost, as a recomputation confirms, $r_W\circ\Lambda(s)=\Lambda(s)\circ r_W$. The inversion required by $J\Delta J=\Delta^{-1}$ is instead carried by the anti-unitary part of $J$: an anti-unitary operator conjugates the scalar imaginary, $J\,i\,J=-i$, and it is this conjugation, acting on the boost generator, that exchanges the flow with its inverse. Treating $J$ as a unitary involution loses both the conjugation and the inversion, and is the reverse of the truth. This is the concrete content of the warning in the modular-theory companion that $J$ is anti-linear. The link to the discrete symmetries. The conjugation of $i$ by $J$ is the same operation as the anti-unitarity of time reversal and of the PCT composition in The CPT Theorem in Biquaternionic Form, where $T[i\psi]=-i\,T[\psi]$ and the internal factor of $\Theta$ is the scalar imaginary up to a phase. Here it appears as the algebraic statement $J\,i\,J=-i$, which is what makes $J$ a conjugation rather than a symmetry. The question posed for this article is whether the biquaternion framework's boost rotor gives the same generator as the modular operator. The answer is yes at the level of the generator, and the flow identification stops there. Both halves are stated. The rotor gives the same generator. The geometric boost and the modular Hamiltonian both have the boost generator as their generator. The rotor's infinitesimal action is $\tfrac12(G_1\tilde{Q}+\tilde{Q}G_1)$; the modular flow advances the rapidity at rate $2\pi$ per unit modular parameter; and the two are related by the factor in $\Delta=e^{-2\pi K_{\mathrm{boost}}}$. The Lie-algebra element is the same, $G_1=ie_1\in\mathbb{M}_+$, and the rapidity is $2\pi s$. This is a genuine identification and not an analogy: the same Hermitian element that rotates $\mathbb{M}_-$ by rotor conjugation is the generator whose exponential is the modular operator. The identification does not extend to the flow inside the finite-dimensional algebra. Three distinct obstructions, each recomputed. Unitarity. The modular flow is unitary: $\Delta^{is}=e^{-2\pi isK_{\mathrm{boost}}}$ satisfies $\Delta^{is}(\Delta^{is})^\dagger=1$. The finite-dimensional boost rotor is Hermitian, $\tilde\Lambda(\psi)^{*}=\tilde\Lambda(\psi)$, with $\tilde\Lambda(\psi)^2=e^{\psi G_1}\neq e_0$ for $\psi\neq0$, so it is not unitary implementing a symmetry of the finite-dimensional Hilbert space. This is the familiar statement that the Lorentz group, being noncompact, has no nontrivial finite-dimensional unitary representation; the unitary implementation of the boost exists only on the field-theoretic Hilbert space, not inside $\mathbb{B}$. Inner versus two-sided. In finite dimension the modular flow is inner, $\sigma_s(\tilde A)=\tilde\rho^{is}\tilde A\tilde\rho^{-is}=e^{-isK}\tilde A e^{isK}$, whose generator on the algebra is the commutator $-i[K,\cdot]$. The geometric boost on $\mathbb{M}_-$ is the two-sided action with generator the anticommutator $\tfrac12(G_1\cdot+\cdot G_1)$. On the boost plane the commutator vanishes, $-i[G_1,\tilde{Q}]=0$ for $\tilde{Q}=iq_0e_0+q_1e_1$, while the two-sided action moves $q_0,q_1$ precisely as the boost; and off the boost plane the commutator generates a rotation in the $(e_2,e_3)$ plane. So the finite-dimensional inner flow cannot be the geometric boost on the material sector. This is the exact sense in which the model verifies the generator but not the flow. State selection. The theorem identifies $\Delta$ with the boost for the vacuum. The framework's modular theory requires a faithful state and does not select one: the distinguished tracial state $\tilde\rho=\tfrac12e_0$ gives the trivial flow. For the boost-thermal state $\tilde\rho\propto e^{-\beta G_1}$ the modular Hamiltonian is
$$
K=-\log\tilde\rho=\beta G_1+(\log Z)e_0,\qquad Z=\mathrm{Tr}(e^{-\beta G_1}),
$$
which is proportional to the boost generator $G_1$ modulo the central term $(\log Z)e_0$ (verified numerically to machine precision), so the generator identification holds exactly for that state. But for a generic faithful state $K$ is not proportional to $G_1$: for the state with Bloch vector $\mathbf r_1$ above, the Bloch vector of $K=-\log\tilde\rho$ is along $\mathbf r_1$ and is not along $e_1$. The identification therefore requires the thermal state for the boost, which is what the theorem's vacuum supplies and what the algebra alone does not. Summary of the comparison. The biquaternion boost rotor gives the same generator as the Bisognano–Wichmann modular operator, with the correct rapidity $2\pi s$; that is checked. It does not give the same one-parameter unitary flow inside the finite-dimensional algebra, because the flow is unitary while the finite-dimensional boost rotor is Hermitian and its action on $\mathbb{M}_-$ is two-sided. This is a gap, and it is the same gap the parent modular-theory article recorded — the finite-dimensional algebra $\mathbb{B}\cong M_2(\mathbb{C})$ is type I$_2$ and its modular flow is inner — restated at the wedge. It is left visible rather than closed. Established (physics). Established (algebra, recomputed above). Interpretation. Gaps, left visible. The Bisognano–Wichmann theorem states that for a wedge region of Minkowski space the modular operator of the vacuum restricted to the wedge algebra is the boost generator, $\Delta=e^{-2\pi K_{\mathrm{boost}}}$, and the modular conjugation is the PCT/reflection operator. It is the meeting point of the two preceding articles: the modular-theory article constructed the abstract flow, and the Unruh article used the boost; the theorem is what makes the second application exact rather than a coincidence. In the biquaternion framework the wedge is a region of the material sector $\mathbb{M}_-$ bounded by the two null planes $x^1=\pm x^0$ (which lie in the zero-divisor cone), and the boost generator is the Hermitian element $G_1=ie_1\in\mathbb{M}_+$ with rotor $\tilde\Lambda(\psi)=\cosh\tfrac{\psi}{2}+i\sinh\tfrac{\psi}{2}e_1$. The framework verifies the generator identification: the rotor's infinitesimal action is the boost, $\tfrac{d}{d\psi}\tilde\Lambda\tilde{Q}\tilde\Lambda|_0=\tfrac12(G_1\tilde{Q}+\tilde{Q}G_1)$, the rotor shifts the Rindler time by $\eta\mapsto\eta-\psi$, and the modular flow advances the rapidity by $2\pi$ per unit modular parameter, so $\tilde\Lambda(-2\pi s)$ advances $\eta$ by $2\pi s$. This is the factor $2\pi$ in $\Delta=e^{-2\pi K_{\mathrm{boost}}}$, checked rather than assumed. The framework also verifies the conjugation identities: $J$ is anti-unitary with $J^2=1$ and $J\,i\,J=-i$, it satisfies $J\Delta J=\Delta^{-1}$, and it realises the wedge reflection $r_W(t,x)=(-t,-x)$ that exchanges the two wedges. The reflection commutes with the boost; it is the anti-unitarity, not the reflection, that inverts the flow. The framework does not make the geometric boost an inner automorphism of the material sector. The modular flow is unitary, while the finite-dimensional boost rotor is Hermitian; the finite-dimensional modular flow acts by the commutator, which vanishes on the boost plane, whereas the geometric boost is two-sided. The generator identification is exact; the flow identification requires the infinite-dimensional field algebra, and is left as a gap. The framework reproduces the wedge and only the wedge: the modular Hamiltonian of a general region is not a geometric generator, and generalising the theorem beyond wedges is a defect.The Boost Generator on the Wedge
The Modular Flow Reproduces the Boost
The Modular Conjugation as PCT and Reflection
The Biquaternion Boost Rotor and the Modular Generator
What Is Established, What Is Interpretation, and the Gaps
Summary
Summary of Notation
Symbol
Meaning
$\mathbb{B}=\mathbb{C}\otimes_\mathbb{R}\mathbb{H}$
Biquaternion algebra
$e_0=1,e_1,e_2,e_3$
Quaternion basis, $e_k^2=-e_0$
$i$
Scalar imaginary, $i^2=-1$
$\mathbb{M}_-,\mathbb{M}_+$
Material (anti-Hermitian) and informational (Hermitian) sectors
$\mathbb{H}_{\mathbb{B}}$
Real-quaternion subspace
$\tilde{Q}=ict\,e_0+x\,e_1+y\,e_2+z\,e_3$
Material-sector coordinate, $\in\mathbb{M}_-$
$N(\tilde{Q})=\tilde{Q}\tilde{Q}^{\natural}=-c^2t^2+x^2+y^2+z^2$
Biquaternion norm
$W_R=\{x:x^1>|x^0|\}$, $W_L$
Right wedge and its mirror (causal complement)
$\rho,\eta$
Rindler radius and time, $x=\rho\cosh\eta$, $ct=\rho\sinh\eta$
$\xi=x\partial_t+t\partial_x=\partial_\eta$
Boost Killing vector
$G_1=ie_1\in\mathbb{M}_+$
Boost generator (Hermitian, $G_1^2=e_0$)
$\tilde\Lambda(\psi)=\cosh\frac{\psi}{2}+i\sinh\frac{\psi}{2}e_1$
Boost rotor (Hermitian, unit norm)
$\tilde{Q}\mapsto\tilde\Lambda\tilde{Q}\tilde\Lambda$
Boost = rotor conjugation on $\mathbb{M}_-$
$K_{\mathrm{boost}}$
Boost Hamiltonian; $\Delta=e^{-2\pi K_{\mathrm{boost}}}$
$\Delta=S^*S$, $S=J\Delta^{1/2}$
Modular operator; Tomita operator
$J$
Modular conjugation, anti-unitary, $J^2=1$, $J\,i\,J=-i$
$\Theta$
PCT operator
$U(R_W)$, $r_W$
Rotation by $\pi$ fixing the boost plane; wedge reflection $r_W(t,x)=(-t,-x)$
$\sigma_s(A)=\Delta^{is}A\Delta^{-is}$
Modular flow = boost of rapidity $2\pi s$
$K=-\log\rho$
Modular Hamiltonian, in $\mathbb{M}_+$ (finite dimension)
$J M(W_R) J=M(W_L)=M(W_R)'$
Wedge duality
$\mathrm{Tr}(\tilde P\tilde H)=2\,\mathrm{Sc}(\tilde P\tilde H)$
Trace formula (inherited)
Further Reading