[论文解读] Quivers for SL(2) tilting modules

Daniel Tubbenhauer, Paul Wedrich|arXiv (Cornell University)|Jul 26, 2019

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

一句话总结

本文在特征为 p 的素数域 𝔽ₚ 上构造了一个带关系的 quiver，该 quiver 表示了正特征 p 下 SL(2) 的 tilting 模块范畴。通过图解方法与 Temperley–Lieb 计算，建立了该 quiver 的路径代数与 tilting 模块范畴之间的代数同构，提供了一种类群作用的生成元与关系描述，通过 p-Jones–Wenzl 投影算子捕捉了 Weyl 因子结构与态射空间。

ABSTRACT

Using diagrammatic methods, we define a quiver algebra depending on a prime p and show that it is the algebra underlying the category of tilting modules for SL(2) in characteristic p. Along the way we obtain a presentation for morphisms between p-Jones-Wenzl projectors.

研究动机与目标

• 为代数闭域上正特征 p 的 SL(2) tilting 模块范畴提供一个生成元与关系的表述。
• 在 𝔽ₚ 上定义一个带关系的 quiver，其路径代数实现 tilting 模块范畴为有限生成投射模的范畴。
• 使用图解技术与 Temperley–Lieb 范畴来建模 tilting 模块之间的态射，特别是通过 p-Jones–Wenzl 投影算子。
• 通过显式的代数表述在 tilting 模块范畴上建立一个张量结构。

提出的方法

• quiver 的顶点集为 ℕ₀，顶点以最高权 v−1 标记，箭头对应于 v 的 p 进制展开中数位的取反操作。
• 箭头定义为 𝒟ᵢ 和 𝒰ᵢ，分别对应于 p 进制数位结构中的下移与上移操作，关系编码了幂零性、远对称性与局部对称性。
• quiver 的路径代数被模掉反映 Weyl 因子结构与 tilting 模块中态射复合结构的关系。
• 通过 𝔽ₚ 上的 p-Jones–Wenzl 投影算子来建模态射，这些算子将投影到标准表示张量幂中的 Weyl 因子上。
• 通过 Temperley–Lieb 计算定义标准与 p-态射，环路构成自同态空间的基。
• 证明代数 Z 通过一个将顶点映射到不可约 tilting 模块、路径映射到态射的函子 F，与 tilting 模块范畴同构。

实验结果

研究问题

• RQ1 如何通过一个 quiver 使用生成元与关系来表述正特征 p 下 SL(2) 的 tilting 模块范畴？
• RQ2 不可约 tilting 模块之间态射的图解结构是什么？如何通过代数方式捕捉这一结构？
• RQ3 最高权的 p 进制数字如何影响 Weyl 因子分解与 quiver 结构？
• RQ4 p-Jones–Wenzl 投影算子在实现 quiver 代数中态射时起到什么作用？
• RQ5 tilting 模块范畴能否被实现为一个无限且具有分形结构的 quiver 的路径代数上的有限生成投射模范畴？

主要发现

• 代数 Z 通过一个函子 F 与 tilting 模块范畴同构，该函子将顶点 v−1 上的常值路径映射到 T(v−1) 的幂等元，从而实现完全且忠实的表示。
• 对于 v 的 p 进制展开中每个非零数字 aᵢ ≠ 0 (i < j)，quiver 在 v−1 到 w−1 之间有 r 条箭头，对应于该数位的取反操作。
• T(v−1) 中 Weyl 因子的数量为 2ʳ，其中 r 是 v 的 p 进制展开中非零数字的个数。
• 通过半无限 Ringel 对偶性，tilting 模块范畴与 Z 上有限生成投射模的范畴等价。
• tilting 模块范畴中的厚张量理想由素数幂索引，形成一个递减链 I_{p⁰} ⊃ I_{p¹} ⊃ I_{p²} ⊃ …
• p-Jones–Wenzl 投影算子提供了与张量结构及 p 进制数位结构相容的 tilting 模块之间态射的表述。