Approximate lattices of Euclidean spaces, also known as Meyer sets, are aperiodic subsets with fascinating properties. In general, approximate lattices are defined as approximate subgroups of locally compact groups that are discrete and have finite co-volume. A theorem of Lagarias [Meyer’s concept of quasicrystal and quasiregular sets. Comm. Math. Phys. 179(2) (1996), 365–376] provides a criterion for discrete subsets of Euclidean spaces to be approximate lattices. It asserts that if a subset X of $\mathbb {R}^n$ is relatively dense and $X - X$ is uniformly discrete, then X is an approximate lattice. We prove two generalizations of Lagarias’ theorem: when the ambient group is amenable and when it is a higher-rank simple algebraic group over a characteristic $0$ local field. This is a natural counterpart to the recent structure results for approximate lattices in non-commutative locally compact groups. We also provide a reformulation in dynamical terms pertaining to return times of cross-sections. Our method relies on counting arguments involving the so-called periodization maps, ergodic theorems and a method of Tao regarding small doubling for finite subsets. In the case of simple algebraic groups over local fields, we moreover make use of deep superrigidity results due to Margulis and to Zimmer.

We introduce the $\ell ^1$-ideal intersection property for crossed product ${\mathrm {C}}^*$-algebras. It is implied by ${\mathrm {C}}^*$-simplicity as well as ${\mathrm {C}}^*$-uniqueness. We show that topological dynamical systems of arbitrary lattices in connected Lie groups, arbitrary linear groups over the integers in a number field and arbitrary virtually polycyclic groups have the $\ell ^1$-ideal intersection property. On the way, we extend previous results on ${\mathrm {C}}^*$-uniqueness of -groupoid algebras to the general twisted setting.

Let G be a finite group and p be a prime number. An element g of G is called an $\mathrm {SM}^*$-vanishing element of G if there exists a strongly monolithic character $\chi $ of G satisfying $Z(\chi )=\ker \chi $ and $\chi (g)=0$. In this paper, we present some results on the relationship between the orders of $\mathrm {SM}^*$-vanishing elements of G and the structure of G.

We give a presentation of the torus-equivariant (small) quantum K-ring of flag manifolds of type C as an explicit quotient of a Laurent polynomial ring; our presentation can be thought of as a quantization of the classical Borel presentation of the ordinary K-ring of flag manifolds. Also, we give an explicit Laurent polynomial representative for each special Schubert class in our Borel-type presentation of the quantum K-ring.

A classical theorem of Jordan asserts that if a group G acts transitively on a finite set of size at least $2$, then G contains a derangement (a fixed-point free element). Generalisations of Jordan’s theorem have been studied extensively, due in part to their applications in graph theory, number theory and topology. We address a generalisation conjectured recently by Ellis and Harper [‘Orbits of permutation groups with no derangements’, Preprint, 2024, arXiv:2408.16064], which says that if G has exactly two orbits and those orbits have equal length $n \geq 2$, then G contains a derangement. We prove this conjecture in the case where n is a product of two primes, and in the case where $n=bp$ with p a prime and $2b\leq p$. We also verify the conjecture computationally for $n \leq 30$.

We extend the notion of the J-invariant to arbitrary semisimple linear algebraic groups and provide complete decompositions for the normed Chow motives of all generically quasi-split twisted flag varieties. Besides, we establish some combinatorial patterns for normed Chow groups and motives and provide some explicit formulae for values of the J-invariant.

For a prime p, let $\mathcal {N}_p(G)$ denote the intersection of the normalisers of all non-p-nilpotent subgroups of a finite group G and set $\mathcal {N}_p(G)=G$ if G itself is p-nilpotent. We give some properties of $\mathcal {N}_p(G)$ and investigate the influence of $\mathcal {N}_p(G)$ on G.

Let $G = X \wr H$ be the wreath product of a nontrivial finite group X with k conjugacy classes and a transitive permutation group H of degree n acting on the set of n direct factors of Xn. If H is semiprimitive, then $k(G) \leq k^n$ for every sufficiently large n or k. This result solves a case of the non-coprime k(GV) problem and provides an affirmative answer to a question of Garzoni and Gill for semiprimitive permutation groups. The proof does not require the classification of finite simple groups.

For each three-dimensional non-Lie Leibniz algebra over the complex numbers, we describe the algebra of polynomial invariants and determine its group of automorphisms. As a consequence, we establish that any two non-nilpotent three-dimensional non-Lie Leibniz algebras can be distinguished by the traces of degrees $\leqslant 2$ and by the dimensions of their automorphism groups.

We enumerate the low-dimensional cells in the Voronoi cell complexes attached to the modular groups $\mathit {SL}_N(\mathbb{Z} )$ and $\mathit {GL}_N(\mathbb{Z} )$ for $N=8,9,10,11$, using quotient sublattice techniques for $N=8,9$ and linear programming methods for higher dimensions. These enumerations allow us to compute some cohomology of these groups and prove that $K_8(\mathbb{Z} ) = 0$. We deduce from it new knowledge on the Kummer-Vandiver conjecture.

