Pith. sign in

REVIEW 1 major objections 4 minor 18 references

From Link Homology to Topological Quantum Field Theories

T0 review · 1 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Pith's one-line read Three natural conditions lift link homology to 4-manifold invariants

desk verdict A solid, honest survey of the skein-lasagna program; the real weight sits on the sweep-around move, and the paper tells you exactly where to look rather than proving it. read the letter →

arxiv 2509.08478 v3 pith:GLJ4QJWR submitted 2025-09-10 math.QA math.CTmath.GT

classification math.QAmath.CTmath.GT MSC 57K1857K4157R56
keywords linkhomologyKhovanov-Rozanskyskeinlasagnamodules4-manifoldinvariantsbraidedmonoidal2-categoriestopologicalquantumfieldtheoryexoticsmoothstructurescategorification
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

This survey argues that a link homology theory—a functor assigning chain complexes to links and chain maps to link cobordisms—becomes a much richer object once it satisfies three conditions: invariance under a full 2π rotation of $R^{3}$, monoidality under disjoint union, and invariance under the sweep-around move. Under these hypotheses the invariant extends from links in $R^{3}$ to links in $S^{3}$, defines an algebra for the lasagna operad, produces skein lasagna modules for pairs (W,L) of a smooth 4-manifold and a boundary link, and yields a braided monoidal 2-category with duals and adjoints. The motivating examples are the general linear (gl_N) link homologies, which satisfy the conditions via the sweep-around theorem proved by a categorified Kauffman trick. The payoff is that the resulting skein modules are computable along handle decompositions and are sensitive enough to distinguish exotic smooth structures on 4-manifolds, realizing part of the Crane–Frenkel program of categorification-based 4-dimensional TQFTs.

What carries the argument

The load-bearing mechanism is the sweep-around move, an infinite family of non-local cobordism moves that arise when an isotopy of a link or cobordism in $S^{3}$ passes through the point at infinity of $R^{3}$. The paper's proof that gl_N homology is invariant under this move uses a categorified Kauffman trick: it compares the chain maps assigned to Reidemeister-3 moves in the two configurations where the closing strand passes in front or behind a tangle T, exploiting the interaction between the skein relation and Reidemeister-2 and -3 moves. Once this move is controlled, the extension to $S^{3}$ is built by taking transitive systems over the groupoid of parametrizations of $R^{3}$ and over the fundamental groupoid of the link complement, and the same invariance underlies the well-definedness of lasagna operad composition, skein modules, and the braided monoidal 2-category.

What would settle it

Take a concrete tangle T in the sweep-around move—for example a single crossing or a braid closure—and compute the chain map that Khovanov homology (gl_2) assigns to the two movies related by that move; if the two maps are not homotopic, Theorem 2.4 and the whole extension fail. Alternatively, find a link cobordism in $S^{3}$×I whose movie passes through the point at infinity and whose induced map on KhR_N is not the identity.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 2.1: any link homology functor H from Links($R^{3}$) to a symmetric monoidal cocomplete category V that is invariant under the trace of the 2π rotation, laxly monoidal under disjoint union, and invariant under the sweep-around move extends canonically to link homology for links in $S^{3}$, an algebra for the lasagna operad, a (4+ε)-dimensional TQFT whose top layer consists of skein modules for pairs (W,L), and a locally V-enriched braided monoidal 2-category with duals for objects and adjoints for 1-morphisms. The paper further reports that the gl_N link homologies satisfy the hypotheses: Theorem 2.4 states that the gl_N functor assigns the identity to every sweep-around move. On this basis the survey assembles evidence that skein lasagna modules are nontrivial 4-manifold invariants: they recover link homology on $B^{4}$, behave well under gluing and handle attachment, give invariants of embedded and immersed surfaces, and in [RW24] distinguish an exotic pair of knot traces by their quantum-degree −1 part.

Load-bearing premise

