We prove that the standard motives of a semisimple algebraic group $G$ with coefficients in a field of order $p$ are determined by the upper motives of the group  $G$ . As a consequence of this result, we obtain a partial version of the motivic rigidity conjecture of special linear groups. The result is then used to construct the higher indexes which characterize the motivic equivalence of semisimple algebraic groups. The criteria of motivic equivalence derived from the expressions of these indexes produce a dictionary between motives, algebraic structures and the birational geometry of twisted flag varieties. This correspondence is then described for special linear groups and orthogonal groups (the criteria associated with other groups being obtained in De Clercq and Garibaldi [Tits $p$ -indexes of semisimple algebraic groups, J. Lond. Math. Soc. (2) 95 (2017) 567–585]). The proofs rely on the Levi-type motivic decompositions of isotropic twisted flag varieties due to Chernousov, Gille and Merkurjev, and on the notion of pondered field extensions.

We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and homology) of the affine Hecke category starting from its spectral presentation. The resulting categories comprise coherent sheaves on the commuting stack of local systems on the two-torus satisfying prescribed support conditions, in particular singular support conditions, which appear in recent advances in the geometric Langlands program. The key technical tools in our arguments are a new descent theory for coherent sheaves or ${\mathcal{D}}$ -modules with prescribed singular support and the theory of integral transforms for coherent sheaves developed in the companion paper by Ben-Zvi et al. [Integral transforms for coherent sheaves, J. Eur. Math. Soc. (JEMS), to appear].

The maximal finite abelian subgroups, up to conjugation, of the simple algebraic group of type E 8 over an algebraically closed field of characteristic 0 are computed. This is equivalent to the determination of the fine gradings on the simple Lie algebra of type E 8 with trivial neutral homogeneous component. The Brauer invariant of the irreducible modules for graded semisimple Lie algebras plays a key role.

In this article the $p$ -essential dimension of generic symbols over fields of characteristic $p$ is studied. In particular, the $p$ -essential dimension of the length $\ell$ generic $p$ -symbol of degree $n+1$ is bounded below by $n+\ell$ when the base field is algebraically closed of characteristic $p$ . The proof uses new techniques for working with residues in Milne–Kato $p$ -cohomology and builds on work of Babic and Chernousov in the Witt group in characteristic 2. Two corollaries on $p$ -symbol algebras (i.e, degree 2 symbols) result from this work. The generic $p$ -symbol algebra of length $\ell$ is shown to have $p$ -essential dimension equal to $\ell +1$ as a $p$ -torsion Brauer class. The second is a lower bound of $\ell +1$ on the $p$ -essential dimension of the functor $\operatorname{Alg}_{p^{\ell },p}$ . Roughly speaking this says that you will need at least $\ell +1$ independent parameters to be able to specify any given algebra of degree $p^{\ell }$ and exponent $p$ over a field of characteristic $p$ and improves on the previously established lower bound of 3.

In this paper, we consider how to express an Iwahori–Whittaker function through Demazure characters. Under some interesting combinatorial conditions, we obtain an explicit formula and thereby a generalization of the Casselman–Shalika formula. Under the same conditions, we compute the transition matrix between two natural bases for the space of Iwahori fixed vectors of an induced representation of a $p$-adic group; this corrects a result of Bump–Nakasuji.

Let $G$ be a finite solvable group and let $p$ be a prime. In this note, we prove that $p$ does not divide $\unicode[STIX]{x1D711}(1)$ for every irreducible monomial $p$ -Brauer character $\unicode[STIX]{x1D711}$ of $G$ if and only if $G$ has a normal Sylow $p$ -subgroup.

Let $w$ be a group-word. For a group $G$ , let $G_{w}$ denote the set of all $w$ -values in $G$ and let $w(G)$ denote the verbal subgroup of $G$ corresponding to $w$ . The group $G$ is an $FC(w)$ -group if the set of conjugates $x^{G_{w}}$ is finite for all $x\in G$ . It is known that if $w$ is a concise word, then $G$ is an $FC(w)$ -group if and only if $w(G)$ is $FC$ -embedded in $G$ , that is, the conjugacy class $x^{w(G)}$ is finite for all $x\in G$ . There are examples showing that this is no longer true if $w$ is not concise. In the present paper, for an arbitrary word $w$ , we show that if $G$ is an $FC(w)$ -group, then the commutator subgroup $w(G)^{\prime }$ is $FC$ -embedded in $G$ . We also establish the analogous result for $BFC(w)$ -groups, that is, groups in which the sets $x^{G_{w}}$ are boundedly finite.

