On presentations for mapping class groups of orientable surfaces via Poincaré's Polyhedron theorem and graphs of groups

The mapping class group of an orientable surface with one boundary component, S, is isomorphic to a subgroup of the automorphism group of the fundamental group of S. We call these subgroups algebraic mapping class groups. An algebraic mapping class group acts on a space called ordered Auter space. We apply Poincaré's Polyhedron theorem to this action. We describe a decomposition of ordered Auter space. From these results, we deduce that the algebraic mapping class group of S is a quotient of the fundamental group of a graph of groups with, at most, two vertices and, at most, six edges. Vertex and edge groups of our graph of groups are mapping class groups of orientable surfaces with one, tw…