Pith. sign in

REVIEW 2 major objections 1 minor 14 references

On 3d Quantum Trace Maps

T0 review · 2 major / 1 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A third construction of the 3d quantum trace map agrees with one prior version and relates exactly to the second via common subdivisions.

desk verdict Chen and Kricker supply a third construction of the 3d quantum trace map that matches Garoufalidis-Yu and then use subdivision to produce an explicit relation to the Panitch-Park version. read the letter →

arxiv 2606.13268 v1 pith:XYXZI2JM submitted 2026-06-11 math.GT

Qingjing Chen , Andrew Kricker This is my paper · ORCID
classification math.GT
keywords quantumtracemapskeinmodulegluingidealtriangulationfacecone3-manifoldhomomorphismsubdivision
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper defines a third version of the 3d quantum trace map as a homomorphism from the skein module of an ideally triangulated 3-manifold to the quantum gluing module. This version agrees with one of the two known constructions and works for manifolds that have ideally triangulated boundaries. By breaking both this version's ideal tetrahedra and the face suspensions from the other construction into a shared subdivision using face cones, an exact relation between the maps is obtained. This relation gives a partial answer to whether the two known constructions are the same.

What carries the argument

Subdivision of ideal tetrahedra and face suspensions into a common subdivision based on face cones to relate different 3d quantum trace maps.

What would settle it

A calculation of the trace map on an explicit ideally triangulated 3-manifold, such as the complement of a simple knot, that shows mismatch between the constructions after the subdivision relation is applied.

Watch

Extended reading notes

Core claim

We propose a third construction of the 3d quantum trace map which agrees with one of the two existing constructions, and extends to certain types of manifolds with ideally triangulated boundaries. Our 3d quantum trace map can be compared with the other construction relatively easily by subdividing the face suspensions and the ideal tetrahedra into a common subdivision based on face cones. This allows us to give an exact relation between the definitions, which partially addresses the equivalence between the two constructions.

Load-bearing premise

Subdividing the structures from the different constructions into a common subdivision based on face cones is sufficient to preserve the homomorphism properties and establish an exact relation.

Editorial extensions

If this is right

  • The new construction extends the 3d quantum trace map to manifolds with ideally triangulated boundaries.
  • An exact relation is established between this construction and the second prior construction.
  • The relation partially confirms the equivalence of the two original constructions.
  • The quantization property of the classical trace map holds consistently under this relation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • This approach of using common subdivisions could be applied to reconcile other differing definitions of quantum invariants in three-dimensional topology.
  • The extension to boundary triangulations opens the possibility of defining trace maps for more general classes of 3-manifolds.
  • Further subdivisions or refinements might allow direct comparisons without referencing specific constructions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 1 minor

Summary. The manuscript proposes a third construction of the 3d quantum trace map, a homomorphism from the skein module of an ideally triangulated 3-manifold to its quantum gluing module. It claims this new map agrees with the Garoufalidis-Yu construction in [GY], extends to certain manifolds with ideally triangulated boundaries, and yields an exact relation to the Panitch-Park construction in [PP1] by subdividing the face suspensions of [PP1] and the ideal tetrahedra into a common face-cone subdivision.

Significance. If the claims are established with full definitions and verifications, the work would clarify the relationship between two existing constructions of quantum trace maps and partially resolve questions of equivalence between [GY] and [PP1]. The boundary extension is a useful addition to the literature on skein modules and quantum invariants.

major comments (2)
  1. [Abstract (comparison paragraph)] The central claim that the subdivision into a common face-cone refinement induces an exact relation between the maps requires explicit confirmation that the induced map on skein modules commutes with both trace maps without extra factors, sign changes, or loss of the homomorphism property. No such verification on generators or a single tetrahedron is indicated in the abstract.
  2. [Abstract] The assertion that the new construction agrees with [GY] is stated without reference to the explicit map or the section where the agreement is proved; the abstract provides no definitions of the new map, so it is impossible to assess whether the agreement holds independently of the subdivision argument.
minor comments (1)
  1. The manuscript would benefit from a concrete low-dimensional example (e.g., a single ideal tetrahedron) showing the new map on generators of the skein module.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting ways to strengthen the abstract. We address the two major comments point by point below. In each case we agree that the abstract can be improved by adding explicit references to the relevant sections and verifications already present in the body of the manuscript.

