We initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups and obtains a bijection with the set of classifying spaces of compact connected Lie groups topologically localised away from the characteristic. We also study the representations of perfectly reductive groups. We establish a highest weight classification of simple modules, the decomposition into blocks, and relate extension groups to those of the underlying abstract group.

If $(G,V)$ is a polar representation with Cartan subspace $\mathfrak{c}$ and Weyl group $W$, it is shown that there is a natural morphism of Poisson schemes $\mathfrak{c}\oplus \mathfrak{c}^{\ast }/W\rightarrow V\oplus V^{\ast }/\!\!/\!\!/G$. This morphism is conjectured to be an isomorphism of the underlying reduced varieties if$(G,V)$ is visible. The conjecture is proved for visible stable locally free polar representations and some other examples.

We study generalized and degenerate Whittaker models for reductive groups over local fields of characteristic zero (archimedean or non-archimedean). Our main result is the construction of epimorphisms from the generalized Whittaker model corresponding to a nilpotent orbit to any degenerate Whittaker model corresponding to the same orbit, and to certain degenerate Whittaker models corresponding to bigger orbits. We also give choice-free definitions of generalized and degenerate Whittaker models. Finally, we explain how our methods imply analogous results for Whittaker–Fourier coefficients of automorphic representations. For $\text{GL}_{n}(\mathbb{F})$ this implies that a smooth admissible representation $\unicode[STIX]{x1D70B}$ has a generalized Whittaker model ${\mathcal{W}}_{{\mathcal{O}}}(\unicode[STIX]{x1D70B})$ corresponding to a nilpotent coadjoint orbit ${\mathcal{O}}$ if and only if ${\mathcal{O}}$ lies in the (closure of) the wave-front set $\operatorname{WF}(\unicode[STIX]{x1D70B})$. Previously this was only known to hold for $\mathbb{F}$ non-archimedean and ${\mathcal{O}}$ maximal in $\operatorname{WF}(\unicode[STIX]{x1D70B})$, see Moeglin and Waldspurger [Modeles de Whittaker degeneres pour des groupes p-adiques, Math. Z. 196 (1987), 427–452]. We also express ${\mathcal{W}}_{{\mathcal{O}}}(\unicode[STIX]{x1D70B})$ as an iteration of a version of the Bernstein–Zelevinsky derivatives [Bernstein and Zelevinsky, Induced representations of reductive p-adic groups. I., Ann. Sci. Éc. Norm. Supér. (4) 10 (1977), 441–472; Aizenbud et al., Derivatives for representations of$\text{GL}(n,\mathbb{R})$and$\text{GL}(n,\mathbb{C})$, Israel J. Math. 206 (2015), 1–38]. This enables us to extend to $\text{GL}_{n}(\mathbb{R})$ and $\text{GL}_{n}(\mathbb{C})$ several further results by Moeglin and Waldspurger on the dimension of ${\mathcal{W}}_{{\mathcal{O}}}(\unicode[STIX]{x1D70B})$ and on the exactness of the generalized Whittaker functor.

Let $G$ be a simple simply connected algebraic group over an algebraically closed field $k$ of characteristic $p>0$ with $\mathfrak{g}=\text{Lie}(G)$. We discuss various properties of nilpotent orbits in $\mathfrak{g}$, which have previously only been considered over $\mathbb{C}$. Using computational methods, we extend to positive characteristic various calculations of de Graaf with nilpotent orbits in exceptional Lie algebras. In particular, we classify those orbits which are reachable as well as those which satisfy a certain related condition due to Panyushev, and determine the codimension of the derived subalgebra $[\mathfrak{g}_{e},\mathfrak{g}_{e}]$ in the centraliser $\mathfrak{g}_{e}$ of any nilpotent element $e\in \mathfrak{g}$. Some of these calculations are used to show that the list of rigid nilpotent orbits in $\mathfrak{g}$, the classification of sheets of $\mathfrak{g}$ and the distribution of the nilpotent orbits amongst them are independent of good characteristic, remaining the same as in the characteristic zero case. We also give a comprehensive account of the theory of sheets in reductive Lie algebras over algebraically closed fields of good characteristic.

