On the relation between the fundamental group of a space and the higher homotopy groups. (Q2592883)

Der zusammenhängende metrische Raum \(Y\) sei separabel und in den Dimensionen 0 bis \(n\) örtlich zusammenhängend. Die Elemente der \(n\)-ten Homotopiegruppe \(\pi _n(Y)\) von \(Y\) (vgl. \textit{W. Hurewicz}, Proc. Akad. Wet. Amsterdam 38 (1935), 112-119; JFM 61.0618.*) werden durch stetige Abbildungen der Sphäre \(S^n\) in \(Y\) gegeben, bei denen ein bestimmter Punkt \(x_{0}\) von \(S^n\) ein bestimmtes Bild \(y_{0}\) hat. Deformiert man die Abbildung so, daß das Bild von \(x_{0}\) einen Weg \(w\) von \(y_{0}\) nach \(y_{0}\) beschreibt, so bewirkt auf diese Weise das Element \(w\) der Wegegruppe einen Automorphismus von \(\pi _n(Y)\), die ganze Wegegruppe \(\pi _1(Y)\) eine Gruppe von Automorphismen von \(\pi _n(Y)\). Besteht sie nur aus der Einheit, so heißt \(Y\) \(n\)-dimensional-einfach. Die Elemente, die durch jeden Weg \(w\) in sich übergeführt werden, bilden eine Untergruppe \(c_n(Y)\) von \(\pi _n(Y)\); die Wege \(w\), die den identischen Automorphismus bewirken, bilden eine invariante Untergruppe \(z_n(Y)\) von \(\pi _1(Y)\). Die Gruppen \(c_{1}\) und \(z_{1}\) stimmen mit dem Zentrum von \(\pi _1\) überein. Weitere Aussagen ergeben sich, wenn \(Y\) ein (endliches oder unendliches) zusammenhängendes \(n\)-Polyeder ist und die Gruppen \(\pi _i(Y)\) \((1<i<n)\) nur aus der Einheit bestehen. Ist z. B. \(Y\) \(n\)-dimensional-einfach, und besteht \(\pi _n(Y)\) nicht nur aus der Einheit, so ist \(\pi _1(Y)\) endlich. Anwendung auf simpliziale Mannigfaltigkeiten mit sphärischer Überlagerungsmannigfaltigkeit, d. h. unter anderem auf reell-projektive und auf Linsenräume.