Pith. sign in

REVIEW 5 minor 1 cited by

Stable deformed $\mathfrak{gl}_N$ homology of torus knots

T0 review · 0 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read This paper proves that stable $\mathfrak{gl}_N$ homology of torus knots admits a spectral sequence from an explicit Koszul complex, reducing the conjectured description to a collapse statement.

desk verdict Computes the E2 page for stable gl_N homology of torus knots over Q, confirming a weak form of GOR; solid but depends on a quoted splitting theorem and does not prove collapse. read the letter →

arxiv 2507.00175 v1 pith:5TGTK7LS submitted 2025-06-30 math.GT

classification math.GT MSC 57K1857K14
keywords Khovanov–Rozanskyhomologytorusknotsspectralsequencey-ificationlink-splittingdeformationinterpolationalgebracategorifiedsymmetrizergl_N
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

Stable $\mathfrak{gl}_N$ Khovanov–Rozansky homology of torus knots has resisted explicit computation, but a long-standing conjecture predicts that for the $n$-strand torus knot $T(n,\infty)$ it is the homology of the Koszul-type complex $\mathbb{Q}[u_0,\ldots,u_{n-1}]\otimes\Lambda(\xi_0,\ldots,\xi_{n-1})$ with $d_N(\xi_k)=\sum_{i_1+\cdots+i_N=k}u_{i_1}\cdots u_{i_N}$. This paper proves that this complex is the $E_1$ page of a spectral sequence abutting to the true homology, so the conjecture over $\mathbb{Q}$ reduces to a collapse statement: if the spectral sequence collapses at $E_2$, the predicted description is exactly right. The proof uses the y-ification (link-splitting) deformation of link homology, where the relevant spectral sequence is shown to collapse at $E_2$ and the deformed stable homology is computed as a free polynomial algebra in $y_1,\ldots,y_n,u_0,\ldots,u_{n-1},\xi_0,\ldots,\xi_{n-1}$. Specializing the deformation variables $y_i$ to zero converts the deformed differential into the undeformed one and yields the main theorem.

What carries the argument

The load-bearing device is y-ification, the link-splitting deformation of Khovanov–Rozansky homology: one adjoins even deformation variables $y_1,\ldots,y_n$ to the Hochschild complex of a braid's Rouquier complex and twists the differential by dot-sliding homotopies, so that the homology of the $n$-strand identity braid becomes $k[x,y,\theta]$ and the stable homology of $T(n,\infty)$ becomes a localization of the algebra $A_n=\bigoplus_{k\ge 0}J_n^k$ at the Vandermonde $\Delta_n=\prod_{i<j}(y_i-y_j)$. After localization this algebra is freely generated by $y_1,\ldots,y_n$ and interpolation generators $u_0,\ldots,u_{n-1},\xi_0,\ldots,\xi_{n-1}$ determined by $u(y_i)=x_i$, $\xi(y_i)=\theta_i$; the $\mathfrak{gl}_N$ differential acts by $d_N(\xi(z))=u(z)^N\bmod p(z)$ with $p(z)=\prod_{i=1}^n(z-y_i)$. The collapse at $E_2$ follows because the deformed $E_2$ page is supported in Hochschild cohomological degree zero, forcing all higher differentials to vanish; specializing $y_i=0$ gives the undeformed differential $d_N(\xi(z))=u(z)^N\bmod z^n$.

What would settle it

Take a concrete unverified case, say $N=2$ and $n=9$: compute the homology of the explicit Koszul complex $(\mathbb{Q}[u_0,\ldots,u_8]\otimes\Lambda(\xi_0,\ldots,\xi_8),d_2)$ and compare with the stable $\mathfrak{sl}_2$ homology of $T(9,\infty)$ obtained by an independent algorithm; any mismatch forces a nonzero higher differential in the spectral sequence, contradicting the conjectured collapse. Alternatively, verify that $d_2(\xi_0),d_2(\xi_1),d_2(\xi_2)$ have no common zero in $\mathbb{Q}[y_1,y_2,y_3,u_0,u_1,u_2]$ for $n=3$; a common zero would give nonzero $E_2$ classes in positive $a$-degree and break the y-ified collapse.

