群论

We characterize those 1-ended word hyperbolic groups whose Gromov boundaries are homeomorphic to trees of graphs (i.e. to inverse limits of graphs that have particularly simple finitary descriptions). These are groups with the simplest…

Let $X$ be a finite, 2-dimensional cell complex. The curvature invariants $\rho_\pm(X)$ and $\sigma_\pm(X)$ were defined in [13], and a programme of conjectures was outlined. Here, we prove the foundational result that the quantities…

We initiate the study of torsion-free algebraically hyperbolic groups; these groups generalise torsion-free hyperbolic groups and are intricately related to groups with no Baumslag--Solitar subgroups. Indeed, for groups of cohomological…

Let $\Gamma(G)$ be the Gruenberg-Kegel graph of a finite group $G$. We prove that if $G$ is solvable and $\sigma$ is a cut-set for $\Gamma(G)$, then $G$ has a $\sigma$-series of length $5$ whose factors are controlled. As a consequence, we…

In this paper we show that Weyl-invariant commutator blueprints of type $(4, 4, 4)$ are faithful. As a consequence we answer a question of Tits from the late $1980$s about twin buildings. Moreover, we obtain the first example of a…

We use Majorana representations to study the subalgebras of the Griess algebra that have shape $(2B,3A,5A)$ and whose associated Miyamoto groups are isomorphic to $A_n$. We prove that these subalgebras exist only if $n\in \{5,6,8\}$. The…

We determine the fields of values of the Isaacs' head characters of a finite solvable group.

In this paper, we sharpen results obtained by the author in 2023. The new results reduce the Mathieu Conjecture on $SU(N)$ (formulated for all compact connected Lie groups by O. Mathieu in 1997) to a conjecture involving only functions on…

We prove that for every $N\ge 3$, the group $\mathrm{Out}(F_N)$ of outer automorphisms of a free group of rank $N$ is superrigid from the point of view of measure equivalence: any countable group that is measure equivalent to…

We show that the spectral gap of the first cohomological Laplacian $\Delta_1$ for $\operatorname{Sp}_{2n}(\mathbb{Z})$ follows once a slightly stronger assumption holds for some $\operatorname{Sp}_{2m}(\mathbb{Z})$, where $n\geq m$. As an…

You can invent striking and challenging problems with unique solution by building some symmetry into functional equations. Some are suitable for high school; others could generate college-level projects involving computer algebra. The…

We initiate the study of $\lambda$-fold near-factorizations of groups with $\lambda > 1$. While $\lambda$-fold near-factorizations of groups with $\lambda = 1$ have been studied in numerous papers, this is the first detailed treatment for…

The technique of inducing spectral gaps for cohomological Laplacians in degree zero was used by Kaluba, Kielak and Nowak to prove property (T) for $\operatorname{SAut}(F_n)$ and $\operatorname{SL}_n(\mathbb{Z})$. In this paper, we adapt…

For a Coxeter group $W$ with length function $\ell$, the excess zero graph $\mathcal{E}_0(W)$ has vertex set the non-identity involutions of $W$, with two involutions $x$ and $y$ adjacent whenever $\ell(xy)=\ell(x)+\ell(y)$. Properties of…

In this article we construct contracting elements in the standard Cayley graphs of the so-called periagroups, a family of groups introduced by the second-named author which include Coxeter groups, graph products, and Dyer groups. As a…

In this paper, new hyper-algebraic structures called polygroupoid, polyquasigroup and polyloop were introduced with concrete examples given. The first, second, third and fourth left (middle, right) nuclei of polygroupoid were introduced and…

Let $\Lambda$ be an order in a division algebra over a number field. We prove, under some conditions, that $SL_3(\Lambda)$ is boundedly generated by elementary matrices.

We consider metric versions of weak soficity, LEF and residual finiteness. The main results of the paper extend Glebsky and Rivera's characterization of weak soficity to the case of normally finitely generated groups with word metrics.…

We study widths of conjugacy classes in anisotropic higher rank $S$-arithmetic groups of orthogonal type. Assuming the GRH, we prove that many such groups have bounded conjugacy width. For example, this holds if the degree is greater or…

A smooth cuboid can be identified with a $3\times 3$ matrix of linear forms, with coefficients in a field $K$, whose determinant describes a smooth cubic in the projective plane. To each such matrix one can associate a group scheme over…