3D Quantum Trace Map: Quantizing Skein Modules

• 3D quantum trace map is a homomorphism that converts skein modules of ideally triangulated 3-manifolds into quantum gluing modules, quantizing the classical trace map.
• Two independent constructions, by Panitch–Park and Garoufalidis–Yu, use distinct local decompositions to achieve explicit formulas that satisfy global gluing relations.
• Applications include perturbative Chern–Simons theory, 3D-index computations, and testing on hyperbolic knot complements such as the figure-eight knot.

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 (Agarwal et al., 2022, Panitch et al., 2024, Garoufalidis et al., 2024, Chen et al., 11 Jun 2026).

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 (Chen et al., 11 Jun 2026). 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$, $3$0 recovers the usual hyperbolic $3$1 trace of holonomy (Panitch et al., 2024). In the parallel construction for $3$2-manifolds with torus boundary components, Garoufalidis and Yu define a quantum trace

$3$3

where $3$4 is a module obtained as a left and right quotient of a quantum torus associated to an ideal triangulation $3$5 (Garoufalidis et al., 2024).

Historically, the immediate precursor is the 2022 work on hyperbolic knot complements $3$6, where a quantum trace map

$3$7

was introduced conjecturally as a unique injective $3$8-module map satisfying reduction to the classical trace map at $3$9, compatibility with skein relations and Dehn filling, and consistency under adding a meridian knot (Agarwal et al., 2022).

The $3$0D map is repeatedly presented as a $3$1-dimensional analogue of the $3$2D 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 (Kim et al., 2018). This $3$3D background is the immediate model for the $3$4D 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$5-manifold $3$6, 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 (Garoufalidis et al., 2024, Panitch et al., 2024). In the 2026 corner-reduction framework, the basic objects are stated ribbon tangles in a boundary-marked $3$7-manifold $3$8, and the stated skein module $3$9 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 (Chen et al., 11 Jun 2026). The 2022 knot-complement construction works with an “even” Kauffman-skein module $3$0, whose generators are labeled by even framed links, meaning that the product of the $3$1-homology signs of the components equals $3$2 (Agarwal et al., 2022).

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 $3$3 satisfying tetrahedral relations such as

$3$4

together with $3$5-commutation and quantum gluing relations around internal edges; the resulting algebra is the square-root quantum gluing module $3$6 (Panitch et al., 2024). In the quantum-torus formulation, one begins with tensor products of local quantum tori generated by shape parameters $3$7, imposes Lagrangian relations such as $3$8, and then imposes Weyl-ordered internal-edge relations to obtain the quantum gluing module $3$9 (Garoufalidis et al., 2024). In the 2022 hyperbolic-knot framework, the target $R$0 is generated by noncommuting shear operators $R$1 modulo equivalence relations determined by explicit exponentiated edge-gluing operators $R$2; each $R$3 commutes with every $R$4 and $R$5, and imposing $R$6 implements the quantum version of the classical gluing equation (Agarwal et al., 2022).

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 $R$7D quantum trace map.

3. Construction paradigms

Two 2024 constructions established the existence of $R$8D 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 $R$9-manifold into face suspensions. Each $\Tr_q^3:\Sk(Y)\longrightarrow \SQGM_{\mathcal T}(Y),$0-simplex $\Tr_q^3:\Sk(Y)\longrightarrow \SQGM_{\mathcal T}(Y),$1 gives a local piece $\Tr_q^3:\Sk(Y)\longrightarrow \SQGM_{\mathcal T}(Y),$2, and repeated application of the $\Tr_q^3:\Sk(Y)\longrightarrow \SQGM_{\mathcal T}(Y),$3D 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 (Panitch et al., 2024).

Garoufalidis and Yu instead present the skein module through the dual Heegaard surface $\Tr_q^3:\Sk(Y)\longrightarrow \SQGM_{\mathcal T}(Y),$4. Splitting $\Tr_q^3:\Sk(Y)\longrightarrow \SQGM_{\mathcal T}(Y),$5 along the $\Tr_q^3:\Sk(Y)\longrightarrow \SQGM_{\mathcal T}(Y),$6-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 $\Tr_q^3:\Sk(Y)\longrightarrow \SQGM_{\mathcal T}(Y),$7, after which the $\Tr_q^3:\Sk(Y)\longrightarrow \SQGM_{\mathcal T}(Y),$8-handle-slide relations become the internal-edge equations in the quantum torus (Garoufalidis et al., 2024).

Chen and Kricker give a third construction based on “corner-reduction.” They begin with an ideal-tetrahedron splitting

