KK-Theorie

Die KK-Theorie ist eine mathematische Theorie aus dem Bereich der Funktionalanalysis. Der Name rührt daher, dass sie eine K-Theorie mit zwei Variablen darstellt, die die klassische K-Theorie für C*-Algebren und die Theorie der Erweiterungen von C*-Algebren verallgemeinert. Die KK-Theorie geht auf G. G. Kasparow zurück.<ref>G. G. Kasparow: The operator K-functor and extensions of C*-algebras, Izv. Akad. Nauk. SSSR Ser. Mat. (1980), Band 44, Seiten 571–636</ref>

Konstruktionen[Bearbeiten]

Die unten zu definierenden Gruppen <math>KK(A,B)</math> der KK-Theorie werden von Äquivalenzklassen von Hilbert-C*-Moduln mit einer Zusatzstruktur gebildet und hängen von zwei C*-Algebren <math>A</math> und <math>B</math> ab. Die C*-Algebren tragen eine <math>\Z/2</math>-Graduierung und für einige zum Teil sehr technische Konstruktionen sollten alle C*-Algebren, die als erste Variable auftreten, separabel sein und alle C*-Algebren, die als zweite Variable auftreten, σ-unital, was der Einfachheit wegen im Folgenden stets vorausgesetzt sei. Für C*-Algebren ohne Graduierung kann man die triviale Graduierung, die durch die Identität als Graduierungsautomorphismus erzeugt wird, unterstellen; dann erhält man Aussagen für nicht-graduierte C*-Algebren.

Kasparow-Moduln[Bearbeiten]

Ein Kasparow-A-B-Modul ist ein Tripel <math>(E,\varphi,F)</math> bestehend aus

einem abzählbar erzeugten, graduierten Hilbert-<math>B</math>-Rechtsmodul <math>E</math>,
einem graduierten *-Homomorphismus <math>\varphi: A\rightarrow L_B(E)</math>, wobei <math>L_B(E)</math> die C*-Algebra der <math>B</math>-linearen Operatoren auf <math>E</math> mit der von <math>E</math> herrührenden Graduierung ist (siehe Hilbert-C*-Modul),
einem Operator <math>F \in L_B(E)</math> mit folgenden Eigenschaften
- <math>\partial F = 1</math>, das heißt <math>F</math> ist homogen vom Grad 1,
- <math>[F,\varphi(a)] \in K_B(E)</math> für alle <math>a\in A</math>,
- <math>(F^2-1)\varphi(a) \in K_B(E)</math> für alle <math>a\in A</math>,
- <math>(F^*-F)\varphi(a) \in K_B(E)</math> für alle <math>a\in A</math>.

Dabei bezeichnet <math>[\cdot,\cdot]</math> den graduierten Kommutator und <math>K_B(E)</math> das zweiseitige Ideal der „kompakten“ Operatoren in <math>L_B(E)</math>. Der Buchstabe <math>F</math> für den Operator soll an Fredholm-Operator erinnern. Beachte, dass <math>E</math> durch <math>\varphi</math> zu einem A-B-Bimodul wird.<ref>Bruce Blackadar: K-Theory for Operator Algebras, Springer Verlag (1986), ISBN 3-540-96391-X, Definition 17.1.1</ref><ref>K. K. Jensen, K. Thomsen: Elements of KK-Theory, Birkhäuser-Verlag (1991), ISBN 0-8176-3496-7, Definition 2.1.1.</ref>

Betrachtet man die Elemente aus <math>K_B(E)</math> als „klein“ gegenüber den allgemeineren aus <math>L_B(E)</math>, so wie man manchmal einen echten kompakten Operator als „kleine“ Störung eines Hilbertraum-Operators auffasst, so sagen die Bedingungen an <math>F</math>, dass die Größen <math>[F,\varphi(a)], (F^2-1)\varphi(a), (F^* - F) \varphi(a)</math> „klein“ sein sollen. Sind diese Größen sogar 0, so nennt man den Kasparow-Modul degeneriert. Der triviale Modul <math>(0,0,0)</math> ist ein degenerierter Kasparow-A-B-Modul; beachte, dass hierbei höchst unterschiedliche Objekte mit 0 bezeichnet sind.

Im Folgenden sei <math>\mathrm{E}(A,B)</math> die Klasse der Kasparow-A-B-Moduln. Wir werden eine Addition und eine geeignete Äquivalenzrelation auf <math>\mathrm{E}(A,B)</math> definieren, die die Menge der Äquivalenzklassen zu einer Gruppe macht. Das werden die KK-Gruppen sein.

Direkte Summe[Bearbeiten]

Die Addition in den KK-Gruppen wird mittels der direkten Summe definiert werden, daher beschreiben wir kurz die direkte Summe endlich vieler Kasparow-Moduln. Seien <math>\mathcal{E}_i=(E_i,\varphi_i,F_i),\,i=1,\ldots, n</math> Kasparow-A-B-Moduln. Wir definieren die direkte Summe

<math>(E,\varphi,F) = \mathcal{E}_1 \oplus \ldots \oplus \mathcal{E}_n </math>

durch

