On the locally analytic completed cohomology of modular curves

ルエ・パン（Lue Pan）による「モジュラー曲線の局所解析的完備コホモロジーに関する研究」の論文の技術的サマリーを以下に記します。

1. 研究の背景と問題設定

$p$ を素数とする。Emerton は、$p$-進自己同型形式の空間の適切な代替物として「（$p$-進的に）完備化されたコホモロジー（completed cohomology）」$\tilde{H}^i(K_p)$ を導入しました。これは、モジュラー曲線の有限レベルのコホモロジーを $p$-進的に完備化し、$K_p$ 上の開部分群に対して極限をとったものです。

この空間は、$GL_2(\mathbb{Q}_p)$ の作用、ヘッケ代数の作用、そして絶対ガロア群 $G_{\mathbb{Q}}$ の作用を持ちます。核心的な問題は、これら 3 つの対称性（特に $GL_2(\mathbb{Q}_p)$ と $G_{\mathbb{Q}_p}$ の作用）がどのように相互作用するかを理解することです。Emerton はこれを $p$-進局所ラングランズ対応と関連付けて研究しましたが、パンの論文では、Scholze によって導入された「無限レベルにおける $p$-進幾何学」を用いた新しいアプローチが提示されています。

2. 方法論：相対的 Sen 理論と局所化

本研究の中心的な手法は、Scholze の無限レベルのモジュラー曲線（完全幾何空間）の幾何学的構造と、Sen 理論（およびその一般化）の融合にあります。

• 相対的・幾何学的 Sen 理論の適用:
  従来の Sen 理論は $p$-進ガロア表現に対して定義されていましたが、著者はこれを滑らかなリジッド解析多様体のプロ・エタール位相上の局所系に対して拡張しました（「相対的 Sen 理論」）。これにより、局所系 $V$ に対して、Higgs 場 $\theta_V$ が定義されます。これは、局所解析的関数に対する「$p$-進コーシー・リーマン方程式」と見なすことができます。
• 局所化（Localization）:
  Scholze の Hodge-Tate 周期写像 $\pi_{HT}: \mathcal{X}_{K_p} \to \mathcal{F}\ell = \mathbb{P}^1$ を用いて、完備化されたコホモロジーの局所解析的ベクトル部分 $\tilde{H}^i(K_p)^{la}$ を、旗多様体 $\mathbb{P}^1$ 上の特定の D-加群（あるいはその類似物）の層 $O_{la}$ のコホモロジーとして「局所化」します。
  具体的には、$\tilde{H}^i(K_p)^{la} \hat{\otimes} \mathbb{Q}_p \mathbb{C} \cong H^i(\mathbb{P}^1, O_{la})$ という同型が得られます。ここで $O_{la}$ は $GL_2(\mathbb{Q}_p)$ によって局所解析的に作用する部分層です。

3. 主要な結果

3.1. Hodge-Tate 構造と Sen 作用素

• Sen 作用素の幾何学的解釈:
  旗多様体上の層 $O_{la}$ に対する Lie 代数 $\mathfrak{h}$（対角部分）の作用 $\theta_h$ が、完備化されたコホモロジー上の Sen 作用素と一致することを示しました（定理 2.13）。これにより、無限小指標（infinitesimal characters）と Hodge-Tate 重みの間の密接な関係が $p$-進 Hodge 理論の観点から明確になりました。
• 過収束モジュラー形式との関係:
  重み $k$ の局所解析的完備コホモロジーの成分を、古典的モジュラー形式と過収束モジュラー形式（overconvergent modular forms）を用いて分解しました（定理 3.1）。
  • 正則な重み（$k \neq 1$）の場合、コホモロジーは $N_{k,1}$ と過収束モジュラー形式 $M^\dagger_{2-k}$ の直和として分解されます。
  • 重み $k=1$ の場合、分解は存在しませんが、Cousin 複体（Boxer-Pilloni）の連接写像が Sen 作用素によって記述されることが示されました（定理 3.4）。
