Based on a recent result of Voisin [2001] we describe the last nonzero syzygy space in the linear strand of a canonical curve C of even genus g=2k lying on a K3 surface, as the ambient space of a k-2-uple embedded P^{k+1}. Furthermore the geometric syzygies constructed by Green and Lazarsfeld [1984] from g^1_{k+1}'s form a non degenerate configuration of finitely many rational normal curves on this P^{k+1}. This proves a natural generalization of Green's conjecture [1984], namely that the geometric syzygies should span the space of all syzygies, in this case.
We describe the spaces of minimal rank last syzygies for the Mukai Varieties of sectional genus 6,7 and 8. Based on this we show: 1. The first geometric syzygies of a general canonical curve of genus 6 form a non degenerate configuration of 5 lines in P^4. 2. The first geometric syzygies of a general canonical curve of genus 7 form a non degenerate, linearly normal, ruled surface of degree 84 on a spinor variety S in P^15. 3. The second geometric syzygies of a general canonical curve of genus 8 form a non degenerate configuration of 14 conics on a 2-uple embedded P^5 in P^20. This proves a nat…
In this thesis we give a complete description of the syzygies of irreducible, nonsingular, canoncial curves $C$ of genus 9. This includes a collection of all possible Betti tables for $C$. Moreover a direct correspondence between these Betti tables and the number and types of special linear series on $C$ is given. Especially for $\operatorname{Cliff}(C)=3$ the curve $C$ is contained in determinantal surface $Y$ on a 4-dimensional rational normal scroll $X\subset \mathbb{P}^8$ constructed from a base point free pencil of divisors of degree 5.
We show that for $5$-gonal curves of odd genus $g\geq 13$ and even genus $g\geq 28$ the $\lceil \frac{g-1}{2}\rceil$-th syzygy module of the curve is not determined by the syzygies of the scroll swept out by the special pencil of degree $5$.
We introduce a relativization of the secant sheaves used by Ein, Green and Lazarsfeld and apply this construction to the study of syzygies of canonical curves. As a first application, we give a simpler proof of Voisin's Theorem for general canonical curves. This completely determines the terms of the minimal free resolution of the coordinate ring of such curves. Secondly, in the case of curves of even genus, we enhance Voisin's Theorem by providing a structure theorem for the last syzygy space, resolving the Geometric Syzygy Conjecture in even genus.
The present paper is related to a conjecture made by Green and Lazarsfeld concerning 1-linear syzygies of curves embedded by complete linear systems of sufficiently large degrees. Given a smooth, irreducible, complex, projective curve $X$, we prove that the least integer $q$ for which the property $(M_q)$ fails for a line bundle $L$ on $X$ does not depend on $L$ as soon as its degree becomes sufficiently large. Consequently, this number is an invariant of the curve, and the statement of Green-Lazarsfeld's conjecture is equivalent to saying that this invariant equals the gonality of the curve. …
We formulate, and in some cases prove, three statements concerning the purity or, more generally the naturality of the resolution of various rings one can attach to a generic curve of genus g and a torsion point of order l in its Jacobian. These statements can be viewed an analogues of Green's Conjecture and we verify them computationally for bounded genus. We then compute the cohomology class of the corresponding non-vanishing locus in the moduli space R_{g,l} of twisted level l curves of genus g and use this to derive results about the birational geometry of R_{g, l}. For instance, we prove …
We explore the concept of projections of syzygies and prove two new technical results; we firstly give a precise characterization of syzygy schemes in terms of their projections, secondly, we prove a converse to Aprodu's Projection Theorem. Applying these results, we prove that extremal syzygies of general curves of non-maximal gonality embedded by a linear system of sufficiently high degree arise from scrolls. Lastly, we prove Green's Conjecture for general covers of elliptic curves (of arbitrary degree) as well as proving a new result for curves of even genus and maximal gonality.
We apply the theory of Groebner bases to the computation of free resolutions over a polynomial ring, the defining equations of a canonically embedded curve, and the unirationality of the moduli space of curves of a fixed genus.
A key result for syzygies of curves is Voisin's proof of Green's conjecture for the canonical embedding of a general curve of any genus. Her primary tools were the Lazarsfeld Mukai bundle on a K3 surface and a representation of Koszul cohomology on the Hilbert scheme of points on the surface. In this note we construct representations of the Koszul complex on Grassmann varieties; Voisin's setup arises as the inverse image of one of the maps. Using a different map, we give a substantially shorter proof of Voisin's result for K3 surfaces of even sectional genus.
We define syzygy points of projective schemes, and introduce a program of studying their GIT stability. Then we describe two cases where we have managed to make some progress in this program, that of polarized K3 surfaces of odd genus, and of genus six canonical curves. Applications of our results include effectivity statements for divisor classes on the moduli space of odd genus K3 surfaces, and a new construction in the Hassett-Keel program for the moduli space of genus six curves.
We prove two statements concerning the linear strand of the minimal free resolution of a curve of fixed gonality. Firstly, we show that a general curve C of genus g of non-maximal gonality k\leq (g+1)/2 satisfies Schreyer's Conjecture, that is, b_{g-k,1}(C,K_C)=g-k, and all its highest order linear syzygies are of Eagon-Northcott type. This is a statement going beyond Green's Conjecture and predicts that all highest order linear syzygies in the canonical embedding of C are determined by the syzygies of the (k-1)-dimensional scroll containing C. Secondly, we formulate an optimal effective versi…
Let $C$ be a trigonal curve of genus $g\ge 5$ and let $T$ be the unique trigonal line bundle inducing a map $π: C \stackrel{3:1}{\longrightarrow} \mathbb{P}^1$. This note provides a short and easy proof of the normal generation for the residual line bundle $K_C\otimes T^{-1}$ for curves of genus $g\ge 7$. Moreover, we compute the minimal free resolution of the embedded curve $C\subset \mathbb{P}(H^0(C,K_C\otimes T^{-n})^*)$ for the residual line bundle $K_C\otimes T^{-n}$ for $n\ge 1$ and $g \ge 3n+4$.
A theorem of Green says that a line bundle of degree at least $2g+1+p$ on a smooth curve $X$ of genus $g$ has property $N_p$. We prove a similar conclusion for certain singular, reducible curves $X$ under suitable degree bounds over all irreducible components of $X$.
In recent years, the equations defining secant varieties and their syzygies have attracted considerable attention. The purpose of the present paper is to conduct a thorough study on secant varieties of curves by settling several conjectures and revealing interaction between singularities and syzygies. The main results assert that if the degree of the embedding line bundle of a nonsingular curve of genus $g$ is greater than $2g+2k+p$ for nonnegative integers $k$ and $p$, then the $k$-th secant variety of the curve has normal Du Bois singularities, is arithmetically Cohen--Macaulay, and satisfie…
In 1967, Shioda \cite{Shi1} determined the ring of invariants of binary octavics and their syzygies using the symbolic method. We discover that the syzygies determined in \cite{Shi1} are incorrect. In this paper, we compute the correct equations among the invariants of the binary octavics and give necessary and sufficient conditions for two genus 3 hyperelliptic curves to be isomorphic over an algebraically closed field $k$, $\ch k \neq 2, 3, 5, 7$. For the first time, an explicit equation of the hyperelliptic moduli for genus 3 is computed in terms of absolute invariants.
We give simple geometric proofs of Aprodu-Farkas-Papadima-Raicu-Weyman's theorem on syzygies of tangent developable surfaces of rational normal curves and Raicu-Sam's result on syzygies of K3 carpets. As a consequence, we obtain a quick proof of Green's conjecture for general curves of genus $g$ over an algebraically closed field $\mathbf{k}$ with $\operatorname{char}(\mathbf{k}) = 0$ or $\operatorname{char}(\mathbf{k}) \geq \lfloor (g-1)/2 \rfloor$. We also show the arithmetic normality of tangent developable surfaces of arbitrary smooth projective curves of large degree.
We introduce the problem of GIT stability for syzygy points of canonical curves with a view toward a GIT construction of the canonical model of the moduli space of stable curves. As the first step in this direction, we prove semi-stability of the first syzygy point for a general canonical curve of odd genus.
We apply a degenerate version of a result due to Hirschowitz, Ramanan and Voisin to verify Green and Green-Lazarsfeld conjectures over explicit open sets inside each $d$-gonal stratum of curves $X$ with $d<[g_X/2]+2$. By the same method, we verify the Green-Lazarsfeld conjecture for any curve of odd genus and maximal gonality. The proof invokes Voisin's solution to the generic Green conjecture as a key argument.
In a first part of this paper, we prove constancy of the canonical graded Betti table among the smooth curves in linear systems on Gorenstein weak Fano toric surfaces. In a second part, we show that Green's canonical syzygy conjecture holds for all smooth curves of genus at most 32 or Clifford index at most 6 on arbitrary toric surfaces. Conversely we use known results on Green's conjecture (due to Lelli-Chiesa) to obtain new facts about graded Betti tables of projectively embedded toric surfaces.
We obtain a complete description of the effective cone of $C_{g-2}$ when $C$ is a general curve of genus $g \geq 6,$ as well as a new bound in the case where $C$ is a smooth plane quintic. In addition, we obtain a new virtual bound for the effective cone of $C_{g-2m}$ which is a genuine bound when $m=2,$ and we also characterize certain natural divisors on $C_{g-2}$ as subordinate loci associated to adjunctions of kernel bundles.
We describe a systematic way of constructing effective divisors on the moduli space of stable curves of genus g having exceptionally small slope. We prove that any divisor on \bar{M}_g consisting of curves failing a certain Green-Lazarsfeld syzygy type condition, provides a counterexample to the Harris-Morrison Slope Conjecture. These divisors generalize our original isolated counterexample to the Slope Conjecture which was the divisor on M_{10} of curves lying on K3 surfaces. We also introduce a new stratification of M_g, somewhat similar to the classical stratification given by gonality, but…
Let $C$ be a curve of genus $g\geqslant 2$ defined over the fraction field $K$ of a complete discrete valuation ring $R$ with algebraically closed residue field. Suppose that $\char(K)=0$ and that the characteristic of the residue field is not 2. Suppose that the Jacobian $\Jac(C)$ has semi-stable reduction over $R$. Embed $C$ in $\Jac(C)$ using a $K$-rational point. We show that the coordinates of the torsion points lying on $C$ lie in the unique moderately ramified quadratic extension of the field generated over $K$ by the coordinates of the $p$-torsion points on $\Jac(C)$.
In this article we we continue the study of property $N_p$ of irrational ruled surfaces begun in \cite{ES}. Let $X$ be a ruled surface over a curve of genus $g \geq 1$ with a minimal section $C_0$ and the numerical invariant $e$. When $X$ is an elliptic ruled surface with $e = -1$, there is an elliptic curve $E \subset X$ such that $E \equiv 2C_0 -f$. And we prove that if $L \in {Pic}X$ is in the numerical class of $aC_0 +bf$ and satisfies property $N_p$, then $(C,L|_{C_0})$ and $(E,L|_E)$ satisfy property $N_p$ and hence $a+b \geq 3+p$ and $a+2b \geq 3+p$. This gives a proof of the relevant p…
We study higher syzygies of a ruled surface $X$ over a curve of genus $g$ with the numerical invariant $e$. Let $L \in {Pic}X$ be a line bundle in the numerical class of $aC_0 +bf$. We prove that for $0 \leq e \leq g-3$, $L$ satisfies property $N_p$ if $a \geq p+2$ and $b-ae \geq 3g-1-e+p$ and for $e \geq g-2$, $L$ satisfies property $N_p$ if $a \geq p+2$ and $b-ae\geq 2g+1+p$. By using these facts, we obtain Mukai type results. For ample line bundles $A_i$, we show that $K_X + A_1 + ... + A_q$ satisfies property $N_p$ when $0 \leq e < \frac{g-3}{2}$ and $q \geq g-2e+1 +p$ or when $e \geq \fra…
For a vector bundle $\mathcal{E}$ of rank $n+1$ over a smooth projective curve $C$ of genus $g$, let $X=¶_C (\mathcal{E})$ with projection map $π:X\to C$. In this paper we investigate the minimal free resolution of homogeneous coordinate rings of $X$. We first clarify the relations between higher syzygies of very ample line bundles on $X$ and higher syzygies of Veronese embedding of fibres of $π$ by the same line bundle. More precisely, letting $H = \mathcal{O}_{¶_C (\mathcal{E})} (1)$ be the tautological line bundle, we prove that if $(¶^n,\mathcal{O}_{¶^n} (a))$ satisfies Property $N_p$, the…
We consider the generic Green conjecture on syzygies of a canonical curve, and particularly the following reformulation thereof: {\it For a smooth projective curve $C$ of genus $g$ in characteristic 0, the condition ${\rm Cliff} C>l$ is equivalent to the fact that $K_{g-l'-2,1}(C,K_C)=0, \forall l'\leq l$.} We propose a new approach, which allows up to prove this result for generic curves $C$ of genus $g(C)$ and gonality ${\rm gon(C)}$ in the range $$\frac{g(C)}{3}+1\leq {\rm gon(C)}\leq\frac{g(C)}{2}+1.$$
Green's Conjecture states the following : syzygies of the canonical model of a curve are simple up to the p^th stage if and only if the Clifford index of C is greater than p. We prove that the generic curve of genus g satisfies Green's conjecture.
The aim of the paper is to provide a series of new examples of smooth surfaces in P^4, not of general type, in degrees varying from 12 up to 14, and to describe their geometry. By using mainly syzygies and liaison techniques, we construct the following families of surfaces: - minimal proper elliptic surfaces of degree 12 and sectional genus 13, - two types of non-minimal proper elliptic surfaces of degree 12 and sectional genus 14, - non-minimal K3 surfaces of degree 13 and sectional genus 16, and - non-minimal K3 surfaces of degree 14 and sectional genus 19.
We bound the genus of a projective curve lying on a complete intersection surface in terms of its degree and the degrees of the defining equations of the surface on which it lies.
In this article we apply the classical method of focal loci of families to give a lower bound for the genus of curves lying on general surfaces. First we translate and reprove Xu's result that any curve C on a general surface in P^3 of degree d>4 has geometric genus g > 1 + deg(C)(d - 5)/2. Then we prove a similar lower bound for the curves lying on a general surface in a given component of the Noether-Lefschetz locus in P^3 and on a general projectively Cohen-Macaulay surface in P^4.
The paper discusses the classification of surfaces of degree 10 and sectional genus 9 and 10. The surfaces of degree at most 9 are described through classical work dating from the last century up to recent years, while surfaces of degree 10 and other sectional genera are studied elsewhere. We use relations between multisecants, linear systems, syzygies and linkage to describe the geometry of each surface. We want in fact to stress the importance of multisecants and syzygies for the study of these surfaces. Adjunction, which provided efficient arguments for the classification of surfaces of sma…
Oort has conjectured that there do not exist Shimura curves lying generically in the Torelli locus of curves of genus $g \geq 8$. We show that there do not exist one-dimensional Shimura families of semi-stable curves of genus $g\geq 5$ of Mumford type. We also show that there do not exist Shimura curves lying generically in the Torelli locus of hyperelliptic curves of genus $g\geq 8$. The first result proves a slightly weaker form of the conjecture for the case of Shimura curves of Mumford type. The second result proves the conjecture for the Torelli locus of hyperelliptic curves. We also pres…
Generalizing the well-known Green Conjecture on syzygies of canonical curves, Green and Lazarsfeld formulated in 1986 the Secant Conjecture predicting that a line bundle L of sufficiently high degree on a curve has a non-linear p-syzygy if and only if L fails to be (p+1)-very ample. Via lattice theory for special K3 surfaces, Voisin's solution of the classical Green Conjecture and calculations on moduli stacks of pointed curves, we prove: (1) The Green-Lazarsfeld Secant Conjecture in various degree of generality, including its strongest possible form in the divisorial case in the universal Jac…
We prove a strong vanishing result for finite length Koszul modules, and use it to derive Green's conjecture for every g-cuspidal rational curve over an algebraically closed field k with char(k) = 0 or char(k) >= (g+2)/2. As a consequence, we deduce that the general canonical curve of genus g satisfies Green's conjecture in this range. Our results are new in positive characteristic, whereas in characteristic zero they provide a different proof for theorems first obtained in two landmark papers by Voisin. Our strategy involves establishing two key results of independent interest: (1) we describ…
We study moduli spaces of K3 surfaces endowed with a Nikulin involution and their image in the moduli space R_g of Prym curves of genus g. We observe a striking analogy with Mukai's well-known work on ordinary K3 surfaces. Many of Mukai's results have a very precise Prym-Nikulin analogue, for instance: (1) A general Prym curve from R_g is a section of a Nikulin surface if and only if g\leq 7, g\neq 6. (2) R_7 has the structure of a Mori fibre space over the corresponding moduli space of polarized Nikulin surfaces. (3) In the case of genus next to maximal (g=6), the Prym-Nikulin locus in R_6 is…
Projective models for Hilbert squares of $K3$ surfaces
Université Paris Cité and Sorbonne Université, CNRS, IMJ-PRG（巴黎西岱大学与索邦大学，法国国家科学研究中心，IMJ-PRG）；Departament de Matemàtiques i Informàtica, Universitat de Barcelona（巴塞罗那大学数学与计算机科学系）；Dipartimento di Matematica “Federigo Enriques”, Università degli Studi di Milano（米兰大学费德里戈·恩里克斯数学系）
We study the pencils of minimal degree on the smooth curves lying on a K3 surface X which carries a fixed-point free involution. Generically, the gonality of these curves is totally governed by the genus 1 fibrations of X
We discuss the role of K3 surfaces in the context of Mercat's conjecture in higher rank Brill-Noether theory. Using liftings of Koszul classes, we show that Mercat's conjecture in rank 2 fails for any number of sections and for any gonality stratum along a Noether-Lefschetz divisor inside the locus of curves lying on K3 surfaces. Then we show that Mercat's conjecture in rank 3 fails even for curves lying on K3 surfaces with Picard number 1. Finally, we provide a detailed proof of Mercat's conjecture in rank 2 for general curves of genus 11, and describe explicitly the action of the Fourier-Muk…
This paper is concerned with some Algebraic Geometry codes on Jacobians of genus 2 curves. We derive a lower bound for the minimum distance of these codes from an upper "Weil type" bound for the number of rational points on irreducible (possibly singular or non-absolutely irreducible) curves lying on an abelian surface over a finite field.
We show $\overline{\mathcal{M}}_{10,10}$ and $\mathcal{F}_{11,9}$ have Kodaira dimension zero. Our method relies on the construction of a number of curves via nodal Lefschetz pencils on blown-up $K3$ surfaces. The construction further yields that any effective divisor in $\overline{\mathcal{M}}_{g}$ with slope $<6+(12-δ)/(g+1)$ must contain the locus of curves that are the normalization of a $δ$-nodal curve lying on a $K3$ surface of genus $g+δ$.
The article proves the Infinitesimal Torelli theorem for surfaces subject to the following conditions: 1) the canonical bundle of a surface is ample and generated by its global sections, 2)the geometric genus $p_g \geq 4$, 3) the irregularity $q=0$ . The main novelty is a realization of the Kodaira-Spencer classes lying in the kernel of the cohomology cup-product controlling the derivative of the period map of weight 2 in the category of the coherent sheaves of a surface.
We give an algebraic method to compute the fourth power of the quotient of any even theta constants associated to a given non-hyperelliptic curve in terms of geometry of the curve. In order to apply the method, we work out non-hyperelliptic curves of genus 4, in particular, such curves lying on a singular quadric, which arise from del Pezzo surfaces of degree 1. Indeed, we obtain a complete 2-level structure of the curves by studying their theta characteristic divisors via exceptional divisors of the del Pezzo surfaces as the structure is required for the method.
A widely believed conjecture predicts that curves of bounded geometric genus lying on a variety of general type form a bounded family. One may even ask whether the canonical degree of a curve $C$ in a variety of general type is bounded from above by some expression $aχ(C)+b$, where $a$ and $b$ are positive constants, with the possible exceptions corresponding to curves lying in a strict closed subset (depending on $a$ and $b$). A theorem of Miyaoka proves this for smooth curves in minimal surfaces, with $a>3/2$. A conjecture of Vojta claims in essence that any constant $a>1$ is possible provid…
Making suitable generalizations of known results we prove some general facts about Gaussian maps. The above are then used, in the second part of the article, to give a set of conditions that insure the surjectivity of Gaussian maps for curves on Enriques surfaces. To do this we also solve a problem of independent interest: a tetragonal curve of genus g > 6 lying on an Enriques surface and general in its linear system, cannot be, in its canonical embedding, a quadric section of a surface of degree g - 1 in P^{g - 1}.
Let $C$ be a curve in $\mathbb{P}^4$ and $X$ be a hypersurface containing it. We show how it is possible to construct a matrix factorization on $X$ from the pair $(C,X)$ and, conversely, how a matrix factorization on $X$ leads to curves lying on $X$. We use this correspondence to prove the unirationality of the Hurwitz space $\mathcal{H}_{12,8}$ and the uniruledness of the Brill-Noether space $\mathcal{W}^1_{13,9}$. Several unirational families of curves of genus $16 \leq g \leq 20$ in $\mathbb{P}^4$ are also exhibited.
