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

技術要約：ガロア・コホモロジーにおける第2部分グローバル・オイラー・ポアンカレ特性について

問題提起
本論文は、数体におけるガロア・コホモロジー論の根本的な欠落に対処するものである。$K$ を数体とし、$S$ をすべてのアルキメデス型素数を含む有限個の素数の集合とする。$G_{K,S}$ を、$S$ の外で不分岐な $K$ の最大拡大のガロア群とする。有限離散 $G_{K,S}$-加群 $M$ に対して、第2部分オイラー・ポアンカレ特性は次のように定義される：
$$\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]$ を割り切るすべての素数を含んでいる場合）において、$\chi_2$ の明示的な評価を与える。本研究で調査される中心的な問題は、$[M]$ が $S$-単元ではない場合に、$\chi_2(G_{K,S}, M)$ をどのように計算するかである。具体的には、この特性の正確な値または最適な境界を決定し、標準的な公式が成立しなくなる条件、あるいは修正が必要となる条件を明らかにすることを目的としている。

手法
著者は、エタール・コホモロジー、類体論、およびプロ有限群論を統合することで、この問題の解決を図っている。その手法は以下のステップで進行する：

1. エタール・コホモロジーとの比較： 本論文は、ガロア・コホモロジー群 $H^i(G_{K,S}, M)$ と、整環の $S$-整数環のアフィン・スキームのエタール・コホモロジー群 $H^i_{\text{ét}}(\text{Spec}(\mathcal{O}_{K,S}), M)$ との間の比較を確立する。著者は、ホッチシルト・セレー・スペクトル系列を用いて、エッジ準同型 $\phi_i: H^i(G_{K,S}, M) \to H^i_{\text{ét}}(\text{Spec}(\mathcal{O}_{K,S}), M)$ を分析する。
2. エタール不変量の正確な計算： 著者は、エタール・コホモロジー群に対する第2部分オイラー・ポアンカレ特性 $\chi_2(\text{Spec}(\mathcal{O}_{K,S}), M)$ を計算する。これには、コンパクト支持を持つコホモロジーと標準的なコホモロジーを関連付ける長完全列を利用すること、およびアルティン・ヴェルディエ・双対性を適用することが含まれる。重要な構成要素は、コンパクト支持を持つ第3コホモロジー群 $H^3_c(U, M)$ の正確な計算であり、これはカルティエ双対加群 $(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)$-アーベル指数群の基準を用いる。また、コホモロジー的な境界は、マズルの次元予想の文脈における普遍変形環のクラルディ限度に対して適用される。

主要な貢献および結果

• 一般化された公式 (定理 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)： 本論文は、生成元の最小数 $d(G_{K,S})$ に対する関係式の最小数 $r(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)： 本論文は、$[M]$ の位数が $p$ の上の素数を含むという条件なしに、普遍変形環のクラルディ限度が $h^1 - h^2$ に等しいと仮定するマズルの次元予想（予想 1.6）の拡張に対する反例を構築する。著者は、$S \cap S_p = \emptyset$ である場合、$h^1 - h^2 < 0$ となるような有限な $S$ の拡張を見つけることができ、それによって予想を覆すことを証明する。これは、不分岐なフォンタイヌ・マズルの予想と矛盾しないことが示されている。

意義
本論文は、加群の位数が $S$-単元ではない一般的なケースにおいて、第2部分オイラー・ポアンカレ特性の「最適な上界」を提供することで意義を主張している。ガロア・コホモロジーとエタール・コホモロジーの間の溝を埋めることにより、分岐する素数の集合を制御することで、これらの不変量を計算するための精密なメカニズムを提供している。

さらに、本研究はガロア群 $G_{K,S}$ の構造的性質を明らかにし、基底体および集合 $S$ の算術に明示的に依存する、そのプレゼンテーションに関する洗練された境界を提示している。最後に、本論文は、変形理論に関する特定の未解決問題を解決し、$p$ 進的分岐がない場合に次元予想が失敗することを実証することで、マズルの予想における元の条件の必要性を強化している。これらの結果は、テイトの古典的な公式を一般化し、より広い文脈でガロア群や変形環を分析するための枠組みを提供するものである。