Erweiterung (C*-Algebra)

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

Es seien <math>A</math> und <math>B</math> zwei C*-Algebren, wobei <math>B</math> stabil sei, das heißt isomorph zum Tensorprodukt <math>B\otimes K</math> mit der C*-Algebra <math>K</math> der kompakten Operatoren auf dem Hilbertraum <math>\ell^2</math> der quadratsummierbaren Folgen. Ein für viele Anwendungen wichtiges Beispiel ist <math>B=K</math>. Man stellt nun die Frage nach allen Erweiterungen von <math>B</math> nach <math>A</math>, das heißt nach der Klasse <math>\mathcal{E}(A,B)</math> aller kurzen exakten Sequenzen

<math>0\rightarrow B\rightarrow C \rightarrow A \rightarrow 0</math>

in der Kategorie der C*-Algebren. Der Quotient nach einer geeigneten Äquivalenzrelation wird mit später <math>\mathrm{Ext}(A,B)</math> 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 <math>0\rightarrow B\rightarrow C_i \rightarrow A \rightarrow 0,\,i=1,2</math> heißen isomorph, falls es einen Isomorphismus <math>\gamma:C_1\rightarrow C_2</math> gibt, der das folgende Diagramm kommutativ macht:

<math>

 \begin{array}{ccccccc} 
   0  \rightarrow & B & \rightarrow & C_1 & \rightarrow & A & \rightarrow 0 \\
   & \parallel & & \downarrow \gamma & & \parallel \\
   0  \rightarrow & B & \rightarrow & C_2  & \rightarrow & A & \rightarrow 0 \\
 \end{array}

</math>

Diese Äquivalenzrelation ist sehr fein und es ist klar, dass man zwei isomorphe Erweiterungen nicht als „wesentlich verschieden“ ansehen will.

Zwei Erweiterungen <math>0\rightarrow B\rightarrow C_i \rightarrow A \rightarrow 0,\quad i=1,2</math> heißen unitär äquivalent, falls es einen Isomorphismus <math>\gamma:C_1\rightarrow C_2</math> und ein unitäres Element <math>u</math> aus der Multiplikatorenalgebra <math>M(B)</math> gibt, so dass das folgende Diagramm kommutativ ist:

<math>

 \begin{array}{ccccccc} 
   0  \rightarrow & B & \rightarrow & C_1 & \rightarrow & A & \rightarrow 0 \\
   & \downarrow \alpha_u & & \downarrow \gamma & & \parallel \\
   0  \rightarrow & B & \rightarrow & C_2  & \rightarrow & A & \rightarrow 0 \\
 \end{array}

</math>

Dabei ist <math>\alpha_u:B\rightarrow B, \alpha_u(b) = u^*bu</math>.

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 <math>\sim_u</math> bezeichnen, die geeignete Äquivalenzrelation ist und warum wir von <math>B</math> Stabilität verlangen.

Für spätere Zwecke definieren wir bereits hier, dass eine Erweiterung

<math>0\rightarrow B\rightarrow C \xrightarrow{\sigma} A \rightarrow 0</math>

spaltend heißt, falls es einen *-Homomorphismus <math>\varphi:A\rightarrow C</math> gibt mit <math>\sigma\circ \varphi = \mathrm{id}_A</math>. Ist <math>\varphi</math> nur eine vollständig positive Abbildung, so heißt die Erweiterung semi-spaltend.

Beispiele

<math>0 \rightarrow B \xrightarrow{b\mapsto (0,b)} A\oplus B \xrightarrow{(a,b)\mapsto a} A \rightarrow 0</math>

heißt triviale Erweiterung. Die spaltenden Erweiterungen sind genau die zur trivialen isomorphen Erweiterungen.

Die Toeplitz-Algebra <math>T</math> führt zu einer Erweiterung

<math> 0\rightarrow K \rightarrow T \rightarrow C(S^1)\rightarrow 0 </math>,

wobei <math>C(S^1)</math> die C*-Algebra der stetigen Funktionen auf der Kreislinie <math>S^1 \subset \Complex</math> sei.

Die Busby-Invariante

Wie ordnen hier jeder Erweiterung

<math>E: 0\rightarrow B\xrightarrow{\iota} C \xrightarrow{\sigma} A \rightarrow 0</math>

