Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields III

Let G be a reductive group over a nonperfect field 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 article, we give a theoretical underpinning of those constructions. Then using Geometric Invariant Theory, we obtain a new result on the structure of G(k)-(and G-) orbits in an arbitrary affine G-variety. We discuss several related problems to complement the main results.     

Complete reducibility,Külshammer’s question,conjugacy classes: A D4 example

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₄ 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₄. A problem concerning the number of conjugacy classes is also considered. The notion of nonseparable subgroups plays a crucial role in all our constructions.     

Questions of rationality for solvable algebraic groups over nonperfect fields

Sunto Dato un gruppo algebrico risolubile, insieme con un suo campo di definizione, si dimostra che è possibile trovare certi sottogruppi di tipi importanti, p. e. tori massimi, senza introdurre alcuna inseparabilità

---

---

This research was supported by the Air Force Office of Scientific Research.     

Discrete subgroups of algebraic groups over local fields of positive characteristics

It is shown in this paper that ifG is the group ofk-points of a semisimple algebraic groupG over a local fieldk of positive characteristic such that all itsk-simple factors are ofk-rank 1 and Γ ⊂G is a non-cocompact irreducible lattice then Γ admits a fundamental domain which is a union of translates of Siegel domains. As a consequence we deduce that ifG has more than one simple factor, then Γ is finitely generated and by a theorem due to Venkataramana, it is arithmetic.     

Difference algebraic subgroups of commutative algebraic groups over finite fields

We study the question of which torsion subgroups of commutative algebraic groups over finite fields are contained in modular difference algebraic groups for some choice of a field automorphism. We show that if G is a simple commutative algebraic group over a finite field of characteristic p, ? is a prime different from p, and for some difference closed field (?, σ) the ?-primary torsion of G(?) is contained in a modular group definable in (?, σ), then it is contained in a group of the form {x∈G(?) :σ(x) =[a](x) } with a∈ℕ\p ^ℕ. We show that no such modular group can be found for many G of interest. In the cases that such equations may be found, we recover an effective version of a theorem of Boxall. Received: 28 May 1998 / Revised version: 20 December 1998     

Constructing arithmetic subgroups of unipotent groups

Let G be a unipotent algebraic subgroup of some defined over . We describe an algorithm for finding a finite set of generators of the subgroup . This is based on a new proof of the result (in more general form due to Borel and Harish-Chandra) that such a finite generating set exists.     

Sum formulas for reductive algebraic groups

Let V be a Weyl module either for a reductive algebraic group G or for the corresponding quantum group Uq. If G is defined over a field of positive characteristic p, respectively if q is a primitive lth root of unity (in an arbitrary field) then V has a Jantzen filtration V=V⁰⊃V¹⊃?⊃Vr=0. The sum of the positive terms in this filtration satisfies a well-known sum formula.If T denotes a tilting module either for G or Uq then we can similarly filter the space HomG(V,T), respectively HomUq(V,T) and there is a sum formula for the positive terms here as well.We give an easy and unified proof of these two (equivalent) sum formulas. Our approach is based on an Euler type identity which we show holds without any restrictions on p or l. In particular, we get rid of previous such restrictions in the tilting module case.     

Theory of spherical functions on reductive algebraic groups over p-adic fields

Publications mathématiques de l'IHÉS -     

COMPLETENESS OF THE PARABOLIC SUBGROUPS OF PROJECTIVE ORTHOGONAL GROUPS

All parabolic subgroups and Borel subgroups of PΩ(2m 1, F) over a linear-able field F of characteristic 0 are shown to be complete groups, provided m > 3.     

Intersections of conjugacy classes and subgroups of algebraic groups

We show that if is a reductive group, then th roots of conjugacy classes are a finite union of conjugacy classes, and that if is an algebraic overgroup of , then the intersection of with a conjugacy class of is a finite union of -conjugacy classes. These results follow from results on finiteness of unipotent classes in an almost simple algebraic group.

     

Complete toric varieties with reductive automorphism group

We give equivalent and sufficient criteria for the automorphism group of a complete toric variety, respectively a Gorenstein toric Fano variety, to be reductive. In particular we show that the automorphism group of a Gorenstein toric Fano variety is reductive, if the barycenter of the associated reflexive polytope is zero. Furthermore a sharp bound on the dimension of the reductive automorphism group of a complete toric variety is proven by studying the set of Demazure roots.     

Subnormal subgroups of the groups of rational points of reductive algebraic groups

We prove that for a reductive algebraic group over an infinite field the group of rational points does not contain any noncentral finitely generated normal subgroups.

     

Complete reducibility of gyrogroup representations

Abstract

In this article, we show that any finite gyrogroup can be represented on a space of complex-valued functions. In particular, we prove that any linear representation of a finite gyrogroup on a finite-dimensional complex inner product space is unitary and hence is completely reducible using strong connections between linear actions of groups and gyrogroups. Also, we provide an example of a unitary representation of an arbitrary finite gyrogroup, which resembles the group-theoretic left regular representation.     

Construction of complete generalized algebraic groups

With one exception, the holomorph of a finite dimensional abelian connected algebraic group is shown to be a complete generalized algebraic group. This result on algebraic group is an analogy to that on Lie algebra.     

Normal subgroups of symplectic groups over rings

We consider a module with an alternating form over a commutative ring. Under certain conditions, which hold, for example, when the form is nonsingular and the module is projective of rank 6 and contains a unimodular vector, we describe all subgroups of the symplectic group which are normalized by symplectic transvections. This generalizes many previous results of Dickson, Klingenberg, Abe, Bak, et al.     

Complete reducibility and conjugacy classes of tuples in algebraic groups and Lie algebras

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 ⁿ , 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 ⁿ , 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 also consider some rationality questions.     

Groups lying between steinberg groups over nonperfect fields of characteristics 2 and 3

We describe groups lying between Steinberg groups of type ² A _l , ² D _l , ² E ₆, or ³ D ₄ over different fields of characteristics 2 and 3 in the case where the larger field is an algebraic extension of the smaller nonperfect field.