Elementary subgroup of an isotropic reductive group is perfect

A linear étale representation of a complex algebraic group G is given by a complex algebraic G-module V such that G has a Zariski-open orbit in V and $\dim G=\dim V$ . A current line of research investigates which reductive algebraic groups admit such étale representations, with a focus on understanding common features of étale representations. One source of new examples arises from the classification theory of nilpotent orbits in semisimple Lie algebras. We survey what is known about reductive algebraic groups with étale representations and then discuss two classical constructions for nilpotent orbit classifications due to Vinberg and to Bala and Carter. We determine which reductive groups and étale representations arise in these constructions and we work out in detail the relation between these two constructions.

Consider a reductive linear algebraic group G acting linearly on a polynomial ring S over an infinite field; key examples are the general linear group, the symplectic group, the orthogonal group, and the special linear group, with the classical representations as in Weyl’s book: For the general linear group, consider a direct sum of copies of the standard representation and copies of the dual; in the other cases, take copies of the standard representation. The invariant rings in the respective cases are determinantal rings, rings defined by Pfaffians of alternating matrices, symmetric determinantal rings and the Plücker coordinate rings of Grassmannians; these are the classical invariant rings of the title, with $S^G\subseteq S$ being the natural embedding. Over a field of characteristic zero, a reductive group is linearly reductive, and it follows that the invariant ring $S^G$ is a pure subring of S, equivalently, $S^G$ is a direct summand of S as an $S^G$ -module. Over fields of positive characteristic, reductive groups are typically no longer linearly reductive. We determine, in the positive characteristic case, precisely when the inclusion $S^G\subseteq S$ is pure. It turns out that if $S^G\subseteq S$ is pure, then either the invariant ring $S^G$ is regular or the group G is linearly reductive.

The original Novikov conjecture concerns the (oriented) homotopy invariance of higher sig-natures of manifolds and is equivalent to the rational injectivity of the assembly map in surgery theory. The integral injectivity of the assembly map is important for other purposes and is called the integral Novikov conjecture. There are also assembly maps in other theories and hence re-lated Novikov and integral Novikov conjectures. In this paper, we discuss several results on the integral Novikov conjectures for all torsion free arithmetic subgroups of linear algebraic groups and all S-arithmetic subgroups of reductive linear algebraic groups over number fields. For re-ductive linear algebraic groups over function fields of rank 0, the integral Novikov conjecture also holds for all torsion-free S-arithmetic subgroups. Since groups containing torsion elements occur naturally and frequently, we also discuss a generalized integral Novikov conjecture for groups containing torsion elements, and prove it for all arithmetic subgroups of reductive linear algebraic groups over number fields and S-arithmetic subgroups of reductive algebraic groups of rank 0 over function fields. 1

Finiteness of z-classes in reductive groups

This is the first in a series of papers dedicated to the structure of Chevalley groups over commutative rings. The goal of this series is to systematically develop methods of calculations in Chevalley groups over rings, based on the use of their minimal modules. As an application, we give new direct proofs for normality of the elementary subgroup, description of normal subgroups and similar results due to E. Abe, G. Taddei, L. N. Vaserstein, and others, as well as some generalizations. In this first part we outline the whole project, reproduce construction of Chevalley groups and their elementary subgroups, recall familiar facts about the elementary calculations in these groups, and fix a specific choice of the structure constants.

formula omitted]-invariance of non-stable [formula omitted]-functors in the equicharacteristic case

Let X X be a complete smooth variety defined over a number field K K and let i i be an integer. The absolute Galois group G a l K \mathrm {Gal}_K of K K acts on the i i th étale cohomology group H e ´ t i ( X K ¯ , Q ℓ ) H^i_{\mathrm {\acute {e}t}}(X_{\bar K},\mathbb {Q}_\ell ) for all primes ℓ \ell , producing a system of ℓ \ell -adic representations { Φ ℓ } ℓ \{\Phi _\ell \}_\ell . The conjectures of Grothendieck, Tate, and Mumford-Tate predict that the identity component of the algebraic monodromy group of Φ ℓ \Phi _\ell admits a reductive Q \mathbb {Q} -form that is independent of ℓ \ell if X X is projective. Denote by Γ ℓ \Gamma _\ell and G ℓ \mathbf {G}_\ell respectively the monodromy group and the algebraic monodromy group of Φ ℓ s s \Phi _\ell ^{\mathrm {ss}} , the semisimplification of Φ ℓ \Phi _\ell . Assuming that G ℓ 0 \mathbf {G}_{\ell _0} satisfies some group theoretic conditions for some prime ℓ 0 \ell _0 , we construct a connected quasi-split Q \mathbb {Q} -reductive group G Q \mathbf {G}_{\mathbb {Q}} which is a common Q \mathbb {Q} -form of G ℓ ∘ \mathbf {G}_\ell ^\circ for all sufficiently large ℓ \ell . Let G Q s c \mathbf {G}_{\mathbb {Q}}^{\mathrm {sc}} be the universal cover of the derived group of G Q \mathbf {G}_{\mathbb {Q}} . As an application, we prove that the monodromy group Γ ℓ \Gamma _\ell is big in the sense that Γ ℓ s c ≅ G Q s c ( Z ℓ ) \Gamma _\ell ^{\mathrm {sc}}\cong \mathbf {G}_{\mathbb {Q}}^{\mathrm {sc}}(\mathbb {Z}_\ell ) for all sufficiently large ℓ \ell .

