$\mathbb{G}_m$-cohomology of $p$-adic Stein spaces

技術的概要：$p$ 進シュタイン空間の $G_m$ コホモロジー

問題設定
本論文は、特性 0 の完備な代数的閉体 $C$（$\mathbb{Q}_p$ を含む）上の滑らかなシュタイン空間 $X$ に対するエタールコホモロジー群 $H^i_{\text{ét}}(X, \mathbb{G}_m)$ の計算に取り組む。$\mathbb{G}_m$ のコホモロジーは代数スキームに対してはよく理解されており（グロテンディークの定理により、次数 $i \ge 2$ でねじれとなる）、解析的な場合には重大な課題が存在する。解析的な設定では、コホモロジー群は必ずしもねじれとはならず、$\mathbb{G}_m$ を点からの押し出しに関連付けるなどの標準的な代数的手法は失敗する。著者らは、構造フィルトレーションを確立し、その階付き成分を計算することにより、古典的な剛解析空間、具体的にはアフィン空間 $\mathbb{A}^d$、トーラス $\mathbb{G}_m^d$、およびドリンフェルト対称空間 $\mathbb{H}^d$ に対してこれらの群を記述することを目的としている。

手法
著者らは、$p$ 進ホッジ理論、シュタイン被覆上での極限議論、およびブルワット・ティス建屋における組合せ論的手法を組み合わせた多段階戦略を採用している。

1. 主単位によるフィルトレーション: 中核となる戦略は、主単位 $U = 1 + \mathfrak{m}\mathcal{O}^+$ の部分群を用いて $\mathbb{G}_m$ を分解することである。これにより、$1 \to U \to \mathbb{G}_m \to \mathcal{O}^\times \to 1$ という完全列が得られ、ここで $\mathcal{O}^\times = \mathbb{G}_m/U$ である。これは、$U$ と $\mathcal{O}^\times$ のコホモロジーに関連する階付き成分を持つ $H^i_{\text{ét}}(X, \mathbb{G}_m)$ 上のフィルトレーションを誘起する。
2. ねじれ部分の分離: 著者らはコホモロジーの $p$ 部分と $p$ と互いに素な部分（$p'$ 部分）を区別する。
   • $p$ 部分は対数写像と指数写像を通じて解析され、$U$ を構造層 $\mathcal{O}$ に関連付ける。これにより、問題はコヒーレントコホモロジーおよびホッジ・テート対数写像に関連付けられる。
   • $p'$ 部分はクマー完全列を通じて解析され、$\mathcal{O}^\times$ を $p$ 以外の素数 $\ell$ に対する $\ell$ 進コホモロジーに関連付ける。
3. プロ・エタールサイトとホッジ・テート同型: $p$ 部分を扱うために、著者らはプロ・エタールサイト $X_{\text{proét}}$ と標準射影 $\nu: X_{\text{proét}} \to X_{\text{ét}}$ を利用する。彼らはホッジ・テート同型（シュルツェ）およびブロホ・カト指数写像（コルメス・ドスピネスク・ニジオール）を用いて、プロ・エタールコホモロジーを微分形式 $\Omega^i_X$ に関連付ける。
4. 極限議論と平坦性: シュタイン空間はアフィノイド空間 $X_n$ の極限であるため、著者らは導来極限形式論（$R\lim$）を用いて、アフィノイドのコホモロジーからシュタイン空間へ移行する。重要な技術的要件は、シュタイン被覆に対する $\ell$ 進コホモロジー群の射影系における移行写像の平坦性である。
5. 組合せ幾何学: ドリンフェルト対称空間については、著者らは de Shalit および Schneider-Stuhler の議論を適応させる。彼らはブルワット・ティス建屋の幾何学、特に特定の部分複体（組合せ計量における球）の凸性を利用し、係数系に対する必要な平坦性と非特異性（acyclicity）の性質を証明する。

主要な貢献と結果

