Cohomologie de de Rham du revêtement modéré de l'espace de Drinfeld

技術要約：ドリンフェルト空間の第1被覆のド・ラム・コホモロジー

問題設定
本論文は、ドリンフェルト対称空間 $H^d_K$ 上のエタール被覆のドリンフェルト・タワーにおける第1被覆（$M^1_{Dr}$ と表記）のド・ラム・コホモロジーを調査している。このタワーの $\ell$ 進コホモロジー（$\ell \neq p$）は、局所ラングランズおよびジャケット・ラングランズ対応の幾何学的実現を提供することが（Harris, Taylor, Boyer 等の研究により）確立されているが、$p$ 進の場合（具体的にはド・ラム・コホモロジー）は重大な困難を伴う。主な困難は、基底空間 $M^0_{Dr}$ がデリーニュ・モデルを持つのに対し、$M^1_{Dr}$ には既知の半安定（または一般化された半安定）モデルが存在しないことにある。そのようなモデルがないため、標準的な手法（特異なファイバーと生成ファイバーの比較、例えば消滅サイクル（vanishing cycles）の研究など）をド・ラムの設定に直接適用することができない。

手法
著者は、可能な限り大域的な幾何学的議論を避け、純粋に局所的なアプローチを採用している。その手法は、以下の3つの主要な柱に基づいている。

1. 切除結果の一般化： 著者は、剛解析空間におけるコホモロジーの切除に関するグロス＝クローネ（Grosse-Klönne）の結果を拡張している。具体的には、定理Bにおいて、一般化された半安定減少を持つ形式スキーム $X$ と、端点（tame）の巡回被覆 $\pi: T \to X_\eta$ に対して、特殊ファイバーの既約成分の共通部分上のチューブのド・ラム・コホモロジーは、境界成分を除いたチューブのコホモロジーと同型であることを確立している。これにより、大域的なコホモロジー計算を特定の開集合上の局所的な計算へと還元することが可能となる。

2. 明示的な幾何学的記述： 著者自身の先行研究を利用し、第1被覆 $\Sigma_1$（$M^1_{Dr}$ に付随する解析空間）を、ドリンフェルト空間のクンマー被覆（$p$ と互いに素な次数の巡回被覆）として明示的に記述している。ブルタ・ティット・ビューイングの頂点に対応する特定の開集合において、この被覆は単項トーラス（monomial torus）の巡回被覆と同型であることが示される。

3. デリーニュ・ルスティグ多様体との比較： 著者は、ブルタ・ティット・ビューイングの頂点上の被覆の特殊ファイバーが、デリーニュ・ルスティグ多様体 $DL^d_F$ と同型であることを特定している。著者は、これらの単項トーラスの巡回被覆のド・ラム・コホモロジーを計算し、それらをデリーニュ・ルスティグ多様体のリジッド・コホモロジーに関連付けている。

主要な貢献と結果

• 定理 5.1（巡回被覆の切除）： 本論文は、一般化された半安定減少を持つ形式スキーム上の端点巡回被覆に対するド・ラム・コホモロジーに関する一般化された切除定理を証明している。この結果は、全被覆のコホモロジーを、特殊ファイバーの既約成分上の特定の「チューブ」のコホモロジーへと還元するために極めて重要である。
• 定理 5.8（単項トーラスの巡回被覆のコホモロジー）： 著者は、単項トーラスの端点巡回被覆のド・ラム・コホモロジーの明示的な記述を提供している。そのコホモロジーは、ガロア群の指標（character）に対応する同型成分へと分解され、その基底は対数微分形式によって与えられる。
• 定理 6.1（局所計算）： ガロア群 $F_{q^{d+1}}^*$ の原始的な指標 $\theta$ に対して、第1被覆のコンパクト支持ド・ラム・コホモロジーの $\theta$-同型成分は、次数 $d$ に集中している。すなわち、
  $$H^i_{dR,c}(\Sigma_1)[\theta] \cong \begin{cases} \bigoplus_{s \in BT_0} H^d_{rig,c}(DL^d_F / \breve{K})[\theta] & \text{if } i = d \\ 0 & \text{otherwise} \end{cases}$$
  ここで、$BT_0$ は半単純ブルタ・ティット・ビューイングの頂点の集合を表す。
• 定理 6.9（ジャケット・ラングランズの実現）： 本論文は、第1被覆のド・ラム・コホモロジーの超カスピダル部分は、局所ジャケット・ラングランズ対応を実現することを確立している。具体的には、原始的な指標 $\theta$ に対して、表現 $\rho(\theta)$ からコホモロジー $H^i_{dR,c}(M^1_{Dr})$ への $D^*$-等変写像の空間は、$i=d$ のとき $GL_{d+1}(K)$ の表現 $JL(\rho(\theta))$ に同型であり、$i \neq d$ のときはゼロとなる。

意義
本論文は、第1ドリンフェルト被覆のド・ラム・コホモロジーの超カスピダル部分が、局所ジャケット・ラングランズ対応を実現するという純粋に局所的な証明を提供していると主張している。これは、Wangらによって確立された古典的な $\ell$ 進の結果に対するド・ラム版の対応物である。

その意義は以下の点にある：

1. コホモロジー理論の架け橋： $\ell$ 進コホモロジーにエンコードされている「超カスピダル」の情報が、（ヴェイル群の作用を無視すれば）ド・ラム・コホモロジーにも存在することを実証している（ヴェイル群の作用はド・ラムの設定では不可視である）。
2. モデルの限界の克服： 一般化された切除定理（定理 B）と、被覆をクンマー拡大として用いる明示的な記述を利用することで、著者は $M^1_{Dr}$ の大域的な半安定モデルを必要とせずに、これまでの試みにおける大きな障害を回避している。
3. 手法の拡張： 開発された手法、特に巡回被覆に関する切除の結果は、同様の幾何学的複雑さが生じるルービン・テイト空間の第1被覆の研究においても有用である可能性がある。

著者は、$n=1$（第1被覆）かつ任意の次元 $d$ については結果が証明されているものの、$n > 1$ の高次レベルにおける状況は著しく複雑であり、純粋に局所的なアプローチだけでは不十分である可能性があると述べている。本研究は、著者の先行出版物によって得られた第1被覆の幾何学的記述に強く依存している。