Stable twisted curves and their r-spin structures

The object of this paper are r-spin structures: line bundles whose rth power is isomorphic to the canonical bundle. The stack M^{omega/r}_g of smooth curves with an r-spin structure is a finite torsor. Indeed, M^{omega/r}_g is finite on the stack of smooth genus-g curves M_g and is a finite torsor under the finite group stack M_g^{O/r} of r-torsion line bundles on smooth curves. Over the stack of stable curves, both the fibred category of r-spin structures and the fibred category of r-torsion line bundles are represented by étale stacks, but the properness and the torsor structure are lost. In the present work, we show how this bad picture can be definitely improved simply by placing the problem in the category of twisted curves (a kind of stack-theoretic curves introduced by Abramovich and Vistoli), and describing the notion of stability there. For a given multiindex \ell=(l_0,...,l_[g/2]) of positive integers, we say that a twisted curve is \ell-stable if its stabilizers have order l_i on nodes of type i. These multiindexes classify all the compactifications M_g(\ell) of M_g which are smooth Deligne--Mumford stacks within Olsson's nonseparated stack of twisted curves. Over M_g(\ell), as soon as r divides l_0, the group stack M_g^{O/r}(\ell) of r-torsion line bundles on \ell-stable curves is finite; furthermore, as soon as r divides l_i(2i-1) for each i, the r-spin structures on \ell-stable curves form a finite torsor M_g^{omega/r}(\ell) under M_g^{O/r}(\ell). This yields natural compactifications of M_g^{omega/r}, which we compare with other compactifications previously constructed by Abramovich and Jarvis.