pith. sign in

arxiv: 2606.11122 · v1 · pith:5PB5PKKOnew · submitted 2026-06-09 · 🧮 math.QA · math.GT· math.RT

Derived skein module

Chun-Yu Bai This is my paper

Pith reviewed 2026-06-27 10:36 UTC · model grok-4.3

classification 🧮 math.QA math.GTmath.RT
keywords derived skein modulesribbon tensor categoriesquantum groupsinternal skein algebrasHochschild formulabar constructiondeformation quantization
0
0 comments X

The pith

An axiomatic framework defines derived skein modules on 3-manifolds whose degree zero recovers the ordinary skein module.

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

The paper sets up a model-independent axiomatic framework for derived skein theory of oriented 3-manifolds with coefficients in a ribbon tensor category, with special attention to finite-dimensional representations of quantum groups at generic quantum parameter. The axioms are chosen so the zeroth homology is the classical skein module and so that gluing of manifolds is controlled by a bar construction. The setup produces explicit computable formulas expressing the derived objects through ordinary internal skein modules and internal skein algebras. It also supplies a Hochschild formula when the manifold is a product with a circle and yields the first concrete computations together with finiteness statements for generic parameters obtained via deformation quantization.

Core claim

We propose a model-independent axiomatic framework for the derived skein theory of oriented 3-manifolds with coefficients in a ribbon tensor category, especially focusing on the case where the input category is the category of finite-dimensional representations of a quantum group with quantum parameter not a root of unity. The axioms are designed so that the 0th homology recovers the ordinary skein module and gluing is governed by a bar construction. We establish several relationships between the derived skein theory and the ordinary skein theory. We show that this framework yields computable formulas in terms of ordinary internal skein modules and internal skein algebras. We also prove a Ho

What carries the argument

The axiomatic framework for derived skein theory on 3-manifolds, with gluing of manifolds controlled by a bar construction on the coefficient ribbon tensor category.

If this is right

  • Computable formulas for derived skein modules expressed directly in terms of ordinary internal skein modules and internal skein algebras.
  • A Hochschild formula for the derived skein module of any manifold of the form Sigma times S^1.
  • First explicit computations of derived skein modules for specific manifolds and coefficient categories.
  • Finiteness properties of the derived skein modules for generic quantum parameters, obtained through deformation quantization methods.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The bar-construction gluing rule may let derived skein modules serve as a bridge between classical skein invariants and other homological constructions in quantum topology.
  • Finiteness results at generic parameters suggest that deformation quantization could be used to compare derived skein modules across different coefficient categories.
  • The recovery of ordinary skein modules in degree zero raises the possibility that higher-degree information in the derived theory detects additional manifold or link data invisible to the classical theory.

Load-bearing premise

The axioms can be consistently defined in a model-independent way for ribbon tensor categories such that the 0th homology recovers the ordinary skein module and gluing is governed by a bar construction.

What would settle it

An explicit computation, for the 3-sphere or a simple knot complement and a concrete quantum group at generic parameter, in which the degree-zero part of the derived skein module differs from the known ordinary skein module or in which the claimed Hochschild formula fails to hold.

read the original abstract

We propose a model-independent axiomatic framework for the derived skein theory of oriented 3-manifolds with coefficients in a ribbon tensor category, especially focusing on the case where the input category is the category of finite-dimensional representations of a quantum group with quantum parameter not a root of unity. The axioms are designed so that the 0th homology recovers the ordinary skein module and gluing is governed by a bar construction. We establish several relationships between the derived skein theory and the ordinary skein theory. We show that this framework yields computable formulas in terms of ordinary internal skein modules and internal skein algebras. We also prove a Hochschild formula for Sigma x S^1. We give the first computations of derived skein modules and establish finiteness properties for generic parameters using deformation quantization methods.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper proposes a model-independent axiomatic framework for the derived skein theory of oriented 3-manifolds with coefficients in a ribbon tensor category (focusing on finite-dimensional representations of quantum groups at generic parameters). The axioms are constructed so that the 0th homology recovers the ordinary skein module and gluing is governed by a bar construction. The work establishes relationships to ordinary skein theory, derives computable formulas in terms of ordinary internal skein modules and internal skein algebras, proves a Hochschild formula for Σ × S¹, provides the first explicit computations of derived skein modules, and establishes finiteness properties for generic parameters via deformation quantization methods.