It is obvious that the topological closure of an orbit of an algebraic group acting algebraically on a projective manifold over tE is an algebraic set containing the orbit as a Zariski open set. This article treats the above situation when the group is a connected reductive complex Lie group acting holomorphically on a compact Kaehler manifold. Recall (cf. § II below) that a connected complex reductive Lie group, G, has the structure of a linear algebraic group, and this algebraic structure is compatible with the underlying analytic structure. Let G be any projective manifold in which G is Zariski open and which induces the above algebraic structure on G. A complex connected Lie group G is said to act projeetively on a compact Kaehler manifold X if G acts holomorphically on X and the Lie algebra of holomorphic vector-fields that G generates on X is annihilated by every holomorphic one form on X. This definition is justified in § II. Note (cf. §III) that G acts projectively on X if either H~(X, Q)=0, or G is semi-simple, or if every generator of the solvable radical of G has a fixed point on X, or if G is linear algebraic acting algebraically on a projective X. The main result of the paper (cf. § II) where G is as above for reduct i~ G is: Proposition. Let G be a complex connected reduetive Lie group acting projeetively on a compact Kaehler X. Let q~: Y ~ X be a hotomorphic map where Y is a normal reduced complex space. Consider the equivariant map q~:G× Y ~ X , ~ extends meromorphically (in the sense of Remmert) to CJ × Y. Taking Y to be a point one gets the analog of the result mentioned in the opening sentence. Another simple corollary is the classical result that the linear algebraic structure chosen on G which makes it algebraic is unique; and in fact that any reductive connected subgroup of a linear algebraic group over ~ is an algebraic subgroup. As a further application of the techniques used a new proof of an improved form of a fixed point theorem (cf. [20]) of the author is given: Proposition. Let S be a complex solvable Lie group acting holomorphically on a compact Kaehler manifold X. The following are equivalent:

Restriction theorems for principal bundles in arbitrary characteristic

In this paper we study twisted conjugacy classes and isogredience classes for automorphisms of reductive linear algebraic groups. We show that reductive linear algebraic groups over some fields of zero characteristic possess the R ∞ ${R_{\infty}}$ and S ∞ ${S_{\infty}}$ properties.

A note on Galois representations valued in reductive groups with open image

Let M be a compact connected special flat affine manifold without boundary equipped with a Gauduchon metric g and a covariant constant volume form. Let G be either a connected reductive complex linear algebraic group or the real locus of a split real form of a complex reductive group. We prove that a flat principal G-bundle EG over M admits a Hermitian–Einstein structure if and only if EG is polystable. A polystable flat principal G-bundle over M admits a unique Hermitian–Einstein connection. We also prove the existence and uniqueness of a Harder–Narasimhan filtration for flat vector bundles over M. We prove a Bogomolov type inequality for semistable vector bundles under the assumption that the Gauduchon metric g is astheno-Kähler.

Reductive subgroups of reductive groups in nonzero characteristic

In this paper we construct certain irreducible infinite dimensional representations of algebraic groups with Frobenius maps. In particular, a few classical results of Steinberg and Deligne & Lusztig on complex representations of finite groups of Lie type are extended to reductive algebraic groups with Frobenius maps.

Let Γ be a connected reductive group over an algebraically closed field F of positive characteristic and let G be the set of fixed points of Γ under some Frobenius map of Γ. Then G is a finite group of Lie type. The p-modular representations of G for p = char F (the “describing” characteristic case) are closely related to rational representations of Γ, and thus results from the theory of reductive algebraic groups can be used to develop the representation theory of finite groups of Lie type in the describing characteristic case. One of the outstanding open questions in this area is to determine the dimensions of the irreducible representations and the decomposition matrix whose entries record multiplicities of irreducible modules as composition factors of Weyl modules. One way to define Weyl modules is by reducing modulo p (p = char F) the irreducible modules of the complex algebraic group of the same type. Here reduction modulo p happens in both, in the field underlying the group and in the field over which the representing matrices are defined, simultaneously. One of the main tools to study these questions is derived from the Weyl group of Γ. If, for example, Γ is a general linear group, the decomposition matrix of the Weyl modules can be calculated from decomposition numbers of Schur algebras, which in turn can be calculated in terms of symmetric groups. We shall discuss this phenomenon in more detail below.