The algebraic generation conjecture for the homology of dWd_W

About 1 year old · traced to

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

dW(ξ(z))=∂W(u(z))mod  zn,d_W(\xi(z))=\partial W(u(z))\mod z^n,

where u(z)=∑i=0n−1uiziu(z)=\sum_{i=0}^{n-1}u_i z^i and ξ(z)=∑i=0n−1ξ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=0n−1μiWzi=∂2W(u(z))H(u(z))u˙(z)ξ(z)−∂W(u(z))H(u(z))ξ˙(z)mod  zn.\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.

References

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.