[论文解读] Almost-commuting variety, D-modules, and Cherednik Algebras

Wee Liang Gan, Victor Ginzburg|ArXiv.org|Sep 15, 2004

Algebraic structures and combinatorial models被引用 4

一句话总结

本文研究了由 $[X,Y] + ij = 0$ 定义的几乎交换概形 $\mathscr{M}$，其中 $X,Y$ 为 $n \times n$ 矩阵，$i \in \mathbb{C}^n$，$j \in \mathbb{C}^n$，证明其为一个维数为 $n^2 + 2n$ 的约化完备交集，具有 $n+1$ 个不可约分支。本文引入了一个在幂零部分 $\mathscr{M}_{\text{nil}}$ 上的 $\mathscr{D}$-模范畴，并构造了一个量子哈密顿约化函子，将其映射到有理赫尔德尼克代数的范畴 $\mathcal{O}$，从而在几何表示论与辛奇点之间建立了联系。

ABSTRACT

We study a scheme M closely related to the set of pairs of n by n-matrices with rank 1 commutator. We show that M is a reduced complete intersection with n+1 irreducible components, which we describe. There is a distinguished Lagrangian subvariety Nil in M. We introduce a category, C, of D-modules whose characteristic variety is contained in Nil. Simple objects of that category are analogous to Lusztig's character sheaves. We construct a functor of Quantum Hamiltonian reduction from category C to the category O for type A rational Cherednik algebra.

研究动机与目标

• 理解 $\mathscr{M} = \{(X,Y,i,j) \mid [X,Y] + ij = 0\}$ 在 $\mathfrak{gl}_n \times \mathfrak{gl}_n \times \mathbb{C}^n \times \mathbb{C}^n$ 中的几何结构。
• 分析 $\mathscr{M}$ 的方案理论性质，包括其不可约分支、约化性与维数。
• 定义并研究一个范畴 $\mathscr{C}$，其包含特征簇位于拉格朗日子概形 $\mathscr{M}_{\text{nil}}$ 内的正则 $\mathscr{D}$-模。
• 从 $\mathscr{C}$ 构造一个量子哈密顿约化函子，映射到有理赫尔德尼克代数的类型 $A$ 的范畴 $\mathcal{O}$。
• 通过 $\mathscr{D}$-模在 $\mathscr{M}_{\text{nil}}$ 上的几何实现，建立类字符层的几何实现代数。

提出的方法

• 将 $\mathscr{M}$ 定义为商环 $\mathbb{C}[X,Y,i,j]/J$ 的谱，其中 $J$ 是由 $[X,Y] + ij$ 的元素生成的理想。
• 根据换位子的秩与循环子空间的维数，将 $\mathscr{M}$ 分解为以 $k = 0, \dots, n$ 索引的不可约分支 $\mathscr{M}_k$。
• 通过定义方程的显式代数与几何分析，证明 $\mathscr{M}$ 是维数为 $n^2 + 2n$ 的约化完备交集。
• 将 $\mathscr{M}_{\text{nil}} \subset \mathscr{M}$ 定义为 $Y$ 为幂零矩阵的子概形，并证明其为 $T^*(\mathfrak{gl}_n \times \mathbb{C}^n)$ 中的拉格朗日完备交集。
• 构造一个范畴 $\mathscr{C}$，其包含特征簇包含于 $\mathscr{M}_{\text{nil}}$ 内的正则 $\mathscr{D}$-模，其性质类比于吕施蒂格的字符层。
• 利用量子哈密顿约化，通过 $G$-等变 $\mathscr{D}$-模结构与一个分次代数同态 $\pi^*: \mathbb{C}[\mathbf{y}]^{S_n} \to \mathbb{C}[\mathscr{M}]$，将 $\mathscr{C}$ 与有理赫尔德尼克代数的范畴 $\mathcal{O}$ 联系起来。

实验结果

研究问题

• RQ1 几乎交换概形 $\mathscr{M} = \{(X,Y,i,j) \mid [X,Y] + ij = 0\}$ 的方案理论结构为何？
• RQ2 $\mathscr{M}$ 有多少个不可约分支？它们的几何与表示论描述是什么？
• RQ3 幂零部分 $\mathscr{M}_{\text{nil}}$ 是否为余切丛 $T^*(\mathfrak{gl}_n \times \mathbb{C}^n)$ 中的拉格朗日子概形？
• RQ4 能否在 $\mathscr{M}_{\text{nil}}$ 上构造一个类比于吕施蒂格字符层性质的 $\mathscr{D}$-模范畴？
• RQ5 从 $\mathscr{C}$ 到有理赫尔德尼克代数范畴 $\mathcal{O}$ 的量子哈密顿约化是否给出一个正合函子，并实现单模的几何实现代数？

主要发现

• 方案 $\mathscr{M}$ 是维数为 $n^2 + 2n$ 的约化完备交集，具有 $n+1$ 个不可约分支 $\mathscr{M}_0, \dots, \mathscr{M}_n$。
• 由 $Y$ 幂零定义的概形 $\mathscr{M}_{\text{nil}}$ 是 $T^*(\mathfrak{gl}_n \times \mathbb{C}^n)$ 中的拉格朗日完备交集。
• 特征簇包含于 $\mathscr{M}_{\text{nil}}$ 内的正则 $\mathscr{D}$-模范畴 $\mathscr{C}$ 的单对象类比于吕施蒂格的字符层。
• 从 $\mathscr{C}$ 到有理赫尔德尼克代数范畴 $\mathcal{O}$ 的量子哈密顿约化函子是正合的。
• $\mathbb{C}[\mathscr{M}]$ 作为 $\mathbb{C}[\mathbf{y}]^{S_n}$ 上的模是自由的，通过映射 $(X,Y,i,j) \mapsto \text{Spec}(Y)$ 诱导的同态 $\pi^*$。
• $\mathbb{C}[\mathscr{M}]^{(k)}$ 的分次 $\mathbb{C}[\mathbf{y}]^{S_n}$-模对所有 $k \geq 1$ 均为自由模，这是由于 $G$-作用的平坦性与完全可约性。