The whole tower of extensions collapses if the link homology fails to send some sweep-around move to the identity map; this is an infinite family of non-local moves, and the proof for gl_N homology is a delicate comparison of Reidemeister-3 chain maps.

Editorial extensions

If this is right

  • Skein lasagna modules give a computable, algebraically defined invariant of smooth 4-manifolds with boundary links, computed in reverse order along handle decompositions.
  • The skein module of B^4 recovers the original link homology, so the extension is a genuine enrichment of the input theory rather than a replacement.
  • Puncturing surfaces to make them framable decorates the resulting boundary links with canonical homology classes, yielding invariants of embedded and immersed surfaces and genus bounds.
  • The braided monoidal 2-category C_H plays the role for 4-manifold skein theory that ribbon categories play for 3-manifold skein theory, organizing the local relations of the theory.
  • Specific computations distinguish exotic smooth structures: the skein modules of the knot traces X_{-1}(-5_2) and X_{-1}(P(3,-3,8)) differ in quantum degree -1 over Q.

Reading between the lines

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

  • If the sweep-around invariance were established for other link homology theories—for example link Floer homology or equivariant variants—the same Theorem 2.1 template would automatically produce new lasagna algebras and 4-manifold skein modules, without rebuilding the global framework.
  • The chain-level conjecture (Conjecture 4.1), if resolved with dualizable generating objects, would likely let the skein modules be promoted to a fully extended (4+ε)-TQFT in the sense of the cobordism hypothesis, with the braided monoidal 2-category upgraded to an E_2-monoidal (∞,2)-category.
  • The documented sensitivity to exotic structures suggests a practical test strategy: compute skein lasagna modules for other candidate exotic pairs, such as other knot traces or exotic surfaces, to probe how much of the smooth classification is captured by categorified skein theory.
  • Filtered or deformed skein modules (Lee-type deformations) may produce numerical invariants for 4-manifolds analogous to Rasmussen's s-invariant, extending the genus bounds already obtained for the 4-ball.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 4 minor

Summary. This survey, written for the ICBS 2025 proceedings, explains how link homology functors satisfying a small set of axioms can be promoted to much richer invariants: links in S^3, algebras for the lasagna operad, skein modules for 4-manifolds, and braided monoidal 2-categories. The main organizing statement is Theorem 2.1, which is attributed to Morrison-Walker-Wedrich [MWW22] and an extension of [MWW24, Theorem 2.1]. The author then reports (Theorem 2.4) that gl_N Khovanov-Rozansky homology satisfies the hypotheses, describes the lasagna skein module constructions and their properties, surveys handle-attachment formulas, surface invariants, and explicit computations including the recent exotic-4-manifold detection of Ren-Willis [RW24], and closes with a discussion of the conjectural chain-level versions of the theory in the framework of extended TQFTs. The paper is explicitly a survey: no new proofs are claimed, open questions are identified, and the main theorems are attributed to the cited literature.

Significance. If the framework described is correct, this is a valuable and timely survey. Its main strengths are transparency and attribution: every major theorem carries a precise reference to [MWW22], [MN22], [RW24], [SZ24], etc., and the paper openly flags where a construction is only informal (Section 2.5) or where a proof is deferred to the literature (Section 2.2). The survey makes the logical architecture of the skein lasagna program explicit and is a useful entry point for nonspecialists. It also clearly separates established results from conjectural programmatic claims, especially in Section 4.1. No new computational claims are made, so the soundness burden rests on the cited sources; the paper itself does a good job of indicating where that burden lies.

major comments (1)
  1. [Section 2.5 and Theorem 2.1] Theorem 2.1, conclusion 4, is stated for an arbitrary symmetric monoidal cocomplete target category V and for any link homology H satisfying conditions (a)-(c), but Section 2.5 explains that the construction of the braided monoidal 2-category is 'described only informally' except for the prototypical case H = KhR_N, where [MWW22, Section 6] is rigorous. As written, the theorem therefore overclaims: the reader cannot tell whether conclusion 4 is a theorem for all V or a conjecture. The statement should be restricted to the hypotheses under which the rigorous construction is known, or a precise citation to a proof for general V should be supplied. Since conclusion 4 is the bridge to the TQFT interpretation in Section 4, this is not merely a cosmetic issue, although it is readily fixable in revision.
