Ideal description conjecture for Coxeter braid homology

About 2 years old · traced to

Let 0≤d1≤⋯≤d10\leq d_1\leq\cdots\leq d_1, let β=JM⁡nd1…JM⁡2dn−1\beta=\operatorname{JM}_n^{d_1}\ldots\operatorname{JM}_2^{d_{n-1}}, and set J=J(d1,…,dn)J=J(d_1,\ldots,d_n), where

J(d1,…,dn)=⋂i<j(ti−tj,xi−xj)di⊆C[x1,…,xn,y1,…,yn].J(d_1,\ldots,d_n)=\bigcap_{i<j}(t_i-t_j,x_i-x_j)^{d_i}\subseteq\mathbb C[x_1,\ldots,x_n,y_1,\ldots,y_n].

The notation HHHa=0\mathrm{HHH}^{a=0} and HYa=0\mathrm{HY}^{a=0} denotes the a=0a=0 pieces of triply graded Khovanov–Rozansky homology and its yy-ified version, respectively. Ideal description conjecture. Then HHHa=0(β)\mathrm{HHH}^{a=0}(\beta) is parity and

HYa=0(β)≃J\mathrm{HY}^{a=0}(\beta)\simeq J

and

HHHa=0(β)≃J/(y)J.\mathrm{HHH}^{a=0}(\beta)\simeq J/(y)J.

This is motivated by the Gorsky–Hogancamp description conditional on parity; the conjecture asserts parity and the resulting ideal identifications in the stated generality.

References

Primary source

Joshua P. Turner, “Triply Graded Link Homology for Coxeter Braids on 4 Strands”, arXiv:2410.03068 (2024).

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.