[论文解读] A Survey on Springer Theory

Julia Sauter|arXiv (Cornell University)|Jul 3, 2013

Algebraic structures and combinatorial models参考文献 15被引用 3

一句话总结

本文提出了一套在 ℂ 上的统一几何框架，用于研究 Springer 理论，通过定义 Springer 三元组和 Steinberg 丛，构建了在等变 Borel-Moore 同调与 K-理论上的卷积代数——称为 Steinberg 代数，其不可约的投射分次模由分解定理导出。关键贡献在于将经典 Springer 理论及 quiver 分次 Springer 理论作为该代数几何构造的特例进行推广。

ABSTRACT

This is not standard in the sense that we understand a Springer map to be a collapsing of homogeneous bundles. Apart from that we use mostly techniques from Chriss and Ginzbergs book but we work in the equivariant derived category of Bernstein and Lunts. We define Steinberg algebras as (equivariant) Borel-Moore homology algebras of the associated Steinberg varieties. The data of the BBD-decomposition theorem applied to the Springer map give a parametrization of projective graded and simple graded modules over the Steinberg algebra. Also, the projective graded modules are equivalent to a category of shifts of perverse sheaves. This has as a consequence for example the Springer correspondence. We call classical Springer Theory what is usually considered as Springer Theory. The main results are parametrizations of simple modules of different types of Hecke algebras. Our second main example is quiver-graded Springer theory (due to Lusztig), here the Steinberg algebras are the quiver Hecke algebras. We also explain Lusztig's and Khovanov-Lauda's monoidal categorification of the negative half of the quantum group using the categories of shifts of perverse sheaves and projective graded modules over the quiver Hecke algebra respectively.

研究动机与目标

• 将经典 Springer 理论推广为适用于广泛非交换代数及其模的统一几何构造。
• 通过等变 Borel-Moore 同调与 K-理论上的卷积积，建立系统化框架以研究 Steinberg 代数。
• 通过分解定理阐明 Springer 纤维作为旗流形子簇的角色及其同调结构。
• 将该理论与已知代数（如 Weyl 群群代数、仿射 Hecke 代数、KLR 代数及 quiver Schur 代数）联系起来。
• 识别 Steinberg 代数表示理论中的开放问题与部分解答，包括半单性、全局维数及典范基。

提出的方法

• 通过半单群 G、抛物子群 P_i 及 G-表示 V 的 P_i-稳定子表示 F_i 定义 Springer 三元组。
• 构造 Springer 映射 π: E → V，其为关联齐次向量丛 E_i = G ×^{P_i} F_i 在 G/P_i 上的并集。
• 将 Steinberg 丛 Z = E ×_V E 定义为纤维积，配备至 V 和 (⊔G/P_i) × (⊔G/P_i) 的投影 p 和 m。
• 在等变 Borel-Moore 同调 H_*^A(Z) 上赋予卷积积 *，其通过拉回、交集与上推定义：c1,2 * c2,3 = (q1,3)_*(p1,2^*c1,2 ∩ p2,3^*c2,3)。
• 利用 perverse 她层的分解定理，将 Steinberg 丛分解为 Steinberg 代数上的不可约投射分次模。
• 通过卷积作用研究 Springer 纤维模，即 π 的纤维的同调群及其模结构。

实验结果

研究问题

• RQ1 Springer 纤维模在 Steinberg 代数上是否总是半单模？
• RQ2 哪些 Steinberg 代数是仿射细胞代数？哪些具有有限全局维数？
• RQ3 Steinberg 代数是否具有 Kazhdan-Lusztig 多项式及典范基？
• RQ4 能否利用构造性层在 Springer 映射上构造非交换奇点的解析？
• RQ5 是否存在 Schur-Weyl 对偶性，通过 Steinberg 代数的 Morita 等价关系将经典与 quiver 分次 Springer 理论联系起来？

主要发现

• Steinberg 代数 H_*^A(Z) 在卷积积下构成结合代数，其分量仅在 j = k 时支持于 Z_{i,j} ×_V Z_{k,l}。
• 分解定理表明，Steinberg 丛的等变 Borel-Moore 同调可分解为 Steinberg 代数上的不可约投射分次模。
• 在经典 Springer 理论中，Steinberg 代数 H_*^G(Z) 同构于 Weyl 群 W 的群代数 ℂ[W]。
• 在定向循环 quiver 的 quiver 分次 Springer 理论中，H_*^G(Z) 同构于 quiver Schur 代数，如 Stroppel 与 Webster 所示。
• Kato 的奇异 Springer 理论将 Steinberg 代数实现为类型 C_n^{(1)} 的不等参数 Hecke 代数，并关联奇异 Deligne-Langlands 对应。
• Dynkin quiver 的 KLR 代数为仿射细胞代数且具有有限全局维数，由 Brundan、Kleshchev 与 McNamara 证明，且猜想其为唯一此类情况。