Une conjecture $C_{\rm st}$ pour la cohomologie à support compact

この論文は、Fargues-Fontaine 曲線上の解析関数環 $\mathbf{B}$ に対して $p$ 進的な $\log p$ や $\log 2\pi i$ の類似項を追加することで、そのガロアコホモロジーが 1 次以上で消滅することを示し、これにより $p$ 進解析多様体のコンパクト台コホモロジーに対する $C_{\rm dR}$ および $C_{\rm st}$ 型の予想を定式化可能にしたことを述べています。

要約

1. 背景：「ノイズ」に埋もれたメッセージ

まず、この研究の舞台は**「Fargues-Fontaine 曲線（ファルガス＝フォンテーヌ曲線）」という、現代数学が作り出した不思議な「空間」です。
この空間には、数学的な「メッセージ（コホモロジーという情報）」が詰まっています。このメッセージを解読しようとするとき、研究者たちは「ガロア群（Galois group）」**という、空間を回転させたり変形させたりする「魔法の操作」を使います。

• 比喩：
  想像してください。あなたが静かな部屋で、遠くから聞こえてくる「美しい音楽（数学的な真理）」を聴こうとしています。
  しかし、その部屋には**「不快な雑音（ガロアコホモロジー）」**が常に鳴り響いています。
  • 音楽を聴こうとしても、雑音のせいで「本当の音がどこから来ているか」がわからなくなってしまうのです。
  • 特に、**「コンパクトな支持（compact support）」**という、ある特定の条件（例えば、空間の端まで音が届かないように制限する）で音楽を聴こうとすると、この雑音が非常に邪魔をして、正しい答えが全く出てきませんでした。

2. 問題：なぜ雑音が消えないのか？

これまでの研究（Colmez と Nizioł による以前の論文など）では、この「雑音」を消す方法が、ある特定の条件下（空間が「コンパクト」な場合）では見つかりました。しかし、**「コンパクトではない（端まで音が広がる）場合」**には、雑音が消えずに、間違った答えが出てきてしまうという問題がありました。

• 問題の本質：
  雑音の正体は、**「log p（対数）」や「log 2πi（円周率の対数）」**のような、数学的に特別な数（周期）に関連するものです。
  これらが存在するせいで、ガロア操作（魔法）をかけたときに、余計な「残響（高次コホモロジー）」が生まれてしまい、本当のメッセージが埋もれてしまうのです。

3. 解決策：「新しい耳」を装着する

この論文の画期的な発見は、**「雑音を消すために、あえて新しい『耳』を追加する」**という逆転の発想です。

• 新しい耳とは？
  著者たちは、**「p 進数の世界における『log 2πi』に相当する新しい数（log t や log ˜p）」を、既存の数学の道具（BdR や Bst という環）に「追加」しました。
  これを「対数（logarithm）」**と呼びます。

• どうやって雑音が消えるのか？
  通常、この「log」を追加すると、数学の世界はもっと複雑になりそうに思えます。しかし、不思議なことに、この特定の「log」を追加することで、**「余計な雑音（1 次以上のコホモロジー）が完全にゼロになってしまう」**のです。

  • 比喩：
    ノイズキャンセリングヘッドホンを想像してください。
    耳に「逆位相の音（新しい log）」を流し込むと、元の不快な雑音が打ち消されて、**「完全な静寂」**になります。
    この論文は、「Fargues-Fontaine 曲線」という空間のノイズを消すための、究極のノイズキャンセリング技術を開発したと言えます。

4. 結果：新しい「レシピ」の完成

この「ノイズ消去技術」が完成したおかげで、研究者たちは**「コンパクトな支持を持つ空間」**に対しても、以前からあった「美しい音楽（コホモロジー）」を解読する新しいレシピ（予想）を提案できるようになりました。

• CdR 予想と Cst 予想：
  これらは、異なる種類の数学的な「言語（デ・ラームコホモロジーや Hyodo-Kato コホモロジー）」と、「p 進数の言語（ガロアコホモロジー）」を翻訳する辞書のようなものです。
  これまで、この辞書は「コンパクトな空間」には使えましたが、「コンパクトでない空間」には使えませんでした。
  しかし、今回の「log を追加してノイズを消す」方法によって、「コンパクトでない空間」に対しても、この辞書が使えるようになったのです。

まとめ：この論文が何を言ったのか

