[论文解读] Finite subgroups of diffeomorphism groups

Vladimir L. Popov|arXiv (Cornell University)|Oct 24, 2013

Mathematical Dynamics and Fractals参考文献 6被引用 12

一句话总结

该论文证明：对每个 $ n \geq 4 $，存在一个单连通、非紧致的光滑 $ n $-维流形，其微分同胚群包含每个有限生成群的自由作用、同构拷贝——这意味着此类微分同胚群是非乔丹的。此外，论文还证明了关于紧致流形微分同胚群中有限单子群的有限性定理，表明其阶数受流形不变量的限制。

ABSTRACT

We prove:(1) the existence, for every integer n > 3, of a noncompact smooth n-dimensional topological manifold whose diffeomorphism group contains an isomorphic copy of every finitely presented group; (2) a finiteness theorem on finite simple subgroups of diffeomorphism groups of compact smooth topological manifolds.

研究动机与目标

• 研究光滑拓扑流形微分同胚群中有限子群的结构，尤其对比非紧致与紧致情形。
• 确定流形的微分同胚群是否为乔丹群，即所有有限子群是否均为某个有界列表中有限群的阿贝尔群扩张。
• 建立关于紧致光滑流形微分同胚群中有限单子群的有限性结果。
• 构造非紧致流形的显式例子，其微分同胚群将每个有限生成群作为离散、自由变换群包含在内。
• 以流形不变量 $ e_M $（即 $ \mathrm{Diff}(M) $ 的有限子群中初等阿贝尔子群的最大秩）为基准，界定有限单子群的参数（如秩、阶）。

提出的方法

• 利用希格曼嵌入定理，将任意有限生成群嵌入到一个有限生成的通用群 $ \widetilde{G} $ 中，该群被实现为某个紧致、光滑、定向的 4-流形的基本群。
• 构造一个单连通的非紧致流形 $ C_n $ 作为此类 4-流形的万有覆盖，其微分同胚群包含基本群作为离散、自由作用的子群。
• 应用乔丹群的定义：若一个群的每个有限子群均含有一个指数至多为某常数 $ d_G $ 的正规阿贝尔子群，则该群为乔丹群。
• 对于紧致流形，通过分析 $ \mathrm{Diff}(M) $ 的有限子群中初等阿贝尔子群的最大秩 $ e_M $，来界定有限单子群的大小。
• 对每类有限单群（如 $ \mathrm{Alt}_n $、$ {}^2B_2(2^{2n+1}) $、经典与例外类的切瓦利型群），计算其初等阿贝尔子群的阶，并将其秩与 $ e_M $ 对等，从而导出对群参数的上界。
• 利用已知的群论结果（如 [Vd01]、[W09]、[Ba79]），识别每类有限单群中最大初等阿贝尔子群，并导出涉及 $ e_M $ 的不等式。

实验结果

研究问题

• RQ1 非紧致光滑流形的微分同胚群是否可包含所有有限生成群的同构拷贝？
• RQ2 是否存在非紧致流形，其微分同胚群是非乔丹的？
• RQ3 对于紧致光滑流形，其微分同胚群中有限单子群的阶数是否存在统一的上界？
• RQ4 有限单子群的参数（如秩、阶）与流形 $ M $ 的几何不变量之间有何关系？
• RQ5 给定 $ \mathrm{Diff}(M) $ 的有限子群中初等阿贝尔子群的最大秩 $ e_M $，$ \mathrm{Diff}(M) $ 中有限单子群的最大可能大小是多少？

主要发现

• 对每个 $ n \geq 4 $，存在一个单连通、非紧致、光滑、定向的 $ n $-流形 $ C_n $，使得 $ \mathrm{Diff}(C_n) $ 包含每个有限生成群的自由作用、同构拷贝。
• 因此，对所有 $ n \geq 4 $，$ \mathrm{Diff}(C_n) $ 是非乔丹的，因为它包含任意大的有限单群（例如当 $ n $ 很大时的 $ \mathrm{Alt}_n $），这与乔丹性质矛盾。
• 对任意紧致光滑流形 $ M $，其有限子群中初等阿贝尔子群的最大秩 $ e_M $ 限制了 $ \mathrm{Diff}(M) $ 中所有有限单子群的参数。
• 对 $ \mathrm{Alt}_n $，由存在一个阶为 $ 3^{\lfloor n/3 \rfloor} $ 的初等阿贝尔子群，导出不等式 $ n \leq 3e_M + 2 $。
• 对经典群如 $ \mathrm{PSL}_n(p^a) $，通过分析阶为 $ p^{a s(n-s)} $ 的初等阿贝尔子群的秩，得到不等式 $ a[n/2](n - [n/2]) \leq e_M $。
• 对例外群如 $ E_8(p^a) $，由存在一个阶为 $ p^{36a} $ 的初等阿贝尔子群，导出不等式 $ a \leq e_M / 36 $。