A classification of continuous transformations of a complex into a sphere. I, II. (Q2597293)

Beide Noten behandeln die Aufgabe, die Abbildungsklassen der Sphäre \(S^{n+k}\) in die Sphäre \(S^n\) aufzuzählen, oder die -- etwas präzisere -- Aufgabe, die Homotopiegruppen \(\pi_{n+k}(S^n)\) im Sinne von \textit{Hurewicz} (Proc. Akad. Wet. Amsterdam 38 (1935), 112-119; F. d. M. \(61_{\text{I}}\), 618) zu bestimmen. Für beliebiges \(k > 0\) wird, ohne Beweis, der Satz ausgesprochen: (A) \ Für \(n > k + 2\) ist \(\pi_{n+k}(S^n)\) isomorph mit der Gruppe \(\pi_{2k+2}(S^{k+2}) = P_k\). Die Vermutung wird geäußert, daß \(P_k\) in engem Zusammenhang mit der \(i\)-ten Homotopiegruppe der Mannigfaltigkeit der \(n\)-dimensionalen Drehungsgruppe stehe. Dies wird für \(k =1\) und für \(k = 2\) bestätigt: Die Tatsachen, daß die Fundamentalgruppe der \(n\)-dimensionalen Drehungsgruppe für \(n\geqq 3\) zyklisch von der Ordnung 2 und daß die zweiten Homotopiegruppen der Drehungsgruppen die Nullgruppen sind, werden benutzt, um zu zeigen: (B) \ \(\pi_{n+1}(S^n)\) ist für \(n\geqq 3\) zyklisch von der Ordnung 2; (C) \ \(\pi_{n+2}(S^n)\) ist für \(n \geqq 3\) die Nullgruppe. Hierzu gelten noch die Ergänzungen: (B\(^\prime\)) \ \(\pi_3(S^2)\) ist frei zyklisch; (C\(^\prime\)) \ \(\pi_4(S^2)\) ist zyklisch von der Ordnung 2; ferner ist \(\pi_m(S^1)\) bekanntlich für alle \(m > 1\) die Nullgruppe. Die Beweise der Sätze (B), (C) und ihrer Ergänzungen werden kurz skizziert; sie beruhen außer auf den erwähnten Homotopie-Eigenschaften der Drehungsgruppen auf der Tatsache, daß jede stetige Abbildung der \(S^m\) in die \(S^n\) durch analytische Abbildungen approximiert werden kann. Die Sätze, abgesehen von (A), sind bereits 1936 dem Internationalen Mathematikerkongreß in Oslo mitgeteilt worden. Die Sätze (A), (B), (C\(^\prime\)) sind 1937 von \textit{Freudenthal} (Über die Klassen der Sphärenabbildungen I, Compositio math., Groningen, 5 (1937), 299-314; F. d. M. \(63_{\text{II}}\)) auf ganz anderem Wege ausführlich bewiesen worden; Satz (B\(^\prime\)) stammt von \textit{Hurewicz} (a. a. O.). Editoria remark (2021): The statement that the homotopy group \(\pi_{n+2}(S^n)\) is zero is not true. \textit{H. Freudenthal} [Compos. Math. 5, 299--314 (1937; JFM 63.1161.02; Zbl 0018.17705)] and \textit{G. W. Whitehead} [Ann. Math. (2) 52, 245--247 (1950; Zbl 0037.39703)] showed that \(\pi_{n+2}(S^n)\cong \mathbb Z^2\), and Pontryagin corrected the mistake in [\textit{L. S. Pontryagin}, Dokl. Akad. Nauk SSSR, n. Ser. 70, 957--959 (1950; Zbl 0035.11101)].