We establish some results on the structure of the geometric unipotent radicals of pseudo-reductive k-groups. In particular, our main theorem gives bounds on the nilpotency class of geometric unipotent radicals of standard pseudo-reductive groups, which are sharp in many cases. A major part of the proof rests upon consideration of the following situation: let k be a purely inseparable field extension of k of degree p^e and let G denote the Weil restriction of scalars R_{k/k}(G) of a reductive k-group G. When G= R_{k/k}(G) we also provide some results on the orders of elements of the unipotent radical RR_u(G_{bar k}) of the extension of scalars of G to the algebraic closure bar k of k.
Let $k/k$ be a finite purely inseparable field extension and let $G$ be a reductive $k$-group. We denote by $G=R_{k/k}(G)$ the Weil restriction of $G$ across $k/k$, a pseudo-reductive group. This article gives bounds for the exponent of the geometric unipotent radical $mathscr{R}_{u}(G_{bar{k}})$, focusing on the case $G=GL_n$.
We study reductive subgroups $H$ of a reductive linear algebraic group $G$ -- possibly non-connected -- such that $H$ contains a regular unipotent element of $G$. We show that under suitable hypotheses, such subgroups are $G$-irreducible in the sense of Serre. This generalizes results of Malle, Testerman and Zalesski. We obtain analogous results for Lie algebras and for finite groups of Lie type. Our proofs are short, conceptual and uniform.
We define the holomorphic Fourier transform of holomorphic functions on complex reductive groups, prove some properties like the Fourier inversion formula, and give some applications. The definition of the holomorphic Fourier transform makes use of the notion of $K$-admissible measures. We prove that $K$-admissible measures are abundant, and the definition of holomorphic Fourier transform is independent of the choice of $K$-admissible measures.
Fixing an arithmetic lattice $Gamma$ in an algebraic group $G$, the commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $Delta$ with $[Gamma : Gamma cap Delta] [Delta: Gamma cap Delta] = n$. This growth function gives a new setting where methods of F. Grunewald, D. Segal, and G. C. Smiths Subgroups of finite index in nilpotent groups apply to study arithmetic lattices in an algebraic group. In particular, we show that for any unipotent algebraic $mathbb{Z}$-group with arithmetic lattice $Gamma$, the Dirichlet function associated to the commensurability growth function satisfies an Euler decomposition. Moreover, the local parts are rational functions in $p^{-s}$, where the degrees of the numerator and denominator are independent of $p$. This gives regularity results for the set of arithmetic lattices in $G$.
Let $G$ be a simple algebraic group of type $G_2$ over an algebraically closed field of characteristic $2$. We give an example of a finite group $Gamma$ with Sylow $2$-subgroup $Gamma_2$ and an infinite family of pairwise non-conjugate homomorphisms $rhocolon Gammarightarrow G$ whose restrictions to $Gamma_2$ are all conjugate. This answers a question of Burkhard Kulshammer from 1995. We also give an action of $Gamma$ on a connected unipotent group $V$ such that the map of 1-cohomologies ${rm H}^1(Gamma,V)rightarrow {rm H}^1(Gamma_p,V)$ induced by restriction of 1-cocycles has an infinite fibre.