Equivariant Grothendieck-resolution embedding for steep partitions

Let λ\stair\lambda\neq\stair be a steep partition. Let X\mathfrak{X} be the flat SL2SL_2-equivariant family over A1\mathbb{A}^1 whose special fiber is HilbnC2\operatorname{Hilb}^n\mathbb{C}^2, and let sl~2\widetilde{\mathfrak{sl}}_2 be Grothendieck's simultaneous resolution, with ϖ:sl~2A1\varpi:\widetilde{\mathfrak{sl}}_2\to\mathbb{A}^1 the natural map. The point yλy_\lambda denotes the corresponding BB-fixed point in the special fiber.

Embedding conjecture. There exists an SL2SL_2-equivariant embedding

sl~2X\widetilde{\mathfrak{sl}}_2\hookrightarrow\mathfrak{X}

sending the BB-fixed point [1:0]P1sl~2[1:0]\in\mathbb{P}^1\subset\widetilde{\mathfrak{sl}}_2 to yλy_\lambda, such that

sl~2XϖpA1=A1\begin{CD} \widetilde{\mathfrak{sl}}_2 @>>> \mathfrak{X}\\ @V{\varpi}VV @VV{p}V\\ \mathbb{A}^1 @= \mathbb{A}^1 \end{CD}

commutes.

This asserts that the Grothendieck simultaneous resolution occurs as an SL2SL_2-equivariant subfamily of X\mathfrak{X} through the fixed point indexed by λ\lambda. The supplied context does not state whether the claim is proved or remains open.

Sources & referencesView supporting material

Primary source

Gwyn Bellamy and Victor Ginzburg, “SL_2-action on Hilbert schemes and Calogero-Moser spaces”, arXiv:1509.01674 (2015).

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.