Symmetric automorphisms of free groups, BNSR-invariants, and finiteness properties

Abstract

The BNSR-invariants of a group $G$ are a sequence $Σ^1(G)\supseteq Σ^2(G) \supseteq \cdots$ of geometric invariants that reveal important information about finiteness properties of certain subgroups of $G$. We consider the symmetric automorphism group $ΣAut_n$ and pure symmetric automorphism group $PΣAut_n$ of the free group $F_n$, and inspect their BNSR-invariants. We prove that for $n\ge 2$, all the ``positive'' and ``negative'' character classes of $PΣAut_n$ lie in $Σ^{n-2}(PΣAut_n)\setminus Σ^{n-1}(PΣAut_n)$. We use this to prove that for $n\ge 2$, $Σ^{n-2}(ΣAut_n)$ equals the full character sphere $S^0$ of $ΣAut_n$ but $Σ^{n-1}(ΣAut_n)$ is empty, so in particular the commutator subgroup $ΣAut_n'$ is of type $F_{n-2}$ but not $F_{n-1}$. Our techniques involve applying Morse theory to the complex of symmetric marked cactus graphs.