Connes classification of type III factors - Imported Knowlpedia Content

Statement

Let $M$ be a type III factor. Its Connes type is determined by

S(M)=\bigcap_{\varphi}\operatorname{Sp}(\Delta_\varphi),

where $\varphi$ ranges over faithful normal semifinite weights and $\Delta_\varphi$ is the associated modular operator. The factor is type $\mathrm{III}_0$ when $S(M)=\{0,1\}$ , type $\mathrm{III}_\lambda$ for $0<\lambda<1$ when

S(M)=\{0\}\cup\{\lambda^n:n\in\mathbb Z\},

and type $\mathrm{III}_1$ when $S(M)=[0,\infty)$ . These mutually exclusive cases exhaust type III factors; the subscript records modular spectral behavior, not a dimension or trace value.

Meaning of the invariant

Changing a faithful normal weight changes its modular automorphism group and modular operator, but the intersection defining $S(M)$ is intrinsic to $M$ . The three possible spectral patterns above give Connes's subdivision of the Murray–von Neumann type III class Connes, Une classification des facteurs de type III.

For $0<\lambda<1$ , the nonzero part of $S(M)$ is the discrete multiplicative group generated by $\lambda$ . At the endpoints the behavior changes: type $\mathrm{III}_0$ retains no nontrivial nonzero scale in $S(M)$ , while type $\mathrm{III}_1$ has every positive scale.

Scope and limitations

The label is an invariant, not a complete isomorphism classification within each subtype. Distinct nonisomorphic factors can have the same Connes type. Finer invariants, especially the flow of weights and its refinements, are needed to distinguish them.

References

A. Connes, “Une classification des facteurs de type III,” Annales scientifiques de l'École Normale Supérieure 6 (1973), 133–252. DOI record. Relevant: construction of the $S$ -invariant and the $\mathrm{III}_0$ , $\mathrm{III}_\lambda$ , $\mathrm{III}_1$ subdivision.
M. Takesaki, Theory of Operator Algebras III, Springer, 2003. DOI record. Relevant: Chapter XII on type III factors and Connes's invariants.