In der mathematischen Theorie der Erweiterungen von C*-Algebren untersucht man die Struktur der Klasse aller möglichen Erweiterungen eines Paares von C*-Algebren. Genauer untersucht man die Äquivalenzklassen bezüglich einer gewissen Äquivalenzrelation und erhält so in wichtigen Fällen eine abelsche Gruppe. Diese Zuordnung einer abelschen Gruppe zu einem Paar von C*-Algebren ist eine Isomorphie-Invariante, die im Falle kommutativer C*-Algebren einen Funktor auf der topologischen Kategorie der metrisierbaren, kompakten Räume definiert. Auch wenn die Theorie für kommutative C*-Algebren die historisch frühere ist, beginnen wir mit der allgemeineren Theorie und spezialisieren später auf den kommutativen Fall.
Definitionen Bearbeiten
Es seien und zwei C*-Algebren, wobei stabil sei, das heißt isomorph zum Tensorprodukt mit der C*-Algebra der kompakten Operatoren auf dem Hilbertraum der quadratsummierbaren Folgen. Ein für viele Anwendungen wichtiges Beispiel ist . Man stellt nun die Frage nach allen Erweiterungen von nach , das heißt nach der Klasse aller kurzen exakten Sequenzen
in der Kategorie der C*-Algebren. Der Quotient nach einer geeigneten Äquivalenzrelation wird mit später bezeichnet. Beachte die Reihenfolge der Nennung der C*-Algebren in dieser Bezeichnung, die in Analogie zum Ext-Funktor der homologischen Algebra gewählt wurde.
Zwei Erweiterungen heißen isomorph, falls es einen Isomorphismus gibt, der das folgende Diagramm kommutativ macht:
Diese Äquivalenzrelation ist sehr fein und es ist klar, dass man zwei isomorphe Erweiterungen nicht als „wesentlich verschieden“ ansehen will.
Zwei Erweiterungen heißen unitär äquivalent, falls es einen Isomorphismus und ein unitäres Element aus der Multiplikatorenalgebra gibt, so dass das folgende Diagramm kommutativ ist:
Dabei ist .
Es wird später bei der Einführung der Addition deutlich, warum diese gröbere Relation der unitären Äquivalenz, die wir im Folgenden mit bezeichnen, die geeignete Äquivalenzrelation ist und warum wir von Stabilität verlangen.
Für spätere Zwecke definieren wir bereits hier, dass eine Erweiterung
spaltend heißt, falls es einen *-Homomorphismus gibt mit . Ist nur eine vollständig positive Abbildung, so heißt die Erweiterung semi-spaltend.
Beispiele Bearbeiten
heißt triviale Erweiterung. Die spaltenden Erweiterungen sind genau die zur trivialen isomorphen Erweiterungen.
Die Toeplitz-Algebra führt zu einer Erweiterung
wobei die C*-Algebra der stetigen Funktionen auf der Kreislinie sei.
Die Busby-Invariante Bearbeiten
Wie ordnen hier jeder Erweiterung
einen *-Homomorphismus zu, wobei die äußere Algebra von sei. Diesen Homomorphismus nennt man die Busby-Invariante, benannt nach R. Busby.
Zur Konstruktion dieses Homomorphismus wählen wir zu ein Urbild bezüglich . Da ein zweiseitiges Ideal in ist, definiert dieses Element einen Multiplikator , aus . Durch Übergang zu macht man sich von der Wahl des Urbildes unabhängig und daher definiert man , wobei die Quotientenabbildung sei. Die so definierte Abbildung ist ein *-Homomorphismus .
Umgekehrt kommt jeder *-Homomorphismus von einer Erweiterung her. Dazu setze
und bilde die kurze exakte Sequenz
Die Busby-Invariante dieser Erweiterung ist dann das gegebene .
Zwei Busby-Invarianten heißen unitär äquivalent, in Zeichen wenn es ein unitäres Element gibt mit für alle .
- Zwei Erweiterungen sind genau dann isomorph, wenn sie dieselbe Busby-Invariante haben.
Diese Aussage sieht auf den ersten Blick erstaunlich aus, da die C*-Algebra in der Busby-Invariante nicht vorkommt. Aber die Busby-Invariante enthält konstruktionsgemäß auch Informationen über die Operation von Urbildern von Elementen aus als Multiplikatoren auf , und das genügt wie oben gezeigt zur Konstruktion einer zu isomorphen C*-Algebra.
- Zwei Erweiterungen sind genau dann unitär äquivalent, wenn die zugehörigen Busby-Invarianten unitär äquivalent sind.
- Eine Erweiterung ist genau dann isomorph zur trivialen Erweiterung, wenn die Busby-Invariante 0 ist.
- Die Busby-Invariante einer Erweiterung ist genau dann injektiv, wenn ein wesentliches Ideal ist. Daher nennt man die zugehörige Erweiterung und ihre Busby-Invariante auch wesentlich.
Wir sehen bereits hier, dass die Isomorphieklassen in eine sehr große Menge bilden können. Ist speziell und , so ist die Busby-Invariante zu einer Erweiterung ein *-Homomorphismus und jeder solche Homomorphismus ist bereits durch sein Bild der 1 eindeutig bestimmt. Daher gibt es so viele Isomorphieklassen in , wie es Projektionen in der Calkin-Algebra gibt. Schon diese Überlegung motiviert die Suche nach gröberen Äquivalenzrelationen.
Es ist im Folgenden sehr viel bequemer über Busby-Invarianten als über Erweiterungen zu reden.
Ext(A,B) Bearbeiten
Wir werden nun eine Halbgruppe definieren. Dazu verschaffen wir uns zunächst eine Addition und dann eine geeignete Unterhalbgruppe, die wir zu einem neutralen Element machen. Schließlich gehen wir der Frage nach, wann diese Halbgruppe sogar eine Gruppe ist, indem wir die invertierbaren Elemente untersuchen.
Addition Bearbeiten
Bei der hier vorzustellenden Addition wird deutlich, warum wir als stabil voraussetzen und warum wir die Äquivalenzrelation der unitären Äquivalenz verwenden werden. Da , ist , wobei die Algebra der komplexen -Matrizen ist und entsprechend die Algebra der -Matrizen mit Komponenten aus . Dieser Isomorphismus setzt sich zu , und fort. Der letzte Isomorphismus, der auf die geforderte Stabilität zurückgeht und den wir mit bezeichnen, erlaubt die direkte Summe von Busby-Invarianten zu bilden:
Es liegt nun nahe, diese Addition auf zu betrachten. Allerdings hängt obige Definition von und damit von der gewählten Isomorphie ab und zwei verschiedene Zerlegungen führen auf ein unitäres Element , das eine unitäre Äquivalenz zwischen den Busby-Invarianten der Summen vermittelt. Um von dieser Wahl unabhängig zu sein, geht man zu den Äquivalenzklassen von Busby-Invarianten bezüglich unitärer Äquivalenz über und zeigt, dass
wohldefiniert ist und zu einer abelschen Halbgruppe macht, das heißt oben definierte Addition ist assoziativ und kommutativ, wofür ebenfalls die unitäre Äquivalenz benötigt wird.
Degenerierte Erweiterungen Bearbeiten
Hier wenden wir uns der Frage nach einem neutralen Element in der oben definierten Halbgruppe zu. Eine Busby-Invariante bzw. eine zugehörige Erweiterung heißt degeneriert, wenn es einen *-Homomorphismus gibt mit . Die Klasse der degenerierten Busby-Invarianten ist unter Addition und unitärer Äquivalenz abgeschlossen und wir definieren . Offenbar ist die triviale Busby-Invariante 0 degeneriert.
Ist separabel und σ-unital, so gibt es stets eine wesentliche, degenerierte Erweiterung. Nach einem Satz von Voiculescu sind dann je zwei wesentliche, degenerierte Busby-Invarianten, die das Einselement auf das Einselement abbilden, unitär äquivalent.
Definition von Ext(A,B) Bearbeiten
Nach diesen Vorbereitungen definieren wir nun
und erhalten so eine kommutative Halbgruppe mit neutralem Element
Die Definition der Addition verlangt, dass stabil ist, um die direkte Summe der Busby-Invarianten bilden zu können. Ist nicht stabil, so stabilisieren wir, das heißt wir setzen
was für bereits stabiles zur selben Definition führt.
Ferner definieren wir
Ist eine Busby-Invariante, so bezeichnet man das zugehörige Element in ebenfalls mit und oft nur mit .
Ist schließlich , so verzichtet man manchmal auf die Nennung von und definiert
Invertierbare Elemente Bearbeiten
Es stellt sich nun die Frage, wann sogar eine Gruppe ist, das heißt wann gilt. Dazu benötigen wir folgende Charakterisierung der invertierbaren Elemente:
Für sind folgende Aussagen äquivalent:
- ist invertierbar.
- Die zugehörige Erweiterung ist semi-spaltend.
- Es gibt eine vollständig positive Abbildung mit und
- Es gibt einen *-Homomorphismus mit
Das wesentliche Hilfsmittel zum Beweis dieses Satzes ist der Satz von Stinespring, um von einer vollständig positiven Abbildung zum *-Homomorphismus der letzten Aussage zu gelangen.
Nach einem Liftungssatz von Choi und Effros kann man jede vollständige positive Abbildung auf einer separablen, nuklearen C*-Algebra liften und wir erhalten daher für separable, nukleare C*-Algebren, oder anders formuliert:
- Ist separabel und nuklear, so ist eine Gruppe.
ist nicht immer eine Gruppe.
Eigenschaften Bearbeiten
Funktorialität in der ersten Komponente Bearbeiten
Ist ein *-Homomorphismus zwischen C*-Algebren, so ist ein Homomorphismus . Auf diese Weise erhält man bei festgehaltenem einen kontravarianten Funktor von der Kategorie der C*-Algebren in die Kategorie der abelschen Halbgruppen. Schränkt man diese Betrachtung auf die volle Unterkategorie der separablen, nuklearen C*-Algebren ein, so erhält man einen Funktor mit Werten in der Kategorie der abelschen Gruppen.
Funktorialität in der zweiten Komponente Bearbeiten
Bei festgehaltener C*-Algebra erhält man einen kovarianten Funktor von der Kategorie der C*-Algebren in die Kategorie der abelschen Halbgruppen (bzw. Gruppen, falls separabel und nuklear ist). Zu jedem erhält man einen Homomorphismus . Diese Konstruktion ist etwas aufwändiger und soll hier nicht reproduziert werden, siehe
Beziehung zur KK-Theorie Bearbeiten
Aus der letzten Aussage obiger Charakterisierung invertierbarer Elemente kann man für invertierbares einen *-Homomorphismus und eine Projektion konstruieren, so dass . Dann ist das Paar ein KK1-Zykel und man hat insgesamt ein Element aus , falls σ-unital ist. Auf diese Weise erhält man einen Isomorphismus
Ist zusätzlich nuklear, so ist
Homotopieinvarianz Bearbeiten
Zwei Homomorphismen heißen homotop, falls es weitere Homomorphismen gibt, so dass alle Abbildungen stetig sind, wobei die Elemente von durchläuft. Man kann nun fragen, ob für homotope Abbildungen die induzierten Homomorphismen und gleich sind, das wäre die Homotopieinvarianz in der ersten Komponente. Analog kann man nach der Homotopieinvarianz in der zweiten Komponente fragen. Hier gibt es nur Teilresultate. G. G. Kasparow hat mittels obiger Beziehung zur KK-Theorie gezeigt, dass für Homotopieinvarianz in beiden Komponenten vorliegt, wenn separabel und σ-unital ist.
Kommutative C*-Algebren, BDF-Theorie Bearbeiten
Ist ein metrisierbarer, kompakter Raum, so ist die Algebra der stetigen komplexwertigen Funktionen eine kommutative C*-Algebra. In diesem Fall ist
von Interesse. Für solche ist separabel und als kommutative C*-Algebra auch nuklear. Daher kann obige Theorie übertragen werden:
ist ein homotopieinvarianter Funktor von der Kategorie der metrisierbaren, kompakten Räume in die Kategorie der abelschen Gruppen.
Historisch ist der kommutative Fall früher behandelt worden, insbesondere in den Arbeiten von L. G. Brown, R. G. Douglas und P. A. Fillmore, die in geschlossener Form 1980 veröffentlicht worden sind. Man nennt diese kommutative Theorie nach den Anfangsbuchstaben der beteiligten Mathematiker auch BDF-Theorie. Da separabel und nuklear ist, liegt im Vergleich zur oben vorgestellten Theorie eine einfachere Situation vor, insbesondere ist stets eine abelsche Gruppe. Auch manche Beweise gestalten sich für kommutative C*-Algebren etwas einfacher.
Eine der Motivationen war die Untersuchung wesentlich normaler Operatoren, denn das führt zur Untersuchung von , wobei das wesentliche Spektrum des betrachteten Operators ist, das heißt das Spektrum des Bildes in der Calkin-Algebra. Ist nämlich so ein wesentlich normaler Operator, das Bild in der Calkin-Algebra und das Spektrum von , so ist die von und dem Einselement erzeugte C*-Algebra isomorph zu und man hat eine Erweiterung
Daher wird man auf die Untersuchung von geführt. Hier findet man folgendes Ergebnis
Für ist die Gruppe der Homotopieklassen stetiger Funktionen mit kompaktem Träger. Daher ist ein kartesisches Produkt mit einem Faktor für jede beschränkte Zusammenhangskomponente von . Der Isomorphismus hat die Form
wobei ein wesentlich normaler Operator mit wesentlichem Spektrum ist, so dass der *-Homomorphismus ist, der auf und die konstante Einsfunktion auf das Einselement in der Calkin-Algebra abbildet, die aus jeder beschränkten Zusammenhangskomponente ein Element sind und wobei der Fredholm-Index ist.
Da genau eine beschränkte Zusammenhangskomponente hat, ist und die oben unter den Beispielen aufgeführte Erweiterung zur Toeplitz-Algebra ist ein erzeugendes Element.
Einzelnachweise Bearbeiten
- R. Busby: Double centralizers and extensions of C*-algebras. In: Transactions Amer. Math. Soc. Band 132, 1968, S. 79–99.
- K. K. Jensen, K. Thomsen: Elements of KK-Theory. Birkhäuser-Verlag, 1991, ISBN 0-8176-3496-7, Lemma 3.2.3.
- Bruce Blackadar: K-Theory for Operator Algebras. Springer Verlag, 1986, ISBN 3-540-96391-X, Theorem 15.12.3.
- J. Anderson: A C*-algebra A for which Ext(A) is not a group, Annals of Math. (1978), Band 107, Seiten 455–458
- Bruce Blackadar: K-Theory for Operator Algebras, Springer Verlag (1986), ISBN 3-540-96391-X, 15.9
- R. Douglas: C*-Algebra Extensions and K-Homology. Princeton University Press, 1980, Annals of Mathematical Studies, Band 95.
- Bruce Blackadar: K-Theory for Operator Algebras. Springer Verlag, 1986, ISBN 3-540-96391-X, Theorem 16.2.1.