[Paper Review] ${ 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 models32 references4 citations

TL;DR

This paper establishes the equivalence between two distinct constructions of the ${\rm SL}_2$ quantum trace in quantum Teichmüller theory: one via Bonahon and Wong's skein algebra quantum trace, and another via Gabella's quantum holonomy based on spectral networks and writhe invariants. The authors prove that Gabella's construction is a twisted version of the Bonahon-Wong quantum trace, resolving a long-standing question about the consistency of quantization methods in 3D quantum gravity and cluster algebra frameworks.

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.

Motivation & Objective

• To resolve the long-standing problem of constructing a consistent quantization of the trace-of-monodromy function $\mathbb{I}(\gamma)$ on the Teichmüller space of a punctured surface.
• To compare and unify two distinct approaches to this quantization: Allegretti and Kim’s use of the Bonahon-Wong ${\rm SL}_2$ quantum trace, and Gabella’s approach using spectral networks and writhe invariants.
• To show that Gabella’s quantum holonomy construction is equivalent to the Bonahon-Wong quantum trace up to a twist, thereby establishing consistency across different physical and mathematical frameworks.
• To provide a unified algebraic and geometric framework for quantum Teichmüller theory by relating quantum trace maps to link invariants and writhe corrections.

Proposed method

• Utilizes the Bonahon-Wong quantum trace map on skein algebras, defined via state-sum formulas on ideal triangulations and extended to biangles and triangles.
• Applies Gabella’s quantum holonomy construction, which uses the Reshetikhin-Turaev operator invariant for $\mathcal{U}_q(\mathfrak{sl}_2)$ and incorporates writhe corrections via framed links.
• Introduces a deviation correction term $\partial\mathcal{C}$ that accounts for boundary arc orientations and ensures consistency under triangulation changes.
• Establishes a term-by-term equality between the Bonahon-Wong and Gabella constructions by comparing triangle and biangle factors using Weyl ordering and quantum parameter $\omega$.
• Uses the writhe of tangle diagrams in biangles and triangles to relate the quantum holonomy to the quantum trace via a twist factor $q^{-{\rm wr}_{\widehat{\Delta}}(\widetilde{K}^J)}$.
• Employs the consistency of quantum coordinate change isomorphisms $\Phi^{q}_{\Delta,\Delta'}$ across triangulations to ensure global invariance of the quantum trace.

Experimental results

Research questions

• RQ1 Are the two constructions of the ${\rm SL}_2$ quantum trace—via Bonahon-Wong skein algebra and via Gabella’s spectral network-based quantum holonomy—equivalent?
• RQ2 How does the writhe of framed links in the triangulation relate to the quantum trace in the Chekhov-Fock algebra?
• RQ3 Can Gabella’s quantum holonomy be expressed as a twisted version of the Bonahon-Wong quantum trace?
• RQ4 What role do boundary arc orientation corrections ($\partial\mathcal{C}$) play in reconciling the two constructions?
• RQ5 Is the quantum trace map consistent across different ideal triangulations when expressed via writhe and holonomy invariants?

Key findings

• The Bonahon-Wong quantum trace and Gabella’s quantum holonomy construction yield identical results for the ${\rm SL}_2$ quantum trace on the quantum Teichmüller space.
• Gabella’s construction is shown to be a twist of the Bonahon-Wong quantum trace by a factor of $q^{-{\rm wr}_{\widehat{\Delta}}(\widetilde{K}^J)}$, which accounts for the writhe of the framed link in the triangulation.
• The triangle factors of both constructions are equal when expressed in Weyl-ordered form, with deviation terms $\sum_j {\rm dev}_{\widehat{t}_j}(K_j, J|_{\partial K_j})$ matching across both approaches.
• The biangle factors in both constructions are related via a twist that matches the writhe correction $\omega^{2{\rm wr}(D_i)}$, confirming consistency at the level of local tangle diagrams.
• The total correction term $\partial\mathcal{C}_{(\Sigma,\mathcal{P})}(K,s)$, arising from boundary arc orientations, ensures that the sum of local corrections matches the global writhe and holonomy invariants.
• The main theorem is proven term-by-term: ${\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}$, confirming full equivalence.