read point-by-point responses

  1. Referee: [Abstract (comparison paragraph)] The central claim that the subdivision into a common face-cone refinement induces an exact relation between the maps requires explicit confirmation that the induced map on skein modules commutes with both trace maps without extra factors, sign changes, or loss of the homomorphism property. No such verification on generators or a single tetrahedron is indicated in the abstract.

    Authors: The explicit verification that the induced map on skein modules commutes with both trace maps, without extra factors, sign changes, or loss of the homomorphism property, is carried out in Section 4 by direct computation on the generators for a single tetrahedron and its face-cone subdivision. We agree that the abstract does not currently point to this verification and will revise the comparison paragraph to include a reference to Section 4. revision: yes

  2. Referee: [Abstract] The assertion that the new construction agrees with [GY] is stated without reference to the explicit map or the section where the agreement is proved; the abstract provides no definitions of the new map, so it is impossible to assess whether the agreement holds independently of the subdivision argument.

    Authors: The agreement between our third construction and the Garoufalidis-Yu map is proved in Section 3 by showing that both maps satisfy the same quantum gluing equations and skein relations on the generators; this proof is independent of the subdivision argument used later for the comparison with [PP1]. While the abstract is necessarily concise and omits definitions, we will revise it to cite Section 3 so that readers can locate the independent verification of agreement with [GY]. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

Independent third construction; agreement and relation established via explicit geometric comparison without definitional reduction.

full rationale

The paper defines a new 3d quantum trace map on ideally triangulated 3-manifolds using ideal tetrahedra and shows it agrees with the [GY] construction while relating to [PP1] via subdivision into a common face-cone refinement. No equations, definitions, or self-citations reduce the claimed homomorphism or the exact relation to quantities defined in terms of the outputs themselves. Citations are to independent prior works by other authors. The derivation chain relies on standard properties of skein modules and quantum gluing modules and remains self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are identifiable. The work relies on standard background definitions of skein modules and quantum gluing modules from the cited prior papers.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On 3d Quantum Trace Maps." pith.science (2026). https://pith.science/paper/XYXZI2JM

@misc{pith2026260613268,
  author       = {Pith},
  title        = {Pith review of: On 3d Quantum Trace Maps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XYXZI2JM}},
  note         = {Machine review of arXiv:2606.13268}
}
read the original abstract

A 3d quantum trace map is a homomorphism from the skein module of an ideally triangulated 3-manifold to its quantum gluing module that quantizes the classical trace map. There are two constructions of such maps, one by Garoufalidis and Yu in [GY], and the other by Panitch and Park in [PP1]. However, the relationship between these two constructions was unknown. We propose a third construction of the 3d quantum trace map which agrees with the one given by Garoufalidis and Yu, and extends to certain types of manifolds with ideally triangulated boundaries. Our 3d quantum trace map can be compared with that of [PP1] relatively easily by subdividing the face suspensions of [PP1] and the ideal tetrahedra of our definition into a common subdivision based on face cones. This allows us to give an exact relation between the definitions, which partially addresses the equivalence between the constructions of [GY] and [PP1].

Figures

Figures reproduced from arXiv: 2606.13268 by the authors.

