[论文解读] Perverse sheaves and quantum Grothendieck rings

Michela Varagnolo, Éric Vasserot|arXiv (Cornell University)|Mar 27, 2001

Algebraic structures and combinatorial models被引用 8

一句话总结

本文通过奇异箭图概形上的 perverse sheaves，构建了量子仿射代数有限维表示的 Grothendieck 环的几何实现，引入了一个具有典范基的非交换平坦形变 ${\mathbb{G}}{\mathbb{R}}$。关键结果将该环同构地识别为量子 Grothendieck 环，通过 Lusztig 的限制函子与典范基，为理解张量积分解因子提供了几何框架。

ABSTRACT

We define a quantum analogue of the Grothendieck ring of finite dimensional modules of a quantum affine algebra of simply laced type. The construction is based on perverse sheaves on a variety related to quivers. We get also a new geometric construction of the tensor category of finite dimensional modules of a finite dimensional simple Lie algebra of type A-D-E.

研究动机与目标

• 通过 perverse sheaves 构造量子仿射代数有限维表示的 Grothendieck 环的几何实现。
• 通过几何乘积结构在 Grothendieck 环上定义一个非交换平坦形变 ${\mathbb{G}}{\mathbb{R}}$。
• 在 ${\mathbb{G}}{\mathbb{R}}$ 中建立一个典范基，该基在猜想的滤子下对应于简单模。
• 利用几何方法推广 Berenstein-Zelevinsky 关于典范基乘法性质的猜想。
• 将有限维 ${\mathbb{U}}$-模的张量范畴与奇异概形上的 perverse sheaves 联系起来，并在猜想下与 Langlands 对偶群的仿射 Grassmannian 联系起来。

提出的方法

• 构造一个奇异箭图概形 $N_\lambda$，用于参数化预投影代数的表示，其分层结构由权指标化。
• 在 $N_\lambda$ 上定义一个 perverse sheaves 类别 ${{}^{a}}{\Cal{P}}_\lambda$，其上有一族标准对象与不可约对象 ${{}^{a}}IC_{{\lambda}+{\beta},{\beta}}$ 和 ${{}^{a}}L_{{\lambda}+{\beta},{\beta}}$。
• 利用 Lusztig 的限制函子 ${{}^{a}}p_{{\lambda}{\beta}}$ 在 Grothendieck 群 $\mathbb{A}$ 上定义乘积结构，从而在归纳极限上诱导出一个环结构。
• 引入 Grothendieck 群 $\mathbb{K}({{}^{a}}{\Cal{P}}_\lambda)$ 的投影系统，并将 $\mathbb{A}$ 定义为极限的对偶，其上配备两个基：$({\mathbb{b}}_\lambda)$ 与 $({\mathbb{c}}_\lambda)$。
• 通过箭图概形图的基变换定义限制映射 $\roman{res}^\pm_\gamma$，其与对偶性及投影系统相容。
• 建立一个环同构 $\mathbb{A} \xrightarrow{\sim} \mathbb{R}(\underline{{\mathfrak{g}}})$，将典范基 $\mathbb{b}_\lambda$ 映射为简单模的类 ${{\underline{V}}}(\lambda)$。

实验结果

研究问题

• RQ1 如何通过奇异箭图概形上的 perverse sheaves 几何实现量子仿射代数有限维表示的 Grothendieck 环？
• RQ2 量子 Grothendieck 环中典范基的几何意义是什么？它与张量积分解因子有何关系？
• RQ3 仿射 Hecke 代数中简单模的诱导乘积能否被提升为 perverse sheaves 上的几何乘积结构？
• RQ4 perverse sheaves 上的限制函子如何编码量子仿射代数中张量积重数的信息？
• RQ5 是否存在一个几何构造，将有限维 ${\mathbb{U}}$-模的张量范畴与 Langlands 对偶群的仿射 Grassmannian 上的 perverse sheaves 类别联系起来？

主要发现

• 有限维 ${\mathbb{U}}$-模的 Grothendieck 环 $\mathbb{R}(\underline{{\mathfrak{g}}})$ 同构于由奇异箭图概形上 perverse sheaves 构造的环 $\mathbb{A}$。
• 在 $\mathbb{A}$ 中的典范基 $({\mathbb{b}}_\lambda)$ 在此同构下对应于简单模的类 ${{\underline{V}}}(\lambda)$。
• 典范基满足恒等式 $\mathbb{b}_\lambda = \sum_\mu \dim {{\underline{V}}}(\lambda)_\mu \cdot \mathbb{c}_\mu$，将权重重数与对偶基联系起来。
• 限制映射 $\roman{res}^+_{\gamma}$ 将典范基元素 $\mathbb{b}_\gamma$ 映射到 $\bigoplus_\lambda \mathbb{N}[v^{-1},v] \cdot \mathbb{b}_\lambda$ 中的元素，表明其在分解中具有正性。
• 对于 $\gamma \in G_\lambda^{\vee,\text{ad}}$，对偶基的限制满足 $\roman{res}(\mathbb{c}_\gamma) = v^{\varepsilon_\gamma} \mathbb{c}_\lambda$，表明其与对偶性及权滤子相容。