minor comments (4)
  1. [Section 2.5] The term 'locally V-enriched' is used without a definition; a one-sentence explanation, or a reference to the precise definition in [MWW22], would help the reader assess the exact categorical structure asserted.
  2. [Section 3.2] In the bullet on four-handles, the phrase '4-handles can also be freely removed' is ambiguous; it should say that removing a four-handle induces an isomorphism of skein modules, matching the citation to [MN22, Proposition 2.1].
  3. [Table 2] The entry 'B^3 x S^1 ⊔ 2m S^1' is hard to parse; if the intended operation is a connected sum rather than a disjoint union, the notation should be clarified.
  4. [Footnote 5] The footnote stating that portions of the article were edited using generative AI is a welcome disclosure, but the paper does not indicate which portions were affected; adding a brief specification would make the disclosure more useful.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central claim is a conditional extension theorem, and the verification of its load-bearing hypothesis is attributed to an external published proof.

full rationale

The survey's main derivation is Theorem 2.1: from a link homology H satisfying (a) trace-of-2π-rotation invariance, (b) monoidality, and (c) sweep-around invariance, it constructs S^3 link homology, a lasagna algebra, a (4+ε)-dimensional TQFT, and a braided monoidal 2-category. The quoted conditions are hypotheses, not the conclusions; the paper gives the mechanism by which each hypothesis is used. Condition (a) makes the isomorphism between links related by a path of parametrizations depend only on endpoints; condition (b) provides the map for split unions of input links in the lasagna operad; condition (c) kills the monodromy around meridians of S^3 \ L, which is exactly what is needed to remove the dependence on the basepoint at infinity. The verification that gl_N homology actually satisfies (c) is Theorem 2.4, whose proof is cited to [MWW22] and sketched via a categorified Kauffman trick; this is a published theorem with an independent proof, not a fitted parameter or a restatement of the target invariant. No data are fitted and no 'prediction' is defined in terms of the quantity it is supposed to predict. The applications to exotica are inherited from external computations [MN22, RW24, SZ24, Sul25], so the sensitivity of the invariants is not load-bearing for the construction itself. The paper is admittedly informal in Section 2.5 and explicitly leaves Conjecture 4.1 unresolved; those are limitations and correctness risks, not circularity. The heavy use of the author's joint work is a matter of provenance: self-citation becomes circular only when the cited result reduces to the present claim by definition, and no such reduction is exhibited here.

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

The paper is a survey, so the ledger records background theorems imported from the cited literature rather than assumptions introduced by this paper. No free parameters are fitted: the integer N and the ring R are inputs, and no data are fit to make the constructions work. The central assumptions are the existence and functoriality of gl_N link homology and the sweep-around move invariance, both proved in the cited papers.

assumptions (5)
  • standard math Carter-Saito movie moves generate isotopy of surface cobordisms, so functoriality can be defined via movies.
    Used in Section 2.1 to define the foam model CKhR_N as a functor on movies.
  • domain assumption The gl_N link homology functor CKhR_N is functorial for links in R^3 via foams ([ETW18], [Bla10] for N=2).
    The whole extension in Theorem 2.1 takes this functor as input; the survey does not reprove it.
  • domain assumption The sweep-around move (Equation 2.1) holds for gl_N link homology ([MWW22], Theorem 2.4).
    This is hypothesis (c) of Theorem 2.1; the survey explains the proof idea via a categorified Kauffman trick but relies on the cited theorem.
  • standard math The cobordism hypothesis and the tangle hypothesis provide the classification of extended TQFTs ([BD95], [Lur09]).
    Used in Section 4 to frame skein lasagna modules as part of a (4+epsilon)-dimensional extended TQFT.
  • domain assumption The handle decomposition formulas from [MN22] and [MWW23] are correct.
    Section 3.2 and Table 2 depend on these formulas; the survey does not derive them.

