Hilbert curves of polarized varieties

Let X be a normal Gorenstein complex projective variety. We introduce the Hilbert variety V_X associated to the Hilbert polynomial χ(x₁L₁+?+x_ρL_ρ), where L₁,…,L_ρ is a basis of , ρ being the Picard number of X, and x₁,…,x_ρ are complex variables. After studying general properties of V_X we specialize to the Hilbert curve of a polarized variety (X,L), namely the plane curve of degree dim(X) associated to χ(xK_X+yL). Special emphasis is given to the case of polarized threefolds.     

Notes on very ample vector bundles on 3-folds

Let be a very ample vector bundle of rank two on a smooth complex projective threefold X. An inequality about the third Segre class of is provided when is nef but not big, and when a suitable positive multiple of defines a morphism X → B with connected fibers onto a smooth projective curve B, where K_X is the canonical bundle of X. As an application, the case where the genus of B is positive and has a global section whose zero locus is a smooth hyperelliptic curve of genus ≧ 2 is investigated, and our previous result is improved for threefolds. Received: 27 January 2005; revised: 26 March 2005     

Discrete behavior of Seshadri constants on surfaces

Working over , we show that, apart possibly from a unique limit point, the possible values of multi-point Seshadri constants for general points on smooth projective surfaces form a discrete set. In addition to its theoretical interest, this result is of practical value, which we demonstrate by giving significantly improved explicit lower bounds for Seshadri constants on and new results about ample divisors on blow ups of at general points.     

On the symplectic structures on moduli space of stable sheaves over a K3 or abelian surface and on Hilbert scheme of points

Fix a smooth very ample curve C on a K3 or abelian surface X. Let $ \mathcal{M} $ denote the moduli space of pairs of the form (F, s), where F is a stable sheaf over X whose Hilbert polynomial coincides with that of the direct image, by the inclusion map of C in X, of a line bundle of degree d over C, and s is a nonzero section of F. Assume d to be sufficiently large such that F has a nonzero section. The pullback of the Mukai symplectic form on moduli spaces of stable sheaves over X is a holomorphic 2-form on $ \mathcal{M} $. On the other hand, $ \mathcal{M} $ has a map to a Hilbert scheme parametrizing 0-dimensional subschemes of X that sends (F, s) to the divisor, defined by s, on the curve defined by the support of F. We prove that the above 2-form on $ \mathcal{M} $ coincides with the pullback of the symplectic form on the Hilbert scheme.     

Rational Lagrangian fibrations on punctual Hilbert schemes of K3 surfaces

A rational Lagrangian fibration f on an irreducible symplectic variety V is a rational map which is birationally equivalent to a regular surjective morphism with Lagrangian fibers. By analogy with K3 surfaces, it is natural to expect that a rational Lagrangian fibration exists if and only if V has a divisor D with Bogomolov–Beauville square 0. This conjecture is proved in the case when V is the Hilbert scheme of d points on a generic K3 surface S of genus g under the hypothesis that its degree 2g−2 is a square times 2d−2. The construction of f uses a twisted Fourier–Mukai transform which induces a birational isomorphism of V with a certain moduli space of twisted sheaves on another K3 surface M, obtained from S as its Fourier–Mukai partner.     

Integral generators for the cohomology ring of moduli spaces of sheaves over Poisson surfaces

Let M be a smooth and compact moduli space of stable coherent sheaves on a projective surface S with an effective (or trivial) anti-canonical line bundle. We find generators for the cohomology ring of M, with integral coefficients. When S is simply connected and a universal sheaf E exists over S×M, then its class [E] admits a Künneth decomposition as a class in the tensor product of the topological K-rings. The generators are the Chern classes of the Künneth factors of [E] in . The general case is similar.     

On some moduli spaces of stable vector bundles on cubic and quartic threefolds

We study certain moduli spaces of stable vector bundles of rank 2 on cubic and quartic threefolds. In many cases under consideration, it turns out that the moduli space is complete and irreducible and a general member has vanishing intermediate cohomology. In one case, all except one component of the moduli space has such vector bundles.     

Curves and 0-cycles on projective surfaces

LetC be a smooth curve with ag _n ¹ , i.e. a linear system of dimension 1 and degreen, lying on a smooth projective surfaceS. Let :S P ^N be the map associated to the line bundleK _S +[C] and letD be a general divisor of the given linear systemg _n ¹ . LetV be the linear space spanned by the image ofD through . We study the case in whichn:=dimV=1 and in general we discuss the case in whichn is small. The starting point is an analysis of the adjunction map using Bogomolov-Reider-Serrano techniques; several results from curve theory are also needed.     

On the moduli of surfaces admitting genus two fibrations over elliptic curves

In this paper, we study the structure, deformations and the moduli spaces of complex projective surfaces admitting genus two fibrations over elliptic curves. We observe that a surface admitting a smooth fibration as above is elliptic, and we employ results on the moduli of polarized elliptic surfaces to construct moduli spaces of these smooth fibrations. In the case of nonsmooth fibrations, we relate the moduli spaces to the Hurwitz schemes of morphisms of degree n from elliptic curves to the modular curve X(d), d ≥ 3. Ultimately, we show that the moduli spaces in the nonsmooth case are fiber spaces over the affine line with fibers determined by the components of . Received: 30 August 2006     

