Frobenius splitting of Hilbert schemes of points on surfaces

Let X be a quasiprojective smooth surface defined over an algebraically closed field of positive characteristic. In this note we show that if X is Frobenius split then so is the Hilbert scheme Hilb of n points inX. In particular, we get the higher cohomology vanishing for ample line bundles on Hilb when X is projective and Frobenius split. Received November 2, 1999 / Published online March 12, 2001     

Barth type vanishing theorem

In this paper we give a vanishing result for cohomology groups of symmetric powers of the co-normal bundle of a non-degenerate smooth subvariety X of projective space, then we use this theorem to give a Barth type vanishing theorem.      

Counterexamples of Kodaira vanishing for smooth surfaces of general type in positive characteristic

We generalize the construction of Raynaud [14] of smooth projective surfaces of general type in positive characteristic that violate the Kodaira vanishing theorem. This corrects an earlier paper [19] of the same purpose. These examples are smooth surfaces fibered over a smooth curve whose direct images of the relative dualizing sheaves are not nef, and they violate Kollár's vanishing theorem. Further pathologies on these examples include the existence of non-trivial vector fields and that of non-closed global differential 1-forms.     

Torelli Theorem for the Moduli Spaces of Rank 2 Quadratic Pairs

Let X be a smooth projective complex curve. We prove that a Torelli type theorem holds, under certain conditions, for the moduli space of α-polystable quadratic pairs on X of rank 2.     

Kawamata–Viehweg vanishing on rational surfaces in positive characteristic

We prove that the Kawamata–Viehweg vanishing theorem holds on rational surfaces in positive characteristic by means of the lifting property to W ₂(k) of certain log pairs on smooth rational surfaces. As a corollary, the Kawamata–Viehweg vanishing theorem holds on log del Pezzo surfaces in positive characteristic.     

Exponential rarefaction of real curves with many components

Given a positive real Hermitian holomorphic line bundle L over a smooth real projective manifold X, the space of real holomorphic sections of the bundle L ^d inherits for every d∈ℕ^∗ a L ²-scalar product which induces a Gaussian measure. When X is a curve or a surface, we estimate the volume of the cone of real sections whose vanishing locus contains many real components. In particular, the volume of the cone of maximal real sections decreases exponentially as d grows to infinity.     

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 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.     

The separability of the Gauss map and the reflexivity for a projective surface

It is known that if a projective variety X in P ^N is reflexive with respect to the projective dual, then the Gauss map of X defined by embedded tangent spaces is separable, and moreover that the converse is not true in general. We prove that the converse holds under the assumption that X is of dimension two. Explaining the subtleness of the problem, we present an example of smooth projective surfaces in arbitrary positive characteristic, which gives a negative answer to a question raised by S. Kleiman and R. Piene on the inseparability of the Gauss map.      

Generic vanishing index and the birationality of the bicanonical map of irregular varieties

We prove that any smooth complex projective variety with generic vanishing index bigger or equal than 2 has birational bicanonical map. Therefore, if X is a smooth complex projective variety φ with maximal Albanese dimension and non-birational bicanonical map, then the Albanese image of X is fibred by subvarieties of codimension at most 1 of an abelian subvariety of Alb X.     

ON CLIFFORD'S THEOREM FOR VECTOR BUNDLES ON ALGEBRAIC CURVES

Let X be a smooth projective curve of genus g ≥ 2 and E a rank r spanned vector bundle on X with deg(E)/rank(E) ≤ g ? 1. Here we give lower bounds for deg(E) refining the classical theorem of Clifford. Most results are for vector bundles with rank ≤ 5.     

On the Non-Splitting of the Normal Bundle Sequence

In a recent article, Paltin Ionescu and Flavia Repetto proved that if X ? ? ⁿ is a smooth projective variety over ? such that its normal bundle sequence splits over some curve C ? X, then X a linear subspace in ? ⁿ . In this note, we give a purely geometric proof of this result that is valid in arbitrary characteristic.     

An algebraic proof of Iitaka‚s conjecture C 2, 1

We give a proof of Iitaka‘s conjecture C_{2, 1} using only elementary methods from algebraic geometry. The main point we show is that, given a non-isotrivial and relatively minimal model of a family f : X ? B f : X \rightarrow B , where X is a surface and B is a curve, both smooth and projective, the direct image of the relatively canonical sheaf of differentials has strictly positive degree.     

Restriction of Stable Rank Two Vector Bundles in Arbitrary Characteristic

