[论文解读] Canonical bases of loop algebras via quot schemes II

Olivier Schiffmann|arXiv (Cornell University)|Aug 29, 2004

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

一句话总结

该论文通过使用具有有限群作用 G 的光滑射影曲线 X 上的相干层的 Quot 系数的等变构造层，构建了与星形 Dynkin 图的 Kac-Moody 代数相关联的量子环代数正半部分的典范基。关键结果是证明了这些层的卷积代数的完成与有限和驯服（椭圆曲线）情形下量子环代数正半部分的完成之间存在同构，从而首次为非 Kac-Moody 量子环代数建立了典范基。

ABSTRACT

This paper is a sequel (and contains a better treatment) of math.QA/0404032; We construct some canonical bases for quantum toroidal algebras of types D_4, E_6, E_7, E_8 using perverse sheaves on quot schemes parametrizing equivariant coherent sheaves on elliptic curves. We also study some compatibility properties of these bases with some natural filtrations and modules.

研究动机与目标

• 将典范基的几何构造从量子群扩展到量子环代数，特别是针对非 Kac-Moody 设置。
• 解决相干层范畴中子模格的无限深度问题，需借助 Quot 系数的归纳极限。
• 通过 Quot 系数上等变构造层的卷积代数，实现量子环代数正半部分的几何实现。
• 证明该代数的完成同构于有限和驯服情形下量子环代数正半部分的完成。
• 在非 Kac-Moody 的 D₄、E₆、E₇、E₈ 类型量子环代数中建立典范基的存在性，此前这些代数缺乏此类基。

提出的方法

• 该构造使用光滑射影曲线 X 上的 G-等变相干层范畴，其中 X/G ≅ ℙ¹，替代了通常的 quiver 或加权射影线设置。
• 从参数化固定层在 X 上商的 Quot 系数上 G-等变、半单、构造层形成卷积代数 𝔻_𝔸。
• 典范基定义为该卷积代数中出现的所有简单 perverse 层的集合，这些层被证明张成代数的完成 𝔻_𝔸。
• 该方法涉及层范畴之间的转移函子、诱导与限制函子，以及使用 Harder-Narasimhan 分解来分析半稳定与不稳定层。
• 同构性的证明依赖于 Quot 系数的归纳极限和子模格的结构。
• 该构造在两个关键情形下得到验证：当 X = ℙ¹ 时（有限型，给出量子仿射代数）和当 X 为椭圆曲线且 G = ℤ/nℤ 时（驯服型，给出量子环代数）。

实验结果

研究问题

• RQ1 能否使用几何方法，基于具有星形 Dynkin 图的 Kac-Moody 代数的量子环代数正半部分，构造其典范基？
• RQ2 如何处理相干层范畴中子模格的无限深度，以定义一个行为良好的基？
• RQ3 等变构造层在 Quot 系数上的卷积代数是否同构于有限和驯服情形下量子环代数正半部分的完成？
• RQ4 该构造是否能在非 Kac-Moody 的量子环代数中产生典范基？
• RQ5 构成典范基的简单 perverse 层的参数化及其几何描述是什么？

主要发现

• 由 Quot 系数上等变构造层构成的代数 𝔻_𝔸 具有由简单 perverse 层给出的典范基，该基张成其完成 𝔻_𝔸̂。
• 在有限型情形（X = ℙ¹），完成 𝔻_𝔸̂ ⊗ ℂ(v) 同构于量子仿射代数 𝒰_v(ℒ𝔰ₗ₂) 的完成正半部分，从而在 Drinfeld 的表示下为 𝒰_v(ℒ𝔫) 提供了典范基。
• 在驯服型情形（X 为椭圆曲线且 G = ℤ/nℤ），完成 𝔻_𝔸̂ ⊗ ℂ(v) 同构于量子环代数的完成正半部分，首次为这类非 Kac-Moody 代数建立了典范基。
• 该构造为非 Kac-Moody 的 D₄、E₆、E₇、E₈ 类型量子环代数提供了典范基，并给出了这些基元素的几何参数化。
• 该方法通过使用 Quot 系数的归纳极限并借助 Harder-Narasimhan 分解来分解层，成功处理了子模格的无限深度问题。
• 同构性通过关于层序列中因子数的归纳法证明，利用 Quot 系数之间的嵌入映射，并验证了基在代数结构下的封闭性。