Cellularization for exceptional spherical space forms and the flag manifold of \(\mathsf{SL}_3 (\mathbb{R})\) (Q2674683): Difference between revisions

\textit{J. W. Milnor} [Am. J. Math. 79, 623--630 (1957; Zbl 0078.16304)] classified the finite groups that act freely on \(S^3\). For many of these actions equivariant cell decompositions are know. The authors provide such a decomposition in the remaining cases, for the free action of the octahedral group \(\mathcal O\) and the binary icosahedral group \(\mathcal I\). Using curved joins these decompositions extend to higher dimensions. The authors' method also provides a decomposition of the action of the tetrahedral group \(\mathcal T\). The main result is: Theorem. Every sphere \(S^{4n-1}\), endowed with the natural free action of \(\mathcal O\) (resp., of \(\mathcal I\) or \(\mathcal T\)), admits an explicit equivariant cell decomposition. As a consequence, the associated cellular homology chain complex is explicitly given in terms of matrices with entries in the group algebras \(\mathbb Z[\mathcal O]\), \(\mathbb Z[\mathcal I]\), and \(\mathbb Z[\mathcal T]\), respectively.