Search

Let $G$ be a semisimple algebraic group over an algebraically closed field of characteristic $p \geq 0$. At the 1966 International Congress of Mathematicians in Moscow, Robert Steinberg conjectured that two elements $a, a' \in G$ are conjugate in $G$ if and only if $f(a)$ and $f(a')$ are conjugate in $\operatorname{GL}(V)$ for every rational irreducible representation $f: G \rightarrow \operatorname{GL}(V)$. Steinberg showed that the conjecture holds if $a$ and $a'$ are semisimple, and also proved the conjecture when $p = 0$. In this paper, we give a counterexample to Steinberg's conjecture. Specifically, we show that when $p = 2$ and $G$ is simple of type $C_5$, there exist two non-conjugate unipotent elements $u, u' \in G$ such that $f(u)$ and $f(u')$ are conjugate in $\operatorname{GL}(V)$ for every rational irreducible representation $f: G \rightarrow \operatorname{GL}(V)$., Comment: to appear in Transform. Groups

Let $\G$ be a semisimple algebraic group over a number field $K$, $\mathcal{S}$ a finite set of places of $K$, $K_\mathcal{S}$ the direct product of the completions $K_v, v \in \mathcal{S}$, and $\OO$ the ring of $\mathcal{S}$-integers of $K$. Let $G = \G(K_\mathcal{S})$, $\Gamma = \G(\OO)$ and $\pi:G \rightarrow G/\Gamma$ the quotient map. We describe the closures of the locally divergent orbits ${T\pi(g)}$ %in $G/\Gamma$ where $T$ is a maximal $K_\mathcal{S}$-split torus in $G$. If $\# S = 2$ then the closure $\overline{T\pi(g)}$ is a finite union of $T$-orbits stratified in terms of parabolic subgroups of $\G \times \G$ and, consequently, $\overline{T\pi(g)}$ is homogeneous (i.e., $\overline{T\pi(g)}= H\pi(g)$ for a subgroup $H$ of $G$) if and only if ${T\pi(g)}$ is closed. On the other hand, if $\# \mathcal{S} > 2$ and $K$ is not a $\mathrm{CM}$-field then $\overline{T\pi(g)}$ is homogeneous for $\G = \mathbf{SL}_{n}$ and, generally, non-homogeneous but squeezed between closed orbits of two reductive subgroups of equal semisimple $K$-ranks for $\G \neq \mathbf{SL}_{n}$. As an application, we prove that $\overline{f(\OO^{n})} = K_{\mathcal{S}}$ for the class of non-rational locally $K$-decomposable homogeneous forms $f \in K_{\mathcal{S}}[x_1, \cdots, x_{n}]$., Comment: arXiv admin note: text overlap with arXiv:1502.02297

The probabilistic Waring problem for finite simple groups asks whether every word of the form $w_1w_2$, where $w_1$ and $w_2$ are non-trivial words in disjoint sets of variables, induces almost uniform distribution on finite simple groups with respect to the $L^1$ norm. Our first main result provides a positive solution to this problem. We also provide a geometric characterization of words inducing almost uniform distribution on finite simple groups of Lie type of bounded rank, and study related random walks. Our second main result concerns the probabilistic $L^{\infty}$ Waring problem for finite simple groups. We show that for every $l \ge 1$ there exists $N = N(l)$, such that if $w_1, \ldots , w_N$ are non-trivial words of length at most $l$ in pairwise disjoint sets of variables, then their product $w_1 \cdots w_N$ is almost uniform on finite simple groups with respect to the $L^{\infty}$ norm. The dependence of $N$ on $l$ is genuine. This result implies that, for every word $w = w_1 \cdots w_N$ as above, the word map induced by $w$ on a semisimple algebraic group over an arbitrary field is a flat morphism. Applications to representation varieties, subgroup growth, and random generation are also presented., Comment: 45 pages