<math>E=E_1 \oplus \ldots \oplus E_n</math> mit Graduierung <math>S_E(x_1,\ldots, x_n) = (S_{E_1}(x_1), \ldots, (S_{E_n}(x_n))</math>, wobei <math>S_{E_i}</math> die Graduierungen auf den <math>E_i</math> seien.

<math>\varphi(a) := \begin{pmatrix}\varphi_1(a) & \cdots & 0 \\ \vdots & \ddots & \vdots \\ 0 & \cdots & \varphi_n(a)\end{pmatrix} \in L_B(E_1 \oplus \ldots \oplus E_n)</math>

<math>F := \begin{pmatrix}F_1(a) & \cdots & 0 \\ \vdots & \ddots & \vdots \\ 0 & \cdots & F_n(a)\end{pmatrix} \in L_B(E_1 \oplus \ldots \oplus E_n)</math>

Man überprüft, dass das Tripel <math>(E,\varphi,F)</math> wieder ein Kasparow-A-B-Modul ist, den man die direkte Summe der <math>\mathcal{E}_i</math> nennt.

Pushout[Bearbeiten]

Zur angekündigten Definition der Äquivalenzrelation auf <math>\mathrm{E}(A,B)</math> benötigen wir die folgende als Pushout bezeichnete Konstruktion. Es sei <math>\mathcal{E}=(E,\varphi,F)</math> ein Kasparow-A-B-Modul und <math>f:B\rightarrow C</math> ein surjektiver *-Homomorphismus. Dann kann man zeigen, dass es zu jedem Operator <math>T\in L_B(E)</math> genau einen Operator <math>T_f \in L_C(E_f)</math> gibt mit <math>T_f(q(x))=q(T(x))</math>, wobei <math>E_f</math> das Pushout des Hilbert-B-Moduls <math>E</math> bezüglich <math>f</math> ist und <math>q:E\rightarrow E_f</math> die Quotientenabbildung. Dann definiert <math>\varphi_f(a) := \varphi(a)_f</math> einen *-Homomorphismus <math>\varphi_f:A\rightarrow L_C(E_f)</math> und

<math>\mathcal{E}_f:=(E_f,\varphi_f,F_f)</math>

ist ein Kasparow-A-C-Modul, den man das Pushout von <math>\mathcal{E}</math> bezüglich <math>f</math> nennt.<ref>K. K. Jensen, K. Thomsen: Elements of KK-Theory, Birkhäuser-Verlag (1991), ISBN 0-8176-3496-7, Abschnitt 2.1.5.: Pushout</ref>

Äquivalenzrelationen[Bearbeiten]

Ähnlich wie in der K-Theorie, in der die direkte Summe eine Verknüpfung auf geeigneten Äquivalenzklassen definiert, werden wir hier vorgehen. Es ist üblich, mehrere Äquivalenzrelationen zu definieren, von denen dann gezeigt wird, dass sie unter geeigneten Abzählbarkeitsvoraussetzungen an die C*-Algebren, die wir wie oben erwähnt generell voraussetzen, zusammenfallen. Wir werden uns hier nur einer dieser Äquivalenzrelationen, der sogenannten Homotopie-Relation, zuwenden und erwähnen an dieser Stelle nur, dass man Teile der Theorie parallel für mehrere Äquivalenzrelationen entwickelt, um dann später Gleichheit zeigen zu können. Da wir nur Ergebnisse darstellen wollen, werden wir diesen Weg hier nicht nachzeichnen.

Zur Definition der Homotopie-Relation benötigen wir zunächst die feinere unitäre Äquivalenz. Zwei Kasparow-A-B-Moduln <math>\mathcal{E}_0 = (E_0,\varphi_0,F_0)</math> und <math>\mathcal{E}_1 = (E_1,\varphi_1,F_1)</math> heißen unitär äquivalent, in Zeichen <math>\mathcal{E}_0 \cong_u \mathcal{E}_1</math>, wenn es einen Operator <math>U\in L_B(E_0,E_1)</math> gibt, der eine unitäre Äquivalenz der graduierten Hilbert-C*-Moduln vermittelt, so dass

<math>\varphi_0(a) = U^*\varphi_1(a)U</math> für alle <math>a\in A</math>
<math>F_0 = U^*F_1U</math>

Für eine graduierte C*-Algebra <math>B</math> sei <math>C([0,1],B)</math> die C*-Algebra der stetigen Funktionen auf dem Einheitsintervall <math>[0,1]</math> mit Werten in <math>B</math>. Diese ist mit der von <math>B</math> induzierten Graduierung wieder eine graduierte C*-Algebra. Die Auswertungen <math>f_t:C([0,1],B) \rightarrow B, f_t(a) := a(t),\, t\in [0,1]</math> sind surjektive *-Homomorphismen, mit denen daher Pushouts gebildet werden können. Man schreibt nun <math>\mathcal{E}_0 \sim \mathcal{E}_1</math>, falls es einen Kasparow-A-C([0,1],B)-Modul <math>\mathcal{E}</math> mit <math>\mathcal{E}_0 \cong_u \mathcal{E}_{f_0}</math> und <math>\mathcal{E}_1 \cong_u \mathcal{E}_{f_1}</math>.

Schließlich nennt man <math>\mathcal{E}_0</math> und <math>\mathcal{E}_1</math> homotop, in Zeichen <math>\mathcal{E}_0 \sim_h \mathcal{E}_1</math>, falls es endlich viel Kasparow-A-B-Moduln <math>\tilde{\mathcal{E}}_i,\, i=0,\ldots, n</math> gibt mit

<math>\mathcal{E}_0 \sim \tilde{\mathcal{E}}_0 \sim \tilde{\mathcal{E}}_1 \sim \ldots \sim \tilde{\mathcal{E}}_n\sim \mathcal{E}_1 </math>.

Man zeigt, dass <math>\sim_h</math> eine Äquivalenzrelation auf der Klasse <math>\mathrm{E}(A,B)</math> der Kasparow-A-B-Moduln ist. Die Äquivalenzklasse eines Kasparow-Moduls <math>\mathcal{E}</math> wird mit <math>[\mathcal{E}]</math> bezeichnet.<ref>K. K. Jensen, K. Thomsen: Elements of KK-Theory, Birkhäuser-Verlag (1991), ISBN 0-8176-3496-7, Definition 2.1.9 + Lemma 2.1.12</ref>

Die KK-Gruppen[Bearbeiten]

Definition[Bearbeiten]

Es seien <math>A</math> und <math>B</math> C*-Algebren. Dann sei

<math>KK(A,B) := \mathrm{E}(A,B)/\!\sim_h</math>

die Menge der Äquivalenzklassen der Kasparow-A-B-Moduln. Da die abzählbar erzeugten Hilbert-B-Moduln nach dem Stabilisierungssatz von Kasparow bis auf unitäre Äquivalenz als Untermoduln von <math>\hat{H}_B</math> aufgefasst werden können, liegt hier tatsächlich eine Menge vor. Man kann zeigen, dass die direkte Summe eine Addition

<math>[\mathcal{E}_1] + [\mathcal{E}_2] := [\mathcal{E}_1 \oplus \mathcal{E}_2]</math>

definiert, die <math>KK(A,B)</math> zu einer abelschen Gruppe macht.<ref>Bruce Blackadar: K-Theory for Operator Algebras, Springer Verlag (1986), ISBN 3-540-96391-X, Satz 17.3.3 </ref>

Das Nullelement ist die Klasse der degenerierten Kasparow-Moduln. Wir beschreiben kurz die Inversenbildung in dieser Gruppe. Es ist

<math> -[(E,\varphi,F)] = [(E^{op},\tilde{\varphi}, -F)]</math>.

Dabei ist <math>E^{op}</math> der Hilbert-<math>B</math>-Modul <math>E</math> mit der entgegengesetzten Graduierung, das heißt die Moduln haben dieselben homogenen Elemente, lediglich die Grade dieser homogenen Elemente des einen sind gegenüber den Graden der homogenen Elemente des anderen um 1 modulo <math>\Z/2</math> verschoben. Weiter ist <math>\tilde{\varphi}(a^{(0)}+a^{(1)}) = \varphi(a^{(0)}-a^{(1)})</math>, wobei die <math>a^{(i)}</math> homogene Elemente vom Grad <math>i</math> aus <math>A</math> seien.

Schließlich sei

<math>KK^1(A,B) := KK(A,B\hat{\otimes} \Complex_1)</math>.

Dabei ist <math>B\hat{\otimes} \Complex_1</math> das graduierte Tensorprodukt aus <math>B</math> und <math>\Complex_1:=\Complex\oplus \Complex</math>, wobei diese zweidimensionale C*-Algebra die durch <math>\alpha(z,w):=(w,z)</math> definierte Graduierung trage. Zum besseren Verständnis dieses Tensorproduktes sei <math>\beta_B</math> der Graduierungsautomorphismus auf <math>B</math> und <math>\beta:\Z/2\rightarrow \mathrm{Aut}(B)</math> sei derjenige Homomorphismus, der 0 auf die Identität und 1 auf <math>\beta_B</math> abbildet. Dann ist <math>(B,\Z/2,\beta)</math> ein C*-dynamisches System und das graduierte Tensorprodukt <math>B\hat{\otimes} \Complex_1</math> ist isomorph zum Kreuzprodukt <math>B\ltimes_\beta \Z/2</math> dieses C*-dynamischen Systems.

Tensorprodukte mit C*-Algebren[Bearbeiten]

Es seien <math>(E,\varphi,F)</math> ein Kasparaow-A-B-Modul <math>D</math> eine weitere, separable, graduierte C*-Algebra. Dann ist <math>D</math> ein graduierter Hilbert-D-Modul und man kann den Hilbert-B⊗D-Modul <math>E\otimes D</math>, das äußere, graduierte Tensorprodukt der beiden Hilbert-C*-Moduln, bilden. <math>\varphi \otimes\mathrm{id}_D</math> ist dann ein *-Homomorphismus <math>A\otimes D\rightarrow L_{B \otimes D}(E\otimes D)</math> und <math>F\otimes\mathrm{id}_D</math> ein Operator, der <math>(E\otimes D, \varphi\otimes\mathrm{id}_D, F\otimes\mathrm{id}_D)</math> zu einem Kasparow-A⊗D-B⊗D-Modul macht. Auf diese Weise erhalten wir einen Homomorphismus

<math>\tau_D:KK(A,B) \rightarrow KK(A\otimes D, B\otimes D),\quad [(E,\varphi, F)] \mapsto

[(E\otimes D, \varphi\otimes \mathrm{id}_D, F\otimes\mathrm{id}_D)]</math>.

Bott-Periodizität[Bearbeiten]

Man schreibt die Gruppe <math>KK(A,B)</math> auch als <math>KK^0(A,B)</math>. Indem man die Bildung des graduierten Tensorproduktes mit <math>\Complex_1</math> iteriert, könnte man auch höhere KK-Gruppen definieren:

<math>KK^{n+1}(A,B):=KK^n(A,B\hat{\otimes}\Complex_1),\quad n=0,1,2,\ldots </math>

aber das erweist sich als unnötig, denn man kann zeigen, dass

<math>KK^0(A,B) \cong KK^1(A\hat{\otimes}\Complex_1,B) \cong KK^1(A,B\hat{\otimes}\Complex_1) \cong KK^0(A\hat{\otimes}\Complex_1,B\hat{\otimes}\Complex_1)</math>.<ref>Bruce Blackadar: K-Theory for Operator Algebras, Springer Verlag (1986), ISBN 3-540-96391-X, Korollar 17.8.9</ref>

Dies nennt man die formale Bott-Periodizität, weil es sich ähnlich wie die Bott-Periodizität der K-Theorie verhält. Die formale Bott-Periodizität lässt sich im Wesentlichen auf die Beziehung <math>\Complex_1 \hat{\otimes}\Complex_1 \cong M_2(\Complex)</math> zurückführen und ist damit wesentlich einfacher als die echte Bott-Periodizität, die Einhängungen verwendet. Aber auch diese echte Bott-Periodizität lässt sich in der KK-Theorie beweisen.

Ist <math>A</math> eine C*-Algebra, so bezeichne <math>SA</math> die Einhängung von <math>A</math>, das heißt die C*-Algebra aller stetigen Funktionen <math>\R\rightarrow A</math>, die im Unendlichen verschwinden. Dann gilt<ref>Bruce Blackadar: K-Theory for Operator Algebras, Springer Verlag (1986), ISBN 3-540-96391-X, Korollar 19.2.2</ref>

<math> KK^1(A,B) \cong KK^0(A,SB) \cong KK(SA,B)</math>,
<math> KK^0(A,B) \cong KK^1(A,SB) \cong KK^1(SA,B)</math>

<math> \cong KK^0(SSA,B) \cong KK^0(A,SSB) \cong KK^0(SA,SB)</math>.

Alternative Beschreibung von KK¹(A,B)[Bearbeiten]

Wir definieren hier sogenannte KK¹-Zykel und zeigen, wie mittels einer geeigneten Äquivalenzrelation solche Zykel zu einer alternativen Beschreibung von <math>KK^1(A,B)</math> für trivial graduierte C*-Algebren herangezogen werden können.

Ein KK¹-Zykel ist ein Paar <math>(v,\lambda)</math> bestehend aus einem Element <math>v\in M(B)</math> und einem *-Homomorphismus <math>\lambda:A\rightarrow M(B)</Math>, so dass

<math>v\lambda(a) - \lambda(a)v, (v^*-v)\lambda(a), (v^2-v)\lambda(a) \in B</math> für alle <math>a\in A</math>

Es sei <math>E^1(A,B)</math> die Menge solcher KK¹-Zykel. Zwei KK¹-Zykel <math>(v_0,\lambda_0)</math> und <math>(v_1,\lambda_1)</math> heißen homotop, falls es <math>(v,\lambda)\in E^1(A,C([0,1],B))</math> gibt mit

<math> v_0 = \overline{\pi}_0(v), v_1 = \overline{\pi}_1(v), \lambda_0 = \overline{\pi}_0 \circ \lambda, \lambda_1 = \overline{\pi}_1 \circ \lambda</math>,

wobei <math>\pi_t:C([0,1],B)\rightarrow B</math> die Auswertungsabbildung im Punkt <math>t\in [0,1]</math> sei und <math>\overline{\pi_t}</math> deren eindeutige strikt-stetige Fortsetzung auf die Multiplikatorenalgebren. Diese mit <math>\sim_h</math> bezeichnete Relation ist eine Äquivalenzrelation, deren Äquivalenzklassen wir mit eckigen Klammern schreiben.

Auf <math>E^1(A,B)/\!\sim_h</math> hat man die durch

<math>[(v_1,\lambda_1)] + [(v_2,\lambda_2)] := [(\theta_B\begin{pmatrix}v & 0 \\ 0 & v\end{pmatrix}, \theta_B\circ \begin{pmatrix}\lambda(\cdot) & 0 \\ 0 & \lambda(\cdot)\end{pmatrix})]</math>

definierte Addition, wobei <math>\theta_B</math> eine unitäre Isomorphie <math>M_2(M(B)) \cong M(B)</math> bezeichne.

Wir beschreiben nun einen Isomorphismus von <math>E^1(A,B)/\!\sim_h</math> nach <math>KK^1(A,B)</math>. Dazu sei <math>B_1 = B\otimes \Complex_1 \cong B \oplus B</math> und <math>\varphi: M(B)\oplus M(B) \rightarrow M(B_1)</math> der durch <math>\varphi(m_1,m_2)(b_1\oplus b_2) := m_1b_1 \oplus m_2b_2</math> definierte Isomorphismus. Für einen KK¹-Zykel <math>(v,\lambda) \in E^1(A,B)</math> setze

<math>\mathcal{E}_{v,\lambda} = (B_1, \varphi \circ (\lambda \oplus \lambda), \varphi((2v-1)\oplus (1-2v)))</math>.

Dann ist <math>\mathcal{E}_{v,\lambda} \in KK(A,B_1) = KK^1(A,B)</math> und

<math>E^1(A,B)/\!\sim_h \rightarrow KK^1(A,B),\quad (v,\lambda) \mapsto \mathcal{E}_{v,\lambda}</math>

ist ein Isomorphismus.<ref>K. K. Jensen, K. Thomsen: Elements of KK-Theory, Birkhäuser-Verlag (1991), ISBN 0-8176-3496-7, Satz 3.3.6</ref> Damit ist <math>KK^1(A,B)</math> unabhängig von der formalen Bott-Periodizität beschrieben.

Beispiele[Bearbeiten]

Homomorphismen[Bearbeiten]

Ist <math>f:A\rightarrow B</math> ein graduierter *-Homomorphismus zwischen C*-Algebren, so ist <math>(B,f,0)</math> ein Kasparow-A-B-Modul. Beachte dazu die oben vereinbarte Voraussetzung, dass <math>B</math> <math>\sigma</math>-unital ist; damit ist <math>B</math> als Hilbert-<math>B</math>-Modul (mit trivialer Graduierung) tatsächlich abzählbar erzeugt. Die Äquivalenzklasse <math>[(B,f,0)] \in KK(A,B)</math> wird oft nur mit <math>[f]</math> bezeichnet. Die Elemente <math>[\mathrm{id}_A] \in KK(A,A)</math> werden beim weiter unten zu besprechenden Kasparow-Produkt die Rolle von Identitäten einnehmen.

KK(ℂ,ℂ)[Bearbeiten]

Es seien <math>E=\hat{H}_\Complex = \ell^2 \oplus \ell^2</math> mit Graduierung <math>S_E(\xi \oplus \eta) := \xi \oplus -\eta </math> und <math>\varphi: \Complex \rightarrow L_\Complex(E)</math> der *-Homomorphismus mit <math>\varphi(1) = \mathrm{id}_E</math>. Weiter sei <math>\pi: L(\ell^2) \rightarrow L(\ell^2)/K(\ell^2)</math> die Quotientenabbildung in die Calkin-Algebra. Sei <math>T\in L(\ell^2)</math> ein Operator, so dass <math>\pi(T)</math> unitär ist. Dann ist

<math>[(E,\varphi, \begin{pmatrix} 0& T^*\\ T & 0 \end{pmatrix})] \in KK(\Complex,\Complex)</math>.

Da <math>\pi(T)</math> unitär ist, ist <math>T</math> ein Fredholm-Operator, und man kann zeigen, dass

<math>KK(\Complex,\Complex) \rightarrow \Z,\quad [(E,\varphi, \begin{pmatrix} 0& T^*\\ T & 0 \end{pmatrix})] \mapsto \mathrm{index}(T)</math>

ein Gruppenisomorphismus ist, wobei index den Fredholm-Index bezeichnet.

K-Gruppen[Bearbeiten]

Wir zeigen hier, wie die K-Gruppen einer C*-Algebra <math>B</math> (mit trivialer Graduierung) in der KK-Theorie wieder auftauchen.<ref>Bruce Blackadar: K-Theory for Operator Algebras, Springer Verlag (1986), ISBN 3-540-96391-X, Satz 17.5.5</ref>

Es sei <math>u\in Q^s(B) := M(B\otimes K)/(B\otimes K)</math> ein unitäres Element der äußeren Multiplikatorenalgebra der C*-Algebra <math>B</math>, das heißt aus dem Quotienten der Multiplikatorenalgebra des Tensorproduktes aus <math>B</math> und der C*-Algebra <math>K</math> der kompakten Operatoren über einem separablen Hilbertraum nach diesem Tensorprodukt. Sei <math>T_u\in M^s(B) := M(B\otimes K)</math> eine Liftung von <math>u</math>, das heißt <math>u = T_u + B\otimes K \in Q^s(B)</math>. Dann ist

<math>[(\hat{H}_B, \varphi, \begin{pmatrix} 0& T_u^*\\ T_u & 0 \end{pmatrix})] \in KK(\Complex,B)</math>.

Beachte dabei, dass <math>L(\hat{H}_B) \cong L(H_B \oplus H_B)) \cong M_2(L(H_B)) \cong M_2(M^s(B))</math> und daher die dritte Komponente des angegebenen Elementes tatsächlich aus <math>L_B(\hat{H}_B)</math> ist und offenbar den Grad 1 hat. <math>\varphi</math> ist der *-Homomorphismus mit <math>\varphi(1) = \mathrm{id}_{\hat{H}_B}</math>. Dann kann man zeigen, dass die Zuordnung

