arXiv:2008.07313v7 [math.AG] 10 May 2021 ler n leri emty uha eemnna repr [ example determinantal for (see as on such so and geometry, theory algebraic and algebra hti etrbundles vector is that ennflsbaite hdiglgto h geometrical the on light shedding subvarieties meaningful opoueitrsigvco ude ihsm ido posi of kind some with bundles vector interesting produce to (1.1) that rank a od feither if holds n,if and, (1.3) o oiieis positive How tsosta whenever that shows It it is much how c class. Chern is: first question its The of positivity sense. the some paper in positive must it [ example for (see open still is question (1.2) hoe 1. Theorem have we precisely More † 1 ( eiae oalmdclwresadpol htscicdt sacrificed that people and workers medical all to Dedicated h td fUrc etrbnlstuhsadi intimately is and touches bundles vector Ulrich of study The mn uhbnls nrcn er itnuse oehas role distinguished a years recent in bundles, such Among Let nparticular In o every For oevrasm hteither that assume Moreover sd rmti ae ehv that have we case, this from Aside h trigosraino hsppri hta lihvect Ulrich an that is paper this of observation starting The h rtase,srrsnl eae otepoetv geo projective the to related surprisingly answer, first The Let eerhprilyspotdb RN“emti el var delle “Geometria Classification PRIN Subject by Mathematics supported partially Research * Let E fadol f( if only and if 0 = ) NTEPSTVT FTEFRTCENCASO NULRICH AN OF CLASS CHERN FIRST THE OF POSITIVITY THE ON X X E r r c c smooth otie nteuino ie in lines of union the in contained Abstract. 1 1 lihvco udefor bundle vector Ulrich ≥ ⊆ ( ( earank a be ⊆ E E ) ) 2 P 2 n , P N x or 0 = ≥ N n t ∈ easot reuil ait fdimension of variety irreducible smooth a be r dmninlvariety -dimensional c c ≥ n easot rjcievrey lsia ehdt td t study to method classical A variety. projective smooth a be 1 1 oevrw lsiyrank classify we Moreover . X ( ( esuytepstvt ftefis hr ls farank a of class Chern first the of positivity the study We 2 E E c 1 ) )? or r n o vr subvariety every for and ( E sapei either if ample is E lihvco udeon bundle vector Ulrich ) t 3 X X, uhthat such 1 = ntreod wt oeexceptions). some (with threefolds on 0 = ⊂ O and X P N (1) t rmr 46.Scnay1J0 14J30. 14J40, Secondary 14J60. Primary : ≥ sntcvrdb ie then lines by covered not is X x ( , ES X, H E 2 X osntbln oaln otie in contained line a to belong not does ⊆ ( = ) i c , npriua if particular In . O or ( 1 P Be E ( NEOFLC LOPEZ* FELICE ANGELO HUB c ETRBUNDLE VECTOR X N E t ( 1 t − epoethat prove We . ( , ( sgoal eeae n o-eo oteqeto become question the so non-zero, and generated globally is ) ≥ P r 1. E t 1 = c Fl p n )) lihvco bundles vector Ulrich 1 ) 2 )=0frall for 0 = )) , ( , k n eeecsteen,ee huhterbscexistenc basic their though even therein), references and ] Then . Introduction O E c Be or · Z 1 ) and P Z ( n n X E , ⊆ t (1) ≥ ≥ ) F 1 = ti ipeosrain(e Lemma (see observation simple a is It . n 1 X , X r r , X ≥ c C1 ( k O 1 d sntcvrdb ie.Then lines. by covered not is mult sntcvrdb ie ehv that have we lines by covered not is fdimension of ( n hr sn iecnandin contained line no is there and P r ⊕ e` lerce n GNSAGA-INdAM. and iet`a algebriche” − E , n c n r 1 ) C2 ). i ( 1) E rprisof properties a h olwn oiiiyproperty: positivity following the has x ≥ svr oiieo vr uvreynot subvariety every on positive very is ) , . ( n Z er of metry CoHu n 1 and 0 snain hwfrs Boij-S¨oderberg forms, Chow esentation, E eae ihsvrlaeso commutative of areas several with related c erlvsdrn h oi-9pandemic Covid-19 the during lives heir iiyon tivity ≥ ) rbnl sgoal eeae,whence generated, globally is bundle or 1 enahee yUrc etrbundles, vector Ulrich by achieved been with ( 1 E oiie ewl netgt nthis in investigate will We positive? sqiepstv n that and positive quite is ) n degree and , c Lo k 1 r ≤ ( X ≥ E lihvco bundle vector Ulrich ntecs fsurfaces). of case the in ] ) p X X sgvni Theorem in given is , 2 1 ≤ nsrae n with and surfaces on 0 = . hs ntr iers to rise give turn in These . X asn through passing dim . d Let . X egoer of geometry he . E t E sbig, is ≥ sbgand big is X 1 E . n let and na on x ehave we , 2.1 1 E below. that ) sbig. is X E be s: is e 2 A.F. LOPEZ
Other positivity properties of Chern and dual Segre classes of E actually hold, see Remark 7.3. It is easy to see that the results of Theorem 1 do not hold on varieties covered by lines. In particular (1.2) is sharp, in the sense that for every n ≥ 2 there are many n-dimensional varieties such that (1.2) does not hold: for example products P1 × B, scrolls or quadrics and complete intersections in any of them (see Lemmas 3.2 and 4.1 and Remark 4.3). On the other hand, varieties covered by lines are classified in dimension n ≤ 3 and one could try to similarly classify their Ulrich vector bundle with c1(E) not positive. We will concentrate on the case n when c1(E) = 0. We first recall the following Definition 1.1. Let X ⊂ PN be a smooth irreducible variety of dimension n ≥ 1. We say that n−1 (X, OX (1)) is a linear P -bundle over a smooth curve B if there are a rank n vector bundle F and ∼ P ∼ ∗ P a line bundle L on B such that X = (F) and OX (1) = OP(F)(1) ⊗ π L, where π : (F) → B is the projection.
2 With this in mind, we now classify all rank r Ulrich vector bundles on surfaces with c1(E) = 0. Theorem 2. Let S ⊆ PN be a smooth irreducible surface. Let E be a rank r Ulrich vector bundle on S. 2 Then c1(E) = 0 if and only if (S, OS (1), E) is one of the following: P2 ⊕r (i) ( , OP2 (1), OP2 ); P ∗ ∗ P1 (ii) ( (F), OP(F)(1) ⊗ π L,π (G(L + det F))), a linear -bundle over a smooth curve B, with G a rank r vector bundle on B such that Hq(G(−L)) = 0 for q ≥ 0. Note that the vector bundle G above is not necessarily Ulrich. See also Remark 4.2 for other obser- vations. In the case of threefolds, let us recall the following
Definition 1.2. We say that (X, OX (1)) is a linear quadric fibration over a smooth curve B, if there ∼ is a morphism π : X → B such that each fiber Q is isomorphic to a quadric and OX (1)|Q = OQ(1). Again we have a classification, though with some exceptions, of rank r Ulrich vector bundles on 2 3 threefolds first when c1(E) = 0 and then when only c1(E) = 0. Theorem 3. Let X ⊆ PN be a smooth irreducible threefold. Let E be a rank r Ulrich vector bundle on X. 1 Assume that (X, OX (1)) is neither a linear quadric fibration nor a linear P -bundle over a smooth surface with ∆(F) = 0. 2 Then c1(E) = 0 if and only if (X, OX (1), E) is one of the following: P3 ⊕r (i) ( , OP3 (1), OP3 ); P ∗ ∗ P2 (ii) ( (F), OP(F)(1) ⊗ π L,π (G(2L + det F))), a linear -bundle over a smooth curve B, with G a rank r vector bundle on B such that Hq(G(−L)) = 0 for q ≥ 0; P ∗ ∗ P1 (iii) ( (F), OP(F)(1) ⊗ π L,π (G(L + det F))), a linear -bundle over a smooth surface B, with G a rank r vector bundle on B such that Hq(G(−L)) = Hq(G(−2L) ⊗ F ∗) = 0 for q ≥ 0 and 2 c1(G(L + det F)) = 0. We do not know if the case (iii) actually occurs. Theorem 4. Let X ⊆ PN be a smooth irreducible threefold. Let E be a rank r Ulrich vector bundle on X. 1 Assume that (X, OX (1)) is neither a linear quadric fibration, nor a linear P -bundle over a smooth surface, nor a linear P2-bundle over a smooth curve with F normalized and deg F ≥ 0, unless (X, OX (1)) is also a Del Pezzo threefold. 3 2 Then c1(E) = 0, c1(E) 6= 0 if and only if (X, OX (1), E) is one of the following: 1 1 1 ⊕s ⊕(r−s) (i) (P ×P ×P , OP1 (1)⊠OP1 (1)⊠OP1 (1), (OP1 ⊠OP1 (1)⊠OP1 (2)) ⊕(OP1 ⊠OP1 (2)⊠OP1 (1)) ) for 0 ≤ s ≤ r; P 2 ∗ 2 ⊕r P1 P 2 (ii) ( (TP ), OP(TP2 )(1),π (OP (2)) ), where π is one of the two -bundle structures on (TP ). ON THE POSITIVITY OF THE FIRST CHERN CLASS OF AN ULRICH VECTOR BUNDLE 3
In the case of a linear quadric fibration different from P1 × P1 × P1 we do not know if there are Ulrich 3 vector bundles E with c1(E) = 0, but we suspect there aren’t (see Proposition 6.1 and the discussion just before). Throughout the whole paper we work over the complex numbers.
2. Ulrich vector bundles with c1 = 0
It is easy, and probably well-known, to classify Ulrich vector bundles with c1 = 0. We give a proof for a lack of reference and for self-containedness. Lemma 2.1. Let X ⊆ PN be a smooth irreducible variety of dimension n ≥ 1. Let E be a rank r Ulrich Pn ⊕r vector bundle on X. Then c1(E) = 0 if and only if (X, OX (1), E) = ( , OPn (1), OPn ). Pn ⊕r Proof. If (X, OX (1)) = ( , OPn (1)) it is well-known [ES, Prop. 2.1], [Be, Thm. 2.3], that E = OPn and of course c1(E) = 0. Viceversa suppose that E is a rank r Ulrich vector bundle with c1(E)=0on X. It follows by [Be, PN−1 (3.4)] that for any smooth Y ∈ |OX (1)| we have that E|Y is an Ulrich vector bundle for Y ⊆ and of course c1(E|Y ) = 0. Therefore if C = Y1 ∩. . .∩Yn−1 is a smooth curve section of X, with Yi ∈ |OX (1)| for 1 ≤ i ≤ n − 1, then E|C is an Ulrich vector bundle for (C, OC (1)) and deg(E|C ) = 0. By [CaHa, Prop. 2.3] we get that 0 = deg(E|C )= r(deg C + g(C) − 1). n Thus deg C = 1 − g(C), hence deg C = 1 and then deg X = 1. Therefore (X, OX (1)) = (P , OPn (1)). ⊕r It follows by [ES, Prop. 2.1] (or [Be, Thm. 2.3]) that E = OPn .
3. Varieties of Picard rank 1 It has been observed by several authors that on varieties of Picard rank 1 more information can be given on Ulrich vector bundles. We concentrate here on the first Chern class. n+1 Notation 3.1. We will denote by Qn an n-dimensional smooth quadric in P . We have Lemma 3.2. Let X ⊆ PN be a smooth irreducible variety of dimension n ≥ 2 such that Pic X =∼ Z. Let E be a rank r Ulrich vector bundle on X. Let H be the hyperplane divisor. Then r c (E)= (K + (n + 1)H). 1 2 X n In particular if (X, OX (1)) 6= (P , OPn (1)) we have rn n n 2n−1 < r if (X, OX (1)) = (Qn, OQn (1)),n ≥ 3 c1(E) = rn n n . ( 2n (KX + (n + 1)H) > r if (X, OX (1)) 6= (Qn, OQn (1)) N−n+2 Proof. Let H1,...,Hn−2 be general in |H| and let S = X ∩ H1 ∩ . . . ∩ Hn−2 ⊆ P . It follows by [Be, (3.4)] that E|S is a rank r Ulrich vector bundle on S and [C1, Prop. 2.2(3)] gives r (3.1) c (E ) · H = (3H2 + K · H ). 1 |S |S 2 |S S |S Let A be an ample generator of Pic X, so that we have H = hA, KX = kA and c1(E) = aA, for some h, k, a ∈ Z. Replacing in (3.1) we get rh ahA2 = (k + (n + 1)h)A2 |S 2 |S r from which we deduce that a = 2 (k + (n + 1)h) and therefore r c (E)= (K + (n + 1)H). 1 2 X Pn n Moreover if (X, OX (1)) 6= ( , OP (1)), (Qn, OQn (1)), it follows by [BS2, Prop. 7.2.2, 7.2.3 and 7.2.4]) that D := KX + (n − 1)H is nef, hence rn c (E)n = (D + 2H)n ≥ rnHn > rn. 1 2n 4 A.F. LOPEZ
∼ Z If (X, OX (1)) = (Qn, OQn (1)), then n ≥ 3, since Pic X = . In the latter case we have that KX = −nH n rn n and therefore c1(E) = 2n−1 < r . n On the other hand, when the Picard rank is not 1, one can achieve that c1(E) = 0 even though n (X, OX (1)) 6= (P , OPn (1)). Several examples are given in the next section.
4. Ulrich vector bundles on scrolls A big source of examples are given by scrolls. These are treated, to mention a few, in [Be, Prop. 4.1(ii)] and in [Ho, FLCPL, AHMPL]. n We study here the case when c1(E) = 0. Lemma 4.1. Let B be a smooth irreducible variety of dimension b ≥ 1 and let L be a divisor on B. Let n be an integer such that n ≥ b + 1 and let F be a rank n − b + 1 vector bundle on B. Let X = P(F) with tautological line bundle ξ and projection π : X → B. Let H = ξ + π∗L and assume that H is very ample. Let G be a rank r vector bundle on B and let E = π∗(G((n − b)L + det F)). Then E is an Ulrich vector bundle for (X,H) if and only if (4.1) Hq(G(−(k + 1)L) ⊗ SkF ∗) = 0 for q ≥ 0 and 0 ≤ k ≤ b − 1. In particular E is an Ulrich vector bundle for (X,H) if (i) b = 1 and Hq(G(−L)) = 0 for q ≥ 0 (in particular if L is very ample and G is an Ulrich vector bundle for (B,L)), or ⊕(n−b+1) q (ii) b ≥ 2, F = OB and H (G(−kL)) = 0 for q ≥ 0 and 1 ≤ k ≤ b (in particular if L is very ample and G is an Ulrich vector bundle for (B,L)). s Moreover c1(E) = 0 for every integer s ≥ b + 1. Proof. Let p be an integer such that 1 ≤ p ≤ n. Let j ≥ 0. By [Ha, Ex. III.8.4] we see that
j 0 if j 6= n − b or j = n − b and 1 ≤ p ≤ n − b P (4.2) R π∗O (F)(−p)= p−n+b−1 ∗ . (S F (− det F) if j = n − b and n − b + 1 ≤ p ≤ n Now j ∼ j ∼ j (4.3) R π∗E(−pH) = R π∗E(−pξ)(−pL) = G((n − b − p)L + det F) ⊗ R π∗OP(F)(−p) whence (4.2) and the Leray spectral sequence give that (4.4) Hi(E(−pH)) = 0 for i ≤ n − b − 1 and for i = n − b and p ≤ n − b. On the other hand, for n − b ≤ i ≤ n and n − b + 1 ≤ p ≤ n, again using (4.2), (4.3) and the Leray spectral sequence, we have Hi(E(−pH)) =∼ Hi−n+b(G((n − b − p)L) ⊗ Sp−n+b−1F ∗) that is the equivalence with (4.1) holds. Now in cases (i) or (ii) one easyly sees that (4.1) is equivalent to assert that Hq(G(−kL)) = 0 for ∗ s q ≥ 0 and 1 ≤ k ≤ b. Finally since c1(E) = π (c1(G)+ r(n − b)L + r det F) it is clear that c1(E) = 0 for every integer s ≥ b + 1. Remarks 4.2. (about Lemma 4.1) (1) The condition that H = ξ + π∗L is very ample can be easily achieved, for example if F is very ample and L is globally generated. (2) In order to have that E is an Ulrich vector bundle, the conditions in (i) or (ii) do not require L to be any positive. For example choose F very ample, L = 0, b = 1 and G is a general line b bundle on B of degree g(B) − 1 or b ≥ 2, B = P and G = OPb (−1). Pn−b ∗ ∗ (3) In case (ii) we have that X = ×B and H = π1OPn−b (1)+π2 L. This shows that in products Pn−b × B there are always Ulrich vector bundles as long as there are on B. ON THE POSITIVITY OF THE FIRST CHERN CLASS OF AN ULRICH VECTOR BUNDLE 5
Remark 4.3. Let Y be any smooth variety of dimension n + k carrying an Ulrich vector bundle E for s (Y,H) such that c1(E) = 0 for some integer s. Let X be a smooth complete intersection of H1,...,Hk ∈ s |H|. Then E|X is an Ulrich vector bundle for (X,H|X ) by [Be, (3.4)] and again c1(E|X ) = 0. s Using this one can produce several examples of varieties with Ulrich vector bundles E with c1(E) = 0. For example one can take complete intersections in products. One special case will be studied in section 6.
5. A basic lemma We record a useful result that will be applied several times.
Lemma 5.1. Let π : X → Y be a morphism between two smooth projective varieties such that π∗OX = OY . Let E be a rank r globally generated vector bundle on X. If there is a line bundle M on Y such that det E = π∗M, then there is a rank r vector bundle H on Y such that E = π∗H. Proof. Consider the map r 0 0 λE : Λ H (E) → H (det E). 0 The linear system |ImλE | is base-point free: In fact, given any point x ∈ X, there are s1,...sr ∈ H (E) such that s1(x),...sr(x) are linearly independent in Ex. Hence the section λE (s1 ∧ . . . ∧ sr) ∈ ImλE does not vanish at x. Now E is globally generated, whence it defines a morphism 0 ΦE : X → G(H (E), r) such that ∗ E =ΦE U, where U is the tautological bundle on G(H0(E), r). Moreover we have a commutative diagram (see for example [M, §3]) Φ X E / G(H0(E), r) _ ϕ |ImλE | P P ∗ / P r 0 ∗ ImλE Λ H (E) where P is the Pl¨ucker embedding. Then Z := ΦE (X) = ϕ|ImλE |(X) and we deduce that there is a morphism ϕ : X → Z and a rank r vector bundle G := U on Z such that E =∼ ϕ∗ G. |ImλE | |Z |ImλE | 0 If W = ϕdet E (X), using the fact that ImλE ⊆ H (det E), we also have a commutative diagram ϕ X det E / W ❇❇ ❇❇ ❇❇ f ϕ Im ❇ | λE | ❇ Z ∼ ∗ ∗ and we find that E = ϕdet E (f G). ∗ Since det E = π M is globally generated and π∗OX = OY , we have that M is globally generated and there is a commutative diagram π / X ❇ Y . ❇❇ ❇❇ ❇❇ ϕM ϕdet E ❇ W ∼ ∗ ∗ ∗ Therefore E = π H where H is the rank r vector bundle ϕM (f G)). The above lemma allows to classify Ulrich vector bundles E on a linear Pn−1-bundle over a curve s when c1(E) = 0 for 2 ≤ s ≤ n − 1. Lemma 5.2. Let B be a smooth irreducible curve and let L be a divisor on B. Let n be an integer such that n ≥ 3 and let F be a rank n vector bundle on B. Let X = P(F) with tautological line bundle ξ and projection π : X → B. Let H = ξ + π∗L and assume that H is very ample. Let E be an Ulrich 6 A.F. LOPEZ
s vector bundle for (X,H) with c1(E) = 0 for some s with 2 ≤ s ≤ n − 1. Then there exists a rank r vector bundle G on B such that Hq(G(−L)) = 0 for q ≥ 0 and E = π∗(G((n − 1)L + det F)). Proof. We can write det E = aξ + π∗M for some a ∈ Z and some line bundle M on B, so that there is b ∈ Z such that c1(E)= aξ + bf, where f is a fiber. Then s s s s−1 s−1 0= c1(E) = a ξ + sa bξ · f. Since ξs and ξs−1 · f are numerically independent, we deduce that a = 0 and then det E = π∗M. Now Lemma 5.1 implies that there is a rank r vector bundle H on B such that E =∼ π∗H. Setting G = H((1 − n)L − det F), we find that E =∼ π∗(G((n − 1)L + det F)) and Lemma 4.1(i) implies that Hq(G(−L)) =0 for q ≥ 0.
6. Ulrich vector bundles on Del Pezzo threefolds covered by lines 3 1 1 The goal of this section is to study Ulrich vector bundles E with c1(E) =0 on C × P × P , where C 1 is a curve and on P(TPb ). In particular when C = P and b = 2 we get the two examples [LP, Thm. 1.4], [Fu, Introduction] of Del Pezzo threefolds covered by lines. We start with the simplest linear quadric fibration. The lemma will show that we cannot hope to 3 construct Ulrich vector bundles E with c1(E) = 0 by pulling back from the base. For this reason we suspect that, in the case of linear quadric fibrations different from P1 × P1 × P1, there aren’t any such bundles. 1 1 Proposition 6.1. Let C be a smooth irreducible curve. Let X = C × P × P and let H = L ⊠ OP1 (1) ⊠ OP1 (1), where L is a very ample line bundle on C. Then the only rank r Ulrich vector bundles E for 3 (X,H) such that c1(E) = 0 are: ∗ 1 (i) π (G(L)), where π : X → C × P is one of the two projections, L = L ⊠ OP1 (1) and G is a rank r Ulrich vector bundle for (C × P1,L); ⊕s ⊕(r−s) 1 (ii) (OP1 ⊠ OP1 (1) ⊠ OP1 (2)) ⊕ (OP1 ⊠ OP1 (2) ⊠ OP1 (1)) for 0 ≤ s ≤ r, when C = P and L = OP1 (1). 2 In particular there are no rank r Ulrich vector bundles E for (X,H) such that c1(E) = 0. 1 Proof. Let π1 : X → C,πi : X → P , i = 2, 3 and πij = (πi,πj) for 1 ≤ i < j ≤ 3 be the projections. For ∗ ∗ i = 2, 3 set Hi = πi (OP1 (1)) and, given any line bundle N on C, set N1 = π1N. By [Ha, Exer. III.12.6] we know that there is line bundle M on C and there are a, b ∈ Z such that det E = M1 + aH2 + bH3. Then (det E)3 = 0 gives 6ab deg M = 0, whence either deg M = 0 or a = 0 or b = 0. Since E is globally generated we get that M is globally generated and a ≥ 0, b ≥ 0. Therefore, if deg M = 0 we have that M = OC . We deduce that there are three possibilities for det E: ∗ ⊠ ∗ ⊠ ∗ ⊠ π12(M OP1 (a)),π13(M OP1 (b)) and π23(OP1 (a) OP1 (b)). By Lemma 5.1 we deduce that there is a rank r vector bundle H on C × P1 (respectively on P1 × P1) ∼ ∗ ∼ ∗ such that E = π1iH for i = 2, 3 (respectively E = π23H). ⊕2 ∼ ∗ ∼ P ∼ ∗ 1 Suppose that E = π1iH for i = 2, 3. We have that X = (OC×P1 ) and ξ = π3(OP (1)), so that ∗ ⊠ ∼ ∗ H = ξ + π1i(L OP1 (1)). We can then apply Lemma 4.1(ii) and deduce that E = π1i(G(L)), where 1 L = L ⊠ OP1 (1) and G := H(−L) is a rank r Ulrich vector bundle for (C × P ,L). ∼ ∗ P1 P1 Suppose instead that E = π23H. Set, for convenience of notation, Q = × and OQ(1) = ⊠ ∗ ∗ OP1 (1) OP1 (1). We have H = π1L + π23(OQ(1)) and, for every 1 ≤ i, p ≤ 3, the K¨unneth formula gives (6.1) 0 = Hi(X, E(−pH)) = Hα(C, −pL) ⊗ Hβ(Q, H(−p)) = H1(C, −pL) ⊗ Hi−1(Q, H(−p)). αM+β=i 1 1 If (C, L) 6= (P , OP1 (1)) we have H (C, −pL) 6= 0, and therefore we get that Hi−1(Q, H(−p)) = 0 for every 1 ≤ i, p ≤ 3. But then 1 0= χ(H(−p)) = r + c (H)2 − c (H) + (1 − p)c (H) · O (1) + rp2 − 2rp. 2 1 2 1 Q ON THE POSITIVITY OF THE FIRST CHERN CLASS OF AN ULRICH VECTOR BUNDLE 7
Now 0= χ(H(−2)) − χ(H(−1)) = −c1(H) · OQ(1) + r and 0= χ(H(−3)) − χ(H(−2)) = −c1(H) · OQ(1) + 3r thus giving the contradiction 2r = 0. 1 1 1 Finally if (C, L) = (P , OP1 (1)) then H (C, −L)=0 and H (C, −pL) 6= 0 for p = 2, 3, whence (6.1) gives that Hi−1(Q, H(−p)) = 0 for 1 ≤ i ≤ 3 and p = 2, 3. But then G := H(−1) is a rank r Ulrich vector bundle on Q. By [BGS, Rmk. 2.5(4)] (see also [Be, Rmk. 2.6], [AHMPL, Exa. 3.2]) the only indecomposable Ulrich bundles for (Q, OQ(1)) are OP1 ⊠ OP1 (1) and OP1 (1) ⊠ OP1 . This gives that ⊕s ⊕(r−s) E =∼ (OP1 ⊠ OP1 (1) ⊠ OP1 (2)) ⊕ (OP1 ⊠ OP1 (2) ⊠ OP1 (1)) for 0 ≤ s ≤ r. ∗ 2 ∗ 2 Now in case (i) we have that c1(E)= π (c1(G(L))) whence c1(E) = π ((c1(G)+ rL) ). But G, being 2 Ulrich, is globally generated, whence c1(G)+ rL is ample. Therefore c1(E) 6= 0. In case (ii) we have that c1(E) = (2r − s)H2 + (r + s)H3 and therefore 2 c1(E) = 2(2r − s)(r + s)H2H3 6= 0. An interesting example, related to Remark 4.3, is given by the projectivised tangent bundle of projective spaces. In the case of P2 this is a Del Pezzo threefold covered by lines. We recall (see [Sa, b−1 b ′ b Thm. A]) that P(TPb ) has two P -bundle structures, π : P(TPb ) → P and π : P(TPb ) → P , given by b b the fact that P(TPb ) is a divisor of type (1, 1) on P × P .
Proposition 6.2. Let b ≥ 2 and let X = P(TPb ) with tautological line bundle ξ and projection π : b ∗ X → P . Then ξ is very ample and π (OPb (b)) is an Ulrich line bundle for (X,ξ). In particular ∗ s c1(π (OPb (b))) = 0 for b + 1 ≤ s ≤ 2b − 1. 2b−1 ∗ ⊕r Moreover the only rank r Ulrich vector bundles E for (X,ξ) with c1(E) = 0 are π (OPb (b)) ′ ∗ ⊕r s and (π ) (OPb (b)) . In particular there are no Ulrich vector bundles E for (X,ξ) with c1(E) = 0 for 1 ≤ s ≤ b. Proof. The Euler sequence ⊕(b+1) 0 → OPb → OPb (1) → TPb → 0 ⊕(b+1) b b gives an inclusion P(TPb ) ⊂ P(OPb (1) ) =∼ P × P and ξ is the restriction of the tautological line ⊕(b+1) bundle of P(OPb (1) ), that is the restriction of OPb (1) ⊠ OPb (1). Hence ξ is very ample. Set n = 2b − 1, F = TPb ,L = 0 and G = OPb (−1) in Lemma 4.1. Then ∗ ∗ π (OPb (b)) = π (G((n − b)L + det F)) and by Lemma 4.1(ii) all we need are the vanishings q k 1 (6.2) H (S ΩPb (−1)) = 0 for q ≥ 0 and 0 ≤ k ≤ b − 1. By [Sc, §1] there is an exact sequence k+b k+b−1 k 1 ⊕( ) ⊕( k−1 ) 0 → S ΩPb (−1) → OPb (−k − 1) b → OPb (−k) → 0 ∗ and (6.2) follows immediately. This proves that π (OPb (b)) is an Ulrich line bundle for (X,ξ). Now set R = π∗H, where H is a hyperplane in Pb and let f be a fiber of π. We claim that b + j (6.3) ξb−1+j · Rb−j = for every 0 ≤ j ≤ b. j We prove this by induction on j. If j = 0 we have ξb−1 · Rb = ξb−1 · f = 1. If j ≥ 1 recall that we have the relation b i ∗ b−i (−1) π ci(TPb )ξ = 0 Xi=0 8 A.F. LOPEZ
b+1 i and since ci(TPb )= i H , this gives b b + 1 ξb = (−1)i+1 ξb−i · Ri i Xi=1 and therefore b b + 1 ξb−1+j · Rb−j = (−1)i+1 ξb−1+j−i · Rb+i−j. i Xi=1 Using the fact that Rs = 0 for s ≥ b + 1 and applying the inductive hypothesis, we deduce that j j b + 1 b + 1 b + j − i ξb−1+j · Rb−j = (−1)i+1 ξb−1+j−i · Rb+i−j = (−1)i+1 . i i j − i Xi=1 Xi=1 x x(x−1)...(x−k+1) Using the standard notation k = k! for any integer k ≥ 1, we can rewrite the above as j b b + 1 b + j − i b + 1 b + j − i ξb−1+j · Rb−j = (−1)i+1 = (−1)i+1 . i b i b Xi=1 Xi=1 n j n Now for any numerical polynomial P (x) we have that j=0(−1) j P (j) = 0 if deg P
Now the Euler sequence gives, when k ≥ 1, the exact sequence k+b k+b−1 k 1 ⊕( ) ⊕( k−1 ) 0 →G⊗ S ΩPb → G(−k) k → G(−k + 1) → 0 and (6.4) implies that Hq(G(−k)) = 0 for q ≥ 0 and 0 ≤ k ≤ b − 1. But then G(1) is an Ulrich Pb ∼ ⊕r vector bundle for ( , OPb (1)) and it follows by [ES, Prop. 2.1] (or [Be, Thm. 2.3]) that G(1) = OPb ∗ ⊕r ′ ∗ and therefore E =∼ (π (OPb (b))) . The proof in the other case E = (π ) H is analogous. Finally ∗ s s s s c1(E)= π (OPb (br)) whence for any 1 ≤ s ≤ b we get that c1(E) = b r R 6= 0.
7. Blow-ups at points not on lines We now lay out the proof of the main theorem. The following result is quite standard, but we include it for lack of reference. For the second assertion see also [Se, Cor. 6]. Lemma 7.1. Let X ⊆ PN be a smooth irreducible variety of dimension n ≥ 1 and let H be its hyperplane divisor. Let x ∈ X be a point and let µx : X → X be the blow-up of X at x with exceptional divisor E. ∗ ∗ Then µxH − E is ample if and only if there is no line L such that x ∈ L ⊆ X. Also µx(tH) − E is very ample for every t ≥ 2. e Proof. If there is a line L ⊆ X passing through x, letting L be its strict transform, we have (µ∗ H − E) · L = H · L − 1 = 0 x e ∗ and therefore µxH − E is not ample. ∗ e ∗ Viceversa assume that µxH − E is not ample. Since H is very ample, it follows that µxH − E is globally generated, hence, for every irreducible subvariety Z of dimension d ≥ 1 of X we have that ∗ d ∗ and (µxH − E) · Z ≥ 0 by Kleiman’s theorem [La, Thm. 1.4.9]. Now µxH − E is not ample, hence Nakai-Moishezon-Kleiman’s theorem [La, Thm. 1.2.23] implies that there is an irreduciblee subvariety V of dimension d ≥ 1 of X such that and ∗ d (7.1) (µxH − E) · V = 0. e e Let V = µ (V ). It must be that x ∈ V , for otherwise (7.1) gives that Hd · V = 0, a contradiction. x e Note that it cannot be that V ⊂ E for otherwise we get the contradiction V = {x}. Hence µx gives an isomorphisme V \ E ∩ V =∼ V \ {x} and therefore V is the strict transform of V . Therefore, by [Ha, e e Cor. II.7.15], we find that V is the blow-up of V at x with exceptional divisor E|V . By [La, Lemma e d e d+1 e 5.1.10] we have that E e = (−1) multx(V ) and (7.1) gives |V e ∗ d d d d+1 0 = (µxH − E) · V = H · V + (−1) (−1) multx(V ) that is e d H · V = multx(V ). Then V ⊂ PN is a variety having one point whose multiplicity is the degree of V and it follows that there is a line L ⊆ V passing through x. ∗ Finally the very ampleness of µx(tH) − E when t ≥ 2 follows by [BS1, Thm. 2.1] since J{x}/X (1) is globally generated. Using this we have the following result. The idea comes in part from [K, Thm. 0.1]. Theorem 7.2. Let X ⊆ PN be a smooth irreducible variety of dimension n ≥ 1. Let E be a rank r vector bundle on X that is 0-regular with respect to OX (t) for some t ≥ 1. Then c1(E) has the following positivity property: For every x ∈ X and for every subvariety Z ⊆ X of dimension k ≥ 1 passing through x, we have that k k (7.2) c1(E) · Z ≥ r multx(Z) holds if either t ≥ 2 or t = 1 and x does not belong to a line contained in X. In particular c1(E) is ample if either t ≥ 2 or t = 1 and there is no line contained in X. Moreover assume that either t ≥ 2 or t = 1 and X is not covered by lines. Then E is big and n n (7.3) c1(E) ≥ r 10 A.F. LOPEZ
Proof. Let H be the hyperplane divisor of X. Let x ∈ X be a point and assume that either t ≥ 2 or t = 1 and x does not belong to a line contained in X. Let µ : X → X be the blow-up of X at x with exceptional divisor E. Since H is very ample, it follows that H := µ∗(tH) − E is globally generated and it is also ample by Lemma 7.1. As is well-known (see for examplee [BEL, Proof of Lemma 1.4]), for every integer s such that 0 ≤ s ≤ n − 1 we have that e
j OX if j = 0 (7.4) R µ∗OXe (sE)= . (0 if j > 0 Then, for every i> 0, (7.4) and the Leray spectral sequence give Hi(X, (µ∗E)(−E)(−iH)) = Hi(X,µ∗(E(−it))((i − 1)E)) =∼ Hi(X, E(−it)) = 0 ∗ since E is 0-regular with respect to OX (t). Therefore (µ E)(−E) is 0-regular with respect to H and e e ∗ e ∗ it follows by [La, Thm. 1.8.5] that (µ E)(−E) is globally generated. But then also c1(µ E(−E)) = ∗ µ (c1(E)) − rE is globally generated, whence nef. Now let Z ⊆ X be a subvariety of dimensionek ≥ 1 passing through x and let Z be its strict transform on X. By Kleiman’s theorem [La, Thm. 1.4.9] we deduce that e ∗ ke (7.5) (µ (c1(E)) − rE) · Z ≥ 0. k k+1 Now, using [La, Lemma 5.1.10], we see that (E e) = (−1) multx(Z) and (7.5) implies that |Z e ∗ k k k k k+1 k k 0 ≤ (µ (c1(E)) − rE) · Z = c1(E) · Z + (−1) r (−1) multx(V )= c1(E) · Z − r multx(Z).
This proves (7.2). Now if either t ≥ 2 or t = 1 and there is no line contained in X, then c1(E) is ample by Nakai-Moishezon-Kleiman’se criterion [La, Thm. 1.2.23]. Assume that either t ≥ 2 or t = 1 and X is not covered by lines. Choosing Z = X we get that n n c1(E) ≥ r . Moreover by [DPS, Thm. 2.5] we have, considering the partition (1,..., 1) of n and the corresponding Schur polynomial [La, §8.3], that ∗ (7.6) s(1,...,1)((µ E)(−E)) ≥ 0.
Denoting with sn the n-th Segre class, we know by [La, Exa. 8.3.5] that ∗ ∗ ∗ s(1,...,1)((µ E)(−E)) = sn(((µ E)(−E)) ) hence we deduce from (7.6) that n ∗ (−1) sn((µ E)(−E)) ≥ 0 and therefore n r − 1+ n (−1)n s (µ∗E)En−j ≥ 0 r − 1+ j j Xj=0 that is r − 1+ n s (E∗) = (−1)ns (E) ≥ > 0 n n r − 1 and then OP(E)(1) is big, namely E is big. Remark 7.3. With the same proof, one can show that if E is a rank r vector bundle 0-regular with respect to OX (1), x ∈ X does not belong to a line contained in X, k ≥ 1 and Z ⊆ X is a k-dimensional subvariety passing through x, then r − 1+ k s (E∗) · Z ≥ mult (Z). k r − 1 x ∗ Moreover, if X is not covered by lines, also sλ((µ E)(−E)) ≥ 0 for any degree n Schur polynomial associated to a partition λ [La, §8.3]. This in turn translates into positivity of polynomials in Chern r classes of E. For example if λ = (n, 0,..., 0) then one gets that cn(E) ≥ n when r ≥ n. Now Theorem 1 follows. ON THE POSITIVITY OF THE FIRST CHERN CLASS OF AN ULRICH VECTOR BUNDLE 11
Proof of Theorem 1. Let E be a rank r Ulrich vector bundle for (X, OX (t)). Then E is 0-regular with respect to OX (t), so that we can apply Theorem 7.2 and conclude that (1.1) holds and that c1(E) is ample if either t ≥ 2 or t = 1 and there is no line contained in X. Now assume that t ≥ 2 or t = 1 and X is not covered by lines. Again Theorem 7.2 implies that (1.2) holds and that E is big. Moreover, if r ≥ 2 we can ∼ ⊕(r−1) apply [Si, Thm. 1] since E is globally generated. Note that it cannot be that E = OX ⊕ det E, for otherwise OX would be an Ulrich line bundle for (X, OX (t)). But then Lemma 2.1 would imply n that (X, OX (t)) = (P , OPn (1)), hence t = 1 and X is covered by lines, a contradiction. Therefore [Si, n 0 Thm. 1] gives that c1(E) ≥ h (E) − r = r(d − 1) by [Be, (3.1)]. Thus also (1.3) holds.
8. The case of surfaces We are now ready to prove our classification in the case of surfaces. Proof of Theorem 2. If (S, OS(1), E) is as in (i) or (ii), it follows by [ES, Prop. 2.1] (or [Be, Thm. 2.3]) and Lemma 4.1(i) 2 that E is a rank r Ulrich vector bundle on S with c1(E) = 0. 2 Vice versa let E be a rank r Ulrich vector bundle on S such that c1(E) = 0. P2 ⊕r If (S, OS(1)) = ( , OP2 (1)) it follows by [ES, Prop. 2.1] (or [Be, Thm. 2.3]) that E = OP2 , so that we are in case (i). 2 Assume from now on that (S, OS (1)) 6= (P , OP2 (1)). We will prove that (S, OS (1), E) is as in (ii). By Remark 2.1 we have that c1(E) 6= 0. We now claim that c2(E) = 0. Since E is 0-regular with respect to OS(1), it is globally generated by [La, Thm. 1.8.5]. It follows by 2 [DPS, Thm. 2.5] that 0 ≤ c2(E) ≤ c1(E) = 0, that is c2(E) = 0. Alternatively, to show that c2(E) = 0, consider the map r 0 0 λE : Λ H (E) → H (det E).
As shown in the proof of Lemma 5.1, the linear system |ImλE | is base-point free. Choose now a general 0 subspace V ⊆ H (E) of dimension r, so that we get a morphism ϕ : V ⊗ OS → E whose degeneracy locus D = Dr−1(ϕ) is a smooth curve by [Ba, Statement(folklore), §4.1]. Since ϕ is generically an isomorphism we get, as in [GL, Proof of Prop. 1.1], an exact sequence of sheaves
(8.1) 0 → V ⊗ OS →E→L→ 0 and its dual ∗ ∗ ′ (8.2) 0 →E → V ⊗ OS →L → 0 ′ ∼ ′ −1 where L and L are two line bundles on D with L = ND/S ⊗ (L ) . Note that ′ c2(E) = deg L . ′ 2 Now both L and L are globally generated by (8.1) and (8.2). Since D = 0 we have that D =Γ1∪. . .∪Γs with all Γi smooth irreducible, Γi ∩ Γj = ∅ for i 6= j and Γi ≡ Γj, so that D ≡ sΓi for all i and therefore 2 ∼ Γi = 0 for all i. Since OS(D) is globally generated we get that also OS(Γi)|Γi = OS(D)|Γi is globally ∼ generated and has degree 0, whence OS (Γi)|Γi = OΓi . Also ∼ N ′ −1 ∼ ′ −1 L|Γi = ( D/S ⊗ (L ) )|Γi = (L|Γi ) and both L and L′ are globally generated, whence L ∼ L′ ∼ O . Therefore |Γi |Γi |Γi = |Γi = Γi s ∼ ′ ∼ L = L = OΓi Mi=0 ′ and this gives that c2(E) = deg L = 0. Thus the claim that c2(E) = 0 is proved and we proceed with the proof. Let H be a hyperplane divisor on S. 2 N 0 Since c1(E) = 0 we have that (1.2) does not hold, hence Theorem 1 implies that S ⊆ P = PH (H) is covered by lines. By [LP, Thm. 1.4] it follows that (S,H) is a linear P1-bundle over a smooth curve (possibly with two P1-bundle structures in the case of P1 × P1). Hence there is a smooth curve B, a divisor L on B, a rank 2 vector bundle F on B (that we can assume to be normalized as in [Ha, 12 A.F. LOPEZ
V.2.8.1]) such that S =∼ P(F), H = ξ + π∗L, where π : S → B is the projection and ξ is the tautological line bundle on P(F). We claim that there is a P1-bundle structure p : S → C onto a smooth curve C and a line bundle M on C such that det E = p∗M. As a matter of fact we will have that either p = π and C = B or S =∼ P1 × P1,C = P1 and p : S → P1 is the other projection (besides π). To this end observe that we can write det E = aξ + π∗M for some a ∈ Z and some line bundle M on B. Then there is b ∈ Z such that det E ≡ aξ +bf, where f is a fiber of π. Set e = − deg F, l = deg L and 2 2 g = g(B), so that H ≡ ξ+lf and KS ≡−2ξ+(2g−2−e)f. Since (det E) = 0 we get that −a e+2ab = 0 ae and therefore either a = 0 or b = 2 . But det E is globally generated, hence a = det E · f ≥ 0 and if ae a > 0 then − 2 = det E · ξ ≥ 0, that is e ≤ 0. Moreover observe that, since c1(E) 6= 0, we have that H · det E > 0, and we deduce that either (8.3) a = 0 and b> 0 or ae e (8.4) a> 0, e ≤ 0, b = and l> . 2 2 Suppose we are in case (8.4). By [C1, Prop. 2.2] we have that r 1 (8.5) c (E) · H = (3H2 + H · K ) and c (E)= (c (E)2 − c (E) · K ) − rH2 + rχ(O ). 1 2 S 2 2 1 1 S S 2 2 Since H = 2l − e and H · KS = 2g − 2+ e − 2l, using c1(E) = c2(E) = 0 and replacing in (8.5) we get e a(l − )= r(2l − e + g − 1) and a(1 − g)= r(2l − e + g − 1). 2 These give e a(l − + g − 1) = 0 2 e e that is l = 2 − g + 1. Since l > 2 we get that g = 0. As is well-known [Ha, Cor. V.2.13], when g = 0, we have that e ≥ 0. Therefore e = 0, l = 1 and S =∼ P1 × P1. We conclude that either we are in case (8.3) and det E =∼ π∗M for some line bundle M on B (in this 1 ∗ case we set C = B and p = π) or we are in case (8.4) and then B =∼ P and det E =∼ p (OP1 (a)) where 1 1 p : S → P is the other projection besides π (in this case we set C = P ,L = OP1 (1) and M = OP1 (a)). Thus the claim is proved and Lemma 5.1 implies that there is a rank r vector bundle H on C such that E =∼ p∗H. Set G = H(−L − det F), so that E =∼ p∗(G(L + det F)). Applying Lemma 4.1 to p we deduce that Hq(G(−L)) =0 for q ≥ 0. Thus (S, OS (1), E) is as in (ii).
9. The case of threefolds In both proofs we will use a result of Lanteri and Palleschi together with a result of Fujita. 9.1. A quick guide to threefolds covered by lines. Let X ⊆ PN be a smooth irreducible threefold covered by lines, let x ∈ X be a general point and let Hx be the Hilbert scheme of lines contained in X and passing through x. All the consequences listed below follow from [LP, Thm. 1.4] and [Fu, Introduction]. To simplify the list, following our purposes, we also assume that X has Picard rank ρ(X) ≥ 2. We have that dim Hx ≤ 1 with equality if and only if 2 (1) (X, OX (1)) is a linear P -bundle over a smooth curve. Assume that (X, OX (1)) is not as in (1). Then (X, OX (1)) is either one of the following 1 1 1 (2) (P × P × P , OP1 (1) ⊠ OP1 (1) ⊠ OP1 (1)); P 2 (3) ( (TP ), OP(TP2 )(1)); (4) a linear quadric fibration over a smooth curve; (5) a linear P1-bundle over a smooth surface. Note that the cases (2)-(3) above are listed as (e) in [LP, Thm. 1.4], while all the other cases in [LP, Thm. 1.4(e)] have ρ(X) = 1, hence they do not appear in our list, except for the Del Pezzo threefold of degree 7, that is also of type (5). ON THE POSITIVITY OF THE FIRST CHERN CLASS OF AN ULRICH VECTOR BUNDLE 13
9.2. Proof of Theorems. Proof of Theorem 3. If (X, OX (1), E) is as in (i), (ii) or (iii), it follows by [ES, Prop. 2.1] (or [Be, Thm. 2.3]) and Lemma 2 4.1 that E is a rank r Ulrich vector bundle on S with c1(E) = 0. 2 Now suppose that E is a rank r Ulrich vector bundle on X with c1(E) = 0. P3 ⊕r If (X, OX (1)) = ( , OP3 (1)) it follows by [ES, Prop. 2.1] (or [Be, Thm. 2.3]) that E = OP3 , so that we are in case (i). 3 Assume from now on that (X, OX (1)) 6= (P , OP3 (1)). We will prove that (X, OX (1), E) is as in (ii) or (iii). By Remark 2.1 we have that c1(E) 6= 0. Moreover by Lemma 3.2 we have that ρ(X) ≥ 2. 3 Since c1(E) = 0 we have that (1.2) does not hold, hence Theorem 1 implies that X is covered by lines. Therefore (X, OX (1)) is as in (1)-(5) in 9.1. In case (1) we know by Lemma 5.2 that (X, OX (1), E) is as in (ii). In cases (2) and (3) we know by 2 Propositions 6.1 and 6.2 that c1(E) 6= 0, hence these cases do not occur. As case (4) is excluded by hypothesis, it remains to study case (5) with ∆(F) 6= 0. Hence we have a P1-bundle structure π : X → B. We let ξ be the tautological line bundle. We claim that det E = π∗M for some line bundle M on B. We can write det E = aξ + π∗M for some a ∈ Z and some line bundle M on B. Assume that a 6= 0. We have 2 2 2 ∗ ∗ 2 0= c1(E) = a ξ + 2aξπ M + (π M) . 2 ∗ ∗ Since F has rank 2 we know that ξ = ξπ c1(F) − π c2(F) and we get 2 ∗ ∗ ∗ 2 2 ∗ (a π c1(F) + 2aπ M)ξ + π (M ) − a π c2(F) = 0 that is ∗ ∗ 2 2 (9.1) aπ (ac1(F) + 2M)ξ + π (M − a c2(F)) = 0.
If ac1(F)+ 2M 6≡ 0, we can find an ample divisor A on B such that A · (ac1(F)+ 2M) 6= 0. Intersecting in (9.1) with π∗A we get the contradiction
aA · (ac1(F) + 2M) = 0. 2 2 Therefore ac1(F) + 2M ≡ 0 and (9.1) gives that M = a c2(F). But then 2 2 2 2 a ∆(F) = 4a c2(F) − a c1(F) = 0 again a contradiction. Therefore a = 0 and then det E = π∗M. Thus the claim is proved and Lemma 5.1 implies that there is a rank r vector bundle H on B such that E =∼ π∗H. Setting G = H(−L − det F), we find that E =∼ π∗(G(L + det F)) and Lemma 4.1 implies that Hq(G(−L)) = Hq(G(−2L) ⊗ F ∗)=0 for q ≥ 0. Hence we are in case (iii). Proof of Theorem 4. If (X, OX (1), E) is as in (i) or (ii), it follows by Propositions 6.1 and 6.2 that E is a rank r Ulrich 3 2 vector bundle on X with c1(E) = 0 and c1(E) 6= 0. 3 2 Now suppose that E is a rank r Ulrich vector bundle on X with c1(E) = 0 and c1(E) 6= 0. 3 Since c1(E) = 0 we have by Lemma 3.2 that ρ(X) ≥ 2. Also (1.2) does not hold, whence Theorem 1 implies that X is covered by lines. Therefore (X, OX (1)) is as in (1)-(5) in 9.1. In cases (2) and (3) we can apply Propositions 6.1 and 6.2 and conclude that (X, OX (1), E) is as in (i) or (ii). Cases (4) and (5) are excluded by hypothesis unless (X, OX (1)) is also a Del Pezzo threefold, thus belonging to cases (2) or (3). In the remaining case (1) we have a P2-bundle structure π : X =∼ P(F) → B and deg F < 0 by hypothesis. We let ξ be the tautological line bundle. We will first prove that det E = π∗M for some line bundle M on B. We can write det E = aξ + π∗M 14 A.F. LOPEZ for some a ∈ Z and some line bundle M on B. Then there is b ∈ Z such that det E ≡ aξ + bf, where f is a fiber of π. Set e = − deg F > 0 and suppose that a 6= 0. We have 3 2 0= c1(E) = a (−ae + 3b) ae and therefore b = 3 and e c (E)= a(ξ + f). 1 3 Since F is normalized we have that ξ is effective, hence e 0 ≤ c (E)2 · ξ = −a2 < 0 1 3 a contradiction. Therefore a = 0, that is det E = π∗M. By Lemma 5.1 we get that there is a rank r vector bundle H ∗ 2 on B such that E =∼ π H. But then c1(E) = 0, so that this case does not occur.
References [AHMPL] M. Aprodu, S. Huh, F. Malaspina, J. Pons-Llopis. Ulrich bundles on smooth projective varieties of minimal degree. Proc. Amer. Math. Soc. 147 (2019), no. 12, 5117-5129. 4, 7 [Ba] C. B˘anic˘a. Smooth reflexive sheaves. Proceedings of the Colloquium on Complex Analysis and the Sixth Romanian-Finnish Seminar, Rev. Roumaine Math. Pures Appl. 36 (1991), no. 9-10, 571-593. 11 [Be] A. Beauville. An introduction to Ulrich bundles. Eur. J. Math. 4 (2018), no. 1, 26-36. 1, 3, 4, 5, 7, 9, 11, 13 [BEL] A. Bertram, L. Ein, R. Lazarsfeld. Vanishing theorems, a theorem of Severi, and the equations defining projective varieties. J. Amer. Math. Soc. 4 (1991), no. 3, 587-602. 10 [BS1] M. C. Beltrametti, A. J. Sommese. Notes on embeddings of blowups. J. Algebra 186 (1996), no. 3, 861-871. 9 [BS2] M. C. Beltrametti, A. J. Sommese. The adjunction theory of complex projective varieties. De Gruyter Exposi- tions in Mathematics, 16. Walter de Gruyter & Co., Berlin, 1995. 3 [BGS] R. O. Buchweitz, G. M. Greuel, F. O. Schreyer. Cohen-Macaulay modules on hypersurface singularities. II. Invent. Math. 88 (1987), no. 1, 165-182. 7 [C1] G. Casnati. Special Ulrich bundles on non-special surfaces with pg = q = 0. Internat. J. Math. 28 (2017), no. 8, 1750061, 18 pp. 1, 3, 12 [C2] G. Casnati. Special Ulrich bundles on regular surfaces with non-negative Kodaira dimension. Preprint arXiv:1809.08565 [math.AG]. 1 [CaHa] M. Casanellas, R. Hartshorne. Stable Ulrich bundles. With an appendix by F. Geiss, F.-O. Schreyer. Internat. J. Math. 23 (2012), no. 8, 1250083, 50 pp. 3 [CoHu] E. Coskun, J. Huizenga. Brill-Noether Theorems, Ulrich bundles and the cohomology of moduli spaces of sheaves. Preliminary version, for the Proceedings of the ICM Satellite Conference on Moduli Spaces in Algebraic Ge- ometry and Applications. Available at author’s webpage. 1 [DPS] J. P. Demailly, T. Peternell, M. Schneider. Compact complex manifolds with numerically effective tangent bundles. Algebraic Geom. 3 (1994), no. 2, 295-345. 10, 11 [ES] D. Eisenbud, F.-O. Schreyer. Resultants and Chow forms via exterior syzygies. J. Amer. Math. Soc. 16 (2003), no. 3, 537-579. 1, 3, 9, 11, 13 [F] D. Faenzi. Ulrich bundles on K3 surfaces. Algebra Number Theory 13 (2019), no. 6, 1443-1454. 1 [FLCPL] M. L. Fania, M. Lelli-Chiesa, J. Pons-Llopis . Ulrich bundles on three dimensional scrolls. Preprint arXiv:1808.00074. 4 [Fl] G. Fløystad. Boij-S¨oderberg theory: introduction and survey. Progress in commutative algebra 1, 1-54, de Gruyter, Berlin, 2012. 1 [Fu] T. Fujita. On the structure of polarized manifolds with total deficiency one. I. J. Math. Soc. Japan 32 (1980), no. 4, 709-725. 6, 12 [GKP94] R. L. Graham, D. E. Knuth, O. Patashnik: Concrete mathematics. A foundation for computer science. Second edition. Addison-Wesley Publishing Company, Reading, MA, 1994. 8 [GL] M. Green, R. Lazarsfeld. Deformation theory, generic vanishing theorems, and some conjectures of Enriques, Catanese and Beauville. Invent. Math. 90 (1987), no. 2, 389-407. 11 [K] Y. Kim. Ulrich bundles on blowing ups. C. R. Math. Acad. Sci. Paris 354 (2016), no. 12, 1215-1218. 9 [Ha] R. Hartshorne. Algebraic geometry. Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York- Heidelberg, 1977. 4, 6, 9, 12 [Ho] A. Hochenegger. On Ulrich bundles on projective bundles. Preprint arXiv:2006.16553. 4 [HUB] J. Herzog, B. Ulrich,J. Backelin. Linear maximal Cohen-Macaulay modules over strict complete intersections. J. Pure Appl. Algebra 71 (1991), no. 2-3, 187-202. 1 [La] R. Lazarsfeld. Positivity in algebraic geometry, I. Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge 48, Springer-Verlag, Berlin, 2004. 9, 10, 11 [Lo] A. F. Lopez. On the existence of Ulrich vector bundles on some irregular surfaces. Preprint arXiv:1812.10195. To appear on Proceedings of the American Mathematical Society. 1 ON THE POSITIVITY OF THE FIRST CHERN CLASS OF AN ULRICH VECTOR BUNDLE 15
[LP] A. Lanteri, M. Palleschi. Projective manifolds containing many rational curves. Indiana Univ. Math. J. 36 (1987), no. 4, 857-865. 6, 11, 12 [M] S. Mukai. Vector bundles and Brill-Noether theory. Current topics in complex algebraic geometry (Berkeley, CA, 1992/93), 145-158, Math. Sci. Res. Inst. Publ., 28, Cambridge Univ. Press, Cambridge, 1995. 5 [Sa] E. Sato. Varieties which have two projective space bundle structures. J. Math. Kyoto Univ. 25 (1985), no. 3, 445-457. 7 [Sc] M. Schneider. Symmetric differential forms as embedding obstructions and vanishing theorems. J. Algebraic Geom. 1 (1992), no. 2, 175-181. 7 [Se] S. A. Secci. On the existence of Ulrich bundles on blown-up varieties at a point. Boll. Unione Mat. Ital. 13 (2020), no. 1, 131-135. 9 [Si] J. C. Sierra. A degree bound for globally generated vector bundles. Math. Z. 262 (2009), no. 3, 517-525. 11
Dipartimento di Matematica e Fisica, Universita` di Roma Tre, Largo San Leonardo Murialdo 1, 00146, Roma, Italy. e-mail [email protected]