[论文解读] Perverse sheaves and modular representation theory

Daniel Juteau, Carl Mautner+1 more|arXiv (Cornell University)|Jan 21, 2009

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

一句话总结

本文發展了具有正特徵係數的 perverse sheaves 理論，用以研究半單群及其 Weyl 群的模表示理論。它透過在幂零锥與 Schubert 簇上的交集上同調複形實現模表示，並在 A 型中明確計算了 IC 纖維，揭示了 $\mathfrak{sl}_3$ 和 $\mathfrak{sl}_4$ 的特徵依賴分解矩陣。主要貢獻在於透過幾何方法建立模 Springer 對應關係，並提出 Lusztig 猜想的新界限。

ABSTRACT

This paper is an introduction to the use of perverse sheaves with positive characteristic coefficients in modular representation theory. In the first part, we survey results relating singularities in finite and affine Schubert varieties and nilpotent cones to modular representations of reductive groups and their Weyl groups. The second part is a brief introduction to the theory of perverse sheaves with an emphasis on the case of positive characteristic and integral coefficients. In the final part, we provide some explicit examples of stalks of intersection cohomology complexes with integral or positive characteristic coefficients in nilpotent cones, mostly in type $A$. Some of these computations might be new.

研究动机与目标

• 將幾何朗蘭茲程式推廣至模表示理論中正特徵係數的情境。
• 發展具有整係數與正特徵係數的 perverse sheaves 系統理論。
• 在所有特徵 $\neq 3$ 和 $\neq 2$ 的情況下，計算 $\mathfrak{sl}_3$ 和 $\mathfrak{sl}_4$ 幂零錐的交集上同調纖維。
• 透過奇點的解析與上同調截斷，提供模表示的明確幾何構造。
• 透過 Fourier-Deligne 變換與 perverse sheaf 技巧，建立模版本的 Springer 對應關係。

提出的方法

• 使用 Deligne 的構造方法，計算在奇異變換上交集上同調複形的纖維，特別是幂零錐。
• 透過 Grassmannian 的余切叢進行奇點解析，以計算開 strata 的上同調。
• 運用 Gysin 序列計算在 $\operatorname{Gr}(2,4)$ 上的穿孔余切叢的上同調。
• 使用截斷函子與特徵三角形，將常值層的推前分解為 perverse sheaves。
• 應用分解定理與截斷，提取 $\mathbf{IC}(\overline{\mathcal{O}}_{(2^2)},k)$ 在原點的纖維。
• 利用 $\operatorname{Gr}(2,4)$ 的 Schubert 區域分解計算整係數上同調，並提升至係數在域 $k$ 上。

实验结果

研究问题

• RQ1 具有正特徵係數的交集上同調複形如何實現半單群的模表示？
• RQ2 在不同特徵下，$\mathfrak{sl}_4$ 中 $\mathbf{IC}(\overline{\mathcal{O}}_{(2^2)},k)$ 在原點的纖維結構為何？
• RQ3 能否透過具有正特徵係數的 perverse sheaves，以幾何方式構造模 Springer 對應關係？
• RQ4 特徵 $p$ 下不可約表示的分解矩陣與解析空間上同調之間有何關係？
• RQ5 IC 纖維對係數域特徵的精確依賴關係為何，特別是在 $\mathfrak{sl}_3$ 和 $\mathfrak{sl}_4$ 中？

主要发现

• 對於 $\mathfrak{sl}_3$，當 $p=3$ 時，幂零錐原點處的 IC 纖維上同調集中在度數 $-8, -4, -1$；當 $p>3$ 時，則集中在度數 $-8, -4$，並顯示特徵依賴的分解矩陣。
• 在 $\mathfrak{sl}_4$ 中，$\mathbf{IC}(\overline{\mathcal{O}}_{(2^2)},k)$ 在原點的纖維為 $k[8] \oplus k[4] \oplus k[1]$（若 $p=3$），或 $k[8] \oplus k[4]$（若 $p>3$），顯示出對 $p$ 的非平凡依賴。
• 對於 $\mathfrak{sl}_4$ 中 $W$-軌道 $\mathcal{O}_{(2^2)}$，在 $p=3$ 時明確計算出分解矩陣，揭示了平凡模與標準模之間的非分裂擴張。
• 解析空間 $\tilde{U}'$ 的上同調透過 Gysin 序列計算，得出 $\operatorname{H}^i(\tilde{U}',k) \cong k$ 在度數 $i=0,2,4,6,8$，以及在度數 $i=1,3,5,7$ 時為 $k^2$，且在度數 4 時為 $k^2$。
• 推前 $\pi_{U*}\underline{k}_{\tilde{U}'}[8]$ 的截斷可分解為直和，容許透過上同調分解明確計算 IC 纖維。
• 模 Springer 對應關係透過 Fourier-Deligne 變換幾何實現，將古典 $\ell$-進情形推廣至正特徵係數。