---
title: '3D Quantum Trace Map: Quantizing Skein Modules'
url: https://www.emergentmind.com/topics/3d-quantum-trace-map
type: topic
---

# 3D Quantum Trace Map: Quantizing Skein Modules

The 3D quantum trace map is a homomorphism from a skein module of an ideally triangulated \(3\)-manifold to a quantum gluing module built from quantized shape parameters. Its purpose is to quantize the classical trace map, thereby relating skein-theoretic quantizations of character varieties to quantum versions of Thurston’s gluing equations. In the current literature, the subject includes a conjectural construction for hyperbolic knot complements, two 2024 constructions for ideally triangulated \(3\)-manifolds, and a later comparison showing how the principal constructions are related [2203.15985][2403.12850][2403.12424][2606.13268].

## 1. Definition and conceptual setting

A \(3\)D quantum trace map is described as a map from the Kauffman bracket skein module of an ideally triangulated \(3\)-manifold to its quantum gluing module that quantizes the classical trace map [2606.13268]. In the formulation of Panitch and Park, the central theorem gives a natural \(R\)-module homomorphism
\[
\Tr_q^3:\Sk(Y)\longrightarrow \SQGM_{\mathcal T}(Y),
\]
for an oriented \(3\)-manifold \(Y\) with ideal triangulation \(\mathcal T\), and states that in the classical limit \(A\to 1\), \(\Tr_q^3\) recovers the usual hyperbolic \(\SL_2(\mathbb C)\) trace of holonomy [2403.12850]. In the parallel construction for \(3\)-manifolds with torus boundary components, Garoufalidis and Yu define a quantum trace
\[
\Tr_q^T:S_q(M)\to (T),
\]
where \((T)\) is a module obtained as a left and right quotient of a quantum torus associated to an ideal triangulation \(T\) [2403.12424].

Historically, the immediate precursor is the 2022 work on hyperbolic knot complements \(M=S^3\setminus \mathcal K\), where a quantum trace map
\[
\tau\equiv tr_q^{\mathcal T}:S_q^{even}[M]\to \widehat C_q[\mathcal T]
\]
was introduced conjecturally as a unique injective \(\mathbb C[q^{\pm1/4}]\)-module map satisfying reduction to the classical trace map at \(q^{1/4}=-1\), compatibility with skein relations and Dehn filling, and consistency under adding a meridian knot [2203.15985].

The \(3\)D map is repeatedly presented as a \(3\)-dimensional analogue of the \(2\)D quantum trace of Bonahon and Wong. In the surface case, the quantum trace sends the stated skein algebra of a punctured surface to the Chekhov–Fock quantum Teichmüller algebra and is characterized by cutting properties together with elementary triangle and biangle evaluations; Gabella’s spectral-network construction was later shown to coincide with the Bonahon–Wong construction up to a controlled twist, and to coincide exactly for closed loops [1812.11628]. This \(2\)D background is the immediate model for the \(3\)D generalizations.

## 2. Skein-theoretic source and gluing-theoretic target

On the source side, the various constructions start from Kauffman-bracket skein modules or their stated variants. For an oriented \(3\)-manifold \(M\), the skein module is generated by isotopy classes of framed, unoriented links modulo the local skein relation and trivial-loop relation; when boundary data are present, one uses stated skein modules in which boundary endpoints carry signs, together with local state-boundary relations [2403.12424][2403.12850]. In the 2026 corner-reduction framework, the basic objects are stated ribbon tangles in a boundary-marked \(3\)-manifold \((Y,\Gamma)\), and the stated skein module \(\Sk(Y,\Gamma)\) is defined using five local relations, including the Kauffman-bracket skein relation, loop removal, a boundary state relation, a boundary-triangle relation, and a boundary-half-twist relation [2606.13268]. The 2022 knot-complement construction works with an “even” Kauffman-skein module \(S_q^{even}[M]\), whose generators are labeled by even framed links, meaning that the product of the \(\mathbb Z_2\)-homology signs of the components equals \(+1\) [2203.15985].