Watch

Extended reading notes

Core claim

For $N,n\ge 1$, the paper constructs a spectral sequence with $\mathbb{Q}$ coefficients from $\mathbb{Q}[u_0,\ldots,u_{n-1}]\otimes\Lambda(\xi_0,\ldots,\xi_{n-1})$, with $d_N(\xi_k)=\sum_{i_1+\cdots+i_N=k}u_{i_1}\cdots u_{i_N}$, to $H^{\mathfrak{gl}_N}(T(n,\infty);\mathbb{Q})$. This is a weak form of the long-standing conjectural description of stable $\mathfrak{gl}_N$ homology of torus knots, because the conjectured description is precisely the $E_2$ page of this spectral sequence; the remaining gap is collapse. In the y-ified setting, where deformation variables $y_1,\ldots,y_n$ are adjoined, the analogous spectral sequence does collapse at $E_2$, and the paper computes the target explicitly: $HY^{\mathfrak{gl}_N}(T(n,\infty))\cong k[y_1,\ldots,y_n,u_0,\ldots,u_{n-1},\xi_0,\ldots,\xi_{n-1}]$ with $d_N(\xi(z))=u(z)^N\bmod p(z)$, $p(z)=\prod_{i=1}^n(z-y_i)$, where $u(z)=\sum u_k z^k$ and $\xi(z)=\sum \xi_k z^k$ interpolate the unlink variables by $u(y_i)=x_i$, $\xi(y_i)=\theta_i$. Setting $y_i=0$ replaces $p(z)$ by $z^n$ and recovers Theorem 1.1.

Load-bearing premise

The argument relies on a quoted theorem, not reproved here, that a certain splitting map from the y-ified homology of full-twist braids to unlink homology is injective with image equal to the ideal $J_n^k$; this injectivity requires characteristic zero, and if it fails the identification of the deformed stable homology with the interpolation algebra—and hence the spectral sequence computation—would not go through.

Editorial extensions

If this is right

  • The $E_1$ page of the spectral sequence for $T(n,\infty)$ is now known explicitly for all $n$ and $N$, improving an earlier computation that handled only $N=2$ and lacked the differential.
  • Over $\mathbb{Q}$, the conjectured description of stable $\mathfrak{gl}_N$ homology is equivalent to collapse of the new spectral sequence at $E_2$, so the conjecture is reduced to a single structural statement.
  • The y-ified stable HOMFLY homology of $T(n,\infty)$ is the free polynomial algebra $k[y_1,\ldots,y_n,u_0,\ldots,u_{n-1},\xi_0,\ldots,\xi_{n-1}]$, with the interpolation formulas $u(y_i)=x_i$, $\xi(y_i)=\theta_i$.
  • The y-ified $\mathfrak{gl}_N$ spectral sequence collapses at $E_2$ for every $N$, giving an explicit polynomial description of $HY^{\mathfrak{gl}_N}(T(n,\infty))$.
  • If the generation conjecture for the homology of $d_N$ holds, the undeformed spectral sequence also collapses at $E_2$ and the full conjecture follows over $\mathbb{Q}$.

