Conjecture on normal right-angled Artin subgroups of mapping class groups

Let $S=S_{g,p}$ be an orientable surface, and let $\operatorname{Mod}(S)$ denote its mapping class group. Let $N$ be a nontrivial normal subgroup of $\operatorname{Mod}(S)$ that is isomorphic to a right-angled Artin group. The groups occurring in the authors' construction include the free products

$$F_\infty,\qquad \mathop{*}_{\infty}\left(F_\infty\times\mathbb{Z}\right),\qquad \mathop{*}_{\infty}\left(F_\infty\times F_\infty\right),\qquad \mathop{*}_{\infty}\left(F_\infty\times F_\infty\times\mathbb{Z}\right).$$

Normal RAAG conjecture. The subgroup $N$ is isomorphic to one of the right-angled Artin subgroups of $\operatorname{Mod}(S)$ afforded by the authors' construction. In particular, $N$ is isomorphic to a free product of the groups

$$F_\infty,\qquad \mathop{*}_{\infty}\left(F_\infty\times\mathbb{Z}\right),\qquad \mathop{*}_{\infty}\left(F_\infty\times F_\infty\right),\qquad \mathop{*}_{\infty}\left(F_\infty\times F_\infty\times\mathbb{Z}\right).$$

The construction gives examples of normal, non-free, right-angled Artin subgroups, while results for mapping classes with sufficiently small support exclude such groups in that setting. The conjecture seeks to classify all nontrivial normal right-angled Artin subgroups of mapping class groups and remains open.