C*-dynamisches System

C*-dynamische Systeme werden im mathematischen Teilgebiet der Funktionalanalysis untersucht. Es handelt sich um eine Konstruktion, mit der man aus einer C*-Algebra und einer lokalkompakten Gruppe, die in gewisser Weise auf der C*-Algebra operiert, eine neue C*-Algebra gewinnt. Diese Konstruktion verallgemeinert die klassischen dynamischen Systeme, bei denen die Gruppe der ganzen Zahlen auf einem kompakten Hausdorffraum operiert. Der Prototyp eines C*-dynamischen Systems ist die irrationale Rotationsalgebra.

Definition

Unter einem C*-dynamischen System versteht man ein Tripel $(A,G,\alpha )$ bestehend aus einer C*-Algebra , einer lokalkompakten Gruppe und einem Homomorphismus $\alpha \colon G\rightarrow \mathrm {Aut} (A),s\mapsto \alpha _{s}$ von in die Gruppe der *-Automorphismen von , so dass alle Abbildungen $G\rightarrow A,s\mapsto \alpha _{s}(a),\,a\in A$ stetig sind. (Unter Morphismen auf C*-Algebren versteht man stets solche, die auch die Involution erhalten; man schreibt nur ${\mathrm {Aut}}(A)$ , es sind aber *-Automorphismen gemeint.)

Der einfachste und für viele Anwendungen wichtige Fall ist $G=\mathbb{Z }$ . Da die Gruppe $\mathbb {Z}$ diskret ist, entfällt die Stetigkeitsbedingung. Ferner ist $\alpha$ bereits durch $\alpha _{1}\in {\mathrm {Aut}}(A)$ festgelegt. Ein C*-dynamisches System mit Gruppe $\mathbb {Z}$ ist also nichts weiter als eine C*-Algebra mit einem ausgezeichneten Automorphismus.

Kovariante Darstellungen

Bekanntlich kann man sowohl C*-Algebren als auch lokalkompakte Gruppen auf Hilberträumen darstellen. Ist $(A,G,\alpha )$ ein C*-dynamisches System und sind $\pi \colon A\rightarrow B(H)$ eine Hilbertraum-Darstellung von und $u\colon G\rightarrow B(H),s\mapsto u_{s}$ eine unitäre Darstellung von auf demselben Hilbertraum, so nennt man das Paar $(\pi ,u)$ eine kovariante Darstellung, falls

$\pi (\alpha _{s}(a))=u_{s}\pi (a)u_{s}^{*}$ für alle $a\in A$ und $s\in G$ .

Mittels einer kovarianten Darstellung wird also die durch $\alpha$ vermittelte Gruppenoperation von auf durch unitäre Operatoren dargestellt.

Das Kreuzprodukt

Ist $(A,G,\alpha )$ ein C*-dynamisches System, so definiert man auf dem Raum $K(A,G,\alpha )$ der stetigen Funktionen $G\rightarrow A$ mit kompaktem Träger für $x,y\in K(A,G,\alpha )$ und $\beta \in \mathbb {C}$ :

$(\beta x)(t):=\beta x(t)$
$(x+y)(t):=x(t)+y(t)$
$(x\star y)(t):=\int _{G}x(s)\alpha _{s}(y(s^{-1}t))\,\mathrm {d} \mu (s)$
$(x^{*})(t):=\Delta (t)^{-1}\alpha _{t}(x(t^{-1})^{*})$
$\|x\|_{1}:=\int _{G}\|x(s)\|\,\mathrm {d} \mu (s)$

Dabei ist $t\in G$ , $\mu$ ein links-Haarsches Maß auf und $\Delta$ die modulare Funktion von . Man rechnet nach, dass $K(A,G,\alpha )$ durch diese Definitionen zu einer normierten Algebra mit isometrischer Involution wird. Das von $\alpha$ abhängige Produkt $\star$ nennt man Kreuzprodukt. Die Vervollständigung ist dann eine Banach-*-Algebra, die mit $L^{1}(A,G,\alpha )$ bezeichnet wird.

Ist $(\pi ,u)$ eine kovariante Darstellung des C*-dynamischen Systems $(A,G,\alpha )$ auf einem Hilbertraum , so wird durch

$(\pi \times u)(x):=\int _{G}\pi (x(t))u_{t}\,{\mathrm {d}}\mu (t),\quad x\in L^{1}(A,G,\alpha )$

eine nicht-degenerierte Hilbertraum-Darstellung von $L^{1}(A,G,\alpha )$ definiert. Ist umgekehrt eine nicht-degenerierte Hilbertraum-Darstellung von $L^{1}(A,G,\alpha )$ gegeben, so gibt es genau eine kovariante Darstellung des C*-dynamischen Systems, so dass sich die gegebene *-Darstellung gemäß obiger Formel ergibt. Die Kenntnis aller kovarianten Darstellungen des C*-dynamischen Systems entspricht daher der Kenntnis aller nicht-degenerierten *-Darstellungen der zugehörigen $L^{1}$ -Algebra.

