Semisimplification for Subgroups of Reductive Algebraic Groups
Michael Bate, Benjamin Martin, Gerhard Roehrle
备注：
13 pages; v2 update in one reference; v3 minor changes and improved exposition in various parts; v4 further changes according to referee's comments, update of references; final version to appear in Forum Math. Sigma; v5 small changes to coincide with published version
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$, unique up to $G(k)$-conjugacy, which we call a $k$-semisimplification of $H$. This gives a single unifying construction which extends various special cases in the literature (in particular, it agrees with the usual notion for $G= GL_n$ and with Serre's "$G$-analogue" of semisimplification for subgroups of $G(k)$). We also show that under some extra hypotheses, one can pick $H'$ in a more canonical way using the Tits Centre Conjecture for spherical buildings and/or the theory of optimal destabilising cocharacters introduced by Hesselink, Kempf and Rousseau.
Let G be an isotropic reductive algebraic group over a commutative ring R. Assume that the elementary subgroup E(R) of group of points G(R) is correctly defined. Then E(R) is perfect, except for the well-known cases of a split reductive group of type C_2 or G_2.
We investigate Levi subgroups of a connected reductive algebraic group G, over a ground field K. We parametrize their conjugacy classes in terms of sets of simple roots and we prove that two Levi K-subgroups of G are rationally conjugate if and only if they are geometrically conjugate. These results are generalized to arbitrary connected linear algebraic K-groups. In that setting the appropriate analogue of a Levi subgroup is derived from the notion of a pseudo-parabolic subgroup.
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 G be an isotropic reductive algebraic group over a commutative ring R. Assume that, for any maximal ideal M of R, the rank of the relative root system of G_{R_M} is greater or equal than 2. We show that under this assumption the centralizer of E(R) in G(R) coincides with the abstract group-theoretic center of G(R) and with Cent(G)(R). This generalizes a result of E. Abe and J. Hurley.
Let G be a connected reductive algebraic group over an algebraically closed field k. In a recent paper, Bate, Martin, Röhrle 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 smoothn…
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 $G:=G_2(K)$ be a simple algebraic group of type $G_2$ defined over an algebraically closed field $K$ of characteristic $p>0$. Let $σ$ denote a standard Frobenius automorphism of $G$ such that $G_σ\cong G_2(q)$ with $q\geq 4$. In this paper we find all reductive subgroups of $G$ and quasi-simple subgroups of $G_σ$ in the defining characteristic.
We correct a mistake in the paper "On the cuspidal cohomology of $S$-arithmetic subgroups of reductive groups over number fields " by A. Borel, J.-P. Labesse, J. Schwermer that appeared in Compositio Mathematica, 102 (1996), 1-40.
Kobayashi [Duke Math. J. (1992)] gave a necessary condition for the existence of compact Clifford-Klein forms in terms of Cartan projections and non-compact dimensions of reductive subgroups. We extend his method to non-reductive subgroups, and give some examples of homogeneous spaces of reductive type that do not admit compact Clifford-Klein forms by comparing Cartan projections and non-compact dimensions of reductive subgroups with those of non-reductive subgroups.
Let G be a real reductive Lie group and H a closed reductive subgroup of G. We investigate the deformation of "standard" compact quotients of G/H, i.e., of quotients of G/H by discrete subgroups Gamma of G that are uniform lattices in a closed reductive subgroup L of G acting properly and cocompactly on G/H. For L of real rank 1, we prove that after a small deformation in G, such a group Gamma remains discrete in G and its action on G/H remains properly discontinuous and cocompact. More generally, we prove that the properness of the action of any convex cocompact subgroup of L on G/H is preser…
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-…
We describe the structure of Sylow {\ell}-subgroups of a finite reduc-tive group G(Fq) when q $\not\equiv$ 0 (mod {\ell}) that we find governed by a complex reflection group attached to G and {\ell}, which depends on {\ell} only through the set of cyclotomic factors of the generic order of G(Fq) whose value at q is divisible by {\ell}. We also tackle the more general case G F where F is an isogeny whose a power is a Frobenius morphism.
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 $G$ be a reductive algebraic group over an algebraically closed field $k$ of characteristic $p>0$, and assume $p$ is good for $G$. Let $P$ be a parabolic subgroup with unipotent radical $U$. For $r \ge 1$, denote by $\mathbb{G}_{a(r)}$ the $r$-th Frobenius kernel of $\mathbb{G}_a$. We prove that if the nilpotence class of $U$ is less than $p$, then any embedding of $\mathbb{G}_{a(r)}$ in $U$ lies inside a one-parameter subgroup of $U$, and there is a canonical way in which to choose such a subgroup. Applying this result, we prove that if $p$ is at least as big as the Coxeter number of $G$,…
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 complex reductive linear algebraic group and let K be a maximal compact subgroup of G. Given a nilpotent group Γgenerated by r elements, we consider the representation spaces Hom(Γ,G) and Hom(Γ,K) with the natural topology induced from an embedding into G^r and K^r respectively. The goal of this paper is to prove that there is a strong deformation retraction of Hom(Γ,G) onto Hom(Γ,K). We also obtain a strong deformation retraction of the geometric invariant theory quotient Hom(Γ,G)//G onto Hom(Γ,K)/K.
A semisimple element $s$ of a connected reductive group $G$ is said {\it quasi-isolated} (respectively {\it isolated}) if $C_G(s)$ (respectively $C_G^0(s)$) is not contained in a Levi subgroup of a proper parabolic subgroup of $G$. We study properties of quasi-isolated semisimple elements and give a classification in terms of the affine Dynkin diagram of $G$. Tables are provided for adjoint simple groups.
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…
By a quasi-connected reductive group (a term of Labesse) over an arbitrary field we mean an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic group is quasi-connected reductive if and only if it is isomorphic to a smooth normal subgroup of a connected reductive group. We compute the first Galois cohomology set H^1(R,G) of a quasi-connected reductive group G over the field R of real numbers in terms of a certain action of a subgroup of the Weyl group on the Galois cohomology of a fundamental quasi-tor…
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 …
The existence of closed orbits of real algebraic groups on real algebraic varieties is established. As an application, it is shown that if G is a real reductive linear group with Iwasawa decomposition G= KAN, then every unipotent subgroup of G is conjugate to a subgroup of N.
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 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…
We introduce the notion of a quasi-connected reductive group over an arbitrary field to be an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic group is quasi-connected reductive if and only if it is isomorphic to a smooth normal subgroup of a connected reductive group.
Let $k$ be any field and let $G$ be a connected reductive algebraic $k$-group. Associated to $G$ is an invariant first studied by Satake and Tits that is called the index of $G$ (a Dynkin diagram along with some additional combinatorial information). Tits showed that the $k$-isogeny class of $G$ is uniquely determined by its index and the $k$-isogeny class of its anisotropic kernel $G_a$. For the cases where $G$ is absolutely simple, Satake and Tits classified all possibilities for the index of $G$. Let $H$ be a connected reductive $k$-subgroup of maximal rank in $G$. We introduce an invariant…
Let F be a local henselian nonarchimedean field of residual field k, and let G be the group of F-points of a connected reductive group defined over F. It is well-known that the quotient of any parahoric subgroup of G by its first congruence subgroup is isomorphic to the group of k-points of a reductive group defined over k, and conversely; in this paper, we generalize this result by studying a class of linear algebraic groups named groups of parahoric type; we prove that, under certain conditions, any such group is k-isomorphic to the quotient of a parahoric subgroup of some reductive group ov…
The unipotent groups are an important class of algebraic groups. We show that techniques used to compute with finitely generated nilpotent groups carry over to unipotent groups. We concentrate particularly on the maximal unipotent subgroup of a split reductive group and show how this improves computation in the reductive group itself.
Let L be a reductive subgroup of a reductive Lie group G. Let G/H be a homogeneous space of reductive type. We provide a necessary condition for the properness of the action of L on G/H. As an application we give examples of spaces that do not admit standard compact Clifford-Klein forms.
We investigate positive-dimensional closed reductive subgroups of almost simple algebraic groups containing a regular unipotent element. Our main result states that such subgroups do not lie inside proper parabolic subgroups unless possibly when their connected component is a torus. This extends the earlier result of Testerman and Zalesski treating connected reductive subgroups.
Given a quasi-reductive group $G$ over a local field $k$, using Berkovich geometry, we exhibit a family of $G(k)$-equivariant compactifications of the Bruhat-Tits building $\mathcal B(G, k)$, constructed and investigated by Solleveld and Lourenço. The compactification procedure consists in mapping the building in the analytification $G^{\mathrm{an}}$ of $G$, then composing this map with the projections from $G^{\mathrm{an}}$ to its (in general non-compact) pseudo-flag varieties $(G/P)^{\mathrm{an}}$, for $P$ ranging among the pseudo-parabolic subgroups of $G$. This generalises previous constru…
We extend the notion of induced conjugacy classes in reductive groups, introduced by Lusztig and Spaltenstein for unipotent classes, to arbitrary classes. We study properties of equivariant fibrations of prehomogeneous affine spaces, especially the existence of relative invariants. We also detect prehomogeneous affine spaces as subquotients of canonical parabolic subgroups attached to elements of reductive groups in the sense of Jacobson-Morozov. These results are prerequisites for making the geometric expansion of the Arthur-Selberg trace formula more explicit.
Let G be a connected reductive linear algebraic group defined over an algebraically closed field of characteristic p. Assume that p is good for G. In this note we consider particular classes of connected reductive subgroups H of G and show that the cocharacters of H that are associated to a given nilpotent element e in the Lie algebra of H are precisely the cocharacters of G associated to e that take values in H. In particular, we show that this is the case provided H is a connected reductive subgroup of G of maximal rank; this answers a question posed by J.C. Jantzen.
The paper studies the lattice of subgroups of an isotropic reductive group G(R) over a commutative ring R, normalized by the elementary subgroup E(R). We prove the sandwich classification theorem for this lattice under the assumptions that the reductive group scheme G is defined over an arbitrary commutative ring, its isotropic rank is at least 2, and the structure constants are invertible in R. The theorem asserts that the lattice splits into a disjoint union of sublattices (sandwiches) E(R,q)<=...<=C(R,q) parametrized by the ideals q of R, where E(R,q) denotes the relative elementary subgrou…
The purpose of this paper is to link anisotropy properties of an algebraic group together with compactness issues in the topological group of its rational points. We nd equivalent conditions on a smooth ane algebraic group scheme over a non-Archimedean local eld for the associated rational points to admit maximal compact subgroups. We use the structure theory of pseudo-reductive groups provided, whatever the characteristic, by Conrad, Gabber and Prasad. We also investigate thoroughly maximal prop subgroups in the semisimple case, using Bruhat-Tits theory.
Let G be a reductive linear algebraic group, H a reductive subgroup of G and X an affine G-variety. Let Y denote the set of fixed points of H in X, and N(H) the normalizer of H in G. In this paper we study the natural map from the quotient of Y by N(H) to the quotient of X by G induced by the inclusion of Y in X. We show that, given G and H, this map is a finite morphism for all G-varieties X if and only if H is G-completely reducible (in the sense defined by J-P. Serre); this was proved in characteristic zero by Luna in the 1970s. We discuss some applications and give a criterion for the map …
We show that the finiteness length of an $S$-arithmetic subgroup $Γ$ in a noncommutative isotropic absolutely almost simple group $G$ over a global function field is one less than the sum of the local ranks of $G$ taken over the places in $S$. This determines the finiteness properties for arithmetic subgroups in isotropic reductive groups, confirming the conjectured finiteness properties for this class of groups. Our main tool is Behr-Harder reduction theory which we recast in terms of the metric structure of euclidean buildings.
Let G be a simple algebraic group defined over an algebraically closed field of characteristic 0 or a good prime for G. Let U be a maximal unipotent subgroup of G and \u its Lie algebra. We prove the separability of orbit maps and the connectedness of centralizers for the coadjoint action of U on (certain quotients of) the dual \u* of \u. This leads to a method to give a parametrization of the coadjoint orbits in terms of so-called minimal representatives which form a disjoint union of quasi-affine varieties. Moreover, we obtain an algorithm to explicitly calculate this parametrization which h…
Let k be a local field and G the set of k-points of a connected semisimple algebraic k-group of rank one. We describe all torsion-free discrete subgroups of G\times G acting properly discontinuously on G by left and right multiplication. To this end, we prove a general result on the Cartan projection of discrete groups acting properly discontinuously on corank-one reductive homogeneous spaces over k.
Among connected linear algebraic groups, quasi-reductive groups generalize pseudo-reductive groups, which in turn form a useful relaxation of the notion of reductivity. We study quasi-reductive groups over non-archimedean local fields, focusing on aspects involving their locally compact topology. For such groups we construct valuated root data (in the sense of Bruhat--Tits) and we make them act nicely on affine buildings. We prove that they admit Iwasawa and Cartan decompositions, and we construct small compact open subgroups with an Iwahori decomposition. We also initiate the smooth represent…
Let $G$ be a simple algebraic group over an algebraically closed field. A closed subgroup $H$ of $G$ is called $G$-completely reducible ($G$-cr) if, whenever $H$ is contained in a parabolic subgroup $P$ of $G$, it is contained in a Levi factor of $P$. In this paper we complete the classification of connected $G$-cr subgroups when $G$ has exceptional type, by determining the $L_{0}$-irreducible connected reductive subgroups for each simple classical factor $L_{0}$ of a Levi subgroup of $G$. As an illustration, we determine all reducible, $G$-cr semisimple subgroups when $G$ has type $F_4$ and v…
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 an almost simple, simply connected algebraic group defined over a number field $k$, and let $S$ be a finite set of places of $k$ including all infinite places. Let $X$ be the product over $v\in S$ of the symmetric spaces associated to $G(k_v)$, when $v$ is an infinite place, and the Bruhat-Tits buildings associated to $G(k_v)$, when $v$ is a finite place. The main result of this paper is an explicit computation of the fundamental group of the reductive Borel-Serre compactification of $Γ\backslash X$, where $Γ$ is an $S$-arithmetic subgroup of $G$. In the case that $Γ$ is neat, we sh…
This paper consists of three interconnected parts. Parts I,III study the relationship between the cohomology of a reductive group and that of a Levi subgroup. For example, we provide a necessary condition, arising from Kazhdan-Lusztig theory, for the natural map on Ext-groups of irreducible modules to be surjective. In cohomological degree 1, the map is always an isomorphism, under our hypothesis. These results were inspired by recent work of Hemmer obtained for general linear groups, and they both extend and improve upon his work when our condition is met. Part II obtains results on Lusztig c…
\input amssym.def \input amssym.tex Let $G$ be a connected algebraic reductive group over an algebraic closure of a prime field ${\Bbb F}_p$, defined over ${\Bbb F}_q$ thanks to a Frobenius $F$. Let $\ell$ be a prime different from $p$. Let $B$ be an $\ell$-block of the subgroup of rational points $G^F$. Under mild restrictions on $\ell$, we show the existence of an algebraic reductive group $H$ defined over ${\Bbb F}_q$ {\it via} a Frobenius $F$, and of a unipotent $\ell$-block $b$ of $H^F$ such that : the respective defect groups of $b$ and $B$ are isomorphic, the associated Brauer categorie…
Let $G$ be an algebraic group. For $d\geq 1$, we define the commuting probabilities $cp_d(G) = \frac{dim(\mathfrak C_d(G))}{dim(G^d)}$, where $\mathfrak C_d(G)$ is the variety of commuting $d$-tuples in $G$. We prove that for a reductive group $G$ when $d$ is large, $cp_d(G)\sim \fracα{n}$ where $n=\dim(G)$, and $α$ is the maximal dimension of an Abelian subgroup of $G$. For a finite reductive group $G$ defined over the field $\mathbb F_q$, we show that $cp_{d+1}(G(\mathbb F_q))\sim q^{(α-n)d}$, and give several examples.
Let R be a connected noetherian commutative ring, and let G be a simply connected reductive group over R of isotropic rank ge 2. The elementary subgroup E(R) of G(R) is the subgroup generated by the R-points U_P^+(R) and U_P^-(R) of the unipotent radicals of two opposite parabolic subgroups P^+ and P^- of G. Assume that 2 is invertible in R if G is of type B_n,C_n,F_4,G_2 and 3 is invertible in R if G is of type G_2. We prove that the congruence kernel of E(R), defined as the kernel of the natural homomorphism between the profinite completion of E(R) and the congruence completion of E(R) with …
We classify the spherical birational sheets in a complex simple simply-connected algebraic group. We use the classification to show that, when $G$ is a connected reductive complex algebraic group with simply-connected derived subgroup, two conjugacy classes $\mathcal{O}_1$, $\mathcal{O}_2$ of $G$ lie in the same birational sheet, up to a shift by a central element of $G$, if and only if the coordinate rings of $\mathcal{O}_1$ and $\mathcal{O}_2$ are isomorphic as $G$-modules. As a consequence, we prove a conjecture of Losev for the spherical subvariety of the Lie algebra of $G$.
Let G be a linear algebraic group defined over a finite field F_q. We present several connections between the isogenies of G and the finite groups of rational points G(F_q^n). We show that an isogeny from G' to G over F_q gives rise to a subgroup of fixed index in G(F_q^n) for infinitely many n. Conversely, we show that if G is reductive the existence of a subgroup of fixed index k for infinitely many n implies the existence of an isogeny of order k. In particular, we show that every infinite sequence of subgroups is controlled by a finite number of isogenies. This result applies to classical …
George Mackey suggested in 1975 that there should be analogies between the irreducible unitary representations of a noncompact reductive Lie group $G$ and those of its Cartan motion group $G_0$ $-$ the semidirect product of a maximal compact subgroup of $G$ and a vector space. He conjectured the existence of a natural one-to-one correspondence between "most" irreducible (tempered) representations of $G$ and "most" irreducible (unitary) representations of $G_0$. We here describe a simple and natural bijection between the tempered duals of both groups, and an extension to a one-to-one correspond…