<math>K_1(Q^s(B)) \rightarrow KK(\Complex,B),\quad [u] \mapsto [(\hat{H}_B, \varphi, \begin{pmatrix} 0& T_u^*\\ T_u & 0 \end{pmatrix})]</math>

ein Gruppenisomorphismus ist. Wie im Artikel über Multiplikatorenalgebren ausgeführt, hat man auch einen natürlichen Isomorphismus <math>K_0(B)\cong K_1(Q^s(B))</math>, so dass man insgesamt einen Isomorphismus <math>K_0(B)\cong KK(\Complex,B)</math> erhält.

Entweder durch ähnliche Überlegungen oder unter Verwendung der oben vorgestellten Bott-Periodizität kommt man auch zu einem Isomorphismus <math>K_1(B)\cong KK^1(\Complex,B)</math>, so dass man insgesamt zu folgender leicht einprägsamer Formel gelangt:

<math>K_i(B)\cong KK^i(\Complex,B),\, i=0,1</math>.

Erweiterungen[Bearbeiten]

Unter Verwendung der oben vorgestellten alternativen Beschreibung von <math>KK^1(A,B)</math> mittels KK¹-Zykeln lässt sich ein Isomorphismus <math>\mathrm{Ext}^{-1}(A,B) \cong KK^1(A,B)</math> konstruieren, wobei ersteres die Gruppe der invertierbaren Elemente in Ext(A,B) bezeichne. Wie im Artikel über Erweiterungen von C*-Algebren ausgeführt, gehören zur Busby-Invariante <math>\tau:A\rightarrow Q(B)</math> eines invertierbaren Elementes ein Homomorphismus <math>\pi:A\rightarrow M(B)</math> und eine Projektion <math>p\in M(B)</math> mit <math>\tau(\cdot) = p\pi(\cdot)+B</math>. Dann ist <math>(p, \pi)</math> ein KK¹-Zykel und wir erhalten einen Gruppenisomorphismus

