We prove that the irregularity of a smooth abelian scroll whose dimension is at least half of that of the surrounding projective space is bounded by 2. In addition we discuss some existence results and open problems.
We study the projective normality of a linearly normal special scroll R of degree d and speciality i over a smooth curve of genus g. If d>=4g-2i+1, we prove that the projective normality of the scroll is equivalent to the projective normality of its directrix curve of minimum degree.
We study the projective normality of a linearly normal special scroll R of degree d and speciality i over a smooth curve X of genus g. We relate it with the Clifford index of the base curve X. If d>=4g-2i-Cliff(X)+1, i>=3 and R is smooth, we prove that the projective normality of the scroll is equivalent to the projective normality of its directrix curve of minimum degree.
We study the projective models of complex K3 surfaces polarized by a line bundle L such that all smooth curves in |L| have non-general Clifford index. Such models are in a natural way contained in rational normal scrolls. We use this study to classify and describe all projective models of K3 surfaces of genus at most 10.
We prove the existence of canonical scrolls; that is, scrolls playing the role of canonical curves. First of all, they provide the geometrical version of Riemann Roch Teorem: any special scroll is the projection of a canonical scroll and they allow to understand the classification of special scrolls in P3. Canonical scrolls correspond to the projective model of canonical geometrically ruled surfaces over a smooth curve. We also prove that the generic canonical scroll is projectively normal except in the hyperelliptic case and for very particular cases in the nonhyperelliptic situation.
The classification of projective elliptic line scrolls with the description of their singular loci is given. In particular we recover Atiyah Theorem by using classical methods.
Let $X \subseteq \mathbb{P}^r$ be a scroll of codimension $e$ and degree $d$ over a smooth projective curve of genus $g$. The purpose of this paper is to prove a linear Castelnuovo-Mumford regularity bound that reg$(X) \leq d-e+1+g(e-1)$. This bound works over an algebraically closed field of arbitrary characteristic.
Let $E$ be a vector bundle over a smooth curve $C$, and $S = \mathbb{P} E$ the associated projective bundle. We describe the inflectional loci of certain projective models $ψ\colon S \dashrightarrow \mathbb{P}^n$ in terms of Quot schemes of $E$. This gives a geometric characterisation of the Segre invariant $s_1 (E)$, which leads to new geometric criteria for semistability and cohomological stability of bundles over $C$. We also use these ideas to show that for general enough $S$ and $ψ$, the inflectional loci are all of the expected dimension. An auxiliary result, valid for a general subvarie…
Hilbert schemes of suitable smooth, projective manifolds of low degree which are 3-fold scrolls over the Hirzebruch surface F_1 are studied. An irreducible component of the Hilbert scheme parametrizing such varieties is shown to be generically smooth of the expected dimension and the general point of such a component is described.
One of the simplest examples of a smooth, non degenerate surface in P^4 is the quintic elliptic scroll. It can be constructed from an elliptic normal curve E by joining every point on E with the translation of this point by a non-zero 2-torsion point. The same construction can be applied when E is replaced by a (lineaerly normally embedded) abelian variety A. In this paper we ask the question when the resulting scroll Y is smooth. If A is an abelian surface embedded by a line bundle L of type (d_1,d_2) and r=d_1d_2, then we prove that for general A the scroll Y is smooth if r is at least 7 wit…
Hilbert schemes of suitable smooth, projective 3-fold scrolls over the Hirzebruch surface F_e, with e > 1, are studied. An irreducible component of the Hilbert scheme parametrizing such varieties is shown to be generically smooth of the expected dimension and the general point of such a component is described. This article generalizes the study of Hilbert schemes done in arXiv:1110.5464 for e=1.
We classify the Ulrich vector bundles of arbitrary rank on smooth projective varieties of minimal degree. In the process, we prove the stability of the sheaves of relative differentials on rational scrolls.
The aim of this paper is two--fold. We first strongly improve our previous main result Theorem 3.1 in Arxiv 1702.00918v3 12Feb2018 ("Brill-Noether loci of rank two vector bundles on a general $ν$-gonal curve"), concerning classification of irreducible components of the Brill--Noether locus parametrizing rank 2 semistable vector bundles of suitable degrees $d$, with at least $d-2g+4$ independent global sections, on a general $ν$--gonal curve $C$ of genus $g$. We then uses this classification to study several properties of the Hilbert scheme of suitable surface scrolls in projective space, which…
We study projective surfaces $X \subset \mathbb{P}^r$ (with $r \geq 5$) of maximal sectional regularity and degree $d > r$, hence surfaces for which the Castelnuovo-Mumford regularity $\reg(C)$ of a general hyperplane section curve $C = X \cap \mathbb{P}^{r-1}$ takes the maximally possible value $d-r+3$. We show that each of these surfaces is either a cone over a curve $C \subset \mathbb{P}^{r-1}$ of maximal regularity or else a birational outer linear projection of a smooth rational surface scroll $\widetilde{X} \subset \mathbb{P}^{d+1}$. We prove that the Castelnuovo-Mumford regularity of th…
We investigate the projective normality of smooth, linearly normal surfaces of degree 9. All non projectively normal surfaces which are not scrolls over a curve are classified. Results on the projective normality of surface scrolls are also given. One of the reasons that brought us to look at this question is our desire to find examples for a long standing problem in adjunction theory. Andreatta followed by a generalization by Ein and Lazarsfeld posed the problem of classifying smooth n-dimensional varieties (X,L) polarized with a very ample line bundle L, such that the adjoint linear system |…
A $h$-instanton sheaf on a closed subscheme $X$ of some projective space endowed with an ample and globally generated line bundle $\mathcal{O}_X(h)$ is a coherent sheaf whose cohomology table has a certain prescribed shape. In this paper we deal with $h$-instanton sheaves relating them to Ulrich sheaves. Moreover, we study $h$-instanton sheaves on smooth curves and surfaces, cyclic $n$-folds, Fano $3$-folds and scrolls over arbitrary smooth curves. We also deal with a family of monads associated to $h$-instanton bundles on varieties satisfying some mild extra technical conditions.
The Hilbert scheme of projective 3-folds of codimension 3 or more that are linear scrolls over the projective plane or over a smooth quadric surface or that are quadric or cubic fibrations over the projective line is studied. All known such threefolds of degree from 7 to 11 are shown to correspond to smooth points of an irreducible component of their Hilbert scheme, whose dimension is computed. A relationship with the locus of good determinantal subschemes is investigated
We provide two examples of smooth projective surfaces of tame CM type, by showing that any parameter space of isomorphism classes of indecomposable ACM bundles with fixed rank and determinant on a rational quartic scroll in projective 5-space is either a single point or a projective line. For surfaces of minimal degree and wild CM type, we classify rigid Ulrich bundles as Fibonacci extensions. For the rational normal scrolls S(2,3) and S(3,3), a complete classification of rigid ACM bundles is given in terms of the action of the braid group in three strands.
We prove that any smooth complex projective variety $X$ with plurigenera $P_1(X)=P_2(X)=1$ and irregularity $q(X)=dim (X)$ is birational to an abelian variety.
Let $S\subset\Ps^r$ ($r\geq 5$) be a nondegenerate, irreducible, smooth, complex, projective surface of degree $d$. Let $δ_S$ be the number of double points of a general projection of $S$ to $\Ps^4$. In the present paper we prove that $ δ_S\leq{\binom {d-2} {2}}$, with equality if and only if $S$ is a rational scroll. Extensions to higher dimensions are discussed.
We prove a new inequality for the Hodge number h^1,1 of irregular complex smooth projective surfaces of general type without irregular pencils of genus >1. More specifically we show that if the irregularity q satisfies q=2^k+1 then h^1,1>4q-4.
For a smooth projective variety $X\subset ¶^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 about Property $N_p$ of surface scrolls which is a generalization of Green's work in \cite{Green} about Property $N_p$ for…
In this article we exhibit certain projective degenerations of smooth $K3$ surfaces of degree $2g-2$ in $\Bbb P^g$ (whose Picard group is generated by the hyperplane class), to a union of two rational normal scrolls, and also to a union of planes. As a consequence we prove that the general hyperplane section of such $K3$ surfaces has a corank one Gaussian map, if $g=11$ or $g\geq 13$. We also prove that the general such hyperplane section lies on a unique $K3$ surface, up to projectivities. Finally we present a new approach to the classification of prime Fano threefolds of index one, which doe…
Fix integers $r\geq 4$ and $i\geq 2$ (for $r=4$ assume $i\geq 3$). Assuming that the rational number $s$ defined by the equation $\binom{i+1}{2}s+(i+1)=\binom{r+i}{i}$ is an integer, we prove an upper bound for the genus of a reduced and irreducible complex projective curve in $\mathbb P^r$, of degree $d\gg s$, not contained in hypersurfaces of degree $\leq i$. It turns out that this bound coincides with the Castelnuovo's bound for a curve of degree $d$ in $\mathbb P^{s+1}$. We prove that the bound is sharp if and only if there exists an integral surface $S\subset \mathbb P^r$ of degree $s$, n…
In this paper we study smooth complex projective polarized varieties (X,H) of dimension n \ge 2 which admit a dominating family V of rational curves of H-degree 3, such that two general points of X may be joined by a curve parametrized by V, and such that there is a covering family of rational curves of H-degree one. Our main result is that the Picard number of these manifolds is at most three, and that, if equality holds, (X,H) has an adjuction theoretic scroll structure over a smooth variety.
We prove that smooth projective varieties with equivalent derived categories have isogenous (and sometimes isomorphic) Picard varieties. In particular their irregularity and number of independent vector fields are the same. This is turn implies, in combination with the invariance of Hochschild homology, that all Hodge numbers are the same for arbitrary derived equivalent threefolds.
We show that a smooth projective non-degenerate arithmetically Cohen-Macaulay subvariety X of P^N infinite Cohen-Macaulay type becomes of finite Cohen-Macaulay type by removing Ulrich bundles if and only if N = 5 and X is a quartic scroll or the Segre product of a line and a plane. In turn, we give a complete and explicit classification of ACM bundles over these varieties.
Let $(S,\mathcal L)$ be a smooth, irreducible, projective, complex surface, polarized by a very ample line bundle $\mathcal L$ of degree $d > 35$. In this paper we prove that $K^2_S\geq -d(d-6)$. The bound is sharp, and $K^2_S=-d(d-6)$ if and only if $d$ is even, the linear system $|H^0(S,\mathcal L)|$ embeds $S$ in a smooth rational normal scroll $T\subset \mathbb P^5$ of dimension $3$, and here, as a divisor, $S$ is linearly equivalent to $\frac{d}{2}Q$, where $Q$ is a quadric on $T$.
Let V be a smooth quasi-projective complex surface such that the three first logarithmic plurigenera are equal to 1 and the logarithmic irregularity is equal to 2. We prove that the quasi-Albanese morphism of V is birational and there exists a finite set S such that the quasi-Albanese map is proper over the complement of S in the quasi-Albanese variety A(V) of V. This is a sharp effective version of a classical result of Iitaka.
Let $S$ be a minimal smooth projective surface of general type with irregularity $q=2$. We show that, if $S$ has a nontrivial holomorphic automorphism acting trivially on the cohomology with rational coefficients, then it is a surface isogenous to a product. As a consequence of this geometric characterization, one infers that no nontrivial automorphism of surfaces of general type with $q=2$ (which are not necessarily minimal) can be homotopic to the identity. In particular, such surfaces are rigidified in the sense of Fabrizio Catanese.
Esnault-Viehweg developed the theory of cyclic branched coverings $\tilde X\to X$ of smooth surfaces providing a very explicit formula for the decomposition of $H^1(\tilde X,\mathbb{C})$ in terms of a resolution of the ramification locus. Later, the first author applies this to the particular case of coverings of $\mathbb{P}^2$ reducing the problem to a combination of global and local conditions on projective curves. In this paper we extend the above results in three directions: first, the theory is extended to surfaces with quotient singularities, second the ramification locus can be partiall…
Let $(S,\mathcal L)$ be a smooth, irreducible, projective, complex surface, polarized by a very ample line bundle $\mathcal L$ of degree $d > 25$. In this paper we prove that $χ(\mathcal O_S)\geq -\frac{1}{8}d(d-6)$. The bound is sharp, and $χ(\mathcal O_S)=-\frac{1}{8}d(d-6)$ if and only if $d$ is even, the linear system $|H^0(S,\mathcal L)|$ embeds $S$ in a smooth rational normal scroll $T\subset \mathbb P^5$ of dimension $3$, and here, as a divisor, $S$ is linearly equivalent to $\frac{d}{2}Q$, where $Q$ is a quadric on $T$. Moreover, this is equivalent to the fact that the general hyperpla…
We prove the existence of various families of irreducible homaloidal hypersurfaces in projective space $\mathbb P^ r$, for all $r\geq 3$. Some of these are families of homaloidal hypersurfaces whose degrees are arbitrarily large as compared to the dimension of the ambient projective space. The existence of such a family solves a question that has naturally arisen from the consideration of the classes of homaloidal hypersurfaces known so far. The result relies on a fine analysis of dual hypersurfaces to certain scroll surfaces. We also introduce an infinite family of determinantal homaloidal hy…
We study rank-one sheaves and stable pairs on a smooth projective complex surface. We obtain an embedding of the moduli space of limit stable pairs into a smooth space. The embedding induces a perfect obstruction theory, which, over a surface with irregularity 0, agrees with the usual deformation-obstruction theory. The perfect obstruction theory defines a virtual fundamental class on the moduli space. Using the embedding, we show that the virtual class equals the Euler class of a vector bundle on the smooth ambient space. As an application, we show that on $\mathbb{P}^2$, the expected count o…
Let $X$ be a smooth projective surface over the complex number field and let $L$ be a nef-big divisor on $X$. Here we consider the following conjecture; If the Kodaira dimension $κ(X)\geq 0$, then $K_{X}L\geq 2q(X)-4$, where $q(X)$ is the irregularity of $X$. In this paper, we prove that this conjecture is true if (1) the case in which $κ(X)=0$ or 1, (2) the case in which $κ(X)=2$ and $h^{0}(L)\geq 2$, or (3) the case in which $κ(X)=2$, $X$ is minimal, $h^{0}(L)=1$, and $L$ satisfies some conditions.
Let $C$ be a smooth projective curve in $\mathbb{P}^1\times \mathbb{P}^1$ of genus $g\neq 4$, and assume that it is birationally equivalent to a curve defined by a Laurent polynomial that is non-degenerate with respect to its Newton polygon $Δ$. Then we show that the convex hull $Δ^{(1)}$ of the interior lattice points of $Δ$ is a standard rectangle, up to a unimodular transformation. Our main auxiliary result, which we believe to be interesting in its own right, is that the first scrollar Betti numbers of $Δ$-non-degenerate curves are encoded in the combinatorics of $Δ^{(1)}$, if $Δ$ satisfie…