We study the general problem of equidistribution of expanding translates of an analytic curve by an algebraic diagonal flow on the homogeneous space $G/\Gamma$ of a semisimple algebraic group $G$. We define two families of algebraic subvarieties of the associated partial flag variety $G/P$, which give the obstructions to non-divergence and equidistribution. We apply this to prove that for Lebesgue almost every point on an analytic curve in the space of $m\times n$ real matrices whose image is not contained in any subvariety coming from these two families, the Dirichlet's theorem on simultaneous Diophantine approximation cannot be improved. The proof combines geometric invariant theory, Ratner's theorem on measure rigidity for unipotent flows, and linearization technique., Comment: 33 Pages. Removed Section 7 from the earlier version

We explore the integration of representations from a Lie algebra to its algebraic group in positive characteristic. An integrable module is stable under the twists by group elements. Our aim is to investigate cohomological obstructions for passing from stability to an algebraic group action. As an application, we prove integrability of bricks for a semisimple algebraic group., Comment: Version 2: Some changes in terminology, examples of over-restricted modules are added. Version 3: mistakes in tables are corrected. Version 4: major revision, the paper is split into two parts, the exponential part is published separately (see arXiv:1807.08698). Version 5: minor corrections. Version 6: final, minor corrections

This paper is a contribution to the study of the subgroup structure of exceptional algebraic groups over algebraically closed fields of arbitrary characteristic. Following Serre, a closed subgroup of a semisimple algebraic group $G$ is called irreducible if it lies in no proper parabolic subgroup of $G$. In this paper we complete the classification of irreducible connected subgroups of exceptional algebraic groups, providing an explicit set of representatives for the conjugacy classes of such subgroups. Many consequences of this classification are also given. These include results concerning the representations of such subgroups on various $G$-modules: for example, the conjugacy classes of irreducible connected subgroups are determined by their composition factors on the adjoint module of $G$, with one exception. A result of Liebeck and Testerman shows that each irreducible connected subgroup $X$ of $G$ has only finitely many overgroups and hence the overgroups of $X$ form a lattice. We provide tables that give representatives of each conjugacy class of overgroups within this lattice structure. We use this to prove results concerning the subgroup structure of $G$: for example, when the characteristic is 2, there exists a maximal connected subgroup of $G$ containing a conjugate of every irreducible subgroup $A_1$ of $G$., Comment: 196 pages. To appear in Mem. Amer. Math. Soc

Let $\mathbb{k}$ be a field of characteristic $p$. We introduce a formalism of mixed sheaves with coefficients in $\mathbb{k}$ and showcase its use in representation theory. More precisely, we construct for all quasi-projective schemes $X$ over an algebraic closure of $\mathbb{F}_p$ a $\mathbb{k}$-linear triangulated category of motives on $X$. Using work of Ayoub (2007), Cisinski-Deglise (2012) and Geisser-Levine (2000), we show that this system of categories has a six functors formalism and computes higher Chow groups. Indeed, it behaves similarly to other categories of sheaves that one is used to. We attempt to make its construction also accessible to non-experts. We then consider the subcategory of stratified mixed Tate motives defined for affinely stratified varieties $X$, discuss perverse and parity motives and prove formality results. As an example, we combine these results and Soergel (2000) to construct a geometric and graded version of Soergel's modular category $\mathscr O(G)$, consisting of rational representations of a split semisimple group $G/\mathbb{k}$, and thereby equip it with a full six functor formalism (see Riche-Soergel-Williamson (2014) and Achar-Riche (2016) for other approaches). The main idea of using motives in geometric representation theory in this way as well as many results about stratified mixed Tate motives are directly borrowed from Soergel and Wendt, who tell the story in characteristic zero., Comment: New version, published in Selecta Mathematica New Series. (2019) 25: 30, see https://doi.org/10.1007/s00029-019-0475-x