<math>\mathrm{Ext}^{-1}(A,B)\rightarrow KK^1(A,B), \quad [\tau]\mapsto [\mathcal{E}_{p,\pi}]</math>.<ref>K. K. Jensen, K. Thomsen: Elements of KK-Theory, Birkhäuser-Verlag (1991), ISBN 0-8176-3496-7, Korollar 3.3.11</ref>

Funktorialität[Bearbeiten]

Die Zuordnung zweier C*-Algebren zu ihrer KK-Gruppe kann zu einem Funktor ausgebaut werden, wenn man jeweils eine C*-Algebra fixiert. Diese Funktoren erweisen sich sogar als homotopieinvariant.<ref>Bruce Blackadar: K-Theory for Operator Algebras, Springer Verlag (1986), ISBN 3-540-96391-X, 17.8: Functoriality, 17.9: Homotopy Invariance</ref>

Funktorialität in der ersten Komponente[Bearbeiten]

Sind <math>(E,\varphi, F)</math> ein Kasparow-A-B-Modul und <math>\psi:C\rightarrow A</math> ein graduierter *-Homomorphismus, so ist <math>(E,\varphi \circ \psi,F)</math> ein Kasparow-C-B-Modul und man erhält einen Gruppenhomomorphismus

<math>\psi^*: KK(A,B) \rightarrow KK(C,B), \quad [(E,\varphi, F)] \mapsto [(E,\varphi\circ \psi, F)]</math>.

