We relate the equianalytic and the equisingular deformations of a reduced complex plane curve to the Jacobian syzygies of its defining equation. Several examples and conjectures involving rational cuspidal curves are discussed.
The purpose of this paper is to prove Ein--Lazarsfeld's conjecture on asymptotic vanishing of syzygies of algebraic varieties. This result, together with Ein--Lazarsfeld's asymptotic nonvanishing theorem, describes the overall picture of asymptotic behaviors of the minimal free resolutions of the graded section rings of line bundles on a projective variety as the positivity of the line bundles grows. Previously, Raicu reduced the problem to the case of products of three projective spaces, and we resolve this case here.
We analyze the vanishing and non-vanishing behavior of the graded Betti numbers for Segre embeddings of products of projective spaces. We give lower bounds for when each of the rows of the Betti table becomes non-zero, and prove that our bounds are tight for Segre embeddings of products of P^1. This generalizes results of Rubei concerning the Green-Lazarsfeld property N_p for Segre embeddings. Our methods combine the Kempf-Weyman geometric technique for computing syzygies, the Ein-Erman-Lazarsfeld approach to proving non-vanishing of Betti numbers, and the theory of algebras with straightening…
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…
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.
Inspired by the methods of Voisin, the first two authors recently proved that one could read off the gonality of a curve C from the syzygies of its ideal in any one embedding of sufficiently large degree. This was deduced from from a vanishing theorem for the asymptotic syzygies associated to an arbitrary line bundle B on C. The present paper extends this vanishing theorem to a smooth projective variety X of arbitrary dimension. Specifically, given a line bundle B on X, we prove that if B is p-jet very ample (i.e. the sections of B separate jets of total weight p+1) then the weight one Koszul …
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$.
We survey three results on syzygies of curves beyond Green's conjecture, with a particular emphasis on drawing connections between the study of syzygies and other topics in moduli theory.
Let $C$ be a plane rational curve of degree $d$ and $p:\tilde C \rightarrow C$ its normalization. We are interested in the splitting type $(a,b)$ of $C$, where $\mathcal{O}_{\mathbb{P}^1}(-a-d)\oplus \mathcal{O}_{\mathbb{P}^1}(-b-d)$ gives the syzigies of the ideal $(f_0,f_1,f_2)\subset K[s,t]$, and $(f_0,f_1,f_2)$ is a parameterization of $C$. We want to describe in which cases $(a,b)=(k,d-k)$ ($2k\leq d)$, via a geometric description; namely we show that $(a,b)=(k,d-k)$ if and only if $C$ is the projection of a rational curve on a rational normal surface in $\mathbb{P}^{k+1}$.
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 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 prove that the minimal free resolution of the secant variety of a curve is asymptotically pure. As a corollary, we show that the Betti numbers of converge to a normal distribution.
These lectures discuss recent advances on syzygies on algebraic curves, especially concerning the Green, the Prym-Green and the Green-Lazarsfeld Secant Conjectures. The methods used are largely geometric and variational, with a special emphasis on examples and explicit calculations. The notes are based on series of lectures given in Daejeon (March 2013), Rome (November-December 2015) and Guanajuato (February 2016).
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…
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.
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.
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 study the asymptotic non-vanishing of syzygies for products of projective spaces. Generalizing the monomial methods of Ein, Erman, and Lazarsfeld \cite{einErmanLazarsfeld16} we give an explicit range in which the graded Betti numbers of $\mathbb{P}^{n_1}\times \mathbb{P}^{n_2}$ embedded by $\mathcal{O}_{\mathbb{P}^{n_1}\times\mathbb{P}^{n_2}}(d_1,d_2)$ are non-zero. These bounds provide the first example of how the asymptotic syzygies of a smooth projective variety whose embedding line bundle grows in a semi-ample fashion behave in nuanced and previously unseen ways.
We start the study of reduced complex projective plane curves, whose Jacobian syzygy module has 3 generators. Among these curves one finds the nearly free curves introduced by the authors, and the plus-one generated line arrangements introduced by Takuro Abe. All the Thom-Sebastiani type plane curves, and more generally, any curve whose global Tjurina number is equal to a lower bound given by A. du Plessis and C.T.C. Wall, are 3-syzygy curves. Rational plane curves which are nearly cuspidal, i.e. which have only cusps except one singularity with two branches, are also related to this class of …
We present a construction explaining the existence of (unexpected) curves of degree $d+k$, passing through a set $Z$ of points on $\mathbb{P}^2$, and having a generic point $P$ of multiplicity $d$. The construction is based on the syzygies of the $k$-th powers of Jacobian of the product of lines dual to the points of $Z$. We prove also a result characterizing the unexpectedness of the curves via splitting type of the bundle of these syzygies retricted to the line dual to $P$.
Let C \in P2 be a reduced, singular curve of degree d and equation f = 0. Let Σdenote the jacobian subscheme of C. We have 0 -> E -> 3.O -> I_Σ(d-1) -> 0 (the surjection is given by the partials of f). We study the relationships between the Betti numbers of the module H^0_*(E) and the integers, d; τ, where τ= deg(Σ). We observe that our results apply to any quasi-complete intersection of type (s; s; s).
First we give a sharp upper bound for the cardinal $m$ of a minimal set of generators for the module of Jacobian syzygies of a complex projective reduced plane curve $C$. Next we discuss the sharpness of an upper bound, given by A. du Plessis and C.T.C. Wall, for the global Tjurina number of such a curve $C$, in terms of its degree $d$ and of the minimal degree $r\leq d-1$ of a Jacobian syzygy. We give a homological characterization of the curves whose global Tjurina number equals the du Plessis-Wall upper bound, which implies in particular that for such curves the upper bound for $m$ is also …
We show that vanishing of asymptotic p-th syzygies implies p-very ampleness for line bundles on arbitrary projective schemes. For smooth surfaces we prove that the converse holds when p is small, by studying the Bridgeland-King-Reid-Haiman correspondence for tautological bundles on the Hilbert scheme of points. This extends previous results of Ein-Lazarsfeld, Ein-Lazarsfeld-Yang and gives a partial answer to some of their questions. As an application of our results, we show how to use syzygies to bound the irrationality of a variety.