K-Theorie von Banachalgebren

Die K-Theorie von Banachalgebren ist ein Konzept aus dem mathematischen Gebiet der Funktionalanalysis. Sie liefert Invarianten für Banachalgebren, das sind in der Funktionalanalysis untersuchte Algebren, die einige bekannte Funktionenräume und Operatorenalgebren wie zum Beispiel Räume stetiger oder integrierbarer Funktionen oder Algebren stetiger linearer Operatoren auf Banachräumen anhand wesentlicher gemeinsamer Eigenschaften verallgemeinern.

Sie verallgemeinert die topologische K-Theorie, die sich mit dem Studium von Vektorbündeln auf topologischen Räumen befasst, auf allgemeine Banachalgebren, wobei die C*-Algebren eine wichtige Rolle spielen. Die topologische K-Theorie kompakter Räume $X$ kann als K-Theorie der Banachalgebren $C(X)$ der stetigen Funktionen $X\to ℂ$ umformuliert und dann auf beliebige Banachalgebren übertragen werden, sogar auf das Einselement der Algebren kann man verzichten. Da die Zuordnung $X\mapsto C(X)$ ein kontravarianter Funktor von der Kategorie der kompakten Hausdorffräume in die Kategorie der Banachalgebren ist und da die topologische K-Theorie ebenfalls kontravariant ist, erhalten wir insgesamt einen kovarianten Funktor von der Kategorie der Banachalgebren in die Kategorie der abelschen Gruppen.

Da hier auch nicht-kommutative Algebren auftreten können, spricht man von nicht-kommutativer Topologie. Die K-Theorie ist ein wichtiger Untersuchungsgegenstand in der Theorie der C*-Algebren. Im Folgenden sei $A$ eine $ℂ$-Banachalgebra, $A^{+}$ gehe aus $A$ durch Adjunktion eines Einselementes hervor.

K₀ von Banachalgebren

Die Vektorbündel der topologischen K-Theorie entsprechen auf der algebraischen Seite den endlich erzeugten, projektiven Moduln und diese sind direkte Summanden in freien Moduln $A^n$, können also durch Idempotente $p\in M_n(A)$ einer hinreichend großen Matrix-Algebra über $A$ beschrieben werden. Für die Idempotenten gibt es verschiedene, geeignete Äquivalenzbegriffe, die alle zusammenfallen, wenn man in den induktiven Limes $M_{\mathrm{\infty }}(A)={\mathrm{i}\mathrm{n}\mathrm{d}}_{n\to \mathrm{\infty }}{M}_n(A)$ geht, wobei äquivalente Idempotente zu stabil-isomorphen, projektiven Moduln gehören. Eine mögliche Definition ist, dass zwei Idempotente $p$ und $q$ äquivalent heißen, wenn es ein $n\in \mathbb{N}$ gibt, so dass $p,q\in M_n(A)$ und Elemente $x,y\in M_n(A)$ mit $p=xy,q=yx$ existieren. Die Äquivalenzklasse von $p$ werde mit $[p]$ bezeichnet. Hat man zwei Idempotente $p$ und $q$, so kann man etwa $q$ durch eine äquivalente Idempotente $q^{\prime }$ ersetzen, so dass $p{q}^{\prime }=0$, dann ist $p+q^{\prime }$ wieder eine Idempotente. Setzt man $[p]+[q]:=[p+q^{\prime }]$, so ist dadurch eine wohldefinierte Halbgruppenverknüpfung auf der Menge $V(A)$ der Äquivalenzklassen von Idempotenten aus $M_{\mathrm{\infty }}(A)$ gegeben. Hiervon könnte man wieder die zugehörige Grothendieck-Gruppe bilden, aber zur Definition der Gruppe $K_0(A)$ nimmt man eine kleine technische Veränderung vor, um auch Algebren ohne Einselement, etwa Ideale in Banachalgebren, adäquat behandeln zu können. Man definiert $K_0(A)$ als Untergruppe der Grothendieck-Gruppe von $V(A^{+})$, und zwar als Menge aller Differenzen $[p]-[q]$, wobei $p,q\in M_{\mathrm{\infty }}(A^{+})$ idempotent sind, so dass $p-q\in M_{\mathrm{\infty }}(A)$.