• フィルトレーションの構成: 本論文は、任意の滑らかなシュタイン空間 $X$ のコホモロジーに対するフィルトレーション $F^{(i)}_{\text{ét}, \mathbb{G}_m}(X)$ を構成する。階付き成分は以下の通り同定される。

  • $gr_0$: ホッジ・テート対数の余核に関連し、$\Omega^{i-1}(X)(1-i)/\text{Ker}(d)$ と同定される。
  • $gr_1$: ホッジ・テート対数の核に関連し、Hyodo-Kato コホモロジー $HK^i(X)$ とプロ・エタールコホモロジーを含む商として同定される。
  • $gr_2$: $p'$ ねじれに関連し、$\ell \neq p$ に対する $\ell$ 進コホモロジー群の完備化された直和として同定される。

• 古典的空間に対する明示的計算: 特定の技術的仮定（アフィノイド上の $\mathcal{O}^\times$ コホモロジーのねじれ、$\ell$ 進コホモロジーの平坦性、および Hyodo-Kato コホモロジーへの写像の単射性）の下で、著者らは以下の空間に対する階付き成分を計算する。

  • アフィン空間 $\mathbb{A}^d$: コホモロジーは微分形式の観点から記述される。
  • トーラス $\mathbb{G}_m^d$: 階付き成分は $\mathbb{Q}_p$ と $\mathbb{Q}_\ell$ の外積を含む。
  • ドリンフェルト対称空間 $\mathbb{H}^d$: 階付き成分は一般化されたスタインバーグ表現 $Sp_i(\cdot)^*$ およびその双対の観点から表現される。具体的には、$gr_1$ は $Sp_i(\mathbb{Q}_p)^*/Sp_i(\mathbb{Z}_p)^*$ を含み、$gr_2$ は $\ell \neq p$ に対する同様の構造の和を含む。

• ねじれと平坦性の結果:

  • 著者らは、閉球、閉円環、およびドリンフェルト空間の標準的なシュタイン被覆開集合 $U_n$ に対して、$i \ge 2$ において群 $H^i_{\text{ét}}(X, \mathcal{O}^\times)$ がねじれであることを証明する。
  • 彼らは、$\ell \neq p$ に対して $H^i_{\text{ét}}(U_n, \mathbb{Z}/\ell^n\mathbb{Z})$ が $\mathbb{Z}/\ell^n\mathbb{Z}$ 上で平坦であることを確立する。これは、ブルワット・ティス建屋上の係数系の非特異性に依存する、ドリンフェルト空間にとって非自明な結果である。

意義と主張
本論文は、$p$ 進シュタイン空間の重要なクラスに対する $\mathbb{G}_m$ コホモロジーの完全な記述を提供し、既知の代数の場合の結果を解析的な設定に拡張すると主張している。著者らは、彼らの戦略が $p$ ねじれ（$p$ 進ホッジ理論を通じて）と $p$ と互いに素なねじれ（$\ell$ 進コホモロジーを通じて）の扱いを統一していると強調している。

この研究は、アフィン空間に対する以前の計算（Ertl, Gilles, Nizioł による）をトーラスおよびドリンフェルト対称空間に一般化するものである。重要な主張として、ドリンフェルト対称空間は複雑さにもかかわらず、この明示的なフィルトレーションを可能にするための必要な技術的条件（$\mathcal{O}^\times$ のねじれおよび $\ell$ 進コホモロジーの平坦性）を満たしていることが挙げられる。著者らは、結果がブルワット・ティス建屋の深い性質および特定の係数系の非特異性に依存しており、剛解析幾何学と表現論を架け渡ししていると指摘している。

本論文は、すべての滑らかなシュタイン空間に対して問題を解決するものではなく、コホモロジーがねじれでありフィルトレーションが明示的となる「十分に大きなクラス」（主要な関心対象の例を含む）を特定するものである。著者らは、一般的な場合が極限議論における特異性を避けるためにさらなる条件を必要とし、それらが彼らの具体的な例に対して検証されていることを認めている。