Reading between the lines

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

  • The deformation variables $y_i$ appear to absorb the higher differentials: collapse is proved in the y-ified world and then lost when specializing to $y_i=0$, suggesting that undeformed higher differentials could be studied as limits of the deformed ones rather than as an independent obstruction.
  • The same interpolation mechanism should work for any one-variable potential $W$: the paper's formula $d_{\partial W}(\xi(z))=\partial W(u(z))\bmod p(z)$ points toward explicit computations of stable homology in other Khovanov–Rozansky-type theories, and toward a potential-dependent analogue of the generation conjecture.
  • Because the deformed differentials $d_N(\zeta_k)$ form a regular sequence, the Koszul complex for the undeformed $d_N$ is likely to have no higher homology for all $n,N$; this is checkable by computer for small cases and would be a direct route to the full conjecture.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper proves a spectral-sequence statement (Theorem 1.1) over Q: for every n,N there is a Rasmussen-type spectral sequence abutting to the stable gl_N Khovanov–Rozansky homology of the torus knot T(n,∞), whose E1 page is Q[u_0,...,u_{n-1}] ⊗ Λ(ξ_0,...,ξ_{n-1}) with the explicit differential d_N(ξ_k)=Σ_{i_1+...+i_N=k} u_{i_1}...u_{i_N}. Since the E2 page of this spectral sequence is then exactly the algebra predicted by the Gorsky–Oblomkov–Rasmussen conjecture, the paper confirms a weak form of that conjecture. The proof proceeds through the y-ification deformation: it identifies HY(T(n,∞)) with k[y,u,ξ] (Theorem 1.7), computes the y-ified gl_N differential as d_N(ξ(z))=u(z)^N mod ∏(z-y_i) (Theorem 1.9), proves collapse of the y-ified spectral sequence at E2 via a regular-sequence argument (Lemma 6.7), and specializes y=0. The main external input is the splitting isomorphism for y-ified full-twist braids quoted from [13, Thm 5.8]; the conditional algebraic Conjecture 7.4 is used only in Theorem 7.5 and is not needed for the main theorem.

Significance. If the main theorem is correct, it is a substantial step in the program to compute stable Khovanov–Rozansky homology of torus knots: it supplies the full E1 differential of the Rasmussen spectral sequence in the stable setting, for all N and n, and the y-ified version computes the stable y-ified gl_N homology outright, including collapse at E2. The paper's strengths are its explicit algebraic formulas (the interpolation equations (32)–(33), the closed formula (42), and the regular-sequence proof of Lemma 6.7), the multiplicative structure of the spectral sequence, and the careful separation of the conditional Conjecture 7.4 from the unconditional main results. I have read the skeptic's concern about Theorem 5.8 carefully: while that quoted splitting theorem is genuinely load-bearing, it is stated in the paper in exactly the form needed (HY(FT_n^k) ≅ J_n^k), it comes from a published source, and the resulting characteristic-zero hypothesis is transparently recorded in Remark 1.5. Thus I do not regard the reliance as an internal gap or circularity.

minor comments (5)
  1. [Section 1, Theorem 1.6] The notation Z[u_0,...,u_{n-1},ξ_0,...,ξ_{n-1}] in part (a) should be explicitly declared to mean the tensor product of the polynomial ring in the even variables with the exterior algebra in the odd variables, as is done in (1); without this clarification the displayed polynomial-ring notation is potentially misleading.
  2. [Section 5.1, Theorem 5.8] Since Theorem 5.8 is the single most important external input, I suggest adding a sentence near its statement or in Remark 1.5 explicitly saying that the splitting isomorphism is taken verbatim from [13] and is not reproved here; Remark 1.5 currently records the characteristic-zero consequence but not the precise theorem.
  3. [Section 5.2, Lemma 6.7] In the proof, the assertion that a regular sequence of homogeneous elements is regular in any order (hence any subsequence is regular) is being used in the graded polynomial ring Q[u_0,...,u_{n-1},y_1,...,y_n] with the positive grading defined there; the claim is correct in this graded-local context, but the hypothesis should be stated explicitly rather than as 'well known' without qualification.
  4. [Section 6.1, Lemma 6.3] The displayed summation `N (n-1)X` in equation (42) is a typesetting artifact; it should read a sum from j=n to N(n-1).
  5. [Section 2, Remark 2.22 and Lemma 5.9] Remark 2.22 notes a possible dependence of ψ_β and ρ_β on a factorization, but the independence for Ψ and ρ is proved only later in Lemma 5.9; adding a forward reference would help the reader.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the central spectral-sequence computation is derived from published, independent inputs (including [13, Thm 5.8]); the conjectured E2-page description is not used as an input.

full rationale

