A supergroup series for knot complements
Pith reviewed 2026-05-18 23:30 UTC · model grok-4.3
The pith
The sl(2|1) superalgebra produces a three-variable series invariant for plumbed knot complements together with a surgery formula to the hat Z invariant.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We introduce a three variable series invariant F_K (y,z,q) for plumbed knot complements associated with a Lie superalgebra sl(2|1). The invariant is a generalization of the sl(2|1)-series invariant hat Z(q) for closed 3-manifolds and an extension of the two variable series invariant defined by Gukov and Manolescu to the Lie superalgebra. We derive a surgery formula relating F_K (y,z,q) to hat Z(q) invariant. We find appropriate expansion chambers for certain infinite families of torus knots and compute explicit examples. Furthermore, we provide evidence for a non semisimple Spin^c decorated TQFT from the three variable series. We observe that the super F_K (y,z,q) itself and its results show
What carries the argument
The three-variable series F_K(y,z,q) associated with the sl(2|1) Lie superalgebra, which generalizes prior invariants and carries the surgery formula that relates knot complements to closed three-manifolds.
If this is right
- Surgery formulas convert the knot-complement series directly into hat Z(q) for the corresponding closed manifolds.
- Explicit series expansions become available for infinite families of torus knots once suitable chambers are chosen.
- The three-variable series supplies evidence for the existence of a non-semisimple Spin^c decorated TQFT.
- The superalgebra version produces results with features absent from the ordinary two-variable GM series.
Where Pith is reading between the lines
- The same construction could be tested on other families of plumbed knots to check whether the expansion chambers remain consistent.
- Connections to non-semisimple TQFT structures may suggest ways to incorporate supersymmetry into existing categorification programs for knot invariants.
- The surgery relation might be examined for compatibility with other known knot invariants outside the sl(2|1) setting.
Load-bearing premise
The series admits well-defined expansion chambers and the surgery formula holds without additional correction terms.
What would settle it
Compute the F_K series for the trefoil knot in its appropriate chamber and check whether the surgery formula recovers the known hat Z(q) value for the resulting closed manifold without discrepancy.
Figures
read the original abstract
We introduce a three variable series invariant $F_K (y,z,q)$ for plumbed knot complements associated with a Lie superalgebra $sl(2|1)$. The invariant is a generalization of the $sl(2|1)$-series invariant $\hat{Z}(q)$ for closed 3-manifolds introduced by Ferrari and Putrov and an extension of the two variable series invariant defined by Gukov and Manolescu (GM) to the Lie superalgebra. We derive a surgery formula relating $F_K (y,z,q)$ to $\hat{Z}(q)$ invariant. We find appropriate expansion chambers for certain infinite families of torus knots and compute explicit examples. Furthermore, we provide evidence for a non semisimple $Spin^c$ decorated TQFT from the three variable series. We observe that the super $F_K (y,z,q)$ itself and its results exhibit distinctive features compared to the GM series.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a three-variable series invariant F_K(y,z,q) for plumbed knot complements associated with the Lie superalgebra sl(2|1). This is presented as a generalization of the hat Z(q) invariant for closed 3-manifolds and an extension of the two-variable GM series. The paper derives a surgery formula relating F_K(y,z,q) to hat Z(q), identifies expansion chambers and computes explicit examples for certain infinite families of torus knots, and provides evidence for a non-semisimple Spin^c decorated TQFT, while noting distinctive features of the super series relative to the GM series.
Significance. If the surgery formula holds for general plumbed knots without chamber-specific corrections, the work would extend quantum invariants into the supergroup setting and strengthen links between knot-complement series and closed-manifold invariants, with potential implications for non-semisimple TQFT constructions. The explicit torus-knot computations supply concrete data points, but the broader significance hinges on whether the general construction is fully substantiated beyond these families.
major comments (2)
- [Surgery formula] Surgery formula section: The central claim that the surgery formula maps F_K(y,z,q) directly onto hat Z(q) for plumbed knot complements without additional correction terms is load-bearing, yet the manuscript verifies this only for torus-knot families; no derivation steps, error estimates, or explicit check of chamber compatibility with arbitrary plumbing graphs are supplied, leaving open the possibility that wall-crossing corrections arise for general cases.
- [§2 (Definition of F_K)] Definition and construction of F_K: The three-variable series is defined as a generalization associated with sl(2|1), but the text provides no explicit construction, invariance proof under plumbing moves, or verification that the series satisfies the claimed properties for plumbed knots outside the torus-knot examples; this undercuts the assertion of a well-defined invariant for the general class.
minor comments (2)
- [Abstract and Introduction] The abstract states the results for 'plumbed knot complements' while restricting explicit computations to 'certain infinite families of torus knots'; this scope mismatch should be clarified in the introduction and conclusion.
- [Examples section] Notation for the expansion chambers and the parameters y,z is introduced without a dedicated table or diagram summarizing the chambers for the computed examples, which would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address the major points below and will revise the manuscript to strengthen the presentation of the general construction and surgery formula.
read point-by-point responses
-
Referee: [Surgery formula] Surgery formula section: The central claim that the surgery formula maps F_K(y,z,q) directly onto hat Z(q) for plumbed knot complements without additional correction terms is load-bearing, yet the manuscript verifies this only for torus-knot families; no derivation steps, error estimates, or explicit check of chamber compatibility with arbitrary plumbing graphs are supplied, leaving open the possibility that wall-crossing corrections arise for general cases.
Authors: The surgery formula is obtained by applying the general definition of F_K to the plumbing graph of the knot complement and then performing the surgery operation that closes the manifold, using the sl(2|1) superalgebra structure. This derivation holds formally for any plumbed knot complement. The torus-knot families are used to make the formula explicit and to fix the expansion chambers. We agree that the manuscript would benefit from a more expanded derivation. In the revision we will insert a detailed step-by-step derivation of the surgery formula, together with a brief argument that no wall-crossing corrections appear for general plumbing graphs, based on the absence of such terms in the underlying superalgebraic construction. revision: yes
-
Referee: [§2 (Definition of F_K)] Definition and construction of F_K: The three-variable series is defined as a generalization associated with sl(2|1), but the text provides no explicit construction, invariance proof under plumbing moves, or verification that the series satisfies the claimed properties for plumbed knots outside the torus-knot examples; this undercuts the assertion of a well-defined invariant for the general class.
Authors: The definition of F_K is given by associating to each vertex and edge of an arbitrary plumbing graph the appropriate factors coming from the sl(2|1) superalgebra, in direct analogy with the construction of hat Z by Ferrari-Putrov and the GM series. This yields a well-defined formal power series for any plumbed knot complement. The torus-knot computations serve as concrete checks rather than the sole justification. We acknowledge that a more explicit write-up of the general construction and a sketch of invariance under plumbing moves would improve clarity. In the revised manuscript we will expand Section 2 with the explicit general formula for an arbitrary plumbing graph and an outline of the invariance argument under the relevant moves. revision: yes
Circularity Check
No significant circularity detected; derivation is self-contained
full rationale
The paper defines a new three-variable series F_K(y,z,q) as a generalization of the existing sl(2|1) hat Z(q) for closed manifolds and the GM two-variable series. It then derives a surgery formula relating the knot-complement invariant to hat Z(q) for plumbed knots, computes explicit expansion chambers for torus-knot families, and provides examples. No quoted step reduces a claimed prediction or first-principles result to a fitted parameter, self-citation chain, or definitional tautology. The central objects are newly introduced, the surgery relation is presented as derived rather than imposed by construction, and external benchmarks (Ferrari-Putrov, Gukov-Manolescu) supply independent context. This is the normal case of an honest non-finding.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Standard properties of the Lie superalgebra sl(2|1) and its representations allow a well-defined series invariant for plumbed manifolds.
- domain assumption A surgery formula exists that relates the knot-complement series directly to the closed-manifold hat Z(q) without extra terms.
Reference graph
Works this paper leans on
-
[1]
Aganagic, Homological knot invariants from mirror symmetry, Proc
M. Aganagic, Homological knot invariants from mirror symmetry, Proc. Int. Cong. Math. 2022, arXiv:2207.14104
-
[2]
Atiyah, Topological quantum field theory, Publications math´ ematiques de l I.H.E.S68 (1988), p
M. Atiyah, Topological quantum field theory, Publications math´ ematiques de l I.H.E.S68 (1988), p. 175-186
work page 1988
-
[3]
J. Baez, J. Dolan, Higher-dimensional algebra and topological quantum field theory, Jour- nal of Mathematical Physics 36, 6073 (1995)
work page 1995
-
[5]
J. Chae, Witt invariants from q-series, Letters in Mathematical Physics Volume 113, article number 3, (2023), arXiv:2204.02794
-
[6]
Chae, A Cable Knot and BPS-Series II, Experimental Mathematics Volume 34, 2025, arXiv:2303:083330
J. Chae, A Cable Knot and BPS-Series II, Experimental Mathematics Volume 34, 2025, arXiv:2303:083330
work page 2025
-
[7]
J. Chae, Knot Complement, ADO Invariants and their Deformations for Torus Knots, SIGMA 16 (2020), 134, arXiv:2007.13277
- [8]
-
[9]
M. Cheng, I.Coman, P. Kucharski, D. Passaro, G. Sgroi, 3d Modularity Revisited, arXiv:2403.14920
-
[10]
Quantum invariants of 3-manifolds via link surgery presentations and non-semi-simple categories
F. Costantino, N. Geer, B. Patureau-Mirand, Quantum invariants of 3-manifolds via link surgery presentations and non-semi-simple categories,J. Topol.7 (2014), no. 4, 1005–1053, arXiv:1202.3553
work page internal anchor Pith review Pith/arXiv arXiv 2014
- [11]
- [12]
-
[13]
B. Elias and Y. Qi, categorification of quantum sl(2) at prime roots of unity, Adv. Math., 299(2016), 863-930
work page 2016
-
[14]
F. Ferrari, P. Putrov, Supergroups, q-series and 3-manifolds, Annales Henri Poincare , Volume 25, pages 2781–2837, (2024) arXiv:2009.14196
-
[15]
R. Fenn and C. Rourke, On Kirby’s calculus of links, Topology Volume 18, Issue 1, 1979, Pages 1-15
work page 1979
-
[16]
D. Freed, Lectures on field theory and topology, AMS Regional conference series in math- ematics, 133, 2019
work page 2019
-
[17]
N. Geer, J. Kujawa, B.Patureau-Mirand, Generalized trace and modified dimension functions on ribbon categories, Selecta Mathematica volume 17, pages453–504 (2011), arXiv:1001.0985. 37
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[18]
N. Geer, J. Kujawa, B.Patureau-Mirand, Ambidextrous objects and trace functions for nonsemisimple categories, Proc. Amer. Math. Soc. 141 (2013), no. 9, arXiv:1106.4477
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[19]
Multivariable link invariants arising from sl(2|1) and the Alexander polynomial
N. Geer, B.Patureau-Mirand, Multivariable link invariants arising from sl(2|1) and the Alexander polynomial, J. Pure Appl. Algebra 210 (2007), no. 1, 283–298, arXiv:math/0601291
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[20]
Multivariable link invariants arising from Lie superalgebras of type I
N. Geer, B.Patureau-Mirand, Multivariable link invariants arising from Lie superalgebras of type I, J. Knot Theory Ramifications 19 (2010), no. 1, 93–115, arXiv:math/0609034
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[21]
N. Geer, B. Patureau-Mirand, V. Turaev, Modified quantum dimensions and re- normalized link invariants, Compos. Math. 145 (2009), no. 1, 196–212, arXiv:0711.4229
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[22]
Gruen, The sl(N) Symmetrically Large Coloured R Matrix, arXiv:2212.05222
A. Gruen, The sl(N) Symmetrically Large Coloured R Matrix, arXiv:2212.05222
-
[23]
Gukov, Gauge theory and knot homologies, Fortschr
S. Gukov, Gauge theory and knot homologies, Fortschr. Phys. 55, 2007
work page 2007
- [24]
-
[25]
S. Gukov, P-S Hsin, H. Nakajima, SH Park, D. Pei, and N. Sopenko, Rozansky-Witten geometry of Coulomb branches and logarithmic knot invariants, Journal of Geometry and Physics, Volume 168, October 2021, 104311 arXiv:2005.05347
- [26]
-
[27]
Fivebranes and 3-manifold homology
S. Gukov, P. Putrov, C. Vafa, Fivebranes and 3-manifold homology, J. High Energ. Phys. 07, 71, 2017, arXiv:1602.05302
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[28]
BPS spectra and 3-manifold invariants
S. Gukov, D. Pei, P. Putrov and C. Vafa, BPS spectra and 3-manifold invariants, Journal of Knot Theory and Its Ramifications Vol. 29, No. 02, 2040003 (2020), arXiv:1701.06567
work page internal anchor Pith review Pith/arXiv arXiv 2020
- [29]
- [30]
-
[31]
N. P. Ha, Topological invariants from quantum group Uζ(sl(2|1)) at roots of unity, arXiv:1607.03728
work page internal anchor Pith review Pith/arXiv arXiv
-
[32]
A. Kapustin, E. Witten, Electric-magnetic duality and the geometric Langlands program, Communications in number theory and physics Volume1,Number1,1–236,2007, arXiv:hep- th/0604151
-
[33]
A categorification of the Jones polynomial
M. Khovanov, A categorification of the Jones polynomial, Duke Math. J. 101, 3, 359-426, 2003, arXiv:math/9908171
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[34]
Categorifications of the colored Jones polynomial
M. Khovanov, A categorification of the colored Jones polynomial, J. Knot Theory Rami- fications 14 (2005), 111–130, arXiv:math/0302060
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[35]
Khovanov, Hopfological algebra and categorification at a root of unity: the first steps, J
M. Khovanov, Hopfological algebra and categorification at a root of unity: the first steps, J. Knot Theory Ramifications 25 (2016), no. 3, 1640006, 26,
work page 2016
-
[36]
M. Khovanov, A. Lauda, A diagrammatic approach to categorification of quantum groups I, Represent. Theory 13 (2009), 309-347, 38
work page 2009
-
[37]
M. Khovanov, L. Rozansky, Matrix factorizations and link homology 2, Geom. Topol. 12, no. 3, 1387-1425, 2008, arXiv:0505056
work page 2008
-
[38]
Kirby, A calculus for framed links in S3, Inventiones mathematicae, Volume 45, pages 35–56, (1978)
R. Kirby, A calculus for framed links in S3, Inventiones mathematicae, Volume 45, pages 35–56, (1978)
work page 1978
-
[39]
A. Kapustin, E. Witten, Electric-Magnetic Duality And The Geometric Langlands Pro- gram, Communications in number theory and physics , Volume1, Number1, 1–236, 2007
work page 2007
-
[40]
An introduction to diagrammatic algebra and categorified quantum sl(2)
A. Lauda, An introduction to diagrammatic algebra and categorified quantum sl(2), arXiv:1106.2128
work page internal anchor Pith review Pith/arXiv arXiv
-
[41]
R. Lawrence and D. Zagier, Modular forms and quantum invariants of 3-manifolds, Asian J. Math., 3(1999), no. 1, 93-107
work page 1999
-
[42]
On the Classification of Topological Field Theories
J. Lurie, On the classification of topological field theories, Current Developments in Math- ematics, 2009: 129-280 (2009) arXiv:0905.0465
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[43]
V. Mikhaylov, E. Witten, Branes and Supergroups, Communications in Mathematical Physics, Volume 340, pages 699–832, (2015) arXiv:1410.1175
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[44]
Moser, Elementary surgery along a torus knot, Pacific J
L. Moser, Elementary surgery along a torus knot, Pacific J. Math. , 38(1971), 737-745
work page 1971
-
[45]
Y. Murakami, A Proof of a Conjecture of Gukov–Pei–Putrov–Vafa, Communications in Mathematical Physics, Volume 405, article number 274, (2024). arXiv:2302.13526
- [46]
-
[47]
W. Neumann, A calculus for plumbing applied to the topology of complex surface singu- larities and degenerating complex curves, Trans. Amer. Math. Soc. 268 (1981), 299-344
work page 1981
-
[48]
W. Neumann, F. Raymond, Seifert manifolds, plumbing, µ-invariant and orientation re- versing maps, Algebraic and Geometric Topology , Lecture Notes in Mathematics book series (LNM, volume 664), Proceedings of a Symposium at Santa Barbara, July 25–29, 1977
work page 1977
-
[49]
Park, Higher Rank ˆZ and FK, SIGMA 16 (2020), 044, 17 pages, arXiv:1909.13002
S. Park, Higher Rank ˆZ and FK, SIGMA 16 (2020), 044, 17 pages, arXiv:1909.13002
-
[50]
S. Park, Large color R-matrix for knot complements and strange identities, Journal of Knot Theory and Its Ramifications Vol. 29, No. 14, 2050097 (2020), arXiv:2004.02087
-
[51]
Park, Inverted state sums, inverted Habiro series, and indefinite theta functions, arXiv:2106.03942
S. Park, Inverted state sums, inverted Habiro series, and indefinite theta functions, arXiv:2106.03942
-
[52]
N. Reshetikhin, V. Turaev, Invariants of 3-manifolds via link polynomials and quantum groups, Invent. Math. 103, no. 3, 547-597, 1991
work page 1991
-
[53]
G. Segal, The Definition of Conformal Field Theory, Differential Geometrical Methods in Theoretical Physics NATO ASI Series 1988
work page 1988
-
[54]
Stroppel, Categorification: tangle invariants and TQFTs, Proc
C. Stroppel, Categorification: tangle invariants and TQFTs, Proc. Int. Cong. Math. 2022
work page 2022
-
[55]
Brane/anti-Brane Systems and U(N|M) Supergroup
C. Vafa, Brane/anti-Brane Systems and U(N |M) Supergroup, arXiv:hep-th/0101218 39
work page internal anchor Pith review Pith/arXiv arXiv
-
[56]
Witten, Quantum field theory and the Jones polynomial, Comm
E. Witten, Quantum field theory and the Jones polynomial, Comm. Math. Phys. 121, no. 3, 351-399, 1989
work page 1989
-
[57]
E. Witten, Fivebranes and Knots, Quantum Topology 3, 1-137, 2012, arxiv:1101.3216
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[58]
Witten, Topological quantum field theory, Comm
E. Witten, Topological quantum field theory, Comm. Math. Phys. 117(3): 353-386 (1988)
work page 1988
-
[59]
Witten, Monopoles and Four-Manifolds, Mathematical Research Letters , 1, 769–796 (1994)
E. Witten, Monopoles and Four-Manifolds, Mathematical Research Letters , 1, 769–796 (1994). 40
work page 1994
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.