The geometry of the moduli space of odd spin curves (Q483226): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
A \textit{theta characteristic} on a smooth curve \(C\) of genus \(g\) is a line bundle \(\eta \in \mathrm{Pic}(C)\) such that \(\eta^{\otimes 2} \cong \omega_C\). The theta characteristic is called \textit{odd} resp. \textit{even} according to the parity of \(h^0(C,\, \eta)\). The stack \(\mathbf{S}_g\) of smooth curves with a theta characteristic is a smooth Deligne-Mumford stack admitting a natural forgetful functor to \(\mathbf{M}_g\). One can construct a compactification \(\overline{\mathbf{S}}_g \to \overline{\mathbf{M}}_g\) by letting smooth curves with a theta characteristic degenerate to so-called \textit{spin curves}. This stack consists of two connected components \(\overline{\mathbf{S}}_g^+\) and \(\overline{\mathbf{S}}_g^-\) corresponding to even and odd theta characteristics, respectively. The even case was treated in [\textit{G. Farkas}, Adv. Math. 223, No. 2, 433--443 (2010; Zbl 1183.14020)] and [\textit{G. Farkas} and \textit{A. Verra}, Math. Ann. 354, No. 2, 465--496 (2012; Zbl 1259.14033)], while the subject of the present paper is the birational geometry of \(\overline{\mathcal{S}}_g^-\), the coarse moduli space associated to \(\overline{\mathbf{S}}_g^-\). The obtained results are quite comprehensive: The authors show that \(\overline{\mathcal{S}}_g^-\) is a variety of general type for \(g \geq 12\) and uniruled (hence of negative Kodaira dimension) for \(g \leq 11\). Moreover they show that for \(g \leq 8\) these spaces are even unirational, and provide explicit birational models. The covering rational curves needed for the uniruledness result are obtained as \textit{theta pencils} on \(K3\) surfaces, which essentially are rational families of hyperplane sections of a \(K3\) surface that contain the support of a fixed odd theta characteristic of any of its member curves. This construction can be carried out for \(g \leq 9\) and \(g = 11\), as the general curves of these genera lie on a \(K3\) surface. For \(g = 10\) the approach has to be modified somewhat using the normalization map for irreducible \(1\)-nodal curves of arithmetic genus \(11\). Unirationality stems from the fact that the general curve of genus \(g \leq 6\) has a plane sextic model, while for \(g = 7\) and \(8\) the \textit{Mukai models} are used. The latter are obtained from certain homogeneous spaces on which the general curve of genus \(7\) up to \(10\) can be obtained as a linear section. These models are used to construct a unirational variety that dominates \(\overline{\mathcal{S}}_g^-\). The fact that \(\overline{\mathcal{S}}_g^-\) is of general type for \(g \geq 12\) is obtained by constructing the divisor of \textit{degenerate theta characteristics} and computing its class. Together with the classes of well-known divisors of small slope this can then be used to deduce that \(K_{\overline{\mathcal{S}}_g^-}\) is big. For the latter one can use a Brill-Noether divisor if \(g \geq 13\), while for \(g = 12\) a special divisor has to be constructed that constitutes a counterexample to the slope conjecture of \textit{J. Harris} and \textit{I. Morrison} [Invent. Math. 99, No. 2, 321--355 (1990; Zbl 0705.14026)]. | |||
Property / review text: A \textit{theta characteristic} on a smooth curve \(C\) of genus \(g\) is a line bundle \(\eta \in \mathrm{Pic}(C)\) such that \(\eta^{\otimes 2} \cong \omega_C\). The theta characteristic is called \textit{odd} resp. \textit{even} according to the parity of \(h^0(C,\, \eta)\). The stack \(\mathbf{S}_g\) of smooth curves with a theta characteristic is a smooth Deligne-Mumford stack admitting a natural forgetful functor to \(\mathbf{M}_g\). One can construct a compactification \(\overline{\mathbf{S}}_g \to \overline{\mathbf{M}}_g\) by letting smooth curves with a theta characteristic degenerate to so-called \textit{spin curves}. This stack consists of two connected components \(\overline{\mathbf{S}}_g^+\) and \(\overline{\mathbf{S}}_g^-\) corresponding to even and odd theta characteristics, respectively. The even case was treated in [\textit{G. Farkas}, Adv. Math. 223, No. 2, 433--443 (2010; Zbl 1183.14020)] and [\textit{G. Farkas} and \textit{A. Verra}, Math. Ann. 354, No. 2, 465--496 (2012; Zbl 1259.14033)], while the subject of the present paper is the birational geometry of \(\overline{\mathcal{S}}_g^-\), the coarse moduli space associated to \(\overline{\mathbf{S}}_g^-\). The obtained results are quite comprehensive: The authors show that \(\overline{\mathcal{S}}_g^-\) is a variety of general type for \(g \geq 12\) and uniruled (hence of negative Kodaira dimension) for \(g \leq 11\). Moreover they show that for \(g \leq 8\) these spaces are even unirational, and provide explicit birational models. The covering rational curves needed for the uniruledness result are obtained as \textit{theta pencils} on \(K3\) surfaces, which essentially are rational families of hyperplane sections of a \(K3\) surface that contain the support of a fixed odd theta characteristic of any of its member curves. This construction can be carried out for \(g \leq 9\) and \(g = 11\), as the general curves of these genera lie on a \(K3\) surface. For \(g = 10\) the approach has to be modified somewhat using the normalization map for irreducible \(1\)-nodal curves of arithmetic genus \(11\). Unirationality stems from the fact that the general curve of genus \(g \leq 6\) has a plane sextic model, while for \(g = 7\) and \(8\) the \textit{Mukai models} are used. The latter are obtained from certain homogeneous spaces on which the general curve of genus \(7\) up to \(10\) can be obtained as a linear section. These models are used to construct a unirational variety that dominates \(\overline{\mathcal{S}}_g^-\). The fact that \(\overline{\mathcal{S}}_g^-\) is of general type for \(g \geq 12\) is obtained by constructing the divisor of \textit{degenerate theta characteristics} and computing its class. Together with the classes of well-known divisors of small slope this can then be used to deduce that \(K_{\overline{\mathcal{S}}_g^-}\) is big. For the latter one can use a Brill-Noether divisor if \(g \geq 13\), while for \(g = 12\) a special divisor has to be constructed that constitutes a counterexample to the slope conjecture of \textit{J. Harris} and \textit{I. Morrison} [Invent. Math. 99, No. 2, 321--355 (1990; Zbl 0705.14026)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Fabian Müller / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14H10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14D23 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14E08 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14M20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6380810 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
spin curves | |||
Property / zbMATH Keywords: spin curves / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
theta characteristic | |||
Property / zbMATH Keywords: theta characteristic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
theta pencil | |||
Property / zbMATH Keywords: theta pencil / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Kodaira dimension | |||
Property / zbMATH Keywords: Kodaira dimension / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Mukai model | |||
Property / zbMATH Keywords: Mukai model / rank | |||
Normal rank |
Revision as of 20:51, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The geometry of the moduli space of odd spin curves |
scientific article |
Statements
The geometry of the moduli space of odd spin curves (English)
0 references
16 December 2014
0 references
A \textit{theta characteristic} on a smooth curve \(C\) of genus \(g\) is a line bundle \(\eta \in \mathrm{Pic}(C)\) such that \(\eta^{\otimes 2} \cong \omega_C\). The theta characteristic is called \textit{odd} resp. \textit{even} according to the parity of \(h^0(C,\, \eta)\). The stack \(\mathbf{S}_g\) of smooth curves with a theta characteristic is a smooth Deligne-Mumford stack admitting a natural forgetful functor to \(\mathbf{M}_g\). One can construct a compactification \(\overline{\mathbf{S}}_g \to \overline{\mathbf{M}}_g\) by letting smooth curves with a theta characteristic degenerate to so-called \textit{spin curves}. This stack consists of two connected components \(\overline{\mathbf{S}}_g^+\) and \(\overline{\mathbf{S}}_g^-\) corresponding to even and odd theta characteristics, respectively. The even case was treated in [\textit{G. Farkas}, Adv. Math. 223, No. 2, 433--443 (2010; Zbl 1183.14020)] and [\textit{G. Farkas} and \textit{A. Verra}, Math. Ann. 354, No. 2, 465--496 (2012; Zbl 1259.14033)], while the subject of the present paper is the birational geometry of \(\overline{\mathcal{S}}_g^-\), the coarse moduli space associated to \(\overline{\mathbf{S}}_g^-\). The obtained results are quite comprehensive: The authors show that \(\overline{\mathcal{S}}_g^-\) is a variety of general type for \(g \geq 12\) and uniruled (hence of negative Kodaira dimension) for \(g \leq 11\). Moreover they show that for \(g \leq 8\) these spaces are even unirational, and provide explicit birational models. The covering rational curves needed for the uniruledness result are obtained as \textit{theta pencils} on \(K3\) surfaces, which essentially are rational families of hyperplane sections of a \(K3\) surface that contain the support of a fixed odd theta characteristic of any of its member curves. This construction can be carried out for \(g \leq 9\) and \(g = 11\), as the general curves of these genera lie on a \(K3\) surface. For \(g = 10\) the approach has to be modified somewhat using the normalization map for irreducible \(1\)-nodal curves of arithmetic genus \(11\). Unirationality stems from the fact that the general curve of genus \(g \leq 6\) has a plane sextic model, while for \(g = 7\) and \(8\) the \textit{Mukai models} are used. The latter are obtained from certain homogeneous spaces on which the general curve of genus \(7\) up to \(10\) can be obtained as a linear section. These models are used to construct a unirational variety that dominates \(\overline{\mathcal{S}}_g^-\). The fact that \(\overline{\mathcal{S}}_g^-\) is of general type for \(g \geq 12\) is obtained by constructing the divisor of \textit{degenerate theta characteristics} and computing its class. Together with the classes of well-known divisors of small slope this can then be used to deduce that \(K_{\overline{\mathcal{S}}_g^-}\) is big. For the latter one can use a Brill-Noether divisor if \(g \geq 13\), while for \(g = 12\) a special divisor has to be constructed that constitutes a counterexample to the slope conjecture of \textit{J. Harris} and \textit{I. Morrison} [Invent. Math. 99, No. 2, 321--355 (1990; Zbl 0705.14026)].
0 references
spin curves
0 references
theta characteristic
0 references
theta pencil
0 references
Kodaira dimension
0 references
Mukai model
0 references