GEOMETRY OF THE MODULI OF HIGHER SPIN CURVES

Abstract

This article treats various aspects of the geometry of the moduli [Formula: see text] of r-spin curves and its compactification [Formula: see text]. Generalized spin curves, or r-spin curves, are a natural generalization of 2-spin curves (algebraic curves with a theta-characteristic), and have been of interest lately because of the similarities between the intersection theory of these moduli spaces and that of the moduli of stable maps. In particular, these spaces are the subject of a remarkable conjecture of E. Witten relating their intersection theory to the Gelfand–Dikii (KdVr) heirarchy. There is also a W-algebra conjecture for these spaces [16] generalizing the Virasoro conjecture of quantum cohomology. For any line bundle [Formula: see text] on the universal curve over the stack of stable curves, there is a smooth stack [Formula: see text] of triples (X, ℒ, b) of a smooth curve X, a line bundle ℒ on X, and an isomorphism [Formula: see text]. In the special case that [Formula: see text] is the relative dualizing sheaf, then [Formula: see text] is the stack [Formula: see text] of r-spin curves. We construct a smooth compactification [Formula: see text] of the stack [Formula: see text], describe the geometric meaning of its points, and prove that its coarse moduli is projective. We also prove that when r is odd and g>1, the compactified stack of spin curves [Formula: see text] and its coarse moduli space [Formula: see text] are irreducible, and when r is even and [Formula: see text] is the disjoint union of two irreducible components. We give similar results for n-pointed spin curves, as required for Witten's conjecture, and also generalize to the n-pointed case the classical fact that when [Formula: see text] is the disjoint union of d(r) components, where d(r) is the number of positive divisors of r. These irreducibility properties are important in the study of the Picard group of [Formula: see text] [15], and also in the study of the cohomological field theory related to Witten's conjecture [16, 34].