In 1968, Steinberg [Endomorphisms of Linear Algebraic Groups, Memoirs of the American Mathematical Society, 80 (American Mathematical Society, Providence, RI, 1968)] proved a theorem stating that the exterior powers of an irreducible reflection representation of a Euclidean reflection group are again irreducible and pairwise nonisomorphic. We extend this result to a more general context where the inner product invariant under the group action may not necessarily exist.

In this paper, we study triple-product-free sets, which are analogous to the widely studied concept of product-free sets. A nonempty subset S of a group G is triple-product-free if $abc \notin S$ for all $a, b, c \in S$. If S is triple-product-free and is not a proper subset of any other triple-product-free set, we say that S is locally maximal. We classify all groups containing a locally maximal triple-product-free set of size 1. We then derive necessary and sufficient conditions for a subset of a group to be locally maximal triple-product-free, and conclude with some observations and comparisons with the situation for standard product-free sets.

Let $W_{\Gamma} $ be the right-angled Coxeter group with defining graph $\Gamma $. We show that the asymptotic dimension of $W_{\Gamma} $ is smaller than or equal to $\mathrm{dim}_{CC}(\Gamma )$, the clique-connected dimension of the graph. We generalize this result to graph products of finite groups.

We construct finitely generated torsion-free solvable groups G that have infinite rank, but such that all finitely generated torsion-free metabelian subquotients of G are virtually abelian. In particular all finitely generated metabelian subgroups of G are virtually abelian. The existence of such groups shows that there is no “torsion-free version” of P. Kropholler’s theorem, which characterises solvable groups of infinite rank via their metabelian subquotients.

We give a lattice theoretical interpretation of generalized deep holes of the Leech lattice VOA $V_\Lambda $. We show that a generalized deep hole defines a ‘true’ automorphism invariant deep hole of the Leech lattice. We also show that there is a correspondence between the set of isomorphism classes of holomorphic VOA V of central charge $24$ having non-abelian $V_1$ and the set of equivalence classes of pairs $(\tau , \tilde {\beta })$ satisfying certain conditions, where $\tau \in Co.0$ and $\tilde {\beta }$ is a $\tau $-invariant deep hole of squared length $2$. It provides a new combinatorial approach towards the classification of holomorphic VOAs of central charge $24$. In particular, we give an explanation for an observation of G. Höhn, which relates the weight one Lie algebras of holomorphic VOAs of central charge $24$ to certain codewords associated with the glue codes of Niemeier lattices.

A hyperbolic group G acts by homeomorphisms on its Gromov boundary. We show that if $\partial G$ is a topological n–sphere, the action is topologically stable in the dynamical sense: any nearby action is semi-conjugate to the standard boundary action.

We introduce a new class of permutations, called web permutations. Using these permutations, we provide a combinatorial interpretation for entries of the transition matrix between the Specht and $\operatorname {SL}_2$-web bases of the irreducible $ \mathfrak {S}_{2n} $-representation indexed by $ (n,n) $, which answers Rhoades’s question. Furthermore, we study enumerative properties of these permutations.

A first-order structure $\mathfrak {A}$ is called monadically stable iff every expansion of $\mathfrak {A}$ by unary predicates is stable. In this paper we give a classification of the class $\mathcal {M}$ of $\omega $-categorical monadically stable structure in terms of their automorphism groups. We prove in turn that $\mathcal {M}$ is the smallest class of structures which contains the one-element pure set, is closed under isomorphisms, and is closed under taking finite disjoint unions, infinite copies, and finite index first-order reducts. Using our classification we show that every structure in $\mathcal {M}$ is first-order interdefinable with a finitely bounded homogeneous structure. We also prove that every structure in $\mathcal {M}$ has finitely many reducts up to interdefinability, thereby confirming Thomas’ conjecture for the class $\mathcal {M}$.

