We describe the Schwarzian equations for the 328 completely replicable functions with integral $q$ -coefficients [Ford et al., ‘More on replicable functions’, Comm. Algebra 22 (1994) no. 13, 5175–5193].

Let $ZB$ be the center of a $p$-block $B$ of a finite group with defect group $D$. We show that the Loewy length $LL(ZB)$ of $ZB$ is bounded by $|D|/p+p-1$ provided $D$ is not cyclic. If $D$ is nonabelian, we prove the stronger bound $LL(ZB)<\min \{p^{d-1},4p^{d-2}\}$ where $|D|=p^{d}$. Conversely, we classify the blocks $B$ with $LL(ZB)\geqslant \min \{p^{d-1},4p^{d-2}\}$. This extends some results previously obtained by the present authors. Moreover, we characterize blocks with uniserial center.

The action of any group on itself by conjugation and the corresponding conjugacy relation play an important role in group theory. There have been many attempts to find notions of conjugacy in semigroups that would be useful in special classes of semigroups occurring in various areas of mathematics, such as semigroups of matrices, operator and topological semigroups, free semigroups, transition monoids for automata, semigroups given by presentations with prescribed properties, monoids of graph endomorphisms, etc. In this paper we study four notions of conjugacy for semigroups, their interconnections, similarities and dissimilarities. They appeared originally in various different settings (automata, representation theory, presentations, and transformation semigroups). Here we study them in full generality. The paper ends with a large list of open problems.

We describe a general method for expanding a truncated $G$-iterative Hasse–Schmidt derivation, where $G$ is an algebraic group. We give examples of algebraic groups for which our method works.

The classification of flag-transitive generalized quadrangles is a long-standing open problem at the interface of finite geometry and permutation group theory. Given that all known flag-transitive generalized quadrangles are also point-primitive (up to point–line duality), it is likewise natural to seek a classification of the point-primitive examples. Working toward this aim, we are led to investigate generalized quadrangles that admit a collineation group $G$ preserving a Cartesian product decomposition of the set of points. It is shown that, under a generic assumption on $G$, the number of factors of such a Cartesian product can be at most four. This result is then used to treat various types of primitive and quasiprimitive point actions. In particular, it is shown that $G$ cannot have holomorph compound O’Nan–Scott type. Our arguments also pose purely group-theoretic questions about conjugacy classes in nonabelian finite simple groups and fixities of primitive permutation groups.

We study uniform and coarse embeddings between Banach spaces and topological groups. A particular focus is put on equivariant embeddings, that is, continuous cocycles associated to continuous affine isometric actions of topological groups on separable Banach spaces with varying geometry.

We determine the lower rank of the direct product of finitely many hereditarily just infinite profinite groups of finite lower rank.

Harish-Chandra induction and restriction functors play a key role in the representation theory of reductive groups over finite fields. In this paper, extending earlier work of Dat, we introduce and study generalisations of these functors which apply to a wide range of finite and profinite groups, typical examples being compact open subgroups of reductive groups over non-archimedean local fields. We prove that these generalisations are compatible with two of the tools commonly used to study the (smooth, complex) representations of such groups, namely Clifford theory and the orbit method. As a test case, we examine in detail the induction and restriction of representations from and to the Siegel Levi subgroup of the symplectic group $\text{Sp}_{4}$ over a finite local principal ideal ring of length two. We obtain in this case a Mackey-type formula for the composition of these induction and restriction functors which is a perfect analogue of the well-known formula for the composition of Harish-Chandra functors. In a different direction, we study representations of the Iwahori subgroup $I_{n}$ of $\text{GL}_{n}(F)$, where $F$ is a non-archimedean local field. We establish a bijection between the set of irreducible representations of $I_{n}$ and tuples of primitive irreducible representations of smaller Iwahori subgroups, where primitivity is defined by the vanishing of suitable restriction functors.

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}$ .