Let X be a smooth variety defined over an algebraically closed field of arbitrary characteristic and 𝒪 _X (H) be a very ample line bundle on X. We show that for a semistable X-bundle E of rank two, there exists an integer m depending only on Δ(E) · H ^dim(X)?2 and H ^dim(X) such that the restriction of E to a general divisor in |mH| is again semistable. As corollaries, we obtain boundedness results, and weak versions of Bogomolov's Theorem and Kodaira's vanishing theorem for surfaces in arbitrary characteristic.     

Existence of a non‐reflexive embedding with birational Gauss map for a projective variety

We study the relationship between the generic smoothness of the Gauss map and the reflexivity (with respect to the projective dual) for a projective variety defined over an algebraically closed field. The problem we discuss here is whether it is possible for a projective variety X in ℙ^N to re‐embed into some projective space ℙ^M so as to be non‐reflexive with generically smooth Gauss map. Our result is that the answer is affirmative under the assumption that X has dimension at least 3 and the differential of the Gauss map of X in ℙ^N is identically zero; hence the projective varietyX re‐embedded in ℙ^M yields a negative answer to Kleiman–Piene's question: Does the generic smoothness of the Gauss map imply reflexivity for a projective variety? A Fermat hypersurface in ℙ^N with suitable degree in positive characteristic is known to satisfy the assumption above. We give some new, other examples of X in ℙ^N satisfying the assumption. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A criterion for ample vector bundles over a curve in positive characteristic

Let X be a smooth projective curve defined over an algebraically closed field of positive characteristic. We give a necessary and sufficient condition for a vector bundle over X to be ample. This generalizes a criterion given by Lange in [Math. Ann. 238 (1978) 193-202] for a rank two vector bundle over X to be ample.     

Vector fields on smooth threefolds vanishing on complete intersections

A result of J. Wahl shows that the existence of a vector field vanishing on an ample divisor of a projective normal variety X implies that X is a cone over this divisor. If X is smooth, X will be isomorphic to the n-dimensional projective space. This paper is a first attempt to generalize Wahl's theorem to higher codimensions: Given a complex smooth projective threefold X and a vector field on X vanishing on an irreducible and reduced curve which is the scheme theoretic intersection of two ample divisors, X is isomorphic to the 3-dimensional projective space or the 3-dimensional quadric. Received: 24 April 2001     

Quantum Lefschetz hyperplane theorem

The mirror theorem is generalized to any smooth projective variety X. That is, a fundamental relation between the Gromov–Witten invariants of X and Gromov–Witten invariants of complete intersections Y in X is established. Oblatum 21-IV-2000 & 11-I-2001?Published online: 2 April 2001     

Some remarks on the de Franchis theorem

Summary LetX be a smooth projective curve defined onC. The number of holomorphic maps from a fixedX to another curve, (both of genus bigger than or equal to two), is finite by the classical de Franchis theorem. In this paper we get an explicit bound for this number, depending on the genus ofX only. Our bound is better than all the previously given ones (by Howard-Sommese and Kani).

---

Sommario SiaX una curva liscia proiettiva definita suC. Il numero delle applicazioni olomorfe esistenti tra unaX fissata ed un'altra curva, (entrambe di genere maggiore od uguale a due), è finito in base al classico teorema di de Franchis. In questo lavoro noi otteniamo, per tale numero, un limite superiore esplicito, dipendente solo dal genere diX. La nostra stima è migliore di tutte quelle date precedentemente (da Howard-Sommese e da Kani).

     

Smooth threefolds in ${\Bbb P}^5$ without apparent triple or quadruple points and a quadruple-point formula

For a projective variety X of codimension 2 in defined over the complex number field , it is traditionally said that X has no apparent -ple points if the -secant lines of X do not fill up the ambient projective space , equivalently, the locus of -ple points of a generic projection of X to ${\Bbb P}^{n+1}$ is empty. We show that a smooth threefold in has no apparent triple points if and only if it is contained in a quadric hypersurface. We also obtain an enumerative formula counting the quadrisecant lines of X passing through a general point of and give necessary cohomological conditions for smooth threefolds in without apparent quadruple points. This work is intended to generalize the work of F. Severi [fSe] and A. Aure [Au], where it was shown that a smooth surface in has no triple points if and only if it is either a quintic elliptic scroll or contained in a hyperquadric. Furthermore we give open questions along these lines. Received: 24 January 2000 / Published online: 18 June 2001