On linear systems of curves on rational scrolls

On binomial equations defining rational normal scrolls

We show that a rational normal scroll can in general be set-theoretically defined by a proper subset of the 2-minors of the associated two-row matrix. This allows us to find a class of rational normal scrolls that are almost set-theoretic complete intersections.

A remark on hyperplane sections of rational normal scrolls

We present algebraic and geometric arguments that give a complete classification of the rational normal scrolls that are hyperplane section of a given rational normal scrolls.

On curves lying on a rational normal surface scroll

In this paper, we study the minimal free resolution of non-ACM divisors $X$ of a smooth rational normal surface scroll $S=S(a_1 ,a_2 ) \subset \mathbb{P}^r$. Our main result shows that for $a_2 \geq 2a_1 -1$, there exists a nice decomposition of the Betti table of $X$ as a sum of much simpler Betti tables. As a by-product of our results, we obtain a complete description of the graded Betti numbers of $X$ for the cases where $S=S(1,r-2)$ for some $r \geq 3$ and $S=S(2,r-3)$ for some $r \geq 6$.

Resolutions of General Canonical Curves on Rational Normal Scrolls

Let $C\subset \mathbb{P}^{g-1}$ be a general curve of genus $g$ and let $k$ be a positive integer such that the Brill-Noether number $ρ(g,k,1)\geq 0$ and $g > k+1$. The aim of this short note is to study the relative canonical resolution of $C$ on a rational normal scroll swept out by a $g^1_k=|L|$ with $L\in W^1_k(C)$ general. We show that the bundle of quadrics appearing in the relative canonical resolution is unbalanced if and only if $ρ>0$ and $(k-ρ-\frac{7}{2})^2-2k+\frac{23}{4}>0$.

Special scrolls whose base curve has general moduli

In this paper we study the Hilbert scheme of smooth, linearly normal, special scrolls under suitable assumptions on degree, genus and speciality.

Euler-Chow series for scrolls and ruled surfaces

We prove that the Euler-Chow series for ruled surfaces and scrolls is rational by means of an explicit computation.

Curves with Canonical Models on Scrolls

Let $C$ be an integral and projective curve whose canonical model $C'$ lies on a rational normal scroll $S$ of dimension $n$. We mainly study some properties on $C$, such as gonality and the kind of singularities, in the case where $n=2$ and $C$ is non-Gorenstein, and in the case where $n=3$, the scroll $S$ is smooth, and $C'$ is a local complete intersection inside $S$. We also prove that a rational monomial curve with just one singular point lies on a surface scroll if and only if its gonality is at most $3$, and that it lies on a threefold scroll if and only if its gonality is at most $4$.

The Hilbert curve of a 4-dimensional scroll with a divisorial fiber

In dimension $n = 2m-2 \geq 4$ adjunction theoretic scrolls over a smooth $m$-fold may not be classical scrolls, due to the existence of divisorial fibers. A $4$-dimensional scroll $(X,L)$ over $\mathbb P^3$ of this type is considered, and the equation of its Hilbert curve $Γ$ is determined in two ways, one of which relies on the fact that $(X,L)$ is at the same time a classical scroll over a threefold $Y \not=\mathbb P^3$. It turns out that $Γ$ does not perceive divisorial fibers. The equation we obtain also shows that a question raised in a previous article by Beltrametti, Lanteri and Sommes…

Projective normality of special scrolls II

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.

On Gonality, Scrolls, and Canonical Models of Non-Gorenstein Curves

Let $C$ be an integral and projective curve; and let $C'$ be its canonical model. We study the relation between the gonality of $C$ and the dimension of a rational normal scroll $S$ where $C'$ can lie on. We are mainly interested in the case where $C$ is singular, or even non-Gorenstein, in which case $C'\not\cong C$. We first analyze some properties of an inclusion $C'\subset S$ when it is induced by a pencil on $C$. Afterwards, in an opposite direction, we assume $C'$ lies on a certain scroll, and check some properties $C$ may satisfy, such as gonality and the kind of its singularities. At t…

Fiber cones of rational normal scrolls are Cohen-Macaulay

In this short paper, we show that the fiber cones of rational normal scrolls are Cohen-Macaulay. As an application, we compute their Castelnuovo-Mumford regularities and $\mathbf{a}$-invariants, as well as the reduction number of the defining ideals of the rational normal scrolls. We also characterize the Gorensteinness of the fiber cone.

