[论文解读] Dimension and Trace of the Kauffman Bracket Skein Algebra

Charles Frohman, Joanna Kania-Bartoszyńska+1 more|arXiv (Cornell University)|Feb 6, 2019

Algebraic structures and combinatorial models参考文献 18被引用 7

一句话总结

本文计算了有限型曲面 $F$ 和单位根 $ζ$ 下 Kauffman 模 bracket skein 代数 $K_{ζ}(F)$ 关于其中心的秩与迹，通过两种裤分解实现了代数在中心上的分裂。关键结果是给出了 $K_{ζ}(F)$ 关于其中心的维数公式，其依赖于 $ζ$ 模 4 的阶，以及一个迹公式：若基元素 $T(\alpha)$ 是中心元素，则其约化迹为 $T(\alpha)$，否则为 0。

ABSTRACT

Let $F$ be a finite type surface and $ζ$ a complex root of unity. The Kauffman bracket skein algebra $K_ζ(F)$ is an important object in both classical and quantum topology as it has relations to the character variety, the Teichmüller space, the Jones polynomial, and the Witten-Reshetikhin-Turaev Topological Quantum Field Theories. We compute the rank and trace of $K_ζ(F)$ over its center, and we extend a theorem of Frohman and Kania-Bartoszynska which says the skein algebra has a splitting coming from two pants decompositions of $F$.

研究动机与目标

• 计算有限型曲面 $F$ 和单位根 $\zeta$ 下，Kauffman 模 bracket skein 代数 $K_{\zeta}(F)$ 关于其中心 $Z_{\zeta}(F)$ 的维数。
• 确定 $K_{\zeta}(F)$ 中元素的约化迹，特别是由简单图 $\alpha$ 索引的基元素 $T(\alpha)$ 的迹。
• 证明代数 $\tilde{K}_{\zeta}(F) = K_{\zeta}(F) \otimes_{Z_{\zeta}(F)} \tilde{Z}_{\zeta}(F)$ 可分解为两个由裤分解导出的最大交换子代数的张量积。
• 建立 $\tilde{K}_{\zeta}(F)$ 是其中心上的有限维除法代数，从而支持迹理论。

提出的方法

• 使用 Dehn-Thurston 坐标及其在德恩旋转下的稳定性，为曲面上的简单图定义稳定坐标。
• 在 skein 元素上引入一个次数映射，以制定关于中心上线性无关性的判别准则。
• 应用滤子技术和余群结构分析 $K_{\zeta}(F)$ 的代数结构。
• 构造曲面 $F$ 的两个裤分解 $\mathcal{P}$ 和 $\mathcal{Q}$，使得自然映射 $\psi: \mathcal{C}_{\zeta}(\mathcal{P}) \otimes_{\tilde{Z}_{\zeta}(F)} \mathcal{C}_{\zeta}(\mathcal{Q}) \to \tilde{K}_{\zeta}(F)$ 是同构。
• 利用 $\mathbb{Z}^{6g-6}$ 中的交集矩阵与指标计算，验证分裂的生成性与线性无关性条件。
• 通过基 $\{T(\alpha)\}$ 中中心元素的结构计算约化迹，利用 $T(\alpha)$ 是中心元素当且仅当 $\alpha \in \mathscr{S}_{\zeta}$ 的事实。

实验结果

研究问题

• RQ1 对于亏格为 $g$、有 $p$ 个 puncture 的曲面 $F$，Kauffman 模 bracket skein 代数 $K_{\zeta}(F)$ 关于其中心 $Z_{\zeta}(F)$ 的维数是多少？
• RQ2 在 $K_{\zeta}(F)$ 中，基元素 $T(\alpha)$ 的约化迹如何表现，其非零的条件是什么？
• RQ3 代数 $\tilde{K}_{\zeta}(F)$ 是否可分解为两个由裤分解导出的最大交换子代数的张量积？
• RQ4 Dehn-Thurston 坐标及其稳定性在分析 skein 代数结构中起什么作用？
• RQ5 ${\zeta}$ 模 4 的阶如何影响 $K_{\zeta}(F)$ 的代数结构？

主要发现

• 若 $\mathrm{ord}(\zeta) \not\equiv 0 \pmod{4}$，则 $K_{\zeta}(F)$ 关于其中心的维数为 $m^{6g-6+2p}$；若 $\mathrm{ord}(\zeta) \equiv 0 \pmod{4}$，则为 $2^{2g} m^{6g-6+2p}$，其中 $m = \mathrm{ord}(\zeta^4)$。
• $\tilde{K}_{\zeta}(F)$ 是其中心 $\tilde{Z}_{\zeta}(F)$ 上的有限维除法代数，因此其每个元素都属于 $\tilde{Z}_{\zeta}(F)$ 的某个有限域扩张。
• 若 $T(\alpha)$ 是中心元素（即 $\alpha \in \mathscr{S}_{\zeta}$），则 $T(\alpha)$ 的约化迹为 $T(\alpha)$；否则为 0。
• 存在裤分解 $\mathcal{P}$ 和 $\mathcal{Q}$，使得映射 $\psi: \mathcal{C}_{\zeta}(\mathcal{P}) \otimes_{\tilde{Z}_{\zeta}(F)} \mathcal{C}_{\zeta}(\mathcal{Q}) \to \tilde{K}_{\zeta}(F)$ 是 $\tilde{Z}_{\zeta}(F)$-线性同构，从而证明了 $\tilde{K}_{\zeta}(F)$ 的分裂性。
• $\mathcal{P}$ 和 $\mathcal{Q}$ 的次数子幺半群之和在 $\mathbb{Z}^{6g-6}$ 中的指标等于整个次数格的指标，从而确认了分裂条件。
• 迹公式与分裂结果对所有单位根 $\zeta$ 成立，且该构造可通过将曲面的两个副本沿边界分量粘合而实现几何化。