Modular Automorphisms, Conjugations, and Standard Forms

A standard form replaces a preferred cyclic vector by representation-level data $(\mathcal M,\mathcal H,J,\mathcal P)$: a modular conjugation and a self-dual natural cone that represent every normal positive functional by one distinguished vector. Modular operators still depend on the state, while the standard form is unique up to a canonical implementing unitary. Relative modular operators and Connes cocycles then compare faithful states, and modular invariance characterizes state-preserving conditional expectations. The finite Gibbs realization is used on thermal density operators and the KMS condition.

Required background. Standard von Neumann algebras and Tomita–Takesaki theory supplies $S$, $J$, $\Delta$, and the modular group.

Helpful background. Modular conjugation, commutants, and standard form gives the physical reading; relative modular operators and Connes cocycles develops state comparison; modular spectrum and spectral measures treats $\Delta$ spectrally; exact modular-flow examples and convention atlas tracks sign choices; and modular Berry transport and holonomy gives a later application.

Natural cones and the standard-form axioms

For a standard pair $(\mathcal M,\Omega)$, define the natural cone

$$\mathcal P_\Omega =\overline{\left\{ \Delta_\Omega^{1/4}A\Omega:A\in\mathcal M_+ \right\}}.$$

It is a closed, pointed, self-dual cone in $\mathcal H$. The quadruple $(\mathcal M,\mathcal H,J,\mathcal P)$ is a standard form when

$$J\mathcal M J=\mathcal M', \qquad J\xi=\xi\quad(\xi\in\mathcal P),$$

$JzJ=z^*$ for central $z$, and $AJAJ\,\mathcal P\subset\mathcal P$ for $A\in\mathcal M$. Every normal positive functional $\varphi$ has a unique representative $\xi_\varphi\in\mathcal P$ satisfying

$$\varphi(A)=\langle\xi_\varphi,A\xi_\varphi\rangle.$$

If $\varphi$ is faithful, $\xi_\varphi$ is cyclic and separating. Its modular operator $\Delta_\varphi$ changes with $\varphi$, but the cone and conjugation can be kept fixed. Haagerup proves existence and uniqueness of standard form, including spatial implementation of algebra isomorphisms, in Haagerup 1975, pp. 271–283. Araki’s natural-cone construction and unique vector representatives appear in Araki 1974, pp. 309–354.

Relative modular data and state changes

For faithful normal states $\varphi,\psi$ with natural-cone vectors $\xi_\varphi,\xi_\psi$, start on $\mathcal M\xi_\psi$ with

$$S_{\varphi|\psi,0}(A\xi_\psi)=A^*\xi_\varphi.$$

Its closure defines the positive relative modular operator

$$\Delta_{\varphi|\psi} =S_{\varphi|\psi}^*S_{\varphi|\psi}.$$

The definition is a closed-operator statement; $\log\Delta_{\varphi|\psi}$ and its expectation values require their own domains. From relative modular powers one obtains the Connes cocycle $u_t=[D\varphi:D\psi]_t\in\mathcal M$, which satisfies

$$u_{t+s}=u_t\,\sigma_t^\psi(u_s), \qquad \sigma_t^\varphi(A) =u_t\,\sigma_t^\psi(A)\,u_t^*.$$

This is not a claim that the two modular groups are equal. They differ by a state-dependent inner cocycle. Relative entropy uses the logarithm of a relative modular operator, but its inequalities and information-theoretic applications require additional analysis beyond the absolute standard-form theorem.

Modular covariance and conditional expectations

Let $\mathcal N\subset\mathcal M$ and let $\varphi$ be a faithful normal state on $\mathcal M$. Takesaki’s conditional-expectation theorem says

$$\sigma_t^\varphi(\mathcal N)=\mathcal N \quad\text{for every }t$$

if and only if there is a faithful normal $\varphi$-preserving conditional expectation $E_\varphi:\mathcal M\to\mathcal N$. It obeys

$$E_\varphi(N_1AN_2) =N_1E_\varphi(A)N_2, \qquad \varphi\circ E_\varphi=\varphi,$$

and is unique under the state-preserving requirement. The theorem, including its weight-level form and semifiniteness qualifications, is proved in Takesaki 1972, pp. 306–321. An arbitrary subalgebra need not admit such an expectation; modular invariance is the decisive hypothesis.