Dadurch wird <math>KK(-,B)</math> bei festem <math>B</math> zu einem kontravarianten Funktor von der Kategorie der separablen, graduierten C*-Algebren in die Kategorie der abelschen Gruppen. Betrachtet man auf jeder C*-Algebra die triviale Graduierung, so erhalten wir einen kontravarianten Funktor von der Kategorie der separablen C*-Algebren in die Kategorie der abelschen Gruppen.

Dieser Funktor ist homotopieinvariant, das heißt sind <math>\psi_t:A\rightarrow B</math> *-Homomorphismen für <math>t\in [0,1]</math>, so dass die Abbildungen <math>t\mapsto \psi_t(a)</math> für alle <math>a\in A</math> stetig sind, so ist <math>{\psi_0}^* = {\psi_1}^*</math>.

Funktorialität in der zweiten Komponente[Bearbeiten]

Sind <math>(E,\varphi,F)</math> ein Kasparow-A-B-Modul und <math>\psi:B\rightarrow C</math> ein graduierter *-Homomorphismus, so bilde das innere Tensorprodukt <math>E\otimes_\varphi B</math>. Dieses ist ein Hilbert-<math>D</math>-Modul und <math>\tilde{\varphi}(a):= \varphi(a)\otimes\mathrm{id}_D</math> ist ein *-Homomorphismus <math>A\rightarrow L_D(E\otimes_\varphi B)</math>. Durch diese Definition erhält man einen Gruppenhomomorphismus

