Equivalent version of the P=W conjecture with tautological and multiplicative splitting

Let CC be an irreducible nonsingular projective curve of genus g2g\geq 2, let MDol{\mathcal M}_{\mathrm{Dol}} be its twisted Dolbeault moduli space with Hitchin fibration hh, and let c(γ,k)c(\gamma,k) denote the tautological classes. A splitting GH(MDol,Q)G_*H^*({\mathcal M}_{\mathrm{Dol}},{\mathbb Q}) of the perverse filtration is a decomposition whose degree-kk part is denoted GkG_k. Equivalent version of P=W. There exists a splitting GH(MDol,Q)G_*H^*({\mathcal M}_{\mathrm{Dol}},{\mathbb Q}) satisfying:

  1. Every tautological class has perversity kk:
c(γ,k)GkH(MDol,Q),k0, γH(C,Q).c(\gamma,k)\in G_kH^*({\mathcal M}_{\mathrm{Dol}},{\mathbb Q}),\qquad \forall k\geq 0,\ \forall\gamma\in H^*(C,{\mathbb Q}).
  1. The perverse decomposition is multiplicative:
:GkHd(MDol,Q)×GkHd(MDol,Q)Gk+kHd+d(MDol,Q).\cup:G_kH^d({\mathcal M}_{\mathrm{Dol}},{\mathbb Q})\times G_{k'}H^{d'}({\mathcal M}_{\mathrm{Dol}},{\mathbb Q})\longrightarrow G_{k+k'}H^{d+d'}({\mathcal M}_{\mathrm{Dol}},{\mathbb Q}).

This criterion expresses the P=W conjecture through a splitting compatible with tautological generators and cup products. The supplied text does not establish whether this equivalent formulation is open or resolved.

Sources & referencesView supporting material

Primary source

Mark Andrea A. de Cataldo, Davesh Maulik and Junliang Shen, “Hitchin fibrations, abelian surfaces, and the P=W conjecture”, arXiv:1909.11885 (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.