A finite-dimensional check makes the criterion visible. Let $\rho=\sum_r p_rP_r$ and let $\mathcal N$ be the algebra block diagonal with respect to the spectral projections $P_r$. Then $\rho^{it}\mathcal N\rho^{-it}=\mathcal N$, and

$$E_\rho(A)=\sum_r P_rAP_r$$

is normal, completely positive, $\mathcal N$-bimodular, and preserves $\operatorname{Tr}(\rho A)$. Rotate the diagonal algebra without rotating $\rho$ and modular invariance generally fails. The existence of other completely positive projections would not repair the missing conclusion: the theorem concerns the expectation that preserves this specified faithful state.

Faithful Gibbs state in Hilbert–Schmidt standard form

Let $\mathcal K$ be finite-dimensional, $\rho=Z^{-1}e^{-\beta H}>0$, and represent $\mathcal M=\mathcal B(\mathcal K)$ by left multiplication on the Hilbert–Schmidt space $\mathcal H_{\mathrm{HS}}$. Take $\Omega_\rho=\rho^{1/2}$. For $X\in\mathcal H_{\mathrm{HS}}$,

$$\begin{aligned} S_\rho(X)&=\rho^{-1/2}X^*\rho^{1/2},\\ \Delta_\rho(X)&=\rho X\rho^{-1},\\ J(X)&=X^*. \end{aligned}$$

The natural cone is the cone of positive Hilbert–Schmidt operators. The modular action on the left algebra is

$$\sigma_t^\rho(A)=\rho^{it}A\rho^{-it}.$$

With the physical convention $\alpha_s(A)=e^{iHs}Ae^{-iHs}$, this is $\sigma_t^\rho=\alpha_{-\beta t}$. The minus sign follows from the chosen $\operatorname{Ad}\Delta^{it}$ convention; changing the convention changes the parameter relation, not the KMS content. The equilibrium KMS characterization in finite and infinite systems is established in Haag, Hugenholtz, and Winnink 1967, pp. 215–236.

This calculation realizes the thermofield-double picture: left multiplication is the physical algebra, right multiplication is its commutant, and $J$ exchanges the two actions with an adjoint. An independent check is

$$J\,L(A)\,J=R(A^*),$$

so $J\mathcal M J=\mathcal M'$ exactly. Also $\Delta_\rho^{it}L(A)\Delta_\rho^{-it}=L(\rho^{it}A\rho^{-it})$.

Adversarial test: modular conjugation is not charge conjugation

In the Hilbert–Schmidt example, $J(X)=X^*$ even if $\mathcal K$ has no particle-antiparticle symmetry. A physical charge-conjugation operator, when present, is an additional (anti)unitary acting on species and internal quantum numbers. It can be changed or broken without changing the standard-form identity $J\mathcal M J=\mathcal M'$.

Therefore an arbitrary modular conjugation cannot be identified with charge conjugation. A geometric CPT interpretation becomes available only under the locality, covariance, wedge, and field-content hypotheses of a Bisognano–Wichmann-type theorem.

Exercises

Verify the polar decomposition of $S_\rho$ in the Hilbert–Schmidt example.

Solution

Define $\Delta_\rho^{1/2}(X)=\rho^{1/2}X\rho^{-1/2}$ and $J(X)=X^*$. Then

$$J\Delta_\rho^{1/2}(X) =\left(\rho^{1/2}X\rho^{-1/2}\right)^* =\rho^{-1/2}X^*\rho^{1/2} =S_\rho(X).$$

Thus $S_\rho=J\Delta_\rho^{1/2}$. Faithfulness of $\rho$ is essential: if $\rho$ has a kernel, its inverse powers are not defined on all of the Hilbert–Schmidt space and the vector is not separating for the full matrix algebra.

References

• Araki, Huzihiro. 1974. “Some Properties of Modular Conjugation Operator of von Neumann Algebras and a Non-Commutative Radon–Nikodym Theorem with a Chain Rule.” Pacific Journal of Mathematics 50: 309–354. DOI.
• Haag, Rudolf, Nicolaas M. Hugenholtz, and Marinus Winnink. 1967. “On the Equilibrium States in Quantum Statistical Mechanics.” Communications in Mathematical Physics 5: 215–236. DOI.
• Haagerup, Uffe. 1975. “The Standard Form of von Neumann Algebras.” Mathematica Scandinavica 37: 271–283. DOI.
• Takesaki, Masamichi. 1972. “Conditional Expectations in von Neumann Algebras.” Journal of Functional Analysis 9: 306–321. DOI.