Noncomplete embeddings of rational surfaces

For a smooth projective variety $X\subset \P^r$ embedded by the complete linear system, Property $N_p$ has been studied for a long time. On the other hand, Castelnuovo-Mumford regularity conjecture and related problems have been focused for a projective variety which is not necessarily linearly normal. This paper aims to explain the influence of Property $N_p$ on higher normality and defining equations of a smooth variety embedded by sub-linear system. Also we prove a claim a...

A long standing conjecture, known to us as the Eisenbud Goto conjecture, states that an n-dimensional variety embedded with degree $d$ in the $N$- dimensional projective space is $(d-(N-n)+1)$-regular in the sense of Castelnuovo-Mumford. In this work the conjecture is proved for all smooth varieties $X$ embedded by the complete linear system associated with a very ample line bundle $L$ such that $\Delta (X,L) \le 5$ where $\Delta (X,L) = \dim{X} + \deg{X} -h^0(L).$ As a by-...

Given a curve C on a projective nonsingular rational surface S, over an algebraically closed field of characteristic zero, we are interested in the set Omega_C of linear systems Lambda on S satisfying C is in Lambda, dim Lambda > 0, and the general member of Lambda is a rational curve. The main result of the paper gives a complete description of Omega_C and, in particular, characterizes the curves C for which Omega_C is non empty.

A viable and still unproved conjecture states that, if $X$ is a smooth algebraic surface and $C$ is a smooth algebraic curve in $X$, then $C$ realizes the smallest possible genus amongst all smoothly embedded $2$-manifolds in its homology class. A proof is announced here for this conjecture, for a large class of surfaces $X$, under the assumption that the normal bundle of $C$ has positive degree.

The behaviour of Castelnuovo-Mumford regularity under ``geometric'' transformations is not well understood. In this paper we are concerned with examples which will shed some light on certain questions concerning this behaviour.

We derive new bounds for the Castelnuovo-Mumford regularity of the ideal sheaf of a complex projective manifold of any dimension. They depend linearly on the coefficients of the Hilbert polynomial, and are optimal for rational scrolls, but most likely not for other varieties. Our proof is based on an observation of Lazarsfeld in his approach for surfaces and does not require the (full) projection step. We obtain a bound for each partial linear projection of the given variety,...

Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree,i.e., Castelnuovo-Mumford regularity of a given variety X is less than or equal to deg(X)-codimension(X)+1. Generic projection methods proved to be effective for the study of regularity of smooth projevtive varieties of dimension at most four(cf.[BM},[K2],[L],[Pi] and [R...

Let $X \subset \P^r$ be a nondegenerate projective variety and let $\nu_{\ell} : \P^r \to \P^N$ be the $\ell$-th Veronese embedding. In this paper we study the higher normality, defining equations and syzygies among them for the projective embedding $\nu_{\ell} (X) \subset \P^N$. We obtain that for a very ample line bundle $L \in {Pic}X$ such that $X \subset \P H^0 (X,L)$ is $m$-regular in the sense of Castelnuovo-Mumford, $(X,L^{\ell})$ satisfies property $N_{\ell}$ for all ...

We prove the regularity conjecture, namely Eisenbud-Goto conjecture, for a normal surface with rational, Gorenstein elliptic and log canonical singularities. Along the way, we bound the regularity for a dimension zero scheme by its Loewy length and for a curve allowing embedded or isolated point components by its arithmetic degree.

The goal of this article is to study the equations and syzygies of embeddings of rational surfaces and certain Fano varieties. Given a rational surface X and an ample and base-point-free line bundle L on X, we give an optimal numerical criterion for L to satisfy property Np. This criterion turns out to be a characterization of property Np if X is anticanonical. We also prove syzygy results for adjunction bundles and a Reider type theorem for higher syzygies. For certain Fan...