Ist $J\subset A$ ein zweiseitiges, abgeschlossenes Ideal, so erhält man aus der kurzen, exakten Sequenz

$0\to J\to A\to A/J\to 0$

eine exakte Sequenz

$K_0(J)\to K_0(A)\to K_0(A/J)$,

die sich im Allgemeinen weder nach links noch nach rechts exakt mit 0 fortsetzen lässt.

Die Definition ist so angelegt, dass $K_0(C(X))=K^0(X)$ für kompakte Räume $X$ gilt (Satz von Serre und Swan). Im Falle von C*-Algebren kann man bei obiger Konstruktion die Idempotenten durch Orthogonalprojektionen, das heißt durch selbstadjungierte Idempotente, ersetzen und erhält dasselbe Ergebnis, da jede Idempotente zu einer Projektion äquivalent ist. Als wichtige Anwendung lassen sich mittels K₀ die AF-C*-Algebren klassifizieren.

K₁ von Banachalgebren

Zur Definition von $K_1(A)$ definieren wir $G{L}_n(A)$ als Menge aller invertierbaren Matrizen aus $M_n(A^{+})$, deren Bild in der Quotientenalgebra $M_n(A^{+})/M_n(A)\cong M_n(ℂ)$ gleich der Einheitsmatrix ist. Mittels

$G{L}_n(A)\ni x\mapsto \left(\begin{array}{cc}x& 0\\ 0& 1\end{array}\right)\in G{L}_{n+1}(A)$

fassen wir $G{L}_n(A)$ als Untergruppe von $G{L}_{n+1}(A)$ auf und versehen den so entstehenden induktiven Limes $G{L}_{\mathrm{\infty }}(A):={\mathrm{i}\mathrm{n}\mathrm{d}}_{n\to \mathrm{\infty }}G{L}_n(A)$ mit der finalen Topologie. Die Zusammenhangskomponente $G{L}_{\mathrm{\infty }}(A{)}_0$ des Einselements ist ein Normalteiler und man definiert

$K_1(A):=G{L}_{\mathrm{\infty }}(A)/G{L}_{\mathrm{\infty }}(A{)}_0={\mathrm{i}\mathrm{n}\mathrm{d}}_{n\to \mathrm{\infty }}G{L}_n(A)/G{L}_n(A{)}_0$.

Trotz der Nicht-Kommutativität der Matrizenalgebren erweist sich die so definierte Gruppe $K_1(A)$ als kommutativ. Während in der algebraischen K-Theorie zur Definition der K₁-Gruppe die Kommutatorgruppe herausdividiert wird (siehe Abelisierung), verwendet man in der topologischen K-Theorie für Banachalgebren die Zusammenhangskomponente des Einselements. Im Falle von C*-Algebren kann man in obiger Konstruktion die invertierbaren Elemente durch unitäre Elemente ersetzen und erhält dasselbe Ergebnis.

Ist $J\subset A$ ein zweiseitiges, abgeschlossenes Ideal, so erhält man aus der kurzen, exakten Sequenz

$0\to J\to A\to A/J\to 0$

eine exakte Sequenz

$K_1(J)\to K_1(A)\to K_1(A/J)$,

die sich im Allgemeinen weder nach links noch nach rechts exakt mit 0 fortsetzen lässt.

Wieder ist die Definition so angelegt, dass $K_1(C(X))=K^1(X)$ für kompakte Räume $X$ gilt. Bezeichnet man mit $SA$ die Banachalgebra aller stetigen Funktionen $ℝ\to A$, die im Unendlichen verschwinden, versehen mit der Supremumsnorm, so kann man $K_1(A)\cong K_0(SA)$ zeigen. Man nennt $SA$ die Suspension von $A$; es handelt sich um die Banachachalgebrenversion der Suspension bzw. reduzierten Einhängung topologischer Räume. Mittels Iteration der Suspension könnte man höhere K-Gruppen definieren, etwa $K_n(A):=K(S^{n}A)$, aber wegen der auch hier gültigen Bott-Periodizität ist das nicht erforderlich.