Let G be a finite D-quasirandom group and A ⊂ G k a δ-dense subset. Then the density of the set of side lengths g of corners

$$\{(a_{1},\dotsc,a_{k}),(ga_{1},a_{2},\dotsc,a_{k}),\dotsc,(ga_{1},\dotsc,ga_{k})\} \subset A$$

We use the structure lattice, introduced in Part I, to undertake a systematic study of the class $\mathscr{S}$ consisting of compactly generated, topologically simple, totally disconnected locally compact groups that are nondiscrete. Given $G\in \mathscr{S}$ , we show that compact open subgroups of $G$ involve finitely many isomorphism types of composition factors, and do not have any soluble normal subgroup other than the trivial one. By results of Part I, this implies that the centralizer lattice and local decomposition lattice of $G$ are Boolean algebras. We show that the $G$ -action on the Stone space of those Boolean algebras is minimal, strongly proximal, and microsupported. Building upon those results, we obtain partial answers to the following key problems: Are all groups in $\mathscr{S}$ abstractly simple? Can a group in $\mathscr{S}$ be amenable? Can a group in $\mathscr{S}$ be such that the contraction groups of all of its elements are trivial?

We show that Cannon–Thurston maps exist for degenerate free groups without parabolics, that is, for handlebody groups. Combining these techniques with earlier work proving the existence of Cannon–Thurston maps for surface groups, we show that Cannon–Thurston maps exist for arbitrary finitely generated Kleinian groups without parabolics, proving conjectures of Thurston and McMullen. We also show that point pre-images under Cannon–Thurston maps for degenerate free groups without parabolics correspond to endpoints of leaves of an ending lamination in the Masur domain, whenever a point has more than one pre-image. This proves a conjecture of Otal. We also prove a similar result for point pre-images under Cannon–Thurston maps for arbitrary finitely generated Kleinian groups without parabolics.

Let $G$ be a totally disconnected, locally compact group. A closed subgroup of $G$ is locally normal if its normalizer is open in $G$ . We begin an investigation of the structure of the family of closed locally normal subgroups of $G$ . Modulo commensurability, this family forms a modular lattice ${\mathcal{L}}{\mathcal{N}}(G)$ , called the structure lattice of $G$ . We show that $G$ admits a canonical maximal quotient $H$ for which the quasicentre and the abelian locally normal subgroups are trivial. In this situation ${\mathcal{L}}{\mathcal{N}}(H)$ has a canonical subset called the centralizer lattice, forming a Boolean algebra whose elements correspond to centralizers of locally normal subgroups. If $H$ is second-countable and acts faithfully on its centralizer lattice, we show that the topology of $H$ is determined by its algebraic structure (and thus invariant by every abstract group automorphism), and also that the action on the Stone space of the centralizer lattice is universal for a class of actions on profinite spaces. Most of the material is developed in the more general framework of Hecke pairs.

Let $(W,S)$ be a finite Coxeter group. Kazhdan and Lusztig introduced the concept of $W$ -graphs, and Gyoja proved that every irreducible representation of the Iwahori–Hecke algebra $H(W,S)$ can be realized as a $W$ -graph. Gyoja defined an auxiliary algebra for this purpose which—to the best of the author’s knowledge—was never explicitly mentioned again in the literature after Gyoja’s proof (although the underlying ideas were reused). The purpose of this paper is to resurrect this $W$ -graph algebra, and to study its structure and its modules. A new explicit description of it as a quotient of a certain path algebra is given. A general conjecture is proposed which would imply strong restrictions on the structure of $W$ -graphs. This conjecture is then proven for Coxeter groups of type $I_{2}(m)$ , $B_{3}$ and $A_{1}$ – $A_{4}$ .

We prove that a finite coprime linear group $G$ in characteristic $p\geq \frac{1}{2}(|G|-1)$ has a regular orbit. This bound on $p$ is best possible. We also give an application to blocks with abelian defect groups.

