Beauville decomposition conjecture for compactified Jacobian fibrations

About 1 year old · traced to

Let JˉC→πB\bar J_{\mathcal C} \xrightarrow{\pi} B be a compactified Jacobian fibration associated to a flat family of integral projective locally planar curves of arithmetic genus gg over a nonsingular base BB. Assume that JˉC\bar J_{\mathcal C} is nonsingular and that π\pi is Lagrangian with respect to a holomorphic symplectic form on JˉC\bar J_{\mathcal C}. A decomposition

h(JˉC)=⨁i=02ghi(JˉC)∈CHM⁡(B),hi(JˉC)=(JˉC,pˉi,0)\mathfrak h(\bar J_{\mathcal C})=\bigoplus_{i=0}^{2g}\mathfrak h_i(\bar J_{\mathcal C})\in\operatorname{CHM}(B),\qquad \mathfrak h_i(\bar J_{\mathcal C})=(\bar J_{\mathcal C},\bar{\mathfrak p}_i,0)

whose homological realization splits the perverse filtration on Rπ∗QJˉCR\pi_*\mathbb Q_{\bar J_{\mathcal C}} should exist and satisfy stability under Fourier transform,

pˉj∘F∘pˉi=0for i+j≠2g,\bar{\mathfrak p}_j\circ\mathfrak F\circ\bar{\mathfrak p}_i=0\qquad\text{for }i+j\neq 2g,

multiplicativity with respect to the cup product,

pˉk∘[ΔJˉC/Bsm]∘(pˉi×pˉj)=0,\bar{\mathfrak p}_k\circ[\Delta^{\mathrm{sm}}_{\bar J_{\mathcal C}/B}]\circ(\bar{\mathfrak p}_i\times\bar{\mathfrak p}_j)=0,

and c2i(TJˉC)∈A2ih2i(JˉC)c_{2i}(T_{\bar J_{\mathcal C}})\in A^{2i}\mathfrak h_{2i}(\bar J_{\mathcal C}). This conjectural decomposition would provide a motivic splitting of the perverse filtration compatible with the Fourier transform, the cup product, and the Chern classes; the cited source formulates these properties as Conjectures 3.1 and 3.6.

References

Primary source

Soumik Ghosh, “On the Perversity of Chern Classes for Compactified Jacobians”, arXiv:2508.03103 (2025).

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.