The algebraic generation conjecture for the homology of dWd_W

Let WW be a potential and let dWd_W be the differential determined by

dW(ξ(z))=W(u(z))modzn,d_W(\xi(z))=\partial W(u(z))\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. Define

H(x)=GCD(W(x),2W(x))H(x)=\operatorname{GCD}(\partial W(x),\partial^2 W(x))

and

μW(z)=i=0n1μiWzi=2W(u(z))H(u(z))u˙(z)ξ(z)W(u(z))H(u(z))ξ˙(z)modzn.\mu^W(z)=\sum_{i=0}^{n-1}\mu_i^Wz^i=\frac{\partial^2 W(u(z))}{H(u(z))}\dot{u}(z)\xi(z)-\frac{\partial W(u(z))}{H(u(z))}\dot{\xi}(z)\mod z^n.

Algebraic generation conjecture. The homology of dWd_W is generated by uiu_i and μkW\mu_k^W as an algebra. The supplied text establishes that the coefficients μiW\mu_i^W are cycles, but gives no resolution status for this generation claim.

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.