[论文解读] SL2 tilting modules in the mixed case

Louise Sutton, Daniel Tubbenhauer+2 more|arXiv (Cornell University)|May 17, 2021

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

一句话总结

本论文利用非半单 Temperley–Lieb 计算，发展了一套图示框架，用于研究混合特征情形下 SL2 的 tilting 模的加法与张量结构——同时推广了半单情形、单位根处的量子群以及正特征情形。论文引入了混合 Jones–Wenzl 投影算子的递归构造，给出了该范畴的带关系图（quiver-with-relations）描述，并建立了具有显式分解映射的融合规则，揭示了比经典情形更丰富的结构。关键贡献在于对 Müger 中心的完整刻画，表明其非平凡当且仅当 q = ±1，暗示了存在非平凡的 3-流形不变量的可能。

ABSTRACT

Using the non-semisimple Temperley-Lieb calculus, we study the additive and monoidal structure of the category of tilting modules for $\mathrm{SL}_{2}$ in the mixed case. This simultaneously generalizes the semisimple situation, the case of the complex quantum group at a root of unity, and the algebraic group case in positive characteristic. We describe character formulas and give a presentation of the category of tilting modules as an additive category via a quiver with relations. Turning to the monoidal structure, we describe fusion rules and obtain an explicit recursive description of the appropriate analog of Jones-Wenzl projectors. We also discuss certain theta values, the tensor ideals, mixed Verlinde quotients and the non-degeneracy of the braiding.

研究动机与目标

• 为 SL2 在混合情形下的 tilting 模建立统一的图示框架，其中域的特征与量子参数 q 均为任意。
• 将经典关于 Jones–Wenzl 投影算子与融合规则的结果推广至非半单情形，涵盖正特征与单位根处的量子群。
• 通过带关系图将 tilting 模的范畴表示为一个加法范畴，提供半无限的 Ringel 对偶描述。
• 计算非半单情形下 theta 值的类比，并理解其在耦合理论中的作用。
• 对张量理想进行分类，并通过 Müger 中心确定对称性的非退化性，尤其关注其与拓扑不变量的关系。

提出的方法

• 使用非半单 Temperley–Lieb 计算，将 tilting 模范畴 Tiltk,q 建模为 TLk,q 的幂等完备化。
• 通过递归关系定义混合 Jones–Wenzl 投影算子 Ev−1，其推广了经典 Jones–Wenzl 投影算子、Goodman–Wenzl 投影算子以及 p-Jones–Wenzl 投影算子。
• 将 Tiltk,q 表示为带关系图的路径代数上的投射模范畴，其显式描述见定理 3.25。
• 通过图示递归方法，将投影算子的张量积 Ev ⊗ Ew 分解为不可约和项，从而推导出 tilting 模张量积的融合规则。
• 通过涉及二边形移除标量与环路贡献的图示公式，计算非半单 theta 值。
• 通过分析 Temperley–Lieb 代数中带圈恒等态射与基变换矩阵，研究 Müger 中心，证明其非平凡当且仅当 q = ±1。

实验结果

研究问题

• RQ1 在域特征与量子参数 q 均可变的混合情形下，SL2 的 tilting 模范畴能否被统一描述？
• RQ2 在非半单情形下，Jones–Wenzl 投影算子的正确推广是什么？如何实现其递归构造？
• RQ3 当不可约模不再为单模时，tilting 模的融合规则与半单情形有何不同？
• RQ4 Tiltk,q 中非退化对称的结构是怎样的？Müger 中心在何时非平凡？
• RQ5 theta 值与二边形移除标量在非半单范畴的耦合理论中起何作用？

主要发现

• 范畴 Tiltk,q 可表示为带关系图的路径代数上的投射模范畴，其显式描述见定理 3.25，从而提供了半无限的 Ringel 对偶描述。
• 混合 Jones–Wenzl 投影算子 Ev−1 通过递归方式构造，对应于不可约 tilting 模 T(v−1)，推广了经典与量子群投影算子。
• tilting 模张量积的融合规则通过显式分解映射以图示方式实现，一般情况下出现至多二重的重数以及幂零自同态。
• 非半单情形下 theta 值的类比通过涉及环路贡献与二边形移除标量的图示公式计算，其显式系数包含 v 与 a0。
• Müger 中心 MZ(Tiltk,q) 非平凡当且仅当 q = ±1，通过分析带圈恒等态射在非单 tilting 模上的作用得以证明。
• 在带圈恒等式公式中的标量 sv(v) 在 a0 ≠ 0 且 q ≠ ±1 时非零，这对于证明 Müger 中心在非 ±1 情形下为平凡至关重要。