Article

# Completely Reducible SL(2)-Homomorphisms

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

Source: OAI

- [Show abstract] [Hide abstract]

**ABSTRACT:**Let G be a connected reductive algebraic group over an algebraically closed field k. In a recent paper, Bate, Martin, R\"ohrle and Tange show that every (smooth) subgroup of G is separable provided that the characteristic of k is very good for G. Here separability of a subgroup means that its scheme-theoretic centralizer in G is smooth. Serre suggested extending this result to arbitrary, possibly non-smooth, subgroup schemes of G. The aim of this note is to prove this more general result. Moreover, we provide a condition on the characteristic of k that is necessary and sufficient for the smoothness of all centralizers in G. We finally relate this condition to other standard hypotheses on connected reductive groups.09/2010; - [Show abstract] [Hide abstract]

**ABSTRACT:**Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p > 0. A subgroup of G is said to be separable in G if its global and infinitesimal centralizers have the same dimension. We study the interaction between the notion of separability and Serre's concept of G-complete reducibility for subgroups of G. The separability hypothesis appears in many general theorems concerning G-complete reducibility. We demonstrate that many of these results fail without this hypothesis. On the other hand, we prove that if G is a connected reductive group and p is very good for G, then any subgroup of G is separable; we deduce that under these hypotheses on G, a subgroup H of G is G-completely reducible provided the Lie algebra of G is semisimple as an H-module. Recently, Guralnick has proved that if H is a reductive subgroup of G and C is a conjugacy class of G, then the intersection of C and H is a finite union of H-conjugacy classes. For generic p -- when certain extra hypotheses hold, including separability -- this follows from a well-known tangent space argument due to Richardson, but in general, it rests on Lusztig's deep result that a connected reductive group has only finitely many unipotent conjugacy classes. We show that the analogue of Guralnick's result is false if one considers conjugacy classes of n-tuples of elements from H for n > 1.10/2007; - [Show abstract] [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. · 0.53 Impact Factor

Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.