Lifting property for finite groups

技术摘要：有限群的提升性质

问题陈述
本文研究了具有模表示“提升性质”（lifting property）的有限群 $G$ 的分类。具体而言，作者研究了这样一类群：对于任何满足 $M^2=0$ 且剩余域为 $k$ 的交换局部环 $R$，每一个群同态 $G \to GL_n(k)$（其中 $k$ 是特征为 $p$ 的域）都能延拓为同构 $G \to GL_n(R)$。等价地，这一性质要求每一个有限维 $k[G]$-模都能提升为自由 $R[G]$-模。作者区分了“可提升群”（liftable，对所有此类环 $R$ 均满足该条件）与“$p$-可提升群”（$p$-liftable，特指对于 $R = \mathbb{Z}/p^2\mathbb{Z}$ 满足该条件）的概念。

方法论
作者结合了上同调论证、模理论以及显式的矩阵计算，来建立提升的充分必要条件。

1. 归约为 Sylow 子群： 利用先前研究（特别是 [2]）的结果，作者确立了有限群 $G$ 是 $p$-可提升的，当且仅当其 Sylow $p$-子群是 $p$-可提升的。此外，如果每个 Sylow 子群都是可提升的，则该群本身也是可提升的。这把全局分类问题归约为分析每个素数 $p$ 对应的 $p$-群。
2. 通过环论建立阻碍： 对于阶为 $p^n$ 的循环群，作者利用了群环 $k[G]$ 的结构。他们定义了一个针对元素 $f, h \in k[G]$（满足 $fh=0$）的阻碍类$\theta(f, h)$。他们证明，如果$G$是$p$-可提升的，那么对于所有此类对，$\theta(f, h)$必须消失。通过在循环群$C_{p^n}$中构造特定的元素（当$p=3$时$n \geq 2$，以及一般情况下$n \geq 2$），他们展示了非零阻碍的存在，从而证明这些群不是$p$-可提升的。
3. 显式反例： 对于素数 $p=2$，作者通过显式的矩阵计算来否定特定非循环 2-群的提升性质：
   • 克莱因群 ($C_2 \times C_2$)： 他们构造了一个在 $\mathbb{F}_2$ 上的 4 维表示，并表明向 $\mathbb{Z}/4\mathbb{Z}$ 提升所需的限制关系会导致涉及 $M_2(\mathbb{F}_2)$ 中矩阵迹的矛盾。
   • 四元数群 ($Q_8$)： 同样地，他们构造了一个在 $\mathbb{F}_2$ 上的 6 维表示，并证明提升关系会导致关于 $M_3(\mathbb{F}_2)$ 中交换子迹的矛盾。
   • $C_3 \times C_3$： 他们通过分析特定表示在 $GL_3(\mathbb{Z}/9\mathbb{Z})$ 中的关系，证明了群 $C_3 \times C_3$ 不是 3-可提升的，这导致了 $\mathbb{F}_3$ 上矩阵加法群中的矛盾。
4. $p$-可提升群的分类：
   • 对于 $p > 3$，唯一的 $p$-可提升 $p$-群是平凡群，因为任何非平凡 $p$-群都包含一个阶为 $p^2$（或更高）的循环子群，而后者不是 $p$-可提升的。
   • 对于 $p=3$，Sylow 3-子群的阶最多为 3（排除 $C_9$ 和 $C_3 \times C_3$）。
   • 对于 $p=2$，Sylow 2-子群必须是循环群。作者排除了广义四元数群（其包含 $Q_8$）以及非循环阿贝尔群（其包含 $C_2 \times C_2$）。

主要结果
本文确立了以下有限群 $G$ 的等价关系：

1. $G$ 是可提升的。
2. $G$ 对每个素数 $p$ 都是 $p$-可提升的。
3. $G$ 同构于以下之一：
   • $C_{2^n}$（阶为 $2^n$ 的循环群）
   • $C_3 \times C_{2^n}$
   • $C_3 \rtimes C_{2^n}$（关于 $C_{2^n}$ 在 $C_3$ 上的唯一非平凡作用的半直积）。

意义与主张
作者将这项工作定位为对 [2] 中结果的精化。虽然 [2] 留下了四元数群 $Q_8$ 是否可提升的悬而未决的问题，但本文明确证明了 $Q_8$ 不是 2-可提升的。本文声称，提升性质对于有限群来说是一个“非常苛刻”的条件。

所提供的背景涉及塞尔（Serre）的模性猜想，其中将伽罗瓦群的模 $p$ 表示提升到特征 0 是一个核心主题。虽然绝对伽罗瓦群的表示提升受到约束（由于 Artin-Schreier 定理，只有 $1$和$C_2$是有限绝对伽罗瓦群），但本文为对偶问题提供了完整的分类：哪些有限群允许其模表示进行提升。作者指出，他们的“可提升”和“$p$-可提升”的定义被证明与 [2] 中的定义一致，从而消除了歧义并解决了关于特定非阿贝尔 2-群的开放案例。