Journal | Bulletin of the london mathematical society |
---|
Date | E-pub ahead of print - 25 Jul 2011 |
---|
Date | Published (current) - Dec 2011 |
---|
Issue number | 6 |
---|
Volume | 43 |
---|
Number of pages | 10 |
---|
Pages (from-to) | 1069-1078 |
---|
Early online date | 25/07/11 |
---|
Original language | English |
---|
Let G be a connected reductive algebraic group defined over an algebraically closed field of characteristic p > 0. Our first aim in this note is to give concise and uniform proofs for two fundamental and deep results in the context of Serre’s notion of G-complete reducibility, at the cost of less favourable bounds. Here are some special cases of these results: Suppose that the index (H : H¿) is prime to p and that p > 2dimV - 2 for some faithful G-module V . Then the following hold: (i) V is a semisimple H-module if and only if H is G-completely reducible;
(ii) H¿ is reductive if and only if H is G-completely reducible. We also discuss two new related results. (i) If p dim V for some G-module V and H is a G-completely reducible subgroup of G, then V is a semisimple H-module; this generalizes Jantzen’s semisimplicity theorem (which is the case H = G). (ii) If H acts semisimply on V ¿ V* for some faithful G-module V , then H
is G-completely reducible.