Let $p$ be a prime, $G$ a solvable group and $P$ a Sylow $p$-subgroup of $G$. We prove that $P$ is normal in $G$ if and only if $\unicode[STIX]{x1D711}(1)_{p}^{2}$ divides $|G:\ker (\unicode[STIX]{x1D711})|_{p}$ for all monomial monolithic irreducible $p$-Brauer characters $\unicode[STIX]{x1D711}$ of $G$.

Let $p$ be an odd prime. We construct a $p$-group $P$ of nilpotency class two, rank seven and exponent $p$, such that $\text{Aut}(P)$ induces $N_{\text{GL}(7,p)}(G_{2}(p))=Z(\text{GL}(7,p))G_{2}(p)$ on the Frattini quotient $P/\unicode[STIX]{x1D6F7}(P)$. The constructed group $P$ is the smallest $p$-group with these properties, having order $p^{14}$, and when $p=3$ our construction gives two nonisomorphic $p$-groups. To show that $P$ satisfies the specified properties, we study the action of $G_{2}(q)$ on the octonion algebra over $\mathbb{F}_{q}$, for each power $q$ of $p$, and explore the reducibility of the exterior square of each irreducible seven-dimensional $\mathbb{F}_{q}[G_{2}(q)]$-module.

Let γn = [x1,…,xn] be the nth lower central word. Denote by Xnthe set of γn -values in a group G and suppose that there is a number m such that $|{g^{{X_n}}}| \le m$ for each g ∈ G. We prove that γn+1(G) has finite (m, n) -bounded order. This generalizes the much-celebrated theorem of B. H. Neumann that says that the commutator subgroup of a BFC-group is finite.

We show how to find higher generating families of subgroups, in the sense of Abels and Holz, for groups acting on Cohen–Macaulay complexes. We apply this to groups with a BN-pair to prove higher generation by parabolic and Levi subgroups and describe higher generating families of parabolic subgroups in Aut(Fn).

In this paper we continue the study of right-angled Artin groups up to commensurability initiated in [CKZ]. We show that RAAGs defined by different paths of length greater than 3 are not commensurable. We also characterise which RAAGs defined by paths are commensurable to RAAGs defined by trees of diameter 4. More precisely, we show that a RAAG defined by a path of length n > 4 is commensurable to a RAAG defined by a tree of diameter 4 if and only if n ≡ 2 (mod 4). These results follow from the connection that we establish between the classification of RAAGs up to commensurability and linear integer-programming.

We prove a character formula for some closed fine Deligne–Lusztig varieties. We apply it to compute fixed points for fine Deligne–Lusztig varieties arising from the basic loci of Shimura varieties of Coxeter type. As an application, we prove an arithmetic intersection formula for certain diagonal cycles on unitary and GSpin Rapoport–Zink spaces arising from the arithmetic Gan–Gross–Prasad conjectures. In particular, we prove the arithmetic fundamental lemma in the minuscule case, without assumptions on the residual characteristic.

In this article, we calculate the Ellis semigroup of a certain class of constant-length substitutions. This generalizes a result of Haddad and Johnson [IP cluster points, idempotents, and recurrent sequences. Topology Proc.22 (1997) 213–226] from the binary case to substitutions over arbitrarily large finite alphabets. Moreover, we provide a class of counterexamples to one of the propositions in their paper, which is central to the proof of their main theorem. We give an alternative approach to their result, which centers on the properties of the Ellis semigroup. To do this, we also show a new way to construct an almost automorphic–isometric tower to the maximal equicontinuous factor of these systems, which gives a more particular approach than the one given by Dekking [The spectrum of dynamical systems arising from substitutions of constant length. Z. Wahrscheinlichkeitstheor. Verw. Geb.41(3) (1977/78) 221–239].

Following ideas that go back to Cannon, we show the rationality of various generating functions of growth sequences counting embeddings of convex subgraphs in locally-finite, vertex-transitive graphs with the (relative) falsification by fellow traveler property (fftp). In particular, we recover results of Cannon, of Epstein, Iano–Fletcher and Zwick, and of Calegari and Fujiwara. One of our applications concerns Schreier coset graphs of hyperbolic groups relative to quasi-convex subgroups, we show that these graphs have rational growth, the falsification by fellow traveler property, and the existence of a lower bound for the growth rate independent of the finite generating set and the infinite index quasi-convex subgroup.

A question of Griffiths–Schmid asks when the monodromy group of an algebraic family of complex varieties is arithmetic. We resolve this in the affirmative for a class of algebraic surfaces known as Atiyah–Kodaira manifolds, which have base and fibers equal to complete algebraic curves. Our methods are topological in nature and involve an analysis of the ‘geometric’ monodromy, valued in the mapping class group of the fiber.

For a finite group $G$, let $\unicode[STIX]{x1D6E5}(G)$ denote the character graph built on the set of degrees of the irreducible complex characters of $G$. In this paper, we obtain a necessary and sufficient condition which guarantees that the complement of the character graph $\unicode[STIX]{x1D6E5}(G)$ of a finite group $G$ is a nonbipartite Hamiltonian graph.