einen *-Homomorphismus <math>\tau_E:A\rightarrow Q(B)</math> zu, wobei <math>Q(B) = M(B)/B</math> die äußere Algebra von <math>B</math> sei. Diesen Homomorphismus nennt man die Busby-Invariante, benannt nach R. Busby.<ref>R. Busby: Double centralizers and extensions of C*-algebras. In: Transactions Amer. Math. Soc. Band 132, 1968, S. 79–99.</ref>

Zur Konstruktion dieses Homomorphismus wählen wir zu <math>a\in A</math> ein Urbild <math>c\in C</math> bezüglich <math>\sigma</math>. Da <math>B\cong \iota(B)</math> ein zweiseitiges Ideal in <math>C</math> ist, definiert dieses Element einen Multiplikator <math>m_c:B\rightarrow B, b\mapsto \iota^{-1}(c\cdot \iota(b))</math>, aus <math>M(B)</math>. Durch Übergang zu <math>m_c+B \in Q(B)</math> macht man sich von der Wahl des Urbildes unabhängig und daher definiert man <math>\tau_E(a) := q_B(m_c)</math>, wobei <math>q_B:M(B)\rightarrow Q(B)</math> die Quotientenabbildung sei. Die so definierte Abbildung ist ein *-Homomorphismus <math>A\rightarrow Q(B)</math>.

Umgekehrt kommt jeder *-Homomorphismus <math>\tau:A\rightarrow Q(B)</math> von einer Erweiterung her. Dazu setze

<math>C:=\{(a,m)\in A\times M(B)|\, \tau(a) =q_B(m)\}</math>

und bilde die kurze exakte Sequenz

<math>0\rightarrow B\xrightarrow{b\mapsto (0,b)} C \xrightarrow{(a,m)\mapsto a} A \rightarrow 0</math>.

Die Busby-Invariante dieser Erweiterung ist dann das gegebene <math>\tau</math>.

Zwei Busby-Invarianten <math>\tau_i: A\rightarrow Q(B)</math> heißen unitär äquivalent, in Zeichen <math>\tau_1 \sim_u \tau_2</math> wenn es ein unitäres Element <math>u\in M(B)</math> gibt mit <math>\tau_1(a) = q_B(u)^*\tau_2(a)q_B(u)</math> für alle <math>a\in A</math>.

• 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 <math>C</math> in der Busby-Invariante nicht vorkommt. Aber die Busby-Invariante enthält konstruktionsgemäß auch Informationen über die Operation von Urbildern von Elementen aus <math>A</math> als Multiplikatoren auf <math>B</math>, und das genügt wie oben gezeigt zur Konstruktion einer zu <math>C</math> 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 <math>0\rightarrow B\xrightarrow{\iota} C \rightarrow A \rightarrow 0</math> ist genau dann injektiv, wenn <math>\iota(B)\subset C</math> 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 <math>\mathcal{E}(A,B)</math> eine sehr große Menge bilden können. Ist speziell <math>A=\Complex</math> und <math>B=K</math>, so ist die Busby-Invariante zu einer Erweiterung ein *-Homomorphismus <math>\Complex\rightarrow Q(K)</math> und jeder solche Homomorphismus ist bereits durch sein Bild der 1 eindeutig bestimmt. Daher gibt es so viele Isomorphieklassen in <math>\mathcal{E}(\Complex,K)</math>, 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)

Wir werden nun eine Halbgruppe <math>\mathrm{Ext}(A,B)</math> 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

Bei der hier vorzustellenden Addition wird deutlich, warum wir <math>B</math> als stabil voraussetzen und warum wir die Äquivalenzrelation der unitären Äquivalenz verwenden werden. Da <math>\ell^2 \cong \ell^2 \oplus \ell^2</math>, ist <math>K \cong K\otimes M_2 \cong M_2(K)</math>, wobei <math>M_2</math> die Algebra der komplexen <math>2\times 2</math>-Matrizen ist und <math>M_2(K)</math> entsprechend die Algebra der <math>2\times 2</math>-Matrizen mit Komponenten aus <math>K</math>. Dieser Isomorphismus setzt sich zu <math>M_2(B) \cong B</math>, <math>M_2(M(B)) \cong M(B)</math> und <math>M_2(Q(B)) \cong Q(B)</math> fort. Der letzte Isomorphismus, der auf die geforderte Stabilität zurückgeht und den wir mit <math>\theta_B</math> bezeichnen, erlaubt die direkte Summe von Busby-Invarianten zu bilden:

<math>\tau_1 \oplus \tau_2 := \theta_B \circ \begin{pmatrix}\tau_1 & 0 \\ 0 & \tau_2 \end{pmatrix} : A\rightarrow Q(B)</math>.

Es liegt nun nahe, diese Addition auf <math>\mathcal{E}(A,B)</math> zu betrachten. Allerdings hängt obige Definition von <math>\theta_B</math> und damit von der gewählten Isomorphie <math>\ell^2 \cong \ell^2 \oplus \ell^2</math> ab und zwei verschiedene Zerlegungen führen auf ein unitäres Element <math>u\in M(B)</math>, 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 <math>[\tau]</math> von Busby-Invarianten bezüglich unitärer Äquivalenz über und zeigt, dass

<math>[\tau_1] + [\tau_2] := [\tau_1 \oplus \tau_2]</math>

wohldefiniert ist und <math>\overline{\mathcal{E}}(A,B) := \mathcal{E}(A,B)/\!\sim_u</math> 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.<ref>K. K. Jensen, K. Thomsen: Elements of KK-Theory. Birkhäuser-Verlag, 1991, ISBN 0-8176-3496-7, Lemma 3.2.3.</ref>

Degenerierte Erweiterungen

Hier wenden wir uns der Frage nach einem neutralen Element in der oben definierten Halbgruppe zu. Eine Busby-Invariante <math>\tau:A\rightarrow Q(B)</math> bzw. eine zugehörige Erweiterung heißt degeneriert, wenn es einen *-Homomorphismus <math>\hat{\tau}: A\rightarrow M(B)</math> gibt mit <math>\tau = q_B\circ \hat{\tau}</math>. Die Klasse <math>\mathcal{D}(A,B)</math> der degenerierten Busby-Invarianten ist unter Addition und unitärer Äquivalenz abgeschlossen und wir definieren <math>\overline{\mathcal{D}}(A,B) := \mathcal{D}(A,B)/\!\sim_u</math>. Offenbar ist die triviale Busby-Invariante 0 degeneriert.

Ist <math>A</math> separabel und <math>B</math> σ-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.<ref>Bruce Blackadar: K-Theory for Operator Algebras. Springer Verlag, 1986, ISBN 3-540-96391-X, Theorem 15.12.3.</ref>

Definition von Ext(A,B)

Nach diesen Vorbereitungen definieren wir nun

<math>\mathrm{Ext}(A,B) := \overline{\mathcal{E}}(A,B)/\overline{\mathcal{D}}(A,B)</math>

und erhalten so eine kommutative Halbgruppe mit neutralem Element <math>0 := \overline{\mathcal{D}}(A,B)</math>

Die Definition der Addition verlangt, dass <math>B</math> stabil ist, um die direkte Summe der Busby-Invarianten bilden zu können. Ist <math>B</math> nicht stabil, so stabilisieren wir, das heißt wir setzen

<math>\mathrm{Ext}(A,B) := \mathrm{Ext}(A,B\otimes K)</math>,

was für bereits stabiles <math>B</math> zur selben Definition führt.

Ferner definieren wir

<math>\mathrm{Ext}^{-1}(A,B)</math> := Gruppe der invertierbaren Elemente in <math>\mathrm{Ext}(A,B)</math>

Ist <math>\tau</math> eine Busby-Invariante, so bezeichnet man das zugehörige Element in <math>\mathrm{Ext}(A,B)</math> ebenfalls mit <math>[\tau]</math> und oft nur mit <math>\tau</math>.

Ist schließlich <math>B = K</math>, so verzichtet man manchmal auf die Nennung von <math>K</math> und definiert

<math> \mathrm{Ext}(A) := \mathrm{Ext}(A,K) = \mathrm{Ext}(A,\Complex)</math>.

Invertierbare Elemente

Es stellt sich nun die Frage, wann <math>\mathrm{Ext}(A,B)</math> sogar eine Gruppe ist, das heißt wann <math>\mathrm{Ext}^{-1}(A,B)= \mathrm{Ext}(A,B)</math> gilt. Dazu benötigen wir folgende Charakterisierung der invertierbaren Elemente:

Für <math>\tau \in \mathrm{Ext}(A,B)</math> sind folgende Aussagen äquivalent:

• <math>\tau</math> ist invertierbar.
• Die zugehörige Erweiterung ist semi-spaltend.
• Es gibt eine vollständig positive Abbildung <math>\psi:A\rightarrow M(B)</math> mit <math>\|\psi\|\le 1</math> und <math>\tau = q_B\circ \psi</math>
• Es gibt einen *-Homomorphismus <math>\pi:A\rightarrow M_2(M(B))</math> mit

<math>\begin{pmatrix} \tau(\cdot) & 0 \\ 0 & 0\end{pmatrix} = (q_B\otimes \mathrm{id}_{M_2}) (\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix} \pi(\cdot) \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix})</math>

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 <math>\mathrm{Ext}^{-1}(A,B)= \mathrm{Ext}(A,B)</math> für separable, nukleare C*-Algebren, oder anders formuliert:

• Ist <math>A</math> separabel und nuklear, so ist <math>\mathrm{Ext}(A,B)</math> eine Gruppe.

<math>\mathrm{Ext}(A) = \mathrm{Ext}(A,K)</math> ist nicht immer eine Gruppe.<ref>J. Anderson: A C*-algebra A for which Ext(A) is not a group, Annals of Math. (1978), Band 107, Seiten 455–458</ref>

Eigenschaften

Funktorialität in der ersten Komponente

Ist <math>\varphi:A_1\rightarrow A_2</math> ein *-Homomorphismus zwischen C*-Algebren, so ist <math>[\tau] \mapsto [\tau \circ \varphi]</math> ein Homomorphismus <math>\varphi^*:\mathrm{Ext}(A_2,B)\rightarrow \mathrm{Ext}(A_1,B)</math>. Auf diese Weise erhält man bei festgehaltenem <math>B</math> einen kontravarianten Funktor <math>\mathrm{Ext}(-,B)</math> 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

Bei festgehaltener C*-Algebra <math>A</math> erhält man einen kovarianten Funktor <math>\mathrm{Ext}(A,-)</math> von der Kategorie der C*-Algebren in die Kategorie der abelschen Halbgruppen (bzw. Gruppen, falls <math>A</math> separabel und nuklear ist). Zu jedem <math>\varphi:B_1\rightarrow B_2</math> erhält man einen Homomorphismus <math>\varphi_*:\mathrm{Ext}(A,B_1)\rightarrow \mathrm{Ext}(A,B_2)</math>. Diese Konstruktion ist etwas aufwändiger und soll hier nicht reproduziert werden, siehe<ref>Bruce Blackadar: K-Theory for Operator Algebras, Springer Verlag (1986), ISBN 3-540-96391-X, 15.9</ref>

Beziehung zur KK-Theorie

Aus der letzten Aussage obiger Charakterisierung invertierbarer Elemente kann man für invertierbares <math>\tau</math> einen *-Homomorphismus <math>\pi:A\rightarrow M(B)</math> und eine Projektion <math>p\in M(B)</math> konstruieren, so dass <math>\tau(\cdot ) = q_B(p\pi(\cdot))</math>. Dann ist das Paar <math>(p,\pi)</math> ein KK¹-Zykel und man hat insgesamt ein Element aus <math>KK^1(A,B)</math>, falls <math>B</math> σ-unital ist. Auf diese Weise erhält man einen Isomorphismus

<math>\mathrm{Ext}^{-1}(A,B) \cong KK^1(A,B)</math>.

Ist <math>A</math> zusätzlich nuklear, so ist

<math>\mathrm{Ext}(A,B) \cong KK^1(A,B)</math>.

Homotopieinvarianz

Zwei Homomorphismen <math>\varphi_0,\varphi_1:A\rightarrow B</math> heißen homotop, falls es weitere Homomorphismen <math>\varphi_t:A\rightarrow B,\, 0<t<1</math> gibt, so dass alle Abbildungen <math>[0,1] \ni t \mapsto \varphi_t(a) \in B</math> stetig sind, wobei <math>a</math> die Elemente von <math>A</math> durchläuft. Man kann nun fragen, ob für homotope Abbildungen <math>\varphi_0,\varphi_1:A_1\rightarrow A_2</math> die induzierten Homomorphismen <math>\varphi_1^*</math> und <math>\varphi_2^*</math> 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 <math>\mathrm{Ext}^{-1}(A,B)</math> Homotopieinvarianz in beiden Komponenten vorliegt, wenn <math>A</math> separabel und <math>B</math> σ-unital ist.

