Noncomplete embeddings of rational surfaces

Let X be a smooth projective variety and let K be the canonical divisor of X. In this paper, we study embeddings of X given by adjoint line bundles of the form K+L, where L is an ample line bundle. When X is a regular surface (i.e. H^1(X, O_X) = 0), we obtain a numerical criterion for K+L to have property Np. When X is a regular variety of arbitrary dimension, under a mild condition, we give an explicit calculation for the regularity of the ideal sheaves of such embeddings.

We give a novel and effective criterion for algebraicity of rational normal analytic surfaces constructed from resolving the singularity of an irreducible curve-germ on $CP^2$ and contracting the strict transform of a given line and all but the `last' of the exceptional divisors. As a by-product we construct a new class of analytic non-algebraic rational normal surfaces which are `very close' to being algebraic. These results are local reformulations of some results in (Monda...

The purpose of this paper is to establish a Castelnuovo-Mumford regularity bound for threefolds with mild singularities. Let $X$ be a non-degenerate normal projective threefold in $\mathbb{P}^r$ of degree $d$ and codimension $e$. We prove that if $X$ has rational singularities, then $\text{reg}(X) \leq d-e+2$. Our bound is very close to a sharp bound conjectured by Eisenbud-Goto. When $e=2$ and $X$ has Cohen-Macaulay Du Bois singularities, we obtain the conjectured bound $\te...

Given scheme-theoretic equations for a nonsingular subvariety, we prove that the higher cohomology groups for suitable twists of the corresponding ideal sheaf vanish. From this result, we obtain linear bounds on the multigraded Castelnuovo-Mumford regularity of a nonsingular subvariety, and new criteria for the embeddings by adjoint line bundles to be projectively normal. A special case of our work recovers the vanishing theorem of Bertram, Ein, and Lazarsfeld.

The Castelnuovo-Mumford regularity r of a complex, projective variety V is an upper bound for the degrees of the hypersurfaces necessary to cut out V. In this note we give a bound for r when V is left invariant by a vector field on the ambient projective space. More precisely, assume V is arithmetically Cohen-Macaulay, for instance, a complete intersection. Assume as well that V projects to a normal-crossings hypersurface, which is the case when V is a curve with at most ordi...

We construct examples of complex algebraic surfaces not admitting normal embeddings (in the sense of semialgebraic or subanalytic sets) with image a complex algebraic surface.

We construct examples of non-projective normal proper algebraic surfaces and discuss the pathological behaviour of their Neron-Severi group. Our surfaces are birational to the product of a projective line and a curve of higher genus.

The purpose of this article is to study the deformations of smooth surfaces $X$ of general type whose canonical map is a finite, degree 2 morphism onto a minimal rational surface or onto $\mathbf F_1$, embedded in projective space by a very ample complete linear series. Among other things, we prove that any deformation of the canonical morphism of such surfaces $X$ is again a morphism of degree 2. A priori, this is not at all obvious, for the invariants $(p_g(X),c_1^2(X))$ of...

We prove new results on projective normality, normal presentation and higher syzygies for a surface of general type $X$ embedded by adjoint line bundles $L_r = K + rB$, where $B$ is a base point free, ample line bundle. Our main results determine the $r$ for which $L_r$ has $N_p$ property. In corollaries, we will relate the bounds on $r$ to the regularity of $B$. Examples in the last section show that several results are optimal.

Let $X \subseteq \mathbb{P}^r$ be a non-degenerate smooth projective variety of dimension $n$, codimension $e$, and degree $d$ defined over an algebraically closed field of characteristic zero. In this paper, we first show that $\text{reg} (\mathcal{O}_X) \leq d-e$, and classify the extremal and the next to extremal cases. Our result reduces the Eisenbud-Goto regularity conjecture for the smooth case to the problem finding a Castelnuovo-type bound for normality. It is worth n...