Ideal description conjecture for Coxeter braid homology

From papers

Let 0d1d10\leq d_1\leq\cdots\leq d_1, let β=JMnd1JM2dn1\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(titj,xixj)diC[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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.