Die einhüllende C*-Algebra von $L^{1}(A,G,\alpha )$ wird mit $C^{*}(A,G,\alpha )$ oder $A\ltimes _{\alpha }G$ bezeichnet und heißt das Kreuzprodukt des C*-dynamischen Systems. Die kovarianten Darstellungen eines C*-dynamischen Systems führen somit zu nicht-degenerierten Hilbertraum-Darstellungen von $A\ltimes _{\alpha }G$ und umgekehrt.

Ist speziell $A=\mathbb {C}$ , so operiert jede lokalkompakte Gruppe trivial auf $\mathbb {C}$ , das heißt $\alpha _{s}=\mathrm {id} _{\mathbb {C} }$ für alle $s\in G$ , und obige Konstruktion liefert die Gruppen-C*-Algebra $C^{*}(G)$ . Die Konstruktion des Kreuzproduktes verallgemeinert daher die Konstruktion der Gruppen-C*-Algebra.

Das reduzierte Kreuzprodukt

Wie im Falle der Gruppen-C*-Algebren betrachtet man auch für C*-dynamische Systeme $(A,G,\alpha )$ linksreguläre Darstellungen, allerdings erhält man hier für jede gegebene Hilbertraum-Darstellung von eine solche.

Ist $\pi \colon A\rightarrow B(H)$ eine Hilbertraum-Darstellung von , so konstruiert man eine kovariante Darstellung $({\tilde {\pi }},\lambda )$ auf dem Hilbertraum $L^{2}(G,H)$ aller messbaren Funktionen $\xi \colon G\rightarrow H$ mit $\textstyle \int _{G}\|\xi (t)\|^{2}\,{\mathrm {d}}\mu (s)<\infty$ durch folgende Formeln:

$({\tilde {\pi }}(a)\xi )(t)=\pi (\alpha _{t^{-1}}(a))(\xi (t))$
$(\lambda _{s}\xi )(t)=\xi (s^{-1}t)$ ,

wobei $a\in A$ , $s,t\in G$ und $\xi \in L^{2}(G,H)$ . Man rechnet nach, dass hierdurch tatsächlich eine kovariante Darstellung definiert ist. Ist nun speziell $\pi _{u}\colon A\rightarrow H_{u}$ die universelle Darstellung von , so heißt der Normabschluss von $({\tilde {\pi _{u}}}\times \lambda )(L^{1}(A,G,\alpha ))$ in $B(L^{2}(G,H_{u}))$ das reduzierte Kreuzprodukt des C*-dynamischen Systems; dieses wird mit $C_{r}^{*}(A,G,\alpha )$ oder $A\ltimes _{{\alpha r}}G$ bezeichnet.

Betrachtet man wieder den Spezialfall $A=\mathbb {C}$ mit der trivialen Operation der Gruppe , so liefert die Konstruktion des reduzierten Kreuzproduktes genau die reduzierte Gruppen-C*-Algebra.

Da die kovariante Darstellung $({\tilde {\pi }},\lambda )$ zu einer *-Darstellung des Kreuzproduktes $A\ltimes _{\alpha }G$ führt, erhält man einen surjektiven Homomorphismus $A\ltimes _{\alpha }G\rightarrow A\ltimes _{{\alpha r}}G$ , den man ebenfalls die linksreguläre Darstellung nennt. Wie im Falle von Gruppen-C*-Algebren gilt folgender Satz:

Ist $(A,G,\alpha )$ ein C*-dynamisches System mit mittelbarer Gruppe , so ist die linksreguläre Darstellung $A\ltimes _{\alpha }G\rightarrow A\ltimes _{{\alpha r}}G$ ein Isomorphismus.

Speziell für kompakte und für abelsche Gruppen (wichtiger Spezialfall $\mathbb {Z}$ ) muss man also nicht zwischen $A\ltimes _{{\alpha }}G$ und $A\ltimes _{{\alpha r}}G$ unterscheiden, denn diese Gruppen sind mittelbar.

Klassische dynamische Systeme

Klassische dynamische Systeme sind Operationen der Gruppe $\mathbb {Z}$ auf einem kompakten Hausdorffraum . Genauer ist ein Homöomorphismus $\sigma \colon X\rightarrow X$ gegeben, und dieser definiert die Gruppenoperation $\mathbb{Z } \times X\rightarrow X,(n,x)\mapsto \sigma ^{n}(x)$ . $\sigma$ definiert auch einen Automorphismus auf der C*-Algebra C(X) der stetigen Funktionen $X\rightarrow \mathbb {C}$ , der $f\in C(X)$ auf $f\circ \sigma ^{{-1}}$ abbildet. Damit liegt ein C*-dynamisches System $(C(X),\mathbb{Z } ,\alpha )$ vor, wobei $\alpha _{n}(f)=f\circ \sigma ^{{-n}}$ >. Es können dann Beziehungen zwischen dem klassischen dynamischen System $(X,\sigma )$ und der C*-Algebra $C(X)\ltimes _{\alpha }\mathbb{Z }$ aufgestellt werden. Der Prototyp dieser Konstruktion ist die irrationale Rotationsalgebra.

Basierend auf einem Artikel in:

Wikipedia.de