Vector bundles associated to Lie algebras (Q2629832)

Let \(\mathfrak{g}\) be a restricted Lie algebra. Let \(\mathbb{E}(r, \mathfrak{g})\) denote the projective variety of all elementary subalgebras of \(\mathfrak{g}\). For any representation of \(\mathfrak{g}\) and any \(G\)-stable locally closed subset \(X\) in \(\mathbb{E}(r, \mathfrak{g})\), in this paper the authors describe two different but equivalent constructions of \(G\)-equivariant coherent sheaves \(\mathcal{K}er^{j,X}(M)\) and \(\mathcal{I}m^{j,X}(M)\) on \(X\), which are called kernel and image sheaves correspondingly. The projective variety \(\mathbb{E}(r, \mathfrak{g})\) can be embedded into the Grassmannian \(\mathrm{Gr}(r,\mathfrak{g})\) of \(r\)-planes in \(\mathfrak{g}\). The Stiefel variety of \(r\)-points in \(\mathfrak{g}\) is a \(\mathrm{GL}_r\)-torsor over \(\mathrm{Gr}(r, \mathfrak{g})\). The pull-back to \(\mathbb{E}(r,\mathfrak{g})\) is basically a commuting variety \(\mathcal{C}_r(\mathcal{N}_p(\mathfrak{g}) )^\circ\) of \(r\) elements of \(\mathfrak{g}\) with trivial \(p\)-restriciton. One approach of the construction is using the descent of coherent sheaves on \(\mathcal{C}_r(\mathcal{N}_p(\mathfrak{g}) )^{\circ}\) to \(\mathbb{E}(r,\mathfrak{g})\). Another approach is simply by straightforward patching technique. The authors showed that the associated coherent sheaves \(\mathcal{K}er^{j,X}(M)\) and \(\mathcal{I}m^{j,X}(M)\) are equivariant vector bundles on \(\mathbb{E}(r,\mathfrak{g})\) when \(M\) is a representation of constant radical or socle rank. When \(\mathfrak{g}\) is the Lie algebra of an algebraic group over an algebraically closed field of characteristic \(p\), and the representation \(M\) is induced from a rational representation of \(G\), the coherent sheaves \(\mathcal{K}er^{j,X}(M)\) and \(\mathcal{I}m^{j,X}(M)\) are just equivariant vector bundles on a \(G\)-orbit in \(\mathbb{E}(r,\mathfrak{g})\) that are known already, just some associated vector bundles of socle and radical modules of the stabilizer of the orbit.