Beauville decomposition conjecture for compactified Jacobian fibrations

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ˉjFpˉi=0for i+j2g,\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.

Sources & referencesView supporting material

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.