Pith. sign in

REVIEW 3 minor 38 references

Khovanov homology: pro-tangles, derived colimits and spectral sequences

T0 review · 0 major / 3 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Pro-tangles generalize tangles as Boolean cube functors whose Khovanov presheaf is a representable homotopy colimit.

desk verdict This paper defines pro-tangles as Boolean-cube functors and builds a spectral sequence from their decompositions that converges to Khovanov homology. read the letter →

arxiv 2606.13471 v2 pith:33KFK355 submitted 2026-06-11 math.GT

Jian Liu , Kefeng Liu , Li Shen This is my paper · ORCID
classification math.GT
keywords pro-tanglesKhovanovhomologyhomotopycolimitsspectralsequencesBooleancubedecompositionsReidemeisterinvarianceHopfclaspstanglecobordisms
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

The paper defines pro-tangles as functors from the Boolean cube to the cobordism category, extending classical tangles. It constructs the associated Khovanov simplicial presheaf as a homotopy colimit via the simplicial Yoneda embedding and proves this presheaf is representable by the classical Khovanov simplicial object. This yields a fully faithful embedding determined by chain homotopy type and an algebraic spectral sequence from Boolean cube decompositions. The sequence converges to total Khovanov homology with E1 page given explicitly by the homology of reduced tangles, and supplies a functorial account of Reidemeister invariance.

What carries the argument

The simplicial Yoneda embedding applied to the pro-tangle functor, which realizes the Khovanov simplicial presheaf as a homotopy colimit representable by the classical Khovanov simplicial object.

What would settle it

An explicit pro-tangle for which the homotopy colimit of its Khovanov simplicial presheaf is not weakly equivalent to the classical Khovanov simplicial object, or for which the associated spectral sequence fails to converge to the total Khovanov homology.

Watch

Extended reading notes

Core claim

The authors construct the Khovanov simplicial presheaf of a pro-tangle as a homotopy colimit using the simplicial Yoneda embedding and prove that this presheaf is representable by the classical Khovanov simplicial object. They obtain an algebraic spectral sequence via Boolean cube decompositions whose E1 page is expressed in terms of the Khovanov homology of reduced tangles and which converges to the total Khovanov homology; the construction also gives a functorial interpretation of Reidemeister invariance via morphisms of spectral sequences.

Load-bearing premise

The simplicial Yoneda embedding applied to the pro-tangle functor produces a homotopy colimit that is representable by the classical Khovanov simplicial object.

Editorial extensions

If this is right

  • The weak equivalence class of the simplicial presheaf is determined by the chain homotopy type of the Khovanov complex.
  • The spectral sequence converges to the total Khovanov homology of the pro-tangle.
  • Reidemeister invariance is realized functorially as morphisms of spectral sequences.
  • For Hopf clasps the spectral sequence collapses at the E3 page, and under restriction to Hopf sums it collapses at E2.
  • Connected sums of pro-tangles admit a structural decomposition via a state-dependent modified tensor operator that generalizes the classical chain-complex result.

Reading between the lines

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

  • The Boolean-cube decomposition may permit recursive computation of Khovanov homology for composite pro-tangles by reducing to simpler pieces.
  • The early collapse observed for Hopf clasps could extend to other elementary tangle building blocks and thereby simplify concrete calculations.
  • The functorial spectral-sequence framework might be applied to pro-links to produce new module actions or invariants that respect connected-sum decompositions.
  • The representability result could be tested against other categorical constructions of link homology to check compatibility of colimit-based definitions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 3 minor

Summary. The paper defines pro-tangles as functors from the Boolean cube to Bar-Natan's cobordism category. It constructs the Khovanov simplicial presheaf of a pro-tangle via the simplicial Yoneda embedding as a homotopy colimit and proves this presheaf is representable by the classical Khovanov simplicial object. A fully faithful embedding into the homotopy category is established, showing the weak equivalence class is determined by the chain homotopy type of the Khovanov complex. An algebraic spectral sequence is built from Boolean cube decompositions; it converges to total Khovanov homology with E1 page given explicitly in terms of reduced-tangle homologies. The setup yields a functorial view of Reidemeister invariance. Applications to Hopf clasps show collapse at E3 (E2 for Hopf sums). Connected sums of pro-tangles are treated via a state-dependent modified tensor product and a structural decomposition theorem.

