Somehow a nicer version of a stack where torsion in the automorphism groups aren’t messing things up There is a quasiprojective variety \(M_g\) and a morphism \(\mathcal{M}_g \to M_g\) such that
