On kth-order embeddings of K3 surfaces and Enriques surfaces

We give necessary and sufficient conditions for a big and nef line bundle L of any degree on a K3 surface or on an Enriques surface S to be k-very ample and k-spanned. Furthermore, we give necessary and sufficient conditions for a spanned and big line bundle on a K3 surface S to be birationally k-very ample and birationally k-spanned (our definition), and relate these concepts to the Clifford index and gonality of smooth curves in |L| and the existence of a particular type of rank 2 bundles on S. Received: 28 March 2000 / Revised version: 20 October 2000     

Green’s Conjecture for curves on rational surfaces with an anticanonical pencil

Green’s Conjecture is proved for smooth curves $C$ lying on a rational surface $S$ with an anticanonical pencil, under some mild hypotheses on the line bundle $L=\mathcal{O }_S(C)$ . Constancy of Clifford dimension, Clifford index and gonality of curves in the linear system $\vert L\vert $ is also obtained.     

Gonality and Clifford index of curves on K3 surfaces

We show that every possible value for the Clifford index and gonality of a curve of a given on a K3 surface over the complex numbers occurs.     

Brill–Noether theory of curves on Enriques surfaces I: the positive cone and gonality

We study the existence of linear series on curves lying on an Enriques surface and general in their complete linear system. Using a method that works also below the Bogomolov–Reider range, we compute, in all cases, the gonality of such curves. We also give a new result about the positive cone of line bundles on an Enriques surface and we show how this relates to the gonality. Dedicated to the memory of Silvano Bispuri. The work of A. L. Knutsen is partially supported by a Marie Curie Intra-European Fellowship within the 6th European Community Framework Programme. The work of A. F. Lopez is partially supported by the MIUR national project “Geometria delle varietà algebriche” COFIN 2002--2004.     

Global holomorphic 2-forms and pluricanonical systems on threefolds

The change of zero locus of a global holomorphic 2-form on a threefold under birational transformations is investigated. It is proved that existence of 2-forms with certain conditions on their zero loci on a threefold of nonnegative Kodaira dimension limits types of terminal singularities appearing on its minimal models. As a result of the restriction on the types of terminal singularities and Reid's Riemann-Roch formula, a universal bound N is found such that the linear system NK defines a birational map from a threefold of general type admitting those 2-forms, where K is the canonical bundle of the threefold. Received March 10, 2000 / Published online October 11, 2000     

On the gonality of stable curves

In this paper we use admissible covers to investigate the gonality of a stable curve C over $\mathbb{C}$. If C is irreducible, we compare its gonality to that of its normalization. If C is reducible, we compare its gonality to that of its irreducible components. In both cases we obtain lower and upper bounds. Furthermore, we show that four admissible covers constructed give rise to generically injective maps between Hurwitz schemes. We show that the closures of the images of three of these maps are components of the boundary of the target Hurwitz schemes, and the closure of the image of the remaining map is a component of a certain codimension‐1 subscheme of the boundary of the target Hurwitz scheme.     

The minimal degree of plane models of double covers of smooth curves

If X is a smooth curve such that the minimal degree of its plane models is not too small compared with its genus, then X has been known to be a double cover of another smooth curve Y under some mild condition on the genera. However there are no results yet for the minimal degrees of plane models of double covers except some special cases. In this paper, we give upper and lower bounds for the minimal degree of plane models of the double cover X in terms of the gonality of the base curve Y and the genera of X and Y. In particular, the upper bound equals to the lower bound in case Y is hyperelliptic. We give an example of a double cover which has plane models of degree equal to the lower bound.     

Direct image of parabolic line bundles

Given a vector bundle E, on an irreducible projective variety X, we give a necessary and sufficient criterion for E to be a direct image of a line bundle under a surjective étale morphism. The criterion in question is the existence of a Cartan subalgebra bundle of the endomorphism bundle $\text{End}(E)$. As a corollary, a criterion is obtained for E to be the direct image of the structure sheaf under an étale morphism. The direct image of a parabolic line bundle under any ramified covering map has a natural parabolic structure. Given a parabolic vector bundle, we give a similar criterion for it to be the direct image of a parabolic line bundle under a ramified covering map.     

Harder–Narasimhan theory for linear codes (with an appendix on Riemann–Roch theory)

In this text we develop some aspects of Harder–Narasimhan theory, slopes, semistability and canonical filtration, in the setting of combinatorial lattices. Of noticeable importance is the Harder–Narasimhan structure associated to a Galois connection between two lattices. It applies, in particular, to matroids.We then specialize this to linear codes. This could be done from at least three different approaches: using the sphere-packing analogy, or the geometric view, or the Galois connection construction just introduced. A remarkable fact is that these all lead to the same notion of semistability and canonical filtration. Relations to previous propositions toward a classification of codes, and to Wei's generalized Hamming weight hierarchy, are also discussed.Last, we study the two important questions of the preservation of semistability (or more generally the behavior of slopes) under duality, and under tensor product. The former essentially follows from Wei's duality theorem for higher weights—and its matroid version—which we revisit in an appendix, developing analogues of the Riemann–Roch, Serre duality, Clifford, and gap and gonality sequence theorems. Likewise the latter is closely related to the bound on higher weights of a tensor product, conjectured by Wei and Yang, and proved by Schaathun in the geometric language, which we reformulate directly in terms of codes. From this material we then derive semistability of tensor product.     

Curves in Grassmannians