Significance. If the stated representability, embedding, convergence, and collapse results hold, the work supplies a categorical extension of Khovanov homology to pro-tangles together with an explicit spectral sequence whose E1 page is computable from reduced tangles. The collapse theorems for Hopf clasps and the decomposition for connected sums provide concrete special cases. The functorial interpretation of Reidemeister moves is a potential strength for future applications in tangle and link theory.

minor comments (3)
  1. The introduction should include a brief comparison table or diagram contrasting the Boolean-cube functor definition of a pro-tangle with the classical tangle category to clarify the generalization.
  2. Notation for the simplicial presheaf and its representing object is introduced in the construction paragraph; a dedicated subsection collecting all notation and the precise model category used for the homotopy colimit would improve readability.
  3. The statement that the spectral sequence 'converges to the total Khovanov homology' would benefit from an explicit reference to the filtration or convergence theorem invoked (e.g., a numbered proposition or lemma).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their detailed summary of the manuscript and for the positive assessment of its contributions. The recommendation of minor revision is noted, and we will make any necessary editorial adjustments in the revised version. No specific major comments were provided in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity in the derivation chain

full rationale

The paper presents a categorical construction: the Khovanov simplicial presheaf of a pro-tangle is obtained as a homotopy colimit via the simplicial Yoneda embedding and shown to be representable by the classical Khovanov simplicial object, yielding a fully faithful embedding into the homotopy category. A Boolean-cube spectral sequence is constructed whose E1 page is expressed via reduced-tangle homologies and which converges to total homology. These steps are standard constructions and proofs in homological algebra and category theory; no equation reduces by construction to a fitted input, no central premise rests on a self-citation chain, and no ansatz is smuggled via prior work by the same authors. The derivation is self-contained against external benchmarks in model categories and spectral sequences.

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

Abstract-only review; ledger populated from stated constructions. No free parameters are mentioned. Axioms are standard category theory. New entities are introduced without independent evidence outside the paper.

assumptions (2)
  • standard math Standard axioms of category theory, simplicial sets, and homotopy colimits
    Invoked for the Yoneda embedding and homotopy colimit construction of the presheaf.
  • domain assumption Properties of Bar-Natan's cobordism category as target for the functors
    Used to define pro-tangles as functors from the Boolean cube.
invented entities (2)
  • pro-tangle
    purpose: Generalization of classical tangles as functors from Boolean cube to cobordism category
    Central new object enabling the presheaf and spectral sequence constructions.
  • Khovanov simplicial presheaf of a pro-tangle
    purpose: Homotopy colimit object whose representability yields the spectral sequence
    Constructed in the paper via simplicial Yoneda embedding.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Khovanov homology: pro-tangles, derived colimits and spectral sequences." pith.science (2026). https://pith.science/paper/33KFK355

@misc{pith2026260613471,
  author       = {Pith},
  title        = {Pith review of: Khovanov homology: pro-tangles, derived colimits and spectral sequences},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/33KFK355}},
  note         = {Machine review of arXiv:2606.13471}
}
abstract

This paper introduces pro-tangles, a natural generalization of classical tangles, which are functors from the Boolean cube to Bar-Natan's cobordism category. By employing the simplicial Yoneda embedding, we construct the Khovanov simplicial presheaf of a pro-tangle as a homotopy colimit and prove that this simplicial presheaf is representable, with representing object the classical Khovanov simplicial object. We establish a fully faithful embedding showing that the weak equivalence class of this simplicial presheaf is determined by the chain homotopy type of the Khovanov complex. Furthermore, we utilize Boolean cube decompositions to construct an algebraic spectral sequence for pro-tangles. This spectral sequence converges to the total Khovanov homology, and its $E_1$ page is explicitly expressed in terms of the Khovanov homology of reduced tangles. This categorical setup yields a functorial interpretation of Reidemeister invariance in terms of morphisms of spectral sequences. By applying the tangle TQFT construction, we study this spectral sequence for Hopf clasps, the fundamental structural building blocks in tangle and link theory. We show that the spectral sequence collapses at the $E_3$ page, which further specializes to an $E_2$-collapse under the restriction to Hopf sums. Finally, we investigate connected sums of pro-tangles and pro-links. To address the module-action dependencies arising from tensor products in multi-connected sums, we introduce a state-dependent modified tensor operator and prove a structural decomposition theorem that generalizes the classical result at the chain complex level.