1. 問題： p 進数の幾何学において、特定の条件（コンパクトな支持）で情報を得ようとしたとき、邪魔な「数学的雑音」が邪魔をして、正しい答えが出なかった。
2. 解決： 「log p」や「log 2πi」のような特別な数を、あえて新しい形（log t など）で追加することで、その雑音を完全に消し去ることができた。
3. 意義： これにより、これまで解けなかった「コンパクトな支持を持つ空間」の数学的な性質を、新しい形で記述する「予想（Conjecture）」を立てることが可能になった。

一言で言えば：
「数学の雑音を消すための『魔法の対数』を見つけたので、これまで聞こえなかった『p 進数の音楽』を、どんな形（コンパクトかどうか）の空間でも聴けるようになったよ！」という論文です。

この発見は、数論と幾何学を結びつける「p 進ホッジ理論」という大きなパズルの、最後のピースを埋める重要な一歩となっています。

技術概要

以下は、Pierre Colmez、Sally Gilles、Wiesława Nizioł による論文「UNE CONJECTURE Cst POUR LA COHOMOLOGIE À SUPPORT COMPACT（コンパクト台コホモロジーのための Cst 予想）」の技術的な要約です。

1. 研究の背景と問題提起

背景:
$p$-進解析多様体 $Y$ に対して、その $p$-進プロエタールコホモロジー $H^n_{\text{pro\'et}}(Y_{\mathbb{C}_p}, \mathbb{Q}_p)$ から、de Rham コホモロジー $H^n_{\text{dR}}(Y)$ や Hyodo-Kato コホモロジー $H^n_{\text{HK}}(Y)$ を復元するための「比較同型」が、$Y$ が**完全固有（proper）**な場合に $C_{\text{dR}}$ 予想および $C_{\text{st}}$ 予想（Colmez-Nizioł）によって確立されています。これらは、周期環 $B_{\text{dR}}$ や $B_{\text{st}}$ に対するガロア不変量（$\text{Hom}_{G_K}$）を通じて記述されます。

問題点:
しかし、この構成法は**コンパクト台コホモロジー（cohomology with compact support）**に対しては直接適用できません。

1. 導来 Hom の必要性: 固有でない場合、単純な $\text{Hom}$ ではなく、導来関手 $\text{RHom}$ を用いる必要があります。
2. 余剰項の発生: $B_{\text{dR}}$ や $B_{\text{st}}$ 自体のガロアコホモロジー（特に次数 $\ge 1$）がゼロでないため、\text{RHom を計算すると、本来の幾何学的コホモロジーとは無関係な「余剰項（parasitic terms）」が現れてしまいます。具体的には、$H^1(G_K, B_{\text{dR}}) \cong K \cdot \log \chi_{\text{cycl}}$ などの項が邪魔をします。

目的:
コンパクト台コホモロジーに対しても同様の比較予想を定式化するためには、周期環 $B_{\text{dR}}$ および Fargues-Fontaine 曲線に関連する環 $B$ のガロアコホモロジーを、次数 $\ge 1$ で**自明化（殺す）**する必要があります。

2. 手法と主要な構成

著者らは、周期環に「対数項」を追加することで、ガロアコホモロジーを消去する手法を提案しています。

A. $B_{\text{dR}}$ の場合（既知の事実の再確認）

• 構成: 環 $B_{\text{dR}}$ に、Fontaine の $p$-進対数 $\log t$（ここで $t$ は $2\pi i$のアナログ）を追加した環$B_{\text{dR}}[\log t]$ を考えます。
• 作用: ガロア群 $G_K$ の作用を $\sigma(\log t) = \log t + \log \chi_{\text{cycl}}(\sigma)$ と定義します。
• 結果: この拡張により、$H^i(G_K, B_{\text{dR}}[\log t]) = 0$ ($i \ge 1$) となります。これは $B_{\text{dR}}$ のフィルトレーションと Tate の $C(j)$ に関するコホモロジー計算から導かれます。

B. Fargues-Fontaine 曲線 $Y_{\text{FF}}$ 上の環 $B$ の場合（新規の貢献）

• 対象: $Y_{\text{FF}}$ 上の解析関数環 $B = \mathcal{O}(Y_{\text{FF}})$。これは $B_{\text{st}}$ のアナログと見なせます。
• 課題: $B$ のガロアコホモロジーは $B_{\text{dR}}$ とは異なり、単純な対数追加では消去できません。特に $H^1(G_K, B)$ には $K$-ベクトル空間としての非自明な部分が存在します。
• 解決策:
  1. 対数 $\log \tilde{p}$ の追加: $\tilde{p} = [p^\flat]$ に対応する対数 $\log \tilde{p}$ を導入し、$\varphi(\log \tilde{p}) = p \log \tilde{p}$ および $\sigma(\log \tilde{p}) = \log \tilde{p} + \text{Kummer}(\sigma) \cdot t$ となるように作用を定義します。
  2. 対数 $\log t$ の追加: 前述の $B_{\text{dR}}$ の場合と同様に $\log t$ も追加します。
  3. 環の定義: $B_{\text{FF}}^+ = B[\log \tilde{p}]$、$B_{\text{FF}} = B_{\text{FF}}^+[1/t]$、さらに $\log t$ を追加した $B_{p\text{FF}}$ などを定義します。
• 技術的ポイント:
  • $B/tB$ が $\prod_{n \in \mathbb{Z}} \mathbb{C}$ と同型であるという構造（Lemma 2.1）を利用します。
  • 多項式環 $B[\log \tilde{p}, \log t]_{\le k}$ に対する帰納法を用いて、次数 $\ge 1$ のコホモロジーがすべて消滅することを証明します（Lemma 2.11）。
  • 特に、$H^1(G_K, B)$ における非自明なクラス（Kummer 類）が、$\log \tilde{p}$ の追加によって自明化されることを示しています。

3. 主要な結果

1. ガロアコホモロジーの消滅定理（Theorem 1.4, 2.4）:

   • $B_{\text{dR}}$ および $B_{\text{st}}$ のアナログである環 $B$ に対して、適切な対数（$\log t$ および $\log \tilde{p}$）を追加した環 $\Lambda$ について、
     $$H^i(G_K, \Lambda) = 0 \quad (\text{for } i \ge 1)$$
     が成り立ちます。
   • これは、$B_{\text{dR}}$ については既知の事実（Folklore）ですが、$B$（Fargues-Fontaine 曲線の関数環）に対しては画期的な結果です。

2. コンパクト台コホモロジーへの $C_{\text{dR}}$ および $C_{\text{st}}$ 予想の定式化（Conjecture 3.1）:

   • 上記の消滅定理を用いることで、コンパクト台を持つ部分固有（partially proper）な $p$-進解析多様体 $Y$ に対して、以下の自然な同型を予想として提示しました。
     • $C_{\text{dR}}$ 型:
       $$R\Gamma_{\text{dR}}(Y) \simeq R\text{Hom}_{G_K}(R\Gamma_{\text{pro\'et}, c}(Y_{\mathbb{C}_p}, \mathbb{Q}_p(d))[2d], B_{p\text{dR}})$$
     • $C_{\text{st}}$ 型:
       $$R\Gamma_{\text{HK}}(Y) \simeq \varinjlim_{[L:K]<\infty} R\text{Hom}_{GL}(R\Gamma_{\text{pro\'et}, c}(Y_{\mathbb{C}_p}, \mathbb{Q}_p(d))[2d], B_{p\text{FF}})$$
   • ここで、$B_{p\text{dR}} = B_{\text{dR}}[\log t]$、$B_{p\text{FF}} = B[\log \tilde{p}, \log t][1/t]$ です。
   • この定式化において、$\text{Hom}$ を $\text{RHom}$ に置き換え、かつ周期環を対数拡張した環にすることで、余剰項が除去され、正しい幾何学的コホモロジーが得られることが保証されます。

4. 意義と結論

• 理論的統合: この論文は、固有な場合の $p$-進ホッジ理論の比較同型を、コンパクト台を持つ非固有な場合にまで拡張するための重要な一歩です。
• 技術的革新: Fargues-Fontaine 曲線の関数環 $B$ において、ガロアコホモロジーを対数項の追加によって完全に消去できることを示したのは驚くべき結果です（Remark 2.5 では、$B_{\text{cris}}$ や $B_{\text{rig}}$ に対しては同様の操作が有限個の元では不可能である可能性が示唆されています）。
• 今後の展望: 定式化された予想（Conjecture 3.1）は、$p$-進解析幾何におけるコホモロジー理論の完全な記述を目指す上で中心的な役割を果たすと考えられます。特に、固有でない多様体（例えばアフィン多様体）の $p$-進ホッジ理論を統一的に扱う枠組みを提供します。

要約すると、この論文は「コンパクト台コホモロジーの比較予想を正しく定式化するために、周期環に $p$-進対数（$\log t$ と $\log \tilde{p}$）を追加してガロアコホモロジーを自明化するという戦略」を提案し、その数学的妥当性を証明したものです。