This paper considers curves in Grassmannians which are themselves immersed in projective space by the Plücker map. It is shown that for a generic vector bundle of high enough degree, the image curve lies in a proper linear subvariety of this projective space and satisfies good conditions on syzygies as a curve in this subspace. For very small degree and generic vector bundle, the curve is non-degenerate.

     

Projective varieties admitting an embedding with Gauss map of rank zero

We introduce an intrinsic property for a projective variety as follows: there exists an embedding into some projective space such that the Gauss map is of rank zero, which we call (GMRZ) for short. It turns out that (GMRZ) imposes strong restrictions on rational curves on projective varieties: In fact, using (GMRZ), we show that, contrary to the characteristic zero case, the existence of free rational curves does not imply that of minimal free rational curves in positive characteristic case. We also focus attention on Segre varieties, Grassmann varieties, and hypersurfaces of low degree. In particular, we give a characterisation of Fermat cubic hypersurfaces in terms of (GMRZ), and show that a general hypersurface of low degree does not satisfy (GMRZ).     

On a conjecture on linear systems

In a remark to Green’s conjecture, Paranjape and Ramanan analysed the vector bundle E which is the pullback by the canonical map of the universal quotient bundle \(T_{\mathbb {P}^{g-1}}(-1)\) on \(\mathbb {P}^{g-1}\) and stated a more general conjecture and proved it for the curves with Clifford Index 1 (trigonal and plane quintics). In this paper, we state the conjecture for general linear systems and obtain results for the case of hyper-elliptic curves.     

Linear pencils on real algebraic curves

Our knowledge of linear series on real algebraic curves is still very incomplete. In this paper we restrict to pencils (complete linear series of dimension one). Let X denote a real curve of genus g with real points and let k(R) be the smallest degree of a pencil on X (the real gonality of X). Then we can find on X a base point free pencil of degree g+1 (resp. g if X is not hyperelliptic, i.e. if k(R)>2) with an assigned geometric behaviour w.r.t. the real components of X, and if we prove that which is the same bound as for the gonality of a complex curve of even genus g. Furthermore, if the complexification of X is a k-gonal curve (k≥2) one knows that k≤k(R)≤2k−2, and we show that for any two integers k≥2 and 0≤n≤k−2 there is a real curve with real points and k-gonal complexification such that its real gonality is k+n.     

Witten deformation and the equivariant index

Let M be a compact Riemannian manifold endowed with an isometric action of a compact, connected Lie group. The method of the Witten deformation is used to compute the virtual representation-valued equivariant index of a transversally elliptic, first order differential operator on M. The multiplicities of irreducible representations in the index are expressed in terms of local quantities associated to the isolated singular points of an equivariant bundle map that is locally Clifford multiplication by a Killing vector field near these points.      

Donagi–Morrison’s examples on 2-elementary K3 surfaces

Let X be an algebraic K3 surface, and let L be a base point free and big line bundle on X. If X admits a map of degree 2 to the projective plane branched over a smooth sextic and L is the pullback of the line bundle O_\mathbbP²(3),{\mathcal{O}_{\mathbb{P}^{2}}(3),} then the gonality of the smooth curves of the complete linear system |L| is not constant. The polarized K3 surface (X, L) consisting of the K3 surface X and the line bundle L is called Donagi–Morrison’s example. In this paper, we give a necessary and sufficient condition for the polarized K3 surface (X, L) consisting of a 2-elementary K3 surface X and an ample line bundle L to be Donagi–Morrison’s example.     

Divisorial complete curves

There is a natural restriction on special divisors of a smooth projective curve C the Clifford index of C. In this paper we look for curves of Clifford index c on which all special divisors exist which are not prevented by c, and we construct two non-trivial examples for c = 4 and c = 5, respectively. Received: 2 May 2005     

There is no Bogomolov type restriction theorem for strong semistability in positive characteristic

We give an example of a strongly semistable vector bundle of rank two on the projective plane such that there exist smooth curves of arbitrary high degree with the property that the restriction of the bundle to the curve is not strongly semistable anymore. This shows that a Bogomolov type restriction theorem does not hold for strong semistability in positive characteristic.

     

Fibred rational surfaces with extremal Mordell-Weil lattices

Slope inequalities are given for fibred rational surfaces according as the Clifford index of a general fibre. For fibred rational surfaces of Clifford index two, the Mordell-Weil lattices of maximal ranks are completely determined.Supported by The 21st Century COE Program named “Towards a new basic science: depth and synthesis”.     

Divisorial components of the Petri locus for pencils

The locus in the moduli space of curves where the Petri map fails to be injective is called the Petri locus. In this paper we provide a new proof on the existence of Divisorial components in the Petri locus for the case of pencils. For this proof we produce some special reducible curves (chains of elliptic components) in the Petri locus and we show that such curves have only a finite number of pencils for which the Petri map is not injective.     

On the 2 very ampleness of the adjoint bundle

Let S be a smooth projective surface over C polarized by a 2-very ample line bundle L=O _S(L), i.e. for any 0-dimensional subscheme (Z,O _Z ) of length 3 the restriction map Γ(L)→Γ(L⊗O _Z) is a surjection. This generalization of very ampleness was recently introduced by M. Beltrametti and A.J. Sommese. The authors prove that, if L·L≥13, the adjoint line bundleK _S⊗L is 2-very ample apart from a list of well understood exceptions and up to contracting down the smooth rational curves E such that E·E=−1, L·E=2. The appendix contains an inductive argument in order to extend the result in higher dimension.