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

About 7 years old · traced to

Let CC be an irreducible nonsingular projective curve of genus g≥2g\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 G∗H∗(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 G∗H∗(MDol,Q)G_*H^*({\mathcal M}_{\mathrm{Dol}},{\mathbb Q}) satisfying:

  1. Every tautological class has perversity kk:
c(γ,k)∈GkH∗(MDol,Q),∀k≥0, ∀γ∈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)×Gk′Hd′(MDol,Q)⟶Gk+k′Hd+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.

References

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.