K-Theorie

Das mathematische Teilgebiet der K-Theorie beschäftigt sich mit dem Studium von Vektorbündeln auf topologischen Räumen (topologische K-Theorie) oder von Ringen bzw. Schemata (algebraische K-Theorie). Der Name K-Theorie wurde von Alexander Grothendieck kreiert; das K steht für „Klasse“ in einem sehr allgemeinen Sinn.

Geschichte

Um seine Arbeiten zum Satz von Riemann-Roch zu verallgemeinern entwickelte Grothendieck einen neuen Funktor ${\displaystyle K(X)}$ auf der Kategorie der glatten algebraischen Varietäten ${\displaystyle X}$. Die Elemente von ${\displaystyle K(X)}$ waren Klassen algebraischer Vektorbündel über ${\displaystyle X}$. Diese Theorie hatte analoge Eigenschaften zu klassischen Kohomologietheorien. Charakteristische Klassen, insbesondere der Chern-Charakter, definieren Morphismen von ${\displaystyle K(X)}$ in Kohomologietheorien.

Unmittelbar nach Grothendieck betrachteten Atiyah und Hirzebruch eine analoge Konstruktion für beliebige kompakte Räume ${\displaystyle X}$, die topologische K-Theorie ${\displaystyle K^{top}(X)}$, heute meist als ${\displaystyle K(X)}$ bezeichnet. Diese topologische K-Theorie ist einfacher zu berechnen als Grothendiecks K-Gruppen, zum Beispiel gibt der Chern-Charakter einen Isomorphismus ${\displaystyle K^{top}(X)\otimes \mathbb {Q} \simeq H^{*}(X;\mathbb {Q} )}$ und man hat Bott-Periodizität.

Topologische K-Theorie h​at Kohomologie-Operationen, d​ie mittels äußerer Produkte v​on Vektorbündeln definiert werden (sogenannte Adams-Operationen) u​nd damit e​ine geometrischere Natur h​aben als d​ie Steenrod-Operationen i​n singulärer Kohomologie. Diese Operationen hatten i​n den 60er Jahren spektakuläre Anwendungen. Zum Beispiel berechnete Frank Adams m​it ihrer Hilfe d​ie maximale Anzahl linear unabhängiger Vektorfelder a​uf Sphären beliebiger Dimension. Andere Anwendungen ergaben s​ich in globaler Analysis (einer d​er Beweise d​es Atiyah-Singer-Indexsatzes benutzte topologische K-Theorie) u​nd der Theorie d​er C^*-Algebren.

Die Verallgemeinerung d​er topologischen K-Theorie i​n der nichtkommutativen Geometrie führte z​ur K-Theorie v​on Banachalgebren.

Die algebraischen K-Gruppen ${\displaystyle K_{1}}$ wurden von Bass definiert, sie hatten Anwendungen bei Lösungen des "congruence subgroup problem" und beim s-Kobordismus-Satz.

Als nächstes gab Milnor eine Definition der algebraischen K-Gruppen ${\displaystyle K_{2}}$. Ihre Berechnung für Körper (Satz von Matsumoto) war die Grundlage für Anwendungen von ${\displaystyle K_{2}}$ in Algebra und Zahlentheorie, in Zusammenhang mit der Brauer-Gruppe und Galois-Kohomologie.

Es g​ab dann verschiedene Ansätze z​ur Definition höherer K-Gruppen. Die h​eute allgemein verwandte Definition w​urde 1974 v​on Daniel Quillen a​uf dem Internationalen Mathematiker-Kongress vorgeschlagen.

Topologische K-Theorie

→ Hauptartikel: Topologische K-Theorie

Es sei ${\displaystyle X}$ ein fester kompakter Hausdorffraum. Dann ist ${\displaystyle K(X)}$ der Quotient der freien abelschen Gruppe auf den Isomorphieklassen von komplexen Vektorbündeln über ${\displaystyle X}$ nach der Untergruppe, die von Elementen der Form

${\displaystyle [E\oplus F]-[E]-[F]}$

für Vektorbündel ${\displaystyle E,F}$ erzeugt wird. Diese Konstruktion, die der Konstruktion der ganzen Zahlen aus den natürlichen Zahlen nachempfunden ist, heißt Grothendieck-Gruppe (nach Alexander Grothendieck).

Zwei Vektorbündel ${\displaystyle E}$ und ${\displaystyle F}$ auf ${\displaystyle X}$ definieren genau dann dasselbe Element in ${\displaystyle K(X)}$, wenn sie stabil äquivalent sind, d. h. wenn es ein triviales Vektorbündel ${\displaystyle G}$ gibt, so dass

${\displaystyle E\oplus G\cong F\oplus G}$

Mit dem Tensorprodukt von Vektorbündeln wird ${\displaystyle K(X)}$ zu einem kommutativen Ring mit Einselement.

