Related papers: Green's Conjecture for curves on arbitrary K3 surf…

We extend the theory of Koszul modules to the bi-graded case, and prove a vanishing theorem that allows us to show that the Canonical Ribbon Conjecture of Bayer and Eisenbud holds over a field of characteristic zero or at least equal to the…

The Green-Lazarsfeld secant conjecture predicts that the syzygies of a curve of sufficiently high degree are controlled by its special secants. We prove this conjecture for all curves of Clifford index at least two and not bielliptic and…

We prove that curves in a non-primitive, base point free, ample linear system on a K3 surface have maximal variation. The result is deduced from general restriction theorems applied to the tangent bundle. We also show how to use…

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…

We describe a method to show that certain elliptic surfaces do not admit purely inseparable multisections (equivalently, that genus one curves over function fields admit no points over the perfect closure of the base field) and use it to…

We analyze morphisms from pointed curves to K3 surfaces with a distinguished rational curve, such that the marked points are taken to the rational curve, perhaps with specified cross ratios. This builds on work of Mukai and others…

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,…

For a K3 surface S, consider the subring of CH(S^n) generated by divisor and diagonal classes (with Q-coefficients). Voisin conjectures that the restriction of the cycle class map to this ring is injective. We prove that Voisin's conjecture…

Using Green's theorem we reduce the variation of the total mean curvature of a smooth surface in the Euclidean 3-space to a line integral of a special vector field and obtain the following well-known theorem as an immediate consequence: the…

We proved the existence of rational curves in every linear system on a general K3 surface and that all rational curves in the hyperplane class are nodal on a general K3 surface of small genus.

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…

In this note we prove that the Beilinson conjecture holds for certain examples of K3 surfaces over $\bar {\mathbb{Q}}$ equipped with an involution, when the quotient of the surface by the involution is the projective plane branched along a…

Ein and Lazarsfeld have shown that one can read off the gonality of an algebraic curve from its syzygies in the embedding defined by any one line bundle of sufficiently large degree. This note extends their approach and shows that the…

We describe the equations and Gr\"obner bases of some degenerate K3 surfaces associated to rational normal scrolls. These K3 surfaces are members of a class of interesting singular projective varieties we call correspondence scrolls. The…

In 1972, Kainen proved a general lower bound on the crossing number of a graph in a closed surface and conjectured that this bound is tight when the graph is either a complete graph or a complete bipartite graph, and the surface is of genus…

In this paper we prove the equivalence of two conjectures on linear systems through fat points on a generic K3 surface. The first conjecture is exactly as Segre conjecture on the projective plane. Whereas the second characterizes such…

We give necessary conditions for the surjectivity of the higher Gaussian maps on a polarized K3 surface. As an application, we show that the higher $k$-th Gauss map for a general curve of genus $g$ (that depends quadratically with $k$) is…

The aim of this paper is to describe algebraic K3 surfaces with an even set of rational curves or of nodes. Their minimal possible Picard number is nine. We completely classify these K3 surfaces and after a carefull analysis of the divisors…

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…

We prove that for any of a wide class of elliptic surfaces $X$ defined over a number field $k$, if there is an algebraic point on $X$ that lies on only finitely many rational curves, then there is an algebraic point on $X$ that lies on no…