Satz von Kan und Thurston

Lehrsatz aus dem mathematischen Gebiet der algebraischen Topologie

Der Satz von Kan und Thurston ist ein Lehrsatz aus dem mathematischen Gebiet der algebraischen Topologie.

Er wurde 1976 von Daniel Marinus Kan und Bill Thurston bewiesen und besagt, dass es zu jedem wegzusammenhängenden topologischen Raum eine diskrete Gruppe gibt derart, dass der Eilenberg-MacLane-Raum eine gute Approximation zu ist. Etwas genauer, es gibt einen „Homologie-Isomorphismus“ , d. h. eine stetige Abbildung, die in singulärer Homologie einen Isomorphismus induziert.

Gelegentlich wird er dahingehend interpretiert, dass sich die Homotopietheorie als Teil der Gruppentheorie ansehen lasse.

Satz von Kan und Thurston

Bearbeiten

Zu jedem zusammenhängenden Raum   gibt es einen Eilenberg-MacLane-Raum   (für eine Gruppe  ) und eine Serre-Faserung

 

so dass:

  •   ist surjektiv,
  •   ist ein Isomorphismus von der Gruppenhomologie von   auf die Homologie von   für jedes lokale Koeffizientensystem  .

Insbesondere ist   homotopieäquivalent zu dem Raum, den man aus   durch Anwendung von Quillens Plus-Konstruktion auf den perfekten Normalteiler   erhält.

It is a long-standing joke (and for things like Mal'cev completion rather more than a joke) that group theory is contained in algebraic topology as the homotopy theory of Eilenberg-MacLane spaces K(G,1). The paper under review has the effect of reversing the joke, showing that, in a sense, the homotopy theory of connected spaces is contained in the homotopy theory of K(G,1)'s and thus in group theory. (J. Peter May in der Besprechung der Arbeit von Kan und Thurston in den Mathematical Reviews)

Literatur

Bearbeiten
  • D. M. Kan, W. P. Thurston: Every connected space has the homology of a K(π,1). In: Topology. 15, Nr. 3, 1976, S. 253–258. (online; pdf)
  • Dusa McDuff: On the classifying spaces of discrete monoids. In: Topology. 18, Nr. 4, 1979, S. 313–320.
  • C. R. F. Maunder: A short proof of a theorem of Kan and Thurston. In: Bull. London Math. Soc. 13, Nr. 4, 1981, S. 325–327.
  • J.-C. Hausmann: Every finite complex has the homology of a duality group. In: Math. Ann. 275, Nr. 2, 1986, S. 327–336.
  • I. Leary: A metric Kan–Thurston theorem. In: J. Topol. 6, Nr. 1, 2013, S. 251–284.
  • Raeyong Kim: Every finite complex has the homology of some CAT(0) cubical duality group. In: Geom. Dedicata. 176, 2015, S. 1–9.
Bearbeiten