Smooth finite group actions on homology six-spheres with odd euler chracteristic fixed point sets

Shunsuke Tamura
2024-07-10
Abstract:In this paper, we prove that if a finite group acts smoothly and effectively on an integral homology six-sphere and the fixed point set has an odd Euler characteristic, then the acting group is isomorphic to either the alternating group on five letters, the symmetric group on five letters, or the Cartesian product of the alternating group on five letters and a group of order 2 and the fixed point set consists of precisely one point.
Geometric Topology
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the characteristics of the smooth and effective action of finite groups on homology 6 - spheres, especially when the fixed - point set has an odd Euler characteristic value. Specifically, the author explores the structure and properties of a finite group \(G\) when it acts smoothly and effectively on an integral homology 6 - sphere and the Euler characteristic value of the \(G\)-fixed - point set is odd. ### Research Background and Motivation The research on this problem originated from the study of specific groups acting on spheres, especially a problem proposed by D. Montgomery and H. Samelson: for a given finite group \(G\) and non - negative integer \(n\), does there exist a \(G\)-action on the \(n\)-sphere with only one fixed point or an odd number of fixed points. The proposal of this problem has inspired a large amount of subsequent research, especially the search for such examples in high - dimensional spaces. ### Main Contributions of the Paper The main contributions of this paper are as follows: - If a finite group \(G\) acts smoothly and effectively on an integral homology 6 - sphere and the Euler characteristic value of its fixed - point set is odd, then \(G\) is isomorphic to the alternating group \(A_5\), the symmetric group \(S_5\) or the direct product \(A_5\times C_2\), where \(C_2\) is a cyclic group of order 2. - Further, if this action is orientation - preserving, then the fixed - point set contains only one point. ### Formula Representation The formulas involved in the paper mainly include the calculation of the Euler characteristic value and the related properties of group actions. For example: - The modulo \(p\) congruence relation of the Euler characteristic value: \[ \chi(M)\equiv\chi(M^P)\mod p \] where \(M\) is a compact manifold with a \(P\)-action and \(P\) is a \(p\)-group. - Smith Theorem: \[ \text{If }P\text{ acts on a }\mathbb{Z}_p\text{-homology sphere }\Xi\text{, then }\Xi^P\text{ is also a }\mathbb{Z}_p\text{-homology sphere} \] These formulas and theorems play a key role in the proof process, ensuring the rigor and correctness of the conclusions. Through the above research, the author not only answers the existence problem of finite group actions in specific cases, but also provides new ideas and methods for further research on group actions on high - dimensional spheres.