Lusztig sheaves and integrable highest weight modules in the symmetrizable case

技术摘要：对称化情形下的 Lusztig 层与可积最高权重模

问题陈述
本文研究了与对称化广义 Cartan 矩阵相关的量子群 $U$ 的可积最高权重模 $L(\lambda)$ 及其张量积 $L(\lambda_1) \otimes L(\lambda_2)$ 的几何范畴化。虽然对称情形（即 Cartan 矩阵为对称矩阵时）已通过 Lusztig 在拟阵簇（quiver varieties）上的层以及 Nakajima 的构造得到了广泛研究，但对称化情形由于非平凡自同构的存在而面临显著挑战。Fang、Lan 和 Xiao [6, 10] 的前序工作通过对框架拟阵（framed quivers）上 Lusztig 层的局部化，成功实现了对称矩阵下的这些模。本文旨在将这些结果推广到对称化情形，其中底层拟阵存在一个容许自同构 $a$。

方法论
作者采用基于全纯层（perverse sheaves）理论和周期函子（periodic functors）的几何方法，将 Lusztig [19] 的框架从框架拟阵扩展到带有自同构的情境中。

1. 设置： 给定一个对称化广义 Cartan 矩阵 $C = DB$，作者构造了一个配备容许自同构$a$的有限拟阵$Q$。他们考虑$N$-框架拟阵$\tilde{Q}(N)$以及相关的表示空间$E_{V, W_\bullet, \Omega}$。
2. 局部化： 他们在 $G_V$-等变构造可测层范畴内定义了一个厚子范畴 $N_V$，该范畴由支撑在特定闭集（即某些线性映射为单射的开集的补集）上的复形生成。核心研究对象是 Verdier 商范畴 $D^b_{G_V}(E_{V, W_\bullet, \Omega})/N_V$，称为局部化。
3. 周期函子： 为了处理自同构 $a$，作者应用了 Lusztig 的周期函子方法。他们构造了一个新范畴 $\widehat{Q/N}$，其由对 $(B, \phi)$ 组成，其中 $B$ 是局部化范畴中的一个对象，$\phi: a^*B \to B$ 是一个满足周期性条件（即 $a^*$ 作用 $o$ 次后的复合，其中 $o$ 是 $a$ 的阶，为恒等映射）的同构。
4. 函子作用： 作者在局部化范畴上定义了归纳（induction）和限制（restriction）函子，记作 $E_i^{(n)}$ 和 $F_i^{(n)}$。这些函子是通过将标准几何函子（涉及 Grassmann 流形和旗流形）与周期结构复合而构造的。至关重要的是，他们证明了这些函子与周期函子 $a^*$ 对易，从而可以降至定义良好的函子在 $\widehat{Q/N}$ 上。
5. 对易关系： 本文的一个重要技术部分涉及证明这些函子的对易关系（特别是量子 Serre 关系以及 $E$ 与 $F$ 之间的关系）。其证明过程与对称情形有显著不同，需要对无迹对象（traceless objects）以及自同构在模空间分层上的行为进行仔细分析。

主要贡献与结果

• $L(\lambda)$ 与张量积的范畴化： 证明了范畴 $\widehat{Q/N}$（对于 $N=1$）的 Grothendieck 群与量子群 $U$ 的可积最高权重模 $L(\lambda)$ 具有正则同构。对于 2-框架情形（$N=2$），其 Grothendieck 群则同构于张量积 $L(\lambda_1) \otimes L(\lambda_2)$。
• 符号规范基（Signed Canonical Bases）： 通过对“无迹对象”（即在 $a^*$ 下的轨道在特定置换结构下的直和对象）进行商运算，范畴中的简单全纯层给出了 $L(\lambda)$ 和 $L(\lambda_1) \otimes L(\lambda_2)$ 的符号基。该基被证明对于一个反变几何配对几乎是正交的。
• 杨–巴克斯特（Yang–Baxter）关系： 作者利用限制函子的几何设置中的结合性，为由限制与归纳函子复合产生的算子 $R_{ij}$ 提供了关于杨–巴克斯特关系的全新证明。
• 晶体结构（Crystal Structures）： 作者在以下对象上建立了对称化晶体结构：
  • Nakajima 拟阵簇中 $a$-固定不可约分量的集合；
  • Nakajima 张量积簇中 $a$-固定不可约分量的集合；
  • 预前射代（preprojective algebras）的 Lusztig 幂零簇中 $a$-固定不可约分量的集合。
    这些晶体结构被证明同构于与量子群相关的晶体基 $B(\lambda)$ 和 $B(\lambda_1) \otimes B(\lambda_2)$。

意义
本文声称通过提供专门针对对称化情形的最高权重模及其张量积的几何构造，完成了由 Fang、Lan 和 Xiao [6, 10] 发起的计划。它弥合了 Lusztig 关于对称矩阵的层论方法与更复杂的对称化情形之间的鸿沟。这项工作证明了周期函子和 Lusztig 层局部化的机制足以处理对称化情形，从而回收了已知的晶体结构，并为更广泛背景下的张量积的符号规范基提供了几何实现。其结果统一了跨对称型与对称化型的量子群表示的几何理解。