In the paper ‘Bruhat–Tits theory from Berkovich's point of view. I. Realizations and compactifications of buildings’, we investigated various realizations of the Bruhat–Tits building of a connected and reductive linear algebraic group G over a non-Archimedean field k in the framework of Berkovich's non-Archimedean analytic geometry. We studied in detail the compactifications of the building which naturally arise from this point of view. In the present paper, we give a representation theoretic flavour to these compactifications, following Satake's original constructions for Riemannian symmetric spaces.

We first prove that Berkovich compactifications of a building coincide with the compactifications, previously introduced by the third named author and obtained by a gluing procedure. Then we show how to recover them from an absolutely irreducible linear representation of G by embedding in the building of the general linear group of the representation space, compactified in a suitable way. Existence of such an embedding is a special case of Landvogt's general results on functoriality of buildings, but we also give another natural construction of an equivariant embedding, which relies decisively on Berkovich geometry.

We introduce a new construction involving Rees matrix semigroups and max-plus algebras that is very convenient for generating sets of centroids. We describe completely all optimal sets of centroids for all Rees matrix semigroups without any restrictions on the sandwich matrices.

The support varieties for the induced modules or Weyl modules for a reductive algebraic group G were computed over the first Frobenius kernel G1 by Nakano, Parshall and Vella. A natural generalization of this computation is the calculation of the support varieties of Demazure modules over the first Frobenius kernel, B1, of the Borel subgroup B. In this paper we initiate the study of such computations. We complete the entire picture for reductive groups with underlying root systems A1 and A2. Moreover, we give complete answers for Demazure modules corresponding to a particular (standard) element in the Weyl group, and provide results relating support varieties between different Demazure modules which depend on the Bruhat order.

We give an explicit description of the free objects in the quasivariety of adequate semigroups, as sets of labelled directed trees under a natural combinatorial multiplication. The morphisms of the free adequate semigroup onto the free ample semigroup and into the free inverse semigroup are realised by a combinatorial ‘folding’ operation which transforms our trees into Munn trees. We use these results to show that free adequate semigroups and monoids are 𝒥-trivial and never finitely generated as semigroups, and that those which are finitely generated as (2,1,1)-algebras have decidable word problem.

This note proves Cellini’s conjecture that, in a Coxeter system (W,S) with reflections T, the T-increasing paths in W are self-avoiding. Here, a T-increasing path is a sequence v,t1v,…,tn⋯t1v in W with ti∈T and t1≺⋯≺tn in a reflection order ⪯ of T.

We prove the finiteness of class numbers and Tate–Shafarevich sets for all affine group schemes of finite type over global function fields, as well as the finiteness of Tamagawa numbers and Godement’s compactness criterion (and a local analogue) for all such groups that are smooth and connected. This builds on the known cases of solvable and semi-simple groups via systematic use of the recently developed structure theory and classification of pseudo-reductive groups.

Generalizing a classical theorem of Carlson and Toledo, we prove that any Zariski dense isometric action of a Kähler group on the real hyperbolic space of dimension at least three factors through a homomorphism onto a cocompact discrete subgroup of PSL2(ℝ). We also study actions of Kähler groups on infinite-dimensional real hyperbolic spaces, describe some exotic actions of PSL2(ℝ) on these spaces, and give an application to the study of the Cremona group.

For the locally symmetric space X attached to an arithmetic subgroup of an algebraic group G of ℚ-rank r, we construct a compact manifold by gluing together 2r copies of the Borel–Serre compactification of X. We apply the classical Lefschetz fixed point formula to and get formulas for the traces of Hecke operators ℋ acting on the cohomology of X. We allow twistings of ℋ by outer automorphisms η of G. We stabilize this topological trace formula and compare it with the corresponding formula for an endoscopic group of the pair (G,η) . As an application, we deduce a weak lifting theorem for the lifting of automorphic representations from Siegel modular groups to general linear groups.

In this paper we determine the suborbits of Janko’s largest simple group in its conjugation action on each of its two conjugacy classes of involutions. We also provide matrix representatives of these suborbits in an accompanying computer file. These representatives are used to investigate a commuting involution graph for J4.

Supplementary materials are available with this article.

We calculate all decomposition matrices of the cyclotomic Hecke algebras of the rank two exceptional complex reflection groups in characteristic zero. We prove the existence of canonical basic sets in the sense of Geck–Rouquier and show that all modular irreducible representations can be lifted to the ordinary ones.