• Gouvêa 予想の証明:
  重み $k$ の過収束モジュラー形式に現れるヘッケ固有値系 $\lambda$ に対応するガロア表現 $\rho_\lambda$ が、Hodge-Tate-Sen 重み $0, k-1$ を持つことを示し、その逆も一定の条件下で成り立つことを証明しました（定理 3.2）。これは Gouvêa の予想を肯定するものです。

3.2. de Rham 構造と Fontaine 作用素

• Fontaine 作用素の幾何学的記述:
  Hodge-Tate 構造に加え、de Rham 構造を調べるために「Fontaine 作用素」$N$ を導入しました。これは、Hodge-Tate 重みが異なる部分空間間の写像であり、de Rham 表現であるかどうかを判定する鍵となります。
  著者は、この作用素 $N$ が、旗多様体上の層 $O_{la}$ に対する微分作用素の合成（Kodaira-Spencer 同型を用いたもの）として幾何学的に記述できることを示しました（定理 4.3）。具体的には、$N \sim H^1(\bar{d}_1 \circ d_1)$ のような形になります。
• 古典性の定理（Classicality）の再証明:
  de Rham 表現の条件（Hodge-Tate 重み $0, k$）を満たすガロア表現は、重み $k+1$ の尖点形式から生じること（Emerton による古典性定理）を、$p$-進局所ラングランズ対応の使用を避け、純粋に幾何学的な手法（Jacquet-Langlands 転送と Fontaine 作用素の性質）で再証明しました（定理 4.7）。
• $p$-進局所ラングランズ対応への貢献:
  特定のガロア表現 $\rho$ に対応する $GL_2(\mathbb{Q}_p)$ の局所解析的表現 $\Pi_{la}$ を、旗多様体の部分集合（Strata）上の等変局所系のコホモロジーとして構成しました。
  • 超既約表現（supercuspidal）の場合：Drinfeld 上半平面 $\Omega$ 上の局所系を用いた構成。
  • 主系列表現（principal series）の場合：$P^1$ 上の局所系を用いた構成。
    これらは、Breuil-Strauch や Berger-Breuil などの予想を幾何学的に解決するものであり、$p$-進局所ラングランズ対応における表現の具体的な構造を明らかにします（定理 4.10, 4.12）。

4. 意義と貢献

この論文の主な貢献と意義は以下の点に集約されます。

1. 新しいアプローチの確立:
   Emerton の従来の手法（$p$-進局所ラングランズ対応の深い結果に依存する）とは異なり、Scholze の完全幾何学と Sen 理論を組み合わせることで、完備化されたコホモロジーの構造を「局所化」し、旗多様体上の幾何学的対象として記述することに成功しました。
2. Hodge 理論と表現論の統合:
   Sen 作用素や Fontaine 作用素といった $p$-進 Hodge 理論の核心的な演算子を、旗多様体上の微分作用素（Higgs 場や微分形式）として具体的に記述しました。これにより、ガロア表現の性質（Hodge-Tate 重み、de Rham 性など）と、モジュラー形式や局所表現の性質を直接結びつけることが可能になりました。
3. 古典性定理の拡張と一般化:
   重み 1 の場合を含む古典性定理を証明し、また、$p$ で分岐する除算代数上の Shimura 曲線など、従来のコホモロジーでは現れないガロア表現に対しても同様の結果が得られることを示しました。
4. $p$-進局所ラングランズ対応への洞察:
   旗多様体の異なる部分（Strata）から局所解析的表現が構成されるという統一的な視点を提供し、$p$-進群の表現論における「局所化」の理論（Ardakov の理論など）との関係性にも新たな光を当てています。

総じて、この研究は $p$-進数論、代数幾何、表現論の交差点において、完備化されたコホモロジーの構造を解明するための強力な新しい枠組みを提供し、Fontaine-Mazur 予想や $p$-進局所ラングランズ対応の理解を大幅に前進させたものです。