ScalingStacks

Since M=(V,ρ)M=(V,\rho) is nilpotent, we have soc⁡(M)=ker⁡(ρ).\operatorname{soc}(M)=\ker(\rho). Hence, for every flag V¯=(0⊂V1⊂…)\underline{V}=(0\subset V^{1}\subset\dots) that is strictly ρ\rho-stable we have V1⊂soc⁡(M),V_{1}\subset\operatorname{soc}(M), see (6.1). We hence get a natural map

(6.2) p:Fl⁡(M,𝐝¯)→Gr⁡(soc⁡(M),𝐝¯1),V¯↦V1\displaystyle p:\operatorname{Fl}(M,\underline{\mathbf{d}})\to\operatorname{Gr}(\operatorname{soc}(M),\underline{\mathbf{d}}^{1}),\,\underline{V}\mapsto V_{1}

from the partial quiver flag variety to the Grassmannian of subspaces of soc⁡(M)\operatorname{soc}(M) with dimension vector 𝐝¯1=dimV1.\underline{\mathbf{d}}^{1}=\dim V^{1}. We construct an affine paving of Fl⁡(M,𝐝¯)\operatorname{Fl}(M,\underline{\mathbf{d}}) using pp inductively. We will show that the preimage under pp of a BB-orbit in the Grassmannian has an affine paving and then deduce the claim.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Jens Niklas Eberhardt, Catharina Stroppel

Original source: arXiv:2109.00305v2