The motivic–DAHA coincidence conjecture for colored algebraic links

Let R\mathcal{R} be a plane-curve-singularity ring with branches indexed by 1iκ1\le i\le\kappa, and let σ=(c1cκ>0)\sigma=(c_1\ge\cdots\ge c_\kappa>0). Define the motivic superpolynomial

Hσmot=MtdimC(Ω/M)j=c1r ⁣kq(M)1(1+aqj),\mathcal{H}^{mot}_{\sigma}=\sum_M t^{{\text{\rm dim}}_{\mathbb C}\,(\Omega/M)}\prod_{j=c_1}^{r\!k_q(M)-1}(1+aq^j),

where the sum is over standard modules MΩ=iOiciM\subset\Omega=\bigoplus_i\mathcal{O}_i^{c_i} and r ⁣kq(M)=dimCFq(M/mM)r\!k_q(M)={\text{\rm dim}}_{\mathbb C}\,_{\mathbf{F}_q}(M/\mathfrak m M). The motivic–DAHA coincidence conjecture. The polynomial Hσmot\mathcal{H}^{mot}_{\sigma} depends polynomially on q,t,aq,t,a and coincides with the DAHA superpolynomial H^λ(q,t,a)\widehat{\mathcal{H}}^{\lambda}(q,t,a) of the corresponding algebraic link colored by {λ}={c1ω1,,cκω1}\{\lambda\}=\{c_1\omega_1,\ldots,c_\kappa\omega_1\}, with only pure rows. Consequently, it is a topological invariant of the link. In the uncolored case σ=(1,,1)\sigma=(1,\ldots,1), it satisfies (qt)δHmot(1/t,1/q,a)=Hmot(q,t,a)(qt)^\delta\mathcal{H}^{mot}(1/t,1/q,a)=\mathcal{H}^{mot}(q,t,a).

Sources & referencesView supporting material

Primary source

Ivan Cherednik, “Superpolynomials of algebraic links”, arXiv:2410.14703 (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.