Gorsky–Hogancamp–Simental–Rasmussen conjecture for positroid Catalan invariants

Let fΘk,nf\in\Theta_{k,n} be repetition-free. Associate to ff the sequence a(f)\mathbf{a}(f), the Coxeter link β^(a(f))\hat\beta(\mathbf{a}(f)), the knot β^f\hat\beta_f, the mixed Hodge polynomial P(Xf;q,t)\mathcal{P}(\mathcal{X}^\circ_f;q,t), and the polynomials Ca(f)(q,t)C_{\mathbf{a}(f)}(q,t) and R~f(q)\widetilde R_f(q).

Gorsky–Hogancamp–Simental–Rasmussen conjecture. The knots β^(a(f))\hat\beta(\mathbf{a}(f)) and β^f\hat\beta_f are isotopic. Up to a monomial in qq and tt,

P(Xf;q,t)=Ca(f)(q,t).\mathcal{P}(\mathcal{X}^\circ_f;q,t)=C_{\mathbf{a}(f)}(q,t).

Up to a monomial in qq,

R~f(q)=Ca(f)(q,t=1/q).\widetilde R_f(q)=C_{\mathbf{a}(f)}(q,t=1/q).

The polynomials P(Xf;q,t)\mathcal{P}(\mathcal{X}^\circ_f;q,t), Ca(f)(q,t)C_{\mathbf{a}(f)}(q,t), and R~f(q)\widetilde R_f(q) have positive integer coefficients.

These claims relate positroid geometry, generalized q,tq,t-Catalan numbers, and knot invariants from Khovanov–Rozansky homology. The source gives computational evidence and notes agreement at q=t=1q=t=1, but does not state that the conjecture has been proved in general.

Sources & referencesView supporting material

Primary source

Pavel Galashin and Thomas Lam, “Positroid Catalan numbers”, arXiv:2104.05701 (2021).

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.