[论文解读] Springer correspondence via p-adic analytic methods

Lorenzo Ramero|arXiv (Cornell University)|Oct 8, 2002

advanced mathematical theories被引用 8

一句话总结

本文通过使用 p-进解析傅里叶变换，以 p-进解析版本取代经典的 Deligne-傅里叶变换，建立了特征零域上半单群的 Springer 对应关系。结果表明，与 Springer 恢复相关的奇异层可作为对偶层的傅里叶变换而得到，从而通过解析 étale 上同调转移了 Weyl 群作用，并在特征自由的情形下恢复了 Springer 对应关系。

ABSTRACT

We show that the standard proof of the Springer correspondence in positive characteristic (via Deligne-Fourier transform) works verbatim in characteristic zero, up to replacing Deligne-Fourier transform by another etale Fourier transform introduced by the author in a previous work. The construction of this Fourier transform uses methods from p-adic analytic geometry.

研究动机与目标

• 通过 p-进解析方法将 Springer 对应关系推广到特征零域。
• 在 Springer 对应关系的证明中，以 p-进解析傅里叶变换取代经典的 Deligne-傅里叶变换。
• 证明：当使用解析 étale 站和 p-进上同调工具时，基于傅里叶变换的标准证明在特征零情形下依然成立。
• 通过 p-进傅里叶变换转移 Weyl 群作用，建立特征自由的 Springer 对应关系构造。
• 为将 p-进解析技术应用于代数几何中的表示论问题提供一个概念验证。

提出的方法

• 在非阿基米德域上向量丛的解析 étale 站上使用 p-进解析傅里叶变换。
• 处理系数在环 Λ_r = Z̄_ℓ / ℓ^{r+1}Z̄_ℓ 上的层的逆系统，以逼近 ℓ-进层。
• 对对偶恢复 G ×^B u^⊥ → g^* 应用傅里叶变换，得到 g^* 上的复形 Φ′_r。
• 利用傅里叶变换与上推及投影的相容性，将 Φ′_r 的变换与在幂零锥上的 Springer 层 Ψ_r 关联起来。
• 通过基变换和投影公式，在解析站上建立同构 F(Φ′_r) ≃ i_N*Ψ_r(−n)。
• 利用傅里叶变换同构将 Weyl 群作用从 Φ′_r 转移到 Ψ_r，从而导出 Springer 对应关系。

实验结果

研究问题

• RQ1 能否在特征零情形下，使用 p-进解析傅里叶变换而非 ℓ-进方法重构 Springer 对应关系？
• RQ2 p-进解析傅里叶变换如何与 Springer 恢复及其对偶相互作用？
• RQ3 在使用解析 étale 上同调时，经典 Springer 对应关系的证明在多大程度上可被适配到特征零情形？
• RQ4 解析 étale 站在何种程度上使 p-进傅里叶变换能够应用于具有挠系数的层？
• RQ5 Weyl 群作用如何通过傅里叶变换从对偶恢复转移到 Springer 层？

主要发现

• p-进解析傅里叶变换在特征零域上的 Springer 对应关系语境中，可作为 Deligne-傅里叶变换的有效替代。
• 与 Springer 恢复相关的复形 Ψ_r 与 Φ′_r 的傅里叶变换同构，至多相差一个移位和扭量，具体为 F(Φ′_r) ≃ i_N*Ψ_r(−n)。
• Weyl 群作用从对偶层 Φ′_r 通过傅里叶变换同构被成功转移到 Springer 层 Ψ_r。
• 由此得到的 G-等变奇异层 Ψ_r 可分解为由 Weyl 群 W 的不可约表示索引的不可约分量。
• W-不可约表示与 g 中幂零轨道之间的对应关系以单射形式被恢复，从而在特征零情形下确立了 Springer 对应关系。