Oblomkov–Yun perverse and maximal-ideal filtration conjecture for compactified Jacobians

Let m,nm,n be coprime positive integers, let CmnC_{\frac{m}{n}} be the closure of ym=xny^m=x^n in P2\mathbb{P}^2, and let JmnJ_{\frac{m}{n}} be its compactified Jacobian. Let PP be the perverse filtration on its cohomology, and let Mmn\mathcal{M}_{\frac{m}{n}} be the arc space described in the source, with coordinate ring filtered by powers of its maximal ideal m\mathfrak{m}. Write grjP\operatorname{gr}_j^P for the jjth perverse graded piece and grmji\operatorname{gr}_{\mathfrak{m}}^{j-i} for the corresponding maximal-ideal graded piece. Oblomkov–Yun conjecture. For all i,jZi,j\in\mathbb{Z},

grjPH2i(Jmn)=grmjiC[Mmn](j).\operatorname{gr}_j^P\mathrm{H}^{2i}(J_{\frac{m}{n}})=\operatorname{gr}_{\mathfrak{m}}^{j-i}\mathbb{C}[\mathcal{M}_{\frac{m}{n}}](j).

This conjecture predicts an equality between the perverse filtration on compactified-Jacobian cohomology and the maximal-ideal filtration on the arc-space coordinate ring; the supplied text reports no resolution.

Sources & referencesView supporting material

Primary source

Xinchun Ma, “Rational Cherednik Algebras and Torus Knot Invariants”, arXiv:2402.18770 (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.