[论文解读] On non-abelian Lubin-Tate theory via vanishing cycles

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

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

一句话总结

本文通过证明形式 $\epsilon$-模高度 $n$ 的形变空间的 $\iota$-进消失上同调上同调与 $GL_n(k)$ 的 Deligne-Lusztig 空间紧支上同调之间的同构，给出了 $GL_n(K)$ 的深度 0 超临界表示的非交换 Lubin-Tate 理论的纯局部证明。关键结果表明，$GL_n(k)$ 的 cuspidal 表示与 $I_K$ 的广义惰性特征仅在第 $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 空间之间建立直接的几何联系。
• 证明 $GL_n(K)$ 的超临界表示仅在上同调的第 $n-1$ 个度出现，与 Deligne-Lusztig 对应一致。
• 通过局部构造形变空间及其解析，实现对可分挠表示的局部 Langlands 对应。

提出的方法

• 构造形式 $\mathcal{O}$-模高度 $n$ 且具有水平 $\mathfrak{p}$ 结构的形变空间 $X$ 的半稳定模型 $Z_{\rm st}$ 和其解析 $Z_n$。
• 使用邻近上同调层 $R\psi\Lambda$，通过 $\mathbb{H}^i_c(Y_{\mathbb{P}}^{(n)}, R\psi\Lambda)$ 将几何通用纤维 $X_{\overline{\eta}}$ 的上同调与特殊纤维联系起来。
• 构造相关层 $Y_{\mathbb{P}}^{(n)}$ 的正规化 $U_n$，并证明 $R^i\psi\Lambda|_{Y_{\mathbb{P}}^{(n)}} \cong f_*\Lambda$ 对于 $i=0$ 成立，其余情况为 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 如何在不依赖全局 Shimura 簇的前提下，于深度 0 情形下完全局部地实现 $GL_n(K)$ 的局部 Langlands 对应？
• RQ2 Lubin-Tate 形变空间的消失上同调与 Deligne-Lusztig 空间之间的确切几何关系为何？
• RQ3 为何在此设定下，超临界表示与广义惰性特征仅在上同调的第 $n-1$ 个度出现？
• RQ4 能否通过邻近上同调从局部形变空间的上同调中恢复 Deligne-Lusztig 对应？
• RQ5 是否存在 $GL_n(k) \times I_K$-等变的典范同构，将形变空间的上同调与 Deligne-Lusztig 空间的紧支上同调联系起来？

主要发现

• 形变空间 $X_{\overline{\eta}}$ 的 $\ell$-进消失上同调群的交错和同构于 Deligne-Lusztig 空间紧支上同调的交错和：$H^*(X_{\overline{\eta}}) = H^*_c(DL)$。
• GL_n(k) 的 cuspidal 表示 $\pi_\chi$ 与 $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$ 作为 $GL_n(k) \times k_n^\times$-概形在 $\overline{k}$ 上通过匹配方程与群作用，与 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$-等变性。