On the target side, every construction uses a noncommutative algebra of quantized shape or shear parameters attached to an ideal triangulation. In the square-root formulation, each tetrahedron contributes generators \(\hat Z_T,\hat Z'_T,\hat Z''_T\) satisfying tetrahedral relations such as
\[
\hat Z_T\hat Z'_T\hat Z''_T=-1,\qquad \hat Z_T^{-1}+\hat Z'_T=1,\qquad \hat Z_T+\hat Z''_T{}^{-1}=1,
\]
together with \(q\)-commutation and quantum gluing relations around internal edges; the resulting algebra is the square-root quantum gluing module \(\SQGM_{\mathcal T}(Y)\) [2403.12850]. In the quantum-torus formulation, one begins with tensor products of local quantum tori generated by shape parameters \((z_j,z'_j,z''_j)\), imposes Lagrangian relations such as \(z_j^{-2}+(z''_j)^2=1\), and then imposes Weyl-ordered internal-edge relations to obtain the quantum gluing module \((T)\) [2403.12424]. In the 2022 hyperbolic-knot framework, the target \(\widehat C_q[\mathcal T]\) is generated by noncommuting shear operators \(\hat z_i,\hat z''_i\) modulo equivalence relations determined by explicit exponentiated edge-gluing operators \(e^{\hat C_I}\); each \(e^{\hat C_I}\) commutes with every \(\hat z_i\) and \(\hat z''_i\), and imposing \(e^{\hat C_I}=1\) implements the quantum version of the classical gluing equation [2203.15985].

The common structural principle is that link data in the skein module are converted into noncommutative Laurent expressions in shape parameters, while triangulation data determine which local variables and gluing constraints appear. This bridge is the defining role of the \(3\)D quantum trace map.

## 3. Construction paradigms

Two 2024 constructions established the existence of \(3\)D quantum trace maps in distinct but related languages, and a 2026 construction recast both in a common local framework.

Panitch and Park construct the map by cutting an ideally triangulated \(3\)-manifold into face suspensions. Each \(2\)-simplex \(f\) gives a local piece \(Sf\), and repeated application of the \(3\)D splitting theorem reduces the global skein module to a tensor product of local stated skein modules modulo edge-cone and vertex-cone relations. On each face suspension one defines a local quantum trace by an explicit finite state-sum in square roots of shape parameters, and the local maps glue because they satisfy the same relations as the reduced tensor product [2403.12850].

Garoufalidis and Yu instead present the skein module through the dual Heegaard surface \(H_T=(\Sigma_T;\{A_f\},\{B_e\})\). Splitting \(\Sigma_T\) along the \(A\)-curves decomposes it into standard lanterns, one for each tetrahedron. Each corner-reduced lantern skein algebra then maps to a local quantum torus, standard arcs being identified with the shape variables \(z_j,z'_j,z''_j\), after which the \(B\)-handle-slide relations become the internal-edge equations in the quantum torus [2403.12424].

Chen and Kricker give a third construction based on “corner-reduction.” They begin with an ideal-tetrahedron splitting
\[
\sigma:\Sk(Y)\to \overline\bigotimes_{T\in\mathcal T}\,\overline{\Sk}(T),
\]
define a local trace
\[
\Tr_T^c:\overline{\Sk}(T)\to \widehat G(T),
\]
and then glue these local traces to obtain
\[
\tau=(\overline\otimes_T\Tr_T^c)\circ \sigma:\Sk(Y)\to \widehat G_{\mathcal T}(Y).
\]
A central point of this construction is that face-cone partial corner-reduction modules embed into both the tetrahedral and face-suspension formalisms, so they serve as common local building blocks [2606.13268].

| Approach | Local decomposition | Global target |
|---|---|---|
| Garoufalidis–Yu [2403.12424] | Dual Heegaard surface split into lanterns | Quantum gluing module \((T)\) |
| Panitch–Park [2403.12850] | Face suspensions \(Sf\) | Square-root quantum gluing module \(\SQGM_{\mathcal T}(Y)\) |
| Chen–Kricker [2606.13268] | Ideal tetrahedra and face cones | Quantum gluing module \(\widehat G_{\mathcal T}(Y)\) |

These constructions differ in local presentation, but each realizes the same basic program: split the \(3\)-manifold into elementary pieces, define an explicit local trace on those pieces, and show that the local formulas descend through the gluing relations to a well-defined global map.

## 4. Equivalence, triangulation changes, and structural subtleties

The relationship between the two 2024 constructions was initially unknown. Chen and Kricker address this by introducing a third definition that agrees with the Garoufalidis–Yu map and can be compared to the Panitch–Park map through a common subdivision into face cones. Their exact comparison gives
\[
\Tr_{\mathcal T}^{[\mathrm{GY}]}=\tau,\qquad \Tr_{\mathcal T}^{[\mathrm{PP}]}=\mu\circ\tau,
\]
where \(\mu\) is the natural identification between the shape-parameter systems used in the two approaches; they further state that \(\mu\) is conjecturally an isomorphism [2606.13268].

Triangulation dependence is handled differently in the available formulations. In the face-suspension approach, the \(2\)–\(3\) Pachner move corresponds exactly to the classical \(5\)-term quantum dilogarithm identity in the quantum gluing module, which is the mechanism guaranteeing that the local definitions glue to a global well-defined map [2403.12850]. In the dual-surface/lantern formulation, the quantum trace is invariant under all \(3\leftrightarrow 2\) Pachner moves that do not create a degenerate univalent edge, but in general it is not invariant under \(2\leftrightarrow 3\) moves that create or remove univalent edges, because those edges satisfy different gluing data [2403.12424]. This is not a contradiction; it reflects a difference in hypotheses and in the precise gluing modules being used.

A further compatibility result comes from the relation with quantum UV–IR maps. For a cusped \(3\)-manifold \(Y\) with ideal triangulation \(\mathcal T\), a commutative square is established between the \( \mathfrak{gl}_2 \)-skein module, the \( \mathfrak{sl}_2 \)-skein module, the \( \mathfrak{gl}_1 \)-skein module of the branched double cover, and the \(3\)D quantum gluing module. Under the hypothesis that \(Y\) has zero intersection pairing \(H_1\times H_2\to\mathbb Z\), the \(3\)D quantum trace can be recovered from the quantum UV–IR map; in the surface case, the analogous compatibility resolves a conjecture of Neitzke and Yan [2509.09100].

The principal structural subtlety in the subject is therefore not the existence of a single construction, but the precise comparison of several local models, normalizations, and gluing modules. Current work shows substantial compatibility, but also keeps track of where exact equivalence remains conjectural.

## 5. State integrals, asymptotics, and quantum-topological applications

The earliest application of a \(3\)D quantum trace map was to perturbative Chern–Simons theory and Jones asymptotics. In the knot-complement framework, the quantum trace is combined with a state-integral model of \(SL(2,\mathbb C)\) Chern–Simons theory to define perturbative invariants \(Z_s^{(hyp)}(\hat O;M)\) and \(W_s^{(hyp)}(\hat O;M)\) associated to a skein element through its quantum trace. The all-order length conjecture then asserts that, for an even framed link \(K\subset M=S^3\setminus \mathcal K\), the large-color asymptotic expansion of the ratio \(J_{n,2}(\mathcal K\cup K;q)/J_n(\mathcal K;q)\) is determined by these perturbative invariants, with classical term
\[
W_0^{(hyp)}(\hat O_K;M)=\tfrac12\,\ell_{\mathbb C}(\gamma_K)\;(\bmod 2\pi i),
\]
equivalently one-half the complex length of the geodesic representative of \(K\) in the complete hyperbolic structure [2203.15985].

A second application is the \(3\)D-index. For a cusped hyperbolic \(3\)-manifold, Garoufalidis and Yu define a map from the even skein module to \(\mathbb Z((q))\) by composing the triangulation-dependent quantum trace \(\qtr_T\) with a state-sum map \(I_T\) built from tetrahedron indices:
\[
\mathrm{Tr}^{3d}_M=I_T\circ \qtr_T.
\]
This composite is independent of the chosen \(1\)-efficient triangulation, its evaluation on peripheral curves coincides with the Dimofte–Gaiotto–Gukov \(3\)D-index, and the resulting construction is described as part of a conjectural \(3+1\)-dimensional topological quantum field theory [2406.04918].

The compatibility with UV–IR maps supplies a third application. Since the evaluation map from the branched-double-cover formalism to the quantum gluing module intertwines the relevant local constructions, the quantum trace can be reconstructed from UV–IR data under a mild homological hypothesis [2509.09100]. This suggests that the \(3\)D quantum trace is not merely a skein-theoretic gadget but an organizing map linking several quantization procedures.

## 6. Canonical examples and the figure-eight knot complement

The figure-eight knot complement is the standard testing ground for the subject. In the 2022 knot-complement framework, \(M=S^3\setminus 4_1\) is equipped with its standard two-tetrahedron triangulation, with tetrahedral shear operators \((\hat y,\hat y'',\hat z,\hat z'')\). The paper gives explicit quantum trace assignments for the basic skein-module generators \(Y_{\circ_m^{2m}}\), \(Y_{K_b\cup \circ_m^{2m}}\), and \(Y_{K_b^2\cup \circ_m^{2m}}\), and then evaluates the corresponding state integrals at the hyperbolic saddle \(Z=Y=-i\pi/3\). The resulting perturbative expansions are
\[
\sum_{s=0}^2 W_s^{(hyp)}(\hat O_{K_b};4_1)\hbar^s
=\tfrac{7i\pi+3\ln 3}{6}+\tfrac{i\sqrt3+6}{18}\hbar+O(\hbar^2),
\]
and
\[
\sum_{s=0}^2 W_s^{(hyp)}(\hat O_{K_b^2};4_1)\hbar^s
=\tfrac{i\pi+3\ln 3}{3}+\tfrac{i\sqrt3+2}{3}\hbar+O(\hbar^2).
\]
The classical terms agree with \(\tfrac12\ell_{\mathbb C}(K_b)\) and twice that value modulo \(2\pi i\), and the length conjecture is checked analytically to \(1\)-loop order and numerically up to \(2\)-loops [2203.15985].

In the torus-boundary construction, the same manifold yields a concrete expression for the meridian:
\[
\Tr_q(\mu)=z_0\,(z_1'')^{-1}+z_0^{-1}z_1''.
\]
This is presented as a direct computation in the two-tetrahedron triangulation, checked by SnapPy [2403.12424]. In the \(3\)D-index factorization framework, one instead computes
\[
\qtr_T(\mu)=q^{-1/2}\bigl(z_0^{-1}z_1''+z_0z_1^{-1}+z_0''z_1''\bigr),
\]
and for the loop \(K_b\) one obtains an explicit \(q\)-series state-sum in terms of tetrahedron indices \(J_\Delta\) [2406.04918].

Simpler local examples also play an important role. For the complement of a single ideal tetrahedron, the core edge loop \(K\) around an edge \(e\) has
\[
\Tr_q^3([K])=(-A^2)^{1/2}\hat Z_e^{1/2}+(-A^2)^{-1/2}\hat Z_e^{-1/2},
\]
while a boundary triangle arc in a face suspension reproduces the expected Bonahon–Wong-type surface expression [2403.12850]. These calculations show that the \(3\)D map captures both interior loops and boundary skeins in explicit noncommutative coordinates.

Taken together, these examples indicate the practical role of the \(3\)D quantum trace map: it translates skein classes into computable expressions in quantum gluing variables, supports perturbative expansions and \(q\)-series invariants, and provides a concrete interface between quantum topology, ideal triangulations, and character-variety quantization.

Source: https://www.emergentmind.com/topics/3d-quantum-trace-map