Zyklische Sequenz

Wie in der topologischen K-Theorie kann man eine Index-Abbildung und einen Bott-Isomorphismus konstruieren, so dass sich obige exakte Sequenzen zu folgender zyklischen exakten Sequenz zusammenfügen:

$\begin{array}{ccccc}{K}_0(J)& \to & K_0(A)& \to & K_0(A/J)\\ \uparrow & & & & \downarrow \\ K_1(A/J)& \leftarrow & K_1(A)& \leftarrow & K_1(J)\end{array}$

Diese Sequenz ist sehr nützlich bei der Berechnung von K-Gruppen. Sind einige Gruppen der Sequenz bekannt, so lässt dies wegen der Exaktheit Rückschlüsse auf die noch unbekannten zu.

Weitere Eigenschaften

Funktorialität

Es sei $\phi :A\to B$ ein stetiger Homomorphismus zwischen Banachalgebren. Dieser definiert Homomorphismen ${\phi }_n:M_n(A)\to M_n(B)$, die mit obigen Konstruktionen der K-Gruppen verträglich sind und so zu Gruppenhomomorphismen $K_0(\phi ):K_0(A)\to K_0(B)$ und $K_1(\phi ):K_1(A)\to K_1(B)$ führen. Dadurch werden $K_0$ und $K_1$ zu kovarianten Funktoren zwischen der Kategorie der Banachalgebren und der Kategorie der abelschen Gruppen.

Homotopieinvarianz

Zwei stetige Homomorphismen $\phi ,\psi :A\to B$ zwischen Banachalgebren heißen homotop, wenn es eine Familie $({\phi }_t{)}_{t\in [0,1]}$ von Homomorphismen gibt, so dass $t\mapsto {\phi }_t(a)$ für jedes $a\in A$ stetig ist und ${\phi }_0=\phi ,{\phi }_1=\psi$ gilt. Homotope Homomorphismen induzieren dieselben Gruppenhomomorphismen zwischen den K-Gruppen.

Stabilität

Ist $A$ eine Banachalgebra, so gilt $K_i(M_n(A))\cong K_i(A)$ für $i=0,1$ und alle $n\in \mathbb{N}$. Ist $A={\mathrm{i}\mathrm{n}\mathrm{d}}_{j\in J}{A}_j$ ein induktiver Limes in der Kategorie der Banachalgebren, so gilt

$K_i({\mathrm{i}\mathrm{n}\mathrm{d}}_{j\in J}{A}_j)\cong {\mathrm{i}\mathrm{n}\mathrm{d}}_{j\in J}{K}_i(A_j),i=0,1$.

Die Verträglichkeit mit der Bildung des induktiven Limes ergibt sich direkt aus den Konstruktionen der K-Gruppen mittels induktiver Limiten.

Speziell für C*-Algebren ist $M_n(A)\cong M_n(ℂ)\otimes A$ und der induktive Limes der $M_n(A)$ in der Kategorie der C*-Algreben ist isomorph zum Tensorprodukt $A\otimes K$, wobei $K$ die C*-Algebra der kompakten Operatoren über einem separablen Hilbertraum ist. Damit gilt $K_i(A\otimes K)\cong K_i(A)$ für $i=0,1$.

Literatur

• Jacek Brodzki: An Introduction to K-theory and Cyclic Cohomology. Vorlage:ArXiv.
• Bruce Blackadar: K-Theory for Operator Algebras. Springer Verlag, 1986, ISBN 3-540-96391-X.

Weblinks

• Christian Voigt: K-Theorie von Operatoralgebren. (PDF; 579 kB).