We prove a Banach version of Żuk’s criterion for groups acting on partite (i.e., colorable) simplicial complexes. Using this new criterion, we derive a new fixed point theorem for random groups in the Gromov density model with respect to several classes of Banach spaces ($L^p$ spaces, Hilbertian spaces, uniformly curved spaces). In particular, we show that for every p, a group in the Gromov density model has asymptotically almost surely property $(F L^p)$ and give a sharp lower bound for the growth of the conformal dimension of the boundary of such group as a function of the parameters of the density model.

In this paper, we study intersection configurations – which describe the behaviour of multiple (finite) intersections of subgroups with respect to finite generability – in the realm of free and free times free-abelian (FTFA) groups. We say that a configuration is realizable in a group $G$ if there exist subgroups $H_1,\ldots, H_k \leqslant G$ realizing it. It is well known that free groups ${\mathbb {F}_{n}}$ satisfy the Howson property: the intersection of any two finitely generated subgroups is again finitely generated. We show that the Howson property is indeed the only obstruction for multiple intersection configurations to be realizable within nonabelian free groups. On the contrary, FTFA groups ${\mathbb {F}_{n}} \times \mathbb {Z}^m$ are well known to be non-Howson. We also study multiple intersections within FTFA groups, providing an algorithm to decide, given $k\geq 2$ finitely generated subgroups, whether their intersection is again finitely generated and, in the affirmative case, compute a ‘basis’ for it. We finally prove that any intersection configuration is realizable in an FTFA group ${\mathbb {F}_{n}} \times \mathbb {Z}^m$, for $n\geq 2$ and large enough $m$. As a consequence, we exhibit finitely presented groups where every intersection configuration is realizable.

In the setting of finite groups, suppose $J$ acts on $N$ via automorphisms so that the induced semidirect product $N\rtimes J$ acts on some non-empty set $\Omega$, with $N$ acting transitively. Glauberman proved that if the orders of $J$ and $N$ are coprime, then $J$ fixes a point in $\Omega$. We consider the non-coprime case and show that if $N$ is abelian and a Sylow $p$-subgroup of $J$ fixes a point in $\Omega$ for each prime $p$, then $J$ fixes a point in $\Omega$. We also show that if $N$ is nilpotent, $N\rtimes J$ is supersoluble, and a Sylow $p$-subgroup of $J$ fixes a point in $\Omega$ for each prime $p$, then $J$ fixes a point in $\Omega$.

In our paper, we study multiplicative properties of difference sets $A-A$ for large sets $A \subseteq {\mathbb {Z}}/q{\mathbb {Z}}$ in the case of composite q. We obtain a quantitative version of a result of A. Fish about the structure of the product sets $(A-A)(A-A)$. Also, we show that the multiplicative covering number of any difference set is always small.

This is a contribution to the study of $\mathrm {Irr}(G)$ as an $\mathrm {Aut}(G)$-set for G a finite quasisimple group. Focusing on the last open case of groups of Lie type $\mathrm {D}$ and $^2\mathrm {D}$, a crucial property is the so-called $A'(\infty )$ condition expressing that diagonal automorphisms and graph-field automorphisms of G have transversal orbits in $\mathrm {Irr}(G)$. This is part of the stronger $A(\infty )$ condition introduced in the context of the reduction of the McKay conjecture to a question about quasisimple groups. Our main theorem is that a minimal counterexample to condition $A(\infty )$ for groups of type $\mathrm {D}$ would still satisfy $A'(\infty )$. This will be used in a second paper to fully establish $A(\infty )$ for any type and rank. The present paper uses Harish-Chandra induction as a parametrization tool. We give a new, more effective proof of the theorem of Geck and Lusztig ensuring that cuspidal characters of any standard Levi subgroup of $G=\mathrm {D}_{ l,\mathrm {sc}}(q)$ extend to their stabilizers in the normalizer of that Levi subgroup. This allows us to control the action of automorphisms on these extensions. From there, Harish-Chandra theory leads naturally to a detailed study of associated relative Weyl groups and other extendibility problems in that context.

