[论文解读] Tensor Triangular Geometry for Quantum Groups

Brian D. Boe, Jonathan R. Kujawa+1 more|arXiv (Cornell University)|Feb 4, 2017

Algebraic structures and combinatorial models参考文献 28被引用 13

一句话总结

该论文对根单位根处量子群有限维模范畴中的厚张量理想进行了分类，并计算了相关稳定模范畴的Balmer谱。通过支持数据与局部化技术，将该谱与幂零锥坐标代数上的G-不变理想空间相联系，建立了通过幂零轨道及仿射Weyl群的双侧细胞进行的几何分类。

ABSTRACT

Let $\mathfrak g$ be a complex simple Lie algebra and let $U_ζ({\mathfrak g})$ be the corresponding Lusztig ${\mathbb Z}[q,q^{-1}]$-form of the quantized enveloping algebra specialized to an $\ell$th root of unity. Moreover, let $\mod(U_ζ({\mathfrak g}))$ be the braided monoidal category of finite-dimensional modules for $U_ζ({\mathfrak g})$. In this paper we classify the thick tensor ideals of $\mod(U_ζ({\mathfrak g}))$ and compute the prime spectrum of the stable module category associated to $ ext{mod}(U_ζ({\mathfrak g}))$ as defined by Balmer.

研究动机与目标

• 对根单位根处量子群有限维模范畴中的厚张量理想进行分类。
• 确定与该范畴相关的稳定模范畴的Balmer谱。
• 通过拟支持数据与投影性假设，将支持理论从小型量子群推广至大型量子群。
• 通过幂零锥坐标环上的G-不变理想，建立张量理想与幂零轨道之间的几何对应关系。
• 验证Humphreys关于具有正则最高权的tilting模的绝对支持簇的猜想。

提出的方法

• 定义拟支持数据，通过弱化张量积条件以处理无限维模。
• 利用假设2.5.1，确保稳定模范畴中某些无限生成模的投影性。
• 应用线丛上同调技术，将投影性问题约化为小型量子群的Borel子代数上的模。
• 构建从稳定模范畴到幂零锥坐标代数上G-不变理想Zariski空间的支撑映射。
• 利用先前工作（如ABG）中的局部化定理与导出等价性，将表示理论与几何联系起来。
• 通过归纳法与正合序列中的交换图表，证明双模与张量积之间Ext映射的单射性与同构性。

实验结果

研究问题

• RQ1 根单位根处量子群有限维模范畴中的厚张量理想的完整分类是什么？
• RQ2 稳定模范畴的Balmer谱与幂零锥的几何结构有何关系？
• RQ3 能否用幂零轨道来几何地描述tilting模的支持簇？
• RQ4 幂零锥坐标环上的G-不变理想在张量理想分类中起什么作用？
• RQ5 在量子群稳定模范畴的支持理论中，张量积性质在多大程度上成立？

主要发现

• mod(U_ζ(g))中的厚张量理想与幂零锥N的坐标代数上的G-不变理想之间存在一一对应关系。
• 稳定模范畴的Balmer谱与N的坐标环上G-不变理想的集合之间同胚。
• 具有正则最高权的tilting模的支持簇即为其最高权所属的双侧细胞所对应的幂零轨道。
• 对所有n ≥ 0，Ext映射φₙ: Extⁿ_{Ā}(Q₁*, Q₂) → Extⁿ_Δ(ℂ, Q₁⊗Q₂)是同构，确立了支持理论中的关键相容性。
• 对全范畴mod(U_ζ(g))中张量理想的分类补充了Ostrik对tilting范畴的结果，将其推广至所有有限维模。
• 同构φₙ的证明依赖于归纳法、涉及Ext序列的交换图表，以及中间映射的单射性，最终在所有度数上实现完全同构。