Hamiltonian-reduction chart conjecture for framed torsion-free sheaves

Let ZZ be the affine bundle constructed from the extension data, let GG be the acting group, and let

μ=(μa,μb):ZHH0(C)\mu=(\mu_a,\mu_b):Z\longrightarrow HH_0(\mathscr C)

be the resulting moment-map analogue. For ζHH0(C)\zeta\in HH_0(\mathscr C), write μ1(ζ)\mu^{-1}(\zeta) for its fiber, and let M(v;F)\mathcal M(v;\mathcal F) denote the moduli stack of F\mathcal F-framed objects on P[E/Γ](Ξζ)\mathbb P_{[E/\Gamma](\Xi_\zeta)}. Hamiltonian-reduction chart conjecture. The quotient stack

[μ1(ζ)/G][\mu^{-1}(\zeta)/G]

is a chart of M(v;F)\mathcal M(v;\mathcal F) containing all F\mathcal F-framed torsion-free sheaves. For generic ζ\zeta, the action of GG on μ1(ζ)\mu^{-1}(\zeta) is free, and there is a GG-equivariant line bundle on μ1(ζ)\mu^{-1}(\zeta) whose GIT stability condition is equivalent to torsion-freeness. This would identify the framed moduli problem with a Hamiltonian/GIT quotient; the supplied text gives no proof or resolution.

Sources & referencesView supporting material

Primary source

Samuel DeHority, “Toroidal analogues of the Grothendieck-Springer map”, arXiv:2311.00355 (2023).

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.