Definition

A AA is liminal, or CCR, if every π ⁣:AB(Hπ)\pi\colon A\to B(H_\pi) has image

π(A)=K(Hπ),\pi(A)=K(H_\pi),

the on its representation space. are understood to be nonzero and nondegenerate. Thus every irreducible quotient of AA, viewed through its faithful irreducible representation, is an . The defining equality is stronger than requiring the irreducible image merely to contain the .

Relation to type I

Every liminal algebra is a , since equality with K(Hπ)K(H_\pi) 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, K(H)+C1K(H)+\mathbb C1 on an infinite-dimensional HH is type I but not liminal. Its identity representation has image strictly larger than K(H)K(H).

Examples and permanence

Every commutative CC^*-algebra is liminal: its irreducible representations are one-dimensional, and K(C)=CK(\mathbb C)=\mathbb C. Every elementary algebra is liminal as well.

Closed 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 AA to be identified set-theoretically with its , although the associated topology can still be non-Hausdorff.

References
  1. Jacques Dixmier, C-Algebras*, North-Holland Mathematical Library 15, North-Holland, 1977. Google Books record. Relevant: §4.2 on liminal algebras.
  2. 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.