Significance. If the central claims hold, the framework supplies the first systematic derived extension of skein modules, together with explicit computability and finiteness results. The model-independent axiomatization and the use of deformation quantization to obtain finiteness are notable strengths that could enable new invariants and computations in quantum topology.

minor comments (1)
  1. The abstract refers to 'internal skein modules and internal skein algebras' without a preliminary definition or reference; a short paragraph in §1 or §2 clarifying the relation to the ordinary skein module would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper proposes an axiomatic framework explicitly designed so that the 0th homology recovers the ordinary skein module, with gluing governed by the bar construction. This is a definitional choice of the axioms rather than a derived claim. Subsequent results (relationships to ordinary skein theory, computable formulas in terms of internal skein modules/algebras, Hochschild formula for Σ × S¹, explicit computations, and finiteness via deformation quantization) are presented as following from these axioms in a model-independent way for ribbon tensor categories. No equations, self-citations, or fitted parameters are visible that reduce the central claims back to inputs by construction; the framework is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only provides no explicit free parameters, axioms, or invented entities; the framework itself is the main addition but details are absent.

pith-pipeline@v0.9.1-grok · 5654 in / 1144 out tokens · 33163 ms · 2026-06-27T10:36:40.506822+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

44 extracted references · 15 linked inside Pith

  1. [1]

    [AF17]David Ayala and John Francis.The cobordism hypothesis

    arXiv:1206.5522. [AF17]David Ayala and John Francis.The cobordism hypothesis. arXiv preprint arXiv:1705.02240,

    arXiv

  2. [2]

    [AF24]David Ayala and John Francis.The tangle hypothesis: Dimension

    arXiv:1903.10961. [AF24]David Ayala and John Francis.The tangle hypothesis: Dimension

    Pith/arXiv arXiv 1903

  3. [3]

    arXiv preprint arXiv:2410.23965,

    arXiv

  4. [4]

    arXiv preprint arXiv:1710.06414,

    [AFMGR17]David Ayala, John Francis, Aaron Mazel-Gee, and Nick Rozenblyum.Factorization homology of enriched∞-categories. arXiv preprint arXiv:1710.06414,

    arXiv

  5. [5]

    factorization homology i: Higher categories

    arXiv:1504.04007. [AFR20]David Ayala, John Francis, and Nick Rozenblyum.Corrigendum to “factorization homology i: Higher categories”[adv. math. 333 (2018) 1042–1177]. Advances in Mathematics, 370:107217,

    arXiv 2018

  6. [6]

    arXiv preprint arXiv:2012.07665,

    [AGKR+20]Dima Arinkin, Dennis Gaitsgory , David Kazhdan, Sam Raskin, Nick Rozenblyum, and Yasha Varshavsky .Duality for automorphic sheaves with nilpotent singular support. arXiv preprint arXiv:2012.07665,

    arXiv 2012

  7. [7]

    arXiv preprint arXiv:2405.03897,

    [AMGR24]David Ayala, Aaron Mazel-Gee, and Nick Rozenblyum.Symmetries of the cyclic nerve. arXiv preprint arXiv:2405.03897,

    arXiv

  8. [8]

    arXiv preprint arXiv:2310.00201,

    [Ara23]Kensuke Arakawa.Homotopy limits and homotopy colimits of chain complexes. arXiv preprint arXiv:2310.00201,

    arXiv

  9. [9]

    arXiv preprint arXiv:0906.5198,

    [BCT09]Andrew J Blumberg, Ralph L Cohen, and Constantin Teleman.Open- closed field theories, string topology, and hochschild homology. arXiv preprint arXiv:0906.5198,

    Pith/arXiv arXiv

  10. [10]

    International Mathematics Research Notices, 2025(21):rnaf333,

    [BD25]Giulio Belletti and Renaud Detcherry .On torsion in the kauffman bracket skein module of 3-manifolds. International Mathematics Research Notices, 2025(21):rnaf333,

    2025

  11. [11]

    Factorisation homology of wild character varieties

    [Bie]Julia Bierent. Factorisation homology of wild character varieties. upcoming. [BJ25]Jennifer Brown and David Jordan.Parabolic skein modules. arXiv preprint arXiv:2505.14836,

    arXiv

  12. [12]

    arXiv preprint arXiv:2511.19139,

    [BJVV25]Julia Bierent, David Jordan, Matthias Vancraeynest, and Monica Vazirani.The skein partition function of the mapping torus. arXiv preprint arXiv:2511.19139,

    arXiv

  13. [13]

    arXiv preprint arXiv:1009.0084,

    [BW10]Francis Bonahon and Helen Wong.Kauffman brackets, character varieties, and triangulations of surfaces. arXiv preprint arXiv:1009.0084,

    Pith/arXiv arXiv

  14. [14]

    [BZBJ18b]David Ben-Zvi, Adrien Brochier, and David Jordan.Quantum character varieties and braided module categories

    arXiv:1501.04652. [BZBJ18b]David Ben-Zvi, Adrien Brochier, and David Jordan.Quantum character varieties and braided module categories. Selecta Mathematica, 24(5):4711–4748,

    Pith/arXiv arXiv

  15. [15]

    [BZFN10]David Ben-Zvi, John Francis, and David Nadler.Integral transforms and drinfeld centers in derived algebraic geometry

    arXiv:1606.04769. [BZFN10]David Ben-Zvi, John Francis, and David Nadler.Integral transforms and drinfeld centers in derived algebraic geometry. Journal of the American Mathematical So- ciety , 23(4):909–966,

    Pith/arXiv arXiv

  16. [16]

    arXiv preprint arXiv:0904.1247,

    [BZN09]David Ben-Zvi and David Nadler.The character theory of a complex group. arXiv preprint arXiv:0904.1247,

    Pith/arXiv arXiv

  17. [17]

    arXiv preprint arXiv:2507.17169,

    [CN25]Agustina Czenky and Cris Negron.Cochain valued tqfts from nonsemisimple mod- ular tensor categories. arXiv preprint arXiv:2507.17169,

    arXiv

  18. [18]

    [CRS19]Nils Carqueville, Ingo Runkel, and Gregor Schaumann.Orbifolds of n-dimensional defect TQFTs

    arXiv:1210.6363. [CRS19]Nils Carqueville, Ingo Runkel, and Gregor Schaumann.Orbifolds of n-dimensional defect TQFTs. Geometry & Topology , 23(2):781–864,

    Pith/arXiv arXiv

  19. [19]

    [DG13a]Tudor Dimofte and Stavros Garoufalidis.The quantum content of the gluing equa- tions

    arXiv:1705.06085. [DG13a]Tudor Dimofte and Stavros Garoufalidis.The quantum content of the gluing equa- tions. Geometry & Topology , 17(3):1253–1315,

    Pith/arXiv arXiv

  20. [20]

    [EGNO15]Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik.Tensor cate- gories

    arXiv:1406.4204. [EGNO15]Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik.Tensor cate- gories. American Math. Soc, Providence, RI,

    Pith/arXiv arXiv

  21. [21]

    arXiv preprint arXiv:2302.01468,

    [FSY23]Jürgen Fuchs, Christoph Schweigert, and Yang Yang.String-net models for pivotal bicategories. arXiv preprint arXiv:2302.01468,

    arXiv

  22. [22]

    arXiv preprint arXiv:2409.05613,

    [GJV24]Sam Gunningham, David Jordan, and Monica Vazirani.Skeins on tori. arXiv preprint arXiv:2409.05613,

    arXiv

  23. [23]

    arXiv preprint arXiv:2406.04918,

    [GY24]Stavros Garoufalidis and Tao Yu.The 3d-index of the 3d-skein module via the quantum trace map. arXiv preprint arXiv:2406.04918,

    arXiv

  24. [24]

    arXiv preprint arXiv:2412.14649,

    [Haï24]Benjamin Haïoun.Defining extended tqfts via handle attachments. arXiv preprint arXiv:2412.14649,

    arXiv

  25. [25]

    arXiv preprint arXiv:2404.06301,

    [HRW24]Matthew Hogancamp, David EV Rose, and Paul Wedrich.Bordered invariants from khovanov homology. arXiv preprint arXiv:2404.06301,

    arXiv

  26. [26]

    arXiv preprint arXiv:2102.12283,

    62 [JLSS21]David Jordan, Ian Le, Gus Schrader, and Alexander Shapiro.Quantum decorated character stacks. arXiv preprint arXiv:2102.12283,

    arXiv

  27. [27]

    String-Math, 107(2024):127,

    [Jor22]David Jordan.Langlands duality for skein modules of 3-manifolds. String-Math, 107(2024):127,

    2024

  28. [28]

    arXiv preprint arXiv:2509.22313,

    [JR25]David Jordan and Iordanis Romaidis.Finiteness and holonomicity of skein modules. arXiv preprint arXiv:2509.22313,

    arXiv

  29. [29]

    Kalfagianni.Skein modules, character varieties and essential sur- faces of 3-manifolds

    [Kal25]E. Kalfagianni.Skein modules, character varieties and essential sur- faces of 3-manifolds. Quantum topology conference Bonn MPIM, https://users.math.msu.edu/users/kalfagia/MPI.pdf, year=2025,

    2025

  30. [30]

    [Ked]Kiran S. Kedlaya. https://kskedlaya.org/prismatic/sec_derived-complete.html. [Kin24]Patrick Kinnear.Non-semisimple crane-yetter theory varying over the character stack. arXiv preprint arXiv:2404.19667,

    arXiv

  31. [31]

    arXiv preprint arXiv:1003.3304,

    [KS10]Masaki Kashiwara and Pierre Schapira.Deformation quantization modules. arXiv preprint arXiv:1003.3304,

    Pith/arXiv arXiv

  32. [32]

    arXiv preprint math/0702299,

    [Lur07]Jacob Lurie.Derived algebraic geometry ii: Noncommutative algebra. arXiv preprint math/0702299,

    Pith/arXiv arXiv

  33. [33]

    Current Develop- ments in Mathematics, 2008(1):129–280,

    [Lur08]Jacob Lurie.On the classification of topological field theories. Current Develop- ments in Mathematics, 2008(1):129–280,

    2008

  34. [34]

    [Lur17]Jacob Lurie.Higher Algebra

    arXiv:0905.0465. [Lur17]Jacob Lurie.Higher Algebra. Book online, 2017.http://www.math.harvard. edu/~lurie/papers/HA.pdf. [Lur18]Jacob Lurie.Spectral algebraic geometry. preprint,

    Pith/arXiv arXiv 2017

  35. [35]

    arXiv preprint arXiv:2308.08369,

    [NS23]Florian Naef and Pavel Safronov.Torsion volume forms. arXiv preprint arXiv:2308.08369,

    arXiv

  36. [36]

    arXiv preprint arXiv:2601.16213,

    [Pei26]Du Pei.Gauge theory and skein modules. arXiv preprint arXiv:2601.16213,

    arXiv

  37. [37]

    arXiv preprint arXiv:2403.12850,

    [PP24]Samuel Panitch and Sunghyuk Park.3d quantum trace map. arXiv preprint arXiv:2403.12850,

    arXiv

  38. [38]

    arXiv preprint arXiv:2511.07602,

    [Pri25]JP Pridham.Deformation quantisation of exact shifted symplectic structures, with an application to vanishing cycles. arXiv preprint arXiv:2511.07602,

    arXiv

  39. [39]

    arXiv preprint math/9809113,

    [Prz98]Józef H Przytycki.Fundamentals of kauffman bracket skein modules. arXiv preprint math/9809113,

    Pith/arXiv arXiv

  40. [40]

    arXiv preprint q-alg/9705011,

    [PS97]Józef H Przytycki and Adam S Sikora.On skein algebras and sl_2 (c)-character varieties. arXiv preprint q-alg/9705011,

    Pith/arXiv arXiv

  41. [41]

    arXiv preprint arXiv:2402.10452,

    [RW24]Qiuyu Ren and Michael Willis.Khovanov homology and exotic4-manifolds. arXiv preprint arXiv:2402.10452,

    arXiv

  42. [42]

    arXiv preprint arXiv:1901.09031,

    [Saf19]Pavel Safronov.A categorical approach to quantum moment maps. arXiv preprint arXiv:1901.09031,

    arXiv 1901

  43. [43]

    TQFT club talk, https://tqft.math.tecnico.ulisboa.pt/seminars?year=2022,

    [Saf22]Pavel Safronov.Skein module and 4d tqft. TQFT club talk, https://tqft.math.tecnico.ulisboa.pt/seminars?year=2022,

    2022

  44. [44]

    arXiv preprint math/0701205,

    [Tab07]Goncalo Tabuada.A new quillen model for the morita homotopy theory of dg cate- gories. arXiv preprint math/0701205,

    Pith/arXiv arXiv