For a finite abelian group A, the Reidemeister number of an endomorphism φ is the same as the number of fixed points of φ, and the Reidemeister spectrum of A is completely determined by the Reidemeister spectra of its Sylow p-subgroups. To compute the Reidemeister spectrum of a finite abelian p-group P, we introduce a new number associated to an automorphism ψ of P that captures the number of fixed points of ψ and its (additive) multiples, we provide upper and lower bounds for that number, and we prove that every power of p between those bounds occurs as such a number.

We study Cayley graphs of abelian groups from the perspective of quantum symmetries. We develop a general strategy for determining the quantum automorphism groups of such graphs. Applying this procedure, we find the quantum symmetries of the halved cube graph, the folded cube graph, and the Hamming graphs.

We study the Eisenstein series associated to the full rank cusps in a complete hyperbolic manifold. We show that given a Kleinian group $\Gamma <{\operatorname{\mathrm{Isom}}}^+(\mathbb H^{n+1})$, each full rank cusp corresponds to a cohomology class in $H^{n}(\Gamma , V)$, where V is either the trivial coefficient or the adjoint representation. Moreover, by computing the intertwining operator, we show that different cusps give rise to linearly independent classes.

Consider the following classes of pairs consisting of a group and a finite collection of subgroups:

• • $ \mathcal{C}= \left \{ (G,\mathcal{H}) \mid \text{$\mathcal{H}$ is hyperbolically embedded in $G$} \right \}$

• • $ \mathcal{D}= \left \{ (G,\mathcal{H}) \mid \text{the relative Dehn function of $(G,\mathcal{H})$ is well-defined} \right \} .$

Let $G$ be a group that splits as a finite graph of groups such that each vertex group $G_v$ is assigned a finite collection of subgroups $\mathcal{H}_v$, and each edge group $G_e$ is conjugate to a subgroup of some $H\in \mathcal{H}_v$ if $e$ is adjacent to $v$. Then there is a finite collection of subgroups $\mathcal{H}$ of $G$ such that

1. 1. If each $(G_v, \mathcal{H}_v)$ is in $\mathcal C$, then $(G,\mathcal{H})$ is in $\mathcal C$.

2. 2. If each $(G_v, \mathcal{H}_v)$ is in $\mathcal D$, then $(G,\mathcal{H})$ is in $\mathcal D$.

3. 3. For any vertex $v$ and for any $g\in G_v$, the element $g$ is conjugate to an element in some $Q\in \mathcal{H}_v$ if and only if $g$ is conjugate to an element in some $H\in \mathcal{H}$.

That edge groups are not assumed to be finitely generated and that they do not necessarily belong to a peripheral collection of subgroups of an adjacent vertex are the main differences between this work and previous results in the literature. The method of proof provides lower and upper bounds of the relative Dehn functions in terms of the relative Dehn functions of the vertex groups. These bounds generalize and improve analogous results in the literature.

Let $\textbf {G}$ be a simply connected semisimple algebraic group over a field of characteristic greater than the Coxeter number. We construct a monoidal action of the diagrammatic Hecke category on the principal block $\operatorname {Rep}_0(\textbf {G})$ of $\operatorname {Rep}(\textbf {G})$ by wall-crossing functors. This action was conjectured to exist by Riche and Williamson. Our method uses constructible sheaves and relies on Smith–Treumann theory.

We propose a notion of a proper Ehresmann semigroup based on a three-coordinate description of its generating elements governed by certain labelled directed graphs with additional structure. The generating elements are determined by their domain projection, range projection and σ-class, where σ denotes the minimum congruence that identifies all projections. We prove a structure result on proper Ehresmann semigroups and show that every Ehresmann semigroup has a proper cover. Our covering monoid turns out to be isomorphic to that from the work by Branco, Gomes and Gould and provides a new view of the latter. Proper Ehresmann semigroups all of whose elements admit a three-coordinate description are characterized in terms of partial multiactions of monoids on semilattices. As a consequence, we recover the two-coordinate structure result on proper restriction semigroups.