Let $B$ be a Borel subgroup of a semisimple algebraic group $G$, and let $\mathfrak a$ be an abelian ideal of $\mathfrak b=Lie(B)$. The ideal $\mathfrak a$ is determined by certain subset $\Delta_{\mathfrak a}$ of positive roots, and using $\Delta_{\mathfrak a}$ we give an explicit classification of the $B$-orbits in $\mathfrak a$ and $\mathfrak a^*$. Our description visibly demonstrates that there are finitely many $B$-orbits in both cases. We also describe the Pyasetskii correspondence between the $B$-orbits in $\mathfrak a$ and $\mathfrak a^*$ and the invariant algebras $\Bbbk[\mathfrak a]^U$ and $\Bbbk[\mathfrak a^*]^U$, where $U=(B,B)$. As an application, the number of $B$-orbits in the abelian nilradicals is computed. We also discuss related results of A.Melnikov and others for classical groups and state a general conjecture on the closure and dimension of the $B$-orbits in the abelian nilradicals, which exploits a relationship between between $B$-orbits and involutions in the Weyl group., Comment: 24 pages

Let T be a torus (not assumed to be split) over a field F, and denote by $_n{H^{2}_{et}(X,Gm)}$ the subgroup of elements of exponent dividing n in the cohomological Brauer group of a scheme X over the field F. We provide conditions on X and n for which the pull-back homomorphism $_n{H^2_{et}(T,Gm)}\to_n{H^2_{et}(X\times T,Gm)}$ is an isomorphism. We apply this to compute the Brauer group of some reductive groups and of non singular affine quadrics. Apart from this, we investigate the p-torsion of the Azumaya algebra defined Brauer group of a regular affine scheme over a field F of characteristic p>0., 21 pages

We relate the asymptotic representation theory of $SL(d,\mathbb{Z}_p)$ and the singularities of the moduli space of $SL(d)$-local systems on a smooth projective curve, proving new theorems about both. Regarding the former, we prove that, for every d, the number of n-dimensional representations of $SL(d,\mathbb{Z}_p)$ grows slower than $n^{22}$, confirming a conjecture of Larsen and Lubotzky. Regarding the latter, we prove that the moduli space of $SL(d)$-local systems on a smooth projective curve of genus at least 12 has rational singularities. Most of our results apply more generally to semi-simple algebraic groups. For the proof, we study the analytic properties of push forwards of smooth measures under algebraic maps. More precisely, we show that such push forwards have continuous density if the algebraic map is flat and all of its fibers have rational singularities., Comment: preliminary version, comments are welcome. v2. Revised version, now covering all semi simple groups

Let $G$ be a simply-connected semisimple algebraic group scheme over an algebraically closed field of characteristic $p > 0$. Let $r \geq 1$ and set $q = p^r$. We show that if a rational $G$-module $M$ is projective over the $r$-th Frobenius kernel $G_r$ of $G$, then it is also projective when considered as a module for the finite subgroup $\Gfq$ of $\Fq$-rational points in $G$. This salvages a theorem of Lin and Nakano (\emph{Bull.\ London Math.\ Soc.} 39 (2007) 1019--1028). We also show that the corresponding statement need not hold when the group $G$ is replaced by the unipotent radical $U$ of a Borel subgroup of $G$., 7 pages. This version corrects a minor error in the paragraph before, and in the proof of, Theorem 3.3. The error appears in the published version

Let g be the complex semisimple Lie algebra associated to a complex semisimple algebraic group G, b a Borel subalgebra of g, h the Cartan sublagebra contained in b and N the unipotent subgroup of G corresponding to the nilradical n of b. We show that the explicit formula for the extremal projection operator for g obtained by Asherova, Smirnov and Tolstoy and similar formulas for Zhelobenko operators are related to the existence of a birational equivalence N\times h -> b given by the restriction of the adjoint action. Simple geometric proofs of formulas for the "classical" counterparts of the extremal projection operator and of Zhelobenko operators are also obtained., 9 pages, final version