<math>\psi_*:KK(A,B)\rightarrow KK(A,D),\quad [(E,\varphi, F)] \mapsto [(E\otimes_\varphi B, \tilde{\varphi}, F\otimes\mathrm{id}_D)]</math>.

Dadurch wird <math>KK(A,-)</math> bei festem <math>A</math> zu einem kovarianten Funktor von der Kategorie der <math>\sigma</math>-unitalen, graduierten C*-Algebren in die Kategorie der abelschen Gruppen. Betrachtet man auf jeder C*-Algebra die triviale Graduierung, so erhalten wir einen kovarianten Funktor von der Kategorie der <math>\sigma</math>-unitalen C*-Algebren in die Kategorie der abelschen Gruppen.

Dieser Funktor ist homotopieinvariant, das heißt sind <math>\psi_t:A\rightarrow B</math> *-Homomorphismen für <math>t\in [0,1]</math>, so dass die Abbildungen <math>t\mapsto \psi_t(a)</math> für alle <math>a\in A</math> stetig sind, so ist <math>{\psi_0}_* = {\psi_1}_*</math>.

Das Kasparow-Produkt[Bearbeiten]

Konstruktion und Eigenschaften[Bearbeiten]

Das Kasparow-Produkt ist eine Abbildung

<math>KK(A,D) \times KK(D,B) \mapsto KK(A,B)</math>

