[论文解读] Presentations of Finite Simple Groups: Profinite and Cohomological Approaches

Robert M. Guralnick, William M. Kantor+2 more|ArXiv.org|Nov 18, 2007

Finite Group Theory Research参考文献 19被引用 3

一句话总结

本文通过有限单群与拟单群的受限投影表示及上同调理论之间的新颖互动，建立了其受限投影表示与上同调界的统一界限。证明了每个有限拟单群均具有由2个生成元和至多18个关系构成的受限投影表示，且其第二上同调维数在任意域上的不可约忠实模上被统一有界于18.5倍模维数。

ABSTRACT

We prove the following three closely related results. The first is that every finite simple group has a profinite presentation with 2 generators and at most 18 relations. The second is that if G is a finite simple group, F a field and M an FG-module, then the dimension of the second cohomology group of G with coefficients in M is at most 17.5 times the dimension of M. The third result is that we may replace 17.5 by 18.5 as long as M is faithful irreducible G-module. These last two results answer conjectures of Holt.

研究动机与目标

• 建立有限拟单群受限投影表示中关系数的统一界限。
• 对任意域上的有限群 $ G $ 及模 $ M $，界定第二上同调群 $ H^2(G, M) $ 的维数。
• 通过新颖的对偶性论证，统一受限投影表示理论与群上同调理论。
• 利用有限单群分类与结构群论，将先前结果推广并改进常数。
• 提供一种通过上同调不变量界定受限投影表示复杂度的框架。

提出的方法

• 利用文献[34]中的关键公式，将受限关系秩 $ \hat{r}(G) $ 与上同调不变量关联：$ \hat{r}(G) = \sup_p \sup_M \left( \left\lceil \frac{\dim H^2(G,M) - \dim H^1(G,M)}{\dim M} \right\rceil + d(G) - \xi_M \right) $。
• 应用上同调界：对拟单群有 $ \dim H^1(G,M) \leq \frac{1}{2} \dim M $，对 $ \mathbb{F}_p $ 上的模有 $ \dim H^2(G,M) \leq 17.5 \dim M $，从而推出 $ \hat{r}(G) \leq \max\{4, \lceil h'(G) + 1 \rceil\} $。
• 通过主因子的归纳法，利用极小正规子群 $ N $ 分解 $ G $，并借助Hochschild–Serre谱序列与不动点论证分析 $ H^2(G, V) $。
• 应用引理3.15，通过 $ \ell_p(N) $ 与 $ \dim V $ 有界 $ \dim H^2(N,V)^G $，尤其当 $ N $ 为初等阿贝尔群时。
• 引入 $ s_p(G) $（非交换主因子 $ L_i $ 上 $ \dim H^2(L_i, \mathbb{F}_p) $ 之和）与 $ \ell_p(G) $（主因子的总 $ p $-秩）。
• 推导出一般界：$ \dim H^2(G,V) \leq (18.5 + s_p(G) + h_{p,1}(G)\ell_p(G)) \dim V $，其中 $ h_{p,1}(G) \leq d(G)+1 $。

实验结果

研究问题

• RQ1 每个有限拟单群是否都能以与群阶无关的统一有界关系数进行受限投影表示？
• RQ2 对有限群及不可约忠实 $ FG $-模，$ \dim H^2(G,M)/\dim M $ 的最优统一界是什么？
• RQ3 如何利用上同调不变量推导受限投影表示复杂度的界限？
• RQ4 对 $ \dim H^2(G,M) $ 的界限在多大程度上依赖于主因子与施瓦茨乘子的结构？
• RQ5 是否存在统一常数 $ C $，使得对所有有限群有 $ \hat{r}(G) \leq d(G) + C + s(G) + h_{1}(G)\ell(G) $？

主要发现

• 每个有限拟单群均具有恰好2个生成元和至多18个关系的受限投影表示。
• 对任意有限拟单群 $ G $、域 $ F $ 及 $ FG $-模 $ M $，有 $ \dim H^2(G,M) \leq 17.5 \cdot \dim M $。
• 对任意有限群 $ G $、域 $ F $ 及不可约忠实 $ FG $-模 $ M $，有 $ \dim H^2(G,M) \leq 18.5 \cdot \dim M $。
• 对所有有限群，不等式 $ \hat{r}(G) \leq d(G) + 18.5 + s(G) + h_{1}(G)\ell(G) $ 成立，其中 $ s(G) $ 受非交换主因子数两倍的有界。
• 对无阿贝尔换位因子的群，有 $ \hat{r}(G) \leq d(G) + 19 + 2s $，其中 $ s $ 为主因子数。
• 当合成因子上无非平凡施瓦茨乘子时，有 $ \hat{r}(G) \leq d(G) + 19 $，提示离散与受限投影表示秩之间可能存在差异。