Primitives Ideal

Hilbertraum-Darstellungen sind eine wichtige mathematische Methode zur Untersuchung von Banach-*-Algebren, insbesondere C*-Algebren und Faltungsalgebren lokalkompakter Gruppen. Es handelt sich dabei um Darstellungen als Algebren von Operatoren auf Hilberträumen.

Gegenüber der allgemeinen in der Algebra betrachteten Darstellungstheorie liegen wegen der Hilbertraum-Struktur zusätzliche Strukturelemente vor. Da ist zunächst die Topologie des Hilbertraums, die auch auf dem Raum der stetigen linearen Operatoren eine Topologie erzeugt. Eine weitere wichtige Rolle spielt die Involution in der Algebra der stetigen linearen Operatoren auf einem Hilbertraum, die durch die Adjunktion gegeben ist.

Definitionen

Ist H ein Hilbertraum, so ist die Algebra L(H) der stetigen linearen Operatoren mit der Operatornorm eine C*-Algebra.

Ist A eine Banach-*-Algebra, so heißt jeder *-Homomorphismus $\pi:A\rightarrow L(H)$ eine Darstellung von A auf H.

Viele aus der algebraischen Darstellungstheorie bekannten Begriffsbildungen haben topologische Varianten, die im nächsten Abschnitt vorgestellt werden.

Weiterführende Begriffsbildungen

Eine Hilbertraum-Darstellung π heißt zyklisch, wenn es einen Vektor $\xi \in H$ gibt, so dass $\{\pi(a)\xi;\, a\in A\} \subset H$ dicht liegt.

Ein Unterraum $U\subset H$ heißt invariant (bzgl. der Darstellung π), falls $\pi(a)U \subset U$ für alle $a\in A$. Ist U abgeschlossen, also selbst ein Hilbertraum, so ist $\pi|_U:A\rightarrow L(U),\, \pi|_U(a):= \pi(a)|_U:U\rightarrow U$ wieder eine Hilbertraum-Darstellung, sie heißt die zu U gehörige Teildarstellung. Da wir es hier mit *-Homomorphismen zu tun haben, ist das orthogonale Komplement $U^\perp$ ebenfalls invariant. Daher ist jedes π(a) die direkte Summe der Operatoren $\pi(a)|_U\,$ und $\pi(a)|_{U^\perp}$. Dafür schreibt man kurz $\pi = \pi|_U \oplus \pi|_{U^\perp}$, man spricht dann auch von einer direkten Summe von Teildarstellungen. Abgeschlossene invariante Unterräume erlauben also die Zerlegung der Darstellung in Darstellungen auf kleineren Räumen.

Die kleinsten „Bausteine“ von Hilbertraum-Darstellungen auf H sind solche, die keine abgeschlossenen invarianten Teilräume außer {0} und H haben. Derartige Darstellungen nennt man topologisch irreduzibel.

Die Nulldarstellung ist der Nullhomomorphismus $A\rightarrow L(H)$. Eine Darstellung heißt nicht-ausgeartet oder nicht-degeneriert, wenn es außer {0} keinen abgeschlossenen invarianten Unterraum gibt, so dass die Einschränkung darauf die Nulldarstellung ist. Jede Darstellung ist die direkte Summe aus zyklischen Teildarstellungen und einer Nulldarstellung. Eine nicht-degenerierte Darstellung ist demnach eine direkte Summe zyklischer Darstellungen und umgekehrt.

Zwei Darstellungen $\pi_1:A\rightarrow L(H_1)$ und $\pi_2:A\rightarrow L(H_2)$ heißen äquivalent, wenn es einen unitären Operator $U: H_1\rightarrow H_2$ gibt, so dass $\pi_1(a)\,=\, U^*\pi_2(a)U$ für alle $a \in A$. Zwischen äquivalenten Darstellungen besteht praktisch kein Unterschied, es sind lediglich die Bezeichnungen für die Hilbertraumvektoren (vermöge U) ausgetauscht.

Es gibt sehr viele Darstellungen, zu jeder Kardinalzahl wenigstens eine, nämlich die Nulldarstellung auf einem Hilbertraum mit einer Basis dieser Kardinalität, und all diese Darstellungen sind paarweise nicht äquivalent. Man kann also nicht von der Menge der Äquivalenzklassen von Darstellungen sprechen. Bei irreduziblen Darstellungen, die in einem gewissen Sinne klein sind, ist das anders. Ist A eine C*-Algebra oder eine Gruppenalgebra, so bilden die Äquivalenzklassen irreduzibler Darstellungen eine Menge, die man $\hat{A}$ schreibt und das Spektrum von A nennt.

Die Kerne irreduzibler Darstellungen sind Ideale, die man primitiv nennt. Es ist klar, dass äquivalente Darstellungen zum selben primitiven Ideal führen, die Umkehrung gilt aber nicht. Mit Prim(A) wird der Raum der primitiven Ideale bezeichnet. Man hat dann eine surjektive Abbildung $\hat{A}\rightarrow \mbox{Prim}(A),\, [\pi] \mapsto \mbox{ker}(\pi)$. Weiter sind primitive Ideale Primideale. Daher trägt der Raum der primitiven Ideale die relative Zariski-Topologie. Die Initialtopologie bezüglich der Abbildung $\hat{A}\rightarrow \mbox{Prim}(A)$ ist dann die üblicher Weise auf dem Spektrum von A betrachtete Topologie.

