[論文レビュー] On non-abelian Lubin-Tate theory via vanishing cycles

Teruyoshi Yoshida|arXiv (Cornell University)|Apr 21, 2004

Advanced Algebra and Geometry参考文献 6被引用数 11

ひとこと要約

本稿は、$GL_n(K)$ の深さ 0 の超臨界表現に対する非アーベル的 Lubin-Tate 理論の完全に局所的な証明を提供する。具体的には、高さ $n$ の形式的 $\epsilon$-加群の変形空間の $\iota$-進消失サイクルコhomology が、$GL_n(k)$ の Deligne-Lusztig 多様体のコンパクト台付きコホモロジーと同型であることを示す。主な結果は、$GL_n(k)$ の臨界表現と $I_K$ の一般性のあるインertie的特徴が、ちょうど次数 $n-1$ に現れることを示し、幾何的手段により局所 Langlands 対応を実現することである。

ABSTRACT

We give a purely local proof, in the depth 0 case, of the result by Harris-Taylor which asserts that the local Langlands correspondence for GL_n over a p-adic field K realizes itself inside the vanishing cycle cohomology of the deformation space of formal O_K-modules of height n. Our proof is given by establishing the direct geometric link with the Deligne-Lusztig theory for GL_n over the residue field.

研究の動機と目的

• $GL_n(K)$ の深さ 0 の場合における局所 Langlands 対応を、グローバル Shimura 多様体の議論を避けて、完全に局所的な幾何的証明で与えること。
• Lubin-Tate 変形空間の消失サイクルコホモロジーと $GL_n(k)$ の Deligne-Lusztig 多様体との間の直接的な幾何的関係を確立すること。
• 超臨界表現が、コホモロジーのちょうど次数 $n-1$ のみに現れることを示し、Deligne-Lusztig 対応と一致させること。
• 変形空間の局所的構成とその解消を用いて、分岐が単純な表現の局所 Langlands 対応を幾何的に実現すること。

提案手法

• 高さ $n$ の形式的 $\mathcal{O}$-加群でレベル $\mathfrak{p}$ 構造を持つ変形空間 $X$ のための半安定モデル $Z_{\rm st}$ とその解消 $Z_n$ を構成する。
• 近傍サイクル層 $R\psi\Lambda$ を用いて、幾何的一般特異点 $X_{\overline{\eta}}$ のコホモロジーと特殊特異点との関係を $\mathbb{H}^i_c(Y_{\mathbb{P}}^{(n)}, R\psi\Lambda)$ を通じて確立する。
• 関連するストラトゥム $Y_{\mathbb{P}}^{(n)}$ の正規化 $U_n$ を構成し、$i=0$ のとき $R^i\psi\Lambda|_{Y_{\mathbb{P}}^{(n)}} \cong f_*\Lambda$、それ以外の $i$ では 0 であることを示し、コホモロジーを $H^i_c(U_n, \Lambda)$ に還元する。
• 明示的な方程式と群作用を比較することで、$U_n$ が $GL_n(k) \times k_n^\times$-同型で Deligne-Lusztig 多様体 $DL$ に同型であることを証明する。
• Deligne-Lusztig 理論を適用し、コホモロジー $H^i_c(U_n, \Lambda)$ が表現の交代和 $\sum_i (-1)^i [H^i_c(DL, \overline{\mathbb{Q}}_\ell)]$ に一致することを示し、望ましい同型を得る。
• $R^i\psi\Lambda = 0$ ($i > 0$) が $Y_{\mathbb{P}}^{(n)}$ 上で成り立ち、$U_n$ が形式的滑らかであることから、$H^i_c(Y_{\mathbb{P}}^{(n)}, R^0\psi\Lambda) \cong H^i_c(U_n, \Lambda)$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして $GL_n(K)$ の局所 Langlands 対応を、グローバル Shimura 多様体に依存せずに、深さ 0 の場合に完全に局所的に実現できるか？
• RQ2 Lubin-Tate 変形空間の消失サイクルコホモロジーと Deligne-Lusztig 多様体との間の正確な幾何的関係は何か？
• RQ3 なぜこの設定において、超臨界表現と一般性のあるインテリア特徴が、ちょうど次数 $n-1$ のコホモロジーにのみ現れるのか？
• RQ4 近傍サイクルを用いて、局所的変形空間のコホモロジーから Deligne-Lusztig 対応を回復できるか？
• RQ5 変形空間のコホモロジーと Deligne-Lusztig 多様体のコンパクト台付きコホモロジーとの間に、自然な $GL_n(k) \times I_K$-同変同型が存在するか？

主な発見

• 変形空間 $X_{\overline{\eta}}$ の $\ell$-進消失サイクルコホモロジー群の交代和は、Deligne-Lusztig 多様体のコンパクト台付きコホモロジーの交代和と同型である：$H^*(X_{\overline{\eta}}) = H^*_c(DL)$。
• 臨界表現 $\pi_\chi$ の $GL_n(k)$ と $I_K$ の一般性のあるインテリア特徴 $\chi$ は、コホモロジーのちょうど次数 $n-1$ にのみ現れ、$H^{n-1}(X_{\overline{\eta}}, \overline{\mathbb{Q}}_\ell) \cong \bigoplus_{\chi \in C} \pi_\chi \otimes \chi$ が成り立つ。
• コホモロジー $H^i_c(Y_{\mathbb{P}}^{(n)}, R^0\psi\Lambda)$ は $H^i_c(U_n, \Lambda)$ と同型であり、この同型は $GL_n(k) \times I_K$-同変である。
• 多様体 $U_n$ は、方程式と群作用を一致させることで、$\overline{k}$ 上の $GL_n(k) \times k_n^\times$-多様体として、Deligne-Lusztig 多様体 $DL$ と自然に同型である。
• コホモロジー $H^i_c(U_n, \Lambda)$ は Deligne-Lusztig 対応を実現する：$\pi_\chi \otimes \chi \cong \operatorname{Ind}_{T(k)}^{GL_n(k)} \chi \otimes \mathrm{St}$、ここで $\mathrm{St}$ は Steinberg 表現である。
• $p$-群 $U_N$ が $R^0\psi\Lambda|_{Y_J^0}$ 上に自明に作用することから、コホモロジー同型が $GL_n(k) \times I_K$-同変であることが保証される。