The smoothness and symplecticity conjecture for Betti moduli spaces

Let GG be a reductive group over C\mathbb{C}, let ψ\psi be a homogeneous element of g((t))\mathfrak{g}((t)) of slope ν\nu, and let HH and h\mathfrak{h} be the associated group and Cartan algebra. For κH\kappa\in H, write κMBet,ψ0{}_{\kappa}\mathcal{M}^{0}_{\operatorname{Bet},\psi} for the derived Betti moduli stack and κMBet,ψ{}_{\kappa}\mathcal{M}_{\operatorname{Bet},\psi} for its analytic variant.

Smoothness and symplecticity conjecture. Let κH\kappa\in H. For ν>0\nu>0, the derived structure on κMBet,ψ0{}_{\kappa}\mathcal{M}^{0}_{\operatorname{Bet},\psi} is trivial, and κMBet,ψ0{}_{\kappa}\mathcal{M}^{0}_{\operatorname{Bet},\psi} is an algebraic stack smooth over C\mathbb{C}. The analytic stack κMBet,ψ{}_{\kappa}\mathcal{M}_{\operatorname{Bet},\psi} is a complex analytic manifold with a canonical symplectic structure.

This conjecture predicts that the Betti moduli spaces attached to homogeneous elements have no nontrivial derived structure in positive slope and carry the expected smooth symplectic geometry. The source gives no resolution status.

Sources & referencesView supporting material

Primary source

Roman Bezrukavnikov, Pablo Boixeda Alvarez, Michael McBreen and Zhiwei Yun, “Non-abelian Hodge moduli spaces and homogeneous affine Springer fibers”, arXiv:2209.14695 (2022).

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.