 Spectrum of a C*algebra

The spectrum of a C*algebra or dual of a C*algebra A, denoted Â, is the set of unitary equivalence classes of irreducible *representations of A. A *representation π of A on a Hilbert space H is irreducible if, and only if, there is no closed subspace K different from H and {0} which is invariant under all operators π(x) with x ∈ A. We implicitly assume that irreducible representation means nonnull irreducible representation, thus excluding trivial (i.e. identically 0) representations on onedimensional spaces. As explained below, the spectrum Â is also naturally a topological space; this generalizes the notion of the spectrum of a ring.
One of the most important applications of this concept is to provide a notion of dual object for any locally compact group. This dual object is suitable for formulating a Fourier transform and a Plancherel theorem for unimodular separable locally compact groups of type I and a decomposition theorem for arbitrary representations of separable locally compact groups of type I. The resulting duality theory for locally compact groups is however much weaker than the Tannaka–Krein duality theory for compact topological groups or Pontryagin duality for locally compact abelian groups, both of which are complete invariants. That the dual is not a complete invariant is easily seen as the dual of any finite dimensional full matrix algebra M_{n}(C) consists of a single point.
Contents
Primitive spectrum
The topology of Â can be defined in several equivalent ways. We first define it in terms of the primitive spectrum .
The primitive spectrum of A is the set of primitive ideals Prim(A) of A, where a primitive ideal is the kernel of an irreducible *representation. The set of primitive ideals is a topological space with the hullkernel topology (or Jacobson topology). This is defined as follows: If X is a set of primitive ideals, its hullkernel closure is
Hullkernel closure is easily shown to be an idempotent operation, that is
and it can be shown to satisfy the Kuratowski closure axioms. As a consequence, it can be shown that there is a unique topology τ on Prim(A) such that the closure of a set X with respect to τ is identical to the hullkernel closure of X.
Since unitarily equivalent representations have the same kernel, the map π ↦ ker(π) factors through a surjective map
We use the map k to define the topology on Â as follows:
Definition. The open sets of Â are inverse images k^{−1}(U) of open subsets U of Prim(A). This is indeed a topology.
The hullkernel topology is an analogue for noncommutative rings of the Zariski topology for commutative rings.
The topology on Â induced from the hullkernel topology has other characterizations in terms of states of A.
Examples
Commutative C*algebras
The spectrum of a commutative C*algebra A coincides with the usual dual of A. In particular, suppose X is a compact Hausdorff space. Then there is a natural homeomorphism
This mapping is defined by
I(x) is a closed maximal ideal in C(X) so is in fact primitive. For details of the proof, see the Dixmier reference. For a commutative C*algebra,
The C*algebra of bounded operators
Let H be a separable Hilbert space. L(H) has two normclosed *ideals: I_{0} = {0} and the ideal K = K(H) of compact operators. Thus as a set, Prim(L(H)) = {I_{0}, K}. Now
 {K} is a closed subset of Prim(L(H)).
 The closure of {I_{0}} is Prim(L(H)).
Thus Prim(L(H)) is a nonHausdorff space.
The spectrum of L(H) on the other hand is much larger. There are many inequivalent irreducible representations with kernel K(H) or with kernel {0}.
Finite dimensional C*algebras
Suppose A is a finite dimensional C*algebra. It is known A is isomorphic to a finite direct sum of full matrix algebras:
where min(A) are the minimal central projections of A. The spectrum of A is canonically isomorphic to min(A) with the discrete topology. For finite dimensional C*algebras, we also have the isomorphism
Other characterizations of the spectrum
The hullkernel topology is easy to describe abstractly, but in practice for C*algebras associated to locally compact topological groups, other characterizations of the topology on the spectrum in terms of positive definite functions are desirable.
In fact, the topology on Â is intimately connected with the concept of weak containment of representations as is shown by the following:
Theorem. Let S be subset of Â. Then the following are equivalent for an irreducile representation π
 The equivalence class of π in Â is in the closure of S
 Every state associated to π, that is one of the form
 with ξ=1, is the weak limit of states associated to representations in S.
