Cohomological Obstructions for Varieties over $p$-adic Function Fields

技術要約：p進関数体上の多様体におけるコホモロジー的障害

問題設定
本論文は、$p$進関数体（$p$進体上の滑らかな射影曲線上の関数体）上で定義された滑らかな整的多様体の算術を扱う。具体的には、局所・大域原理および弱近似に対する障害を調査している。ブラー・マニン障害（Brauer–Manin obstruction）は数体上ではよく理解されているが、本論文は$p$進関数体上における体系的な障害理論の確立を目指している。中心となる問いは、算術的双対性から生じる「最も精緻な」障害を特定すること、および、非分岐コホモロジー的障害が古典的なマニン障害（$H^3_{\text{ét}}$によるもの）や降下（descent）による障害よりも強い制約を与えるかどうかを決定することである。

手法
著者は、エタール・コホモロジー、モチーフ的複体、および算術的双対理論を組み合わせて用いる。

1. コホモロジー的枠組み： 本研究では、エタール層 $\mathbb{Q}/\mathbb{Z}(2)$ およびモチーフ的複体 $\mathbb{Z}(2)$ を利用する。論文では、アデール点 $X(\mathbb{A})$ とコホモロジー群とのペアリング、具体的には $H^3_{\text{ét}}(X, \mathbb{Q}/\mathbb{Z}(2))$ （マニン障害）および非分岐コホモロジー群 $H^3_{\text{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$ を通じて障害を定義する。
2. 関手的アプローチ： 障害は、$K$-スキームの圏から集合への反変関手を用いて構築され、評価写像によるアデール点の像と、局所・大域的な適合条件を比較する。
3. スペクトル系列： チェッホ（Čech）スペクトル系列およびホッホシルト・セールの（Hochschild–Serre）スペクトル系列を用いて、特定の幾何学的構成、特に群作用によるアフィン空間の商に関するコホモロジー群を計算する。
4. コホモロジー不変量： コホモロジー不変量の理論（特にロスト不変量（Rost invariant））を活用し、非分岐コホモロジー群を半単純連結群の不変量群と同一視する。
5. 算術的双対性： プトゥ＝テイト（Poitou–Tate）完全系列および局所不変量（$H^3(K_v, \Lambda)$ と $\mathbb{Q}/\mathbb{Z}$ の間の同型）に依拠して、完全系列および双対性を確立する。

主要な貢献と結果

• 障害の比較 (定理 1.1):
  本論文は、コホモロジー的障害の階層関係を確立する。滑らかな整的 $K$-多様体 $X$ および可換線形代数 $K$-群 $M$ に対して、以下を証明する：

  • 非分岐障害はマニン障害よりも精緻である：$X(\mathbb{A})^{H^3_{\text{nr}}} \subseteq X(\mathbb{A})^{H^3_{\text{ét}}}$。
  • 非分岐障害は、任意の $\alpha \in H^i_{\text{ét}}(X, M)$ ($i \ge 1$) から生じる障害よりも精緻である。
  • 有限な $M$ について、非分岐障害は非分岐コホモロジー類から生じる障害よりも精緻である。
  • 本論文は、非分岐障害がモチーフ的複体を経由した $H^4_{\text{ét}}(X, \mathbb{Z}(2))$ によって定義される障害と一致することを示す。

• 厳密に強い非分岐障害の存在 (定理 1.2):
  著者は、多様体 $X = Y/G$（ここで $G$ はアフィン空間の開部分集合上に自由に作用する半単純連結群）の具体的な例を構成し、以下の性質を持つことを示す：

  • マニン障害は自明である ($X(\mathbb{A})^{H^3_{\text{ét}}} = X(\mathbb{A})$)。
  • 非分岐障害は非自明である ($X(\mathbb{A})^{H^3_{\text{nr}}} \subsetneq X(\mathbb{A)}$)。
    この結果は、ロスト不変量 $R$ の性質、および $H^1(K_v, G) \neq 1$ であるがロスト核（Rost kernel）が自明であるような配置 $v$ の存在に依拠している。

• 降下による障害との関係 (定理 1.3):
  本論文は、非分岐障害と降下による障害を比較する。線形 $K$-群 $G$ が $SL_n$ に埋め込まれているとき、以下が同値であることを証明する：

  • 商 $X = SL_n/G$ 上の非分岐障害は、$SL_n(\mathbb{A})$ と有理点 $X(K)$ によって生成されるアデール点の集合と一致する。
  • 任意の滑らかな整的多様体 $Z$ および任意の $G$-ねじれ（$G$-torsor） $f: Y \to Z$ に対して、非分岐障害は降下による障害に含まれる ($Z(\mathbb{A})^{H^3_{\text{nr}}} \subseteq Z(\mathbb{A})_f$)。
    この証明には、縮約積（contracted products）およびねじれの下での非分岐コホモロジーの同型が用いられる。

意義と主張
本論文は、数体における発展と同様に、$p$進関数体における障害理論の体系的な理解を提供することを主張している。

• 障害の精緻化： この文脈において、非分岐障害が算術的双対性とブラウアー群から生じる中で最も精緻な障害であることを特定している。
• 反例： 非分岐障害がマニン障害よりも厳密に強いかどうかという問いに対し、マニン障害が局所・大全球理の失敗を検知できない一方で、非分岐障害は成功するという具体的な反例を示すことで解決している。
• モチーフとの関連： モモチーフ的複体を介して異なるコホモロジー次数（$H^3_{\text{nr}}$ 対 $H^4_{\text{ét}}$）の関係を明確にし、それらが同一の障害集合を定義することを示している。
• 限界： 本論文は、$p$進関数体におけるコットツ（Kottwitz）の完全系列の適切な一般化が欠如しているため、一般的な降下による障害との完全な比較は現在限定的であることを謙虚に述べている。

本研究は、簡約群に関する局所・大全球理に関する Harari, Scheiderer, Szamuely, Tian らによる先行研究に基づき、それらを拡張するものであり、Colliot-Thélène の予想へと繋がるものである。