Half-Sided Modular Inclusions and Emergent Translations

A half-sided modular inclusion is a nested pair of standard von Neumann algebras for which the modular flow of the larger algebra compresses the smaller algebra for one sign of modular time. Under standardness, this one-sided condition is strong enough to generate a positive-energy translation group. The result is a precise mechanism by which relative algebraic position encodes spacetime-like motion.

Required background. Tomita–Takesaki flow supplies the two modular groups. Helpful background. The split property helps distinguish standard inclusions from naive tensor-factor nesting.

Standard half-sided inclusions

Let $\mathcal N\subset\mathcal M\subset B(\mathcal H)$ and let $\Omega$ be cyclic and separating for both algebras. Write $\sigma_s^\mathcal M$ for the modular group of $(\mathcal M,\Omega)$. A negative half-sided modular inclusion satisfies

$$\sigma_s^\mathcal M(\mathcal N)\subset\mathcal N, \qquad s\le0.$$

The positive convention uses $s\ge0$. Replacing $s$ by $-s$ interchanges them, so a source must state both the modular-flow convention and the chosen half side.

The inclusion is called standard when $\Omega$ is also cyclic and separating for the relative commutant $\mathcal N'\cap\mathcal M$. This additional condition excludes degenerate inclusions and is essential for the strongest reconstruction results.

A geometric model is a chiral net on the real line:

$$\mathcal M=\mathcal A((0,\infty)), \qquad \mathcal N=\mathcal A((1,\infty)).$$

Vacuum modular flow of $\mathcal M$ acts as a dilation. For one sign of $s$, the endpoint $1$ is moved deeper into the half-line, so the image remains inside $\mathcal N$.

The structural map places Half-Sided Modular Inclusions and Emergent Translations between intrinsic modular data and the additional hypotheses that permit a geometric interpretation.

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.

Positive translations from modular data

In the geometric orientation above, the half-sided inclusion theorem of Wiesbrock 1993, pp. 83–92 determines a strongly continuous unitary group

$$T(a)=e^{iaP}, \qquad P\ge0,$$

that fixes $\Omega$ and translates half-lines:

$$T(a)\,\mathcal A((b,\infty))\,T(-a) =\mathcal A((a+b,\infty)).$$

After choosing the origin and unit so that $\mathcal N=T(1)\mathcal M T(-1)$, the modular dilation and translation obey the affine-group relation

$$\Delta_\mathcal M^{is}T(a)\Delta_\mathcal M^{-is} =T(e^{-2\pi s}a).$$

The $2\pi$ matches the Bisognano–Wichmann normalization. If the opposite half-sided convention or the inverse modular flow is used, the exponent changes sign. Positivity of $P$ is not an aesthetic choice: it is the algebraic remnant of a spectrum condition and is what turns the affine representation into a positive-energy one.

The translation is constructed from the relative position of the modular operators of $\mathcal N$ and $\mathcal M$. Formal expressions involving $\log\Delta_\mathcal N-\log\Delta_\mathcal M$ must be interpreted through the theorem’s closed positive generator; the two logarithms are unbounded and their difference is not automatically self-adjoint on the intersection of their domains.

Compression, not equality

For real modular time, $\sigma_s^\mathcal M$ is an automorphism of $\mathcal M$, but on $\mathcal N$ the half-sided statement is only an inclusion. At the allowed sign,

$$\sigma_s^\mathcal M(\mathcal N)\subsetneq\mathcal N$$

can be proper. Running time backward need not preserve $\mathcal N$; it expands the algebra toward $\mathcal M$. This semigroup behavior is precisely what permits a translation with a preferred positive generator.

If equality held for both signs, $\mathcal N$ would be globally invariant under the larger modular group. Takesaki’s theorem would then point toward a conditional expectation rather than the nontrivial translation geometry considered here.

QFT interpretation

Nested wedges sharing a null boundary provide the higher-dimensional prototype. Moving the wedge along a future-directed null direction gives an inclusion of wedge algebras. The common vacuum modular groups are boosts, and the unitary reconstructed from their half-sided relation is the null translation. This connection underlies algebraic derivations of positive null energy and the organization of chiral conformal nets.

The theorem does not say that every nested pair of local regions determines a translation. One must verify:

• common cyclicity and separation;
• standardness of the relative commutant when required;
• the half-sided modular inclusion for the chosen sign;
• strong continuity and the positive generator;
• compatibility with any claimed geometric net action.

Without these facts, “emergent translation” is only an analogy.

A consistency calculation

Let $D(s)=\Delta_\mathcal M^{is}$. Differentiating

$$D(s)T(a)D(-s)=T(e^{-2\pi s}a)$$

at $a=0$ on a common invariant core gives

$$D(s)P D(-s)=e^{-2\pi s}P.$$

Therefore $P\ge0$ is preserved by the dilation, and differentiating once more at $s=0$ yields the affine Lie algebra relation with the convention-dependent sign. Because both generators are unbounded, the group identity is primary; the commutator is a derived statement on analytic vectors.

Common pitfalls

Calling ordinary nesting half-sided. The defining condition concerns the modular flow of the larger algebra, not spatial inclusion alone.

Subtracting logarithms formally. A difference of self-adjoint operators need not be self-adjoint. Use the closed generator supplied by the inclusion theorem.

Hiding orientation choices. The half side, modular-flow sign, endpoint translation, and $2\pi$ normalization must be stated together.

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

• Wiesbrock, Hans-Werner. “Half-Sided Modular Inclusions of von-Neumann-Algebras.” Communications in Mathematical Physics 157 (1993): 83–92. DOI.

Further reading

• Borchers, Hans-Jürgen. “The CPT-Theorem in Two-Dimensional Theories of Local Observables.” Communications in Mathematical Physics 143 (1992): 315–332. DOI.