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.

Recent research of the author has studied edge-labelled directed trees under a natural multiplication operation. The class of all such trees (with a fixed labelling alphabet) has an algebraic interpretation, as a free object in the class of adequate semigroups. We consider here a natural subclass of these trees, defined by placing a restriction on edge orientations, and show that the resulting algebraic structure is a free object in the class of left adequate semigroups. Through this correspondence we establish some structural and algorithmic properties of free left adequate semigroups and monoids, and consequently of the category of all left adequate semigroups.

In this paper we show that, in the stable case, when m≥2n−1, the cohomology ring H*(Repn(m)B) of the representation variety with Borel mold Repn(m)B and are isomorphic as algebras. Here the degree of si is 2m−3 when 1≤i<n. In the unstable cases, when m≤2n−2, we also calculate the cohomology group H*(Repn(m)B) when n=3,4 . In the most exotic case, when m=2 , Rep n (2)B is homotopy equivalent to Fn (ℂ2)×PGL n (ℂ) , where Fn (ℂ2)is the configuration space of n distinct points in ℂ2. We regard Rep n (2)B as a scheme over ℤ, and show that the Picard group Pic (Rep n (2)B)of Rep n (2)B is isomorphic to ℤ/nℤ. We give an explicit generator of the Picard group.

A loop is (right) automorphic if all its (right) inner mappings are automorphisms. Using the classification of primitive groups of small degrees, we show that there is no non-associative simple commutative automorphic loop of order less than 212, and no non-associative simple automorphic loop of order less than 2500. We obtain numerous examples of non-associative simple right automorphic loops. We also prove that every automorphic loop has the antiautomorphic inverse property, and that a right automorphic loop is automorphic if and only if its conjugations are automorphisms.

We describe a method for constructing the character table of a group of type M.G.A from the character tables of the subgroup M.G and the factor group G.A, provided that A acts suitably on M.G. This simplifies and generalizes a recently published method.

We investigate the tempered representations derived from the principal series of SLℓ(F) and their geometric structure. In particular, we give the parameterization for special representations and prove the tempered part of the Aubert–Baum–Plymen conjecture for the toral cases of SLℓ(F).