[论文解读] On finite groups acting on spheres and finite subgroups of orthogonal groups

Bruno Zimmermann|arXiv (Cornell University)|Aug 12, 2011

Geometric and Algebraic Topology参考文献 16被引用 19

一句话总结

本文研究了作用在球面上的有限群及其与正交群的有限子群之间的关系，重点关注低维球面和有限单群。通过结构群论与有限单群分类，利用其子群和表示来界定可能的群，证明了对于任意固定的维数 n，仅存在有限多个有限单群能作用在 n-维球面或同调球面上。

ABSTRACT

This is a survey on old and new results as well as an introduction to various related basic notions and concepts, based on two talks given at the International Workshop on Geometry and Analysis in Kemerovo (Sobolev Institute of Mathematics, Kemerovo State University) and at the University of Krasnojarsk in June 2011. We discuss finite groups acting on low-dimensional spheres, comparing with the finite subgroups of the corresponding orthogonal groups, and also finite simple groups acting on spheres and homology spheres of arbitrary dimension.

研究动机与目标

• 确定哪些有限群可以在给定维数 n 的球面或同调球面上作用。
• 将球面上的有限群作用与 SO(n+1) 的有限子群进行比较，尤其关注线性性与不动点集的性质。
• 确立对于固定的 n，仅有有限多个有限单群能作用在 n-维球面或同调球面上。
• 研究支持群作用的球面的最小维数是否与忠实线性表示的最小维数一致。
• 分析子群结构（例如初等阿贝尔 p-子群）在限制有限群在球面上可能作用中的作用。

提出的方法

• 应用 Smith 不动点理论研究 p-群在模 p 同调球面上的作用，证明不动点集本身也是模 p 同调球面。
• 应用 Riemann-Hurwitz 公式，通过轨道丛的指标（g; n₁,…,nᵣ）对 S² 上的有限群作用进行分类。
• 利用有限单群分类，将问题简化为分析无限族：交错群、典型型群与例外群。
• 通过分析初等阿贝尔 p-子群 (Z_p)^k 及其在各类群中的秩，来界定可能群的数量。
• 利用经典群之间的标准包含关系（如 SL₂(q) ⊂ PSL_m(q)），将问题约化为已知情形并应用已有结果。
• 应用 Dotzel 与 Hamrick 关于光滑 p-群在模 p 同调球面上作用的结果，建立具有相同不动点数据的线性实现。

实验结果

研究问题

• RQ1 对于固定的维数 n，哪些有限群允许在 Sⁿ 或模 p 同调球面上存在保向作用？
• RQ2 球面上的拓扑或光滑群作用在多大程度上共轭于线性（正交）作用？
• RQ3 支持有限群作用的球面的最小维数是否与忠实线性表示的最小维数一致？
• RQ4 哪些有限单群能作用在 n-维球面或同调球面上，且对于固定的 n，这一类群的数量如何被界定？
• RQ5 子群结构（尤其是初等阿贝尔 p-子群）如何限制有限群在球面上可能的作用？

主要发现

• 对于任意固定的维数 n，仅有有限多个有限单群能作用在 n-维球面或模 p 同调球面上。
• S² 上有限群作用的分类是完整的，且恰好对应于 SO(3) 的有限子群，包括循环群、二面体群、单形群、立方体群与十二面体型群。
• 在模 p 同调 n-球面上光滑作用的有限 p-群，其作用可实现为 Sⁿ 上的线性作用，且不动点集的维数函数完全一致。
• 有限单群中初等阿贝尔 p-子群 (Z_p)^k 的存在性施加了秩的上界，从而限制了 p 与 k 的可能取值，进而在固定 n 时保证了有限性。
• 对于经典群（PSL、PSU、PSp、PΩ），由于子群约束，对于固定的 n，可能的素幂 q 与维数 m 的数量是有限的。
• 通过将包含链嵌入已知情形（如 SL₂(q) 或 PSLₘ(q)），可排除大参数下的例外群与扭群（如 E₈(q)、²F₄(2²ᵐ⁺¹)）的存在。