Figures

Figures reproduced from arXiv: 2606.13471 by the authors.

Figure 1
Figure 1. Illustration of the Hopf clasp for the unknot yielding a 7 [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Illustration of Hopf sum and Hopf twist: a pair of disjoint tangles (left), their type (I) Hopf sum (center), [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. The antipodal permutation on the six boundary labels and the corresponding crossings. [PITH_FULL_IMAGE:figures/full_fig_p037_3.png] view at source ↗
Figures from the paper (14 more)
Figure 4
Figure 4. Figure 4: Hopf clasp: type (I) on the left, type (II) on the right. [PITH_FULL_IMAGE:figures/full_fig_p042_4.png]
Figure 5
Figure 5. Figure 5: Illustration of the Hopf clasp. The left part shows the Hopf clasp of the 8 [PITH_FULL_IMAGE:figures/full_fig_p043_5.png]
Figure 6
Figure 6. Figure 6: The illustration of the connected sum of tangles [PITH_FULL_IMAGE:figures/full_fig_p044_6.png]
Figure 7
Figure 7. Figure 7: Hopf sum: type (I) on the left, type (II) on the right. [PITH_FULL_IMAGE:figures/full_fig_p045_7.png]
Figure 8
Figure 8. Figure 8: Illustration of the Hopf twist of type (I) between two tangles [PITH_FULL_IMAGE:figures/full_fig_p048_8.png]
Figure 9
Figure 9. Figure 9: Illustration of the Hopf twist of two trefoils within the dashed box. [PITH_FULL_IMAGE:figures/full_fig_p049_9.png]
Figure 10
Figure 10. Figure 10: Illustration of the cut tangle. Definition 5.23. A cut tangle Tb of a tangle T is obtained by cutting a segment of an arc or loop in T and connecting the two resulting endpoints to the boundary without introducing additional crossings. Theorem 5.24. Let T be a tangle,…
Figure 11
Figure 11. Figure 11: Illustration of the four possible configurations for constructing the tangle [PITH_FULL_IMAGE:figures/full_fig_p055_11.png]
Figure 12
Figure 12. Figure 12: Illustration of the tangle T and its four possible configurations of T ′ obtained by joining with an arc. Example 5.26. As shown in [PITH_FULL_IMAGE:figures/full_fig_p055_12.png]
Figure 13
Figure 13. Figure 13: Illustration of the glued link constructed from a tangle. [PITH_FULL_IMAGE:figures/full_fig_p055_13.png]
Figure 14
Figure 14. Figure 14: Illustration of the tangle T ′ and its state cube for the first two coordinates. Without loss of generality, we perform the detailed derivation for type (I) (as illustrated in [PITH_FULL_IMAGE:figures/full_fig_p056_14.png]
Figure 15
Figure 15. Figure 15: Illustration of the connected sum of an arc and a right-handed Hopf link. [PITH_FULL_IMAGE:figures/full_fig_p062_15.png]
Figure 16
Figure 16. Figure 16: The multiple connected sum of S 1 and S 1 at R = {R1, R2}. On the left-hand side, performing two independent geometric surgeries between two disjoint circles yields a topological manifold consisting of two disjoint circles. In the Khovanov TQFT, the chain complex of t…
Figure 17
Figure 17. Figure 17: Illustration of the different local configurations of double connected sum. [PITH_FULL_IMAGE:figures/full_fig_p069_17.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 2 canonical work pages

  1. [1]

    American Mathematical Soc., 2004

    Colin Conrad Adams.The knot book: an elementary introduction to the mathematical theory of knots. American Mathematical Soc., 2004

    2004

  2. [2]

    Topological invariants of knots and links.Transactions of the American Mathematical Society, 30(2):275–306, 1928

    James W Alexander. Topological invariants of knots and links.Transactions of the American Mathematical Society, 30(2):275–306, 1928

    1928

  3. [3]

    Khovanov’s homology for tangles and cobordisms.Geometry & Topology, 9(3):1443–1499, 2005

    Dror Bar-Natan. Khovanov’s homology for tangles and cobordisms.Geometry & Topology, 9(3):1443–1499, 2005

    2005

  4. [4]

    Fast Khovanov homology computations.Journal of Knot Theory and Its Ramifications, 16(03):243–255, 2007

    Dror Bar-Natan. Fast Khovanov homology computations.Journal of Knot Theory and Its Ramifications, 16(03):243–255, 2007

    2007

  5. [5]

    Khovanov homotopy type, periodic links and localizations.Mathematische Annalen, 380(3):1233–1309, 2021

    Maciej Borodzik, Wojciech Politarczyk, and Marithania Silvero. Khovanov homotopy type, periodic links and localizations.Mathematische Annalen, 380(3):1233–1309, 2021

    2021

  6. [6]

    Exact categories.Expositiones Mathematicae, 28(1):1–69, 2010

    Theo B¨ uhler. Exact categories.Expositiones Mathematicae, 28(1):1–69, 2010

    2010

  7. [7]

    Number 736

    Wojciech Chach´ olski and J´ erˆ ome Scherer.Homotopy theory of diagrams. Number 736. Amer- ican Mathematical Soc., 2002

    2002

  8. [8]

    Fixing the functoriality of khovanov homol- ogy.Geometry & Topology, 13(3):1499–1582, 2009

    David Clark, Scott Morrison, and Kevin Walker. Fixing the functoriality of khovanov homol- ogy.Geometry & Topology, 13(3):1499–1582, 2009

    2009

Show all 38 references
  1. [9]

    A spectral sequence from Khovanov homology to knot Floer homology.Journal of the American Mathematical Society, 37(4):951–1010, 2024

    Nathan Dowlin. A spectral sequence from Khovanov homology to knot Floer homology.Journal of the American Mathematical Society, 37(4):951–1010, 2024

    2024

  2. [10]

    The homotopy theory of khovanov homology.Algebraic & Geometric Topology, 14(5):2747–2781, 2014

    Brent Everitt and Paul Turner. The homotopy theory of khovanov homology.Algebraic & Geometric Topology, 14(5):2747–2781, 2014

    2014

  3. [11]

    A new polynomial invariant of knots and links.Bull

    P Freyd, D Yetter, J Hoste, WBR Lickorish, K Millett, and A Ocneanu. A new polynomial invariant of knots and links.Bull. Amer. Math. Soc.(NS), 12(1):239–246, 1985

    1985

  4. [12]

    Springer Science & Business Media, 2009

    Paul G Goerss and John F Jardine.Simplicial homotopy theory. Springer Science & Business Media, 2009

    2009

  5. [13]

    Number 99

    Philip S Hirschhorn.Model categories and their localizations. Number 99. American Mathe- matical Soc., 2003

    2003

  6. [14]

    Springer, 2015

    John F Jardine.Local homotopy theory. Springer, 2015

    2015

  7. [15]

    A polynomial invariant for knots via von Neumann algebras.Bulletin of the American Mathematical Society, 12(1):103–111, 1985

    Vaughan FR Jones. A polynomial invariant for knots via von Neumann algebras.Bulletin of the American Mathematical Society, 12(1):103–111, 1985

    1985

  8. [16]

    Hecke algebra representations of braid groups and link polynomials

    Vaughan FR Jones. Hecke algebra representations of braid groups and link polynomials. In New Developments in the Theory of Knots, pages 20–73. World Scientific, 1987

    1987

  9. [17]

    American Mathe- matical Society Providence, RI, 2016

    Louis H Kauffman.An introduction to Khovanov homology, volume 670. American Mathe- matical Society Providence, RI, 2016. 72

    2016

  10. [18]

    Simplicial homotopy theory, link homology and khovanov homology.Jour- nal of Knot Theory and Its Ramifications, 27(07):1841002, 2018

    Louis H Kauffman. Simplicial homotopy theory, link homology and khovanov homology.Jour- nal of Knot Theory and Its Ramifications, 27(07):1841002, 2018

    2018

  11. [19]

    A categorification of the Jones polynomial.Duke Math

    Mikhail Khovanov. A categorification of the Jones polynomial.Duke Math. J., 104(1):359–426, 2000

    2000

  12. [20]

    A functor-valued invariant of tangles.Algebraic & Geometric Topology, 2(2):665–741, 2002

    Mikhail Khovanov. A functor-valued invariant of tangles.Algebraic & Geometric Topology, 2(2):665–741, 2002

    2002

  13. [21]

    Open–closed strings: Two-dimensional extended TQFTs and Frobenius algebras.Topology and its Applications, 155(7):623–666, 2008

    Aaron D Lauda and Hendryk Pfeiffer. Open–closed strings: Two-dimensional extended TQFTs and Frobenius algebras.Topology and its Applications, 155(7):623–666, 2008

    2008

  14. [22]

    Khovanov homotopy type, burnside category and products.Geometry & Topology, 24(2):623–745, 2020

    Tyler Lawson, Robert Lipshitz, and Sucharit Sarkar. Khovanov homotopy type, burnside category and products.Geometry & Topology, 24(2):623–745, 2020

    2020

  15. [23]

    An endomorphism of the Khovanov invariant.Advances in Mathematics, 197(2):554–586, 2005

    Eun Soo Lee. An endomorphism of the Khovanov invariant.Advances in Mathematics, 197(2):554–586, 2005

    2005

  16. [24]

    A Khovanov stable homotopy type.Journal of the American Mathematical Society, 27(4):983–1042, 2014

    Robert Lipshitz and Sucharit Sarkar. A Khovanov stable homotopy type.Journal of the American Mathematical Society, 27(4):983–1042, 2014

    2014

  17. [25]

    Princeton University Press, 2009

    Jacob Lurie.Higher topos theory. Princeton University Press, 2009

    2009

  18. [26]

    Springer, 1971

    Saunders Mac Lane and Saunders MacLane.Categories for the working mathematician, vol- ume 5. Springer, 1971

    1971

  19. [27]

    University of Chicago Press, 2012

    J Peter May and Kate Ponto.More concise algebraic topology: localization, completion, and model categories. University of Chicago Press, 2012

    2012

  20. [28]

    Singular homology groups and homotopy groups of finite topological spaces.Duke Math

    Michael C McCord. Singular homology groups and homotopy groups of finite topological spaces.Duke Math. J., 33(1):465–474, 1966

    1966

  21. [29]

    Holomorphic disks and knot invariants.Advances in Math- ematics, 186(1):58–116, 2004

    Peter Ozsv´ ath and Zolt´ an Szab´ o. Holomorphic disks and knot invariants.Advances in Math- ematics, 186(1):58–116, 2004

    2004

  22. [30]

    On the Heegaard Floer homology of branched double-covers

    Peter Ozsv´ ath and Zolt´ an Szab´ o. On the Heegaard Floer homology of branched double-covers. Advances in Mathematics, 194(1):1–33, 2005

    2005

  23. [31]

    Khovanov homology and the slice genus.Inventiones mathematicae, 182(2):419–447, 2010

    Jacob Rasmussen. Khovanov homology and the slice genus.Inventiones mathematicae, 182(2):419–447, 2010

    2010

  24. [32]

    Harvard University, 2003

    Jacob Andrew Rasmussen.Floer homology and knot complements. Harvard University, 2003

    2003

  25. [33]

    Number 346

    Dale Rolfsen.Knots and links. Number 346. American Mathematical Soc., 2003

    2003

  26. [34]

    A quantum algorithm for Khovanov homology.arXiv preprint arXiv:2501.12378, 2025

    Alexander Schmidhuber, Michele Reilly, Paolo Zanardi, Seth Lloyd, and Aaron Lauda. A quantum algorithm for Khovanov homology.arXiv preprint arXiv:2501.12378, 2025

    2025

  27. [35]

    Equivalences of monoidal model categories.Algebraic & Geometric Topology, 3(1):287–334, 2003

    Stefan Schwede and Brooke Shipley. Equivalences of monoidal model categories.Algebraic & Geometric Topology, 3(1):287–334, 2003. 73

    2003

  28. [36]

    Computing Khovanov homology of tangles.arXiv preprint arXiv:2508.14398, 2025

    Li Shen, Jian Liu, and Guo-Wei Wei. Computing Khovanov homology of tangles.arXiv preprint arXiv:2508.14398, 2025

    2025

  29. [37]

    Number 38

    Charles A Weibel.An introduction to homological algebra. Number 38. Cambridge university press, 1994

    1994

  30. [38]

    Quantum field theory and the Jones polynomial.Communications in Math- ematical Physics, 121(3):351–399, 1989

    Edward Witten. Quantum field theory and the Jones polynomial.Communications in Math- ematical Physics, 121(3):351–399, 1989. 74

    1989

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.