|
SIGMA 22 (2026), 034, 41 pages arXiv:2306.03225
https://doi.org/10.3842/SIGMA.2026.034
Skein (3+1)-TQFTs from Non-Semisimple Ribbon Categories
Francesco Costantino a, Nathan Geer b, Benjamin Haïoun a and Bertrand Patureau Mirand c
a) Institut de Mathématiques de Toulouse, 118 route de Narbonne, 31062 Toulouse, France
b) Mathematics and Statistics, Utah State University, Logan, Utah 84322, USA
c) Univ Bretagne Sud, CNRS UMR 6205, LMBA, 56000 Vannes, France
Received July 04, 2025, in final form March 16, 2026; Published online April 14, 2026
Abstract
We define a (3+1)-TQFT associated with possibly non-semisimple finite unimodular ribbon tensor categories using skein theory. This gives an explicit realization of a TQFT predicted by the cobordism hypothesis, based on recent results on dualizability. State spaces are given by admissible skein modules, and we prescribe the TQFT on handle attachments. We give some explicit algebraic conditions on the input category to define this TQFT, namely to be ''chromatic non-degenerate''. As a by-product, we obtain an invariant of 4-manifolds equipped with a ribbon graph in their boundary, and in the ''twist non-degenerate'' case, an invariant of 3-manifolds. Our construction generalizes the Crane-Yetter-Kauffman TQFTs in the semi-simple case, and the Lyubashenko (hence also Hennings and WRT) invariants of 3-manifolds. The whole construction is very elementary, and we can easily characterize the invertibility of the TQFTs, study their behavior under connected sums and provide some examples.
Key words: (3+1)-TQFT; skein modules; chromatic category.
pdf (864 kb)
tex (138 kb)
References
- Atiyah M., Topological quantum field theories, Inst. Hautes Études Sci. Publ. Math. 68 (1988), 175-186.
- Bärenz M., Barrett J., Dichromatic state sum models for four-manifolds from pivotal functors, Comm. Math. Phys. 360 (2018), 663-714, arXiv:1601.03580.
- Beliakova A., Blanchet C., Gainutdinov A.M., Modified trace is a symmetrised integral, Selecta Math. (N.S.) 27 (2021), 31, 51 pages, arXiv:1801.00321.
- Beliakova A., De Renzi M., Refned Bobtcheva-Messia invariants of 4-dimensional 2-handlebodies, in Essays in Geometry—Dedicated to Norbert A'Campo, IRMA Lect. Math. Theor. Phys., Vol. 34, EMS Press, Berlin, 2023, 387-431, arXiv:2205.11385.
- Beliakova A., De Renzi M., Kerler-Lyubashenko functors on 4-dimensional 2-handlebodies, Int. Math. Res. Not. 2024 (2024), 10005-10080, arXiv:2105.02789.
- Benson D., Etingof P., Ostrik V., New incompressible symmetric tensor categories in positive characteristic, Duke Math. J. 172 (2023), 105-200, arXiv:2003.10499.
- Blanchet C., Costantino F., Geer N., Patureau-Mirand B., Non-semi-simple TQFTs, Reidemeister torsion and Kashaev's invariants, Adv. Math. 301 (2016), 1-78, arXiv:1404.7289.
- Blanchet C., Habegger N., Masbaum G., Vogel P., Topological quantum field theories derived from the Kauffman bracket, Topology 34 (1995), 883-927.
- Brochier A., Jordan D., Safronov P., Snyder N., Invertible braided tensor categories, Algebr. Geom. Topol. 21 (2021), 2107-2140, arXiv:2003.13812.
- Brochier A., Jordan D., Snyder N., On dualizability of braided tensor categories, Compos. Math. 157 (2021), 435-483, arXiv:1804.07538.
- Brown J., Haïoun B., Skein categories in non-semisimple settings, arXiv:2406.08956.
- Costantino F., Geer N., Patureau-Mirand B., Quantum invariants of 3-manifolds via link surgery presentations and non-semi-simple categories, J. Topol. 7 (2014), 1005-1053, arXiv:1202.3553.
- Costantino F., Geer N., Patureau-Mirand B., Admissible skein modules, arXiv:2302.04493.
- Costantino F., Geer N., Patureau-Mirand B., Turaev V., Kuperberg and Turaev-Viro invariants in unimodular categories, Pacific J. Math. 306 (2020), 421-450, arXiv:1809.07991.
- Costantino F., Geer N., Patureau-Mirand B., Virelizier A., Chromatic maps for finite tensor categories, arXiv:2305.14626.
- Costantino F., Geer N., Patureau-Mirand B., Virelizier A., Non compact $(2+1)$-TQFTs from non-semisimple spherical categories, arXiv:2302.04509.
- Crane L., Kauffman L.H., Yetter D.N., State-sum invariants of $4$-manifolds, J. Knot Theory Ramifications 6 (1997), 177-234, arXiv:hep-th/9409167.
- Crane L., Yetter D., A categorical construction of $4$D topological quantum field theories, in Quantum Topology, Ser. Knots Everything, Vol. 3, World Scientific Publishing, River Edge, NJ, 1993, 120-130, arXiv:hep-th/9301062.
- De Renzi M., Gainutdinov A.M., Geer N., Patureau-Mirand B., Runkel I., 3-dimensional TQFTs from non-semisimple modular categories, Selecta Math. (N.S.) 28 (2022), 42, 60 pages, arXiv:1912.02063.
- De Renzi M., Geer N., Patureau-Mirand B., Renormalized Hennings invariants and $2+1$-TQFTs, Comm. Math. Phys. 362 (2018), 855-907, arXiv:1707.08044.
- Décoppet T.D., Higher verlinde categories: the mixed case, arXiv:2407.20211.
- Décoppet T.D., Relative invertibility and full dualizability of finite braided tensor categories, arXiv:2506.16241.
- Décoppet T.D., Haïoun B., Invariants of $4$-dimensional $2$-handlebodies from the Temperley-Lieb category in positive characteristic, arXiv:2512.14849.
- Drozd Yu.A., Kirichenko V.V., Finite-dimensional algebras, Springer, Berlin, 1994.
- Etingof P., Gelaki S., Nikshych D., Ostrik V., Tensor categories, Math. Surveys Monogr, Vol. 205, American Mathematical Society, Providence, RI, 2015.
- Faes Q., Manko M., Non-factorizable ribbon Hopf algebras, arXiv:2503.19532.
- Freed D.S., Anomalies and invertible field theories, in String-Math 2013, Proc. Sympos. Pure Math., Vol. 88, American Mathematical Society, Providence, RI, 2014, 25-45, arXiv:1404.7224.
- Freed D.S., What is an anomaly?, arXiv:2307.08147.
- Geer N., Ha N.P., Patureau-Mirand B., Modified graded Hennings invariants from unrolled quantum groups and modified integral, J. Pure Appl. Algebra 226 (2022), 106815, 46 pages, arXiv:2006.12050.
- Geer N., Kujawa J., Patureau-Mirand B., M-traces in (non-unimodular) pivotal categories, Algebr. Represent. Theory 25 (2022), 759-776, arXiv:1809.00499.
- Geer N., Patureau-Mirand B., The trace on projective representations of quantum groups, Lett. Math. Phys. 108 (2018), 117-140, arXiv:1610.09129.
- Geer N., Patureau-Mirand B., Turaev V., Modified quantum dimensions and re-normalized link invariants, Compos. Math. 145 (2009), 196-212, arXiv:0711.4229.
- Gompf R.E., Stable diffeomorphism of compact $4$-manifolds, Topology Appl. 18 (1984), 115-120.
- Gompf R.E., Stipsicz A.I., $4$-manifolds and Kirby calculus, Grad. Stud. Math., Vol. 20, American Mathematical Society, Providence, RI, 1999.
- Haïoun B., Unit inclusion in a (nonsemisimple) braided tensor category and (noncompact) relative TQFTs, Geom. Topol. 29 (2025), 2175-2216, arXiv:2304.12167.
- Haïoun B., Defining extended TQFTs via handle attachments, arXiv:2412.14649.
- Haïoun B., Non-semisimple WRT at the boundary of Crane-Yetter, arXiv:2503.20905.
- Hennings M., Invariants of links and $3$-manifolds obtained from Hopf algebras, J. London Math. Soc. 54 (1996), 594-624.
- Johnson-Freyd T., Scheimbauer C., (Op)lax natural transformations, twisted quantum field theories, and ''even higher'' Morita categories, Adv. Math. 307 (2017), 147-223, arXiv:1502.06526.
- Juhász A., Defining and classifying TQFTs via surgery, Quantum Topol. 9 (2018), 229-321, arXiv:1408.0668.
- Kerler T., Lyubashenko V.V., Non-semisimple topological quantum field theories for $3$-manifolds with corners, Lecture Notes in Math., Vol. 1765, Springer, Berlin, 2001.
- Larson R.G., Radford D.E., Finite-dimensional cosemisimple Hopf algebras in characteristic $0$ are semisimple, J. Algebra 117 (1988), 267-289.
- Lurie J., On the classification of topological field theories, in Current Developments in Mathematics, 2008, International Press, Somerville, MA, 2009, 129-280, arXiv:0905.0465.
- Lyubashenko V.V., Invariants of $3$-manifolds and projective representations of mapping class groups via quantum groups at roots of unity, Comm. Math. Phys. 172 (1995), 467-516, arXiv:hep-th/9405167.
- Manko M., Representation theory of non-factorizable ribbon Hopf algebras, arXiv:2510.24263.
- Milnor J., Lectures on $h$-cobordism, Princeton University Press, Princeton, NJ, 1965.
- Müller L., Schweigert C., Woike L., Yang Y., The Lyubashenko modular functor for Drinfeld centers via non-semisimple string-nets, Adv. Math. 488 (2026), 110770, 44 pages, arXiv:2312.14010.
- Radford D.E., Hopf algebras, Ser. Knots Everything, Vol. 49, World Scientific Publishing, Hackensack, NJ, 2012.
- Reshetikhin N., Turaev V.G., Invariants of $3$-manifolds via link polynomials and quantum groups, Invent. Math. 103 (1991), 547-597.
- Reutter D., From non-unital skein theory to modified traces and non-semisimple topological field theories, Talk in Bonn, 2020, available at https://drive.google.com/file/d/1IslyZdNdYoAaqe_GRZ60uLEN9IOiAiEM/view.
- Reutter D., Semisimple four-dimensional topological field theories cannot detect exotic smooth structure, J. Topol. 16 (2023), 542-566, arXiv:2001.02288.
- Reutter D., Schommer-Pries C., Semisimple field theories detect stable diffeomorphism, Adv. Math. 482 (2025), 110598, 82 pages, arXiv:2206.10031.
- Roberts J., Skein theory and Turaev-Viro invariants, Topology 34 (1995), 771-787.
- Schommer-Pries C., Invertible topological field theories, arXiv:1712.08029.
- Sutton L., Tubbenhauer D., Wedrich P., Zhu J., ${\rm SL}_2$ tilting modules in the mixed case, Selecta Math. (N.S.) 29 (2023), 39, 40 pages, arXiv:2105.07724.
- Tham Y.H., On the category of boundary values in the extended Crane-Yetter TQFT, Ph.D. Thesis, State University of New York at Stony Brook, 2021, arXiv:2108.13467.
- Turaev V.G., Quantum invariants of knots and $3$-manifolds, De Gruyter Stud. Math., Vol. 18, Walter de Gruyter & Co., Berlin, 1994.
- Walker K., A universal state sum, arXiv:2104.02101.
- Walker K., Going from $n + \varepsilon$ to $n + 1$ in non-semisimple oriented TQFTs, Talk at the UQSL seminar, 2022, available at https://canyon23.net/math/talks/np1.pdf.
|
|