[论文解读] Hamiltonian reduction and nearby cycles for Mirabolic D-modules

Gwyn Bellamy, Victor Ginzburg|ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)|Jul 7, 2012

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

一句话总结

本文通过哈密顿约化，建立了 $SL_n(\mathbb{C}) \times \mathbb{C}^n$ 上的镜像 D-模与三角霍里奇代数表示之间的深刻联系。证明了镜像 D-模被此约化杀死当且仅当其特征簇位于不稳定子集内，并表明哈密顿约化将 D-模上的特殊化函子与霍里奇代数表示上的特殊化函子相联系，从而使得霍odge-理论纯度结果得以应用。

ABSTRACT

We study holonomic D-modules on SL_n(C)xC^n, called mirabolic modules, analogous to Lusztig's character sheaves. We describe the supports of simple mirabolic modules. We show that a mirabolic module is killed by the functor of Hamiltonian reduction from the category of mirabolic modules to the category of representations of the trigonometric Cherednik algebra if and only if the characteristic variety of the module is contained in the unstable locus. We introduce an analogue of the Verdier specialization functor for representations of Cherednik algebras which agrees, on category O, with the restriction functor of Bezrukavnikov and Etingof. In type A, we also consider a Verdier specialization functor on mirabolic D-modules. We show that Hamiltonian reduction intertwines specialization functors on mirabolic D-modules with the corresponding functors on representations of the Cherednik algebra. This allows us to apply known purity results for nearby cycles in the setting considered by Bezrukavnikov and Etingof.

研究动机与目标

• 建立镜像 D-模的两种定义之间的等价性：一种是几何定义（通过特征簇），另一种是代数定义（通过包络代数作用）。
• 刻画镜像 D-模在何时被哈密顿约化杀死，将其与特征簇中的不稳定子集联系起来。
• 为霍里奇代数表示定义并研究一个 Verdier 特殊化函子，并证明其与 Bezrukavnikov-Etingof 在范畴 $\mathcal{O}$ 上的限制函子一致。
• 证明哈密顿约化将镜像 D-模上的特殊化函子与霍里奇代数表示上的特殊化函子相联系。
• 通过这种相互作用，将霍odge-理论纯度结果应用于邻近循环，推广至霍里奇代数表示的语境。

提出的方法

• 利用黎曼-希尔伯特对应，将镜像 D-模与 perverse 丛联系起来，类似于 Lusztig 的特征丛。
• 将镜像 D-模定义为特征簇包含于拉格朗日子簇 $\mathbb{M}_{\text{nil}}(SL)$ 中的正则整体 D-模。
• 通过 $G = GL(V)$ 在 $\mathfrak{X} = SL_n \times \mathbb{C}^n$ 上的作用，将镜像 D-模范畴的哈密顿约化映射到三角霍里奇代数的表示。
• 引入一个霍里奇代数表示的特殊化函子，其在范畴 $\mathcal{O}$ 上与 Bezrukavnikov 和 Etingof 的限制函子一致。
• 为镜像 D-模构造一个对应的特殊化函子，并证明其与哈密顿约化的相容性。
• 利用径向部分映射与平移函子，将 $SL_n$ 上的微分算子与霍里奇代数作用联系起来，使用 $\delta$-扭曲微分算子与依赖于 $\kappa$ 的径向部分。

实验结果

研究问题

• RQ1 在什么情况下，镜像 D-模被哈密顿约化函子杀死？
• RQ2 镜像 D-模上的特殊化函子与霍里奇代数表示上的特殊化函子之间有何关系？
• RQ3 能否通过此框架将霍odge-理论纯度结果推广至邻近循环在霍里奇代数表示语境下的情形？
• RQ4 镜像 D-模的几何定义与代数定义之间的确切关系是什么？
• RQ5 在 $\kappa$-形变的语境下，径向部分映射与哈里什-钱德拉同态之间有何关系？

主要发现

• 镜像 D-模被哈密顿约化杀死当且仅当其特征簇包含于 $\mathbb{M}_{\text{nil}}(SL)$ 的不稳定子集内。
• 霍里奇代数表示上的特殊化函子与 Bezrukavnikov 和 Etingof 在范畴 $\mathcal{O}$ 上的限制函子一致。
• 哈密顿约化将镜像 D-模上的特殊化函子与霍里奇代数表示上的特殊化函子相联系。
• 径向部分映射 $\mathrm{Rad}_w(\Omega_{\mathfrak{sl}})$ 被显式计算，得到一个包含 $\Omega_\mathfrak{t}$、$\partial_\alpha$ 与 $w(w+2)(\rho,\rho)$ 的公式。
• 径向部分映射 $\mathfrak{R}$ 在所有 $\kappa$ 上与 $\mathfrak{Z}$ 上的哈里什-钱德拉同态一致，不仅限于正整数，而是通过多项式延拓实现。
• 建立了镜像 D-模几何定义与代数定义之间的等价性，解决了一个关键的基础性问题。