[论文解读] Triangular decomposition of $SL_3$ skein algebras

Vijay Higgins|arXiv (Cornell University)|Aug 21, 2020

Geometric and Algebraic Topology参考文献 10被引用 7

一句话总结

本文通过引入SL3的标记 skein 代数，建立了Le关于Kauffman括号 skein 代数的三角分解在SL3情形下的类比，证明该代数可分解为Oq(SL3)代数的张量积。关键结果是：任意理想三角剖分曲面的标记 skein 代数可单射嵌入至三角形的标记 skein 代数的张量积中，且三角形代数同构于braided tensor product Oq(SL3) ⊗−Oq(SL3)。

ABSTRACT

We give an $SL_3$ analogue of the triangular decomposition of the Kauffman bracket stated skein algebras described by Le. To any punctured bordered surface, we associate an $SL_3$ stated skein algebra which contains the $SL_3$ skein algebra of closed webs. These algebras admit natural algebra morphisms associated to the splitting of surfaces along ideal arcs. We give an explicit basis for the $SL_3$ stated skein algebra and show that the splitting morphisms are injective and describe their images. By splitting a surface along the edges of an ideal triangulation, we see that the $SL_3$ stated skein algebra of any ideal triangulable surface embeds into a tensor product of stated skein algebras of triangles.

研究动机与目标

• 将Le对SL2的Kauffman括号 skein 代数的三角分解推广至SL3情形。
• 定义SL3的标记 skein 代数，使其保持常规 skein 代数结构的同时，允许单射分裂映射。
• 将任意理想三角剖分曲面的SL3标记 skein 代数分解为三角形的标记 skein 代数的张量积。
• 验证三角形的标记 skein 代数是否同构于braided tensor product Oq(SL3) ⊗−Oq(SL3)。
• 通过约化规则与Diamond Lemma，证明沿理想弧的分裂映射是单射，并构造显式基。

提出的方法

• 通过向标准 skein 代数添加边界关系，引入SL3的标记 skein 代数，以实现沿理想弧的分裂映射。
• 将大二边形的标记 skein 代数定义为作为Hopf代数同构于Oq(SL3)，并利用图示映射φ建立同构。
• 利用Oq(SL3)上的cobraiding ρ，在三角形的标记 skein 代数上定义braided tensor product结构。
• 通过SL3 skein关系导出的约化规则（包括边界关系）构造标记 skein 代数的显式基。
• 应用Diamond Lemma证明约化系统具有收敛性与终止性，从而得到唯一标准形，支持单射性证明。
• 通过将一般情形约化至单边形情形，并利用基与约化规则验证，证明分裂映射的单射性。

实验结果

研究问题

• RQ1 能否定义SL3的标记 skein 代数，使得其沿理想弧的分裂映射是单射且具有三角分解？
• RQ2 三角形的标记 skein 代数是否同构于braided tensor product Oq(SL3) ⊗−Oq(SL3)？
• RQ3 三角形的标记 skein 代数是否恢复Oq(SL3)的Hopf代数结构？
• RQ4 能否通过约化系统与Diamond Lemma证明分裂映射的单射性？
• RQ5 任意理想三角剖分曲面的标记 skein 代数是否可通过单射分裂映射嵌入至三角形的标记 skein 代数的张量积中？

主要发现

• 大二边形的标记 skein 代数作为Hopf代数同构于Oq(SL3)，同构关系通过明确定义的图示映射φ建立。
• 三角形的标记 skein 代数同构于braided tensor product Oq(SL3) ⊗−Oq(SL3)，braiding由cobraiding ρ诱导。
• 任意理想弧关联的分裂映射是单射，其单射性通过约化至单边形情形，并利用Diamond Lemma证明。
• 通过扩展的约化规则集（包括边界关系）构造了SL3标记 skein 代数的显式基，确保系统收敛与终止。
• 任意理想三角剖分曲面的标记 skein 代数可单射嵌入至三角形的标记 skein 代数的张量积中，实现三角分解。
• 单射分裂映射与代数结构相容，且该分解符合类似于特征簇理论中的正合序列。