Galois coverings of moduli spaces of curves and loci of curves with symmetry

Let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\overline{\mathcal{M }}_{g,[n]}$$\end{document}, for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$2g-2+n>0$$\end{document}, be the stack of genus \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$g$$\end{document}, stable algebraic curves over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb{C }$$\end{document}, endowed with \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n$$\end{document} unordered marked points. In Looijenga (J Algebraic Geom 3:283–293, 1994), Looijenga introduced the notion of Prym level structures in order to construct smooth projective Galois coverings of the stack \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\overline{\mathcal{M }}_{g}$$\end{document}. In Sect. 2 of this paper, we introduce the notion of Looijenga level structure which generalizes Looijenga construction and provides a tower of Galois coverings of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\overline{\mathcal{M }}_{g,[n]}$$\end{document} equivalent to the tower of all geometric level structures over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\overline{\mathcal{M }}_{g,[n]}$$\end{document}. In Sect. 3, Looijenga level structures are interpreted geometrically in terms of moduli of curves with symmetry. A byproduct of this characterization is a simple criterion for their smoothness. As a consequence of this criterion, it is shown that Looijenga level structures are smooth under mild hypotheses. The second part of the paper, from Sect. 4, deals with the problem of describing the D–M boundary of Looijenga level structures. In Sect. 6, a description is given of the nerve of the D–M boundary of abelian level structures. In Sect. 7, it is shown how this construction can be used to “approximate” the nerve of Looijenga level structures. These results are then applied to elaborate a new approach to the congruence subgroup problem for the Teichmüller modular group along the lines of Boggi (Math Nach 279(9–10):953–987, 2006).