Let G be a finite p-solvable group. We prove that if G has exactly two conjugacy class sizes of p′-elements of prime power order, say 1 and m, then m=paqb, for two distinct primes p and q, and G either has an abelian p-complement or G=PQ×A, with P and Q a Sylow p-subgroup and a Sylow q-subgroup of G, respectively, and A is abelian. In particular, we provide a new extension of Itô’s theorem on groups having exactly two class sizes for elements of prime power order.

We characterise regular bipartite locally primitive graphs of order 2pe, where p is prime. We show that either p=2 (this case is known by previous work), or the graph is a binormal Cayley graph or a normal cover of one of the basic locally primitive graphs; these are described in detail.

In this work, we study the intersection cohomology of Siegel modular varieties. The goal is to express the trace of a Hecke operator composed with a power of the Frobenius endomorphism (at a good place) on this cohomology in terms of the geometric side of Arthur’s invariant trace formula for well-chosen test functions. Our main tools are the results of Kottwitz about the contribution of the cohomology with compact support and about the stabilization of the trace formula, Arthur’s L2 trace formula and the fixed point formula of Morel [Complexes pondérés sur les compactifications de Baily–Borel. Le cas des variétés de Siegel, J. Amer. Math. Soc. 21 (2008), 23–61]. We ‘stabilize’ this last formula, i.e. express it as a sum of stable distributions on the general symplectic groups and its endoscopic groups, and obtain the formula conjectured by Kottwitz in [Shimura varieties and λ-adic representations, in Automorphic forms, Shimura varieties and L-functions, Part I, Perspectives in Mathematics, vol. 10 (Academic Press, San Diego, CA, 1990), 161–209]. Applications of the results of this article have already been given by Kottwitz, assuming Arthur’s conjectures. Here, we give weaker unconditional applications in the cases of the groups GSp4 and GSp6.

For a finite group G, we denote by μ(G) the minimum degree of a faithful permutation representation of G. We prove that if G is a finite p-group with an abelian maximal subgroup, then μ(G/G′)≤μ(G).

Only three of the 15 973 distinct six-element semigroups are presently known to be nonfinitely based. This paper introduces a fourth example.

The triple product property (TPP) for subsets of a finite group was introduced by Henry Cohn and Christopher Umans in 2003 as a tool for the study of the complexity of matrix multiplication. This note records some consequences of the simple observation that if (S1,S2,S3) is a TPP triple in a finite group G, then so is (dS1a,dS2b,dS3c) for any a,b,c,d∈G.

Let si:=∣Si∣ for 1≤i≤3. First we prove the inequality s1(s2+s3−1)≤∣G∣ and show some of its uses. Then we show (something a little more general than) that if G has an abelian subgroup of index v, then s1s2s3 ≤v2 ∣G∣.

We fix a prime p and consider a connected reductive algebraic group G over a perfect field k which is defined over 𝔽p. Let M be a finite-dimensional rational G-module M, a comodule for k[G]. We seek to somewhat unravel the relationship between the restriction of M to the finite Chevalley subgroup G(𝔽p)⊂G and the family of restrictions of M to Frobenius kernels G(r) ⊂G. In particular, we confront the conundrum that if M is the Frobenius twist of a rational G-module N,M=N(1), then the restrictions of M and N to G(𝔽p)are equal whereas the restriction of M to G(1) is trivial. Our analysis enables us to compare support varieties (and the finer non-maximal support varieties) for G(𝔽p)and G(r) of a rational G-module M where the choice of r depends explicitly on M.

We present geometric conditions on a metric space (Y,dY) ensuring that, almost surely, any isometric action on Y by Gromov’s expander-based random group has a common fixed point. These geometric conditions involve uniform convexity and the validity of nonlinear Poincaré inequalities, and they are stable under natural operations such as scaling, Gromov–Hausdorff limits, and Cartesian products. We use methods from metric embedding theory to establish the validity of these conditions for a variety of classes of metric spaces, thus establishing new fixed point results for actions of Gromov’s ‘wild groups’.

Let G be a group. A subset X of G is a set of pairwise noncommuting elements if xy≠yx for any two distinct elements x and y in X. If |X|≥|Y | for any other set of pairwise noncommuting elements Y in G, then X is said to be a maximal subset of pairwise noncommuting elements. In this paper we determine the cardinality of a maximal subset of pairwise noncommuting elements for some p-groups of maximal class. Specifically, we determine this cardinality for all 2 -groups and 3 -groups of maximal class.

Suppose that G is a finite group and H is a subgroup of G. We call H a weakly s-supplementally embedded subgroup of G if there exist a subgroup T of G and an s-quasinormally embedded subgroup Hse of G contained in H such that G = HT and H ∩ T ≤ Hse. We investigate the influence of the weakly s-supplementally embedded property of some minimal subgroups on the structure of finite groups. As an application of our results, some earlier results are generalized.