Abstract
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 \(\sigma \)-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 more general properties.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper concerns the notion of complete reducibility in the theory of reductive algebraic groups. Let G be a reductive algebraic group, defined over an algebraically closed field, and to begin let us assume that G is connected. Following Serre [15], a subgroup H of G is called G-completely reducible if, whenever H is contained in a parabolic subgroup P of G, it is contained in a Levi subgroup of P. This fundamental notion directly generalises the concept of a completely reducible H-module (the case that G is a general linear group), and has proved highly fruitful in streamlining results in the theory of algebraic groups. As well as having direct applications to the subgroup structure of G, see for instance [11, 20], it relates closely to the semisimplicity of subgroups on G-modules [16, §5.2], and provides connections with the related notion of strongly reductive subgroups and geometric invariant theory [4, 13].
Because of these connections, complete reducibility extends naturally to non-connected reductive groups G [4, §6], replacing parabolic subgroups and Levi subgroups with so-called R-parabolic subgroups and R-Levi subgroups (see Sect. 2 for definitions). By placing restrictions on the parabolics and Levis under consideration, we also obtain generalisations which we shall discuss shortly. The purpose of this note is to show that these generalisations are all special cases of Serre’s original building-theoretic concept, and that results in each area can therefore be viewed as special cases of more general phenomena.
Let X be an arbitrary spherical building, [21]. A subset Y of X is said to be convex if whenever two points of Y are not opposite in X, then Y contains the unique geodesic joining these points. The vertices of X can be labelled in an essentially unique way via an equivalence relation, cf. [16, §2.1.2]; the type of a vertex is its label. An automorphism \(\alpha \) of X is said to be type-preserving if x and \(\alpha (x)\) have the same type for all vertices x of X.
Now let \(X = X(G^{\circ })\) be the spherical Tits building of the identity component \(G^{\circ }\) of a reductive algebraic group G, [21]. Recall that the simplices in X correspond to the parabolic subgroups of \(G^{\circ }\) and the vertices of X correspond to the maximal proper parabolic subgroups of \(G^{\circ }\), see [16, §3.1].
By an action of a group \(\Gamma \) on a spherical building X we mean an action on X by simplicial building automorphisms. In that case let \(X^\Gamma \) be the fixed point subset of the action of \(\Gamma \), i.e. the subset of all \(\Gamma \)-stable (thus \(\Gamma \)-fixed) simplices in X and note that this subset is always convex. If the action of \(\Gamma \) is type-preserving then \(X^\Gamma \) is a subcomplex, else it is only a subcomplex of the barycentric subdivision of X, [16, §2.3.1].
By an action of a group \(\Gamma \) on the reductive group G, we mean an action such that the induced action on the spherical building of \(G^{\circ }\) is simplicial. For G connected, abstract automorphisms of G do give rise to such automorphisms on the building of G, see [19].
Our starting point is the following fundamental definition of Serre.
Definition 1.1
[16, §2] Let X be a spherical building. A convex subset Y is X-completely reducible (X-cr for short) if for every \(y\in Y\) there exists a point \(y'\in Y\) opposite to y in X. An action of a group \(\Gamma \) on X is called completely reducible if the fixed-point subset \(X^{\Gamma }\) is completely reducible. If \(X = X(G^{\circ })\) is the spherical building of \(G^{\circ }\) for a reductive group G, then an action of \(\Gamma \) on G is called completely reducible if the induced action on X is completely reducible.
In [16], Serre concentrated mainly on the case that \(Y = X(G^{\circ })^{\Gamma }\) with \(\Gamma \) acting by type-preserving automorphisms. It is useful to relax this condition, for instance if G is not connected then G itself can induce automorphisms of \(X(G^{\circ })\) which are not type-preserving; the next example is a basic illustration of this. However even when G is not connected, it turns out that a subgroup H of G is G-completely reducible in the usual sense if and only if \(X(G^{\circ })^{H}\) is completely reducible [4, Proposition 6.16].
Example 1.2
Let \(G := G^\circ \!\!\left<\gamma \right> \le {{\,\mathrm{Aut}\,}}(G^\circ )\), where \(G^\circ \) is simple of adjoint type and \(\gamma \) is a non-trivial graph automorphism of \(G^\circ \). Then the induced action of \(\Gamma = \left<\gamma \right>\) on the building \(X(G^{\circ })\) of \(G^\circ \) is not type-preserving. Thanks to [18, Theorem 7.2], \(\gamma \) stabilizes a Borel subgroup of \(G^{o}\) . If \(\gamma \) also stabilises a maximal torus of a stable Borel subgroup it is called quasi-semisimple. In that case the G-conjugacy class of \(\gamma \) is closed in G, owing to [17, Corollaire II 2.22]. It follows from [3, Theorem 9.3] that \(\Gamma = \left<\gamma \right>\) is G-completely reducible. Thus \(\Gamma \) acts completely reducibly on \(X(G^{\circ })\) in the sense of Definition 1.1, by [4, Proposition 6.16].
In general there may be elements in a non-connected group G that induce non-quasi-semisimple automorphisms of \(G^\circ \). For instance, let \(G = {{\,\mathrm{Aut}\,}}(G^\circ )\), where \(G^\circ \) is an adjoint simple group of type \(D_4\) over an algebraically closed field of characteristic 3. There are exactly two conjugacy classes of cyclic groups of order three generated by outer automorphisms in G. Let \(\gamma _1\) and \(\gamma _2\) be representatives of the respective unipotent G-classes, as in [2, Proposition 4.1]. They both act non-type preservingly on \(X(G^{\circ })\). By [2, Proposition 4.1], the G-class of \(\gamma _1\) is closed while the G-class of \(\gamma _2\) is not (it contains the former in its closure). So again by [17, Corollaire II 2.22], \(\gamma _1\) is quasi-semisimple while \(\gamma _2\) is not. It follows from [3, Theorem 9.3] that \(\Gamma _1 = \left<\gamma _1\right>\) is G-completely reducible while \(\Gamma _2 = \left<\gamma _2\right>\) is not. Thus \(\Gamma _1\) acts completely reducibly on \(X(G^{\circ })\) and \(\Gamma _2\) does not.
We now come to some variations on the idea of complete reducibility. In the first instance, suppose that G is not necessarily connected, and let X(G) denote the poset of R-parabolic subgroups of G (see §2), ordered by reverse inclusion. If G is connected then R-parabolic subgroups coincide with parabolic subgroups, see [4, §6] for a detailed discussion. While akin to a building, in this case X(G) fails to be a spherical building, or even a simplicial complex in general (cf. [1, Example 2.3]). However, the crucial notion of opposition in X(G) still makes sense: Two R-parabolic subgroups \(P,Q \in X(G)\) are opposite if and only if \(P \cap Q\) is an R-Levi subgroup of each. Thus the concept of complete reducibility extends naturally to X(G).
Further variations of G-complete reducibility arise by restricting attention to certain convex subsets of \(X(G^{\circ })\) and their fixed points under \(\Gamma \). In one direction, since G-complete reducibility for non-connected groups is naturally defined in terms of cocharacters of G, [4, §6], by restricting attention to cocharacters of an arbitrary reductive subgroup K of G, one arrives at the notion of relative G-complete reducibility with respect to K, see Definition 3.3.
In another vein, suppose G is connected and defined over a finite field and thus equipped with a Steinberg endomorphism \(\sigma \), i.e. a surjective endomorphism of G that fixes only finitely many points, see [18] for a detailed discussion. Restricting attention to \(\sigma \)-stable parabolic subgroups of G and \(\sigma \)-stable Levi subgroups thereof, we come to the notion of \(\sigma \)-complete reducibility from [10], see Definition 3.7. Note that \(\sigma \) induces an automorphism of \(X(G^{\circ })\) also denoted by \(\sigma \) (which need not be type-preserving).
Our main result is now as follows.
Theorem 1.3
Let G be a (possibly non-connected) reductive algebraic group over an algebraically closed field.
-
(i)
The action of an abstract group \(\Gamma \) on G is completely reducible in the sense of Definition 1.1 if and only if every member of \(X(G)^{\Gamma }\) has an opposite in \(X(G)^\Gamma \).
-
(ii)
If \(H \le N_G(K^{\circ })\) for a reductive subgroup K of G, then H is relatively G-completely reducible with respect to K if and only if the induced action of H on \(X(K^{\circ })\) is completely reducible.
-
(iii)
Let G be connected and let \(\sigma \) be a Steinberg endomorphism of G. Let H be a subgroup of G and let \(\Gamma \) be the subgroup of \({{\,\mathrm{Aut}\,}}(X(G))\) generated by \(\sigma \) and the image of H. Then H is \(\sigma \)-completely reducible if and only if \(\Gamma \) acts completely reducibly on X(G).
Remark 1.4
-
In the case that \(\Gamma \) is the image of a subgroup H of G acting by conjugation, part (i) recovers [4, Proposition 6.16]. Our proof is similar, although we must stick to the language of normalising an R-parabolic subgroup or R-Levi subgroup, rather than being contained in it.
-
In part (i), one might reasonably expect that some information is lost when passing from an action on the poset X(G) to the induced action on the building \(X(G^{\circ })\); our result tells us this is not so, as the natural definition of ‘completely reducible action on X(G)’ is equivalent to Definition 1.1.
-
In part (iii), we emphasise that there are no conditions whatsoever on the subgroup H. By [10, Theorem 1.4] (see Theorem 3.8 below), in the special case that H is \(\sigma \)-stable, it is G-completely reducible if and only if it is \(\sigma \)-completely reducible: That is, H acts completely reducibly on X(G) if and only if \(\Gamma \) acts completely reducibly on X(G). Thus Theorem 1.3(iii) generalises [10, Theorem 1.4] to subgroups H which are not \(\sigma \)-stable.
2 Preliminaries
2.1 Notation and background
Throughout, we let k be an algebraically closed field, and G is a possibly non-connected reductive algebraic group over k. We let Y(G) denote the cocharacter group of G, consisting of morphisms of algebraic groups \(k^{*} \rightarrow G\). The limit of a morphism \(\phi :k^{*} \rightarrow G\) is a morphism \(\widehat{\phi } :k \rightarrow G\) extending \(\phi \), when this exists, and in this case we write \(\lim _{a \rightarrow 0} \phi (a) := \widehat{\phi }(0)\). Each \(\lambda \in Y(G)\) determines an R-parabolic subgroup of G via \(P_\lambda :=\{g\in G\mid \lim _{a\rightarrow 0} \lambda (a) \cdot g \text { exists}\}\), where the dot denotes left-conjugation of G on itself, and the R-Levi subgroup of G corresponding to \(\lambda \) is \(L_\lambda :=\{g\in G\mid \lim _{a\rightarrow 0} \lambda (a) \cdot g = g\}\). We have \(L_{\lambda } = C_{G}(\lambda (k^{*}))\). If P is an R-parabolic subgroup of G, then by an R-Levi subgroup of P, we mean a subgroup \(L_{\lambda }\) such that \(P = P_{\lambda }\). We still have a semidirect product decomposition \(P_{\lambda } = R_{u}(P_{\lambda }) L_{\lambda }\), with \(R_u(P_\lambda ) = \{ g \in G \mid \lim _{a \rightarrow 0} \lambda (a) \cdot g = 1 \}\).
Let X(G) denote the poset of R-parabolic subgroups of G under reverse inclusion. R-parabolic subgroups of G are parabolic in the sense that G/P is a complete variety, but the converse is false if G is not connected [4, §6]. As mentioned in the introduction, the notion of opposition still makes sense for X(G): Two R-parabolic subgroups P and Q are opposite if they intersect in a common R-Levi subgroup. This permits a natural definition of complete reducibility of subsets of X(G).
2.2 Completely reducible actions and equivariant morphisms
First we prove the counterpart of [4, Lemma 2.12] in our more general setting of completely reducible actions. This is a vital ingredient for proving part (ii) of Theorem 1.3. Recall that a homomorphism of reductive algebraic groups is said to be non-degenerate provided the identity component of its kernel is a torus.
Lemma 2.1
Let \(G_1\) and \(G_2\) be reductive algebraic groups, and let \(\Gamma \) act on \(G_1\) and \(G_2\). Let \(f :G_1 \rightarrow G_2\) be a surjective \(\Gamma \)-equivariant homomorphism.
-
(i)
If \(\Gamma \) acts completely reducibly on \(G_1\) then \(\Gamma \) acts completely reducibly on \(G_2\).
-
(ii)
If f is non-degenerate then \(\Gamma \) acts completely reducibly on \(G_1\) if and only if \(\Gamma \) acts completely reducibly on \(G_2\).
Proof
We mirror the proof of [4, Lemma 2.12] (cf. also [4, §6.2]). Let \(N = \ker f\). By [4, Lemma 6.14], there exists a subgroup M of G such that \(G = MN\), \(M \cap N\) is finite and M and N commute. For part (i), suppose that \(\Gamma \) acts completely reducibly on \(G_1\). Let \(\mu \in Y(G_2)\) such that \(\Gamma \) stabilises \(P_{\mu }(G_2)\). We can write \(n\mu = f \circ \lambda \) for some \(\lambda \in Y(M)\) and some sufficiently large integer n. By [4, Lemma 6.15(ii)],
Since \(\Gamma \) acts completely reducibly on \(G_1\), there exists some \(u \in R_u(P_\lambda (G_1))\) such that \(\Gamma \cdot L_{u \cdot \lambda } \subseteq L_{u \cdot \lambda }(G_1)\). By [4, Lemma 6.15(i)],
Thus \(\Gamma \) acts completely reducibly on \(G_2\).
(ii) Suppose now that \(\Gamma \) acts completely reducibly on \(G_2\). Let \(\lambda \in Y(G_1)\) such that \(\Gamma \cdot P_\lambda \subseteq P_\lambda \). Then \(P_{f \circ \lambda } = f(\Gamma \cdot P_\lambda ) = \Gamma \cdot P_{f \circ \lambda }\), by [4, Lemma 6.14(i)]. Since \(\Gamma \) acts completely reducibly on \(G_2\), there exists \(u \in R_u(P_{f \circ \lambda })\) such that \(\Gamma \cdot L_{u \cdot (f \circ \lambda )} \subseteq L_{u \cdot (f \circ \lambda )}\). By [4, Lemma 6.15(iv)], there exists \(u_1 \in R_u(P_\lambda )\) such that \(f(u_1) = u\). We then have
since N is contained in every R-Levi subgroup of \(G_1\). Therefore, \(\Gamma \) acts completely reducibly on \(G_1\). \(\square \)
3 Proof of Theorem 1.3
We prove the individual parts of Theorem 1.3 separately, since the exact nature of the acting group changes in each scenario.
3.1 G-complete reducibility and the building of \(G^{\circ }\)
Before proving part (i) of Theorem 1.3, we require one more piece of set-up. It is easily seen that for an R-parabolic subgroup P of G we have \(P^{\circ } = G^{\circ } \cap P\) and \(R_{u}(P) = R_{u}(P^{\circ })\). Moreover, thanks to [12, Proposition 5.4(a)], the normaliser \(N_G(P^{\circ })\) is also an R-parabolic subgroup of G.
Proposition 3.1
The action of an abstract group \(\Gamma \) on G is completely reducible if and only if every member of \(X(G)^{\Gamma }\) has an opposite in \(X(G)^\Gamma \).
Proof
Suppose that every member of \(X(G)^{\Gamma }\) admits an opposite in \(X(G)^{\Gamma }\) and let \(P \in X(G^{\circ })^{\Gamma }\). Then \(N_G(P)\) is an R-parabolic subgroup of G [12, Proposition 5.4(a)] which is stabilised by \(\Gamma \), hence by assumption it admits an opposite in \(X(G)^{\Gamma }\). But then the identity component of this parabolic subgroup is a \(\Gamma \)-stable opposite to P in \(X(G^{\circ })\), as required.
Conversely, suppose that \(\Gamma \) acts completely reducibly on \(X(G^{\circ })\), and let P be an R-parabolic subgroup in \(X(G)^{\Gamma }\). Then \(P^{\circ }\) is also \(\Gamma \)-stable, so by assumption there exists an opposite parabolic subgroup \(Q \in X(G^{\circ })^{\Gamma }\). Then the proof of [4, Proposition 6.16] shows that \(N_G(Q)\) in \(X(G)^{\Gamma }\) meets P in a (\(\Gamma \)-stable) R-Levi subgroup, hence is the required opposite to P in \(X(G)^{\Gamma }\). \(\square \)
Although Proposition 3.1 is perhaps a natural statement to expect, it implies at once the following statement for subgroups of G, which is not so clear a priori (although it can be derived from known results: the reverse implication is given in [2, Corollary 2.5], while the forward implication follows from a special case of [5, Lemma 5.1]).
Corollary 3.2
Let H be a subgroup of a reductive algebraic group G. Then H is G-completely reducible if and only if, whenever H normalises an R-parabolic subgroup P of G, it normalises an R-Levi subgroup of P.
3.2 Relative complete reducibility
First we recall [6, Definition 3.1].
Definition 3.3
Let H and K be subgroups of G with K reductive. We say that H is relatively G-completely reducible with respect to K if, whenever \(\lambda \in Y(K)\) such that \(H \le P_{\lambda }\), there exists \(\mu \in Y(K)\) with \(P_{\lambda } = P_{\mu }\) and \(H \le L_{\mu }\).
Armed with Lemma 2.1 we can now address part (ii) of Theorem 1.3.
Proposition 3.4
With the above notation, suppose H is a subgroup of G which normalises \(K^{\circ }\). Then H is relatively G-completely reducible with respect to K if and only if the conjugation action of H on \(K^{\circ }\) is completely reducible.
Proof
It is straightforward to see that H is relatively G-cr with respect to K if and only if H is relatively G-cr with respect to \(K^{\circ }\). By this and Proposition 3.1, it suffices to assume that \(K = K^{\circ }\).
Let \(N = N_G(K)\), \(C = C_G(K)\), and \(\pi :N \rightarrow N/C\) be the natural quotient map. From [9, Theorem 1], H is relatively G-cr with respect to K if and only if \(\pi (H)\) is \(\pi (N)\)-cr. Now by Theorem 1.3(i), \(\pi (H)\) is \(\pi (N)\)-cr if and only if the action of \(\pi (H)\) on \(\pi (N_G(K))\) is completely reducible. Now, the connected kernel of the induced map \(K \rightarrow \pi (K)\) is \(Z(K)^{\circ }\), a torus, and so by Lemma 2.1(ii), H acts completely reducibly on K if and only if H (equivalently, \(\pi (H)\)) acts completely reducibly on \(\pi (K)\). The result follows. \(\square \)
Remark 3.5
Notice that in the setting of Proposition 3.4, the definition of a completely reducible action makes no reference to the ambient group G, essentially requiring only the fact that G is an algebraic variety containing the group HK as a closed subvariety. Thus the independence of relative complete reducibility from the ambient algebraic group indicated in [6, Corollary 3.6] becomes an intrinsic feature of the definition in this case.
This feature is demonstrated even more prominently in the following geometric characterisation of relative complete reducibility, where, thanks to Proposition 3.4, there is no longer any reference to an ambient reductive group G.
Let H be a subgroup of G and let \(G\hookrightarrow {{\,\mathrm{GL}\,}}_m\) be an embedding of algebraic groups. Then \(\mathbf {h} \in H^n\) is called a generic tuple of H for the embedding \(G\hookrightarrow {{\,\mathrm{GL}\,}}_m\) if \(\mathbf {h}\) generates the associative subalgebra of \({{\,\mathrm{Mat}\,}}_m\) spanned by H. We call \(\mathbf {h}\in H^n\) a generic tuple of H if it is a generic tuple of H for some embedding \(G\hookrightarrow {{\,\mathrm{GL}\,}}_m\), [7, Definition 5.4].
Relative complete reducibility has a natural characterisation in terms of K-orbits in \(G^{n}\), where K acts diagonally on \(G^{n}\) by simultaneous conjugation: Let \(\mathbf {h} \in G^{n}\) be a generic tuple for the subgroup H. Then H is relatively G-cr with respect to K if and only if the K-orbit \(K \cdot \mathbf {h}\) is closed in \(G^{n}\) [6, Theorem 3.5(iii)]. Therefore in the case that H is also an algebraic group acting morphically on K, so that the semidirect product \(H \ltimes K\) is again an algebraic group, embedding this into some large (arbitrary) reductive group G gives the following.
Corollary 3.6
Suppose that H is a linear algebraic group acting morphically on a (not necessarily connected) reductive algebraic group K. Let \(\mathbf {h} \in H^{n}\) be a generic tuple for H. Then H acts completely reducibly on K if and only if the K-orbit \(K \cdot \mathbf {h}\) is Zariski closed as a subset of \((H \ltimes K)^{n}\).
3.3 Complete reducibility and Steinberg endomorphisms
Let G be connected and let \(\sigma : G \rightarrow G\) be a Steinberg endomorphism of G, i.e. a surjective endomorphism of G that fixes only finitely many points, see [18] for a detailed discussion. Steinberg endomorphisms of G belong to the set of all isogenies \(G\rightarrow G\) (see [18, 7.1(a)]) which encompasses in particular all (generalised) Frobenius endomorphisms, i.e. endomorphisms of G some power of which are Frobenius endomorphisms corresponding to some \(\mathbb {F}_q\)-rational structure on G. We recall the notion of \(\sigma \)-complete reducibility from [10].
Definition 3.7
Let \(\sigma \) be a Steinberg endomorphism of G and let H be a subgroup of G. We say that H is \(\sigma \)-completely reducible (\(\sigma \)-cr for short), provided that whenever H lies in a \(\sigma \)-stable parabolic subgroup P of G, it lies in a \(\sigma \)-stable Levi subgroup of P.
The notions of G-complete reducibility, etc., can be extended to reductive groups defined over arbitrary fields; see [16, 4, § 5]. The concept in Definition 3.7 is motivated as follows: If \(\sigma _q\) is a standard Frobenius morphism of G, then a subgroup H of G is defined over \(\mathbb {F}_q\) if and only if it is \(\sigma _q\)-stable and if so, H is G-completely reducible over \(\mathbb {F}_q\) if and only if it is \(\sigma _q\)-completely reducible. The following is the main theorem from [10]; it is a generalisation of a special case of the rationality result [4, Theorem 5.8] to arbitrary Steinberg endomorphisms of G.
Theorem 3.8
([10, Theorem 1.4]) Let \(\sigma \) be a Steinberg endomorphism of G and let H be a \(\sigma \)-stable subgroup of G. Then H is \(\sigma \)-completely reducible if and only if H is G-completely reducible.
We now come to part (iii) of Theorem 1.3.
Proposition 3.9
Let \(\sigma \) be a Steinberg endomorphism of the connected reductive group G and let H be a subgroup of G. Let \(\Gamma \) be the subgroup of \({{\,\mathrm{Aut}\,}}(X(G))\) generated by \(\sigma \) and the image of H. Then H is \(\sigma \)-completely reducible if and only if \(\Gamma \) acts completely reducibly on G.
Proof
By definition of \(\Gamma \), the fixed-point subcomplex \(X(G)^{\Gamma }\) consists of those \(\sigma \)-stable parabolic subgroups of G containing H. Thus the statement that every member of \(X(G)^\Gamma \) has an opposite in \(X(G)^\Gamma \) is trivially equivalent to the statement that whenever H lies in a \(\sigma \)-stable parabolic subgroup P of G, it lies in a \(\sigma \)-stable parabolic subgroup \(P^\mathrm{op}\) opposite to P; when this holds, H is contained in the intersection of P and \(P^\mathrm{op}\), which is a \(\sigma \)-stable Levi subgroup of P.
Conversely, suppose that whenever H is contained in a \(\sigma \)-stable parabolic subgroup P of G, it is contained in a \(\sigma \)-stable Levi subgroup L of P. Being contained in L implies that H lies in the unique parabolic subgroup Q of G whose intersection with P is L. But since P and L are \(\sigma \)-stable, the image of Q under \(\sigma \) is again a parabolic subgroup of G whose intersection with P is L; uniqueness now implies that Q is \(\sigma \)-stable. Thus every member of \(X(G)^\Gamma \) has an opposite in \(X(G)^\Gamma \). \(\square \)
3.4 Complete reducibility for finite groups of Lie type
Suppose G is connected reductive and defined over a finite field, hence equipped with a Steinberg endomorphism \(\sigma \). The fixed point subgroup \(G_\sigma :=\{g \in G \mid \sigma (g) =g\}\) of \(\sigma \) is thus a finite group of Lie type. Likewise, for a \(\sigma \)-stable subgroup M of G, let \(M_\sigma := M \cap G_\sigma \) be its fixed-point subgroup. As a further variant of the concepts above, it is natural to consider the following notion of complete reducibility for the finite reductive groups \(G_\sigma \).
Definition 3.10
Let \(\sigma \) be a Steinberg endomorphism of G and let H be a subgroup of \(G_\sigma \). Then H is \(G_\sigma \)-completely reducible (\(G_\sigma \)-cr for short) provided if \(H \le P_\sigma \) for some \(\sigma \)-stable parabolic subgroup P of G, then \(H \le L_\sigma \) for some \(\sigma \)-stable Levi subgroup L of P.
An easy application of Theorem 3.8 gives that the notion of \(G_\sigma \)-complete reducibility is already captured by the usual concept in the ambient reductive group G.
Theorem 3.11
Let \(\sigma \) be a Steinberg endomorphism of G and let H be a subgroup of \(G_\sigma \). Then H is \(G_\sigma \)-completely reducible if and only if H is G-completely reducible.
Proof
If H is G-cr and \(H \le P_\sigma \) for some \(\sigma \)-stable parabolic subgroup P of G, then by Theorem 3.8, there is a \(\sigma \)-stable Levi subgroup L of P containing H. Thus \(H \le L \cap G_\sigma = L_\sigma \).
If H is not G-cr, then by Theorem 3.8, it is not \(\sigma \)-cr. Thus there is a (proper) \(\sigma \)-stable parabolic subgroup P of G containing H but no \(\sigma \)-stable Levi subgroup of P contains H. In particular, \(H \le P_\sigma \), but H does not lie in \(L_\sigma \) for any \(\sigma \)-stable Levi subgroup L of P. \(\square \)
Theorem 3.11 allows us to derive statements for \(G_\sigma \)-complete reducibility from corresponding ones for the ambient reductive group G. Note that the concept of \(G_\sigma \)-complete reducibility relies not just on the group structure of \(G_\sigma \), but also on information on the embedding \(G_\sigma \rightarrow G\). For instance, the isomorphism \({{\,\mathrm{PSL}\,}}_2(4) \cong {{\,\mathrm{PSL}\,}}_2(5)\), respectively \({{\,\mathrm{PSL}\,}}_2(7) \cong {{\,\mathrm{PSL}\,}}_3(2)\), leads to two different collections of ‘completely reducible’ subgroups depending on whether we consider it as a group in characteristic 2 or 5, respectively 7 or 2.
In our next example, instances of finite subgroups of G readily lead to (non) \(G_\sigma \)-completely reducible subgroups of \(G_\sigma \).
Example 3.12
Suppose k is of characteristic 2. Let G be a simple algebraic group of type \(G_2\) over k. Let M be a maximal rank subgroup of type \({\tilde{A}}_1 A_1\). In [5, §7] a family of finite subgroups \(H_a\) of M was constructed for \(a \in k^*\) with the property that \(H_a\) is G-cr but not M-cr, [5, Proposition 7.17]. Since \(H_a\) is isomorphic to the finite symmetric group \(S_3\) and a fixed \(a \in k^*\) belongs to \(\mathbb {F}_q\) for some suitable power q of 2, we see that \(H_a\) belongs to \(M_{\sigma }\), where \(\sigma \) denotes the standard Frobenius endomorphism of G associated with the \(\mathbb {F}_q\)-structure of G. It follows from Theorem 3.11 that \(H_a\) is \(G_{\sigma }\)-cr but not \(M_{\sigma }\)-cr for \(a \in k^*\).
Our next result gives a general Clifford Theorem for finite groups of Lie type. Its proof is immediate from Theorem 3.11 and [4, Theorem 3.10].
Corollary 3.13
Let \(\sigma \) be a Steinberg endomorphism of G and let H be a subgroup of \(G_\sigma \) and N a normal subgroup of H. If H is \(G_\sigma \)-completely reducible, then so is N.
In particular, it follows from Corollary 3.13 that if H is a subgroup of \(G_\sigma \) so that \(N_{G_\sigma }(H)\) is \(G_\sigma \)-cr, then so is H. The converse is less clear.
Let \(\sigma \) and \(\tau \) be Steinberg endomorphisms of G so that \(G_\sigma \subseteq G_\tau \). Let H be a subgroup of \(G_\sigma \). Then by Theorem 3.11, H is \(G_\sigma \)-cr if and only if it is \(G_\tau \)-cr.
Theorem 3.14
Let \(\sigma \) be a Steinberg endomorphism of G and let H be a subgroup of \(G_\sigma \). Then there exists a Steinberg endomorphism \(\tau \) of G with \(G_\sigma \subseteq G_\tau \) such that H is \(G_\sigma \)-completely reducible if and only if \(N_{G_\tau }(H)\) is \(G_\tau \)-completely reducible.
Proof
Suppose that H is \(G_\sigma \)-cr. Then by Theorem 3.11 and [4, Corollary 3.16], \(N_G(H)\) is G-cr. Thanks to [4, Lemmma 2.10], there is a finitely generated subgroup \(\Gamma \) of \(N_G(H)\) with the property that \(\Gamma \) lies in the very same parabolic and Levi subgroups of G as \(N_G(H)\). In particular, since \(N_G(H)\) is G-cr, so is \(\Gamma \). As a finitely generated subgroup of G, \(\Gamma \) is finite. Thus \(\Gamma \le G_\tau \) for some Steinberg endomorphism \(\tau \) of G. Without loss we may also assume that \(G_\sigma \subseteq G_\tau \).
Since \(\Gamma \le G_\tau \) is G-cr, it is \(G_\tau \)-cr, by Theorem 3.11.
Now let \(N_{G_\tau }(H) = N_G(H) \cap G_\tau \) belong to \(P_\tau \) for some \(\tau \)-stable parabolic subgroup P of G. Then \(\Gamma \le N_G(H) \cap G_\tau = N_{G_\tau }(H) \le P_\tau \le P\). Since \(\Gamma \) is \(G_\tau \)-cr, there is a \(\tau \)-stable Levi L of P so that \(\Gamma \le L_\tau \le L\). The properties of \(\Gamma \) imply that \(N_{G_\tau }(H) = N_G(H) \cap G_\tau \le L \cap G_\tau = L_\tau \). Consequently, \(N_{G_\tau }(H)\) is \(G_\tau \)-cr.
Conversely, if \(N_{G_\tau }(H)\) is \(G_\tau \)-cr, then H is \(G_\tau \)-cr, by Corollary 3.13. Finally, H is \(G_\sigma \)-cr by the comment above. \(\square \)
The following is an immediate consequence of Corollary 3.13 and Theorem 3.14.
Corollary 3.15
Let \(\sigma \) be a Steinberg endomorphism of G and let H be a subgroup of \(G_\sigma \). Then there exists a Steinberg endomorphism \(\tau \) of G with \(G_\sigma \subseteq G_\tau \) such that if H is \(G_\sigma \)-completely reducible, then \(C_{G_\tau }(H)\) is \(G_\tau \)-completely reducible.
3.5 Complete reducibility and building automorphisms
We present some complements to our main development. Let G be connected reductive and let \(\Sigma \) be a group of building automorphisms of the building X(G) of G (not necessarily type-preserving). If one restricts attention to \(\Sigma \)-stable parabolic subgroups and their \(\Sigma \)-stable opposites, one obtains the following more general notion.
Definition 3.16
Let H be a subgroup of the connected reductive algebraic group G, and let \(\Sigma \) be a group of building automorphisms of X(G). We say that H is \(\Sigma \)-completely reducible (\(\Sigma \)-cr for short) if, whenever H is contained in an \(\Sigma \)-stable parabolic subgroup P of G, it is contained in a \(\Sigma \)-stable parabolic opposite to P.
Note that Definition 3.7 is just the special case \(\Sigma = \left<\sigma \right>\) for a Steinberg endomorphism \(\sigma \) of G in Definition 3.16.
Then incursions into this concept may be made analogous to the ones from Sect. 3.3. We indicate the counterpart of Proposition 3.9, which shows that Definition 3.16 is equivalent to \(X(G^{\circ })^\Gamma \) being X-cr, where \(\Gamma \) is the subgroup of \({{\,\mathrm{Aut}\,}}(X(G^{\circ }))\) generated by \(\Sigma \) and the image of the subgroup H of G in question. The proof of the latter applies mutatis mutandis arguing via \(\Sigma \)-stable opposite parabolic subgroups in place of \(\sigma \)-stable Levi subgroups and is left to the reader.
Proposition 3.17
Let G be connected reductive and let H be a subgroup of G, let \(\Sigma \le {{\,\mathrm{Aut}\,}}(X(G))\) and let \(\Gamma \) be the subgroup of \({{\,\mathrm{Aut}\,}}(X(G))\) generated by \(\Sigma \) and the image of H. Then H is \(\Sigma \)-completely reducible if and only if \(\Gamma \) acts completely reducibly on X(G).
Proof
Suppose \(\Gamma \) acts completely reducibly on X(G), and suppose \(H \le P\), a \(\Sigma \)-stable parabolic subgroup of G. Then P is \(\Gamma \)-stable. So by hypothesis, \(\Gamma \) fixes an opposite Q of P. In particular, Q is \(\Sigma \)-stable.
Conversely, suppose that H is \(\Sigma \)-cr. Let \(P \in X(G)^{\Gamma }\). So P is \(\Sigma \)-stable. Then by hypothesis there is a \(\Sigma \)-stable opposite parabolic Q in X(G) containing H. Thus Q is \(\Gamma \)-stable. \(\square \)
3.6 Complete reducibility for arbitrary k
If G is defined over an arbitrary field k, then the collection of k-defined parabolic subgroups of \(G^{\circ }\) also gives a spherical building (cf. [21, §5]), which we denote by \(X_k(G^{\circ })\). If k is algebraically closed, then we set \(X(G^{\circ }) = X_{k}(G^{\circ })\).
In [21, §5], Tits showed that for \(G = G^{\circ }\), if \(X_{k}(G)\) is irreducible and of rank at least 2 then every automorphism of \(X_{k}(G)\) arises via some natural constructions involving the algebraic group G: the building automorphisms induced by isogenies of G and by field automorphisms of k.
The last part of Definition 1.1 extends naturally to this rational setting.
Definition 3.18
[16, §2] Suppose G is defined over an arbitrary field k. Let \(X = X_{k}(G^{\circ })\) be the spherical building of \(G^{\circ }\). Then an action of \(\Gamma \) on G by k-automorphisms is called completely reducible if the induced action on X is completely reducible (in the sense of Definition 1.1).
Let \(X_{k}(G)\) be the set of R-parabolic k-subgroups of G. Note that by assumption \(\Gamma \) acts on \(X_{k}(G)\). For the rational counterpart of Definition 3.3, we replace the R-parabolic and R-Levi subgroups by k-defined R-parabolic and k-defined R-Levi subgroups, see [6, Definition 4.1]. We obtain the following rational counterparts of Theorem 1.3(i) and (ii).
Theorem 3.19
Let G be a (possibly non-connected) reductive algebraic group defined over k.
-
(i)
The action of an abstract group \(\Gamma \) by means of k-automorphisms on G is completely reducible in the sense of Definition 3.18 if and only if every member of \(X_{k}(G)^{\Gamma }\) has an opposite in \(X_{k}(G)^\Gamma \).
-
(ii)
Let K be a k-defined reductive subgroup of G and suppose that \(N_G(K^\circ )\) and \(C_G(K^\circ )\) are k-defined. If \(H \le N_G(K^{\circ })\), then H is relatively G-completely reducible over k with respect to K if and only if the induced action of H on \(X_k(K^{\circ })\) is completely reducible.
For the proof of (i), follow the proof of Proposition 3.1, replacing the R-parabolic subgroups by k-defined R-parabolic subgroups. Note that \(N_G(P)\) is also k-defined, by the proof of [12, Proposition 5.4(a)]. For (ii) replace Theorem 1.3(i) by part (i) and [9, Theorem 1] by its rational version [9, Theorem 7.5]. The rational counterpart of Lemma 2.1 does not hold in general, see [23, Example 3.10]. However, the map \(K\rightarrow K/Z(K)\) is central. Without loss, we can assume that K is connected. Then the image resp. preimage of a k-defined parabolic subgroup is k-defined, by [8, 22.6 Theorem(i)]. Clearly, the image of a k-defined Levi subgroup is k-defined. The preimage of a k-defined Levi subgroup is k-defined, by [8, 22.5 Corollary]. This suffices to adapt the proof of Theorem 1.3(ii) to the rational setting.
3.7 Complete reducibility and the topology of fixed-point subcomplexes of \(X(G^{\circ })\)
In our final section we consider the connection between the notion of G-complete reducibility and the geometric realisation of the building of \(G^\circ \) due to Serre [14, Theorem 2].
As before, let \(X = X(G^{\circ })\). Take a Levi subgroup L of G and set \(s(L) := X^L\) denote the subcomplex of X consisting of the parabolic subgroups of \(G^{\circ }\) containing L. For every parabolic subgroup P in s(L) there is a unique Levi subgroup M of P with \(L\subseteq M\). Moreover, the parabolic subgroup \(P^-\) such that \(P\cap P^- = M\) is also contained in s(L), so that P has an opposite in s(L); thus s(L) is X-cr. This argument also shows that each P in s(L) has a unique opposite in s(L), and this implies that the geometric realisation of s(L) has the homotopy type of a single sphere (cf. Theorem 3.20(v) below). Serre calls the subcomplexes s(L) of X Levi spheres, [14, §2] or [16, 2.1.6, 3.1.7]. The following is part of [14, Theorem 2] in our context and applies to each of the notions of complete reducibility discussed above, thanks to Theorem 1.3.
Theorem 3.20
[14, Theorem 2] Let G be reductive and defined over the field k, \(X = X_{k}(G^{\circ })\) and let \(\Gamma \le {{\,\mathrm{Aut}\,}}(X)\). Then the following are equivalent:
-
(i)
\(\Gamma \) acts completely reducibly on X;
-
(ii)
\(X^\Gamma \) is X-completely reducible;
-
(iii)
\(X^\Gamma \) contains a Levi sphere of the same dimension as \(X^\Gamma \);
-
(iv)
\(X^\Gamma \) is not contractible (i.e. does not have the homotopy type of a point);
-
(v)
\(X^\Gamma \) has the homotopy type of a bouquet of spheres.
References
Attenborough, C., Bate, M., Gruchot, M., Litterick, A., Röhrle, G.: On relative complete reducibility. Q. J. Math. 71, 321–334 (2020)
Bate, M., Herpel, S., Martin, B., Röhrle, G.: \(G\)-complete reducibility in non-connected groups. Proc. Am. Math. Soc. 143(3), 1085–1100 (2015)
Bate, M., Herpel, S., Martin, B., Röhrle, G.: Cocharacter-closure and the rational Hilbert–Mumford theorem. Math. Z. 287(1–2), 39–72 (2017)
Bate, M., Martin, B., Röhrle, G.: A geometric approach to complete reducibility. Invent. Math. 161(1), 177–218 (2005)
Bate, M., Martin, B., Röhrle, G., Tange, R.: Complete reducibility and separability. Trans. Am. Math. Soc. 362(08), 4283–4311 (2010)
Bate, M., Martin, B., Röhrle, G., Tange, R.: Complete reducibility and conjugacy classes of tuples in algebraic groups and Lie algebras. Math. Z. 269(3–4), 809–832 (2011)
Bate, M., Martin, B., Röhrle, G., Tange, R.: Closed orbits and uniform \(S\)-instability in geometric invariant theory. Trans. Am. Math. Soc. 365(7), 3643–3673 (2013)
Borel, A.: Linear Algebraic Groups. Graduate Texts in Mathematics, vol. 126, 2nd edn. Springer, New York (1991)
Gruchot, M., Litterick, A., Röhrle, G.: Relative complete reducibility and normalized subgroups. Forum Math. Sigma 8, Paper No. e30 (2020)
Herpel, S., Röhrle, G., Gold, D.: Complete reducibility and Steinberg endomorphisms. C. R. Math. Acad. Sci. Paris 349(5–6), 243–246 (2011)
Litterick, A.J., Thomas, A.R.: Complete reducibility in good characteristic. Trans Am Math Soc 370(8), 5279–5340 (2018)
Martin, B.M.S.: Reductive subgroups of reductive groups in nonzero characteristic. J. Algebra 262(2), 265–286 (2003)
Richardson, R.W.: On orbits of algebraic groups and Lie groups. Bull. Aust. Math. Soc. 25, 1–28 (1982)
Serre, J.-P.: La notion de complète réductibilité dans les immeubles sphériques et les groupes réductifs. Séminaire au Collège de France, in [22]
Serre, J.-P.: Morsund Lectures. University of Oregon, Eugene (1998)
Serre, J.-P.: Complète réductibilité. Séminaire Bourbaki 46, 195–218 (2003–2004)
Spaltenstein, N.: Classes unipotentes et sous-groupes de Borel. Lecture Notes in Mathematics, vol. 946. Springer, Berlin (1982)
Steinberg, R: Endomorphisms of Linear Algebraic Groups. Memoirs of the American Mathematical Society, No. 80. American Mathematical Society, Providence, RI (1968)
Steinberg, R: Abstract homomorphisms of simple algebraic groups (after A. Borel and J. Tits). Séminaire Bourbaki, 25ème année (1972/1973), Exp. No. 435. Lecture Notes in Mathematics, vol. 383, pp. 307–326 (1974)
Stewart, D.I.: Non-\(G\)-completely reducible subgroups of the exceptional algebraic groups. Int Math Res Not 2014(22), 6053–6078 (2013)
Tits, J.: Buildings of Spherical Type and Finite BN-Pairs. Lecture Notes in Mathematics, vol. 386. Springer, Berlin (1974)
Tits, J.: Théorie des groupes, résumé des cours et travaux. Annuaire du Collège de France, \(97^{\rm e}\) année, 89–102 (1996–1997)
Uchiyama, T.: Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields I. J. Algebra 463, 168–187 (2016)
Acknowledgements
We would like to thank Michael Bate for helpful discussions on the material of this note.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gruchot, M., Litterick, A. & Röhrle, G. Complete reducibility: variations on a theme of Serre. manuscripta math. 168, 439–451 (2022). https://doi.org/10.1007/s00229-021-01318-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-021-01318-2