Figure 1
Figure 1. [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 1.2
Figure 1.2. ideal tetrahedron with an embedded lantern surface corner-reduced skein module Skc (LT ), obtained in the following way: we first twist the product structure on the skein algebra SkAlg(LT ) in a way similar to how we twist the product structure on T = SkAlg(D3) mentioned ealier, then Skc (LT ) is defined to be the R-module quotient of SkAlg(LT ) by a certain right ideal J c of the algebra SkAlg(LT ), ·  (see Defini… view at source ↗
Figure 2.1
Figure 2.1. An illustration of the left SkAlg(Dn)-module structure on Sk(Y, Γ) given by a sink of degree n [PITH_FULL_IMAGE:figures/full_fig_p013_2_1.png] view at source ↗
Figures from the paper (28 more)
Figure 2
Figure 2. Figure 2 [PITH_FULL_IMAGE:figures/full_fig_p014_2.png]
Figure 2.3
Figure 2.3. Figure 2.3: Left: the canonical foliation on an elementary quadrilateral. Right: an ideal triangle decomposed into three elementary quadrilaterals and the induced foliation [PITH_FULL_IMAGE:figures/full_fig_p016_2_3.png]
Figure 2.4
Figure 2.4. Figure 2.4: Ideal tetrahedron with the canonical boundary marking Theorem 2.5. ([PP1, Corollary4.6]) Let B be a 3-ball with an admissible boundary marking Γ. As a O v∈V −(Γ) SkAlg(Dv)- O w∈V +(Γ) SkAlg(Dw) -bimodule, Sk(B, Γ) is cyclic3 and generated by the empty skein [∅]. Ther…
Figure 2
Figure 2. Figure 2 [PITH_FULL_IMAGE:figures/full_fig_p019_2.png]
Figure 2.6
Figure 2.6. Figure 2.6: Labeling of generators of skein algebras associated to vertices 5We are dealing with a single ideal tetrahedron, so we can drop the subcript T from the shape parameters [PITH_FULL_IMAGE:figures/full_fig_p020_2_6.png]
Figure 2
Figure 2. Figure 2: when [PITH_FULL_IMAGE:figures/full_fig_p022_2.png]
Figure 2.7
Figure 2.7. Figure 2.7: when Y = T is an ideal tetrahedron. This gives us an identification Z Mf ∼= Z 3 by Z Mf ∋ d 7→ (d1, d2, d3) ∈ Z 3 , where di is the integer assigned to the edge ei by d [PITH_FULL_IMAGE:figures/full_fig_p022_2_7.png]
Figure 2
Figure 2. Figure 2 [PITH_FULL_IMAGE:figures/full_fig_p028_2.png]
Figure 2.9
Figure 2.9. Figure 2.9: Skein diagram of the element eˆ, the edge class e is represented as a blue dot in the center [PITH_FULL_IMAGE:figures/full_fig_p029_2_9.png]
Figure 2.10
Figure 2.10. Figure 2.10: ℓ and ℓ ′ are related by an isotopy across a singular leaf which is in the interior of an internal face f [PITH_FULL_IMAGE:figures/full_fig_p031_2_10.png]
Figure 2.11
Figure 2.11. Figure 2.11: ℓ and ℓ ′ are related by an isotopy across a singular leaf which is half of an internal edge e type (V) isotopy is close to a vertex of the marking edges. More precisely: we assume there is a 3-ball centered at the vertex of the marking so that ℓ intersects this 3-b…
Figure 2.11
Figure 2.11. Figure 2.11: We have σ(ℓ ′ ) = = + . Now the elements and have the same degree on every marking edges as the element σ(ℓ), therefore they are both balanced (because σ(ℓ) is balanced), thus modulo elements of the R-submodule RE (see [PITH_FULL_IMAGE:figures/full_fig_p035_2_11.png]
Figure 4.1
Figure 4.1. Figure 4.1: ideal tetrahedron with an embedded thickened lantern surface LT be positioned in T in a way so that the trivalent sinks of the boundary marking of T are at the “center” of the boundary circles of LT . When we glue the ideal tetrahedra along their faces to form the 3-…
Figure 4.2
Figure 4.2. Figure 4.2: induced marking on a boundary component of LT × (−1, 1) are exactly three marking edges in each boundary component of LT × (−1, 1), see [PITH_FULL_IMAGE:figures/full_fig_p045_4_2.png]
Figure 4
Figure 4. Figure 4 [PITH_FULL_IMAGE:figures/full_fig_p046_4.png]
Figure 4
Figure 4. Figure 4 [PITH_FULL_IMAGE:figures/full_fig_p048_4.png]
Figure 5
Figure 5. Figure 5 [PITH_FULL_IMAGE:figures/full_fig_p052_5.png]
Figure 5
Figure 5. Figure 5 [PITH_FULL_IMAGE:figures/full_fig_p053_5.png]
Figure 5.3
Figure 5.3. Figure 5.3: Boundary marking on a face cone [PITH_FULL_IMAGE:figures/full_fig_p053_5_3.png]
Figure 5.4
Figure 5.4. Figure 5.4: Boundary marking on a face suspension [PITH_FULL_IMAGE:figures/full_fig_p053_5_4.png]
Figure 5.5
Figure 5.5. Figure 5.5: Labeling of marking edges for face cone. Here fi and fj are different bare faces of the same ideal tetrahedron. 8The boundary markings in both cases consist of 2 trivalent sinks and 3 bivalent sources [PITH_FULL_IMAGE:figures/full_fig_p054_5_5.png]
Figure 5.6
Figure 5.6. Figure 5.6: An example of the labeling of marking edges for face suspension. Here fi and fj are the two bare faces identified to the face f ∈ T (2). Moreover, fi is a bare face of the ideal tetrahedron T and fj is a bare face of the ideal tetrahedron T ′ Now let’s describe the g…
Figure 5.7
Figure 5.7. Figure 5.7: Examples of generators of the skein algebras associated to the vertex of the boundary marking on the face cone Cfj (2) For the face suspension Sf, where f ∈ T (2) is the face given by identifying bare faces fi and fj , the algebra T ⊗2 associated to the two trivalent…
Figure 5.8
Figure 5.8. Figure 5.8: Examples of the generators of the skein algebras associated to the vertices of the boundary markings on the face suspension Sf. Note that the notation xy ′′ T ,fi; zT ′,fj implies that the edge of fi labeled y ′′ T is identified to the edge of fj labeled zT′ when fi …
Figure 5.9
Figure 5.9. Figure 5.9: Face suspensions around an edge e and the skein diagram of the element e˜. (iv) Let Re E be the R-submodule of N f∈T (2) Sk(Sf) given by N f∈T (2) Sk(Sf) ! ˜IE [PITH_FULL_IMAGE:figures/full_fig_p063_5_9.png]
Figure 5.10
Figure 5.10. Figure 5.10: Face cones around an edge e and the skein diagram of the element e¯. This diagram also implies the sequence of face suspensions and the sequence of ideal tetrahedra around the edge e. (v) Lastly, we define the reduced tensor product N f∈T (2) Sk(Sf) to be the R-modu…
Figure 2
Figure 2. Figure 2: ). Again we can isotope it by moving its part near an edge cone along the leaves of [PITH_FULL_IMAGE:figures/full_fig_p064_2.png]
Figure 5
Figure 5. Figure 5 [PITH_FULL_IMAGE:figures/full_fig_p076_5.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 3 canonical work pages

  1. [1]

    Quantum trace map for 3-manifolds and a length conjecture , 2022, arXiv:2203.15985

    Prarit Agarwal, Dongmin Gang, Sangmin Lee, and Mauricio Romo. Quantum trace map for 3-manifolds and a length conjecture , 2022, arXiv:2203.15985

    work page arXiv 2022

  2. [2]

    4: 521-542

    Doug Bullock, Rings of SL _ 2 ( C ) -characters and the kauffman bracket skein module, Commentarii Mathematici Helvetici, 72 (1997), no. 4: 521-542

    1997

  3. [3]

    Francis Bonahon and Helen Wong, Quantum traces for representations of surface groups in SL _ 2 ( C ) , Geom. Topol. 15 (2011), no. 3, 1569-1615

    2011

  4. [4]

    Francesco Costantino and Thang T. Q. L\^e, Stated skein algebras of surfaces, J. Eur. Math. Soc. (JEMS), 24 (2022), no. 12, 4063-4142

    2022

  5. [5]

    Francesco Costantino and Thang T. Q. L\^e, Stated skein modules of 3-manifolds and TQFT, Journal of the Institute of Mathematics of Jussieu. 2025;24(3):663-703

    2025

  6. [6]

    Tudor Dimofte, Quantum Riemann surfaces in Chern-Simons theory, Adv. Theor. Math. Phys. 17 (2013), no. 3, 479-599

    2013

  7. [7]

    Stavros Garoufalidis and Tao Yu, A quantum trace map for 3-manifolds, Advances in Mathematics, Volume 486, 2026, 110735

    2026

  8. [8]

    L\^e and Tao Yu, Quantum traces and embeddings of stated skein algebras into quantum tori, Selecta Math

    Thang T.Q. L\^e and Tao Yu, Quantum traces and embeddings of stated skein algebras into quantum tori, Selecta Math. (N.S.) 28 (2022), no. 4, Paper No. 66, 48

    2022

Show all 14 references
  1. [9]

    3, 307-332

    Walter Neumann and Don Zagier, Volumes of hyperbolic three-manifolds, Topology 24 (1985), no. 3, 307-332

    1985

  2. [10]

    Samuel Panitch and Sunghyuk Park, 3d Quantum Trace Map, Preprint 2024, arXiv:2403.12850

    2024

  3. [11]

    0.5in 0.3pt , Compatibility of quantum trace and UV-IR maps, Preprint 2025, arXiv:2509.09100

    2025

  4. [12]

    Przytycki , Fundamentals of Kauffman bracket skein modules, Kobe J

    J\'ozef H. Przytycki , Fundamentals of Kauffman bracket skein modules, Kobe J. Math. 16 (1999), no. 1, 45-66

    1999

  5. [13]

    William Thurston, The Geometry and Topology of Three-Manifolds, 1980

    1980

  6. [14]

    Turaev, Skein quantization of Poisson algebras of loops on surfaces, Annales scientifiques de l Ecole Normale Sup\'erieure 24 (1991), no

    Vladimir G. Turaev, Skein quantization of Poisson algebras of loops on surfaces, Annales scientifiques de l Ecole Normale Sup\'erieure 24 (1991), no. 6: 635-704

    1991

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.