Definition
Liminal C*-algebra
A C*-algebra whose every irreducible represented image is the algebra of compact operators.
Definition
A -algebra is liminal, or CCR, if every irreducible representation has image
the compact operators on its representation space. Irreducible representations are understood to be nonzero and nondegenerate. Thus every irreducible quotient of , viewed through its faithful irreducible representation, is an elementary -algebra. The defining equality is stronger than requiring the irreducible image merely to contain the compact operators.
Relation to type I
Every liminal algebra is a type I -algebra, since equality with implies the containment required in the type I definition. The converse fails: a type I algebra may have an irreducible image properly containing the compact operators.
For example, on an infinite-dimensional is type I but not liminal. Its identity representation has image strictly larger than .
Examples and permanence
Every commutative -algebra is liminal: its irreducible representations are one-dimensional, and . Every elementary algebra is liminal as well.
Closed two-sided ideals and quotients of a liminal algebra are liminal. Extensions of liminal algebras, however, require care; the class is not characterized merely by having liminal ideal and quotient without additional hypotheses.
Representation-theoretic meaning
The abbreviation CCR comes from “completely continuous representations,” an older name reflecting that every operator in every irreducible image is compact. The condition makes the irreducible representation theory particularly rigid: an irreducible representation is determined up to unitary equivalence by its kernel. This permits the spectrum of to be identified set-theoretically with its primitive ideal space, although the associated topology can still be non-Hausdorff.
References
- Jacques Dixmier, C-Algebras*, North-Holland Mathematical Library 15, North-Holland, 1977. Google Books record. Relevant: §4.2 on liminal algebras.
- Gert K. Pedersen, C-Algebras and Their Automorphism Groups*, 2nd ed., Academic Press, 2018. DOI record. Relevant: Chapter 6 on liminal and type I algebras.