The second condition means exactly that π is weakly contained in S.
The GNS construction is a recipe for associating states of a C*algebra A to representations of A. By one of the basic theorems associated to the GNS construction, a state f is pure if and only if the associated representation π_{f} is irreducible. Moreover, the mapping κ: PureState(A) → Â defined by f ↦ π_{f} is a surjective map.
From the previous theorem one can easily prove the following;
Theorem The mapping
given by the GNS construction is continuous and open.
The space Irr_{n}(A)
There is yet another characterization of the topology on Â which arises by considering the space of representations as a topological space with an appropriate pointwise convergence topology. More precisely, let n be a cardinal number and let H_{n} be the canonical Hilbert space of dimension n.
Irr_{n}(A) is the space of irreducible *representations of A on H_{n} with the pointweak topology. In terms of convergence of nets, this topology is defined by π_{i} → π if and only if
It turns out that this topology on Irr_{n}(A) is the same as the pointstrong topology, i.e. π_{i} → π if and only if
Theorem. Let Â_{n} be the subset of Â consisting of equivalence classes of representations whose underlying Hilbert space has dimension n. The canonical map Irr_{n}(A) → Â_{n} is continuous and open. In particular, Â_{n} can be regarded as the quotient space of Irr_{n}(A) under unitary equivalence.
Remark. The piecing together of the various Â_{n} can be quite complicated.
Mackey Borel structure
Â is a topological space and thus can also be regarded as a Borel space. A famous conjecture of G. Mackey proposed that a separable locally compact group is of type I if and only if the Borel space is standard, i.e. is isomorphic (in the category of Borel spaces) to the underlying Borel space of a complete separable metric space. Mackey called Borel spaces with this property smooth. This conjecture was proved by James Glimm for separable C*algebras in the 1961 paper listed in the references below.
Definition. A nondegenerate *representation π of a separable C*algebra A is a factor representation if and only if the center of the von Neumann algebra generated by π(A) is onedimensional. A C*algebra A is of type I if and only if any separable factor representation of A is a finite or countable multiple of an irreducible one.
Examples of separable locally compact groups G such that C*(G) is of type I are connected (real) nilpotent Lie groups and connected real semisimple Lie groups. Thus the Heisenberg groups are all of type I. Compact and abelian groups are also of type I.
Theorem. If A is separable, Â is smooth if and only if A is of type I.
The result implies a farreaching generalization of the structure of representations of separable type I C*algebras and correspondingly of separable locally compact groups of type I.
Algebraic primitive spectra
Since a C*algebra A is a ring, we can also consider the set of primitive ideals of A, where A is regarded algebraically. For a ring an ideal is primitive if and only if it is the annihilator of a simple module. It turns out that for a C*algebra A, an ideal is algebraically primitive if and only if it is primitive in the sense defined above.
Theorem. Let A be a C*algebra. Any algebraically irreducible representation of A on a complex vector space is algebraically equivalent to a topologically irreducible *representation on a Hilbert space. Topologically irreducible *representations on a Hilbert space are algebraically isomorphic if and only if they are unitarily equivalent.
This is the Corollary of Theorem 2.9.5 of the Dixmier reference.
If G is a locally compact group G, the topology on dual space of the group C*algebra C*(G) of G is called the Fell topology, named after J. M. G. Fell.
References
 J. Dixmier, Les C*algèbres et leurs représentations, GauthierVillars, 1969.
 J. Glimm, Type I C*algebras, Annals of Mathematics, vol 73, 1961.
 G. Mackey, The Theory of Group Representations, The University of Chicago Press, 1955.
Categories: C*algebras
 Spectral theory
Wikimedia Foundation. 2010.
Look at other dictionaries:
Spectrum — Spec trum, n.; pl. {Spectra}. [L. See {Specter}.] 1. An apparition; a specter. [Obs.] [1913 Webster] 2. (Opt.) (a) The several colored and other rays of which light is composed, separated by the refraction of a prism or other means, and observed… … The Collaborative International Dictionary of English
Spectrum 7 — was an oil company started by William DeWitt and Mercer Reynolds.In 1984, Spectrum 7 merged with George W. Bush s Arbusto Energy. After the merger, Bush became the Chairman and CEO of Spectrum 7.In 1986, after reporting a net loss of $1.5 million … Wikipedia
spectrum — UK US /ˈspektrəm/ noun [C] ► a range of similar things: a spectrum of sth »A methodology will have to be developed to gradually cover the entire spectrum of technologies. »a wide/broad spectrum the economic/business/political spectrum »He has… … Financial and business terms
spectrum — [spek′trəm] n. pl. spectra [spek′trə] or spectrums [ModL, special use (by NEWTON2 Sir Isaac, 1671) of L spectrum: see SPECTER] 1. the series of colored bands dispersed and arranged in the order of their respective wavelengths by the passage of… … English World dictionary
Spectrum — puede referirse a: Sinclair ZX Spectrum, popular ordenador de 8 bits; The Spectrum, pabellón deportivo de la ciudad de Filadelfia. Esta página de desambiguación cataloga artículos relacionados con el mismo título. Si llegaste aquí a través de … Wikipedia Español
spectrum — (n.) 1610s, apparition, specter, from L. spectrum appearance, image, apparition, from specere to look at, view (see SCOPE (Cf. scope) (1)). Meaning band of colors formed from a beam of light first recorded 1670s … Etymology dictionary
spectrum — ► NOUN (pl. spectra) 1) a band of colours produced by separation of the components of light by their different degrees of refraction, e.g. in a rainbow. 2) the entire range of wavelengths of electromagnetic radiation. 3) a characteristic series… … English terms dictionary
Spectrum [1] — Spectrum (lat.), 1) Gestalt, Bild; 2) Gespenst; 3) (S. oculare), Augentäuschung (sd. 2); 4) eine begrenzte Stelle im Raume od. auf einer Fläche, in welcher Strahlen von verschiedener Brechbarkeit (beim Licht also von verschiedener Farbe) neben… … Pierer's UniversalLexikon
Spectrum [2] — Spectrum, 1) eine Art Zackenschwärmer; 2) so v.w. Gespenstheuschrecke … Pierer's UniversalLexikon
Spectrum — Spectrum, lat., Bild, Gespenst; in der Physik eine begränzte Stelle in der Luft oder auf einer Fläche, auf der sich ein strahlendes Fluidum (Licht, Wärme) gleichsam abbildet … Herders ConversationsLexikon
spectrum — has the plural form spectra … Modern English usage