The algebraic mapping torus $M_{\Phi }$ of a group $G$ with an automorphism $\Phi$ is the HNN-extension of $G$ in which conjugation by the stable letter performs $\Phi$. We classify the Dehn functions of $M_{\Phi }$ in terms of $\Phi$ for a number of right-angled Artin groups (RAAGs) $G$, including all $3$-generator RAAGs and $F_k \times F_l$ for all $k,l \geq 2$.

We show that the automorphism groups of right-angled Artin groups whose defining graphs have at least three vertices are not relatively hyperbolic. We then show that the outer automorphism groups are also not relatively hyperbolic, except for a few exceptional cases. In these cases, the outer automorphism groups are virtually isomorphic to either a finite group, an infinite cyclic group or $\mathrm {GL}_2(\mathbb {Z})$.

We construct the first examples of normal subgroups of mapping class groups that are isomorphic to non-free right-angled Artin groups. Our construction also gives normal, non-free right-angled Artin subgroups of other groups, such as braid groups and pure braid groups, as well as many subgroups of the mapping class group, such as the Torelli subgroup. Our work recovers and generalizes the seminal result of Dahmani–Guirardel–Osin, which gives free, purely pseudo-Anosov normal subgroups of mapping class groups. We give two applications of our methods: (1) we produce an explicit proper normal subgroup of the mapping class group that is not contained in any level $m$ congruence subgroup and (2) we produce an explicit example of a pseudo-Anosov mapping class with the property that all of its even powers have free normal closure and its odd powers normally generate the entire mapping class group. The technical theorem at the heart of our work is a new version of the windmill apparatus of Dahmani–Guirardel–Osin, which is tailored to the setting of group actions on the projection complexes of Bestvina–Bromberg–Fujiwara.

For a graph $\Gamma$, let $K(H_{\Gamma },\,1)$ denote the Eilenberg–Mac Lane space associated with the right-angled Artin (RAA) group $H_{\Gamma }$ defined by $\Gamma$. We use the relationship between the combinatorics of $\Gamma$ and the topological complexity of $K(H_{\Gamma },\,1)$ to explain, and generalize to the higher TC realm, Dranishnikov's observation that the topological complexity of a covering space can be larger than that of the base space. In the process, for any positive integer $n$, we construct a graph $\mathcal {O}_n$ whose TC-generating function has polynomial numerator of degree $n$. Additionally, motivated by the fact that $K(H_{\Gamma },\,1)$ can be realized as a polyhedral product, we study the LS category and topological complexity of more general polyhedral product spaces. In particular, we use the concept of a strong axial map in order to give an estimate, sharp in a number of cases, of the topological complexity of a polyhedral product whose factors are real projective spaces. Our estimate exhibits a mixed cat-TC phenomenon not present in the case of RAA groups.

We study commutation properties of subsets of right-angled Artin groups and trace monoids. We show that if Γ is any graph not containing a four-cycle without chords, then the group G(Γ) does not contain four elements whose commutation graph is a four-cycle; a consequence is that G(Γ) does not have a subgroup isomorphic to a direct product of non-abelian groups. We also obtain corresponding and more general results in the monoid case.