Projective normality of special scrolls

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.

Blowup algebras of rational normal scrolls

We determine the equations of the blowup of $\mathbb{P}^n$ along a $d$-fold rational normal scroll $S$, and we prove that the Rees ring and special fiber ring of $S \subseteq \mathbb{P}^n$ are Koszul algebras.

Weil divisors on rational normal scrolls

The aim of this paper is to study Weil divisors on a singular rational normal scroll X. In particular the author describes explicitly the group of divisorial sheaves associated to Weil divisors on X, via the direct image of the Picard group of the canonical resolution of X, which is very well known. The analysis naturally splits in two cases, depending on the codimension of the vertex of X (>2 or =2). When the codimension of the vertex is >2, then the two groups are isomorphic and there is a natural intersection form in X inherited from the one in the canonical resolution. When the codimension…

The action of the Cremona group on rational curves of $ \mathbb{P}^{3} $

A Cremona transformation is a birational self-map of the projective space $ \mathbb{P}^{n} $. Cremona transformations of $ \mathbb{P}^{n} $ form a group and this group has a rational action on subvarieties of $ \mathbb{P}^{n} $ and hence on its Hilbert scheme. We study this action on the family of rational curves of $ \mathbb{P}^{3} $ and we prove the rectifiability of any one dimensional family. This shows that any uniruled surface is Cremona equivalent to a scroll and it answers a question of Bogomolov-Böhning related to the study of uniformly rational varieties. We provide examples of infin…

Equations and Syzygies of K3 Carpets and Unions of Scrolls

We describe the equations and Gröbner 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 ideals of these surfaces are nested in a simple way that allows us to analyze them inductively. We describe explicit Gröbner bases and syzygies for these objects over the integers and this lets us treat them in all characteristics simultaneously.

K3 projective models in scrolls

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.

Canonical Geometrically Ruled Surfaces

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.

Brill-Noether theory and non-special scrolls

In this paper we study the Brill-Noether theory of sub-line bundles of a general, stable rank-two vector bundle on a curve C with general moduli. We relate this theory to the geometry of unisecant curves on smooth, non-special scrolls with hyperplane sections isomorphic to C. Most of our results are based on degeneration techniques.

Moduli spaces of bundles and Hilbert schemes of scrolls over $ν$-gonal curves

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…

Scrolls and hyperbolicity

Using degeneration to scrolls, we give an easy proof of non-existence of curves of low genera on general surfaces in P3 of degree d >=5. We show, along the same lines, boundedness of families of curves of small enough genera on general surfaces in P3. We also show that there exist Kobayashi hyperbolic surfaces in P3 of degree d = 7 (a result so far unknown), and give a new construction of such surfaces of degree d = 6. Finally we provide some new lower bounds for geometric genera of surfaces lying on general hypersurfaces of degree 3d > 15 in P4.

Quot schemes, Segre invariants, and inflectional loci of scrolls over curves

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…

Another classification of Incidence Scrolls

The aim of this paper is the computation of the degree and genus of all incidence scrolls in Pn. For this, we fix the dimension of a linear space which have a base space of this fixed dimension. In this way, we can obtain all the incidence scrolls with a line as directrix curve, those whose base contains a plane, and so on.

Blow-up algebras of secant varieties of rational normal scrolls

In this paper, we are mainly concerned with the blow-up algebras of the secant varieties of balanced rational normal scrolls. In the first part, we give implicit defining equations of their associated Rees algebras and fiber cones. Consequently, we can tell that the fiber cones are Cohen--Macaulay normal domains. Meanwhile, these fiber cones have rational singularities in characteristic zero, and are $F$-rational in positive characteristic. The Gorensteinness of the fiber cones can also be characterized. In the second part, we compute the Castelnuovo--Mumford regularities and $\mathbf{a}$-inva…

P^r-scrolls arising from Brill-Noether theory and K3-surfaces

In this paper we study examples of P^r-scrolls defined over primitively polarized K3 surfaces S of genus g, which arise from Brill-Noether theory of the general curve in the primitive linear system on S and from classical Lazarsfeld's results in. We show that such scrolls form an open dense subset of a component H of their Hilbert scheme; moreover, we study some properties of H (e.g. smoothness, dimensional computation, etc.) just in terms of the moduli space of such K3's and of the moduli space of semistable torsion-free sheaves of a given Mukai-vector on S. One of the motivation of this anal…

