Let Mg,n and Hg,n, for 2g − 2 + n > 0, be, respectively, the moduli stack of n-pointed, genus g smooth curves and its closed substack consisting of hyperelliptic curves. Their topological fundamental groups can be identified, respectively, with Γg,n and Hg,n, the so called Teichmüller modular group and hyperelliptic modular group. A choice of base point on Hg,n defines a monomorphism Hg,n →֒ Γg,...