Let $\mathcal{M}\_{0,n}$ denote the moduli stack of $\mathbb{P}^1$'s equipped with $n$ distinct sections. My understanding is that $\mathcal{M}\_{0,3}$ is a point, so $\mathcal{M}\_{0,4}$ is a scheme, isomorphic to $\mathbb{P}^1 - \{0,1,\infty\}$. This has fundamental group $F\_2$ (the free group of rank 2), and so $\mathcal{M}\_{0,5}$ is a fibration over $\mathbb{P}^1 - \{0,1,\infty\}$ with fibers isomorphic to 4-times punctured $\mathbb{P}^1$'s. 


My question is - is there a good description of the fundamental groups of $\mathcal{M}\_{0,n}$? (say, over $\overline{\mathbb{Q}}$). Are they ever trivial?



Fundamental groups of $\mathcal{M}_{0,n}$
Over an algebraically closed field of characteristic zero, a choice of complex analytification gives you an equivalence between finite étale covers of the moduli scheme $\mathcal{M}\_{0,n}$ and finite covers of the configuration space of $n$ ordered points on the 2-sphere.


We can compute the fundamental group of the latter space by fixing the $n$th point at infinity, and considering configurations of $n-1$ points on the plane, up to rotations, translations, and dilations. If we ignore the rotation ambiguity, the configuration space has fundamental group given by the [pure braid group](https://en.wikipedia.org/wiki/Braid_group#Relation_with_symmetric_group_and_the_pure_braid_group) on $n-1$ strands, which has a description in terms of an iterated semi-direct product of free groups.


Adding back in the rotation ambiguity amounts to quotienting by the global "total rotations", which form a central copy of $\mathbb{Z}$. The moduli scheme therefore has fundamental group isomorphic to the profinite completion of $P\_{n-1}/\mathbb{Z}$.


