Optimal SL(2)-homomorphisms.

From MaRDI portal
Publication:2483786



Abstract: Let G be a semisimple group over an algebraically closed field of very good characteristic for G. In the context of geometric invariant theory, G. Kempf has associated optimal cocharacters of G to an unstable vector in a linear G-representation. If the nilpotent element X in Lie(G) lies in the image of the differential of a homomorphism SL(2) --> G, we say that homomorphism is optimal for X, or simply optimal, provided that its restriction to a suitable torus of SL(2) is optimal for X in Kempf's sense. We show here that any two SL(2)-homomorphisms which are optimal for X are conjugate under the connected centralizer of X. This implies, for example, that there is a unique conjugacy class of principal homomorphisms for G. We show that the image of an optimal SL(2)-homomorphism is a completely reducible subgroup of G; this is a notion defined recently by J-P. Serre. Finally, if G is defined over the (arbitrary) subfield K of k, and if X in Lie(G)(K) is a K-rational nilpotent element whose p-th power is 0, we show that there is an optimal homomorphism for X which is defined over K.


Let \(G\) be a semisimple group over an algebraically closed field of `very good' characteristic \(p\). Let \(\varphi\colon\text{SL}_2\to G\) be a homomorphism and put \(X=d\varphi\left(\begin{smallmatrix} 0&1\\ 0&0\end{smallmatrix}\right)\). Then \(X\) is an unstable vector in the sense of geometric invariant theory. Now \(\varphi\) is called optimal for \(X\) if the cocharacter \({\mathbf G}_m\to G\) which one gets by identifying \({\mathbf G}_m\) with the diagonal subgroup of \(\text{SL}_2\) is optimal in the sense of Kempf and Rousseau. It is shown that two optimal \(\text{SL}_2\)-homomorphisms are conjugate under the connected centralizer of \(X\). Applying this to the case that \(X\) is a regular nilpotent one deduces that there is a unique conjugacy class of principal homomorphisms \(\text{SL}_2\to G\). It is shown that the image of an optimal homomorphism is a completely reducible subgroup in the sense of Serre. It is also shown that optimal homomorphisms are good in the sense of Seitz, meaning that all weights of \({\mathbf G}_m\) in \(\text{Lie}(G)\) are \(\leq 2p-2\). Moreover the \(\text{SL}_2\)-module \(\text{Lie}(G)\) is tilting. Finally rationality questions are treated. In an appendix Serre discusses Springer isomorphisms from the variety of unipotent elements in \(G\) to the variety of nilpotent elements in \(\text{Lie}(G)\).




Cited in
(38)








This page was built for publication: Optimal \(\text{SL}(2)\)-homomorphisms.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2483786)