Let ${\mathrm {U}}_n({\mathbb {F}}_q)$ be the unitriangular group and ${\mathrm {U}}_{a,b,c,d}({\mathbb {F}}_q)$ the four-block unipotent radical of the standard parabolic subgroup of $\mathrm {GL}_{n}$, where $a+b+c+d=n$. In this paper, we study the class of all pattern subgroups of ${\mathrm {U}}_{a,b,c,d}({\mathbb {F}}_{q})$. We establish character-number formulae of degree $q^e$ for all these pattern groups. For pattern subgroups $G_{{\mathcal {D}}_m}({\mathbb {F}}_q)$ in this class, we provide an algebraic geometric approach to their polynomial properties, which verifies an analogue of Lehrer’s conjecture for these pattern groups.

Delsarte theory, more specifically the study of codes and designs in association schemes, has proved invaluable in studying an increasing assortment of association schemes in recent years. Tools motivated by the study of error-correcting codes in the Hamming scheme and combinatorial t-designs in the Johnson scheme apply equally well in association schemes with irrational eigenvalues. We assume here that we have a commutative association scheme with irrational eigenvalues and wish to study its Delsarte T-designs. We explore when a T-design is also a $T'$-design, where $T'\supseteq T$ is controlled by the orbits of a Galois group related to the splitting field of the association scheme. We then study Delsarte designs in the association schemes of finite groups, with a detailed exploration of the dicyclic groups.

Levels of cancellativity in commutative monoids M, determined by stable-rank values in $\mathbb {Z}_{> 0} \cup \{\infty \}$ for elements of M, are investigated. The behavior of the stable ranks of multiples $ka$, for $k \in \mathbb {Z}_{> 0}$ and $a \in M$, is determined. In the case of a refinement monoid M, the possible stable-rank values in archimedean components of M are pinned down. Finally, stable rank in monoids built from isomorphism or other equivalence classes of modules over a ring is discussed.

The structure of groups for which certain sets of commutator subgroups are finite is investigated, with a particular focus on the relationship between these groups and those with finite derived subgroup.

Commutator blueprints can be seen as blueprints for constructing RGD systems over $\mathbb {F}_2$ with prescribed commutation relations. In this paper, we construct several families of Weyl-invariant commutator blueprints, mostly of universal type. Also applying another result of the author, we obtain new examples of exotic RGD systems of universal type over $\mathbb {F}_2$. In particular, we generalize Tits’ construction of uncountably many trivalent Moufang twin trees to higher rank, we obtain an example of an RGD system of rank $3$ such that the nilpotency degree of the groups $U_w$ is unbounded, and we construct a commutator blueprint of type $(4, 4, 4)$ that is used to answer a question of Tits from the late $1980$s about twin buildings.

This work concerns representations of a finite flat group scheme G defined over a noetherian commutative ring R. The focus is on lattices, namely, finitely generated G-modules that are projective as R-modules, and on the full subcategory of all G-modules projective over R generated by the lattices. The stable category of such G-modules is a rigidly-compactly generated, tensor triangulated category. The main result is that this stable category is stratified and costratified by the natural action of the cohomology ring of G. Applications include formulas for computing the support and cosupport of tensor products and the module of homomorphisms, and a classification of the thick ideals in the stable category of lattices.

We prove the geometric Satake equivalence for mixed Tate motives over the integral motivic cohomology spectrum. This refines previous versions of the geometric Satake equivalence for split reductive groups. Our new geometric results include Whitney–Tate stratifications of Beilinson–Drinfeld Grassmannians and cellular decompositions of semi-infinite orbits. With future global applications in mind, we also achieve an equivalence relative to a power of the affine line. Finally, we use our equivalence to give Tannakian constructions of Deligne’s modification of the dual group and a modified form of Vinberg’s monoid over the integers.

Let G be a finite transitive permutation group on $\Omega $. The G-invariant partitions form a sublattice of the lattice of all partitions of $\Omega $, having the further property that all its elements are uniform (that is, have all parts of the same size). If, in addition, all the equivalence relations defining the partitions commute, then the relations form an orthogonal block structure, a concept from statistics; in this case the lattice is modular. If it is distributive, then we have a poset block structure, whose automorphism group is a generalised wreath product. We examine permutation groups with these properties, which we call the OB property and PB property respectively, and in particular investigate when direct and wreath products of groups with these properties also have these properties.

A famous theorem on permutation groups asserts that a transitive imprimitive group G is embeddable in the wreath product of two factors obtained from the group (the group induced on a block by its setwise stabiliser, and the group induced on the set of blocks by G). We extend this theorem to groups with the PB property, embedding them into generalised wreath products. We show that the map from posets to generalised wreath products preserves intersections and inclusions.

We have included background and historical material on these concepts.

We study the hypersimplex under the action of the symmetric group $S_n$ by coordinate permutation. We prove that its equivariant volume, given by the evaluation of its equivariant $H^*$-series at $1$, is the permutation character of decorated ordered set partitions under the natural action of $S_n$. This verifies a conjecture of Stapledon for the hypersimplex. To prove this result, we give a formula for the coefficients of the $H^*$-polynomial. Additionally, for the $(2,n)$-hypersimplex, we use this formula to show that trivial character need not appear as a direct summand of a coefficient of the $H^*$-polynomial, which gives a family of counterexamples to a different conjecture of Stapledon.

We study the restriction of the absolute order on a Coxeter group W to an interval $[1,w]_T$, where $w\in W$ is an involution. We characterise and classify those involutions w for which $[1,w]_T$ is a lattice, using the notion of involutive parabolic subgroups.