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.

Braid groups and right angled Artin groups

Graph of groups decompositions of graph braid groups

Representations of A Braid Group with Transpose Symmetry and the Related Link Invariants

Braid groups, free groups, and the loop space of the 2-sphere

Membership problems in braid groups and Artin groups

Orbifold braid groups and complex braid groups

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

Braid groups and Kleinian singularities

The algebraic structure of hyperbolic graph braid groups

Artin Presentations of the Trivial Group and Hyperbolic Closed Pure $3$-Braids

Link Polynomials Related to the New Braid Group Representations

A Note on Pure Braids and Link Concordance

Products of free groups inside graph braid groups

Twisted right-angled Artin groups embedded in knot groups

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

Braid group actions on grassmannians and extended crystals of type $A$

On Positive Braids, Monodromy Groups and Framings

Braided dendriform and tridendriform algebras and braided Hopf algebras of planar trees

Finite braid group orbits on $SL_2$-character varieties

Braid variety cluster structures, I: 3D plabic graphs