The main theorem (Theorem 1.1) is proved by specializing y_i = 0 in the y-ified computation. The derivation chain is: Theorem 5.8 from [13] identifies HY(FT^k_n) with the ideal J^k_n; Theorem 5.15 computes the colimit A_n[Delta_n^{-1}] as k[y,u,xi] with the interpolation equations (32)-(33); Theorem 5.20 computes the y-ified gl_N differential d_N(xi(z)) = u(z)^N mod p(z) by evaluating at z = y_i and using d_N(theta_i) = x_i^N; Theorem 5.22 and the surrounding discussion specialize this to the undeformed E1 differential (1). None of these steps assumes the GOR conjecture [16,18,19]; Conjecture 7.4 is used only for the conditional collapse statement Theorem 7.5, not for Theorem 1.1. The only load-bearing external input is [13, Thm 5.8], which is a published theorem by two of the present authors (Gorsky and Hogancamp) with an explicit characteristic-zero hypothesis. Under the review rules, a published, externally falsifiable theorem is independent support and does not constitute circularity; Remark 1.5 explicitly acknowledges the dependency. No fitted parameter is relabeled as a prediction, and the d_N formula is derived rather than assumed. Hence no circular step is present; the residual score of 1 reflects only the acknowledged self-citation dependency, not a reduction of the claim to its inputs.

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

The paper introduces no new free parameters or invented entities. It relies on a chain of previously established theorems, chiefly from [13] and [22], and on the characteristic zero assumption, all of which are cited transparently.

assumptions (5)
  • domain assumption Characteristic zero base field; main results are stated over Q
    Remark 1.5 notes that the proof relies on [13], which requires characteristic zero, so Theorem 1.1 is only established over Q.
  • domain assumption Main theorem of [13] on y-ification: the splitting map Ψ is injective with image J^k_n (Theorem 5.8)
    Used in Section 5.1 to identify HY(FT^k_n) with J^k_n, a load-bearing step in the computation of HY(P^y_n).
  • domain assumption Computation of HHH(P_n) from [22] (Theorem 4.3)
    Provides the E1 page of the undeformed spectral sequence and the algebra structure used throughout.
  • domain assumption Existence and uniqueness of y-ified lifts and projectors from [13] (Lemmas 2.11-2.14, Theorem 2.17)
    Used to define and compute y-ified homology and the projector P^y_n.
  • standard math Standard spectral sequence and Koszul complex facts
    Used throughout, including regular sequence theory in Lemma 6.7 and the collapse argument in Theorem 5.20.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Stable deformed $\mathfrak{gl}_N$ homology of torus knots." pith.science (2026). https://pith.science/paper/5TGTK7LS

@misc{pith2026250700175,
  author       = {Pith},
  title        = {Pith review of: Stable deformed $\mathfrakgl_N$ homology of torus knots},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5TGTK7LS}},
  note         = {Machine review of arXiv:2507.00175}
}
abstract

We compute the $E_2$ page in the Rasmussen spectral sequence from triply graded to $\mathfrak{gl}_N$ Khovanov--Rozansky stable homology of torus knots. This confirms a weak form of the conjecture of the second author, Oblomkov, and Rasmussen. The main tool is the link-splitting deformation, or $y$-ification, of link homology; in the $y$-ified context, the relevant Rasmussen spectral sequence collapses and we explicitly compute the $y$-ified $\mathfrak{gl}_N$ stable Khovanov--Rozansky homology of torus knots for all $N$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Colored knot Floer homology: structures and examples

    math.GT 2025-08 conditional novelty 7.0 of 10

    The authors construct an n-colored knot Floer homology as a colimit over cable links with increasing full twists and equip it with a module structure over an explicit algebra.

Reference graph

Works this paper leans on