how reviews work

0 comments
Cite this review

Pith. "Pith review of From Link Homology to Topological Quantum Field Theories." pith.science (2026). https://pith.science/paper/GLJ4QJWR

@misc{pith2026250908478,
  author       = {Pith},
  title        = {Pith review of: From Link Homology to Topological Quantum Field Theories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GLJ4QJWR}},
  note         = {Machine review of arXiv:2509.08478}
}
read the original abstract

This survey reviews recent advances connecting link homology theories to invariants of smooth 4-manifolds and extended topological quantum field theories. Starting from joint work with Morrison and Walker, I explain how functorial link homologies that satisfy additional invariance conditions become diagram-independent, give rise to braided monoidal 2-categories, extend naturally to links in the 3-sphere, and globalize to skein modules for 4-manifolds. Later developments show that these skein lasagna modules furnish invariants of embedded and immersed surfaces and admit computation via handle decompositions. I then survey structural properties, explicit computations, and applications to exotic phenomena in 4-manifold topology, and place link homology and skein lasagna modules within the framework of extended topological quantum field theories.

Figures

Figures reproduced from arXiv: 2509.08478 by the authors.

Figure 1
Figure 1. A lasagna filling of a generic 4-manifold [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 10 canonical work pages

  1. [7]

    A braided (∞,2)-category of Soergel bi- modules, 2024.arXiv:2401.02956

    [LMGRSW24] Yu Leon Liu, Aaron Mazel-Gee, David Reutter, Catharina Strop- pel, and Paul Wedrich. A braided (∞,2)-category of Soergel bi- modules, 2024.arXiv:2401.02956. [LQR15] A.D. Lauda, H. Queffelec, and D.E.V. Rose. Khovanov homology is a skew Howe 2-representation of categorified quantumsl(m). Algebr. Geom. Topol., 15(5):2517–2608,

  2. [11]

    A categorification of the stable SU(2) Witten-Reshetikhin-Turaev invariant of links in S2 x S1

    arXiv:1011.1958. [RT90] N. Yu. Reshetikhin and V. G. Turaev. Ribbon graphs and their invariants derived from quantum groups.Comm. Math. Phys., 127(1):1–26,

  3. [13]

    Bar-Natan skein lasagna modules and exotic surfaces in 4-manifolds

    ©2023. [Sul25] Ian A. Sullivan. Bar-Natan skein lasagna modules and exotic sur- faces in 4-manifolds, 2025.arXiv:2504.03968. [SW24] Catharina Stroppel and Paul Wedrich. Braiding on type A Soergel bimodules: semistrictness and naturality, 2024.arXiv:2412.20587. [SZ24] Ian A. Sullivan and Melissa Zhang. Kirby belts, categorified projectors, and the skein la...

  4. [14]

    [Ten25] Yikai Teng

    arXiv:2402.01081. [Ten25] Yikai Teng. End Khovanov homology and exotic Lagrangian planes, 2025.arXiv:2510.01151. [Tur88] V. G. Turaev. The Conway and Kauffman modules of a solid torus. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI), 167(Issled. Topol. 6):79–89, 190,

  5. [17]

    [Wed25] Paul Wedrich

    Talk notes available at https://canyon23.net/math/talks/, ac- cessed 14.08.2025. [Wed25] Paul Wedrich. From link homology to topological quantum field theories, July

  6. [1992]

    Computing colored Khovanov homology, 2025.arXiv:2505.03916

    [vM25] Karim Ritter von Merkl. Computing colored Khovanov homology, 2025.arXiv:2505.03916. [Wal06] Kevin Walker. Tqfts, May

  7. [1993]

    The flip map and involutions on khovanov homology, 2025.arXiv:2506.00824

    [CY25] Daren Chen and Hongjian Yang. The flip map and involutions on khovanov homology, 2025.arXiv:2506.00824. [DR18] Christopher L. Douglas and David J. Reutter. Fusion 2-categories and a state-sum invariant for 4-manifolds, 2018.arXiv:1812.11933. [DW25] Tobias Dyckerhoff and Paul Wedrich. Perverse schobers of coxeter typeA, 2025.arXiv:2504.08496. [ETW18...

  8. [1994]

    Floer lasagna modules from link Floer homology

    [Che22] Daren Chen. Floer lasagna modules from link Floer homology, 2022.arXiv:2203.07650. [Coo23] Juliet Cooke. Excision of skein categories and factorisation homol- ogy.Adv. Math., 414:Paper No. 108848, 51,

Show all 18 references
  1. [2006]

    [Wal07] Kevin Walker

    Notes available at https://canyon23.net/math/, accessed 25.08.2025. [Wal07] Kevin Walker. Khovanov homology as a TQFT, April

  2. [2007]

    [Bae] John C. Baez. This Week’s Finds. available at https://math.ucr.edu/home/baez/twf.html, accessed 25.08.2025. [BD95] John C. Baez and James Dolan. Higher-dimensional algebra and topological quantum field theory.J. Math. Phys., 36(11):6073– 6105,

  3. [2008]

    Perverse schobers, 2015.arXiv:1411.2772

    [KS15] Mikhail Kapranov and Vadim Schechtman. Perverse schobers, 2015.arXiv:1411.2772. [KS16] Mikhail Kapranov and Vadim Schechtman. Perverse sheaves over real hyperplane arrangements.Ann. of Math. (2), 183(2):619–679,

  4. [2010]

    Higher idempotent completion for soergel bimodules, 2025.arXiv:2508.00767

    [Rec25] Isabela Recio. Higher idempotent completion for soergel bimodules, 2025.arXiv:2508.00767. [Rob95] Justin Roberts. Skein theory and Turaev-Viro invariants.Topology, 34(4):771–787,

  5. [2016]

    PROBs and perverse sheaves I

    17 [KS21] Mikhail Kapranov and Vadim Schechtman. PROBs and perverse sheaves I. Symmetric products, 2021.arXiv:2102.13321. [KV94] M. M. Kapranov and V. A. Voevodsky. 2-categories and Zamolod- chikov tetrahedra equations. InAlgebraic groups and their gener- alizations: quantum a...

  6. [2020]

    Khovanov homology and exotic 4-manifolds, 2024.arXiv:2402.10452

    [RW24] Qiuyu Ren and Michael Willis. Khovanov homology and exotic 4-manifolds, 2024.arXiv:2402.10452. [Sch14] Claudia Scheimbauer. Factorization homology as a fully extended topological field theory,

  7. [2022]

    On the classification of topological field theories

    [Lur09] Jacob Lurie. On the classification of topological field theories. In Current developments in mathematics, 2008, pages 129–280. Int. Press, Somerville, MA,

  8. [2023]

    [HRW22] Matthew Hogancamp, D. E. V. Rose, and Paul Wedrich. A Kirby color for Khovanov homology, 2022.arXiv:2210.05640, to appear in J. Eur. Math. Soc. [HRW24] Matthew Hogancamp, D. E. V. Rose, and Paul Wedrich. Bordered invariants from Khovanov homology, 2024.arXiv:2404.06301...

  9. [2024]

    [Prz91] J´ ozef H

    arXiv:2401.06600. [Prz91] J´ ozef H. Przytycki. Skein modules of 3-manifolds.Bull. Polish Acad. Sci. Math., 39(1-2):91–100,

  10. [2025]

    [Wil08] Geordie Williamson

    2025 Frontiers of Science Award lec- ture, recording available athttps://www.youtube.com/watch?v= G4ZHSR1S_oY, accessed 19.08.2025. [Wil08] Geordie Williamson. Singular Soergel bimodules,

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.