Coloring graphs of homologous spheres

Abstract

The curve graph of a surface is the graph whose vertices are isotopy classes of essential, closed curves on the surface. Edges join vertices with disjoint representatives. The curve graph plays a central role in the theory of mapping class groups of surfaces. Gaster, Greene, and Vlamis have shown that the subgraph of the curve graph induced by curves in a single primitive homology class is uniquely and finitely colorable. In the analogy between the theory of mapping class groups of surfaces and outer automorphisms of free groups, the sphere graph of $M_r$, a connect sum of $r$ copies of $S_1 \times S_2$ plays an analogous role in the theory. Motivated by Gaster, Green, and Vlamis' result, we investigate $\mathcal{S}_v(M_r)$, the subgraph of the sphere graph of $M_r$ induced by spheres representing a single primitive homology class $[v] \in H_2(M_r;\mathbb{Z})$. We show that this graph is uniquely $r-1$ colorable. As a corollary, with $r\ge 3$ we obtain a nontrivial homomorphism from the Torelli subgroup $IO_r \le \operatorname{Out}(F_r)$ to the symmetric group on $r-1$ symbols; this parallels Gaster, Greene, and Vlamis' connection between their coloring and the Chillingworth homomorphism. In the course of our proof we find new smaller generating sets for mapping class groups of $M_r$ with spheres deleted.