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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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.
- [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.
- [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.
- [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).
- [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
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
assumptions (5)
- domain assumption Characteristic zero base field; main results are stated over Q
- domain assumption Main theorem of [13] on y-ification: the splitting map Ψ is injective with image J^k_n (Theorem 5.8)
- domain assumption Computation of HHH(P_n) from [22] (Theorem 4.3)
- domain assumption Existence and uniqueness of y-ified lifts and projectors from [13] (Lemmas 2.11-2.14, Theorem 2.17)
- standard math Standard spectral sequence and Koszul complex facts
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$.
Forward citations
Cited by 1 Pith paper
-
Colored knot Floer homology: structures and examples
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
- [13]
-
[1]
Y. Bai, E. Gorsky, O. Kivinen. Quadratic ideals and Rogers-Ramanujan recursions. The Ramanujan Journal 52 (2020), 67-89
work page 2020
- [2]
- [3]
-
[4]
H. Becker. Khovanov-Rozansky homology via Cohen-Macaulay approximations and Soergel bimod- ules. arXiv:1105.0702 (2011)
work page Pith review arXiv 2011
-
[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)
work page Pith review arXiv 2017
-
[6]
S. Cautis. Clasp technology to knot homology via the affine Grassmannian. Mathematische Annalen 363 (2015): 1053–1115
work page 2015
- [7]
Show all 47 references
-
[8]
Chandler, E
A. Chandler, E. Gorsky. Structures in HOMFLY-PT homology. Experimental Mathematics 33 (2024), no.4, 817–842
2024
-
[9]
L. Conners. Row-Column Mirror Symmetry for Colored Torus Knot Homology. Selecta Mathematica, 30 (2024), no. 97
2024
-
[10]
Cooper, V
B. Cooper, V. Krushkal. Categorification of the Jones–Wenzl projectors. Quantum Topology 3, no. 2 (2012): 139–180
2012
-
[11]
Elias, M
B. Elias, M. Hogancamp. On the computation of torus link homology. Compositio Mathematica 155, no. 1 (2019): 164–205
2019
-
[12]
Elias, M
B. Elias, M. Hogancamp. Drinfeld centralizers and Rouquier complexes. arXiv:2412.20633 (2024)
2024 arXiv
-
[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)
2024
-
[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
2019
-
[16]
Gorsky, L
E. Gorsky, L. Lewark. On stable sl3-homology of torus knots. Experimental Mathematics 24 (2015), 162–174
2015
-
[17]
Gorsky, A
E. Gorsky, A. Negut ,, J. Rasmussen. Flag Hilbert schemes, colored projectors and Khovanov- Rozansky homology. Advances in Mathematics 378 (2021) 107542
2021
-
[18]
Gorsky, A
E. Gorsky, A. Oblomkov, J. Rasmussen. On stable Khovanov homology of torus knots. Experimental Mathematics, 22 (2013), 265-281
2013
-
[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
2014
-
[20]
Gorsky, M
E. Gorsky, M. Hogancamp, P. Wedrich. Derived traces of Soergel categories. IMRN (2022) issue 15, pages 11304–11400
2022
-
[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
2015
-
[22]
Hogancamp
M. Hogancamp. Categorified Young symmetrizers and stable homology of torus links. Geom. Topol. 22 (2018) 2943–3002
2018
- [23]
-
[24]
Hogancamp
M. Hogancamp. Idempotents in triangulated monoidal categories. arXiv:1703.01001 (2017)
2017 arXiv
-
[25]
Hogancamp
M. Hogancamp. A polynomial action on colored sl(2) link homology. Quantum Topology 10 (2014)
2014
- [26]
-
[27]
Hogancamp, D
M. Hogancamp, D. E. V. Rose, P. Wedrich. Link splitting deformation of colored Khovanov–Rozansky homology. arXiv:2107.09590 (2021)
2021 arXiv
-
[28]
Khovanov
M. Khovanov. A categorification of the Jones polynomial. Duke Math. J. 101 (2000), no. 3, 359–426
2000
-
[29]
Khovanov
M. Khovanov. Triply-graded link homology and Hochschild homology of Soergel bimodules. Internat. J. Math. 18 (2007), no. 8, 869–885
2007
-
[30]
Khovanov, L
M. Khovanov, L. Rozansky. Matrix factorizations and link homology. Fund. Math. 199 (2008), no. 1, 1–91
2008
-
[31]
Khovanov, L
M. Khovanov, L. Rozansky. Matrix factorizations and link homology. II. Geom. Topol. 12 (2008), no. 3, 1387–1425
2008
-
[32]
L. Lewark. FoamHo, an sl(3)-homology calculator. http://www.lewark.de/lukas/foamho.html
-
[33]
L. Lewark. Khoca, a knot homology calculator. http://www.lewark.de/lukas/khoca.html
-
[34]
Y. Liu, A. Mazel-Gee, D. Reutter, C. Stroppel, P. Wedrich. A braided monoidal ( ∞, 2)-category of Soergel bimodules. arXiv:2401.02956 (2024)
2024 arXiv
-
[35]
A. Mellit. Homology of torus knots. Geometry & Topology 26, no. 1 (2022): 47-70
2022
-
[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)
2016
-
[37]
Rasmussen
J. Rasmussen. Some differentials on Khovanov-Rozansky homology. Geom. Topol. 19.6 (2015), pp. 3031-3104
2015
-
[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
1991
-
[39]
Ritter von Merkl
K. Ritter von Merkl. Computing colored Khovanov homology. arXiv:2505.03916 (2025)
2025
-
[40]
Robert, E
L.-H. Robert, E. Wagner. A closed formula for the evaluation of foams. Quantum Topology, 11(3), 2020, pp. 411–487
2020
- [41]
-
[42]
Rozansky
L. Rozansky. An infinite torus braid yields a categorified Jones–Wenzl projector. Fundamenta Math- ematicae 225 (2014): 305–326
2014
-
[43]
Stoˇ si´ c
M. Stoˇ si´ c. Khovanov homology of torus links. Topology Appl. 156 (2009), no. 3, 533–541
2009
-
[44]
Stoˇ si´ c
M. Stoˇ si´ c. Homological thickness and stability of torus knots. Algebr. Geom. Topol. 7 (2007), 261– 284
2007
-
[45]
Stroppel, P
C. Stroppel, P. Wedrich. Braiding on type A Soergel bimodules: semistrictness and naturality. arXiv:2412.20587 (2024)
2024 arXiv
-
[46]
H. Wu. A colored sl(N ) homology for links in S3. Dissertationes Math. (Rozprawy Mat.), 499:217, (2014)
2014
-
[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...
2011
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.