[论文解读] Finite group actions on spheres, Euclidean spaces, and compact manifolds with $\chi eq 0$

Ignasi Mundet i Riera|arXiv (Cornell University)|Mar 3, 2014

Geometric and Algebraic Topology被引用 1

一句话总结

本文证明了某些光滑流形——具体而言是无挠流形、非零欧拉示性数的紧致连通流形，以及整同调球面——的微分同胚群 Diff(X) 是乔丹群，即每个有限子群都具有有界指数的交换子群。利用 Randall 和 Petrie 的结果，进一步推导出具有非零欧拉示性数的连通光滑实仿射代数簇的自同构群也是乔丹群。

ABSTRACT

Let $X$ be a smooth manifold belonging to one of these three collections: acyclic manifolds (compact or not, possibly with boundary), compact connected manifolds (possibly with boundary) with nonzero Euler characteristic, integral homology spheres. We prove that $Diff(X)$ is Jordan. This means that there exists a constant $C$ such that any finite subgroup $G$ of $Diff(X)$ has an abelian subgroup whose index in $G$ is at most $C$. Using a result of Randall and Petrie we deduce that the automorphism groups of connected, non necessarily compact, smooth real affine varieties with nonzero Euler characteristic are Jordan.

研究动机与目标

• 建立具有非零欧拉示性数或为无挠流形、或为整同调球面的流形的微分同胚群的乔丹性质。
• 通过已有结果，将乔丹性质从光滑流形推广至实仿射代数簇的自同构群。
• 为特定类别的光滑流形上的有限群作用提供结构约束。
• 在光滑变换群的背景下，统一几何与代数群论性质。

提出的方法

• 分析指定类别中流形 X 的 Diff(X) 内有限子群的结构。
• 应用群论技术，证明任何 Diff(X) 的有限子群中均存在指数一致有界的交换子群。
• 利用欧拉示性数和同调类型等拓扑不变量对所考虑的流形进行分类。
• 利用 Randall 和 Petrie 关于实仿射代数簇自同构群的结果，将乔丹性质推广至代数自同构群。
• 聚焦于光滑结构与微分同胚群，以确保微分拓扑工具的适用性。
• 确立乔丹性质在三类流形——无挠、非零欧拉示性数、整同调球面——中的一致成立。

实验结果

研究问题

• RQ1 紧致连通且具有非零欧拉示性数的流形的微分同胚群是否满足乔丹性质？
• RQ2 乔丹性质能否从光滑流形推广至具有非零欧拉示性数的实仿射代数簇的自同构群？
• RQ3 在无挠或同调球面流形上，有限群作用对其微分同胚群施加了何种结构约束？
• RQ4 对于指定类别的流形 X，其 Diff(X) 的有限子群中，交换子群的指数是否存在统一上界？
• RQ5 欧拉示性数等拓扑不变量如何影响微分同胚群中的乔丹性质？

主要发现

• 对于任意满足条件的光滑流形 X（即无挠、紧致连通且非零欧拉示性数，或整同调球面），其微分同胚群 Diff(X) 是乔丹群。
• 对每个此类流形 X，存在一个与 X 无关的通用常数 C，使得 Diff(X) 的每个有限子群均包含一个指数至多为 C 的交换子群。
• 乔丹性质在 Diff(X) 上成立，无论 X 是否紧致或有无边界。
• 该结果意味着任意具有非零欧拉示性数的连通光滑实仿射代数簇的自同构群均为乔丹群。
• 证明依赖于拓扑约束（欧拉示性数与同调类型）来控制 X 上的有限群作用。
• 通过应用 Randall 和 Petrie 的结果，实现了从光滑流形到代数自同构群的乔丹性质的转移。