Rolling Factors Deformations and Extensions of Canonical Curves

A tetragonal canonical curve is the complete intersection of two divisors on a scroll. The equations can be written in `rolling factors' format. For such homogeneous ideals we give methods to compute infinitesimal deformations. Deformations can be obstructed. For the case of quadratic equations on the scroll we derive explicit base equations. They are used to study extensions of tetragonal curves.

Some Loci of Rational Cubic Fourfolds

In this paper we investigate the divisor $\mathcal C_{14}$ inside the moduli space of smooth cubic hypersurfaces in $\mathbb P^5$, whose generic element is a smooth cubic containing a smooth quartic scroll. Using the fact that all degenerations of quartic scrolls in $\mathbb P^5$ contained in a smooth cubic hypersurface are surfaces with one apparent double point, we conclude that every cubic hypersurface belonging to $\mathcal C_{14}$ is rational. As an application of our results and of the construction of some explicit examples contained in the Appendix, we also prove that the Pfaffian locus…

数域中序的逐次极小值的界与曲线的滚动不变量

Bounds on Successive Minima of Orders in Number Fields and Scrollar Invariants of Curves

本文研究数域中序的逐次极小值上的乘法约束，证明所有非平凡约束均来自乘法，并对无穷多个次数（包括所有小于18的n）明确给出全部约束，同时将类似结果推广到曲线的滚动不变量。

Skew-symmetric matrices and Palatini scrolls

We prove that, for m greater than 3 and k greater than m-2, the Grassmannian of m-dimensional subspaces of the space of skew-symmetric forms over a vector space of dimension 2k is birational to the Hilbert scheme of Palatini scrolls in P^(2k-1). For m=3 and k greater than 3, this Grassmannian is proved to be birational to the set of pairs (E,Y), where Y is a smooth plane curve of degree k and E is a stable rank-2 bundle on Y whose determinant is O(k-1).

Abelian surfaces with two plane cubic curve fibrations and Calabi-Yau threefolds

(1,d)-polarized abelian surfaces in P^(d-1) with two plane cubic curve fibrations lie in two elliptic P^2-scrolls. The union of these scrolls form a reducible Calabi-Yau 3-fold. In this paper we show that this occurs when d<10 and analyse the family of such surfaces and 3-folds in detail when d=6. In particular, the reducible Calabi-Yau 3-folds deform in that case to irreducible ones with non-normal singularities.

Donaldson Thomas invariant of P^1 scroll

Let X be a P^1 scroll (a compactification of a line bundle L) over a complex surafce S and assume S has a global two form with zero loci a smooth curve C. The Donaldson Thomas invariants of X is shown to be zero if the curve class has is component on S not a multiple of [C]. For nonzero case, when the prime field insertion are above C, the invariant is shown to depend only on the analytic neighborhood of L in X.

Rational Normal Scrolls and the Defining Equations of Rees Algebras

Consider a height two ideal, $I$, which is minimally generated by $m$ homogeneous forms of degree $d$ in the polynomial ring $R=k[x,y]$. Suppose that one column in the homogeneous presenting matrix $\f$ of $I$ has entries of degree $n$ and all of the other entries of $\f$ are linear. We identify an explicit generating set for the ideal $\Cal A$ which defines the Rees algebra $\Cal R=R[It]$; so $\Cal R=S/\Cal A$ for the polynomial ring $S=R[T_1,...,T_m]$. We resolve $\Cal R$ as an $S$-module and $I^s$ as an $R$-module, for all powers $s$. The proof uses the homogeneous coordinate ring, $A=S/H$,…

Rationality of the universal K3 surface of genus 8

The aim of the present paper is to prove the rationality of the universal family of polarized $ K3 $ surfaces of degree 14. This is achieved by identifying it with the moduli space of cubic fourfolds plus the data of a quartic scroll. The last moduli space is finally proved to be rational since it has a natural structure of $\mathbb P^n$-bundle over a $ k $-stably rational variety with $k \leq n$.

Secant loci of scrolls over curves

Given a curve $C$ and a linear system $\ell$ on $C$, the secant locus $V_e^{e-f}( \ell )$ parametrises effective divisors of degree $e$ which impose at most $e-f$ conditions on $\ell$. For $E \to C$ a vector bundle of rank $r$, we define determinantal subschemes $H_e^{e-f} ( \ell ) \subseteq \mathrm{Hilb}^e ( \mathbb{P} E )$ and $Q_e^{e-f} (V) \subseteq \mathrm{Quot}^{0, e} ( E^* )$ which generalise $V_e^{e-f} ( \ell )$, giving several examples. We describe the Zariski tangent spaces of $Q_e^{e-f} (V)$, and give examples showing that smoothness of $Q_e^{e-f} (V)$ is not necessarily controlled …

Rationally cubic connected manifolds I: manifolds covered by lines

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.

On varieties of almost minimal degree I: Secant loci of rational normal scrolls

To complete the classification theory and the structure theory of varieties of almost minimal degree, that is of non-degenerate irreducible projective varieties whose degree exceeds the codimension by precisely 2, a natural approach is to investigate simple projections of varieties of minimal degree. Let $\tilde X \subset {\mathbb P}^{r+1}_K$ be a variety of minimal degree and of codimension at least 2, and consider $X_p = π_p (\tilde X) \subset {\mathbb P}^r_K$ where $p \in {\mathbb P}^{r+1}_K \backslash \tilde X$. By \cite{B-Sche}, it turns out that the cohomological and local properties of …

Green's conjecture for binary curves

We show that Generic Green's conjecture holds for generic binary curves, through a detailed analysis of the family of scrolls containing fixed rational normal curves.

Nonrational del Pezzo fibrations

Let $X$ be a general divisor in $|3M+nL|$ on the rational scroll $\mathrm{Proj}(\oplus_{i=1}^{4}\mathcal{O}_{\mathbb{P}^{1}}(d_{i}))$, where $d_{i}$ and $n$ are integers, $M$ is the tautological line bundle, $L$ is a fibre of the natural projection to $\mathbb{P}^{1}$, and $d_{1}\geqslant...\geqslant d_{4}=0$. We prove that $X$ is rational $\iff$ $d_{1}=0$ and $n=1$.

切线秩与椭圆正则曲线投影的syzygies

Secant rank and syzygies of projections of elliptic normal curves

研究椭圆正则曲线投影的syzygies，通过切线秩确定投影曲线的Green-Lazarsfeld指数，证明一般点的指数为ceil(d/2)-3。

Irreducible Components of Hilbert Schemes of Rational Curves with given Normal Bundle

We develop a new general method for computing the decomposition type of the normal bundle to a projective rational curve. This method is then used to detect and explain an example of a Hilbert scheme that parametrizes all the rational curves in $\mathbb{P}^s$ with a given decomposition type of the normal bundle and that has exactly two irreducible components. This gives a negative answer to the very old question whether such Hilbert schemes are always irreducible. We also characterize smooth non-degenerate rational curves contained in rational normal scroll surfaces in terms of the splitting t…

On smooth rational threefolds of P^5 with rational non-special hyperplane section

It is known that the smooth rational threefolds of P^5 having a rational non-special surface of P^4 as general hyperplane section have degree d=3,... ,7. We study such threefolds X from the point of view of linear systems of surfaces in P^3, looking in each case fosr an explicit description of a birational map from P^3 to X. For d=3,..., 6 we prove that there exists a line L on X such that the projection map of X centered at L is birational; we completely describe the base loci B of the linear systems found in this way and give a description of any such threefold X as a suitable blowing-down o…

Surfaces of minimal degree of tame representation type and mutations of Cohen-Macaulay modules

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.

On the quadratic normality and the triple curve of three dimensional subvarieties of ${\mathbb P}^5$

A well-known conjecture asserts that smooth threefolds $X\subset\{\mathbb P}^5$ are quadratically normal with the only exception of the Palatini scroll. As a corollary of a more general statement we obtain the following result, which is related to the previous conjecture: If $X\subset\{\mathbb P}^5$ is not quadratically normal, then its triple curve is reducible. Similar results are also given for higher dimensional varieties.

Special Linear Series and Syzygies of Canonical Curves of Genus 9

In this thesis we give a complete description of the syzygies of irreducible, nonsingular, canoncial curves $C$ of genus 9. This includes a collection of all possible Betti tables for $C$. Moreover a direct correspondence between these Betti tables and the number and types of special linear series on $C$ is given. Especially for $\operatorname{Cliff}(C)=3$ the curve $C$ is contained in determinantal surface $Y$ on a 4-dimensional rational normal scroll $X\subset \mathbb{P}^8$ constructed from a base point free pencil of divisors of degree 5.

A Series of Smooth Irregular Varieties in Projective Space

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…

Galois descent for the gonality of curves

We determine conditions for the invariance of the gonality under base extension, depending on the numeric invariants of the curve. More generally, we study the Galois descent of morphisms of curves to Brauer-Severi varieties, and also of rational normal scrolls.

Singular rational curves with points of nearly-maximal weight

In this article we study rational curves with a unique unibranch genus-$g$ singularity, which is of {\it $\ka$-hyperelliptic} type in the sense of \cite{To}; we focus on the cases $\ka=0$ and $\ka=1$, in which the semigroup associated to the singularity is of (sub)maximal weight. We obtain a partial classification of these curves according to the linear series they support, the scrolls on which they lie, and their gonality.

Geometry and intersection theory on Hilbert schemes of families of nodal curves

We study the relative Hilbert scheme of a family of nodal (or smooth) curves, over a base of arbitrary dimension, via its (birational) cycle map, going to the relative symmetric product. We show the cycle map is the blowing up of the discriminant locus, which consists of cycles with multiple points. We work out the action of the blowup or 'discriminant' polarization on some natural cycles in the Hilbert scheme, including generalized diagonals and cycles, called 'node scrolls', parametrizing schemes supported on singular points. We derive an intersection calculus for Chern classes of tautologic…

On a theorem of Castelnuovo and applications to moduli

In this paper we prove a theorem stated by Castelnuovo which bounds the dimension of linear systems of plane curves in terms of two invariants, one of which is the genus of the curves in the system. Then we classify linear systems whose dimension belongs to certain intervals which naturally arise from Castelnuovo's theorem. Finally we make an application to the following moduli problem: what is the maximum number of moduli of curves of geometric genus $g$ varying in a linear system on a surface? It turns out that, for $g\ge 22$, the answer is $2g+1$, and it is attained by trigonal canonical cu…

Strata of rational space curves

The mu-invariant mu = (μ_1,μ_2,μ_3) of a rational space curve gives important information about the curve. In this paper, we describe the structure of all parameterizations that have the same mu-type, what we call a mu-stratum, and as well the closure of strata. Many of our results are based on papers by the second author that appeared in the commutative algebra literature. We also present new results not in the earlier papers, including an explicit formula for the codimension of the locus of non-proper parametrizations within each mu-stratum and a decomposition of the smallest mu-stratum base…

The relative canonical resolution: Macaulay2-package, experiments and conjectures

This short note provides a quick introduction to relative canonical resolutions of curves on rational normal scrolls. We present our Macaulay2-package which computes the relative canonical resolution associated to a curve and a pencil of divisors. Most of our experimental data can be found on a dedicated webpage. We end with a list of conjectural shapes of relative canonical resolutions. In particular, for curves of genus $g=n\cdot k +1$ and pencils of degree $k$ for $n\ge 1$, we conjecture that the syzygy divisors on the Hurwitz space $\mathscr{H}_{g,k}$ constructed by Deopurkar and Patel all…

Smooth rational curves on rational surfaces

Consider the scheme parametrizing non-constant morphisms from a fixed projective curve to a projective surface. There is a rational map between this scheme and the Chow variety of $1$-cycles on the surface. We prove that, if the curve is non-singular, then this rational map is a morphism. As a consequence, we obtain that, if the surface is rational and we fix a divisor class containing a non-singular rational curve, then the scheme parametrizing rational curves on this class is irreducible. Further, if the class has non-negative self-intersection, then the scheme of rational curves has expecte…

Rational curves in Fano hypersurfaces and tropical curves

Using ideas from the theory of tropical curves and degeneration, we prove that any Fano hypersurface (and more generally Fano complete intersections) is swept by at most quadratic rational curves.

Rational curves on the compactified moduli space of rational curves with marked points

We investigate the possible homological classes of rational curves on the moduli space $X_n=\bar{\mathcal{M}_{0,n}}$ of rational nodal curves with $n$ marked points. In the case of $X_5$ and $X_6$ the relevant homology classes belong to certain polyhedral cones which we describe explicitly. Not all homology classes in the cone correspond to rational curves, but all classes sufficiently far from the walls of the cone do. The proof for $X_5$ is explicit, the proof for $X_6$ was carried out using computers.