Der Begriff des Ranges eines Vektorbündels überträgt sich auf Elemente der ${\displaystyle K}$-Theorie. Die reduzierte K-Theorie ${\displaystyle {\tilde {K}}(X)}$ ist die Untergruppe der Elemente von Rang 0. Weiter führt man die Bezeichnung ${\displaystyle {\tilde {K}}^{n}(X)={\tilde {K}}(S^{n}X)}$ ein; dabei bezeichnet ${\displaystyle S}$ die reduzierte Einhängung.

K i​st ein kontravarianter Funktor a​uf der Kategorie d​er kompakten Hausdorffräume. Er erfüllt Bott-Periodizität m​it Periode 2.

Wenn man die analogen Konstruktionen mit reellen Vektorbündeln durchführt, erhält man die Reelle K-Theorie ${\displaystyle KO(X)}$. Für diese gilt Bott-Periodizität mit Periode ${\displaystyle 8}$, d. h. ${\displaystyle {\tilde {K}}O^{n+8}(X)={\tilde {K}}O^{n}(X)}$.

Algebraische K-Theorie

→ Hauptartikel: Algebraische K-Theorie

Sei ${\displaystyle R}$ ein unitärer Ring, ${\displaystyle \textstyle GL(R)=\bigcup _{n\geq 0}GL(n,R)}$ die Gruppe der invertierbaren Matrizen über ${\displaystyle R}$ und ${\displaystyle BGL(R)}$ der klassifizierende Raum von ${\displaystyle GL(R)}$, das heißt ein asphärischer Raum mit Fundamentalgruppe ${\displaystyle GL(R)}$. Weil die Gruppe der Elementarmatrizen ${\displaystyle E(R)=\left[GL(R),GL(R)\right]}$ perfekt und ein Normalteiler ist kann man die Plus-Konstruktion anwenden. Die algebraische K-Theorie des Ringes ${\displaystyle R}$ ist definiert als

${\displaystyle K_{i}(R):=\pi _{i}(BGL^{+}(R))}$

für ${\displaystyle i\geq 1}$.

Eine (für ${\displaystyle i>2}$ nicht zur oben definierten isomorphe) Variante der algebraischen K-Theorie ist Milnors K-Theorie. Ihr Zusammenhang mit etaler Kohomologie ist Gegenstand der Milnorvermutung, für deren Beweis Wladimir Wojewodski auf dem internationalen Mathematikerkongress 2002 die Fieldsmedaille verliehen wurde. Der Beweis basiert auf der von Wojewodski entwickelten Homotopietheorie algebraischer Varietäten und der von Beilinson und Lichtenbaum entworfenen motivischen Kohomologie.

Die umfassendste Definition einer algebraischen ${\displaystyle K}$-Theorie wurde von D. Quillen angegeben und benutzt die Q-Konstruktion.

K-Theorie für Banachalgebren

→ Hauptartikel: K-Theorie von Banachalgebren

Die topologische K-Theorie lässt sich auf allgemeine Banachalgebren ausdehnen, wobei die C*-Algebren eine wichtige Rolle spielen. Die topologische K-Theorie kompakter Räume ${\displaystyle X}$ kann als K-Theorie der Banachalgebren ${\displaystyle C(X)}$ der stetigen Funktionen ${\displaystyle X\rightarrow \mathbb {C} }$ umformuliert und dann auf beliebige Banachalgebren übertragen werden, sogar auf das Einselement der Algebren kann man verzichten. Da die Zuordnung ${\displaystyle X\mapsto C(X)}$ ein kontravianter 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 h​ier auch nicht-kommutative Algebren auftreten können, spricht m​an von nicht-kommutativer Topologie. Die K-Theorie i​st ein wichtiger Untersuchungsgegenstand i​n der Theorie d​er C*-Algebren.

Siehe auch

KK-Theorie

Literatur

• Michael Atiyah: K -theory. Notes by D. W. Anderson. Second edition. Advanced Book Classics. Addison-Wesley Publishing Company, Advanced Book Program, Redwood City, CA, 1989. ISBN 0-201-09394-4
• Jacek Brodzki: An Introduction to K-theory and Cyclic Cohomology. arxiv:funct-an/9606001.
• Allen Hatcher: Vector bundles and K-theory (math.cornell.edu).
• Daniel Quillen: Higher algebraic K-theory: I. In: H. Bass (Hrsg.): Higher K-Theories. Lecture Notes in Mathematics, Band 341. Springer-Verlag, Berlin 1973, ISBN 3-540-06434-6.
• Charles Weibel: An introduction to algebraic K-theory, (math.rutgers.edu).
• Bruce Blackadar: K-Theory for Operator Algebras. Springer Verlag, 1986, ISBN 3-540-96391-X.
• Karlheinz Knapp: Vektorbündel. (link.springer.com).

Weblinks

• Max Karoubi: Lectures on K-theory. (PDF; 400 kB).
• Christian Voigt: K-Theorie von Operatoralgebren. (PDF; 579 kB).
• Daniel Grayson: On the K-theory of fields. (PDF; 1,4 MB).