Maximal variation of curves on K3 surfaces
The paper studies the maximality of the variation of smooth curves in the linear system \(|L|\) with \(L\) an ample line bundle on a \(K3\) surface \(S\). Mapping a point \(s\in |L|\) corresponding to a smooth curve \(C\) to the corresponding point \([C]\in M_g\) in the Deligne-Mumford stack of smooth curves of genus \(g\), with \(g=\frac{L^2}2+1\), describe a rational map \[ \Phi:|L|\dashrightarrow M_g. \] The curves in \(|L|\) have maximal variation if \(\Phi\) is generically quasifinite, or equivalently the differential \[ d\Phi:H^0(C,L|_C)\rightarrow H^1(C,T_C) \] is injective. The main result of the paper states that for \(L=mH,m\geq 2\), with \(|H|\) base point free ample linear system such that the locus of nonreduced curves in \(|H|\) has codimension at least three, the curves in \(|L|\) have maximal variation. The strategy is to show that \(H^0(C,T_S|_C)=0\) for a generic smooth curve \(C\) in \(|L|\), since \(H^0(C,T_S|_C)\) is exactly the relative Zariski tangent space \(T_{\Phi}(C)\) of \(\Phi\) at the point \(C\in |L|\). If \(C\) is nonhyperelliptic, then \(T_S|_C\) is semistable for generic \(C\) in \(|H|\) by Hein's result and semistability of \(T_S\). If \(T_S|_C\) is stable, \(H^0(C,T_S|_C)=0\) follows immediately. If \(T_S|_C\) is strictly semistable or if \(C\) is hyperelliptic, then one still have \(H^0(C,T_S|_C)\leq 2\) and \(H^0(C,T_S|_C(-C))=0\), which can imply \(H^0(C',T_S|_{C'})=0\) for \(C'\) in \(|mH|\) with \(m\geq 2\). The assumption on the locus of nonreduced curves in \(|H|\) can be removed for \(m\geq 3\). The paper also provides another approach to the main result: using the comparison with the Hitchin system. More precisely, specialization from curves \(D\in |mH|\) on a \(K3\) surface to spectral curves \(D\twoheadrightarrow C\) with \(C\) a chosen smooth curve in \(|H|\) yields that \(\dim \Phi^{-1}([D])\leq g+1\). Combining this equality with a result of van Geemen and Voisin on Matsushita's conjecture, one sees directly the general quasifinity of \(\Phi.\) The paper is very well written, such that the readers should feel not difficult to understand all the details of the argument. The authors are considerate to add many remarks explaining the relation between their main result and other existing results in the literature.
- \(K3\) curves with index \(k>1\)
- Bott vanishing for algebraic surfaces
- Brill-Noether-Petri without degenerations
- Geometry of moduli spaces of curves and K3 surfaces (after Gritsenko-Hulek-Sankaran, Farkas-Popa, Mukai, Verra, et al.)
- Hitchin fibrations, abelian surfaces, and the \(P=W\) conjecture
- Hitchin integrable systems, deformations of spectral curves, and KP-type equations
- scientific article; zbMATH DE number 4146136 (Why is no real title available?)
- scientific article; zbMATH DE number 108096 (Why is no real title available?)
- scientific article; zbMATH DE number 125556 (Why is no real title available?)
- scientific article; zbMATH DE number 1064389 (Why is no real title available?)
- scientific article; zbMATH DE number 2135188 (Why is no real title available?)
- scientific article; zbMATH DE number 3445394 (Why is no real title available?)
- scientific article; zbMATH DE number 2213911 (Why is no real title available?)
- Hyperelliptic Linear Systems on a K 3 Surface
- Lectures on K3 Surfaces
- Mukai's program (reconstructing a \(K3\) surface from a curve) via wall-crossing
- Mukai's program for curves on a K3 surface
- On a conjecture of Matsushita
- On hyperplane sections of K3 surfaces
- Quasihomogeneous isolated singularities of hyperplanes.
- Rational curves on \(\bar{M}_g\) and \(K3\) surfaces
- Remarks on the positivity of the cotangent bundle of a \(K3\) surface
- Restriction of Stable Rank Two Vector Bundles in Arbitrary Characteristic
- Restrictions of stable bundles
- Sections hyperplanes des surfaces K3
- Spectral curves and the generalised theta divisor.
- The Milnor number and deformations of complex curve singularities
- Wahl maps and extensions of canonical curves and K3 surfaces
- Curves on surfaces with trivial canonical bundle
- Infinitesimal variation functions for families of smooth varieties
- Curves of maximal moduli on \(K3\) surfaces
- Maximal variation of curves on K3 surfaces
- O'Grady spaces and symplectic resolution of moduli spaces of Higgs bundles
- Correspondences acting on constant cycle curves on K3 surfaces
- General infinitesimal variations of the Hodge structure of ample curves in surfaces
- Mukai's program for nonprimitive curves on K3 surfaces
This page was built for publication: Maximal variation of curves on \(K3\) surfaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2097277)