Kommutative C*-Algebren, BDF-Theorie

Ist <math>X</math> ein metrisierbarer, kompakter Raum, so ist die Algebra <math>C(X)</math> der stetigen komplexwertigen Funktionen eine kommutative C*-Algebra. In diesem Fall ist

<math>\mathrm{Ext}(X) := \mathrm{Ext}(C(X)) = \mathrm{Ext}(C(X),K)</math>

von Interesse. Für solche <math>X</math> ist <math>C(X)</math> separabel und als kommutative C*-Algebra auch nuklear. Daher kann obige Theorie übertragen werden:

<math>X\mapsto \mathrm{Ext}(X)</math> 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.<ref>R. Douglas: C*-Algebra Extensions and K-Homology. Princeton University Press, 1980, Annals of Mathematical Studies, Band 95.</ref> Man nennt diese kommutative Theorie nach den Anfangsbuchstaben der beteiligten Mathematiker auch BDF-Theorie. Da <math>C(X)</math> separabel und nuklear ist, liegt im Vergleich zur oben vorgestellten Theorie eine einfachere Situation vor, insbesondere ist <math>\mathrm{Ext}(X)</math> 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 <math>\mathrm{Ext}(X)</math>, wobei <math>X \subset \Complex</math> das wesentliche Spektrum des betrachteten Operators ist, das heißt das Spektrum des Bildes in der Calkin-Algebra. Ist nämlich <math>T</math> so ein wesentlich normaler Operator, <math>t = T+K \in Q(K)</math> das Bild in der Calkin-Algebra und <math>X=\sigma_e(T) = \sigma(t)</math> das Spektrum von <math>t</math>, so ist die von <math>t</math> und dem Einselement erzeugte C*-Algebra <math>C^*(\{t,1\})</math> isomorph zu <math>C(X)</math> und man hat eine Erweiterung

<math> 0 \rightarrow K \rightarrow C^*(\{T, 1\}\cup K) \rightarrow C^*(\{t,1\}) \cong C(X) \rightarrow 0</math>.

Daher wird man auf die Untersuchung von <math>\mathrm{Ext}(X)</math> geführt. Hier findet man folgendes Ergebnis<ref>Bruce Blackadar: K-Theory for Operator Algebras. Springer Verlag, 1986, ISBN 3-540-96391-X, Theorem 16.2.1.</ref>

Für <math>X\subset \Complex</math> ist <math>\mathrm{Ext}(X) = [\Complex\setminus X, \Z]_0</math> die Gruppe der Homotopieklassen stetiger Funktionen <math>\Complex\setminus X \rightarrow \Z</math> mit kompaktem Träger. Daher ist <math>\mathrm{Ext}(X)</math> ein kartesisches Produkt <math>\prod \Z</math> mit einem Faktor für jede beschränkte Zusammenhangskomponente von <math>\Complex \setminus X</math>. Der Isomorphismus hat die Form

<math>\textstyle [\tau] \mapsto \prod_n \mathrm{index}(T-\lambda_n)</math>,

wobei <math>T</math> ein wesentlich normaler Operator mit wesentlichem Spektrum <math>X</math> ist, so dass <math>\tau:C(X) \rightarrow Q(K)</math> der *-Homomorphismus ist, der <math>\mathrm{id}_X</math> auf <math>\mapsto T+K \in Q(K)</math> und die konstante Einsfunktion auf das Einselement in der Calkin-Algebra abbildet, die <math>\lambda_n</math> aus jeder beschränkten Zusammenhangskomponente ein Element sind und wobei <math>\mathrm{index}</math> der Fredholm-Index ist.

Da <math>\Complex\setminus S^1</math> genau eine beschränkte Zusammenhangskomponente hat, ist <math>\mathrm{Ext}(S^1) \cong \Z</math> und die oben unter den Beispielen aufgeführte Erweiterung zur Toeplitz-Algebra ist ein erzeugendes Element.

Einzelnachweise

<references />