The moduli space of graphs $MG\_n$ is the quotient of Culler-Vogtmann's outer space $X\_n$ by the action of $\mathrm{Out}(F\_n)$. It can be thought of as the space of metric graphs homotopy equivalent to a wedge of $n$ circles with all vertices of valence $\geq 3$. A metric graph can be thought of as simply a graph with an assignment of positive edge lengths to all edges, and when an edge length goes to $0$, the edge itself also contracts, yielding a new graph type in $MG\_n$. One also often assumes that the sum of edge lengths is $1$, since this condition yields a homotopy equivalent space.


One of the useful properties of $MG\_n$ is that it is a rational $K(\pi,1)$ for $\mathrm{Out}(F\_n)$: $H\_\*(MG\_n;\mathbb Q)\cong H\_\*(\mathrm{Out}(F\_n);\mathbb{Q})$. If $MG\_n$ were an actual $K(\pi,1)$, the fundamental group would be $\mathrm{Out}(F\_n)$ and that would be that, but it seems in practice that $MG\_n$ is fairly highly connected, and in particular simply connected. $MG\_2$ is certainly contractible. I'm not sure about $MG\_3$; I would guess it's contractible. I suspect that $MG\_4\simeq S^4$.


My question is whether $MG\_n$ is indeed simply connected. I am unaware of any particular consequences this would have, but it also seems we ought to know such a basic property about such a fundamental space.



Is the moduli space of graphs simply connected?
Yes, it is. If $G$ is a discrete group acting on a simply-connected simplicial complex $X$, then a theorem of M. A. Armstrong says that there is a short exact sequence


$$1 \longrightarrow H \longrightarrow G \longrightarrow \pi\_1(X/G) \longrightarrow 1,$$


where $H$ is the subgroup of $G$ generated by elements that fix a point in $X$. The original reference is


M. A. Armstrong, On the fundamental group of an orbit space, Proc. Cambridge Philos. Soc. 61 (1965),
639–646.


See also my paper


A. Putman,
Obtaining presentations from group actions without making choices,
Algebr. Geom. Topol. 11 (2011), 1737-1766.


which proves a more specific result and contains a streamlined version of Armstrong's proof in Section 3.1 (which is really just a meditation on the usual facts about covering spaces, which the above restricts to if the action is free and thus $H = 1$).


In any case, if we apply this with $G = \text{Out}(F\_n)$ and $X = X\_n$ (Outer Space), then we see that $H = G$ since $G$ is generated by torsion elements, which fix points of Outer space. The quotient is thus simply-connected, as desired.


A similar argument shows that the (ordinary, non-orbifold) fundamental group of the moduli space of curves is trivial. This was originally proved (by this argument) in


Maclachlan, Colin, Modulus space is simply-connected, Proc. Amer. Math. Soc. 29 1971 85–86.


