[论文解读] ${ m SL}_2$ quantum trace in quantum Teichmüller theory via writhe

Hyun Kyu Kim, Lê, Thang T. Q.+1 more|arXiv (Cornell University)|Dec 30, 2018

Algebraic structures and combinatorial models参考文献 32被引用 4

一句话总结

本文建立了量子Teichmüller理论中${\rm SL}_2$量子迹的两种不同构造之间的等价性：一种是通过Bonahon和Wong的辫代数量子迹，另一种是通过Gabella基于谱网络和 writhe不变量的量子holonomy。作者证明Gabella的构造是Bonahon-Wong量子迹的扭曲版本，从而解决了3D量子引力与簇代数框架中量子化方法一致性这一长期悬而未决的问题。

ABSTRACT

Quantization of the Teichmüller space of a punctured Riemann surface $S$ is an approach to $3$-dimensional quantum gravity, and is a prototypical example of quantization of cluster varieties. Any simple loop $γ$ in $S$ gives rise to a natural trace-of-monodromy function $\mathbb{I}(γ)$ on the Teichmüller space. For any ideal triangulation $Δ$ of $S$, this function $\mathbb{I}(γ)$ is a Laurent polynomial in the square-roots of the exponentiated shear coordinates for the arcs of $Δ$. An important problem was to construct a quantization of this function $\mathbb{I}(γ)$, namely to replace it by a noncommutative Laurent polynomial in the quantum variables. This problem, which is closely related to the framed protected spin characters in physics, has been solved by Allegretti and Kim using Bonahon and Wong's ${ m SL}_2$ quantum trace for skein algebras, and by Gabella using Gaiotto, Moore and Neitzke's Seiberg-Witten curves, spectral networks, and writhe of links. We show that these two solutions to the quantization problem coincide. We enhance Gabella's solution and show that it is a twist of the Bonahon-Wong quantum trace.

研究动机与目标

• 解决在带 puncture 的曲面的Teichmüller空间上对单值群迹函数$\mathbb{I}(\gamma)$进行一致量子化的长期难题。
• 比较并统一两种不同的该量子化方法：Allegretti和Kim使用Bonahon-Wong的${\rm SL}_2$量子迹，以及Gabella基于谱网络和writhe不变量的方法。
• 证明Gabella的量子holonomy构造与Bonahon-Wong量子迹在扭曲意义下等价，从而在不同物理与数学框架之间建立一致性。
• 通过将量子迹映射与纽结不变量及writhe修正联系起来，为量子Teichmüller理论提供统一的代数与几何框架。

提出的方法

• 使用Bonahon-Wong辫代数上的量子迹映射，该映射通过理想三角剖分上的状态和公式定义，并扩展至双角形和三角形。
• 应用Gabella的量子holonomy构造，该构造使用$\mathcal{U}_q(\mathfrak{sl}_2)$的Reshetikhin-Turaev算子不变量，并通过带框架的纽结引入writhe修正。
• 引入一个偏离修正项$\partial\mathcal{C}$，以考虑边界弧方向并确保在三角剖分变换下的一致性。
• 通过比较Weyl有序形式下的三角形和双角形因子，建立Bonahon-Wong与Gabella构造之间的逐项相等。
• 利用双角形和三角形中辫图的writhe，通过扭曲因子$q^{-{\rm wr}_{\widehat{\Delta}}(\widetilde{K}^J)}$将量子holonomy与量子迹联系起来。
• 利用不同三角剖分之间量子坐标变换同构$\Phi^{q}_{\Delta,\Delta'}$的一致性，确保量子迹的全局不变性。

实验结果

研究问题

• RQ1 通过Bonahon-Wong辫代数与Gabella基于谱网络的量子holonomy构造出的${\rm SL}_2$量子迹是否等价？
• RQ2 在三角剖分中，带框架纽结的writhe如何与Chekhov-Fock代数中的量子迹相关联？
• RQ3 Gabella的量子holonomy能否表示为Bonahon-Wong量子迹的扭曲版本？
• RQ4 边界弧方向修正项($\partial\mathcal{C}$)在调和两种构造之间起到什么作用？
• RQ5 当通过writhe和holonomy不变量表达时，量子迹映射在不同理想三角剖分下是否保持一致？

主要发现

• Bonahon-Wong量子迹与Gabella的量子holonomy构造在量子Teichmüller空间上的${\rm SL}_2$量子迹上产生完全相同的结果。
• Gabella的构造被证明是Bonahon-Wong量子迹的一个扭曲版本，扭曲因子为$q^{-{\rm wr}_{\widehat{\Delta}}(\widetilde{K}^J)}$，该因子解释了三角剖分中带框架纽结的writhe。
• 当以Weyl有序形式表达时，两种构造的三角形因子相等，且偏离项$\sum_j {\rm dev}_{\widehat{t}_j}(K_j, J|_{\partial K_j})$在两种方法中完全匹配。
• 两种构造中的双角形因子通过一个与writhe修正$\omega^{2{\rm wr}(D_i)}$一致的扭曲相关联，从而在局部辫图层面确认了构造的一致性。
• 由边界弧方向引起的总修正项$\partial\mathcal{C}_{(\Sigma,\mathcal{P})}(K,s)$确保了局部修正之和与全局writhe及holonomy不变量相匹配。
• 主要定理由逐项证明：${\rm BW}^\omega_{\widehat{\Delta}}(K;J) = \omega^{2{\rm wr}(K)} \omega^{\partial\mathcal{C}_{(\Sigma,\mathcal{P})}(K,s)} \overline{\underline{\Omega}}(\widetilde{K}^J;\omega) \widehat{Z}_{\widetilde{K}^J}$，从而完全确认了等价性。