$\Tr_q^3:\Sk(Y)\longrightarrow \SQGM_{\mathcal T}(Y),$9

define a local trace

$3$0

and then glue these local traces to obtain

$3$1

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 (Chen et al., 11 Jun 2026).

Approach	Local decomposition	Global target
Garoufalidis–Yu (Garoufalidis et al., 2024)	Dual Heegaard surface split into lanterns	Quantum gluing module $3$2
Panitch–Park (Panitch et al., 2024)	Face suspensions $3$3	Square-root quantum gluing module $3$4
Chen–Kricker (Chen et al., 11 Jun 2026)	Ideal tetrahedra and face cones	Quantum gluing module $3$5

These constructions differ in local presentation, but each realizes the same basic program: split the $3$6-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

$3$7

where $3$8 is the natural identification between the shape-parameter systems used in the two approaches; they further state that $3$9 is conjecturally an isomorphism (Chen et al., 11 Jun 2026).

Triangulation dependence is handled differently in the available formulations. In the face-suspension approach, the $Y$0–$Y$1 Pachner move corresponds exactly to the classical $Y$2-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 (Panitch et al., 2024). In the dual-surface/lantern formulation, the quantum trace is invariant under all $Y$3 Pachner moves that do not create a degenerate univalent edge, but in general it is not invariant under $Y$4 moves that create or remove univalent edges, because those edges satisfy different gluing data (Garoufalidis et al., 2024). 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 $Y$5-manifold $Y$6 with ideal triangulation $Y$7, a commutative square is established between the $Y$8-skein module, the $Y$9-skein module, the $\mathcal T$0-skein module of the branched double cover, and the $\mathcal T$1D quantum gluing module. Under the hypothesis that $\mathcal T$2 has zero intersection pairing $\mathcal T$3, the $\mathcal T$4D 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 (Panitch et al., 11 Sep 2025).

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 $\mathcal T$5D 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 $\mathcal T$6 Chern–Simons theory to define perturbative invariants $\mathcal T$7 and $\mathcal T$8 associated to a skein element through its quantum trace. The all-order length conjecture then asserts that, for an even framed link $\mathcal T$9, the large-color asymptotic expansion of the ratio $A\to 1$0 is determined by these perturbative invariants, with classical term

$A\to 1$1

equivalently one-half the complex length of the geodesic representative of $A\to 1$2 in the complete hyperbolic structure (Agarwal et al., 2022).

A second application is the $A\to 1$3D-index. For a cusped hyperbolic $A\to 1$4-manifold, Garoufalidis and Yu define a map from the even skein module to $A\to 1$5 by composing the triangulation-dependent quantum trace $A\to 1$6 with a state-sum map $A\to 1$7 built from tetrahedron indices: $A\to 1$8 This composite is independent of the chosen $A\to 1$9-efficient triangulation, its evaluation on peripheral curves coincides with the Dimofte–Gaiotto–Gukov $3$00D-index, and the resulting construction is described as part of a conjectural $3$01-dimensional topological quantum field theory (Garoufalidis et al., 2024).

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 (Panitch et al., 11 Sep 2025). This suggests that the $3$02D 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, $3$03 is equipped with its standard two-tetrahedron triangulation, with tetrahedral shear operators $3$04. The paper gives explicit quantum trace assignments for the basic skein-module generators $3$05, $3$06, and $3$07, and then evaluates the corresponding state integrals at the hyperbolic saddle $3$08. The resulting perturbative expansions are

$3$09

and

$3$10

The classical terms agree with $3$11 and twice that value modulo $3$12, and the length conjecture is checked analytically to $3$13-loop order and numerically up to $3$14-loops (Agarwal et al., 2022).

In the torus-boundary construction, the same manifold yields a concrete expression for the meridian: $3$15 This is presented as a direct computation in the two-tetrahedron triangulation, checked by SnapPy (Garoufalidis et al., 2024). In the $3$16D-index factorization framework, one instead computes

$3$17

and for the loop $3$18 one obtains an explicit $3$19-series state-sum in terms of tetrahedron indices $3$20 (Garoufalidis et al., 2024).

Simpler local examples also play an important role. For the complement of a single ideal tetrahedron, the core edge loop $3$21 around an edge $3$22 has

$3$23

while a boundary triangle arc in a face suspension reproduces the expected Bonahon–Wong-type surface expression (Panitch et al., 2024). These calculations show that the $3$24D map captures both interior loops and boundary skeins in explicit noncommutative coordinates.

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