Let $k$ be a nonperfect separably closed field. Let $G$ be a connected reductive algebraic group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In particular, we present the first example of a connected nonabelian $k$-subgroup $H$ of $G$ that is $G$-completely reducible but not $G$-completely reducible over $k$, and the first example of a connected nonabelian $k$-subgroup $H'$ of $G$ that is $G$-completely reducible over $k$ but not $G$-completely reducible. This is new: all previously known such examples are for finite (or non-connected) $H$ and $H'$ only.
Let k be a separably closed field. Let G be a reductive algebraic k-group. In this paper, we study Serre's notion of complete reducibility of subgroups of G over k. In particular, using the recently proved center conjecture of Tits, we show that the centralizer of a k-subgroup H of G is G-completely reducible over k if it is reductive and H is G-completely reducible over k. We also show that a regular reductive k-subgroup of G is G-completely reducible over k. Various open problems concerning complete reducibility are discussed. We present examples where the number of overgroups of irreducible…
Let $k$ be a nonperfect separably closed field. Let $G$ be a (possibly non-connected) reductive group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In our previous work, we constructed examples of subgroups $H$ of $G$ that are $G$-completely reducible but not $G$-completely reducible over $k$ (and vice versa). In this paper, we give a theoretical underpinning of those constructions. To illustrate our result, we present a new such example in a non-connected reductive group of type $D_4$ in characteristic $2$. Then using Geometri…
Let $k$ be a nonperfect field of characteristic $2$. Let $G$ be a $k$-split simple algebraic group of type $E_6$ (or $G_2$) defined over $k$. In this paper, we present the first examples of nonabelian non-$G$-completely reducible $k$-subgroups of $G$ which are $G$-completely reducible over $k$. Our construction is based on that of subgroups of $G$ acting non-separably on the unipotent radical of a proper parabolic subgroup of $G$ in our previous work. We also present examples with the same property for a non-connected reductive group $G$. Along the way, several general results concerning compl…
Let $k$ be a nonperfect separably closed field. Let $G$ be a connected reductive algebraic group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In particular, we present a new example of subgroup $H$ of $G$ of type $D_4$ in characteristic $2$ such that $H$ is $G$-completely reducible but not $G$-completely reducible over $k$ (or vice versa). This is new: all known such examples are for $G$ of exceptional type. We also find a new counterexample for Külshammer's question on representations of finite groups for $G$ of type $D_4$. A…
Let $G$ be a simple algebraic group of type $E_n (n=6,7,8)$ defined over an algebraically closed field $k$ of characteristic $2$. We present examples of triples of closed reductive groups $H<M<G$ such that $H$ is $G$-completely reducible, but not $M$-completely reducible. As an application, we consider a question of Külshammer on representations of finite groups in reductive groups. We also consider a rationality problem for $G$-complete reducibility and a problem concerning conjugacy classes.
Let $G$ be a connected reductive algebraic group defined over an algebraically closed field $k$. The aim of this paper is to present a method to find triples $(G,M,H)$ with the following three properties. Property 1: $G$ is simple and $k$ has characteristic 2. Property 2: $H$ and $M$ are closed reductive subgroups of $G$ such that $H<M<G$, and $(G,M)$ is a reductive pair. Property 3: $H$ is $G$-completely reducible, but not $M$-completely reducible. We exhibit our method by presenting a new example of such a triple in $G=E_7$. Then we consider a rationality problem and a problem concerning con…
Let G be a connected reductive algebraic group defined over an algebraically closed field of positive characteristic. We study a generalization of the notion of G-complete reducibility in the context of Steinberg endomorphisms of G. Our main theorem extends a special case of a rationality result in this setting.
Completely reducible subcomplexes of spherical buildings was defined by J.P. Serre and are used in studying subgroups of reductive algebraic groups. We begin the study of completely reducible subcomplexes of twin buildings and how they may be used to study subgroups of algebraic groups over a ring of Laurent polynomials and Kac-Moody groups by looking at the Euclidean twin building case.
In this paper we present an algorithm for determining whether a subgroup H of a non-connected reductive group G is G-completely reducible. The algorithm consists of a series of reductions; at each step, we perform operations involving connected groups, such as checking whether a certain subgroup of G^0 is G^0 -cr. This essentially reduces the problem of determining G-complete reducibility to the connected case.
Let G be a connected reductive linear algebraic group. The aim of this note is to settle a question of J-P. Serre concerning the behaviour of his notion of G-complete reducibility under separable field extensions. Part of our proof relies on the recently established Tits Centre Conjecture for the spherical building of the reductive group G.
In this note, we unify and extend various concepts in the area of $G$-complete reducibility, where $G$ is a reductive algebraic group. By results of Serre and Bate--Martin--Röhrle, the usual notion of $G$-complete reducibility can be re-framed as a property of an action of a group on the spherical building of the identity component of $G$. We show that other variations of this notion, such as relative complete reducibility and $σ$-complete reducibility, can also be viewed as special cases of this building-theoretic definition, and hence a number of results from these areas are special cases of…
Let H be a reductive subgroup of a reductive group G over an algebraically closed field k. We consider the action of H on G^n, the n-fold Cartesian product of G with itself, by simultaneous conjugation. We give a purely algebraic characterization of the closed H-orbits in G^n, generalizing work of Richardson which treats the case H = G. This characterization turns out to be a natural generalization of Serre's notion of G-complete reducibility. This concept appears to be new, even in characteristic zero. We discuss how to extend some key results on G-complete reducibility in this framework. We …
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 …
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 go…
Let $K$ be a reductive subgroup of a reductive group $G$ over an algebraically closed field $k$. The notion of relative complete reducibility, introduced in previous work of Bate-Martin-Roehrle-Tange, gives a purely algebraic description of the closed $K$-orbits in $G^n$, where $K$ acts by simultaneous conjugation on $n$-tuples of elements from $G$. This extends work of Richardson and is also a natural generalization of Serre's notion of $G$-complete reducibility. In this paper we revisit this idea, giving a characterization of relative $G$-complete reducibility which directly generalizes equi…
We study a relative variant of Serre's notion of $G$-complete reducibility for a reductive algebraic group $G$. We let $K$ be a reductive subgroup of $G$, and consider subgroups of $G$ which normalise the identity component $K^{\circ}$. We show that such a subgroup is relatively $G$-completely reducible with respect to $K$ if and only if its image in the automorphism group of $K^{\circ}$ is completely reducible. This allows us to generalise a number of fundamental results from the absolute to the relative setting. We also derive analogous results for Lie subalgebras of the Lie algebra of $G$, …
Let G be a connected reductive linear algebraic group. We use geometric methods to investigate G-completely reducible subgroups of G, giving new criteria for G-complete reducibility. We show that a subgroup of G is G-completely reducible if and only if it is strongly reductive in G; this allows us to use ideas of R.W. Richardson and Hilbert--Mumford--Kempf from geometric invariant theory. We deduce that a normal subgroup of a G-completely reducible subgroup of G is again G-completely reducible, thereby providing an affirmative answer to a question posed by J.-P. Serre, and conversely we prove …
Let $G$ be a connected reductive algebraic group defined over an algebraically closed field %$k$ 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^\circ)$ is prime to $p$ and that $p > 2\dim V-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) $…
Let $G=G(K)$ be a simple algebraic group defined over an algebraically closed field $K$ of characteristic $p>0$. A subgroup $X$ of $G$ is said to be $G$-completely reducible if, whenever it is contained in a parabolic subgroup of $G$, it is contained in a Levi subgroup of that parabolic. A subgroup $X$ of $G$ is said to be $G$-irreducible if $X$ is in no parabolic subgroup of $G$; and $G$-reducible if it is in some parabolic of $G$. In this thesis, we consider the case that $G$ is of exceptional type. When $G$ is of type $G_2$ we find all conjugacy classes of closed, connected, reductive subgr…
Let $G$ be a reductive algebraic group---possibly non-connected---over a field $k$ and let $H$ be a subgroup of $G$. If $G= GL_n$ then there is a degeneration process for obtaining from $H$ a completely reducible subgroup $H'$ of $G$; one takes a limit of $H$ along a cocharacter of $G$ in an appropriate sense. We generalise this idea to arbitrary reductive $G$ using the notion of $G$-complete reducibility and results from geometric invariant theory over non-algebraically closed fields due to the authors and Herpel. Our construction produces a $G$-completely reducible subgroup $H'$ of $G$, uniq…
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.
We provide results on the smoothness of normalisers in connected reductive algebraic groups $G$ over fields $k$ of positive characteristic $p$. Specifically we we give bounds on $p$ which guarantee that normalisers of subalgebras of $\mathfrak{g}$ in $G$ are smooth, i.e.\ so that the Lie algebras of these normalisers coincide with the infinitesimal normalisers. One of our main tools is to exploit cohomology vanishing of small dimensional modules. Along the way, we obtain complete reducibility results for small dimensional modules in the spirit of similar results due to Jantzen, Guralnick, Serr…
In this paper we consider non-abelian 1-cohomology for groups with coefficients in other groups. We prove versions of the `five lemma' arising from this situation. We go on to show that a connected unipotent algebraic group Q acted on morphically by a connected algebraic group G admits a filtration with successive quotients having the structure of G-modules. From these results we deduce extensions to results due to Cline, Parshall, Scott and van der Kallen. Firstly, if G is a connected, reductive algebraic group with Borel subgroup B and Q a unipotent algebraic G-group, we show the restriction…
