Completely Reducible SL(2)-Homomorphisms

Transactions of the American Mathematical Society (Impact Factor: 1.12). 01/2007; 359(9):4489-4510. DOI: 10.2307/20161784
Source: OAI


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.

Full-text preview

Available from:
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Let G be a connected and reductive group over the algebraically closed field K. J-P. Serre has introduced the notion of a G-completely reducible subgroup H of G. In this note, we give a notion of G-complete reducibility -- G-cr for short -- for Lie subalgebras of Lie(G), and we show that if the closed subgroup H < G is G-cr, then Lie(H) is G-cr as well.
    Preview · Article · Oct 2005 · Transformation Groups
  • Source
    [Show abstract] [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).
    Preview · Article · Jun 2006 · Nagoya mathematical journal
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p. We study J.-P. Serre's notion of G-complete reducibility for subgroups of G. In particular, for a subgroup H and a normal subgroup N of H, we look at the relationship between G-complete reducibility of N and of H, and show that these properties are equivalent if H/N is linearly reductive, generalizing a result of Serre. We also study the case when H = MN with M a G-completely reducible subgroup of G which normalizes N. We show that if G is connected, N and M are connected commuting G-completely reducible subgroups of G, and p is good for G, then H = MN is also G-completely reducible.
    Full-text · Article · Oct 2006 · Journal für die reine und angewandte Mathematik (Crelles Journal)
Show more