[论文解读] Stated SL(n)-Skein Modules and Algebras

Thang T. Q. Lê, Adam S. Sikora|arXiv (Cornell University)|Dec 31, 2021

Geometric and Algebraic Topology被引用 7

一句话总结

本文引入了带有边界标记的3-流形的陈述式 SL(n)-skein 模和代数，推广了早期关于 SL(2) 和 SL(3) 的 skein 理论。它建立了分裂同态，使得 skein 模可以被分解，证明了加厚大边形的 skein 代数同构于量子群 Oq(SL(n))，并提供了其霍普夫代数结构的几何解释。该理论进一步与因子化同调及量子模空间相联系，统一了量子群理论与拓扑量子场论中的关键结构。

ABSTRACT

We develop a theory of stated SL(n)-skein modules, $S_n(M,N),$ of 3-manifolds $M$ marked with intervals $N$ in their boundaries. They consist of linear combinations of $n$-webs with ends in $N$, considered up to skein relations inspired by the relations of the Reshetikhin-Turaev theory. We prove that cutting $M$ along a disk resulting in a $3$-manifold $M'$ yields a homomorphism $S_n(M) o S_n(M')$. That result allows to analyze the skein modules of $3$-manifolds through the skein modules of their pieces. The theory of stated skein modules is particularly rich for thickened surfaces $M=Σ imes (-1,1),$ in whose case, $S_n(M)$ is an algebra, denoted by $S_n(Σ).$ We prove that the skein algebra of the ideal bigon is $O_q(SL(n))$ and that it provides simple geometric interpretations of the product, coproduct, counit, the antipode, and the cobraided structure on $O_q(SL(n)).$ Additionally, we show that a splitting of a thickened bigon near a marking defines a $O_q(SL(n))$-comodule structure on $S_n(M),$ or dually, an $U_q(sl_n)$-module structure. Furthermore, we show that the skein algebra of surfaces $Σ_1, Σ_2$ glued along two sides of a triangle is isomorphic with the braided tensor product $S_n(Σ_1)\underline{\otimes} S_n(Σ_2)$ of Majid. These results allow for a geometric interpretation of further concepts in the theory of quantum groups, for example, of the braided products and of Majid's transmutation operation. We prove that the factorization homology of surfaces with coefficients in $Rep\, U_q(sl_n)$ is equivalent to the category of left modules over $S_n(Σ)$. We also discuss the relation with the quantum moduli spaces of Alekseev-Schomerus. Finally, we show that for surfaces $Σ$ with boundary, $S_n(Σ)$ is a free module with a basis induced from the Kashiwara-Lusztig canonical bases.

研究动机与目标

• 开发一个统一的框架，用于带有区间标记的3-流形的陈述式 skein 模，推广已知的 SL(2) 和 SL(3) 理论。
• 建立分裂定理，表明切割一个标记的3-流形会在 skein 模上诱导一个同态。
• 证明加厚大边形的 skein 代数同构于量子群 Oq(SL(n))，并提供其代数结构的几何解释。
• 将 skein 代数与因子化同调及量子模空间相联系，尤其针对有边界的曲面。
• 证明对于有边界的曲面，分裂同态是单射的，并且 skein 代数可由卡施瓦拉-卢茨蒂格的典范基诱导出基。

提出的方法

• 将陈述式 SL(n)-skein 模 Sn(M, N) 定义为带有边界区间 N 的端点的框架化、定向的 n-网络的正式线性组合，模掉来自 Uq(sln)-雷斯捷希金-图雷夫函子的 skein 关系。
• 通过沿圆盘切割引入分裂同态，并证明其为良定义的模同态。
• 利用雷斯待希金-图雷夫函子，定义带有补丁的辫子的不变量，表示反对称化子及其对偶。
• 通过显式代数同态 ϕ 证明大边形的 skein 代数同构于 Oq(SL(n))，通过单射性和满射性论证证明其为同构。
• 通过在标记附近进行分裂，构造 Sn(M) 上的右 Oq(SL(n))-余模结构，对偶地给出左 Uq(sln)-模结构。
• 建立粘合 skein 代数与马吉德的辫子张量积之间的同构，从而实现对辫子积和变体的几何解释。

实验结果

研究问题

• RQ1 如何将陈述式 skein 模推广到任意 n 的 SL(n)，以扩展已知的 SL(2) 和 SL(3) 理论？
• RQ2 分裂同态在分解 3-流形的 skein 模中起什么作用？对于有边界的曲面，它是否是单射的？
• RQ3 大边形的 skein 代数是否同构于 Oq(SL(n))？其霍普夫代数结构能否被几何解释？
• RQ4 曲面的 skein 代数如何与因子化同调及量子模空间相关联？
• RQ5 能否将有边界的曲面的 skein 代数描述为自由模，其基由量子群的典范基诱导？

主要发现

• 大边形的 skein 代数同构于 Oq(SL(n))，同构 ϕ: Sn(B) → Oq(SL(n)) 被证明既是单射也是满射。
• Oq(SL(n)) 中的余乘法被几何实现为分裂同态，为这一代数结构提供了拓扑解释。
• 对于任意带孔的边界曲面 Σ，skein 代数 Sn(Σ) 是一个自由模，其基由卡施瓦拉-卢茨蒂格典范基诱导。
• 对于有边界的曲面，分裂同态是单射的，且分裂同态的像是一个直和项。
• 沿理想三角形粘合的两个曲面的 skein 代数同构于马吉德意义上的辫子张量积 Sn(Σ1) ⊗_R Sn(Σ2)。
• 当 ∂Σ = S¹ 时，以 Uq(sln)-模范畴为系数的因子化同调，等价于 Sn(Σ)-模范畴的左模范畴。