We study a class of double coset spaces R_A \backslash G_1 \times G_2 /R_C, where G_1 and G_2 are connected reductive algebraic groups, and R_A and R_C are certain spherical subgroups of G_1 \times G_2 obtained by ``identifying'' Levi factors of parabolic subgroups in G_1 and G_2. Such double cosets naturally appear in the symplectic leaf decompositions of Poisson homogeneous spaces of complex reductive groups with the Belavin-Drinfeld Poisson structures. They also appear in orbit decompositions of the De Concini-Procesi compactifications of semi-simple groups of adjoint type. We find explicit parametrizations of the double coset spaces and describe the double cosets as homogeneous spaces of R_A \times R_C. We further show that all such double cosets give rise to set-theoretical solutions to the quantum Yang-Baxter equation on unipotent algebraic groups.
Let $G$ be a real-reductive Lie group and let $G_1$ and $G_2$ be two subgroups given by involutions. We show how the technique of gradient maps can be used in order to obtain a new proof of Matsuki's parametrization of the closed double cosets $G_1\backslash G/G_2$ by Cartan subsets. We also describe the elements sitting in non-closed double cosets.
Let G be a real form of a complex reductive group. Suppose that we are given involutions σand θof G. Let H=G^σdenote the fixed group of σand let K=G^θdenote the fixed group of θ. We are interested in calculating the double coset space H\backslash G/K. We use moment map and invariant theoretic techniques to calculate the double cosets, especially the ones that are closed. One salient point of our results is a stratification of a quotient of a compact torus over which the closed double cosets fiber as a collection of trivial bundles.
The rational representation theory of a reductive normal algebraic monoid (with one-dimensional center) forms a highest weight category, in the sense of Cline, Parshall, and Scott. This is a fundamental fact about the representation theory of reductive normal algebraic monoids. We survey how this result was obtained, and treat some natural examples coming from classical groups.
We prove that a polar orthogonal representation of a real reductive algebraic group has the same closed orbits as the isotropy representation of a pseudo-Riemannian symmetric space. We also develop a partial structural theory of polar orthogonal representations of real reductive algebraic groups which slightly generalizes some results of the structural theory of real reductive Lie algebras.
An algebraic group is called semi-reductive if it is a semi-direct product of a reductive subgroup and the unipotent radical. Such a semi-reductive algebraic group naturally arises and also plays a key role in the study of modular representations of non-classical finite-dimensional simple Lie algebras in positive characteristic, and some other cases. Let $G$ ba a connected semi-reductive algebraic group over an algebraically closed field $\mathbb{F}$ and $\mathfrak{g}=Lie(G)$. It turns out that $G$ has many same properties as reductive groups, such as the Bruhat decomposition. In this note, we…
We introduce the principal representation category $\mathscr{O}({\bf G})$ of reductive algebraic groups with Frobenius maps and put forward a conjecture that this category is a highest weight category. When $\Bbbk$ is complex field $\mathbb{C}$, we provide some evidences of this conjecture. We also study certain kind of bound quiver algebras whose representations are related to the principal representation category $\mathscr{O}({\bf G})$ .
This document contains tables with the classification of prehomogeneous modules for reductive algebraic groups with up to two simple factors due to Sato, Kimura and many others, as well as corresponding tables of the étale modules appearing in this list, determined by the author. It is intended as a convenient reference for examples of étale module for reductive algebraic group.
Let $G$ be a non-connected reductive algebraic group over an algebraically closed field $\mathbb{K}$ and let $D$ be a connected component of $G$. We investigate Jordan classes of $D$ and we obtain a description of the regular part of the closure of a Jordan class in terms of induction of $G^{\circ}$-orbits. We use this result to show that Lusztig strata in a non-connected reductive algebraic group are locally closed.
Let G be a reductive algebraic group over a field of positive characteristic and denote by C(G) the category of rational G-modules. In this note we investigate the subcategory of C(G) consisting of those modules whose composition factors all have highest weights linked to the Steinberg weight. This subcategory is denoted ST and called the Steinberg component. We give an explicit equivalence between ST and C(G) and we derive some consequences. In particular, our result allows us to relate the Frobenius contracting functor to the projection functor from C(G) onto ST .
We develop the representation theory for reductive linear differential algebraic groups (LDAGs). In particular, we exhibit an explicit sharp upper bound for orders of derivatives in differential representations of reductive LDAGs, extending existing results, which were obtained for SL(2) in the case of just one derivation. As an application of the above bound, we develop an algorithm that tests whether the parameterized differential Galois group of a system of linear differential equations is reductive and, if it is, calculates it.
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 $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.
A semisimple algebraic tensor category over an algebraically closed field k of characteristic zero is the representation category of all finite dimensional twisted super representations of an affine reductive supergroup G over k. Such a supergroup is reductive if and only if its connected component is reductive. The connected component is reductive if and only if the Lie superalgebra divided by its center is a product of simple Lie algebras of classical type and Lie superalgebras spo(1,2r) of the orthosymplectic types BC_r.
In this paper it is shown that the wave front set of a direct integral of singular, irreducible representations of a real, reductive algebraic group is contained in the singular set. Combining this result with the results of the first paper in this series, the author obtains asymptotic results on the occurrence of tempered representations in induction and restriction problems for real, reductive algebraic groups.
We generalize results of P. Schneider and U. Stuhler for GL_l+1 to a reductive algebraic group G defined and split over a non-archimedean local field K. Following their lines, we prove that the generalized Steinberg representations of G with coefficients in any abelian group are cyclic. When G is semi-simple of adjoint type, we give an expression of these representations, whenever it is possible and in particular for those that are of maximal degree, in terms of the parahoric subgroups of G.
Let F be a non Archimedean locally compact field of residue characteristic different from 2, let G be a connected reductive group defined over F, let s be an involutive F-automorphism of G and H an open F-subgroup of the fixed points group of s. We denote by G(F) (resp. H(F)) the group of F-points of G (resp. H). In this paper, we obtain an analogue of the Cartan decomposition for the reductive symmetric space G(F)/H(F). More precisely, we obtain a decomposition of G(F) as a union of H(F)-cosets which is related to the H(F)-conjugacy classes of maximal s-anti-invariant F-split tori in G. When …
Let $V$ be a Weyl module either for a reductive algebraic group $G$ or for the corresponding quantum group $U_q$. If $G$ is defined over a field of positive characteristic $p$, respectively if $q$ is a primitive $l$'th root of unity (in an arbitrary field) then $V$ has a Jantzen filtration. 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 $U_q$ then we can similarly filter the space $\Hom_G(V,T)$, respectively $\Hom_{U_q}(V,T)$ and there is a sum formula for the positive terms here as well. We give an easy an…
By a generalized Tannaka-Krein reconstruction we associate to the admissible representations of the category O of a Kac-Moody algebra, and its category of admissible duals a monoid with a coordinate ring. The Kac-Moody group is the Zariski open dense unit group of this monoid. The restriction of the coordinate ring to the Kac-Moody group is the algebra of strongly regular functions introduced by Kac and Peterson. This monoid has similar structural properties as a reductive algebraic monoid. In particular it is unit regular, its idempotents related to the faces of the Tits cone. It has Bruhat a…
A complex vector space $V$ is an étale $G$-module if $G$ acts rationally on $V$ with a Zariski-open orbit and $\dim G=\dim V$. Such a module is called super-étale if the stabilizer of a point in the open orbit is trivial. Popov proved that reductive algebraic groups admitting super-étale modules are special algebraic groups. He further conjectured that a reductive group admitting a super-étale module is always isomorphic to a product of general linear groups. In light of previously available examples, one can conjecture more generally that in such a group all simple factors are either $SL_n$ f…
Schramm-Loewner evolution appears as the scaling limit of interfaces in lattice models at critical point. Critical behavior of these models can be described by minimal models of conformal field theory. Certain CFT correlation functions are martingales with respect to SLE. We generalize Schramm-Loewner evolution with additional Brownian motion on Lie group $G$ to the case of factor space $G/A$. We then study connection between SLE description of critical behavior with coset models of conformal field theory. In order to be consistent such construction should give minimal models for certain choic…
Linear differential algebraic groups (LDAGs) appear as Galois groups of systems of linear differential and difference equations with parameters. These groups measure differential-algebraic dependencies among solutions of the equations. LDAGs are now also used in factoring partial differential operators. In this paper, we study Zariski closures of LDAGs. In particular, we give a Tannakian characterization of algebraic groups that are Zariski closures of a given LDAG. Moreover, we show that the Zariski closures that correspond to representations of minimal dimension of a reductive LDAG are all i…
Let ${\bf G}$ be a connected reductive algebraic group defined over a finite field $\mathbb{F}_q$ of $q$ elements, and ${\bf B}$ be a Borel subgroup of ${\bf G}$ defined over $\mathbb{F}_q$. Let $\Bbbk$ be a field and we assume that $\Bbbk=\bar{\mathbb{F}}_q $ when $\text{char}\ \Bbbk=\text{char} \ \mathbb{F}_q$. We show that the abstract induced module $\mathbb{M}(θ)=\Bbbk{\bf G}\otimes_{\Bbbk{\bf B}}θ$ (here $\Bbbk{\bf H}$ is the group algebra of ${\bf H}$ over the field $\Bbbk$ and $θ$ is a character of ${\bf B}$ over $\Bbbk$) has a composition series (of finite length) if $\text{char}\ \Bb…
This is a preliminary version of the first chapter of a book project on the character theory of finite groups of Lie type. It provides the foundations from the general theory of reductive algebraic groups over a finite field.
This work was inspired by two natural questions. The first question is when Lie(G')=Lie(G)', where G is a connected algebraic supergroup defined over a field of characteristic zero. The second question is whether the unipotent radical of any normal supersubgroup H of G coincides with the intersection of H and G_u, where G_u is the unipotent radical of G. Both questions have affirmative answers in the category of algebraic groups (in the second case one has to assume additionally that G and H are reduced whenever char K >0). Surprisingly, using the technique of Harish-Chandra superpairs and a c…
It is shown that for a linear algebraic group G over a field of characteristic zero, there is a natural number κ(G) such that if a system of Zariski closed cosets in G has empty intersection, then there is a subsystem consisting of at most κ(G) cosets with empty intersection. This is applied to the study of algebraic group actions on product varieties.
A complex vector space $V$ is a prehomogeneous $G$-module if $G$ acts rationally on $V$ with a Zariski-open orbit. The module is called etale if $\dim V=\dim G$. We study etale modules for reductive algebraic groups $G$ with one-dimensional center. For such $G$, even though every etale module is a regular prehomogeneous module, its irreducible submodules have to be non-regular. For these non-regular prehomogeneous modules, we determine some strong constraints on the ranks of their simple factors. This allows us to show that there do not exist etale modules for $G=\mathrm{GL}_1\times S\times\cd…
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.
Let $D$ be a connected component of a possibly disconnected reductive group $G$ over an algebraic closed field. We define a partition of $D$ into finitely many Strata each of which is a union of $G^0$-conjugacy classes of fixed dimension. In the case where $D=G^0$ this recovers a known partition.
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.
Let a complex algebraic reductive group $\bf G$ act on a complex algebraic manifold $\bf X$. For a $\bf G$-invariant subvariety $Ξ$ of the nilpotent cone $\mathcal{N}(\mathfrak{g}^*)\subset \mathfrak{g}^*$ we define a notion of $Ξ$-symplectic complexity of $\bf X$. This notion generalizes the notion of complexity defined in [Vin86]. We prove several properties of this notion, and relate it to the notion of $Ξ$-complexity defined in [AG] motivated by its relation with representation theory.
In this paper we prove equivalences of categories relating the derived category of a block of the category of representations of a connected reductive algebraic group over an algebraically closed field of characteristic $p$ bigger than the Coxeter number and a derived category of equivariant coherent sheaves on the Springer resolution (or a parabolic counterpart). In the case of the principal block, combined with previous results, this provides a modular version of celebrated constructions due to Arkhipov-Bezrukavnikov-Ginzburg for Lusztig's quantum groups at a root of unity. As an application…
We study three fundamental topics in the representation theory of disconnected algebraic groups whose identity component is reductive: (i) the classification of irreducible representations; (ii) the existence and properties of Weyl and dual Weyl modules; and (iii) the decomposition map relating representations in characteristic $0$ and those in characteristic $p$ (for groups defined over discrete valuation rings). For each of these topics, we obtain natural generalizations of the well-known results for connected reductive groups.
We generalize a construction of Freudenburg and Moser-Jauslin in order to obtain an example of a non-linearizable action of a commutative reductive algebraic group on the affine space for every field of characteristic zero which admits a quadratic field extension.
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…
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$.
We prove that good quotients of algebraic varieties with 1-rational singularities also have 1-rational singularities. This refines a result of Boutot on rational singularities of good quotients.
This paper concerns character sheaves of connected reductive algebraic groups defined over non-Archimedean local fields and their relation with characters of smooth representations. Although character sheaves were devised with characters of representations of finite groups of Lie type in mind, character sheaves are perfectly well defined for reductive algebraic groups over any algebraically closed field. Nevertheless, the relation between character sheaves of an algebraic group $G$ over an algebraic closure of a field $K$ and characters of representations of $G(K)$ is well understood only when…
We generalize the Białynicki-Birula decomposition from actions of $G_m$ on smooth varieties to actions of linearly reductive group ${\bf G}$ on finite type schemes and algebraic spaces. We also provide a relative version and briefly discuss the case of algebraic stacks. We define the Białynicki-Birula decomposition functorially: for a fixed ${\bf G}$-scheme $X$ and a monoid $\overline{\bf G}$ which partially compactifies ${\bf G}$, the BB decomposition parameterizes ${\bf G}$-schemes over $X$ for which the ${\bf G}$-action extends to the $\overline{\bf G}$-action. The freedom of choice of $\ov…
We show that any two homomorphisms of the alternating group A_5 into E_8 (over the complex numbers) whose images has finite centralizers are conjugate under E_8. This, in conjunction with earlier work of Frey, completes the classification up to G-conjugacy of homomorphisms of A_5 into a simple adjoint algebraic group over the complex numbers.
A connected algebraic group Q defined over a field of characteristic zero is quasi-reductive if there is an element of its dual of reductive type, that is such that the quotient of its stabiliser by the centre of Q is a reductive subgroup of GL(q), where q=Lie(Q). Due to results of M. Duflo, coadjoint representation of a quasi-reductive Q possesses a so called maximal reductive stabiliser and knowing this subgroup, defined up to a conjugation in Q, one can describe all coadjoint orbits of reductive type. In this paper, we consider quasi-reductive parabolic subalgebras of simple complex Lie alg…
Let $G$ be a reductive group in the Harish-Chandra class e.g. a connected semisimple Lie group with finite center, or the group of real points of a connected reductive algebraic group defined over $\R$. Let $σ$ be an involution of the Lie group $G$, $H$ an open subgroup of the subgroup of fixed points of $σ$. One decomposes the elements of $L^2(G/H)$ with the help of joint eigenfunctions under the algebra of left invariant differential operators under $G$ on $G/H$.
We introduce the notion of Demazure descent data on a triangulated category C and define the descent category for such data. We illustrate the definition by our basic example. Let G be a reductive algebraic group with a Borel subgroup B. Demazure functors form Demazure descent data on the derived category of Rep(B) and the descent category is equivalent to the derived category of Rep(G).