If $G$ is a complex simply connected semisimple algebraic group and if $\lambda$ is a dominant weight, we consider the compactification $X_\lambda$ in the projectivisation of $\End(V(\lambda))$ obtained as the closure of the $G\times G$-orbit of the identity and we give necessary and sufficient conditions on the support of $\lambda$ so that $X_\lambda$ is normal; as well, we give necessary and sufficient conditions on the support of $\lambda$ so that $X_\lambda$ is smooth., Comment: v2: minor changes, final version to appear in Ann. Inst. Fourier (Grenoble)

Let H denote a spherical subgroup within a semisimple algebraic group G. In this paper we study the closures of the finitely many H-orbits in the flag variety of G. Using the language of Frobenius splitting we provide a criterion for these closures to have nice geometric and cohomological properties. We then show how the criterion applies to the spherical subgroups of minimal rank studied by N. Ressayre. Finally, we also provide applications of the criterion to orbit closures which are not multiplicity-free in the sense defined by M. Brion.

We show that Complementary Series representations of SO(n,1), which are sufficiently close to a cohomological repre- sentation contain discretely, Complementary Series of SO(m,1) also sufficiently close to cohomological representations, provided that the degree of the cohomological representation does not ex- ceed m/2. We prove, as a consequence, that the cohomological represen- tation of degree i of the group SO(n,1) contains discretely, the cohomological representation of degree i of the subgroup SO(m,1) if i ≤ m/2. As a global application, we show that if G/Q is a semisimple algebraic group such that G(R) = SO(n,1) up to compact fac- tors, and if we assume that for all n, the tempered cohomologi- cal representations are not limits of complementary series in the automorphic dual of SO(n,1), then for all n, non-tempered coho- mological representations are isolated in the automorphic dual of G. This reduces conjectures of Bergeron to the case of tempered cohomological representations.

Let G be a simply connected semisimple algebraic group over an algebraically closed field k of characteristic 0 and let V be a rational simple G-module of finite dimension. If G/H \subset P(V) is a spherical orbit and if X is its closure, then we describe the orbits of X and those of its normalization. If moreover the wonderful completion of G/H is strict, then we give necessary and sufficient combinatorial conditions so that the normalization morphism is a homeomorphism. Such conditions are trivially fulfilled if G is simply laced or if H is a symmetric subgroup., Comment: 24 pages, LaTeX. v4: Final version, to appear in Transformation Groups. Simplified some proofs and corrected minor mistakes, added references. v3: major changes due to a mistake in previous versions

Let $G$ be a semisimple algebraic group with Lie algebra $\g$. In 1979, J. Dixmier proved that any vector field annihilating all $G$-invariant polynomials on $\g$ lies in the $\bbk[\g]$-module generated by the "adjoint vector fields", i.e., vector fields $\varsigma$ of the form $\varsigma(y)(x)=[x,y]$, $x,y\in\g$. A substantial generalisation of Dixmier's theorem was found by Levasseur and Stafford. They explicitly described the centraliser of $\bbk[\g]^G$ in the algebra of differential operators on $\g$. On the level of vector fields, their result reduces to Dixmier's theorem. The purpose of this paper is to explore similar problems in the general context of affine algebraic groups and their rational representations., Comment: 24 pages, to appear in Bull LMS

Jacques Tits gave a general recipe for producing an abstract geometry from a semisimple algebraic group. This expository paper describes a uniform method for giving a concrete realization of Tits's geometry and works through several examples. We also give a criterion for recognizing the automorphism of the geometry induced by an automorphism of the group. The E6 geometry is studied in depth., Comment: The writing has been cleaned up since v1

We study the nonnegative part \bar{G_{>0}} of the De Concini-Procesi compactification of a reductive algebraic group G, as defined by Lusztig. Using positivity properties of the canonical basis and parametrization of flag varieties, we will give an explicit description of \bar{G_{>0}}. This answers the question of Lusztig in [L4]. We will also prove that \bar{G_{>0}} has a cell decomposition which was conjectured by Lusztig., 23 pages. Some corrections. References updated