[论文解读] Characteristic-free bases and BGG resolutions of unitary simple modules for quiver Hecke and Cherednik algebras

C. Bowman, Emily Norton+1 more|arXiv (Cornell University)|Mar 23, 2018

Algebraic structures and combinatorial models参考文献 42被引用 12

一句话总结

本文通过为类型 A 的 quiver Hecke 与 Cherednik 代数的单位化简单模构造特征无关的 BGG 分辨，利用图解演算将结果推广至任意基域和余循环情形，从而得到了对称线性子空间排列的 Betti 数与 Castelnuovo–Mumford 正则性的显式公式，证明了 Berkesch–Griffeth–Sam 的猜想。

ABSTRACT

We construct characteristic-free bases and BGG resolutions of unitary simple modules of quiver Hecke algebras and Cherednik algebras. We hence solve and vastly generalise Berkesch-Griffeth-Sam's conjecture, calculate the Castelnuovo-Mumford regularity of ideals of of certain highly symmetric linear subspace arrangements, and compute Dirac homology of Cherednik algebras.

研究动机与目标

• 证明 Berkesch–Griffeth–Sam 关于对称群的有理 Cherednik 代数的单位化简单模存在 BGG 分辨的猜想。
• 将该猜想及其解推广至任意基域上的余循环 Cherednik 与 Hecke 代数。
• 为该类代数中的单位化简单模构造特征无关的基。
• 计算由等式或单位根定义的对称线性子空间排列的分次 Betti 数与 Castelnuovo–Mumford 正则性。
• 将墙模型扩展至 $\pi^\ell_n(h)$，即最多有 $h$ 列的 $\pi$-分拆集合，并为对应简单模构造 BGG 分辨。

提出的方法

• 利用 Webber (2017) 提出的图解 Cherednik 代数，为计算提供一个分次的代数框架。
• 使用二维范畴图解演算来定义并计算 BGG 分辨复 $\mathbf{C}_\bullet(\lambda) = \bigoplus_{\lambda \trianglerighteq \nu} \Delta(\nu)\langle \ell(\nu) \rangle$，其微分由单列同态的交错和给出。
• 借助仿射类型 $A$ 的墙几何，通过基本墙中的分拆来刻画单位化模。
• 将分辨中的同调度 $d$ 与从 $\lambda$ 到 $\nu$ 的墙反射次数相关联，反映其与基本墙距离的增加。
• 应用 Auslander–Buchsbaum 公式来计算坐标环 $\mathbb{C}[X_{e,k,n}]$ 的深度与投射维数。
• 利用 $I_{e,k,n}$ 在单一次数下生成的性质，将分辨提升至 $\ell$-扭曲情形 $X_{e,k,n}(\ell)$，保持 Cohen–Macaulay 性，并通过 $\ell(c_{(k^e)} - c_{\mathrm{triv}}) - (e-1)k$ 计算正则性。

实验结果

研究问题

• RQ1 有理 Cherednik 代数类型 $A$ 的单位化简单模是否在任意域上存在 BGG 分辨？
• RQ2 余循环 Cherednik 代数的 BGG 分辨结构如何？其如何推广原始猜想？
• RQ3 如何计算对称线性子空间排列 $X_{e,k,n}$ 与 $X_{e,k,n}(\ell)$ 的 Betti 数与 Castelnuovo–Mumford 正则性？
• RQ4 墙模型在 $e=1$ 以外的情形中，如何用于刻画单位化模？
• RQ5 参数 $c = a/e$ 如何影响分辨结构及正则性、Betti 数等不变量？

主要发现

• BGG 分辨 $\mathbf{C}_\bullet(\lambda)$ 在除零度外均正合，且 $H_0(\mathbf{C}_\bullet(\lambda)) = L(\lambda)$，从而证明了 Berkesch–Griffeth–Sam 的猜想。
• 对于 $X_{e,k,n}$ 且 $n = ke$ 的情形，$\mathbb{C}[X_{e,k,n}]$ 的投射维数为 $(e-1)k$，深度为 $k$，确认其为 Cohen–Macaulay。
• $\mathbb{C}[X_{e,k,n}]$ 的 Castelnuovo–Mumford 正则性为 $\frac{k(n - e - k + 1)}{2}$，通过 $c_{(k^e)} - c_{\mathrm{triv}} - (e-1)k$ 计算得出。
• 对于 $\ell$-扭曲概形 $X_{e,k,n}(\ell)$，其正则性为 $\frac{k[\ell(n + e - k - 1) - 2(e - 1)]}{2}$，且分辨保持最小且分次自由。
• $L_{1/e}(\mathrm{triv})[c_{\mathrm{triv}}]$ 的 Betti 数由分辨决定：当 $e=3$，$n=6$ 时，分辨在度数 $[6], [5], [4], [2], 0$ 处有项，正则性为 2。
• 当 $c = a/e$ 且 $\gcd(a,e)=1$ 时，分辨形状与 $a$ 无关，但 Betti 数按 $\beta_{i,j}(L_{a/e}(\lambda)) = \beta_{i,j/a}(L_{1/e}(\lambda))$ 缩放，若 $j/a \notin \mathbb{Z}$ 则为零。