Topologisk K-teori

Inom matematiken är topologisk K-teori en del av algebraisk topologi. Den skapades för att studera vektorknippen på topologiska rum med hjälp av tekniker som numera ses som (allmän) K-teori som introducerades av Alexander Grothendieck. Det tidiga arbetet med topologisk K-teori utfördes av Michael Atiyah och Friedrich Hirzebruch.

Definitioner

Låt X vara ett kompakt Hausdorffrum och k = R, C. Då är K k ( X ) {\displaystyle K_{k}(X)} Grothendieckgruppen av den kommutativa monoiden av isomofiklasser av ändligdimensionella k-vektorknippen över X under Whitneysumman. Tensorprodukten av knippen ger K-teorin en kommutativ ringstruktur. K ( X ) {\displaystyle K(X)} betecknar vanligen komplexa K-teorin emedan den reella K-teorin skrivs ibland som K O ( X ) {\displaystyle KO(X)} .

Som ett första exempel, notera att K-teorin av en punkt är heltalen. Detta eftersom vektorknippena över en punkt är triviala och härmed klassificerade enligt deras rang och Grothendieckgruppen av naturliga talen är heltalen.

Användningar

De två berömdaste användningarna av topologisk K-teori är båda av J. F. Adams. Först löste han ett problem om Hopfinvarianter genom att göra en beräkning med Adamsoperationerna. Sedan bevisade han en övre begränsning för antalet linjärt oberoende vektorfält av sfärer.

Se även

  • Algebraisk K-teori

Referenser

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Topological K-theory, 24 februari 2015.

Källor

  • Atiyah, Michael Francis (1989), K-theory, Advanced Book Classics (2nd), Addison-Wesley, ISBN 978-0-201-09394-0 
  • Friedlander, Eric; Grayson, Daniel, reds. (2005), Handbook of K-Theory, Berlin, New York: Springer-Verlag, ISBN 978-3-540-30436-4, https://www.springer.com/gp/book/9783540230199 
  • Max Karoubi (1978), K-theory, an introduction Springer-Verlag
    • Max Karoubi (2006), "K-theory. An elementary introduction", arXiv:math/0602082* Allen Hatcher, Vector Bundles & K-Theory, (2003)
  • Maxim Stykow, Connections of K-Theory to Geometry and Topology, (2013)