The algebraic generation conjecture for the homology of dNd_N

Let uiu_i and ξj\xi_j be the generators in the polynomial algebra underlying the differential dNd_N, and for k=1,,n1k=1,\ldots,n-1 define

μk=i+j=k(Nij)uiξj.\mu_k=\sum_{i+j=k}(Ni-j)u_i\xi_j.

The differential satisfies dN(ξ(z))=u(z)Nmodznd_N(\xi(z))=u(z)^N\mod z^n, where u(z)=i=0n1uiziu(z)=\sum_{i=0}^{n-1}u_i z^i and ξ(z)=i=0n1ξizi\xi(z)=\sum_{i=0}^{n-1}\xi_i z^i. Algebraic generation conjecture. The homology of dNd_N is generated by uiu_i and μk\mu_k as an algebra. For N=2N=2 and n8n\leq 8 this conjecture has been extensively verified, but it remains open in general.

Sources & referencesView supporting material

Primary source

William Ballinger, Eugene Gorsky, Matthew Hogancamp and Joshua Wang, “Stable deformed gl_N homology of torus knots”, arXiv:2507.00175 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.