[论文解读] Noncommutative Counterparts of the Springer Resolution

Roman Bezrukavnikov|ArXiv.org|Apr 20, 2006

Advanced Algebra and Geometry参考文献 31被引用 56

一句话总结

本文提出了一种半单李代数中幂零锥的非交换解析解，通过施弗林解析的导出范畴上的 t-结构实现。关键贡献在于构造了一个奇异 t-结构，其心由奇异层构成，该结构统一了几何表示论、局部几何朗兰兹对偶性与模表示论，通过在多个情境中自然出现的典范 t-结构实现。

ABSTRACT

Springer resolution of the set of nilpotent elements in a semisimple Lie algebra plays a central role in geometric representation theory. A new structure on this variety has arisen in several representation theoretic constructions, such as the (local) geometric Langlands duality and modular representation theory. It is also related to some algebro-geometric problems, such as the derived equivalence conjecture and description of T. Bridgeland's space of stability conditions. The structure can be described as a noncommutative counterpart of the resolution, or as a $t$-structure on the derived category of the resolution. The intriguing fact that the same $t$-structure appears in these seemingly disparate subjects has strong technical consequences for modular representation theory.

研究动机与目标

• 通过施弗林解析的导出范畴上的 t-结构，构造半单李代数中幂零锥的非交换解析解。
• 建立一个在多个领域自然出现的典范 t-结构（奇异 t-结构）：局部几何朗兰兹对偶性、模表示论以及布里吉兰德的稳定性条件。
• 证明相同的 t-结构同时控制施弗林解析上 G-等变凝聚层的导出范畴与朗兰兹对偶群的仿射旗流形上构造层的导出范畴。
• 将奇异范畴中 Ext 群的分次与正特征下的弗罗贝尼乌斯权联系起来，为表示论中的典范基提供几何实现。
• 在仿射旗流形上构造层的导出范畴与施弗林解析纤维积上的凝聚层导出范畴之间建立一个与 braid 群作用及弗罗贝尼乌斯扭变相容的张量等价关系。

提出的方法

• 通过由 D(A) ≅ D(̃N) 导出等价诱导的 D(̃N) 上的 t-结构，将幂零锥 N 的非交换解析解 A 定义为 N 上的凝聚代数层，其在 Morita 等价意义下唯一。
• 引入 D(̃N) 上的奇异 t-结构，即其心由奇异层构成——这些是施弗林解析 ̃N 上的凝聚层复形，通过导出等价对应于 A-模。
• 通过朗兰兹对偶群的环路群在仿射旗流形上的轨道关联的 Radon 变换，构造仿射 braid 群在 ̃N 上 G-等变凝聚层导出范畴上的作用。
• 利用正特征下的局部化定理，将旗流形上的 D-模与 ̃N 上的凝聚层联系起来，从而在模情形下建立导出等价。
• 通过导出纤维积处理非零 Tor 项，建立朗兰兹对偶群的仿射旗流形上构造层导出范畴与 ̃g ×g ̃g 上 G-等变凝聚层导出范畴之间的张量等价。
• 证明弗罗贝尼乌斯相容性：存在一个典范同构 Φ ∘ q* ≅ Fr ∘ Φ，将构造层上的几何弗罗贝尼乌斯作用与 ̃N 上的标量乘法 q 关联起来，从而将分次与弗罗贝尼乌斯权联系起来。

实验结果

研究问题

• RQ1 如何构造一个非交换解析解，使其统一不同的几何与表示论结构？
• RQ2 施弗林解析的导出范畴上的何种 t-结构能产生一个典范的非交换解析解？为何它在局部几何朗兰兹对偶与模表示论中均自然出现？
• RQ3 奇异范畴中 Ext 群的分次与正特征下弗罗贝尼乌斯权之间有何关系？
• RQ4 朗兰兹对偶群的仿射旗流形上构造层导出范畴与施弗林解析纤维积上 G-等变凝聚层导出范畴之间的确切关系为何？
• RQ5 弗罗贝尼乌斯映射如何与几何朗兰兹等价性相互作用？这对 Ext 群的分次有何含义？

主要发现

• D(̃N) 上的奇异 t-结构提供了幂零锥的非交换解析解，其心由奇异层构成，且由导出等价 D(A) ≅ D(̃N) 唯一确定。
• 相同的奇异 t-结构在局部几何朗兰兹对偶性（通过 D(P) 与 ̃N 上 D(G)-等变凝聚层的等价）与模表示论（通过正特征下的局部化）中自然出现。
• 建立了朗兰兹对偶群的仿射旗流形上构造层导出范畴与 ̃g ×g ̃g 上 G-等变凝聚层导出范畴之间的张量等价，且与 braid 群作用相容。
• 奇异范畴中 Ext 群的分次由弗罗贝尼乌斯权控制，通过典范同构 Φ ∘ q* ≅ Fr ∘ Φ 实现，该同构将几何弗罗贝尼乌斯作用与 ̃N 上的标量乘法 q 关联起来。
• 导出纤维积在定义 D(̃g ×g ̃g) 上的卷积积时至关重要，因为在幂零情形下 Tor>0 项不消失，必须借助微分几何概形才能正确表述。
• 通过 Radon 变换在 D(P) 上的仿射 braid 群作用，在等价关系下对应于 ̃N 上凝聚层导出范畴上的作用，如第 2 节所构造。