Moduli of nodal curves on \(K3\) surfaces (Q509686): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
This paper studies modular properties of nodal curves on general \(K3\) surfaces. Let \((S,L)\) be a smooth, primitively polarized \(K3\) surface of genus \(p\geq 2\), with \(L\) a globally generated, indivisible line bundle with \(L^2=2p-2\). Let \({\mathcal{K}}_p\) denote the moduli space (or stack) of smooth primitively polarized \(K3\) surfaces of genus \(p\) which is of dimension \(19\). For \(m\geq 1\), the arithmetic genus \(p(m)\) of the curves in \(|mL|\) is given by \(p(m)=m^2(p-1)+1\). Let \(\delta\) be an integer such that \(0\leq \delta\leq p(m)\). Consider the quasi-projective scheme \({\mathcal{V}}_{p,m,\delta}\) called the \((m,\delta)\)-universal Severi variety. There is the projection \({\mathcal{V}}_{p,m,\delta} \to {\mathcal{K}}_p\) whose fiber over \((S,L)\) is the variety \(V_{m,\delta}(S)\) called the Severi variety of \(\delta\)-nodal irreducible curves in \(|mL|\). The variety \(V_{m,\delta}(S)\) is smooth of dimension \(g:=p(m)-\delta\) (the geometric genus of any curve in \({\mathcal{V}}_{m,\delta}\)). There is the moduli map \(\psi_{m,\delta}: {\mathcal{V}}_{m,\delta}\to M_g\) where \(M_g\) is moduli space of genus \(g\)-curves. The purpose of this paper is to find conditions on \(p, m, \delta\) for the existence of an irreducible component \({\mathcal{V}}\) of \({\mathcal{V}}_{p,m,\delta}\) on which the moduli map \(\psi: {\mathcal{V}}\to M_g\) (with \(g=p(m)-\delta)\) has generically maximal rank differential. The results are summarized in the following theorem. {Theorem}. (A) For the following values of \(p\geq 3, m\) and \(g\), there is an irreducible component \({\mathcal{V}}\) of \({\mathcal{V}}_{m,\delta}\) such that the moduli map \({\mathcal{V}}\to M_g\) is dominant: {\parindent=6mm \begin{itemize}\item[{\(\bullet\)}] \(m=1\) and \(0\leq g\leq 7\); \item[{\(\bullet\)}] \(m=2\), \(p\geq g-1\) and \(0\leq g\leq 8\); \item[{\(\bullet\)}] \(m=3\), \(p\geq g-2\) and \(0\leq g\leq 9\); \item[{\(\bullet\)}] \(m=4\), \(p\geq g-3\) and \(0\leq g\leq 10\); \item[{\(\bullet\)}] \(m\geq 5\), \(g\geq g-4\) and \(0\leq g\leq 11\). \end{itemize}} (B) For the following values of \(p, m\) and \(\delta\), there is an irreducible component \({\mathcal{V}}\) of \({\mathcal{V}}_{m,\delta}\) such that he moduli map \({\mathcal{V}}\to M_g\) is generically finite into its image: {\parindent=6mm \begin{itemize}\item[{\(\bullet\)}] \(m=1\) and \(p\geq g\geq 15\); \item[{\(\bullet\)}] \(2\leq m\leq 4\), \(p\geq 15\) and \(g\geq 16\); \item[{\(\bullet\)}] \(m\geq 5\), \(p\geq 7\) and \(g\geq 11\). \end{itemize}} To prove this, it suffices to exhibit some specific curves in the universal Severi variety such that a component of the fiber of the moduli map at that curve has the right dimension, i.e., \(\min\{0,22-2g\}\). To do this, consider partial compactifications \(\overline{\mathcal{K}}_p\) and \(\overline{\mathcal{V}}_{m,\delta}\) and prove the assertion for curves in the boundary. The partial compactification \(\overline{\mathcal{K}}_p\) is obtained by adding to \({\mathcal{K}}_p\) a divisor parametrizing pairs \((S,T)\) where \(S\) is a reducible \(K3\) surface of genus \(p\) that can be realized in \({\mathbb{P}}^p\) as the union of two rational normal scrolls intersecting along an elliptic normal curve \(E\), and \(T\) is the zero scheme of a section of the first cotangent sheaf \(T_S^1\), consisting of \(16\) points on \(E\). These \(16\) points together with subtle deformation argument of nodal curves establishes the assertion for \(m=1\), and for \(m>1\), specialization argument of curves in the Severi variety to suitable unions of curves used for \(m=1\) plus other types of limit curves establishes the assertions. | |||
Property / review text: This paper studies modular properties of nodal curves on general \(K3\) surfaces. Let \((S,L)\) be a smooth, primitively polarized \(K3\) surface of genus \(p\geq 2\), with \(L\) a globally generated, indivisible line bundle with \(L^2=2p-2\). Let \({\mathcal{K}}_p\) denote the moduli space (or stack) of smooth primitively polarized \(K3\) surfaces of genus \(p\) which is of dimension \(19\). For \(m\geq 1\), the arithmetic genus \(p(m)\) of the curves in \(|mL|\) is given by \(p(m)=m^2(p-1)+1\). Let \(\delta\) be an integer such that \(0\leq \delta\leq p(m)\). Consider the quasi-projective scheme \({\mathcal{V}}_{p,m,\delta}\) called the \((m,\delta)\)-universal Severi variety. There is the projection \({\mathcal{V}}_{p,m,\delta} \to {\mathcal{K}}_p\) whose fiber over \((S,L)\) is the variety \(V_{m,\delta}(S)\) called the Severi variety of \(\delta\)-nodal irreducible curves in \(|mL|\). The variety \(V_{m,\delta}(S)\) is smooth of dimension \(g:=p(m)-\delta\) (the geometric genus of any curve in \({\mathcal{V}}_{m,\delta}\)). There is the moduli map \(\psi_{m,\delta}: {\mathcal{V}}_{m,\delta}\to M_g\) where \(M_g\) is moduli space of genus \(g\)-curves. The purpose of this paper is to find conditions on \(p, m, \delta\) for the existence of an irreducible component \({\mathcal{V}}\) of \({\mathcal{V}}_{p,m,\delta}\) on which the moduli map \(\psi: {\mathcal{V}}\to M_g\) (with \(g=p(m)-\delta)\) has generically maximal rank differential. The results are summarized in the following theorem. {Theorem}. (A) For the following values of \(p\geq 3, m\) and \(g\), there is an irreducible component \({\mathcal{V}}\) of \({\mathcal{V}}_{m,\delta}\) such that the moduli map \({\mathcal{V}}\to M_g\) is dominant: {\parindent=6mm \begin{itemize}\item[{\(\bullet\)}] \(m=1\) and \(0\leq g\leq 7\); \item[{\(\bullet\)}] \(m=2\), \(p\geq g-1\) and \(0\leq g\leq 8\); \item[{\(\bullet\)}] \(m=3\), \(p\geq g-2\) and \(0\leq g\leq 9\); \item[{\(\bullet\)}] \(m=4\), \(p\geq g-3\) and \(0\leq g\leq 10\); \item[{\(\bullet\)}] \(m\geq 5\), \(g\geq g-4\) and \(0\leq g\leq 11\). \end{itemize}} (B) For the following values of \(p, m\) and \(\delta\), there is an irreducible component \({\mathcal{V}}\) of \({\mathcal{V}}_{m,\delta}\) such that he moduli map \({\mathcal{V}}\to M_g\) is generically finite into its image: {\parindent=6mm \begin{itemize}\item[{\(\bullet\)}] \(m=1\) and \(p\geq g\geq 15\); \item[{\(\bullet\)}] \(2\leq m\leq 4\), \(p\geq 15\) and \(g\geq 16\); \item[{\(\bullet\)}] \(m\geq 5\), \(p\geq 7\) and \(g\geq 11\). \end{itemize}} To prove this, it suffices to exhibit some specific curves in the universal Severi variety such that a component of the fiber of the moduli map at that curve has the right dimension, i.e., \(\min\{0,22-2g\}\). To do this, consider partial compactifications \(\overline{\mathcal{K}}_p\) and \(\overline{\mathcal{V}}_{m,\delta}\) and prove the assertion for curves in the boundary. The partial compactification \(\overline{\mathcal{K}}_p\) is obtained by adding to \({\mathcal{K}}_p\) a divisor parametrizing pairs \((S,T)\) where \(S\) is a reducible \(K3\) surface of genus \(p\) that can be realized in \({\mathbb{P}}^p\) as the union of two rational normal scrolls intersecting along an elliptic normal curve \(E\), and \(T\) is the zero scheme of a section of the first cotangent sheaf \(T_S^1\), consisting of \(16\) points on \(E\). These \(16\) points together with subtle deformation argument of nodal curves establishes the assertion for \(m=1\), and for \(m>1\), specialization argument of curves in the Severi variety to suitable unions of curves used for \(m=1\) plus other types of limit curves establishes the assertions. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Noriko Yui / 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: 14J28 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14D05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14N05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14N35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6686580 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
moduli of curves | |||
Property / zbMATH Keywords: moduli of curves / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
moduli maps | |||
Property / zbMATH Keywords: moduli maps / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
moduli spaces of \(K3\) surfaces | |||
Property / zbMATH Keywords: moduli spaces of \(K3\) surfaces / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Severi varieties | |||
Property / zbMATH Keywords: Severi varieties / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
deformations theory | |||
Property / zbMATH Keywords: deformations theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
degenerations | |||
Property / zbMATH Keywords: degenerations / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2962702936 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1502.07378 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Enumerating curves on rational surfaces: the rational fibration method / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4699499 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On universal Severi varieties of low genus \(K3\) surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on deformations of regular embeddings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On \(k\)-gonal loci in Severi varieties on general \(K3\) surfaces and rational curves on hyperkähler manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Corrigendum to ``On \(k\)-gonal loci in Severi varieties on general \(K3\) surfaces and rational curves on hyperkähler manifolds'' / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Projective degenerations of \(K3\) surfaces, Gaussian maps, and Fano threefolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classification of varieties with canonical curve section via Gaussian maps on canonical curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4756777 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nodal Curves with General Moduli on<i>K</i>3 Surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Global smoothings of varieties with normal crossings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new proof of the global Torelli theorem for K3 surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Degenerating curves and surfaces: first results / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the existence of curves with \(A_k\)-singularities on \(K3\) surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Severi problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The moduli of singular curves on \(K3\) surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: DEGENERATIONS OF<i>K</i>3 SURFACES AND ENRIQUES SURFACES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3222301 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3478539 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4027261 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Degeneration of surfaces with trivial canonical bundle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Enumerative geometry of singular plane curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Families of curves with nodes on K-3 surfaces / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:32, 13 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Moduli of nodal curves on \(K3\) surfaces |
scientific article |
Statements
Moduli of nodal curves on \(K3\) surfaces (English)
0 references
17 February 2017
0 references
This paper studies modular properties of nodal curves on general \(K3\) surfaces. Let \((S,L)\) be a smooth, primitively polarized \(K3\) surface of genus \(p\geq 2\), with \(L\) a globally generated, indivisible line bundle with \(L^2=2p-2\). Let \({\mathcal{K}}_p\) denote the moduli space (or stack) of smooth primitively polarized \(K3\) surfaces of genus \(p\) which is of dimension \(19\). For \(m\geq 1\), the arithmetic genus \(p(m)\) of the curves in \(|mL|\) is given by \(p(m)=m^2(p-1)+1\). Let \(\delta\) be an integer such that \(0\leq \delta\leq p(m)\). Consider the quasi-projective scheme \({\mathcal{V}}_{p,m,\delta}\) called the \((m,\delta)\)-universal Severi variety. There is the projection \({\mathcal{V}}_{p,m,\delta} \to {\mathcal{K}}_p\) whose fiber over \((S,L)\) is the variety \(V_{m,\delta}(S)\) called the Severi variety of \(\delta\)-nodal irreducible curves in \(|mL|\). The variety \(V_{m,\delta}(S)\) is smooth of dimension \(g:=p(m)-\delta\) (the geometric genus of any curve in \({\mathcal{V}}_{m,\delta}\)). There is the moduli map \(\psi_{m,\delta}: {\mathcal{V}}_{m,\delta}\to M_g\) where \(M_g\) is moduli space of genus \(g\)-curves. The purpose of this paper is to find conditions on \(p, m, \delta\) for the existence of an irreducible component \({\mathcal{V}}\) of \({\mathcal{V}}_{p,m,\delta}\) on which the moduli map \(\psi: {\mathcal{V}}\to M_g\) (with \(g=p(m)-\delta)\) has generically maximal rank differential. The results are summarized in the following theorem. {Theorem}. (A) For the following values of \(p\geq 3, m\) and \(g\), there is an irreducible component \({\mathcal{V}}\) of \({\mathcal{V}}_{m,\delta}\) such that the moduli map \({\mathcal{V}}\to M_g\) is dominant: {\parindent=6mm \begin{itemize}\item[{\(\bullet\)}] \(m=1\) and \(0\leq g\leq 7\); \item[{\(\bullet\)}] \(m=2\), \(p\geq g-1\) and \(0\leq g\leq 8\); \item[{\(\bullet\)}] \(m=3\), \(p\geq g-2\) and \(0\leq g\leq 9\); \item[{\(\bullet\)}] \(m=4\), \(p\geq g-3\) and \(0\leq g\leq 10\); \item[{\(\bullet\)}] \(m\geq 5\), \(g\geq g-4\) and \(0\leq g\leq 11\). \end{itemize}} (B) For the following values of \(p, m\) and \(\delta\), there is an irreducible component \({\mathcal{V}}\) of \({\mathcal{V}}_{m,\delta}\) such that he moduli map \({\mathcal{V}}\to M_g\) is generically finite into its image: {\parindent=6mm \begin{itemize}\item[{\(\bullet\)}] \(m=1\) and \(p\geq g\geq 15\); \item[{\(\bullet\)}] \(2\leq m\leq 4\), \(p\geq 15\) and \(g\geq 16\); \item[{\(\bullet\)}] \(m\geq 5\), \(p\geq 7\) and \(g\geq 11\). \end{itemize}} To prove this, it suffices to exhibit some specific curves in the universal Severi variety such that a component of the fiber of the moduli map at that curve has the right dimension, i.e., \(\min\{0,22-2g\}\). To do this, consider partial compactifications \(\overline{\mathcal{K}}_p\) and \(\overline{\mathcal{V}}_{m,\delta}\) and prove the assertion for curves in the boundary. The partial compactification \(\overline{\mathcal{K}}_p\) is obtained by adding to \({\mathcal{K}}_p\) a divisor parametrizing pairs \((S,T)\) where \(S\) is a reducible \(K3\) surface of genus \(p\) that can be realized in \({\mathbb{P}}^p\) as the union of two rational normal scrolls intersecting along an elliptic normal curve \(E\), and \(T\) is the zero scheme of a section of the first cotangent sheaf \(T_S^1\), consisting of \(16\) points on \(E\). These \(16\) points together with subtle deformation argument of nodal curves establishes the assertion for \(m=1\), and for \(m>1\), specialization argument of curves in the Severi variety to suitable unions of curves used for \(m=1\) plus other types of limit curves establishes the assertions.
0 references
moduli of curves
0 references
moduli maps
0 references
moduli spaces of \(K3\) surfaces
0 references
Severi varieties
0 references
deformations theory
0 references
degenerations
0 references
0 references
0 references