Parabolic Subgroups with Abelian Unipotent Radical as a Testing Site for Invariant Theory (Q4266471)

Given a simple algebraic group \(L\) over a characteristic zero algebraically closed field and let \(P\) be a parabolic subgroup with aura, i.e., with Abelian unipotent radical. Let \(l=\text{Lie }L\), and let \(G=l(0)\). Here the representation of \(G\) on \(l(1)\) is examined. The author gives a unified construction of a \(G\)-equivalent resolution of singularities for both the closure of an orbit of \(G\) in \(l(1)\) as well as for the closure of the conormal bundle of the orbit. It is shown that \(L\cdot l(1)\cap(l(1)\oplus l(-1))=\bigcup_i{\mathfrak E}_i\), where \({\mathfrak E}_i\) is the closure of the orbit \({\mathcal O}_i\). Also, \(\bigcup_i{\mathfrak E}_i=\{(x,y)\mid x\in l(1),\;y\in l(-1),\;[x,y]=0\}\). The \(G\)-orbit structure of this variety is related to the double coset space \(G\backslash L/P\). If \(U\) is the maximal unipotent subgroup of \(G\), then \(k[l(1)]\) is a free \(k[l(1)]^U\)-module, which here is equivalent to the quotient map \(\pi_{l(1)}\colon l(1)\to l(1)/ /U\) being equidimensional. To prove this, the paper provides a sufficient condition for the quotient map \(\pi_X\colon X\to X/ /U\) to be flat, where \(X\) is an affine \(G\)-variety. As a result, the irreducible representations of simple algebraic groups with aura are classified.