Let $\unicode[STIX]{x1D70E}=\{\unicode[STIX]{x1D70E}_{i}\mid i\in I\}$ be a partition of the set of all primes $\mathbb{P}$ . Let $\unicode[STIX]{x1D70E}_{0}\in \unicode[STIX]{x1D6F1}\subseteq \unicode[STIX]{x1D70E}$ and let $\mathfrak{I}$ be a class of finite $\unicode[STIX]{x1D70E}_{0}$ -groups which is closed under extensions, epimorphic images and subgroups. We say that a finite group $G$ is $\unicode[STIX]{x1D6F1}_{\mathfrak{I}}$ -primary provided $G$ is either an $\mathfrak{I}$ -group or a $\unicode[STIX]{x1D70E}_{i}$ -group for some $\unicode[STIX]{x1D70E}_{i}\in \unicode[STIX]{x1D6F1}\setminus \{\unicode[STIX]{x1D70E}_{0}\}$ and we say that a subgroup $A$ of an arbitrary group $G^{\ast }$ is $\unicode[STIX]{x1D6F1}_{\mathfrak{I}}$ -subnormal in $G^{\ast }$ if there is a subgroup chain $A=A_{0}\leq A_{1}\leq \cdots \leq A_{t}=G^{\ast }$ such that either $A_{i-1}\unlhd A_{i}$ or $A_{i}/(A_{i-1})_{A_{i}}$ is $\unicode[STIX]{x1D6F1}_{\mathfrak{I}}$ -primary for all $i=1,\ldots ,t$ . We prove that the set ${\mathcal{L}}_{\unicode[STIX]{x1D6F1}_{\mathfrak{I}}}(G)$ of all $\unicode[STIX]{x1D6F1}_{\mathfrak{I}}$ -subnormal subgroups of $G$ forms a sublattice of the lattice of all subgroups of $G$ and we describe the conditions under which the lattice ${\mathcal{L}}_{\unicode[STIX]{x1D6F1}_{\mathfrak{I}}}(G)$ is modular.

Let $G$ be a group hyperbolic relative to a finite collection of subgroups ${\mathcal{P}}$. Let ${\mathcal{F}}$ be the family of subgroups consisting of all the conjugates of subgroups in ${\mathcal{P}}$, all their subgroups, and all finite subgroups. Then there is a cocompact model for $E_{{\mathcal{F}}}G$. This result was known in the torsion-free case. In the presence of torsion, a new approach was necessary. Our method is to exploit the notion of dismantlability. A number of sample applications are discussed.

(Torsion in the cohomology of Kottwitz–Harris–Taylor Shimura varieties) When the level at $l$ of a Shimura variety of Kottwitz–Harris–Taylor is not maximal, its cohomology with coefficients in a $\overline{\mathbb{Z}}_{l}$-local system isn’t in general torsion free. In order to prove torsion freeness results of the cohomology, we localize at a maximal ideal $\mathfrak{m}$ of the Hecke algebra. We then prove a result of torsion freeness resting either on $\mathfrak{m}$ itself or on the Galois representation $\overline{\unicode[STIX]{x1D70C}}_{\mathfrak{m}}$ associated to it. Concerning the torsion, in a rather restricted case than Caraiani and Scholze (« On the generic part of the cohomology of compact unitary Shimura varieties », Preprint, 2015), we prove that the torsion doesn’t give new Satake parameters systems by showing that each torsion cohomology class can be raised in the free part of the cohomology of a Igusa variety.

In this paper, we investigate regular semigroups that possess a normal idempotent. First, we construct a nonorthodox nonidempotent-generated regular semigroup which has a normal idempotent. Furthermore, normal idempotents are described in several different ways and their properties are discussed. These results enable us to provide conditions under which a regular semigroup having a normal idempotent must be orthodox. Finally, we obtain a simple method for constructing all regular semigroups that contain a normal idempotent.

Let $G$ be a finite group with $\mathsf{soc}(G)=\text{A}_{c}$ for $c\geq 5$ . A characterization of the subgroups with square-free index in $G$ is given. Also, it is shown that a $(G,2)$ -arc-transitive graph of square-free order is isomorphic to a complete graph, a complete bipartite graph with a matching deleted or one of $11$ other graphs.

A permutoid is a set of partial permutations that contains the identity and is such that partial compositions, when defined, have at most one extension in the set. In 2004 Peter Cameron conjectured that there can exist no algorithm that determines whether or not a permutoid based on a finite set can be completed to a finite permutation group. In this note we prove Cameron’s conjecture by relating it to our recent work on the profinite triviality problem for finitely presented groups. We also prove that the existence problem for finite developments of rigid pseudogroups is unsolvable. In an appendix, Steinberg recasts these results in terms of inverse semigroups.