47 extracted references · 39 canonical work pages · cited by 1 Pith paper

  1. [13]

    Gorsky, M

    E. Gorsky, M. Hogancamp. Hilbert schemes and y-ification of Khovanov-Rozansky homology. Geom. Topol. 26 (2022) 587–678

  2. [1]

    Y. Bai, E. Gorsky, O. Kivinen. Quadratic ideals and Rogers-Ramanujan recursions. The Ramanujan Journal 52 (2020), 67-89

  3. [2]

    Bar-Natan, S

    D. Bar-Natan, S. Morrisson. The Knot Atlas. http://katlas.org

  4. [3]

    Batson, C

    J. Batson, C. Seed. A link-splitting spectral sequence in Khovanov homology. Duke Math. J. 164 (2015), no. 5, 801–841

  5. [4]

    H. Becker. Khovanov-Rozansky homology via Cohen-Macaulay approximations and Soergel bimod- ules. arXiv:1105.0702 (2011)

  6. [5]

    An Algebra Structure for the stable Khovanov homology of torus links

    M. Benheddi. An Algebra Structure for the stable Khovanov homology of torus links. arXiv:1706.08919 (2017)

  7. [6]

    S. Cautis. Clasp technology to knot homology via the affine Grassmannian. Mathematische Annalen 363 (2015): 1053–1115

  8. [7]

    Cautis, J

    S. Cautis, J. Kamnitzer. Knot homology via derived categories of coherent sheaves IV, coloured links. Quantum Topol. 8 (2017), no. 2, 381–411

