Über die topologische Struktur der Lieschen Gruppen. (Q2584331)

Bekanntlich haben die Poincaréschen Polynome der kompakten Lieschen Gruppen die folgende Gestalt \[ (1 + t^{\alpha _1})\,(1 + t^{\alpha _2})\,.\;.\;.\;.\;.\,(1 + t^{\alpha _n}), \] also dieselbe wie die Poincaréschen Polynome der topologischen Produkte von Sphären der Dimensionen \(\alpha _1,\alpha _2,\ldots,\alpha _n\). Von den Gruppen \(A_n\), \(B_n\), \(C_n\), \(D_n\) der vier großen Cartanschen Klassen einfacher Gruppen haben überdies, wie Verf. zeigte (Rec. math., Moscou, (2) 6 (1939), 389-422; F. d. M. 65, 1448 (JFM 65.1448.*)), \(A_n\) und \(C_n\) keine Torsion, und ihre Fundamentalgruppen sind die Einheitsgruppen. Es erhebt sich daher für diese Gruppen die Frage, ob sie mit den genannten Sphärenprodukten homöomorph sind. In der vorliegenden Arbeit wird gezeigt, daß das für \(n\geqq 2\) \textit{nicht} der Fall ist. Es wird nämlich gezeigt, daß jede Abbildung der 4-dimensionalen Sphäre \(\boldsymbol\varSigma ^4\) auf die Mannigfaltigkeit \(A_n\) homotop Null in \(A_n\) ist, während es bekanntlich eine wesentliche d. h. nicht nullhomotope Abbildung von \(\boldsymbol\varSigma ^4\) auf \(\boldsymbol\varSigma ^3\), also auch eine wesentliche Abbildung von \(\boldsymbol\varSigma ^4\) auf das topologische Produkt \(\boldsymbol\varSigma ^3 \times M\) gibt, wo \(\boldsymbol\varSigma ^3\) die 3-dimensionale Sphäre, \(M\) irgend ein topologischer Raum ist. Man kann das auch so ausdrücken: Die 4-dimensionale Hurewiczsche Homotopiegruppe von \(A_n\) ist die Einheitsgruppe, die 4-dimensionale Homotopiegruppe eines Produktes \(\boldsymbol\varSigma ^3\times M\) aber nicht.