Projections of Veronese surface and morphisms from projective plane to Grassmannian

Size: px
Start display at page:

Download "Projections of Veronese surface and morphisms from projective plane to Grassmannian"

Transcription

1 Proc. Indian Acad. Sci. (Math. Sci.) Vol. 127, No. 1, February 2017, pp DOI /s Projections of Veronese surface and morphisms from projective plane to Grassmannian A EL MAZOUNI 1, F LAYTIMI 2 and D S NAGARAJ 3, 1 Laboratoire de Mathématiques de Lens EA 2462, Faculté des Sciences Jean Perrin Rue Jean Souvraz, SP18 F LENS Cedex, France 2 Mathématiques - bât. M2, Université Lille 1, F Villeneuve d Ascq Cedex, France 3 Institute of Mathematical Sciences C.I.T. Campus, Taramani, Chennai , India * Corresponding author. mazouni@euler.univ-artois.fr; fatima.laytimi@math.univ-lille1.fr; dsn@imsc.res.in MS received 29 April 2015; revised 15 June 2015 Abstract. In this note, we describe the image of P 2 in Gr(2, C 4 ) under a morphism given by a rank two vector bundle on P 2 with Chern classes (2, 2). Keywords. surface. Projective plane; vector bundles; morphisms; Grassmannian; Veronese 1991 Mathematics Subject Classification. 14F Introduction We denote by P 2 the projective plane over the field C of complex numbers and by Gr(2, C 4 ) the Grassmannian variety of two dimensional quotient spaces of C 4. Let Q be a rank two vector bundle on P 2 generated by global sections. Then Q can be generated by at most four linearly independent section. Assume that Q is generated by four linearly independent sections but is not generated by less number of sections. If we fix a set S of four linearly independent global sections generating Q, we get a non constant morphism φ S : P 2 Gr(2, C 4 ). The aim of this article is to study the properties of the image of P 2 under such a morphism φ S. According to a result of Tango [10], if φ S is an embedding then the pair of Chern classes (c 1 (Q), c 2 (Q)) is either (2, 1) or ((2, 3). It is interesting to know what is the image of P 2 under a general morphism φ S : P 2 Gr(2, C 4 ). For example, what are the possible singularities of the image? What are the defining equations of the image? c Indian Academy of Sciences 59

2 60 A El Mazouni et al. In this article, we focus on the image of P 2 in Gr(2, C 4 ) associated to a globally generated vector bundle Q with Chern class pair (c 1 (Q), c 2 (Q)) = (2, 2). More precisely, we have the following main theorem: Theorem 1.1. Let φ : P 2 Gr(2, C 4 ) be a morphism. Assume that c 1 (Q) = 2 and c 2 (Q) = 2, where Q is the pull back by φ of the universal rank two quotient bundle on Gr(2, C 4 ). Then the image of P 2 in Gr(2, C 4 ) is (a) either a complete intersection of two independent hyperplanes, or (b) is a complete intersection of a hyperplane and a quadric. Here a hyperplane (respectively, quadric) means a divisor in the class of the ample generator (respectively, twice the class of the ample generator) of the the Picard group of Gr(2, C 4 ). In case of (a), the image is isomorphic to a cone in P 3 over a conic. In the case of (b), the image is isomorphic to base locus of a pencil consisting of singular quadrics in P 4 of rank 3 and rank 4. Moreover, the image surface is singular exactly along a line of P 4 contained in the surface. 2. Special projections of Veronese surface Our study of the image of P 2 in Gr(2, C 4 ) under the morphism given by a rank two vector bundle on P 2 with Chern classes (2, 2), depends on the study of the projections of Veronese surface V in P 5 from a special point not on the surface or a special line not intersecting the Veronese surface. Here special point means a point on the secant variety of V and a special line means a line contained in the secant variety. In this section, we recall some facts about the Veronese surface (see [7], [6] and [3] for details) and deduce some results about special projections. Veronese surface is the only non-degenerate (i.e., not contained in a hyperplane), nonsingular surface in P 5 which can be projected isomorphically to P 4. A general projection has this property. It is well known that the Veronese surface is the unique closed orbit for the natural action of the algebraic group PGL(3, C 3 ) on P 5. In fact, if we identify P 5 with the space of conics in P 2, there are three orbits namely, the set of all non-singular quadrics, the set of all pairs of distinct lines, the set of all double lines. The set of double lines is the Veronese surface (see pp of [6]). The following remarks shed light on the image of Veronese surface under special projections. Remark 2.1. Let V be a Veronese surface in P(H 0 (P 2, O P 2(2))) and sec(v ) be its secant variety. Let p sec(v ) \ V be a point. Then the projection of P 5 \{p} from p to a hyperplane H P 4 in P 5 not containing p maps V onto a singular surface V p of degree four. V p is cut out by intersection of quadrics of a linear pencil of quadrics in P 4, and each qudaric in the pencil is either rank three or four. Moreover, V p is singular along a line L p of P 4. The projection map f : V V p induces an isomorphism from V \ f 1 (L p ) to V p \ L p, and f 1 (L p ) is a conic and the map f restricted to f 1 (L p ) to L p is a degree two ramified covering (see p. 366, of [7] for details).

3 Veronese surface and morphisms 61 The only thing missing there is the statement that V p is cut out by intersection of quadrics of P 4, in a linear pencil of quadrics in P 4, and each quadric in the pencil is either rank three or four. This can be seen in several ways. One way is to use the fact that the set of all pairs of distinct lines is one orbit for the action for PGL(3, C 3 ), namely sec(v )\V and to prove that the required property holds for the projection which corresponds to a particular point p sec(v ) \ V. The image morphism P 2 P 4 given by (x,y,z) (z 2, xy, y 2 + yz,x 2,xy xz) is one such projection. The image is cut out by the pencil of quadrics λ(z 1 Z 4 Z 2 Z 3 ) + μ((z 1 + Z 4 ) 2 Z 0 Z 3 ), where Z i (0 i 4) are the homogeneous coordinate functions on P 4. Remark 2.2. Let V be a Veronese surface in P(H 0 (P 2, O P 2(2) P 5 and sec(v ) be its secant variety. Let l sec(v ) bealineofp 5 such that V l =. Then the projection of P 5 \ l from l to a linear subspace L P 3 in P 5 not meeting l maps V onto a quadric surface V l, which is a cone over a quadric. The projection map f : V V l is generically two to one. Existence of lines in sec(v ) with the above property follows from p. 361, 10.4 of [7]. For example, for a fixed line L 0 P 2, the plane [L 0 ]( sec(v )) P 5 defined by [L 0 ]:={L 0 M M P 2, a line} meets the Veronese surface V in a single point l 0. Here we have identified V as the set of all lines in P 2 under the map L L 2. Under this identification, sec(v ) corresponds to the set of reducible conics. Hence any line in the plane [L 0 ] not passing through l 0 has the required property. 3. Morphisms from P 2 to Gr(2, C 4 ) For a vector bundle E on P 2, the bundle E O P 2(k) is denoted by E(k). A globally generated rank two vector bundle Q on P 2 can be generated by at most four linearly independent global sections. If we take a set of generators consisting of at most four sections of Q, we get a morphism from P 2 to Gr(2, C 4 ). Note that the bundle Q is generated by two linearly independent sections if and only if Q O 2 P 2. This happens if and only if the morphism from P 2 to Gr(2, C 4 ) is constant. Moreover, the bundle Q generated by three linearly independent sections if and only if the morphism from P 2 to Gr(2, C 4 ) factors through a linear P 2 Gr(2, C 3 ) contained in Gr(2, C 4 ). DEFINITION 3.1 Let Q be a rank two vector bundle on P 2 generated by global sections. Assume that Q cannot be generated by less than four independent sections. If S is a set of four independent global sections generating Q, then we get the morphism φ S : P 2 Gr(2, C 4 ). We call such a morphism φ S a non special morphism. (Generally, we use the the notation φ instead of φ S.)

4 62 A El Mazouni et al. Remark 3.2. (1) Let φ S : P 2 Gr(2, C 4 ) be a non special morphism obtained from a rank two vector bundle Q. Then the pull back to P 2 by φ S of the universal quotient bundle on Gr(2, C 4 ) is equal to Q. Since the morphism φ S is non special, det(q) = O P 2(d) for some d>0, i.e., c 1 (Q) > 0. As Q is generated by sections, we see that c 2 (Q) 0. A rank two bundle Q generated by sections has c 2 (Q) = 0 implies that Q = O P 2 O P 2(d). This implies that φ S : P 2 Gr(2, C 4 ) is a special morphism, a contradiction to the assumption. Thus we must have c 2 (Q) > 0. (2) Let φ S : P 2 Gr(2, C 4 ) be a non special morphism as above. If p : Gr(2, C 4 ) P 5 is the Plucker imbedding, then note that the morphism p φ S : P 2 P 5 may not be non degenerate in the usual sense. In other words, the image of P 2 in P 5 under p φ S may be very well contained in a hyperplane of P 5. For the study of non special morphisms, one needs to know what the globally generated rank two vector bundles on P 2 are. In our previous paper [1], we obtained some partial results about the possible Chern classes (c 1 (Q), c 2 (Q)) of rank two vector bundles Q on P 2 generated by four sections. In [2], Ph. Ellia determined the Chern classes of rank two globally generated vector bundle on P 2. His result gives the complete numerical characterization of such bundles. Note that a rank two globally generated vector bundle on P 2 can be generated by 4 sections and hence gives rise to a morphism from P 2 to Gr(2, C 4 ). Globally generated vector bundle on projective spaces with special Chern classes are studied in [8] and [9]. According to a result of Tango [10], if φ S is a non special imbedding then the Chern class pair (c 1 (Q), c 2 (Q)) of Q is either (2, 1) or (2, 3). The aim of this note is to investigate the properties of the image of P 2 under φ S for the case c 1 (Q) = 2, c 2 (Q) = 2. For such a bundle, we have the following: Lemma 3.3. Let Q be a rank two vector bundle on P 2 with c 1 (Q) = 2, c 2 (Q) = 2. If Q is generated by sections, then Q is semi-stable. Proof. Assume that Q is not semi-stable, then by Lemma 3.1 of [5], h 0 (Q( 2)) = 0. Let k be the largest integer such that h 0 (Q( k)) = 0. Note that k 2 and there is an exact sequence of sheaves 0 O P 2 Q( k) I Z ( 2k + 2) 0, (1) where I Z is the ideal sheaf of a zero-dimensional closed sub-scheme Z of length k 2 2k +2 = (k 1) Now tensoring the exact sequence (1) with the line bundle O P 2(k), we get the following exact sequence 0 O P 2(k) Q I Z ( k + 2) 0. (2) Since Q is generated by sections k = 2 and Z =, this implies that c 2 (Q) = 0, a contradiction. This contradiction proves the lemma. Lemma 3.4. Let Q be a semi-stable rank two vector bundle on P 2 with c 1 (Q) = 2, c 2 (Q) = 2. Then Q is generated by four independent sections and hence there is a surjective morphism of bundles O 4 P 2 Q 0

5 Veronese surface and morphisms 63 which determines a morphism φ : P 2 Gr(2, C 4 ). Proof. If Q is a rank two vector bundle on P 2 with c 1 (Q) = 2, c 2 (Q) = 2 then Q( 1) has c 1 (Q( 1)) = 0, c 2 (Q( 1)) = 1. Now by Riemann Roch theorem together with Proposition 7.1 and Theorem 7.4 of [4], we see that h 0 (Q( 1)) = 1. Hence there is an exact sequence 0 O P 2(1) Q I p (1) 0, (3) where I p is the ideal sheaf of a point p P 2. From the exact sequence (3), we see that h 0 (Q) = 5 and Q is generated by sections. Since Q is a rank two vector bundle on P 2 generated by sections, we see that Q is generated by 4 independent sections. Hence we obtain a surjective morphism of bundles O 4 P 2 Q 0 which determines a morphism φ : P 2 Gr(2, C 4 ) as required. Let Q be rank two vector bundle on P 2 with c 1 (Q) = 2, c 2 (Q) = 2. By Lemma 3.4, Q determines a morphism φ : P 2 Gr(2, C 4 ). Lemma 3.5. Let Q be a semi-stable rank two vector bundle on P 2 with c 1 (Q) = 2, c 2 (Q) = 2. Then there is an exact sequence 0 O P 2( 1) O 2 P 2 O P 2(1) Q 0 (4) of vector bundles on P 2. Proof. From the proof of Lemma 3.4, it follows that Q fits into an exact sequence (3) and the induced map H 0 (P 2,Q) H 0 (P 2,I p (1)) of cohomology groups is surjective. Observe that if p P 2, then H 0 (P 2,I p (1)) is a two dimensional vector space and the natural map H 0 (P 2,I p (1)) O P 2 I p (1) is surjective. Thus from (3) and the above observations, we see that there is a surjection of vector bundles O P 2(1) O 2 P 2 Q 0. A simple Chern class computation will show that the kernel of this surjection is equal to the line bundle O P 2( 1) and hence we get the existence of required exact sequence (4). 4. Explicit constructions If X, Y and Z is the standard basis of H 0 (P 2, O P 2(1)), then the global section (X,Y,Z 2 ) of the vector bundle O P 2(1) 2 O P 2(2) is nowhere vanishing on P 2. Thus the bundle map 0 O P 2( 1) O 2 P 2 O P 2(1)

6 64 A El Mazouni et al. given by (X,Y,Z 2 ) is injective. If Q is the cokernel of this injection then 0 O P 2( 1) (X,Y,Z2 ) O 2 P 2 O P 2(1) Q 0 (5) is an exact sequence of vector bundles on P 2 with rank of Q two and c 1 (Q) = 2, c 2 (Q) = 2. From cohomology exact sequence associated to (5), we see that H 0 (P 2, O 2 P 2 O P 2(1)) H 0 (P 2,Q). (6) The vector space H 0 (P 2, O 2 P 2 O P 2(1)) is equal to 5 i=1 Cv i, where v 1 = (1, 0, 0), v 2 = (0, 1, 0), v 3 = (0, 0,X),v 4 = (0, 0,Y),v 5 = (0, 0,Z). If w i H 0 (P 2,Q)is the image of v i under the isomorphism of (6), then w i,i = 1,...,5is a basis of H 0 (P 2,Q). Lemma 4.1. IfE is vector bundle of rank 2 on P 2 generated by three global sections, then c 1 (E) = d and c 2 (E) = d 2 for some integer d 0. Proof. If a rank two vector bundle E is generated by three global sections, then we get an exact sequence 0 O P 2( d) O 3 P 2 E 0 of vector bundles on P 2 and hence the required result. From Lemma 4.1, we see that the bundle Q on P 2 that we have constructed above cannot be generated by 3 sections. Example 1. Let Q be the vector bundle of rank two on P 2 defined by the exact sequence (5). If w i, 1 i 5 are the sections of Q defined above, then the set S 1 ={w i ; i = 1,...,4} is a generating set of sections of Q, i.e., if S ={e i ; i = 1,...,4} is the standard basis of O 4 P 2, then the bundle map O 4 P 2 Q obtained by sending e i to w i for i = 1,...,4 is surjective. Thus we get a morphism φ S1 : P 2 Gr(2, C 4 ). If p : Gr(2, C 4 ) P 5 is the Plucker imbedding, then the morphism p φ S1 : P 2 P 5 is given by (x,y,z) (z 2, xy, y 2,x 2,xy,0). Let z i,(0 i 5) be the homogeneous coordinates of P 5. Then the image of P 2 under this morphism is a rank 3 quadric V in a linear P 3 ( P 5 ). In fact, V = Z(Z 5,Z 1 + Z 4,Z1 2 + Z 2Z 3 )). Let p = (1, 0, 0, 0, 0, 0) V and C = V H, where H is the hyperplane of P 5 defined by Z 0. The morphism φ S1 P 2 {(0,0,1)} =: P2 {(0, 0, 1)} V {p}

7 Veronese surface and morphisms 65 is a two-sheeted ramified covering ramified precisely along C. Moreover, φ S1 ((0, 0, 1)) = p and the differential map dφ S1 (0,0,1) is zero. In this case we see that the image of P 2 in Gr(2, C 4 ) is a singular surface with exactly one singularity. Example 2. Let Q be the vector bundle of rank two on P 2 defined by the exact sequence (5) and let w i, 1 i 5 be the sections of Q defined above and let u 1 = w 1,u 2 = w 2,u 3 = w 3,u 4 = w 4 w 5. The set S 2 ={u i ; i = 1,...,4} is a generating set of sections of Q, i.e., if S = {e i ; i = 1,...,4} is the standard basis of O 4 P 2, then the bundle map O 4 P 2 Q obtained by sending e i to u i for i = 1,...,4, is surjectve. Thus we get a morphism φ S2 : P 2 Gr(2, C 4 ). If p : Gr(2, C 4 ) P 5 is the Plucker imbedding, then we see that the morphism is given by p φ S2 : P 2 P 5 (x,y,z) (z 2, xy, y 2 + yz,x 2,xy xz,0). The image of P 2 under this morphism is an intersection of two quadrics V in a linear P 4. In fact, V = V(Z 5,Z 1 Z 4 Z 2 Z 3,(Z 1 + Z 4 ) 2 Z 0 Z 3 ). Example 3. The vector space H 0 (P 2, O 2 P 2 O P 2(1)) is equal to 5 i=1 Cv i, where v 1 = (1, 0, 0), v 2 = (0, 1, 0), v 3 = (0, 0,X),v 4 = (0, 0,Y),v 5 = (0, 0,Z). If w i H 0 (P 2,Q)is the image of v i under the isomorphism of (6), then w i,i = 1,...,5is a basis of H 0 (P 2,Q). Let Q be the vector bundle of rank two on P 2 defined by the exact sequence (5) and let w i, 1 i 5 be the sections of Q defined above and let u 1 = w 1,u 2 = w 2,u 3 = w 3 + dw 4,u 4 = aw 4 + w 5, where a,d are non zero complex numbers. The set S 3 = {u i ; i = 1,...,4} is a generating set of sections of Q, i.e., if S ={e i ; i = 1,...,4} is the standard basis of O 4 P 2, then the bundle map O 4 P 2 Q obtained by sending e i to u i for i = 1,...,4, is surjectve. Thus we get a morphism φ S3 : P 2 Gr(2, C 4 ). If p : Gr(2, C 4 ) P 5 is the Plucker imbedding, then we see that the morphism is given by p φ S3 : P 2 P 5 (x,y,z) (z 2, (x + dy)y, (ay + z)y, (x + dy)x, (ay + z)x, 0).

8 66 A El Mazouni et al. The image of P 2 under this morphism can be seen to be equal and is equal to intersection of two independent singular quadrics in P Proof of main theorem We will now prove the Main Theorem 1.1. Proof. By our assumption, the vector bundle Q on P 2 is generated by global sections. By Lemma 3.5, Q fits into an exact sequence (4). In eq. (4), the bundle map 0 O P 2( 1) O 2 P 2 O P 2(1) is given by s = (A,B,Q), where A, B H 0 (O P 2(1)) and Q H 0 (O P 2(2)) without common zeros in P 2. Then the morphism φ is determined by four linearly independent global sections of the bundle E = O 2 O P 2 P 2(1) whose images generate the bundle Q. If w 1,w 2,w 3,w 4 are four linearly independent global sections of the bundle E = O 2 P O 2 P 2(1) whose images generate the bundle Q and u 1,u 2,u 3,u 4 be any other basis of the vector space generated by w 1,w 2,w 3,w 4, then the morphism defined by w 1,w 2,w 3,w 4 and u 1,u 2,u 3,u 4 differ by an automorphism of Gr(2, C 4 ). Let w i = (a i,b i,g i ), 1 i 4 be four global sections of E = O 2 O P 2 P 2(1) such that their images in Q generate Q. Since Q is not a direct sum of line bundles, we see that sections of the bundle O 2 P 2 given by (a i,b i ), 1 i 4 generate O 2. Hence by taking suitable linear combinations, P we can assume that the four linearly independent 2 global sections are of the form w 1 = (1, 0,f 1 ), w 2 = (0, 1,f 2 ), w 3 = (0, 0,f 3 ), w 4 = (0, 0,f 4 ), where f 3,f 4 H 0 (O P 2(1)) are linearly independent. If p : Gr(2, C 4 ) P 5 is the Plucker imbedding, then we see that the morphism p φ : P 2 P 5 is given by (x; y; z) (D 0 (x,y,z); D 1 (x,y,z); D 2 (x,y,z); D 3 (x,y,z); D 4 (x,y,z); 0), where D 0 = Q f 1 A, D 1 = (f 3 B),D 2 = (f 4 B),D 3 = f 3 A, D 4 = f 4 B. Case 1. The subspace f 3,f 4 generated by f 3,f 4 is equal to A, B. In this case, the four quadrics f 3 B, f 4 B,f 3 A, f 4 A on P 2 are linearly dependent, say a( f 3 B) + b( f 4 B) + c(f 3 A) + d(f 4 A) = 0, with (a,b,c,d) = (0, 0, 0, 0). Then the image of P 2 in P 5 is an intersection of two independent hyperplanes namely Z 5 = 0 and az 1 + bz 2 + cz 3 + dz 4 = 0, with the Plucker embedding of the Grassmannian given by Z 0 Z 5 + Z 1 Z 4 Z 2 Z 3, where Z 0,...,Z 5 are the Plucker coordinate functions. Hence the image of P 2 in Gr(2, C 4 ) is as stated in the case (a) of the theorem. Case 2. The subspace f 3,f 4 generated by f 3,f 4 is not equal to A, B. In this case, if there exists a non-trivial linear relation a(q f 1 B) + b( f 3 B) + c( f 4 B) + d(f 3 A) + e(f 4 A) = 0, then again we see that the image of P 2 in P 5 under p φ is an intersection of two independent hyperplanes namely, Z 5 = 0 and az 0 + bz 1 + cz 2 + dz 3 + ez 4 = 0 with the Plucker embedding of the Grassmannian given by Z 0 Z 5 + Z 1 Z 4 Z 2 Z 3. Hence the image of P 2 in Gr(2, C 4 ) is as stated in case (a) of the theorem.

9 Veronese surface and morphisms 67 Continuing the proof in Case 2 further, we can assume that image is not as in (a) in which case degree of the image of P 2 in P 5 under p φ has to be four. As above, set D 1 = (Q f 1 B),D 2 = ( f 3 B),D 3 = ( f 4 B),D 4 = (f 3 A), D 5 = (f 4 A), then we see that D 2 D 5 D 3 D 4 = 0. (7) This shows that image of P 2 under p φ is a degree four surface contained in the intersection of the hyperplane Z 5 = 0 with the Plucker embedding of the Grassmannian given by the equation Z 0 Z 5 + Z 1 Z 4 Z 2 Z 3 = 0, where Z i (0 i 5) are the homogeneous coordinate functions on P 5. By Tango s result about the embeddings of P 2 in Grassmannian (see [10]), we conclude that the image of P 2 under p φ is a singular surface of degree four in P 4 and is given by base point free linear system of conics. Since the linear system is of dimension four we see that the image of P 2 under p φ is a projection of the Veronese surface V P 5 from a point p sec(v ) P 5 and p/ V, where sec(v ) denotes the secant variety of V. Hence by Remark 2.1, it follows that the image of P 2 in P 4 given by p φ is cut out by a linear pencil of quadrics in P 4. Thus the image of P 2 under φ in this case is a complete intersection of a hyperplane and a quadric as stated in (b). The last statement about the singularities can be easily checked. Acknowledgements The authors would like to thank referee for his valuable suggestions. The last-named author would like to thank University of Lille-1 at Lille and University of Artois at Lens. He would also like to thank the University of Paris 6 and IRSES-Moduli Program. References [1] El Mazouni A, Laytimi F and Nagaraj D S, Morphisms from P 2 to Gr(2, C 4 ), J. Ramanujan Math. Soc. 26(3) (2011) [2] Ellia P H, Chern Classes of rank two globally generated vector bundles on P 2. arxiv: , Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 24(2) (2013) [3] Fulton W and Harris J, Representation Theory GTM 129 (2004) (Springer Verlag) [4] Hartshorne R, Stable vector bundle of rank 2 on P 3, Math. Ann. 238 (1978) [5] Hartshorne R, Stable reflexive sheaves, Math. Ann. 254 (1980) [6] Harris J, Algebraic Geometry GTM 133 (1992) (Springer Verlag) [7] Mauro C Beltrametti, Ettore Carletti, Dionisio Gallarati and Giacomo Monti Bragadin, Lectures on Curves, Surfaces and Projective Varieties, translated from the Italian by Francis Sullivan. European Mathematical Society, first corrected reprint (2012) [8] Sierra Jos Carlos and Ugaglia Luca, On double Veronese embeddings in the Grassmannian G(1, N), Math. Nachr. 279(7) (2006) [9] Sierra Jos Carlos and Ugaglia Luca, On globally generated vector bundles on projective spaces, J. Pure Appl. Algebra 213(11) (2009) [10] Hiroshi Tango, On (n 1)-dimensional projective spaces contained in the Grassmann variety Gr(n, 1), J. Math. Kyoto Univ (1974) COMMUNICATING EDITOR: Nitin Nitsure

MORPHISMS FROM P2 TO Gr(2,C4)

MORPHISMS FROM P2 TO Gr(2,C4) MORPHISMS FROM P2 TO Gr(2,C4) A. El Mazouni, Fatima Laytimi, D.S. Nagaraj To cite this version: A. El Mazouni, Fatima Laytimi, D.S. Nagaraj. MORPHISMS FROM P2 TO Gr(2,C4). 2009. HAL Id:

More information

F. LAYTIMI AND D.S. NAGARAJ

F. LAYTIMI AND D.S. NAGARAJ REMARKS ON RAMANUJAM-KAWAMATA-VIEHWEG VANISHING THEOREM arxiv:1702.04476v1 [math.ag] 15 Feb 2017 F. LAYTIMI AND D.S. NAGARAJ Abstract. In this article weproveageneralresult on anef vector bundle E on a

More information

CHERN CLASSES OF RANK TWO GLOBALLY GENERATED VECTOR BUNDLES ON P 2.

CHERN CLASSES OF RANK TWO GLOBALLY GENERATED VECTOR BUNDLES ON P 2. CHERN CLASSES OF RANK TWO GLOBALLY GENERATED VECTOR BUNDLES ON P. PH. ELLIA Abstract. We determine the Chern classes of globally generated rank two vector bundles on P. Introduction. Vector bundles generated

More information

arxiv:math/ v1 [math.ag] 17 Oct 2006

arxiv:math/ v1 [math.ag] 17 Oct 2006 Remark on a conjecture of Mukai Arnaud BEAUVILLE Introduction arxiv:math/0610516v1 [math.ag] 17 Oct 2006 The conjecture mentioned in the title appears actually as a question in [M] (Problem 4.11): Conjecture.

More information

Porteous s Formula for Maps between Coherent Sheaves

Porteous s Formula for Maps between Coherent Sheaves Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics STABLE REFLEXIVE SHEAVES ON SMOOTH PROJECTIVE 3-FOLDS PETER VERMEIRE Volume 219 No. 2 April 2005 PACIFIC JOURNAL OF MATHEMATICS Vol. 219, No. 2, 2005 STABLE REFLEXIVE SHEAVES

More information

HOW TO CLASSIFY FANO VARIETIES?

HOW TO CLASSIFY FANO VARIETIES? HOW TO CLASSIFY FANO VARIETIES? OLIVIER DEBARRE Abstract. We review some of the methods used in the classification of Fano varieties and the description of their birational geometry. Mori theory brought

More information

the complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X

the complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X 2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:

More information

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,

More information

a double cover branched along the smooth quadratic line complex

a double cover branched along the smooth quadratic line complex QUADRATIC LINE COMPLEXES OLIVIER DEBARRE Abstract. In this talk, a quadratic line complex is the intersection, in its Plücker embedding, of the Grassmannian of lines in an 4-dimensional projective space

More information

SEPARABLE RATIONAL CONNECTEDNESS AND STABILITY

SEPARABLE RATIONAL CONNECTEDNESS AND STABILITY SEPARABLE RATIONAL CONNECTEDNESS AND STABILIT ZHIU TIAN Abstract. In this short note we prove that in many cases the failure of a variety to be separably rationally connected is caused by the instability

More information

Segre classes of tautological bundles on Hilbert schemes of surfaces

Segre classes of tautological bundles on Hilbert schemes of surfaces Segre classes of tautological bundles on Hilbert schemes of surfaces Claire Voisin Abstract We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande

More information

The diagonal property for abelian varieties

The diagonal property for abelian varieties The diagonal property for abelian varieties Olivier Debarre Dedicated to Roy Smith on his 65th birthday. Abstract. We study complex abelian varieties of dimension g that have a vector bundle of rank g

More information

mult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending

mult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending 2. The canonical divisor In this section we will introduce one of the most important invariants in the birational classification of varieties. Definition 2.1. Let X be a normal quasi-projective variety

More information

On the lifting problem in positive characteristic

On the lifting problem in positive characteristic Rend. Istit. Mat. Univ. Trieste Volume 47 (2015), 187 202 DOI: 10.13137/0049-4704/11224 On the lifting problem in positive characteristic Paola Bonacini Abstract. Given P n k, with k algebraically closed

More information

A RELATION BETWEEN HIGHER WITT INDICES

A RELATION BETWEEN HIGHER WITT INDICES A RELATION BETWEEN HIGHER WITT INDICES NIKITA A. KARPENKO Abstract. Let i 1,i 2,...,i h be the higher Witt indices of an arbitrary non-degenerate quadratic form over a field of characteristic 2 (where

More information

Theta divisors and the Frobenius morphism

Theta divisors and the Frobenius morphism Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following

More information

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n 12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s

More information

Special cubic fourfolds

Special cubic fourfolds Special cubic fourfolds 1 Hodge diamonds Let X be a cubic fourfold, h H 2 (X, Z) be the (Poincaré dual to the) hyperplane class. We have h 4 = deg(x) = 3. By the Lefschetz hyperplane theorem, one knows

More information

SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS

SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e in a general complete intersection of multidegree

More information

If F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,

If F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2, Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu

More information

Non-uniruledness results for spaces of rational curves in hypersurfaces

Non-uniruledness results for spaces of rational curves in hypersurfaces Non-uniruledness results for spaces of rational curves in hypersurfaces Roya Beheshti Abstract We prove that the sweeping components of the space of smooth rational curves in a smooth hypersurface of degree

More information

RIMS-1743 K3 SURFACES OF GENUS SIXTEEN. Shigeru MUKAI. February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES. KYOTO UNIVERSITY, Kyoto, Japan

RIMS-1743 K3 SURFACES OF GENUS SIXTEEN. Shigeru MUKAI. February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES. KYOTO UNIVERSITY, Kyoto, Japan RIMS-1743 K3 SURFACES OF GENUS SIXTEEN By Shigeru MUKAI February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan K3 SURFACES OF GENUS SIXTEEN SHIGERU MUKAI Abstract. The

More information

ALGEBRAIC GEOMETRY I, FALL 2016.

ALGEBRAIC GEOMETRY I, FALL 2016. ALGEBRAIC GEOMETRY I, FALL 2016. DIVISORS. 1. Weil and Cartier divisors Let X be an algebraic variety. Define a Weil divisor on X as a formal (finite) linear combination of irreducible subvarieties of

More information

VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP

VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP CHRISTIAN PAULY AND ANA PEÓN-NIETO Abstract. Let X be a smooth complex projective curve of genus g 2 and let K be its canonical bundle. In this note

More information

MODULI SPACES OF CURVES

MODULI SPACES OF CURVES MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

(1) is an invertible sheaf on X, which is generated by the global sections

(1) is an invertible sheaf on X, which is generated by the global sections 7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one

More information

On a theorem of Ziv Ran

On a theorem of Ziv Ran INSTITUTUL DE MATEMATICA SIMION STOILOW AL ACADEMIEI ROMANE PREPRINT SERIES OF THE INSTITUTE OF MATHEMATICS OF THE ROMANIAN ACADEMY ISSN 0250 3638 On a theorem of Ziv Ran by Cristian Anghel and Nicolae

More information

is a short exact sequence of locally free sheaves then

is a short exact sequence of locally free sheaves then 3. Chern classes We have already seen that the first chern class gives a powerful way to connect line bundles, sections of line bundles and divisors. We want to generalise this to higher rank. Given any

More information

Holomorphic line bundles

Holomorphic line bundles Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank

More information

Polarized K3 surfaces of genus thirteen

Polarized K3 surfaces of genus thirteen Advanced Studies in Pure Mathematics 45, 2006 Moduli Spaces and Arithmetic Geometry (Kyoto, 2004) pp. 315 326 Polarized K3 surfaces of genus thirteen Shigeru Mukai A smooth complete algebraic surface S

More information

Inflection Points on Real Plane Curves Having Many Pseudo-Lines

Inflection Points on Real Plane Curves Having Many Pseudo-Lines Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 42 (2001), No. 2, 509-516. Inflection Points on Real Plane Curves Having Many Pseudo-Lines Johannes Huisman Institut Mathématique

More information

ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES

ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle

More information

Plane quartics and Fano threefolds of genus twelve

Plane quartics and Fano threefolds of genus twelve Plane quartics and Fano threefolds of genus twelve Shigeru MUKAI 288 triangles are strictly biscribed by a plane quartic curve C P 2 = P 2 (C). Two computations of this number will be presented. This number

More information

DOCTOR OF PHILOSOPHY HOMI BHABHA NATIONAL INSTITUTE

DOCTOR OF PHILOSOPHY HOMI BHABHA NATIONAL INSTITUTE NULL CORRELATION BUNDLE AND SECANT BUNDLES By KRISHANU DAN MATH10200904004 The Institute of Mathematical Sciences, Chennai A thesis submitted to the Board of Studies in Mathematical Sciences In partial

More information

FREE DIVISORS IN A PENCIL OF CURVES

FREE DIVISORS IN A PENCIL OF CURVES Journal of Singularities Volume 11 (2015), 190-197 received: 17 February 2015 in revised form: 26 June 2015 DOI: 10.5427/jsing.2015.11h FREE DIVISORS IN A PENCIL OF CURVES JEAN VALLÈS Abstract. A plane

More information

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion

More information

IRREDUCIBILITY AND COMPONENTS RIGID IN MODULI OF THE HILBERT SCHEME OF SMOOTH CURVES

IRREDUCIBILITY AND COMPONENTS RIGID IN MODULI OF THE HILBERT SCHEME OF SMOOTH CURVES IRREDUCIBILITY AND COMPONENTS RIGID IN MODULI OF THE HILBERT SCHEME OF SMOOTH CURVES CHANGHO KEEM*, YUN-HWAN KIM AND ANGELO FELICE LOPEZ** Abstract. Denote by H d,g,r the Hilbert scheme of smooth curves,

More information

Lines on Projective Hypersurfaces

Lines on Projective Hypersurfaces Lines on Projective Hypersurfaces Roya Beheshti Abstract We study the Hilbert scheme of lines on hypersurfaces in the projective space. The main result is that for a smooth Fano hypersurface of degree

More information

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism 8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the

More information

RESEARCH STATEMENT FEI XU

RESEARCH STATEMENT FEI XU RESEARCH STATEMENT FEI XU. Introduction Recall that a variety is said to be rational if it is birational to P n. For many years, mathematicians have worked on the rationality of smooth complete intersections,

More information

ON ISOTROPY OF QUADRATIC PAIR

ON ISOTROPY OF QUADRATIC PAIR ON ISOTROPY OF QUADRATIC PAIR NIKITA A. KARPENKO Abstract. Let F be an arbitrary field (of arbitrary characteristic). Let A be a central simple F -algebra endowed with a quadratic pair σ (if char F 2 then

More information

The Pennsylvania State University The Graduate School Eberly College of Science AN ASYMPTOTIC MUKAI MODEL OF M 6

The Pennsylvania State University The Graduate School Eberly College of Science AN ASYMPTOTIC MUKAI MODEL OF M 6 The Pennsylvania State University The Graduate School Eberly College of Science AN ASYMPTOTIC MUKAI MODEL OF M 6 A Dissertation in Mathematics by Evgeny Mayanskiy c 2013 Evgeny Mayanskiy Submitted in Partial

More information

Algebraic Curves and Riemann Surfaces

Algebraic Curves and Riemann Surfaces Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex

More information

INDRANIL BISWAS AND GEORG HEIN

INDRANIL BISWAS AND GEORG HEIN GENERALIZATION OF A CRITERION FOR SEMISTABLE VECTOR BUNDLES INDRANIL BISWAS AND GEORG HEIN Abstract. It is known that a vector bundle E on a smooth projective curve Y defined over an algebraically closed

More information

ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES

ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface

More information

Introduction To K3 Surfaces (Part 2)

Introduction To K3 Surfaces (Part 2) Introduction To K3 Surfaces (Part 2) James Smith Calf 26th May 2005 Abstract In this second introductory talk, we shall take a look at moduli spaces for certain families of K3 surfaces. We introduce the

More information

Exercises for algebraic curves

Exercises for algebraic curves Exercises for algebraic curves Christophe Ritzenthaler February 18, 2019 1 Exercise Lecture 1 1.1 Exercise Show that V = {(x, y) C 2 s.t. y = sin x} is not an algebraic set. Solutions. Let us assume that

More information

Chern classes à la Grothendieck

Chern classes à la Grothendieck Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces

More information

On exceptional completions of symmetric varieties

On exceptional completions of symmetric varieties Journal of Lie Theory Volume 16 (2006) 39 46 c 2006 Heldermann Verlag On exceptional completions of symmetric varieties Rocco Chirivì and Andrea Maffei Communicated by E. B. Vinberg Abstract. Let G be

More information

Arithmetically Gorenstein curves on arithmetically Cohen-Macaulay surfaces

Arithmetically Gorenstein curves on arithmetically Cohen-Macaulay surfaces Collect. Math. 53, 3 (2002), 265 276 c 2002 Universitat de Barcelona Arithmetically Gorenstein curves on arithmetically Cohen-Macaulay surfaces Alberto Dolcetti Dipartimento di Matematica U. Dini, viale

More information

arxiv: v1 [math.ag] 3 Mar 2018

arxiv: v1 [math.ag] 3 Mar 2018 CLASSIFICATION AND SYZYGIES OF SMOOTH PROJECTIVE VARIETIES WITH 2-REGULAR STRUCTURE SHEAF SIJONG KWAK AND JINHYUNG PARK arxiv:1803.01127v1 [math.ag] 3 Mar 2018 Abstract. The geometric and algebraic properties

More information

SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS

SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e on a general complete intersection of multidegree

More information

LECTURE 6: THE ARTIN-MUMFORD EXAMPLE

LECTURE 6: THE ARTIN-MUMFORD EXAMPLE LECTURE 6: THE ARTIN-MUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3-fold which is not rational in fact, it is not even stably rational). As

More information

PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013

PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013 PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013 1. Problems on moduli spaces The main text for this material is Harris & Morrison Moduli of curves. (There are djvu files

More information

Projective Schemes with Degenerate General Hyperplane Section II

Projective Schemes with Degenerate General Hyperplane Section II Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco

More information

ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3

ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 IZZET COSKUN AND ERIC RIEDL Abstract. We prove that a curve of degree dk on a very general surface of degree d 5 in P 3 has geometric

More information

ON DEGENERATIONS OF MODULI OF HITCHIN PAIRS

ON DEGENERATIONS OF MODULI OF HITCHIN PAIRS ELECRONIC RESEARCH ANNOUNCEMENS IN MAHEMAICAL SCIENCES Volume 20, Pages 105 110 S 1935-9179 AIMS (2013) doi:10.3934/era.2013.20.105 ON DEGENERAIONS OF MODULI OF HICHIN PAIRS V. BALAJI, P. BARIK, AND D.S.

More information

INTERSECTION THEORY CLASS 19

INTERSECTION THEORY CLASS 19 INTERSECTION THEORY CLASS 19 RAVI VAKIL CONTENTS 1. Recap of Last day 1 1.1. New facts 2 2. Statement of the theorem 3 2.1. GRR for a special case of closed immersions f : X Y = P(N 1) 4 2.2. GRR for closed

More information

EXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION

EXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION EXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION JAN CHRISTIAN ROHDE Introduction By string theoretical considerations one is interested in Calabi-Yau manifolds since Calabi-Yau 3-manifolds

More information

ON A THEOREM OF CAMPANA AND PĂUN

ON A THEOREM OF CAMPANA AND PĂUN ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified

More information

STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES

STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES DAWEI CHEN AND IZZET COSKUN Abstract. In this paper, we determine the stable base locus decomposition of the Kontsevich moduli spaces of degree

More information

MODEL ANSWERS TO HWK #3

MODEL ANSWERS TO HWK #3 MODEL ANSWERS TO HWK #3 1. Suppose that the point p = [v] and that the plane H corresponds to W V. Then a line l containing p, contained in H is spanned by the vector v and a vector w W, so that as a point

More information

h : P 2[n] P 2(n). The morphism h is birational and gives a crepant desingularization of the symmetric product P 2(n).

h : P 2[n] P 2(n). The morphism h is birational and gives a crepant desingularization of the symmetric product P 2(n). THE MINIMAL MODEL PROGRAM FOR THE HILBERT SCHEME OF POINTS ON P AND BRIDGELAND STABILITY IZZET COSKUN 1. Introduction This is joint work with Daniele Arcara, Aaron Bertram and Jack Huizenga. I will describe

More information

COMPLEX ALGEBRAIC SURFACES CLASS 9

COMPLEX ALGEBRAIC SURFACES CLASS 9 COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution

More information

arxiv: v1 [math.ag] 28 Sep 2016

arxiv: v1 [math.ag] 28 Sep 2016 LEFSCHETZ CLASSES ON PROJECTIVE VARIETIES JUNE HUH AND BOTONG WANG arxiv:1609.08808v1 [math.ag] 28 Sep 2016 ABSTRACT. The Lefschetz algebra L X of a smooth complex projective variety X is the subalgebra

More information

Rost Projectors and Steenrod Operations

Rost Projectors and Steenrod Operations Documenta Math. 481 Rost Projectors and Steenrod Operations Nikita Karpenko and Alexander Merkurjev 1 Received: September 29, 2002 Communicated by Ulf Rehmann Abstract. Let X be an anisotropic projective

More information

On the nucleus of the Grassmann embedding of the symplectic dual polar space DSp(2n, F), char(f) = 2

On the nucleus of the Grassmann embedding of the symplectic dual polar space DSp(2n, F), char(f) = 2 On the nucleus of the Grassmann embedding of the symplectic dual polar space DSp(2n, F), char(f) = 2 Rieuwert J. Blok Department of Mathematics and Statistics Bowling Green State University Bowling Green,

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 RAVI VAKIL CONTENTS 1. A little more about cubic plane curves 1 2. Line bundles of degree 4, and Poncelet s Porism 1 3. Fun counterexamples using elliptic curves

More information

Math 213br HW 3 solutions

Math 213br HW 3 solutions Math 13br HW 3 solutions February 6, 014 Problem 1 Show that for each d 1, there exists a complex torus X = C/Λ and an analytic map f : X X of degree d. Let Λ be the lattice Z Z d. It is stable under multiplication

More information

arxiv: v1 [math.ag] 17 Feb 2009

arxiv: v1 [math.ag] 17 Feb 2009 Cohomological Characterization of Vector Bundles on Grassmannians of Lines Enrique Arrondo and Francesco Malaspina arxiv:0902.2897v1 [math.ag] 17 Feb 2009 Universidad Complutense de Madrid Plaza de Ciencias,

More information

S. Dale Cutkosky Department of Mathematics, University of Missouri Columbia, MO 65211, USA

S. Dale Cutkosky Department of Mathematics, University of Missouri Columbia, MO 65211, USA IRRATIONAL ASYMPTOTIC BEHAVIOUR OF CASTELNUOVO-MUMFORD REGULARITY S. Dale Cutkosky Department of Mathematics, University of Missouri Columbia, MO 65211, USA 1. Introduction Let I be an ideal sheaf on P

More information

The Reducibility and Dimension of Hilbert Schemes of Complex Projective Curves

The Reducibility and Dimension of Hilbert Schemes of Complex Projective Curves The Reducibility and Dimension of Hilbert Schemes of Complex Projective Curves Krishna Dasaratha dasaratha@college.harvard.edu Advisor: Joe Harris Submitted to the Department of Mathematics in partial

More information

arxiv:math/ v1 [math.ag] 25 Oct 2004

arxiv:math/ v1 [math.ag] 25 Oct 2004 ON LINEAR SPACES OF SKEW-SYMMETRIC MATRICES OF CONSTANT RANK L. MANIVEL, E. MEZZETTI arxiv:math/0410520v1 [math.ag] 25 Oct 2004 1. Introduction Linear sections of the Grassmannians G(1,n) of lines in P

More information

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open

More information

The Canonical Sheaf. Stefano Filipazzi. September 14, 2015

The Canonical Sheaf. Stefano Filipazzi. September 14, 2015 The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over

More information

Poles of Instantons and Jumping Lines of Algebraic Vector Bundles on P

Poles of Instantons and Jumping Lines of Algebraic Vector Bundles on P No. 5] Proc. Japan Acad., 5, Ser. A (1979) 185 Poles of Instantons and Jumping Lines of Algebraic Vector Bundles on P By Motohico ]V[ULASE Research Institute for Mathematical Science.s, Kyoto University

More information

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss

More information

Group Law for elliptic Curves

Group Law for elliptic Curves Group Law for elliptic Curves http://www.math.ku.dk/ verrill/grouplaw/ (Based on Cassels Lectures on Elliptic curves, Chapter 7) 1 Outline: Introductory remarks Construction of the group law Case of finding

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1

More information

Finite affine planes in projective spaces

Finite affine planes in projective spaces Finite affine planes in projective spaces J. A.Thas H. Van Maldeghem Ghent University, Belgium {jat,hvm}@cage.ugent.be Abstract We classify all representations of an arbitrary affine plane A of order q

More information

Some Remarks on Prill s Problem

Some Remarks on Prill s Problem AFFINE ALGEBRAIC GEOMETRY pp. 287 292 Some Remarks on Prill s Problem Abstract. N. Mohan Kumar If f : X Y is a non-constant map of smooth curves over C and if there is a degree two map π : X C where C

More information

HOMOMORPHISMS OF VECTOR BUNDLES ON CURVES AND PARABOLIC VECTOR BUNDLES ON A SYMMETRIC PRODUCT

HOMOMORPHISMS OF VECTOR BUNDLES ON CURVES AND PARABOLIC VECTOR BUNDLES ON A SYMMETRIC PRODUCT PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 140, Number 9, September 2012, Pages 3017 3024 S 0002-9939(2012)11227-4 Article electronically published on January 24, 2012 HOMOMORPHISMS OF VECTOR

More information

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)]. Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.

More information

TWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS

TWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS TWO LECTURES ON APOLARITY AND THE VARIETY OF SUMS OF POWERS KRISTIAN RANESTAD (OSLO), LUKECIN, 5.-6.SEPT 2013 1. Apolarity, Artinian Gorenstein rings and Arithmetic Gorenstein Varieties 1.1. Motivating

More information

Characteristic classes in the Chow ring

Characteristic classes in the Chow ring arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic

More information

SESHADRI CONSTANTS ON SURFACES

SESHADRI CONSTANTS ON SURFACES SESHADRI CONSTANTS ON SURFACES KRISHNA HANUMANTHU 1. PRELIMINARIES By a surface, we mean a projective nonsingular variety of dimension over C. A curve C on a surface X is an effective divisor. The group

More information

Resolution of Singularities in Algebraic Varieties

Resolution of Singularities in Algebraic Varieties Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.

More information

Oral exam practice problems: Algebraic Geometry

Oral exam practice problems: Algebraic Geometry Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n

More information

arxiv: v1 [math.ag] 20 Mar 2016

arxiv: v1 [math.ag] 20 Mar 2016 GENUS THREE CURVES AND 56 NODAL SEXTIC SURFACES BERT VAN GEEMEN, YAN ZHAO arxiv:1603.06247v1 [math.ag] 20 Mar 2016 Abstract. Catanese and Tonoli showed that the maximal cardinality for an even set of nodes

More information

ISOGENIES OF PRYM VARIETIES

ISOGENIES OF PRYM VARIETIES LE MATEMATICHE Vol. LXXII (217) Fasc. II, pp. 131 14 doi: 1.4418/217.72.2.1 ISOGENIES OF PRYM VARIETIES ROBERTO LAFACE - CÉSAR MARTÍNEZ We prove an extension of the Babbage-Enriques-Petri theorem for semi-canonical

More information

J. Huisman. Abstract. let bxc be the fundamental Z=2Z-homology class of X. We show that

J. Huisman. Abstract. let bxc be the fundamental Z=2Z-homology class of X. We show that On the dual of a real analytic hypersurface J. Huisman Abstract Let f be an immersion of a compact connected smooth real analytic variety X of dimension n into real projective space P n+1 (R). We say that

More information

FANO VARIETIES AND EPW SEXTICS

FANO VARIETIES AND EPW SEXTICS FNO VRIETIES ND EPW SEXTICS OLIVIER DEBRRE bstract. We explore a connection between smooth projective varieties X of dimension n with an ample divisor H such that H n = 10 and K X = (n 2)H and a class

More information

arxiv: v1 [math.ag] 14 Dec 2016

arxiv: v1 [math.ag] 14 Dec 2016 Some elementary remarks on lci algebraic cycles arxiv:1612.04570v1 [math.ag] 14 Dec 2016 M. Maggesi and G. Vezzosi Dipartimento di Matematica ed Informatica Università di Firenze - Italy Notes for students

More information

Institutionen för matematik, KTH.

Institutionen för matematik, KTH. Institutionen för matematik, KTH. Contents 4 Curves in the projective plane 1 4.1 Lines................................ 1 4.1.3 The dual projective plane (P 2 )............. 2 4.1.5 Automorphisms of P

More information

Non-properness of the functor of F -trivial bundles

Non-properness of the functor of F -trivial bundles Proc. Indian Acad. Sci. (Math. Sci.) Vol. 26, No. 2, May 206, pp. 79 86. c Indian Academy of Sciences Non-properness of the functor of F -trivial bundles V B MEHTA and S SUBRAMANIAN, School of Mathematics,

More information

arxiv:math/ v1 [math.ag] 9 Sep 2002

arxiv:math/ v1 [math.ag] 9 Sep 2002 arxiv:math/0209094v1 [math.ag] 9 Sep 2002 ELLIPTIC CURVES AND RANK-2 VECTOR BUNDLES ON THE PRIME FANO THREEFOLD OF GENUS 7 A. ILIEV AND D. MARKUSHEVICH Abstract. According to Mukai, any prime Fano threefold

More information

The Grothendieck Ring of Varieties

The Grothendieck Ring of Varieties The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define

More information

Secant varieties. Marin Petkovic. November 23, 2015

Secant varieties. Marin Petkovic. November 23, 2015 Secant varieties Marin Petkovic November 23, 2015 Abstract The goal of this talk is to introduce secant varieies and show connections of secant varieties of Veronese variety to the Waring problem. 1 Secant

More information