NEF CONES OF PROJECTIVE BUNDLES OVER SURFACES AND SESHADRI CONSTANTS SNEHAJIT MISRA AND NABANITA RAY Abstract. In this article, we give a description of the closed cone of curves of the projective bundle P(E) over a smooth projective variety X. Using duality, we then calculate the nef cone of divisors in P(E) over some special surfaces X and for some special bundles on X. As an applica- tion, we also calculate the Seshadri constants of semistable ample vector bundles with vanishing discriminant on some special ruled surfaces at special points. 1. Introduction A fundamental invariant of a projective variety X is its cone of nef divisors, denoted by Nef(X). It encodes all the information about embeddings of X in projective spaces. Also, knowledge of these cones can be used to study positivity questions, interpolations problems, Seshadri constants etc. Nef cones of a wide class of varieties have been calculated over the last few years (see [12], [5], [14], [10]). In his paper [13], Yoichi Miyaoka studied the nef cone of a projective bundle P(E) over a smooth complex projective curve C, where E is any semistable vector bundle of rank r on C. More generally, it is showed in [5] that Nef P(E) is determined by the numerical data µ (E) in min the Harder-Narasimhan filtration of E. In these cases, the Picard number of P(E) is 2, and hence the nef cones are generated by two extremal rays in a two dimensional space. In general, when the Picard number is at least 3, the nef cones might not be a finite polyhedron, and hence are not so easy to calculate. For example if E is a rank 2 bundle obtained by the Serre construction 2 arXiv:1904.02335v5 [math.AG] 4 Aug 2021 from the ideal sheaf of 10 very general points on P , then the positivity of E is related to the Nagata conjecture. Thus one has to settle for special bundles E on special varieties X, even when dimension of X is 2. Motivated by this, we consider a projective bundle P(E) over a smooth irreducible complex projective variety X together with the projection π : P(E) −→ X. In section 3, we prove the following: Theorem 1.1. Let E be a vector bundle of rank r ≥ 2 on a smooth complex projective variety X. For an irreducible curve C in X together with its normalization ηc : C˜ −→ C, consider the following fibre product diagram: 2020 Mathematics Subject Classification. Primary 14C20, 14E30, 14E25, 14J60 ; Secondary 14J26. Key words and phrases. Nef cone, Mori cone of curves, Seshadri constants, Projective bundle, semistability. 1 2 SNEHAJIT MISRA AND NABANITA RAY η˜ j C˜ × P(E)= P η∗(E| ) c C × P(E)= P(E| ) P(E) X c C X C π˜c πc π η C˜ c Ci X where i and j are inclusions. We define ψc := j ◦ η˜c. Then the closed cone of curves in P(E) is given by NE P(E) = ψ NE P(η∗(E| )) , c ∗ c C CP∈Γ where Γ is the set of all irreducible curves in X. Consequently, we calculate the nef cones Nef P(E) of some special projective bundles P(E) over some special smooth surfaces X (see Corollary 3.4, Corollary 3.5) by applying duality to Theorem 1.1. An important finding in section 3 is the following: Corollary 1.2. Let X be a smooth complex projective surface with NE(X)= a [C ]+ a [C ]+ 1 1 2 2 ···+an[Cn] | ai ∈ R≥0 for some irreducible curves C1,C2, ··· ,Cn in X. If E is a semistable vector 2 bundle of rank r ≥ 2 on X with vanishing discriminant, i.e. △(E) := 2rc2(E) − (r − 1)c1(E)=0, then Nef P(E) = y ξ + π∗γ | γ ∈ N 1(X) ,y ≥ 0, y µ(E| )+(γ · C ) ≥ 0 for all 1 ≤ j ≤ n , n 0 R 0 0 Cj j o where ξ denotes the numerical equivalence classes of the tautological bundle OP(E)(1). We also give several examples to illustrate our results. In most of these examples, the projective bundles P(E) have Picard number at least 3, and the nef cones Nef P(E) are all finite polyhedra. A vector bundle V on X is called ample if OP(V )(1) is ample on P(V ). The Seshadri constant ε(V, x) of an ample vector bundle V on a projective variety X at a closed point x ∈ X is introduced in [7]. Let us consider the following pullback diagram under the blow up map ρx : X˜x = Blx(X) −→ X ρ˜ P(V ) × X˜ = P ρ∗ (V ) x P(V ) X x x π π′ ρx X˜x X ˜ ∗ ˜ −1 Let ξx be the numerical equivalence class of the tautological bundle OP(ρxV )(1), and Ex :=ρ ˜x (Fx), ′ where Fx is the class of the fibre of the map π over the point x. Then the Seshadri constant of V at x ∈ X is defined as ˜ ˜ ε(V, x) := supnλ ∈ R>0 | ξx − λEx is nefo. Note that the Seshadri constant ε(V, x) is not equal to the Seshadri constant of the tautological line bundle OP(V )(1) on P(V ). These interesting constants have been extensively studied by many authors especially for line bundles on algebraic surfaces (see [12], Chapter 5 and [1]). In [7], it is NEF CONES OF PROJECTIVE BUNDLES OVER SURFACES AND SESHADRI CONSTANTS 3 shown that if V is an ample vector bundle on a smooth projective curve C, then the Seshadri constant ε(V, x) = µmin(V ) at x ∈ C. Recently, Seshadri constants for equivariant bundles have been calculated on toric varieties in [9] and on certain homogeneous varieties in [3]. As an application of our results in section 3, we calculate the Seshadri constant of semistable ample vector bundles with vanishing discriminant on some special ruled surfaces at special points (see Theorem 4.2). 2. Preliminaries Throughtout this article, all the varieties are assumed to be over the field of complex numbers C. In this section, we recall the definition and duality property of nef cone as well as the definition of semistability of vector bundles on smooth projective varieties. Let X be a smooth complex projective variety of dimension n with a fixed ample line bundle H on it. 2.1. Harder-Narasimhan Filtration: A non-zero torsion-free coherent sheaf G on X is said to be H-semistable if c (F) · Hn−1 c (G) · Hn−1 µ (F)= 1 ≤ µ (G)= 1 H rank(F) H rank(G) for all subsheaves F of G. For every vector bundle E on X, there is a unique filtration 0= E0 ( E1 ( E2 ( ··· ( Ek−1 ( Ek = E of subbundles of E, called the Harder-Narasimhan filtration of E, such that Ei/Ei−1 is H- semistable torsion free sheaf for each i ∈ {1, 2, ··· ,k} and µ E /E > µ E /E for H i i−1 H i+1 i each i ∈{1, 2, ··· ,k − 1}. We define Q := E /E and µ (E) := µ (Q )= µ E /E . k k k−1 min H k H k k−1 2.2. Nef cone. Let Div0(X) := D ∈ Div(X) | D · C = 0 for all curves C in X be the subgroup of Div(X) consisting of numerically trivial divisors. The quotient Div(X)/ Div0(X) is called the 1 1 N´eron Severi group of X, and is denoted by N (X)Z. The N´eron Severi group N (X)Z is a free abelian group of finite rank. Its rank, denoted by ρ(X) is called the Picard number of X. In particular, N 1(X) := N 1(X) ⊗ R = Div(X)/ Div0(X) ⊗ R is called the real N´eron Severi R Z group. A Cartier divisor D on X (with Z, Q or R coefficients) is called nef if D·C ≥ 0 for all irreducible curves C ⊆ X. The intersection product being independent of numerical equivalence class, one 1 1 can talk about nef classes in N (X)R. The convex cone of all nef classes in N (X)R is called the nef cone of X, and is denoted by Nef(X). A formal sum γ = aiCi, where ai ∈ R and Ci ⊆ X are irreducible curves in X, is called a Pi real 1-cycle in X. The R-vector space of all real 1-cycle in X is denoted by Z1(X)R. Two elements γ1,γ2 ∈ Z1(X)R are called numerically equivalent, denoted by γ1 ≡ γ2 if D · γ1 = D · γ2 for every divisor D in X. We denote N1(X)R = Z1(X)R/ ≡. The cone of curves in X, denoted by NE(X) is the cone spanned by the effective 1-cycle classes in N1(X)R. If C is an effective curve, then we denote the numerical equivalence class of curves by [C]. 4 SNEHAJIT MISRA AND NABANITA RAY 1 The intersection pairing N (X)R × N1(X)R −→ R induces a perfect pairing. The closed cone of curves NE(X), which is defined to be the closure of NE(X), is known to be the dual to the nef cone Nef(X), i.e. NE(X)= γ ∈ N (X) | α · γ ≥ 0 for all α ∈ Nef(X) . 1 R 3. Main Results We quickly recall our set up. Let E be a vector bundle of rank ≥ 2 on a smooth complex projective variety X, and π : P(E) −→ X be the projection.