das in den Anwendungen ein mächtiges Werkzeug darstellt. Sowohl die Konstruktion, die unten nur angedeutet werden kann, als auch der Nachweis der unten aufgelisteten Eigenschaften erfordern einen hohen technischen Aufwand.<ref>K. K. Jensen, K. Thomsen: Elements of KK-Theory, Birkhäuser-Verlag (1991), ISBN 0-8176-3496-7, Kapitel 2.2: The Kasparov-Product</ref>

Zur Konstruktion seien <math>[(E_1,\varphi_1,F_1)] \in KK(A,D)</math> und <math>[(E_2,\varphi_2,F_2)] \in KK(D,B)</math>. Dann ist das graduierte, innere Tensorprodukt <math>E_1\otimes_{\varphi_2}E_2</math> ein Hilbert-<math>B</math>-Modul und <math>\varphi:= \varphi_1\otimes \mathrm{id}_{E_2}</math> ist ein *-Homomorphismus <math>A\rightarrow L_B(E)</math>. Mit hohem technischen Aufwand kann man einen geeigneten Operator <math>F \in L_B(E)</math> konstruieren und so ein Element <math>[( E,\varphi, F)] \in KK(A,B)</math> definieren, das man das Kasparaow-Produkt der beiden Elemente aus <math>KK(A,D)</math> und <math>KK(D,B)</math> nennt, und das folgende Eigenschaften hat:<ref>Bruce Blackadar: K-Theory for Operator Algebras, Springer Verlag (1986), ISBN 3-540-96391-X, Sätze 18.4.4, 18.6.1, 18.7.1, 18.7.2</ref>

<math>(x\cdot y)\cdot z = x \cdot( y \cdot z)</math>	für <math>x\in KK(A,B), y\in KK(B,C), z\in KK(C,D)</math>
<math>f^(x \cdot y) = f^(x) \cdot y</math>	für <math>x \in KK(A,B), y\in KK(B,C), f:\tilde{A}\rightarrow A</math> *-Homomorphismus
<math>f^(x) \cdot y = x \cdot f^(y)</math>	für <math>x \in KK(A,B), y\in KK(B,C), f:B\rightarrow \tilde{B}</math> *-Homomorphismus
<math>f_(x \cdot y) = x \cdot f_(y)</math>	für <math>x \in KK(A,B), y\in KK(B,C), f:C\rightarrow \tilde{C}</math> *-Homomorphismus
<math>[\mathrm{id}_A]\cdot x = x \cdot [\mathrm{id}_B] = x</math>	für <math>x \in KK(A,B)</math>
<math>x\cdot (y+ z) = x \cdot y + x \cdot z</math>	für <math>x\in KK(A,B), y,z\in KK(B,C)</math>
<math>(x + y)\cdot z = x \cdot z + y \cdot z</math>	für <math>x,y\in KK(A,B), z\in KK(B,C), </math>
<math>[f]\cdot x = f^*(x)</math>	für <math>x\in KK(A,B), f:C\rightarrow A</math> *-Homomorphismus
<math>x\cdot [f] = f_*(x)</math>	für <math>x\in KK(A,B), f:B\rightarrow C</math> *-Homomorphismus.

Insbesondere ist <math>KK(A,A)</math> für jede separable C*-Algebra ein Ring mit Einselement <math>[\mathrm{id}_A]</math>. Der oben vorgestellte Gruppenisomorphismus <math>KK(\Complex,\Complex)\cong \Z</math> erweist sich als Ringisomorphismus. Ist <math>A</math> eine AF-C*-Algebra, so ist <math>KK(A,A)</math> isomorph zum Endomorphismenring der Gruppe <math>K_0(A)</math>.

Erweitertes Kasparow-Produkt[Bearbeiten]

Das Kasparow-Produkt kann wie folgt zu einem Produkt

<math>KK(A_1,B_1\otimes D) \times KK(D\otimes A_2,B_2) \rightarrow KK(A_1\otimes A_2, B_1 \otimes B_2)</math>

verallgemeinert werden, wobei die auftretenden C*-Algebren die oben vereinbarten Abzählbarkeitsbedingungen erfüllen sollen und das Tensorprodukt stets das graduierte Tensorprodukt sei. Für <math>x\in KK(A_1,B_1\otimes D)</math> und <math>y\in KK(D\otimes A_2,B_2)</math> sind

<math>\tau_{A_2}(x) \in KK(A_1\otimes A_2, B_1\otimes D \otimes A_2)</math> und

