Abstract: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.

Growth in Right-Angled Groups and Monoids

Visual right-angled Artin subgroups of two-dimensional right-angled Coxeter groups

Right-angled Artin groups as normal subgroups of mapping class groups

Right-angled Coxeter groups with non-planar boundary

Actions of Right-Angled Coxeter Groups on the Croke Kleiner Spaces

The large-scale geometry of right-angled Coxeter groups

Cactus groups, twin groups, and right-angled Artin groups

The Right Angled Artin Group Functor as a Categorical Embedding

Right-angled Artin groups with non-path-connected boundary

Automorphisms of Graph Products of Groups and Acylindrical Hyperbolicity

Conjugacy geodesics and growth in dihedral Artin groups

Automatic structures and growth functions for finitely generated abelian groups

Right-angled Artin groups and Out(F_n) I: quasi-isometric embeddings

Right-angled Artin subgroups and free products in one-relator groups

Subgroup Growth of Virtually Cyclic Right-Angled Coxeter Groups and Their Free Products

Right-angled Artin groups as finite-index subgroups of their outer automorphism groups

The Artin monoid Cayley graph

On Growth Functions of Coxeter Groups

Acylindrical hyperbolicity of outer automorphism groups of right-angled Artin groups

Acylindrical hyperbolicity for Artin groups with a visual splitting

Degenerations of spherical subalgebras and spherical roots