The perverse filtration comparison conjecture for compactified Jacobians

Let Cq/pC_{q/p} be the plane curve under consideration, let Jq/pJ_{q/p} be its compactified Jacobian, and let PP be the perverse filtration on H(Jq/p)\textup{H}^{*}(J_{q/p}). Let M1rig(P1,Cq/p)M^{rig}_1(\mathbb{P}^1,C_{q/p}) be the moduli space of rigidified maps, and let Oq/p\mathcal{O}_{q/p} be its local Artinian coordinate ring with residue field Q\mathbb{Q}, graded by the induced Gm\mathbb{G}_m-action. Write m\mathfrak{m} for its maximal ideal. The perverse filtration comparison conjecture. For every i,ji,j\real there is a canonical isomorphism

GrjPH2i(Jq/p)GrmjiOq/p[j].\operatorname{Gr}^{P}_{j}\operatorname{H}^{2i}(J_{q/p})\cong \operatorname{Gr}^{j-i}_{\mathfrak{m}}\mathcal{O}_{q/p}[j].

These isomorphisms are compatible with the ring structures on both sides. This predicts a common degeneration of the cohomology ring and Oq/p\mathcal{O}_{q/p}, but no resolution is supplied in the source.

Sources & referencesView supporting material

Primary source

Alexei Oblomkov and Zhiwei Yun, “The cohomology ring of certain compactified Jacobians”, arXiv:1710.05391 (2017).

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.