Article

# Completely Reducible SL(2)-Homomorphisms

(Impact Factor: 1.1). 01/2007; 359(9):4489-4510. DOI: 10.2307/20161784
Source: OAI

ABSTRACT Let K be any field, and let G be a semisimple group over K. Suppose the characteristic of K is positive and is very good for G. We describe all group scheme homomorphisms φ: SL₂ → G whose image is geometrically G-completely reducible-or G-cr-in the sense of Serre; the description resembles that of irreducible modules given by Steinberg's tensor product theorem. In case K is algebraically closed and G is simple, the result proved here was previously obtained by Liebeck and Seitz using different methods. A recent result shows the Lie algebra of the image of φ to be geometrically G-cr; this plays an important role in our proof.

0 Followers
·
53 Views
• Source
##### Article: Some Good-Filtration Subgroups of Simple Algebraic Groups
[Hide abstract]
ABSTRACT: Let G be a connected and reductive algebraic group over an algebraically closed field of characteristic p > 0. An interesting class of representations of G consists of those G-modules having a good filtration -- i.e. a filtration whose layers are the standard highest weight modules obtained as the space of global sections of G-linearized line bundles on the flag variety of G. Let H be a connected and reductive subgroup of G. One says that (G,H) is a Donkin pair, or that H is a good filtration subgroup of G, if every G-module with good filtration also has a good filtration as an H-module. In this paper, we show when G is a "classical group" that the optimal SL2-subgroups of G are good filtration subgroups, and we also determine some primes for which distinguished optimal SL2-subgroups of groups of exceptional type are good filtration subgroups. Additionally, we consider the cases of subsystem subgroups in all types and determine some primes for which they are good filtration subgroups.
Journal of Pure and Applied Algebra 05/2012; 217(12). DOI:10.1016/j.jpaa.2013.04.005 · 0.58 Impact Factor
• Source
##### Article: Nilpotent centralizers and Springer isomorphisms
[Hide abstract]
ABSTRACT: Let G be a semisimple algebraic group over a field K whose characteristic is very good for G, and let sigma be any G-equivariant isomorphism from the nilpotent variety to the unipotent variety; the map sigma is known as a Springer isomorphism. Let y in G(K), let Y in Lie(G)(K), and write C_y = C_G(y) and C_Y= C_G(Y) for the centralizers. We show that the center of C_y and the center of C_Y are smooth group schemes over K. The existence of a Springer isomorphism is used to treat the crucial cases where y is unipotent and where Y is nilpotent. Now suppose G to be quasisplit, and write C for the centralizer of a rational regular nilpotent element. We obtain a description of the normalizer N_G(C) of C, and we show that the automorphism of Lie(C) determined by the differential of sigma at zero is a scalar multiple of the identity; these results verify observations of J-P. Serre.
Journal of Pure and Applied Algebra 07/2009; 213(7):1346–1363. DOI:10.1016/j.jpaa.2008.12.007 · 0.58 Impact Factor
• Source
##### Article: The centralizer of a nilpotent section
[Hide abstract]
ABSTRACT: Let F be an algebraically closed field and let G be a semisimple F-algebraic group for which the characteristic of F is *very good*. If X in Lie(G) = Lie(G)(F) is a nilpotent element in the Lie algebra of G, and if C is the centralizer in G of X, we show that (i) the root datum of a Levi factor of C, and (ii) the component group C/C^o both depend only on the Bala-Carter label of X; i.e. both are independent of very good characteristic. The result in case (ii) depends on the known case when G is (simple and) of adjoint type. The proofs are achieved by studying the centralizer C of a nilpotent section X in the Lie algebra of a suitable semisimple group scheme over a Noetherian, normal, local ring A. When the centralizer of X is equidimensional on Spec(A), a crucial result is that locally in the etale topology there is a smooth A-subgroup scheme L of CC such that L_t is a Levi factor of C_t for each t in Spec(A).
Nagoya mathematical journal 06/2006; 190. · 0.77 Impact Factor