<math>\tau_{B_1}(y) \in KK(D\otimes A_2 \otimes B_1 ,B_2 \otimes B_1) \cong KK( B_1 \otimes D\otimes A_2 ,B_1 \otimes B_2)</math>,

so dass man das Kasparow-Produkt <math>\tau_{A_2}(x) \cdot \tau_{B_1}(y)</math>, ein Element in <math>KK(A_1\otimes A_2, B_1 \otimes B_2)</math>, bilden kann. Dieses Produkt bezeichnet man wieder mit <math>x\cdot y</math> und bestätigt, dass es nicht in Konflikt zum bereits definierten Kasparow-Produkt steht, was im Wesentlichen daran liegt, dass <math>\tau_\Complex</math> die Identität ist. Insgesamt erhalten wir so die angekündigte, bilineare Abbildung

<math>\cdot : KK(A_1,B_1\otimes D) \times KK(D\otimes A_2,B_2) \rightarrow KK(A_1\otimes A_2, B_1 \otimes B_2), \quad (x,y) \mapsto x\cdot y</math>.<ref>Bruce Blackadar: K-Theory for Operator Algebras, Springer Verlag (1986), ISBN 3-540-96391-X, Theorem 18.9.1</ref>

Für <math>A_2 = B_1 = \Complex</math> erhält man das bereits bekannte Kasparow-Produkt zurück, denn das Tensorieren mit <math>\Complex</math> führt zu isomorphen C*-Algebren und <math>\tau_\Complex</math> ist die Identität. In diesem Sinne stellt obiges Produkt eine Verallgemeinerung des zuvor eingeführten Kasparow-Produkts dar.

Als wichtigen Spezialfall wollen wir das Tensorieren mit <math>\Complex_1</math> behandeln, denn das führt nach obiger Definition zu KK¹-Gruppen. Ist speziell <math>B_1=\Complex_1</math> und <math>A_2=\Complex</math>, so kann man beim Auftreten des Tensorproduktes mit <math>B_1</math> zur KK¹-Gruppe übergehen und das Tensorieren mit <math>A_2</math> fortlassen. Aus obigem erhält man daher eine bilineare Abbildung

<math>KK^1(A_1,D) \times KK(D,B_2) \rightarrow KK^1(A_1,B_1)</math>.

Man kann also Elemente aus <math>KK(D,B_2)</math> von links mit Elementen aus <math>KK^1(A_1,D)</math> multiplizieren und erhält ein Element aus <math>KK^1(A_1,B_1)</math>.

Indem man analog <math>B_1=\Complex</math> und <math>A_2=\Complex_1</math> beziehungsweise <math>B_1=A_2=\Complex_1</math> setzt, erhält man bilineare Abbildungen

<math>KK(A_1,D) \times KK^1(D,B_2) \rightarrow KK^1(A_1,B_2)</math>

und

<math>KK^1(A_1,D) \times KK^1(D,B_2) \rightarrow KK(A_1,B_2)</math>,

wobei für die letzte Abbildung noch die formale Bott-Periodizität verwendet wurde.

Zyklische, 6-gliedrige, exakte Sequenzen[Bearbeiten]

Die aus der K-Theorie bekannten zyklischen, 6-gliedrigen, exakten Sequenzen können auch in der KK-Theorie bewiesen werden. Wir gehen von einer kurzen, exakten Sequenz

<math> 0 \rightarrow J \xrightarrow{\iota} A \xrightarrow{\sigma} A/J \rightarrow 0 </math>

aus, die aus einem abgeschlossenen, zweiseitigen Ideal <math>J\subset A</math> in einer C*-Algebra mit Einselement entsteht und von der wir voraussetzen wollen, dass sie semi-spaltend ist. Dann ist diese Sequenz eine invertierbare Erweiterung und bestimmt daher nach obigem ein Element <math>e\in \mathrm{Ext}^{-1}(A/J, J) \cong KK^1(A/J, J)</math>. Die durch das Kasparow-Produkt definierte Multiplikation mit <math>e</math> definiert für eine weitere C*-Algebra <math>D</math> Homomorphismen

<math>KK(D,A/J) \rightarrow KK^1(D,J), \quad x\mapsto x\cdot e</math>,

<math>KK^1(D,A/J) \rightarrow KK(D,J), \quad y\mapsto y\cdot e</math>,

<math>KK(J,D) \rightarrow KK^1(A/J,D), \quad x\mapsto e\cdot x</math>,

<math>KK^1(J,D) \rightarrow KK(A/J,D), \quad y\mapsto e\cdot y</math>,

die sämtlich mit <math>\delta</math> bezeichnet seien. Dann bestehen die folgenden zyklischen, exakten Sequenzen:<ref>Bruce Blackadar: K-Theory for Operator Algebras, Springer Verlag (1986), ISBN 3-540-96391-X, Theorem 19.5.7</ref>

<math>

 \begin{array}{ccccc} 
   KK(D,J) & \xrightarrow{\iota_*} & KK(D,A) & \xrightarrow{\sigma_*} & KK(D,A/J)\\
   \uparrow\delta & &  & &\downarrow\delta \\
    KK^1(D,A/J) & \xleftarrow{\sigma_*} & KK^1(D,A) & \xleftarrow{\iota_*} & KK^1(D,J)\\
 \end{array}

</math>

und