Show all 47 references
  1. [8]

    Chandler, E

    A. Chandler, E. Gorsky. Structures in HOMFLY-PT homology. Experimental Mathematics 33 (2024), no.4, 817–842

  2. [9]

    L. Conners. Row-Column Mirror Symmetry for Colored Torus Knot Homology. Selecta Mathematica, 30 (2024), no. 97

  3. [10]

    Cooper, V

    B. Cooper, V. Krushkal. Categorification of the Jones–Wenzl projectors. Quantum Topology 3, no. 2 (2012): 139–180

  4. [11]

    Elias, M

    B. Elias, M. Hogancamp. On the computation of torus link homology. Compositio Mathematica 155, no. 1 (2019): 164–205

  5. [12]

    Elias, M

    B. Elias, M. Hogancamp. Drinfeld centralizers and Rouquier complexes. arXiv:2412.20633 (2024)

  6. [14]

    Gorsky, M

    E. Gorsky, M. Hogancamp, A. Mellit. Tautological classes and symmetry in Khovanov-Rozansky homology. Duke Math. Journal 173(13), 2481–2561 (2024)

  7. [15]

    Gorsky, M

    E. Gorsky, M. Hogancamp, A. Mellit, K. Nakagane. Serre duality for Khovanov-Rozansky homology. Selecta Mathematica, 25 (2019), no. 5, Article 79

  8. [16]

    Gorsky, L

    E. Gorsky, L. Lewark. On stable sl3-homology of torus knots. Experimental Mathematics 24 (2015), 162–174

  9. [17]

    Gorsky, A

    E. Gorsky, A. Negut ,, J. Rasmussen. Flag Hilbert schemes, colored projectors and Khovanov- Rozansky homology. Advances in Mathematics 378 (2021) 107542

  10. [18]

    Gorsky, A

    E. Gorsky, A. Oblomkov, J. Rasmussen. On stable Khovanov homology of torus knots. Experimental Mathematics, 22 (2013), 265-281

  11. [19]

    Gorsky, A

    E. Gorsky, A. Oblomkov, J. Rasmussen and V. Shende. Torus knots and the rational DAHA. Duke Math. J. 163 (2014), no. 14, 2709–2794

  12. [20]

    Gorsky, M

    E. Gorsky, M. Hogancamp, P. Wedrich. Derived traces of Soergel categories. IMRN (2022) issue 15, pages 11304–11400

  13. [21]

    Grigsby, A

    E. Grigsby, A. Licata, S. Wehrli. Annular Khovanov homology and knotted Schur-Weyl representa- tions. Compositio Math., volume 154 (2015). 38 WILLIAM BALLINGER, EUGENE GORSKY, MATTHEW HOGANCAMP, AND JOSHUA W ANG

  14. [22]

    Hogancamp

    M. Hogancamp. Categorified Young symmetrizers and stable homology of torus links. Geom. Topol. 22 (2018) 2943–3002

  15. [23]

    Hogancamp

    M. Hogancamp. Constructing categorical idempotents. arXiv:2002.08905 (2020)

  16. [24]

    Hogancamp

    M. Hogancamp. Idempotents in triangulated monoidal categories. arXiv:1703.01001 (2017)

  17. [25]

    Hogancamp

    M. Hogancamp. A polynomial action on colored sl(2) link homology. Quantum Topology 10 (2014)

  18. [26]

    Hogancamp, A

    M. Hogancamp, A. Mellit. Torus link homology. arXiv:1909.00418 (2019)

  19. [27]

    Hogancamp, D

    M. Hogancamp, D. E. V. Rose, P. Wedrich. Link splitting deformation of colored Khovanov–Rozansky homology. arXiv:2107.09590 (2021)

  20. [28]

    Khovanov

    M. Khovanov. A categorification of the Jones polynomial. Duke Math. J. 101 (2000), no. 3, 359–426

  21. [29]

    Khovanov

    M. Khovanov. Triply-graded link homology and Hochschild homology of Soergel bimodules. Internat. J. Math. 18 (2007), no. 8, 869–885

  22. [30]

    Khovanov, L

    M. Khovanov, L. Rozansky. Matrix factorizations and link homology. Fund. Math. 199 (2008), no. 1, 1–91

  23. [31]

    Khovanov, L

    M. Khovanov, L. Rozansky. Matrix factorizations and link homology. II. Geom. Topol. 12 (2008), no. 3, 1387–1425

  24. [32]

    L. Lewark. FoamHo, an sl(3)-homology calculator. http://www.lewark.de/lukas/foamho.html

  25. [33]

    L. Lewark. Khoca, a knot homology calculator. http://www.lewark.de/lukas/khoca.html

  26. [34]

    Y. Liu, A. Mazel-Gee, D. Reutter, C. Stroppel, P. Wedrich. A braided monoidal ( ∞, 2)-category of Soergel bimodules. arXiv:2401.02956 (2024)

  27. [35]

    A. Mellit. Homology of torus knots. Geometry & Topology 26, no. 1 (2022): 47-70

  28. [36]

    Queffelec and D.E.V

    H. Queffelec and D.E.V. Rose. The sln foam 2-category: a combinatorial formulation of Khovanov– Rozansky homology via categorical skew Howe duality. Adv. Math., 302:1251–1339 (2016)

  29. [37]

    Rasmussen

    J. Rasmussen. Some differentials on Khovanov-Rozansky homology. Geom. Topol. 19.6 (2015), pp. 3031-3104

  30. [38]

    Reshetikhin, V

    N. Reshetikhin, V. Turaev. Invariants of 3-manifolds via link polynomials and quantum groups. Inventiones mathematicae 103, no. 1 (1991): 547–597

  31. [39]

    Ritter von Merkl

    K. Ritter von Merkl. Computing colored Khovanov homology. arXiv:2505.03916 (2025)

  32. [40]

    Robert, E

    L.-H. Robert, E. Wagner. A closed formula for the evaluation of foams. Quantum Topology, 11(3), 2020, pp. 411–487

  33. [41]

    Rouquier

    R. Rouquier. Categorification of the braid groups. arXiv:math/0409593 (2004)

  34. [42]

    Rozansky

    L. Rozansky. An infinite torus braid yields a categorified Jones–Wenzl projector. Fundamenta Math- ematicae 225 (2014): 305–326

  35. [43]

    Stoˇ si´ c

    M. Stoˇ si´ c. Khovanov homology of torus links. Topology Appl. 156 (2009), no. 3, 533–541

  36. [44]

    Stoˇ si´ c

    M. Stoˇ si´ c. Homological thickness and stability of torus knots. Algebr. Geom. Topol. 7 (2007), 261– 284

  37. [45]

    Stroppel, P

    C. Stroppel, P. Wedrich. Braiding on type A Soergel bimodules: semistrictness and naturality. arXiv:2412.20587 (2024)

  38. [46]

    H. Wu. A colored sl(N ) homology for links in S3. Dissertationes Math. (Rozprawy Mat.), 499:217, (2014)

  39. [47]

    Yonezawa

    Y. Yonezawa. Quantum (sln, ∧Vn) link invariant and matrix factorizations. Nagoya Math. J., 204:69– 123, (2011). Department of Mathematics, Harvard University, 1 Oxford Street Cambridge, MA 02138 Email address: ballinger@math.harvard.edu Department of Mathematics, University of...

Pith tools

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