On the second partial Global Euler-Poincare characteristics for Galois cohomology

技术摘要：论伽罗瓦上同调的第二部分全局欧拉-庞卡莱特征量

问题陈述
本文解决了数域伽罗瓦理论中的一个基本空白。设 $K$ 为一个数域，$S$ 为包含所有阿基米德素数的有限素集。令 $G_{K,S}$ 表示 $K$ 在 $S$ 处处不分歧的最大扩张的伽罗瓦群。对于有限离散 $G_{K,S}$-模 $M$，第二部分欧拉-庞卡莱特征量定义为：
$$\chi_2(G_{K,S}, M) := \frac{[H^0(G_{K,S}, M)][H^2(G_{K,S}, M)]}{[H^1(G_{K,S}, M)]}$$
在 $M$ 的阶 $[M]$ 是 $S$-单位（即 $S$ 包含所有整除 $[M]$ 的素数）这一限制条件下，泰特（Tate）的经典全局欧拉-庞卡莱特征量公式提供了对 $\chi_2$ 的显式计算。本文研究的核心问题是：当 $[M]$ 不是 $S$-单位时，如何计算 $\chi_2(G_{K,S}, M)$。具体而言，本文旨在确定该特征量的精确值或最优界限，并理解标准公式在何种条件下失效或需要修正。

方法论
作者通过综合运用埃塔上同调（étale cohomology）、类域论和概形群论来解决该问题。研究方法通过以下步骤展开：

1. 埃塔上同调比较： 本文建立了伽罗瓦上同调群 $H^i(G_{K,S}, M)$ 与仿射方案 $\text{Spec}(\mathcal{O}_{K,S})$ 的埃塔上同调群 $H^i_{\text{ét}}(\text{Spec}(\mathcal{O}_{K,S}), M)$ 之间的比较。利用 Hochschild–Serre 谱序列，作者分析了边缘同态 $\phi_i: H^i(G_{K,S}, M) \to H^i_{\text{ét}}(\text{Spec}(\mathcal{O}_{K,S}), M)$。
2. 精确计算埃塔不变量： 作者计算了埃塔上同调群的第二部分欧拉-庞卡莱特征量，记作 $\chi_2(\text{Spec}(\mathcal{O}_{K,S}), M)$。这涉及利用联系紧支撑上同调与标准上同调的长正合序列，并应用 Artin–Verdier 对偶性。一个关键组成部分是对第三部分紧支撑上同调群 $H^3_c(U, M)$ 的精确计算，该群通过对偶性被识别为卡蒂埃对偶模（Cartier dual module）的不变量 $(M')^{G_K}$。
3. 改进 Schmidt 的技术： 为了处理 $\phi_2$ 不是同构的情况（即当 $[M]$ 不是 $S$-单位时），本文改进了 Schmidt 开发的技术。作者构造了有限素集 $S_0$（与给定的零密度素集不交），使得将 $S$ 扩大为 $S \cup S_0$ 可以消除上同调中的“缺陷”，从而确保 $\phi_2$ 成为同构。
4. 在群表示与变形环中的应用： 关于 $\chi_2$ 的结果被应用于 $G_{K,S}$ 的最小关系数 $r(G)$ 和生成元数 $d(G)$，利用了 Lubotzky 关于 $d(G)$-阿贝尔指数群的判据。此外，这些上同调界限也被应用于 Mazur 维度猜想背景下通用变形环的 Krull 维数。

核心贡献与结果

• 广义公式 (定理 1.2)： 本文为 $[M]$ 不是 $S$-单位的情况提供了 $\chi_2(G_{K,S}, M)$ 的显式上界。公式为：
  $$\chi_2(G_{K,S}, M) \leq \frac{1}{[M][K:\mathbb{Q}]} \prod_{v \in S_\infty} [H^0(G_v, M)] \cdot \prod_{v \notin S, v \in S_p} \frac{1}{|[M]|_v} \cdot \epsilon$$
  其中 $\epsilon$ 是取决于 $S$ 是否包含非阿基米德素数以及卡蒂埃对偶 $M'$ 在复共轭下的行为的修正因子。本文证明，当且仅当自然映射 $\phi_2$ 是同构时，等号成立。
• 界限的可达性： 作者证明，对于任何狄利克雷密度为零的素集 $T$，都存在一个与 $S \cup T$ 不交的有限素集 $S_0$，使得对于 $G_{K, S \cup S_0}$，上述公式中的等号成立。这有效地通过适度扩大分歧素集，为该特征量提供了一个显式公式。
• $G_{K,S}$ 的表示 (定理 1.4)： 本文精炼了关于 $G_{K,S}$ 的最小关系数 $r(G_{K,S})$ 相对于最小生成元数 $d(G_{K,S})$ 的界限。它确立了：
  $$0 \leq r(G_{K,S}) - d(G_{K,S}) \leq R(K) - \gamma$$
  其中 $R(K)$ 是阿基米德素数的数量，$\gamma \in \{0, 1\}$ 取决于 $S$ 中是否存在非阿基米德素数。本文还表明，通过添加有限个素数，该差值可以精确地变为 $R(K) - 1$。
• 维度猜想的反例 (定理 1.7 & 1.8)： 本文构造了 Mazur 维度猜想（猜想 1.6）的扩展的反例。该猜想原先假定在 $S$ 包含所有 $p$ 之上的素数时，通用变形环的 Krull 维数等于 $h^1 - h^2$。作者证明，如果 $S \cap S_p = \emptyset$，则可以找到一个有限扩张 $S$，使得 $h^1 - h^2 < 0$，从而违反了该猜想。作者证明这与无分歧 Fontaine–Mazur 猜想是一致的。

意义
本文声称其意义在于为 $[M]$ 不是 $S$-单位的一般情况提供了 $\chi_2$ 的“最优上界”。通过架起伽罗瓦上同调与埃塔上同调之间的桥梁，它提供了一种精确的机制，通过控制分歧素集来计算这些不变量。

此外，这项工作阐明了伽罗瓦群 $G_{K,S}$ 的结构性质，提供了依赖于基域算术性质及集合 $S$ 的更精细的表示界限。最后，本文通过展示在缺乏 $p$-进分歧的情况下维度猜想会失效，解决了变形理论中的一个特定开放问题，从而强化了 Mazur 猜想中原始条件的必要性。其结果推广了泰特的经典公式，并为在更广泛的语境下分析伽罗瓦群和变形环提供了框架。