{"id":"344392e5-6a09-4680-b7a0-eee60b98fbc8","arxiv_id":"2509.09100","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"Quantum trace and quantum UV-IR maps fit into a natural commutative square; the surface case proves the Neitzke-Yan conjecture and the 3-manifold case recovers the 3d quantum trace map from the UV-IR map.","lead":"This paper proves that the quantum trace map and the quantum UV-IR map, two major quantum invariants of surfaces and 3-manifolds, are compatible through a newly constructed evaluation map, and that the compatibility survives changes of triangulation. Specialists should read it because it resolves the Neitzke-Yan conjecture and gives a new route to the 3d quantum trace map, linking skein-theoretic and spectral-network abelianization.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem C's hypothesis (H1×H2 pairing zero) does not imply existence of a generalized angle structure: for the genus-2 handlebody the UV-IR map is undefined, so Theorem C is overbroad as written.","rationale":"I agree with the reader's conditional verdict and with the emphasis on the generalized angle structure as the most load-bearing requirement: the 3d UV-IR map is defined only after choosing Θ, and the compatibility square has no content otherwise. I refine the reader's formulation: for the paper's intended domain (oriented cusped 3-manifolds, whose compactifications have torus boundary), Remark 3.6 implies that a generalized angle structure always exists, so Theorem A is not vacuous within the domain where the 3d trace machinery of [PPar] is developed. The sharper problem is Theorem C: its stated homological hypothesis does not ensure the existence of a generalized angle structure, as the genus-2 handlebody example shows. The paper's central 2d result, Theorem B, is independent of this issue; the local face-suspension computations (Theorem 5.11) and the figure-8 example in Section 6 provide substantive support for the intended torus-cusped setting. Thus the core compatibility statement remains credible, but Theorem C's scope needs an explicit amendment. Since the reader's verdict is already CONDITIONAL, my analysis does not change the verdict.","tokens_in":1588,"tokens_out":2052,"duration_ms":305268,"concrete_test":"Take Y = the interior of the genus-2 handlebody, with any ideal triangulation T. Verify: (1) H1(Y;Z) = Z^2 and H2(Y;Z) = 0, so the intersection pairing H1 × H2 → Z is identically zero, satisfying the hypothesis of Theorem C. (2) Since ∂Y has genus 2, by the criterion stated in Remark 3.6, no ideal triangulation of Y admits a generalized angle structure; consequently the 3d quantum UV-IR map F_T of Section 3.4 is undefined and the recovery formula in Theorem C is ill-typed. If this check succeeds, amend Theorem C (and the abstract) to include the hypothesis that Y admits a generalized angle structure, equivalently that every boundary component is a torus or Klein bottle.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's compatibility and recovery claims require the 3d quantum UV-IR map F_T to be defined, which by Section 3.4 (Definitions 3.5 and 3.7) requires equipping (Y,T) with a generalized angle structure Θ. The paper itself states in Remark 3.6 (citing Luo–Tillmann, Theorem 1) that such a Θ exists iff every boundary component of Y is a torus or Klein bottle. For the intended cusped setting, with torus cusps, this exists, so Theorem A is not vacuous there. But Theorem C's stated hypothesis — that the intersection pairing H1(Y;Z) × H2(Y;Z) → Z is zero — does not imply this angle-structure condition. Counterexample: Y = interior of the genus-2 handlebody has H2(Y;Z)=0, so the pairing is trivially zero, yet its single boundary component has genus 2, so by Remark 3.6 no ideal triangulation admits a generalized angle structure; hence F_T is undefined and the formula Tr_T([L]) = p_L ∘ ev ∘ F_T([L]) is ill-posed. The example 'any knot complement' works, but the stated hypothesis admits manifolds for which the theorem cannot even be formulated. The abstract's 'mild hypothesis' is thus misleading. A separate, related issue is that Θ is non-canonical (the solution space is an affine space of dimension t+v), and the paper does not state explicitly that ev ∘ F_T is independent of the choice of Θ; the only such check is the ζ-independence in Proposition 3.14 for 2–3 Pachner transitions.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a compatibility theorem between the quantum trace map and the quantum UV-IR map for ideally triangulated surfaces and 3-manifolds. For a surface, it constructs a commutative square whose bottom arrow is the Bonahon-Wong quantum trace, top arrow the Neitzke-Yan quantum UV-IR map, and right vertical arrow an evaluation map, thereby proving Conjecture 4.23 from [NY20]. For a 3-manifold, a similar square is built locally on face suspensions and glued, yielding Theorem A. Under additional hypotheses on H1 and H2, the paper derives Theorem C, recovering the 3d quantum trace from the quantum UV-IR map. The proofs use stated skein modules, explicit computations on triangles, face suspensions, and the triangular bipyramid, together with gluing and naturality checks for flips and Pachner moves.","tokens_in":68470,"tokens_out":7198,"duration_ms":92444,"significance":"If the main results are correct, this is a significant contribution: it gives a direct and concrete proof of the Neitzke-Yan conjecture, provides a geometric interpretation of the recently introduced 3d quantum trace map, and establishes a framework for comparing two apparently different abelianization maps in skein theory. The paper is careful and systematic: the local compatibility maps are written explicitly (Theorems 4.20 and 5.11), the gluing well-definedness is checked in Proposition 5.12 and the surrounding relative tensor product relations, and the surface and 3-manifold naturality statements are verified in Theorems 4.26 and 5.13. The worked figure-8 knot example is valuable. The main reservation is that the 3d statements, especially Theorem C, omit an essential hypothesis on the existence of a generalized angle structure, without which the quantum UV-IR map is not defined.","major_comments":[{"comment":"The hypothesis that the intersection pairing H1(Y;Z) × H2(Y;Z) → Z vanishes is insufficient for the stated conclusion. The map F_T is defined only after equipping (Y,T) with a generalized angle structure, and by Remark 3.6 such a structure exists only if every boundary component is a torus or Klein bottle. The stated hypothesis does not imply this: for Y equal to the interior of a genus-2 handlebody, H2(Y;Z)=0 so the pairing is trivially zero, but the single boundary component has genus 2, so no ideal triangulation admits a generalized angle structure and F_T is undefined. Thus the formula Tr_T([L]) = p_L ∘ ev ∘ F_T([L]) is ill-posed for such Y. The theorem should be amended to assume that Y admits a generalized angle structure for T, equivalently in the oriented case that every boundary component is a torus, and the abstract's description of the hypothesis as 'mild' should be qualified","section":"Theorem C, Section 5.4"},{"comment":"The compatibility square is stated without reference to the generalized angle structure Θ, although the top arrow F_T is defined only after choosing Θ (Definition 3.5, Theorem 3.11, Definition 3.7) and the right vertical evaluation map constructed in Theorem 5.11 also depends on the angles θ_x. As written, the square is asserted for an arbitrary ideally triangulated 3-manifold, which is not meaningful when no Θ exists. The theorem should quantify over Θ, or restrict Y to manifolds with torus/Klein boundary components. Moreover, since the space of generalized angle structures is affine of dimension t+v (Remark 3.6), the paper should state explicitly whether the square commutes for each Θ and whether the composition ev ∘ F_T is independent of Θ. Proposition 3.14 checks only independence from the free parameter ζ in the 2–3 Pachner transition, not Θ-independence in general.","section":"Theorem A, diagrams (1) and (39); Sections 3.4 and 5"},{"comment":"The local evaluation maps are constructed as the unique maps making the local squares commute, using the surjectivity of F on the triangle and face suspension. This is a legitimate construction, but it means the local compatibility is established by definition rather than by an independent computation. The substantive content of the paper is in showing that these locally defined maps are well-defined, glue consistently across the relative tensor product, and are compatible with flips and Pachner moves. This framing should be stated explicitly, so that readers do not over-interpret the local commutativity as an independent verification.","section":"Corollaries 4.19 and 5.10"}],"minor_comments":[{"comment":"Typo: 'Morerover' should be 'Moreover'. Also 'sheer coordinates' should likely be 'shear coordinates'.","section":"Introduction"},{"comment":"The cone skein relation (24) is introduced with coefficients q^{±θ/π}. Since these are non-integer powers of q, it would help to state explicitly that the skein module is taken over the ring R_Θ and to comment on the consistency/non-vanishing of the resulting quotient, or to point to a reference where this is established.","section":"Section 3.3, Definition 3.7"},{"comment":"In the local commutative diagram after Lemma 4.25, the notation 'QΓodd e△ ⊗ QΓeven e△' is introduced without defining Γ_e△; it is later referred to as a rank-5 lattice. Please define it before first use.","section":"Section 4.5, proof of Theorem 4.24"},{"comment":"The example uses c_B = (-1)^{-1/2}, whereas the paper fixed (c_T,c_B)=(q^{-1/2},1) before Section 2.3. The compatibility with the earlier convention is explained only at the very end; a sentence at the start of the example would be clearer.","section":"Section 6"}],"recommendation":"major_revision","confidential_remarks":"The two main issues are both in the 3d statements: the missing angle-structure hypothesis in Theorem C and the unquantified dependence of the 3d compatibility square on Θ. Both are fixable by changing the hypotheses and making the quantification explicit, but they affect the central advertised corollary, so I cannot recommend acceptance in the current form. The 2d compatibility theorem and the proof of the Neitzke-Yan conjecture appear sound and are substantial achievements."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things. First, this paper genuinely delivers: it proves the Neitzke–Yan conjecture, constructs a stated 3d quantum UV-IR map, and establishes the compatibility square with the quantum trace map. Second, the paper's own Remark 3.6 creates a real tension with Theorem C: the 3d UV-IR map is only defined after choosing a generalized angle structure, and such a structure exists only when every boundary component is a torus or Klein bottle. The stress-test example is right: a genus-2 handlebody has H2 = 0, so the intersection pairing hypothesis in Theorem C is satisfied while no angle structure exists. The theorem is not just missing a hypothesis; the statement is ill-posed for such manifolds. The intended cusped setting with torus cusps is fine, and the figure-8 example works, but the abstract's \"mild hypothesis\" is misleading.\n\nWhat is actually new is substantial. The sign-twisted product technology, the local evaluation maps on triangles and face suspensions, the proof that the 2d UV-IR map is flip-natural, and the 3d Pachner naturality together form a coherent and largely convincing machine. The paper is honest about dependencies: it relies on the authors' to-appear [PPar] for the 3d quantum trace, and it flags its modification of SQGM in footnote 11. The local computations are explicit and the gluing argument is the right strategy.\n\nSoft spots, in proportion. The [PPar] dependency is the biggest one; the referee should demand either that [PPar] is posted or that the needed results are summarized with proofs. The flip-naturality of the 2d UV-IR map is asserted more than demonstrated; Theorem 4.26's proof is a commutativity-by-surjectivity argument, and the explicit generator checks in Remark 4.27 are only sketched. The ζ-independence in Proposition 3.14 appears delicate, and the paper never states directly that ev ∘ F_T is independent of the full affine space of angle structures, only that one free parameter in a specific Pachner transition drops out. None of these undercuts the main narrative, but they warrant referee scrutiny.\n\nWho is this for? People working in quantum skein theory, cluster algebras, and spectral networks. It deserves a serious referee. My own recommendation: send it out, but ask the authors to fix Theorem C's statement, clarify the angle-structure dependence, and address the [PPar] dependency before acceptance.","headline":"A serious, mostly credible paper that proves the Neitzke–Yan conjecture and builds the 3d compatibility square, but Theorem C is overbroad as stated because its homology hypothesis does not guarantee the angle structure needed for the UV-IR map.","tokens_in":69164,"tokens_out":862,"would_cite":true,"duration_ms":13066,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K16","57K31"],"pacs":[],"model":"deepseek-v4-flash","headline":"Quantum trace map is the UV-IR map plus one evaluation step","keywords":["skein modules","quantum trace map","quantum UV-IR map","branched double cover","quantum Teichmuller space","quantum gluing module","generalized angle structures","Pachner moves"],"falsifier":"Compute both sides of π ∘ F_T([L]) = (Tr_T ⊗ id) ∘ ev([L]) for a single non-trivial framed link in a triangulated knot complement with a non-taut angle structure; a mismatch in any coefficient, or a showing that the cone relation (24) forces the gl1-skein module to be zero, would refute the 3d compatibility theorem for that example.","tokens_in":67837,"feed_emoji":"🧶","tokens_out":7563,"duration_ms":83362,"temperature":0.7,"pith_summary":"The paper aims to show that two independent abelianization maps for skein modules—the algebraic quantum trace map and the geometric quantum UV-IR map built from foliations—are the same up to a fixed evaluation step. The main theorem produces a commutative square for ideally triangulated 3-manifolds equipped with a generalized angle structure: after passing from gl2-skeins to sl2-tensor-gl1-skeins, the UV-IR map followed by evaluation equals the quantum trace map tensored with the identity. For surfaces, the same square settles the previously conjectured relation between the 2d versions of these maps. A corollary is that, when a mild intersection-pairing condition holds—for example on knot complements—the 3d quantum trace map can be completely recovered from the UV-IR map, giving a new construction of the 3d quantum trace invariant.","feed_headline":"Quantum trace map is the UV-IR map plus one evaluation step","feed_subtitle":"If correct, 3d quantum traces for knot complements can be recovered directly from spectral-network lift data.","key_machinery":"The load-bearing machinery is a commutative square whose four corners are skein modules: top-left gl2-skein of Y, top-right gl1-skein of the branched double cover, bottom-left sl2-skein of Y tensor gl1-skein of Y, bottom-right square-root quantum gluing module tensor gl1-skein. The top arrow is the 3d quantum UV-IR map, built from a WKB foliation whose leaf space carries the link diagram; singular leaves form the spectral network, and the map sends a framed oriented link to a weighted sum of lifts via direct lifts, detours, and exchanges. The left arrow is the gl2-to-sl2 map π, which factors each gl2 tangle into an sl2 tangle and a gl1 tangle with a boundary sign (-1)^{b(L)}. The right arrow","core_discovery":"The central claim is that for an ideally triangulated 3-manifold with a generalized angle structure, the composition of the 3d quantum UV-IR map F_T (from the gl2-skein module to the gl1-skein module of the branched double cover) with the evaluation map ev equals the 3d quantum trace map Tr_T tensored with the identity, after applying the gl2-to-sl2 projection π. Concretely, π ∘ F_T = (Tr_T ⊗ id) ∘ ev. The same square is proved for surfaces, and for surfaces it establishes the conjecture that the 2d quantum trace map and 2d quantum UV-IR map are related in exactly this way. A corollary is that Tr_T([L]) = p_L ∘ ev ∘ F_T([L]) for any oriented framed link L, provided the intersection pairing b","pith_inferences":["Because the 3d UV-IR map depends on a generalized angle structure, the compatibility is really a statement about a family of maps parametrized by Θ; varying Θ should yield identities among quantum traces and may make the trace map part of a flat family over the affine space of angle structures.","The local nature of the proof suggests a practical computational strategy: split a link into face suspensions, compute the UV-IR lifts locally, and reassemble; this could make quantum trace computations feasible in triangulations too large for direct algebraic presentations.","The gl2-to-sl2 decomposition and local-square pattern may extend to higher-rank skein modules, which the paper itself leaves as future work; a natural test would be whether the sl_n trace and gl_n UV-IR maps satisfy an analogous square with the same π and ev, now carrying n-component data."],"forward_implications":["For knot complements and other 3-manifolds with vanishing intersection pairing H1×H2→Z, every quantum-trace value can in principle be computed through the UV-IR lift: Tr_T([L]) = p_L ∘ ev ∘ F_T([L]).","The compatibility square is natural under 2-3 Pachner moves, so the two maps change coherently when the ideal triangulation is modified.","For surfaces, the previously conjectural relation between the 2d quantum trace map and the 2d quantum UV-IR map becomes a theorem, unifying two coordinate systems on skein algebras.","The stated version of the UV-IR map makes the comparison local: checking the square on triangles and face suspensions suffices, and gluing those local squares gives the global statement.","The 3d quantum trace map consequently gains an independent, geometric construction alongside its original algebraic definition."],"fun_headline_variants":["Quantum trace map = UV-IR map after one evaluation","Neitzke-Yan conjecture resolved for surfaces via UV-IR map","3d quantum trace from UV-IR map lift data","One evaluation connects trace and UV-IR maps","UV-IR map determines quantum trace on surfaces"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The 3d quantum UV-IR map is defined only after choosing a generalized angle structure on (Y,T), and such a structure exists only when every boundary component of Y is a torus; if no such structure exists, or if the cone skein relation (24) is inconsistent for some angle assignment, the top arrow of the compatibility square is not available and the 3d theorem has no content for that Y.","fun_headline_variants_meta":{"raw":{"variants":["Quantum trace map = UV-IR map after one evaluation","Neitzke-Yan conjecture resolved for surfaces via UV-IR map","3d quantum trace from UV-IR map lift data","One evaluation connects trace and UV-IR maps","UV-IR map determines quantum trace on surfaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001171,"raw_usage":{"total_tokens":4664,"prompt_tokens":713,"completion_tokens":3951,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":457,"completion_tokens_details":{"reasoning_tokens":3876}},"tokens_in":457,"tokens_out":3951,"duration_ms":32751,"temperature":1.0,"reasoning_tokens":3876,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T19:42:29.237163+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute both sides of π ∘ F_T([L]) = (Tr_T ⊗ id) ∘ ev([L]) for a single non-trivial framed link in a triangulated knot complement with a non-taut angle structure; a mismatch in any coefficient, or a showing that the cone relation (24) forces the gl1-skein module to be zero, would refute the 3d compatibility theorem for that example.","supporting_citations":[],"review_version":1}