Purity in the tame cohomology

技術的要約：テーム・コホモロジーにおける純粋性

問題提起
本論文は、標数 $p$ のスキーム上のエタール位相における $p$ 捩れ層に対する絶対的コホモロジー純粋性定理の失敗に対処するものである（ガバー＝藤原の定理により、素数が $p$ と異なる係数の場合は純粋性が成立する）。具体的には、対数ド・ラム＝ウィット層 $\nu_{m}(n)$ において、エタール位相では純粋性が成立しない。特に、余次元 $r$ の正則なペア $(X, Z)$ に対して、高次直接像 $R^{r+1}i_!\nu_{X,m}(n)$ が必ずしも消滅せず、これが純粋性同型 $Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$ の存在を妨げている。この障害は、野生分岐の存在により、エタール位相において逆カルティエ演算子（またはアルチン・シュライヤー写像）が全射にならないことに起因する。

手法
著者である Amine Koubaa は、フレームワークをエタール位相から、Hübner と Stalder によって導入された**テーム位相（tame topology）**へと移行させることで、この障害を解決する。その手法は、以下の構造的構成要素に基づいている：

1. アディック空間と離散環付き空間： 論文では、テーム分岐が良好に振る舞う幾何学的設定を提供するために、離散環付きアディック空間 $X = \text{Spa}(X, S)$ を利用する。証明は、スキームのテーム・コホモロジーと、それに関連するアディック空間のコホモロジーとの間の同値性に依拠している。
2. 対数幾何学と微分形式： 中心的な技術的ツールは、対数微分形式の層である。著者は、ケーラー半ノルムと「レンジャー（ranger）」（Hübner と Temkin による概念）を通じて定義される、有界な評価値を持つ微分を捉える層 $\Omega^+_{X/k}$ を導入し、分析する。
3. 特異点解消： 証明は、特異点解消および埋め込み特異点解消（特に対数滑らかなスキームに対して）の存在を仮定している。これにより、一般的なケースを、境界が単純正規交差因子である対数滑らかなペア $(X, \bar{X})$ へと簡約することが可能になる。
4. カルティエ演算子： 閉微分形式の層 $Z\Omega^+$ 上のカルティエ演算子 $C$ を含む完全列の厳密性を確立することが極めて重要なステップである。テーム位相においては、エタール位相では野生分岐のために失敗していた逆カルティエ演算子が全射となる。
5. ポペスクの定理： 完全体上の滑らかなスキームの結果を、任意の標数 $p$ の基底上の正則なペアへと拡張するために、論文では、正則代数を滑らかな代数のフィルタリングされた余積として表現するポペスクの定理を用いている。

主要な貢献と結果

• テーム・コホモロジーにおける純粋性定理 (Theorem 1.3 & 5.9)： 主要な結果は、標数 $p$ の完全体 $k$ 上の純余次元 $r$ の滑らかなペア $(X, Z)$ に対して、テーム層の導来圏において自然な同型
  $$Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$$
  が存在することを確立している。これは特異点解消の仮定の下で成立する。この同型は、ギゼンの射（Gysin morphism）を通じて構成される。

• カルティエ完全列の厳密性 (Theorem 4.27)： 論文は、離散環付きアディック空間上で、
  $$0 \to \nu(n) \to Z\Omega^+_{X/k} \xrightarrow{C^{-1}} \Omega^+_{X/k} \to 0$$
  という列がテーム位相において完全であることを証明している。この厳密性が、純粋性を回復させるメカニズムであり、障害項 $R^{r+1}i_!$ の消滅を保証するものである。

• ギゼン射の構成 (Section 5.1)： 著者は $\Omega^+_{n}$ のためのギゼン射を構成し、それを対数ド・ラム＝ウィット層 $\nu_{m}(n)$ へと拡張する。これには、高次直接像 $R^ji_!\Omega^+_{n}$ が $j \neq r$ に対して消滅すること、および $R^ri_!\Omega^+_{n} \cong \Omega^+_{n-r}[-r]$ であることを証明することが含まれる。

• 正則なペアへの一般化 (Theorem 5.15)： ポペスクの定理を用いることで、純粋性の結果を、完全体上の滑らかなペアから、標数 $p$ の基底スキーム $S$ 上の正則なペア $(X, Z)$ へと一般化している。結果は、導来圏 $D((Z/S)_t)$ において
  $$Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$$
  となる。

• エタール・コホモロジーとの比較 (Proposition 5.10)： 論文は、テームの結果とエタール位相の結果の関係を明確にしている。それは、テームの純粋性同型こそが「正しい」バージョンであり、エタールにおける純粋性の失敗は、カルティエ演算子の野生分岐の存在下での非全射性に起因することを示している。エタール直接像のテーム層化は、テームの結果を回収する。

意義と主張
本論文は、テーム位相を利用することで、正標数における対数ド・ラム＝ウィット層の純粋性の問題に対する完全な解決策を提供すると主張している。

• 純粋性の回復： エタール位相における純粋性の障害（$R^{r+1}i_!$ の非消滅）は、野生分岐による人工的なものであり、テーム位相ではそれが排除されることを示している。
• 方法論的前進： アディック空間（特に離散環付きのもの）の理論を対数幾何学およびカルティエ演算子と統合することにより、古典的なエタール手法が失敗する $p$ 捩れ係数を扱うための堅牢な枠組みを提供している。
• 既知の結果との整合性： 結果は、ミルンやグロスの半純粋性定理を一般化しており、素数が $p$ と異なる係数の絶対的純粋性定理とも一致している。
• 仮定に関する謙抑性： 著者は、結果が特異点解消の仮定に依存していることを明示している。論文では、特異点解消に頼らずに $\Omega^+$ 上のカルティエ演算子の存在を実現することを目指した今後の課題についても言及されている。

要約すれば、本論文は「純粋性はテーム位相において成立する」ことを確立しており、対数ド・ラム＝ウィート層のコンパクト台付き直接像に関する自然な同型を提供することで、標数 $p$ のスキームのコホモロジーにおける長年の問題を解決している。