完备群上同调条件验证：为何仅需充分小开子群？

这个问题正好戳中了伽罗瓦上同调里利用完备群拓扑性质简化验证的关键点，Serre的结论核心是利用完备群开子群的共尾性和上同调限制映射的性质，下面我拆解一下具体依据和细节：

1. 完备群开子群的核心性质：共尾性与“充分小”的定义 #

完备群是Hausdorff拓扑群，其开子群构成单位元的邻域基，而且满足两个关键性质：

• 任意两个开子群的交仍是开子群；
• 对任意开正规子群$U$，存在递降的开正规子群列$U_1 \supseteq U_2 \supseteq \dots$，使得$\bigcap_{n=1}^\infty U_n = {e}$，且所有足够靠后的$U_n$都包含在$U$中。

这里的“充分小的开子群”，指的就是这个递降列中足够靠后的项，或者说存在某个开子群$W$，所有包含在$W$里的开正规子群都满足我们要验证的性质。

2. 上同调限制映射的关键分析 #

对于开正规子群$V \subseteq U$，考虑限制映射：
$$\text{Res}: H^1(U, \mathbb{Z}/p\mathbb{Z}) \to H^1(V, \mathbb{Z}/p\mathbb{Z})$$
根据伽罗瓦上同调的inflation-restriction序列，我们有：
$$0 \to H^1(U/V, \mathbb{Z}/p\mathbb{Z}) \to H^1(U, \mathbb{Z}/p\mathbb{Z}) \to H^1(V, \mathbb{Z}/p\mathbb{Z})^{U/V} \to 0$$
这里的$H^1(V, \mathbb{Z}/p\mathbb{Z})^{{U/V}$表示$U/V$作用在$H}1(V, \mathbb{Z}/p\mathbb{Z})$上的不变子空间，而$H^1(U/V, \mathbb{Z}/p\mathbb{Z})$是有限维的$\mathbb{Z}/p\mathbb{Z}$向量空间——因为$U/V$是有限群，它到$\mathbb{Z}/p\mathbb{Z}$的同态只有有限个。

3. 从“充分小”到“任意开子群”的推导 #

假设我们已经验证了：对充分小的开正规子群$V$，任意$N \geq 0$，存在$N$个线性无关的元素$z_1, \dots, z_N \in H^1(V, \mathbb{Z}/p\mathbb{Z})$，这等价于说$H^1(V, \mathbb{Z}/p\mathbb{Z})$是无限维的$\mathbb{Z}/p\mathbb{Z}$向量空间。

现在取任意开正规子群$U$，因为$V$可以取到包含在$U$中的充分小的子群，我们看上面的序列：

• $H^1(V, \mathbb{Z}/p\mathbb{Z})^{U/V}$是$H1(V, \mathbb{Z}/p\mathbb{Z})$的子空间，由于原空间无限维，而$U/V$是有限群，这个不变子空间必然也是无限维的（有限群作用下，无限维空间的不变子空间不可能有限维——否则原空间会是有限维子空间和有限维商空间的直和，矛盾）。
• 从序列可知，$\dim H^1(U, \mathbb{Z}/p\mathbb{Z}) = \dim H^1(U/V, \mathbb{Z}/p\mathbb{Z}) + \dim H^1(V, \mathbb{Z}/p\mathbb{Z})^{{U/V}$，有限维加无限维还是无限维，因此$H}1(U, \mathbb{Z}/p\mathbb{Z})$也是无限维的，即对任意$N \geq 0$，存在$N$个线性无关的元素。

反过来，如果原条件（对所有开正规子群$U$成立）满足，那显然充分小的开子群也满足这个条件，所以两者等价。

补充细节 #

• 线性无关的本质：$H^1(U, \mathbb{Z}/p\mathbb{Z})$作为$\mathbb{Z}/p\mathbb{Z}$向量空间，线性无关就是向量空间中的标准线性无关概念——没有非零的$\mathbb{Z}/p\mathbb{Z}$线性组合等于零。
• 为什么“充分小”可以覆盖所有开子群：完备群的任意开子群都包含某个充分小的开正规子群（比如取$U$与充分小的开正规子群列的交，这个交仍是开正规子群且包含在$U$中），因此只要充分小的子群满足条件，所有开子群都能通过上述推导满足条件。

内容的提问来源于stack exchange，提问作者Dedalus