Suppose that $\widetilde{G}$ is a connected reductive group defined over a field $k$, and $\Gamma$ is a finite group acting via $k$-automorphisms of $\widetilde{G}$ satisfying a certain quasi-semisimplicity condition. Then the identity component of the group of $\Gamma$-fixed points in $\widetilde{G}$ is reductive. We axiomatize the main features of the relationship between this fixed-point group and the pair $\left( \tilde{G},\Gamma \right)$, and consider any group $G$ satisfying the axioms. If both $\widetilde{G}$ and $G$ are $k$-quasisplit, then we can consider their duals $\widetilde{{{G}^{*}}}$ and ${{G}^{*}}$. We show the existence of and give an explicit formula for a natural map from the set of semisimple stable conjugacy classes in ${{G}^{*}}\,(k)$ to the analogous set for $\widetilde{{{G}^{*}}}\,(k)$. If $k$ is finite, then our groups are automatically quasisplit, and our result specializes to give a map of semisimple conjugacy classes. Since such classes parametrize packets of irreducible representations of $G(k)$ and $\widetilde{G}\,(k)$, one obtains a mapping of such packets.

We verify our earlier conjecture and use it to prove that the semisimple parts of the rational Jordan–Kac–Vinberg decompositions of a rational vector all lie in a single rational orbit.

Let G be a reductive algebraic group over a field k, such that every semisimple normal subgroup of G has isotropic rank ≥ 2, i.e. contains (Gm)2. Let K1G be the non-stable K1-functor associated to G, also called the Whitehead group of G. We show that K1G(k) = K1G (k[X1 ,…, Xn]) for any n ≥ 1. If k is perfect, this implies that K1G (R) = K1G (R[X]) for any regular k-algebra R. If k is infinite perfect, one also deduces that K1G (R) → K1G (K) is injective for any local regular k-algebra R with the fraction field K.

The main result of the paper is a classification of all connected subgroup schemes of a reductive group containing a split maximal torus, over an arbitrary field. The classification is expressed in terms of functions on the root system.

Dans ce papier nous étudions une correspondance de Jacquet–Langlands locale pour toutes les représentations lisses irréductibles. La correspondance est caractérisée par le fait qu’elle respecte la correspondance de Jacquet–Langlands classique et commute avec le foncteur d’induction parabolique. Elle est compatible dans un sens à préciser au foncteur de Jacquet et à l’involution d’Aubert–Schneider–Stuhler. Nous utilisons cette correspondance pour montrer qu’une certaine classe de représentations d’une forme intérieure de $\mathrm{GL}_n$ sur un corps $p$-adique sont unitarisables. C’est le premier pas dans la preuve de la conjecture U1 de Tadić.

We study a local Jacquet–Langlands correspondence for all smooth irreducible representations. This correspondence is characterized by the fact that it respects the classical Jacquet–Langlands correspondence and it commutes with the parabolic induction functor. It has good behavior with respect to the Jacquet’s functor and the involution of Aubert–Schneider–Stuhler. Using this correspondence, we prove some particular cases of the global Jacquet–Langlands correspondence and we deduce that a certain class of representations of an inner form of $\mathrm{GL}_n$ over a $p$-adic field are unitarizable. This is the first step towards the proof of Conjecture U1 of Tadić.

We define a motivic analogue of the Haar measure for groups of the form $G(k((t)))$, where $k$ is an algebraically closed field of characteristic zero, and $G$ is a reductive algebraic group defined over $k$. A classical Haar measure on such groups does not exist since they are not locally compact. We use the theory of motivic integration introduced by M. Kontsevich to define an additive function on a certain natural Boolean algebra of subsets of $G(k((t)))$. This function takes values in the so-called dimensional completion of the Grothendieck ring of the category of varieties over the base field. It is invariant under translations by all elements of $G(k((t)))$, and therefore we call it a motivic analogue of Haar measure. We give an explicit construction of the motivic Haar measure, and then prove that the result is independent of all the choices that are made in the process.

This work is concerned with type theory for reductive groups over a non Archimedean field. Given such a field F, and a division algebra D of finite dimension over its center F, we obtain results concerning the construction of simple types for the group GL(m, D), $m\geqslant1$. More precisely, for each simple stratum of the matrix algebra M(m, D), we produce a set of β-extensions in the sense of Bushnell and Kutzko.

This paper is concerned with the smooth representation theory of the general linear group G=GL(F) of a non-Archimedean local field F. The point is the (explicit) construction of a special series of irreducible representations of compact open subgroups, called semisimple types, and the computation of their Hecke algebras. A given semisimple type determines a Bernstein component of the category of smooth representations of G; that component is then the module category for a tensor product of affine Hecke algebras; every component arises this way. Moreover, all Jacquet functors and parabolic induction functors connecting G with its Levi subgroups are described in terms of standard maps between affine Hecke algebras. These properties of semisimple types depend on their special intertwining properties which in turn imply strong bounds on the support of coefficient functions.