We show that for all $m,k,r\in \mathbb{N}$, there is an $n\in \mathbb{N}$ such that whenever $L$ is a Latin square of order $m$ and the Cartesian product $L^{n}$ of $n$ copies of $L$ is $r$-coloured, there is a monochrome Latin subsquare of $L^{n}$, isotopic to $L^{k}$. In particular, for every prime $p$ and for all $k,r\in \mathbb{N}$, there is an $n\in \mathbb{N}$ such that whenever the multiplication table $L({\mathbb{Z}_{p}}^{n})$ of the group ${\mathbb{Z}_{p}}^{n}$ is $r$-coloured, there is a monochrome Latin subsquare of order $p^{k}$. On the other hand, we show that for every group $G$ of order $\leq 15$, there is a 2-colouring of $L(G)$ without a nontrivial monochrome Latin subsquare.

We construct free abelian subgroups of the group U(AΓ) of untwisted outer automorphisms of a right-angled Artin group, thus giving lower bounds on the virtual cohomological dimension. The group U(AΓ) was studied in [5] by constructing a contractible cube complex on which it acts properly and cocompactly, giving an upper bound for the virtual cohomological dimension. The ranks of our free abelian subgroups are equal to the dimensions of principal cubes in this complex. These are often of maximal dimension, so that the upper and lower bounds agree. In many cases when the principal cubes are not of maximal dimension we show there is an invariant contractible subcomplex of strictly lower dimension.

The germ of the universal isomonodromic deformation of a logarithmic connection on a stable $n$-pointed genus $g$ curve always exists in the analytic category. The first part of this article investigates under which conditions it is the analytic germification of an algebraic isomonodromic deformation. Up to some minor technical conditions, this turns out to be the case if and only if the monodromy of the connection has finite orbit under the action of the mapping class group. The second part of this work studies the dynamics of this action in the particular case of reducible rank 2 representations and genus $g>0$, allowing to classify all finite orbits. Both of these results extend recent ones concerning the genus 0 case.

We make a few observations on the absence of geometric and topological rigidity for acylindrically hyperbolic and relatively hyperbolic groups. In particular, we demonstrate the lack of a well-defined limit set for acylindrical actions on hyperbolic spaces, even under the assumption of universality. We also prove a statement about relatively hyperbolic groups inspired by a remark by Groves, Manning, and Sisto about the quasi-isometry type of combinatorial cusps. Finally, we summarize these results in a table in order to assert a meta-statement about the decay of metric rigidity as the conditions on actions on hyperbolic spaces are loosened.

We show that in general for a given group the structure of a maximal hyperbolic tower over a free group is not canonical: we construct examples of groups having hyperbolic tower structures over free subgroups which have arbitrarily large ratios between their ranks. These groups have the same first order theory as non-abelian free groups and we use them to study the weight of types in this theory.

We introduce and study various categories of (equivariant) motives of (versal) flag varieties. We relate these categories with certain categories of parabolic (Demazure) modules. We show that the motivic decomposition type of a versal flag variety depends on the direct sum decomposition type of the parabolic module. To do this we use localization techniques of Kostant and Kumar in the context of generalized oriented cohomology as well as the Rost nilpotence principle for algebraic cobordism and its generic version. As an application, we obtain new proofs and examples of indecomposable Chow motives of versal flag varieties.

We show that a nearly square independent and identically distributed random integral matrix is surjective over the integral lattice with very high probability. This answers a question by Koplewitz [6]. Our result extends to sparse matrices as well as to matrices of dependent entries.

We extend classical density theorems of Borel and Dani–Shalom on lattices in semisimple, respectively solvable algebraic groups over local fields to approximate lattices. Our proofs are based on the observation that Zariski closures of approximate subgroups are close to algebraic subgroups. Our main tools are stationary joinings between the hull dynamical systems of discrete approximate subgroups and their Zariski closures.

We give sufficient conditions for the non-triviality of the Poisson boundary of random walks on $H(\mathbb{Z})$ and its subgroups. The group $H(\mathbb{Z})$ is the group of piecewise projective homeomorphisms over the integers defined by Monod [Groups of piecewise projective homeomorphisms. Proc. Natl Acad. Sci. USA110(12) (2013), 4524–4527]. For a finitely generated subgroup $H$ of $H(\mathbb{Z})$ , we prove that either $H$ is solvable or every measure on $H$ with finite first moment that generates it as a semigroup has non-trivial Poisson boundary. In particular, we prove the non-triviality of the Poisson boundary of measures on Thompson’s group $F$ that generate it as a semigroup and have finite first moment, which answers a question by Kaimanovich [Thompson’s group $F$ is not Liouville. Groups, Graphs and Random Walks (London Mathematical Society Lecture Note Series). Eds. T. Ceccherini-Silberstein, M. Salvatori and E. Sava-Huss. Cambridge University Press, Cambridge, 2017, pp. 300–342, 7.A].

We show that the isomorphism problems for left distributive algebras, racks, quandles and kei are as complex as possible in the sense of Borel reducibility. These algebraic structures are important for their connections with the theory of knots, links and braids. In particular, Joyce showed that a quandle can be associated with any knot, and this serves as a complete invariant for tame knots. However, such a classification of tame knots heuristically seemed to be unsatisfactory, due to the apparent difficulty of the quandle isomorphism problem. Our result confirms this view, showing that, from a set-theoretic perspective, classifying tame knots by quandles replaces one problem with (a special case of) a much harder problem.