Fundamental groups of open K3 surfaces, Enriques surfaces and Fano 3-folds

We investigate when the fundamental group of the smooth part of a K3 surface or Enriques surface with Du Val singularities, is finite. As a corollary we give an effective upper bound for the order of the fundamental group of the smooth part of a certain Fano 3-fold. This result supports Conjecture A below, while Conjecture A (or alternatively the rational-connectedness conjecture in Kollar et al. (J. Algebra Geom. 1 (1992) 429) which is still open when the dimension is at least 4) would imply that every log terminal Fano variety has a finite fundamental group.     

The cup product of Hilbert schemes for K3 surfaces

To any graded Frobenius algebra A we associate a sequence of graded Frobenius algebras A ^[n] so that there is canonical isomorphism of rings (H ^*(X;ℚ)[2]) ^[n] ≅H ^*(X ^[n] ;ℚ)[2n] for the Hilbert scheme X ^[n] of generalised n-tuples of any smooth projective surface X with numerically trivial canonical bundle. Oblatum 25-I-2001 & 18-IX-2002?Published online: 24 February 2003     

Simultaneous generation of jets on K3 surfaces

Let L be an ample line bundle on a K3 surface. We give a sharp bound on n for which nL is k-jet ample.Received: 27 December 2002     

On the sectional invariants of polarized manifolds

Let (X,L) be a polarized manifold of dimension n. In this paper, for any integer i with 0≤i≤n we introduce the notion of the ith sectional invariant of (X,L). We define the ith sectional Euler number e_i(X,L), the ith sectional Betti number b_i(X,L), and the ith sectional Hodge number of type (j,i−j) of (X,L) and we will study some properties of these.     

Effective non-vanishing of global sections of multiple adjoint bundles for polarized 3-folds

Let X be a smooth complex projective variety of dimension 3 and let L be an ample line bundle on X. In this paper, we provide a lower bound for h⁰(m(K_X+L)) under the assumption that κ(K_X+L)≥0. In particular, we get the following: (1) if 0≤κ(K_X+L)≤2, then h⁰(K_X+L)>0 holds. (2) If κ(K_X+L)=3, then h⁰(2(K_X+L))≥3 holds. Moreover we get a classification of (X,L) with κ(K_X+L)=3 and h⁰(2(K_X+L))=3 or 4.     

Ample vector bundles with zero loci of sectional genus two

Let X be a smooth complex projective variety and let be a smooth submanifold of dimension , which is the zero locus of a section of an ample vector bundle of rank on X. Let H be an ample line bundle on X, whose restriction H_Z to Z is generated by global sections. Triplets as above are classified under the assumption that is a polarized manifold of sectional genus 2. This can be regarded as a step towards the classification of ample vector bundles of corank one and curve genus two. Received: 6 June 2003     

Smooth surfaces in smooth fourfolds with vanishing first Chern class

According to a conjecture attributed to Hartshorne and Lichtenbaum and proven by Ellingsrud and Peskine [18], the smooth rational surfaces in ${\mathbb{P}}^4$ belong to only finitely many families. We formulate and study a collection of analogous problems in which ${\mathbb{P}}^4$ is replaced by a smooth fourfold X with vanishing first integral Chern class. We embed such X into a smooth ambient variety and count families of smooth surfaces which arise in X from the ambient variety. We obtain various finiteness results in such settings. The central technique is the introduction of a new numerical invariant for smooth surfaces in smooth fourfolds with vanishing first Chern class.     

On the dimension of global sections of adjoint bundles for polarized 3-folds and 4-folds

Let (X,L) be a polarized manifold of dimension n defined over the field of complex numbers. In this paper, we treat the case where n=3 and 4. First we study the case of n=3 and we give an explicit lower bound for h⁰(K_X+L) if κ(X)≥0. Moreover, we show the following: if κ(K_X+L)≥0, then h⁰(K_X+L)>0 unless κ(X)=−∞ and h¹(O_X)=0. This gives us a partial answer of Effective Non-vanishing Conjecture for polarized 3-folds. Next for n=4 we investigate the dimension of H⁰(K_X+mL) for m≥2. If n=4 and κ(X)≥0, then a lower bound for h⁰(K_X+mL) is obtained. We also consider a conjecture of Beltrametti-Sommese for 4-folds and we can prove that this conjecture is true unless κ(X)=−∞ and h¹(O_X)=0. Furthermore we prove the following: if (X,L) is a polarized 4-fold with κ(X)≥0 and h¹(O_X)>0, then h⁰(K_X+L)>0.     

Pluricanonical maps of stable log surfaces

Stable surfaces and their log analogues are the type of varieties naturally occurring as boundary points in moduli spaces. We extend classical results of Kodaira and Bombieri to this more general setting: if (X,Δ)$(X,\mathrm{\Delta })$ is a stable log surface with reduced boundary (possibly empty) and I   is its global index, then 4I(_KX+Δ)$4I(K_X+\mathrm{\Delta })$ is base-point-free and 8I(_KX+Δ)$8I(K_X+\mathrm{\Delta })$ is very ample.