Sätze über Darstellungen

GNS-Konstruktion

Ein Zustand auf einer Banach-*-Algebra A mit durch 1 beschränkter Approximation der Eins (e_i)_i ist ein stetiges lineares Funktional $f:A\rightarrow \C$ mit $\|f\|=1$ und $f(a^*a)\ge 0$ für alle $a\in A$. Zu einem solchen Zustand kann wie folgt eine Darstellung konstruiert werden: Zum Zustand f setze $N_f := \{x\in A: f(x^*x) = 0\}$. Dann definiert die Formel $\langle x+N_f, y+N_f\rangle = f(y^*x)$ ein Skalarprodukt auf dem Quotientenraum A / N_f. Die Vervollständigung bzgl. dieses Skalarproduktes ist ein Hilbertraum H_f. Für jedes $a \in A$ lässt sich die Abbildung $x+N_f \mapsto ax+N_f$ zu einem stetigen linearen Operator π_f(a) auf H_f fortsetzen. Dann zeigt man, dass die so erklärte Abbildung $\pi_f: A \rightarrow L(H_f)$ eine zyklische Darstellung ist mit $\pi_f(e_i) \rightarrow \mbox{id}_{H_f}$ bzgl. der starken Operatortopologie. Diese Konstruktion von π_f aus f nennt man nach Gelfand, Neumak und Segal die GNS-Konstruktion (siehe auch Satz von Gelfand und Neumark), π_f heißt auch die GNS-Darstellung zum Zustand f.

Einhüllende C*-Algebra, einhüllende von-Neumann-Algebra

Sei A eine Banach-*-Algebra mit durch 1 beschränkter Approximation der Eins. Die direkte Summe aller GNS-Darstellungen π_f, wobei f die Menge aller Zustände durchläuft, heißt die universelle Darstellung π_u von A.

π_u ist eine nicht-degenerierte Darstellung auf dem Hilbertraum $H_u := \bigoplus H_f$. Im Falle von C*-Algebren und Gruppenalgebren ist die universelle Darstellung treu (das heißt injektiv). Der Abschluss von $\pi_u(A) \subset L(H_u)$ bezüglich der Normtopologie heißt die einhüllende C*-Algebra von A. Der Abschluss von $\pi_u(A) \subset L(H_u)$ bezüglich der schwachen Operatortopologie enthält den Operator $\mbox{id}_{H_u}$ und heißt die einhüllende von-Neumann-Algebra von A.

Existenz irreduzibler Darstellungen, atomare Darstellung

Es ist a priori nicht klar, ob es im Falle von C*-Algebren oder Gruppenalgebren A überhaupt irreduzible Darstellungen gibt. In der Tat ist es aber so, dass es zu jedem $0 \not=a\in A$ eine irreduzible Darstellung π gibt mit $\pi(a)\not= 0$, wie man mittels der GNS-KOnstruktion beweisen kann. Daraus folgt sofort, dass die direkte Summe $\bigoplus_{[\pi]\in\hat{A}}\pi$ eine treue Darstellung ist. Diese spezielle Darstellung, die also zu jeder irreduziblen Darstellung eine dazu äquivalente Teildarstellung enthält, nennt man die atomare Darstellung.

Transitivitätssatz von Kadison

Eine Darstellung heißt algebraisch irreduzibel, wenn es außer {0} und H keine invarianten Unterräume, also auch keine nicht-abgeschlossenen, gibt. Algebraische Irreduzibilität ist demnach die stärkere Forderung; es gilt aber der Transitivitätssatz von Kadison, der mit Hilfe des Dichtheitssatzes von Kaplansky bewiesen werden kann:

• Seien A eine C*-Algbra und $\pi:A\rightarrow L(H)$ eine topologisch irreduzible Darstellung. Weiter seien $\xi_1,\ldots, \xi_n \in H$ linear unabhängig und $\eta_1,\ldots, \eta_n\in H$. Dann gibt es ein $a\in A$ mit $\pi(a)\xi_i\,=\,\eta_i$ für alle $i=1,\ldots, n$.

Daraus ergibt sich sofort folgendes Korollar:

• Eine Darstellung einer C*-Algebra ist genau dann topologisch irreduzibel, wenn sie algebraisch irreduzibel ist.

Es ist nur zu zeigen, dass topologisch irreduzible Darstellungen auch algebraisch irreduzibel sein, denn die Umkehrung ist klar. Ist $U\subset H$ ein von {0} verschiedener invarianter Vektorraum, so gibt es ein von 0 verschiedenes $\xi\in U$. Ist $\eta \in H$ beliebig, so gibt es nach dem Transitivitätssatz ein $a\in A$ mit π(a)ξ = η. Da U invariant ist, folgt $\eta\in U$, also insgesamt U = H. Die einzigen invarianten Unterräume sind daher {0} und H, das heißt es liegt algebraische Irreduzibilität vor.

Literatur

• W. Arveson: Invitation to C*-algebras, ISBN 0387901760
• J. Dixmier: Les C*-algèbres et leurs représentations, Gauthier-Villars, 1969
• R.V. Kadison, J. R. Ringrose: Fundamentals of the Theory of Operator Algebras, 1983, ISBN 0123933013