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

Size: px
Start display at page:

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

Transcription

1 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 Fulfillment of the Requirements for the Degree of Doctor of Philosophy August 2013

2 The dissertation of Evgeny Mayanskiy was reviewed and approved by the following: Yuri Zarhin Professor of Mathematics Dissertation Advisor, Chair of Committee Robert Vaughan Professor of Mathematics Dale Brownawell Distinguished Professor of Mathematics Karl Schwede Assistant Professor of Mathematics Murat Gunaydin Professor of Physics Svetlana Katok Professor of Mathematics Chair of Graduate Program Signatures are on file in the Graduate School.

3 Abstract We study the Mukai construction of a general curve of genus 6 as a complete intersection of the Grassmannian of lines in P 4 with a codimension 5 quadric in the Plücker space. We formulate the relevant GIT problem in general and then solve it for the large values of the GIT parameter. This allows us to conclude that asymptotically Mukai compact model of M 6 parametrizes double anticanonical curves on the smooth del Pezzo surface of degree 5. As a byproduct of our study we obtain an explicit geometric interpretation of Ozeki classification of orbits of a certain prehomogeneous space. This complements earlier results of J.A. Todd [17]. iii

4 Table of Contents List of Figures Acknowledgments vi vii Chapter 1 Introduction Preface Statement of the problem Chapter 2 The parameter space 3 Chapter 3 Hilbert-Mumford criterion 10 Chapter 4 The asymptotic case 21 Appendix A Classification of codimension 4 linear sections of the Grassmannian of lines in P 4 32 Appendix B Grassmannian degenerations of the del Pezzo quintic threefold 42 Appendix C Excel macros which computes extremal destabilizing 1-PS 47 iv

5 Appendix D Excel macros which identifies minimal sets of vanishing Plücker coordinates for unstable points 55 Appendix E MATLAB code which checks if a given matrix lies in the general orbit of GL(4) SL(5) 60 Bibliography 63 v

6 List of Figures 2.1 Two families A.1 Codimension 4 sections of G(2, 5) P 9, orbits A.2 Codimension 4 sections of G(2, 5) P 9, orbits A.3 Codimension 4 sections of G(2, 5) P 9, orbits A.4 Codimension 4 sections of G(2, 5) P 9, orbits A.5 Codimension 4 sections of G(2, 5) P 9, orbits A.6 Codimension 4 sections of G(2, 5) P 9, orbits A.7 Codimension 4 sections of G(2, 5) P 9, orbits B.1 Codimension 3 sections of G(2, 5) P 9, orbits B.2 Codimension 3 sections of G(2, 5) P 9, orbits B.3 Codimension 3 sections of G(2, 5) P 9, orbits B.4 Codimension 3 sections of G(2, 5) P 9, orbits vi

7 Acknowledgments Our work was made possible because of the Teaching Assistantship support from the Mathematical Department of the Pennsylvania State University. This work is a part of a larger project (joint with Damiano Fulghesu), where we study Mukai models of moduli spaces of curves of low genera and their relations with the Hassett-Keel program. We started working on it during the AIM Workshop Log minimal model program for moduli spaces in December We thank organizers of the workshop and staff of the American Institute of Mathematics for providing excellent working conditions and especially Brendan Hassett, who pointed out this problem during the workshop. Two months after we obtained the results presented in this thesis an entirely independent work by Fabian Müller appeared 1 which identified our asymptotic GIT quotient with the final log canonical model of M 6. 1 Fabian Müller, The final log canonical model of M 6, arxiv: (2013). vii

8 Chapter 1 Introduction 1.1 Preface This thesis contains the beginnings of the study of Mukai models of the moduli space of curves of genus 6. Mukai-like constructions of curves, surfaces, threefolds... as complete intersections and sections of Grassmannians suggest that Geometric Invariant Theory can be used in order to construct quasiprojective moduli spaces of such varieties as well as their natural compactifications. Nevertheless, it appears that this application of Mumford s GIT did not attract much attention and was not explored much. We would like to point out [2], [3], [4], [7] among other works in this direction. In this thesis we study one such GIT construction of a moduli space of curves of genus 6. We hope that the methods we use and observations we make will be useful for other analogous GIT constructions involving sections of Grassmannians. As a byproduct of our study we obtain an explicit geometric classification of codimension 4 linear sections of the Grassmannian of lines in P 4. Linear sections of Grassmannians have a very beautiful geometry (see [11], [16], [15], [8], [6], [1] among many others). Our result is an elementary consequence of the Ozeki classification of orbits of a certain prehomogeneous space [14]. The problem of classifying linear sections (in particular, linear sections of codimensions 3 and 4) of the Grassmannian of lines in P 4 was addressed earlier by J.A. Todd [17]. We believe that our results complement his study.

9 2 1.2 Statement of the problem Let us recall the following result of Mukai (see section 5 of [12]). Theorem. (Mukai, [12]) Let C be a general curve of genus 6. Then: (1) there exists a unique stable rank 2 vector bundle F max on C such that det(f max ) = ω C is the canonical bundle and h 0 (C, F max ) = 5 is maximal possible, (2) F max is generated by global sections, (3) the morphism C G(2, H 0 (C, F max )) defined by the global sections of F max is a closed embedding which represents C as a complete intersection of G(2, H 0 (C, F max )) with a codimension 5 quadric in P( 2 H 0 (C, F max )) (where the Grassmannian is embedded via the Plücker embedding). Vice versa, it is easy to see that a general such complete intersection is a canonical curve of genus 6. This suggests the following natural question. Problem. Describe the quotient of a compactification of a parameter space of complete intersections G(2, V ) (codim 5 quadric in P( 2 V )) by the automorphism group Aut(V ) and represent this quotient as a compact model of M 6.

10 Chapter 2 The parameter space In this chapter we define a compactification X of a parameter space of complete intersections as above. Let k = C and V = k 5 with the standard action of G = SL(5). Let G(2, V ) P( 2 V ) be the Plücker embedding of the Grassmannian of affine 2-planes in V. We recall that the ideal I P of G(2, V ) as a subvariety of P( 2 V ) can be generated by quadratic polynomials p 1 = Z 0 Z 7 Z 1 Z 5 + Z 2 Z 4, p 2 = Z 0 Z 8 Z 1 Z 6 + Z 3 Z 4, p 3 = Z 0 Z 9 Z 2 Z 6 + Z 3 Z 5, p 4 = Z 1 Z 9 Z 2 Z 8 + Z 3 Z 7, p 5 = Z 4 Z 9 Z 5 Z 8 + Z 6 Z 7, where Z 0, Z 1, Z 2, Z 3, Z 4, Z 5, Z 6, Z 7, Z 8, Z 9 are the homogeneous coordinates on P( 2 V ) = P 9. If X 1, X 2, X 3, X 4, X 5 are coordinates of V, then one can take Z 0 = X 1 X 2, Z 1 = X 1 X 3, Z 2 = X 1 X 4, Z 3 = X 1 X 5, Z 4 = X 2 X 3, Z 5 = X 2 X 4, Z 6 = X 2 X 5, Z 7 = X 3 X 4, Z 8 = X 3 X 5, Z 9 = X 4 X 5. Consider the Grassmannian G(4, H 0 (G(2, V ), O G(2,V ) (1))) = G(4, 2 V ) of codi-

11 4 Figure 2.1. Two families. mension 4 linear subspaces in P( 2 V ). We will sometimes restrict ourselves to open subsets U = Spec(k[a ij ]) G(4, 2 V ) corresponding to linear subspaces of P( 2 V ) given by 4 equations Z ik j i 1,i 2,i 3,i 4 a kj Z j, 1 k 4. Let us denote Π k = V + (Z ik j i 1,i 2,i 3,i 4 a kj Z j ) U P( 2 V ), 1 k 4. Let S be the tautological rank 6 vector bundle over G(4, 2 V ). Then P(S) G(4, 2 V ) P( 2 V ) is the universal family over G(4, 2 V ) and P(S) U = Π 1 Π 2 Π 3 Π 4 U P( 2 V ). Consider the trivial family G(4, 2 V ) G(2, V ) G(4, 2 V ) P( 2 V ). Lemma 1. The intersection P(S) (G(4, 2 V ) G(2, V )) is a smooth connected subvariety of G(4, 2 V ) P( 2 V ). Proof: It is sufficient to work over U G(4, 2 V ) as above. We may assume that Z 9 = 1 by restricting to D + (Z 9 ) U P( 2 V ). Without loss of generality we may assume that 9 i 1, i 2, i 3, i 4. Then P(S) U D+ (Z 9 ) is given inside of D + (Z 9 ) = Spec(k[a ij ][Z 0, Z 1, Z 2, Z 3, Z 4, Z 5, Z 6, Z 7, Z 8 ])

12 5 by equations a k9 + a kj Z j Z ik, 1 k 4, j i 1,i 2,i 3,i 4,9 while U G(2, V ) D + (Z 9 ) is given by equations Z 0 = (Z 2 Z 6 Z 3 Z 5 ), Z 1 = (Z 2 Z 8 Z 3 Z 7 ), Z 4 = (Z 5 Z 8 Z 6 Z 7 ). QED Let us denote by i: P(S) G(4, 2 V ) P( 2 V ) the closed embedding of the universal family π : P(S) G(4, 2 V ) over the Grassmannian. Lemma 2. The morphism of coherent sheaves i I P i O G(4, 2 V ) P( 2 V ) = O P(S) is injective. Proof: We use notation from the proof of Lemma 1. As in Lemma 1, we work in D + (Z 9 ) over U G(4, 2 V ). Let T = Π 1... Π i D + (Z 9 ) U P 9 and H = T Π i+1, 0 i 3. Then H T is a Cartier divisor and the corresponding invertible sheaf is O T (1). We will prove Lemma 2 by induction on i. If we multiply the short exact sequence 0 O T ( 1) O T O T H 0 by OT I P, then we get a short exact sequence 0 I P ( 1) T I P T I P T H 0. The injectivity of the morphism I P ( 1) T I P T follows from the induction assumption that I P T O T is injective. Then a diagram chase shows that I P T H O T H is injective as well. QED

13 6 Lemma 3. R 1 π (i I P (2)) = 0. Proof: As in Lemma 1, we work over U G(4, 2 V ). Then it is sufficient to show that H 1 (P(S) U, i I P (2)) = 0. We use notation from the proof of Lemma 2 and do induction on i {0, 1, 2, 3}. For any d Z we have the short exact sequence of coherent sheaves on T 0 I P T (d 1) I P T (d) I P T H (d) 0. Hence vanishing of H i (T H, I P T H (3 i)) follows from vanishing of H i (T, I P T (3 i)) and H i+1 (T, I P T (3 i 1)). By the cohomological flat base change theorem H i (U P 9, i I P (d)) = k[a ij ] k H i (P 9, I P (d)). So, it is enough to check that for the Plücker ideal I P as a coherent sheaf on P 9 we have H i (P 9, I P (3 i)) = 0 for 1 i 5. Let P = G(2, V ) P( 2 V ) = P 9 be the Plücker embedding. The short exact sequence 0 I P (d) O P 9(d) O P (d) 0 and projective normality of the Plücker embedding imply that H 1 (P 9, I P (d)) = 0 and H i (P 9, I P (d)) = H i 1 (P, O P (d)), 2 i 8 for any d Z. Finally, H i (P, O P (2 i)) = H i (P, ω P (7 i)) = 0, 1 i 4 by the Kodaira Vanishing theorem. QED

14 7 Definition 1. E = π (O(2)/i I P (2)). Corollary 1. There exists a surjective morphism of coherent sheaves π (O(2)) = Sym 2 (S ) E with kernel π (i I P (2)). Let us describe this kernel more explicitely over an open subset U G(4, 2 V ) as above. Lemma 4. Over U G(4, 2 V ) one can describe π (i I P (2)) U as a subsheaf of π (O(2)) U = Sym 2 (S ) U = O U Z i Z j 0 i j 9, i,j i 1,i 2,i 3,i 4 as follows: π (i I P (2)) U = 5 O U p i π (O(2)) U. i=1 Proof: We will be working in the graded ring B = k[a ij ][Z 0,..., ˆ Zi1,..., ˆ Zi2,..., ˆ Zi3,..., ˆ Zi4,..., Z 9 ]. Note that P(S) U = P roj(b) U P 9. Let ξ H 0 (P(S) U, i I P (2)). Then ξ D+ (Z i ) = 5 j=1 ω ij (Z i ) N p j for some ω ij B N homogeneous elements of B of degree N for any i. Comparing ξ D+ (Z i ) and ξ D + (Z i we get ) 5 ω ij p j = (Z i ) N γ i j=1

15 8 in B for some γ i B 2. Since i I P B is a prime ideal by Lemma 1, we conclude that γ i i I P. Hence ξ D+ (Z i ) = 5 j=1 γ j p j for some γ j k[a ij ] for any i. QED Remark 1. It follows from [14] that E is a locally free sheaf of rank 16 over the open subset of G(4, 2 V ), which is the complement to the union of the following G-orbits (we use the numeration of G-orbits in G(4, 2 V ) from [14]): orbits 29, 32, 36, over which the dimension of the fibers of E is 17, orbits 33, 35, 37, over which the dimension of the fibers of E is 18, orbit 38, over which the dimension of the fibers of E is 20. As a compactification of a parameter space of complete intersections G(2, V ) ( codim 5 quadric in P( 2 V )) we take the following space X. Definition 2. X = P(E). Let us denote by p: X = P(E) G(4, 2 V ) the canonical projection. Note that G acts on X and p is G-equivariant. Corollary 2. The action of G on X extends to an action of G on the tautological line bundle O(1) on X. Proof: The Plücker ideal I P O P( 2 V ) is G-invariant. Hence G acts on E. Hence it acts on the space of lines in its fibers which is the tautological line bundle O(1). QED We will study the following linearizations of G = SL(5)-action on X.

16 9 Definition 3. L a,b = O P(E) (a) O p O G(4, 2 V )(b), a, b Z, a, b > 0. We will also use notation L a,b = L t, where t = b/a. In this thesis we will focus on the asymptotic case, when t.

17 Chapter 3 Hilbert-Mumford criterion In this chapter we give a solution to the Hilbert-Mumford numertical criterion of stability for the GIT problem described in Chapter 2. Let λ: G m G = SL(5) be a 1-PS. We can assume that we have chosen coordinates X 1, X 2, X 3, X 4, X 5 in such a way that λ diagonalizes with weights w 1, w 2, w 3, w 4, w 5 such that w 1 w 2 w 3 w 4 w 5 and w 1 + w 2 + w 3 + w 4 + w 5 = 0. Let us denote by τ 0 = w 1 + w 2, τ 1 = w 1 + w 3, τ 2 = w 1 + w 4, τ 3 = w 1 + w 5, τ 4 = w 2 + w 3, τ 5 = w 2 + w 4, τ 6 = w 2 + w 5, τ 7 = w 3 + w 4, τ 8 = w 3 + w 5, τ 9 = w 4 + w 5. the corresponding weights of the coordinates Z i on P( 2 V ) = P 9. It follows from Lemma 4 that a point ξ X is a quadric q in the 6-dimensional projective space π = p(ξ) G(4, 2 V ) taken modulo Plücker quadrics p 1 = Z 0 Z 7 Z 1 Z 5 + Z 2 Z 4, p 2 = Z 0 Z 8 Z 1 Z 6 + Z 3 Z 4, p 3 = Z 0 Z 9 Z 2 Z 6 + Z 3 Z 5, p 4 = Z 1 Z 9 Z 2 Z 8 + Z 3 Z 7, p 5 = Z 4 Z 9 Z 5 Z 8 + Z 6 Z 7.

18 11 We will write ξ = (π, q). Then a standard computation (see [13] or [5]) shows that the Hilbert-Mumford weight function of ξ can be expressed as follows: µ(ξ, λ) = a (τ i + τ j ) + b (τ i1 + τ i2 + τ i3 + τ i4 ), where τ i1 +τ i2 +τ i3 +τ i4 is the maximal λ-weight at π of the action of G on G(4, 2 V ) and τ i + τ j is the maximal λ-weight of the quadratic polynomial q (we take its representative modulo p 1, p 2, p 3, p 4, p 5 with the minimal such weight). ([13]): Then the Hilbert-Mumford numerical criterion of stability can be stated as follows ξ is semistable if and only if µ(ξ, λ) 0 for any λ, (3.1) ξ is properly stable if and only if µ(ξ, λ) > 0 for any λ, (3.2) ξ is unstable if and only if µ(ξ, λ) < 0 for some λ. (3.3) Lemma 5. Given a maximal torus in G, there exists a finite set of 1-PS diagonalized by this maximal torus for which it is sufficient to check inequalities (3.1) (3.3). Proof: Let us fix ξ = (π, q) X. Let us denote by τ the ordering induced on τ i by a given 1-PS λ with weights w 1, w 2, w 3, w 4, w 5. Let τ i0 τ i1 τ i2 τ i3 τ i4 τ i5 τ i6 τ i7 τ i8 τ i9. Let us denote by τ 2 the ordering induced on τ I = τ i + τ j, i j, I = {i, j}. We will choose indices in such a way that τ Ii+1 τ Ii τ I0 for any i 0. The choice of coordinates X i in V determines the flag 0 = E 0 E 1 E 2 E 3 E 4 E 5 = V, where E i V is the linear subspace cut out by equations X i+1 =... = X 5 = 0. The ordering τ determines a flag in P( 2 V ). The ordering τ 2 determines a flag in the vector space H 0 (P π, O(2)) of quadrics in the 5-dimensional linear subspace P π P( 2 V ) = P 9 cut out by the equations π G(4, 2 V ). Let us notice (see [13] (section 4 in chapter 4) or [5] (chapter 11)) that one can

19 12 write µ(ξ, λ) in the form µ(ξ, λ) = a ( i 0 f i (τ Ii+1 τ Ii ) + f 0 τ I0 ) + b ( j 0 d j (τ ij τ ij+1 ) + d 9 τ 9 ), where f i 0 are the dimensions of intersections of the line determined by the quadric q with the vector spaces of the flag in H 0 (P π, O(2)) defined above and d j 0 are the dimensions of intersections of the 4-dimensional space determined by π with the vector spaces of the flag in P( 2 V ) defined above. Orderings τ and τ 2 determine a convext polytope in the space of w j. Since τ i and τ I are linear in w j we can express them as nonnegative linear combinations of their values at w j corresponding to vertices of this convext polytope. Hence the same holds for µ(ξ, λ): it is equal to a linear combination with nonnegative coefficients of µ(ξ, λ k ), where λ k are 1-PS with the same diagonalizing maximal torus in G, but whose weights correspond to the (finitely many) vertices of the convex polytope above. This proves the claim. QED Let us compute these extremal destabilizing 1-PS explicitly. It is sufficient to find all the vertices of convex polytopes whose sides are given by linear equations (in coordinates w i ) of the form τ i = τ j and τ i + τ j = τ k + τ l for various indices i, j, k, l. Let us switch to more convenient coordinates first: c 1 = w 1 w 2 5 Then c i 0 for any i and, c 2 = w 2 w 3 5, c 3 = w 3 w 4 5, c 4 = w 4 w 5. 5 w 1 = 4c 1 + 3c 2 + 2c 3 + c 4, w 2 = c 1 + 3c 2 + 2c 3 + c 4, w 3 = c 1 2c 2 + 2c 3 + c 4, w 4 = c 1 2c 2 3c 3 + c 4, w 5 = c 1 2c 2 3c 3 4c 4, τ 0 = 3c 1 + 6c 2 + 4c 3 + 2c 4, τ 1 = 3c 1 + c 2 + 4c 3 + 2c 4, τ 2 = 3c 1 + c 2 c 3 + 2c 4, τ 3 = 3c 1 + c 2 c 3 3c 4, τ 4 = 2c 1 + c 2 + 4c 3 + 2c 4, τ 5 = 2c 1 + c 2 c 3 + 2c 4, τ 6 = 2c 1 + c 2 c 3 3c 4, τ 7 = 2c 1 4c 2 c 3 + 2c 4, τ 8 = 2c 1 4c 2 c 3 3c 4, τ 9 = 2c 1 4c 2 6c 3 3c 4.

20 13 Note that we can talk either about convex polytopes in the projective space of c i s or about convex cones in the affine space of c i s. All possible equations of the form τ i = τ j and τ i + τ j = τ k + τ l can be written in terms of c i as follows (we list the 4-tuples of coefficients (u 1, u 2, u 3, u 4 ) of equations u 1 c 1 + u 2 c 2 + u 3 c 3 + u 4 c 4 = 0): (1, 1, 0, 0) (1, 0, 1, 0) (1, 0, 0, 1) (0, 1, 1, 0) (0, 1, 0, 1) (0, 0, 1, 1) (2, 0, 0, 1) (1, 0, 0, 2) (2, 0, 1, 0) (1, 0, 2, 0) (0, 2, 0, 1) (0, 1, 0, 2) (0, 1, 1, 1) (0, 1, 1, 1) (1, 1, 2, 0) (2, 1, 1, 0) (1, 1, 1, 0) (1, 0, 2, 2) (2, 0, 1, 1) (1, 2, 0, 2) (1, 1, 0, 2) (1, 1, 0, 2) (2, 1, 0, 2) (1, 0, 1, 2) (1, 0, 1, 1) (1, 0, 1, 1) (1, 2, 0, 1) (1, 1, 0, 1) (1, 0, 1, 1) (1, 0, 2, 1) (1, 1, 0, 1) (1, 1, 0, 1) (2, 1, 0, 1) (2, 0, 1, 2) (2, 0, 1, 1) (2, 0, 1, 1) (2, 0, 2, 1) (1, 1, 0, 2) (2, 2, 0, 1) (0, 1, 1, 1) (0, 1, 1, 2) (0, 2, 1, 1) (1, 1, 1, 0) (1, 1, 1, 0) (1, 1, 1, 2) (2, 1, 1, 1) (1, 1, 1, 1) (2, 1, 1, 2) (1, 1, 1, 1) (1, 1, 3, 1) (2, 3, 1, 1) (1, 1, 3, 2) (1, 2, 1, 1) (1, 1, 2, 1) (1, 1, 1, 1) (1, 3, 1, 1) (1, 1, 1, 1) (1, 1, 2, 2) (2, 2, 1, 1) (2, 1, 1, 1) (1, 1, 1, 2) (1, 1, 1, 1) (1, 1, 1, 1) (1, 1, 1, 2) (2, 1, 1, 1) (1, 1, 1, 1) (1, 0, 0, 0) (0, 1, 0, 0) (0, 0, 1, 0) (0, 0, 0, 1). Now one has to go over all triples of these equations and whenever their common solution is a line in the first hyperoctant of the space of c i, this solution will be a vertex of a convex polytope (or an extremal ray of a convex cone) as above. We used an Excel macros (see Appendix C) to do this computation and obtained the following list of vertices (we list the representative nonzero 4-tuples (c 1, c 2, c 3, c 4 )): (1, 1, 1, 1) (1, 1, 1, 2) (2, 2, 2, 1) (0, 0, 0, 1) (2, 2, 2, 3) (1, 1, 1, 3) (1, 1, 1, 4) (1, 1, 1, 5) (1, 1, 1, 6) (1, 1, 2, 1) (2, 2, 1, 2) (1, 1, 0, 1) (1, 1, 3, 1) (1, 1, 4, 1) (1, 1, 2, 2) (2, 2, 1, 1) (0, 0, 1, 1) (1, 1, 3, 3) (4, 4, 1, 1) (2, 2, 3, 3) (3, 3, 1, 1)

21 14 (3, 3, 2, 2) (1, 1, 4, 4) (2, 2, 1, 4) (1, 1, 0, 2) (1, 1, 3, 2) (1, 1, 4, 2) (1, 1, 5, 2) (2, 2, 4, 1) (2, 2, 0, 1) (2, 2, 6, 1) (2, 2, 3, 1) (4, 4, 1, 2) (2, 2, 5, 1) (4, 4, 3, 2) (2, 2, 7, 1) (1, 1, 2, 3) (2, 2, 4, 3) (1, 1, 2, 4) (1, 1, 2, 6) (1, 1, 2, 7) (1, 1, 2, 5) (2, 2, 1, 3) (4, 4, 2, 1) (2, 2, 1, 6) (4, 4, 2, 3) (2, 2, 1, 5) (2, 2, 1, 8) (4, 4, 2, 5) (2, 2, 1, 9) (2, 2, 1, 11) (2, 2, 1, 7) (1, 1, 3, 4) (3, 3, 1, 4) (2, 2, 0, 3) (1, 1, 0, 3) (1, 1, 0, 4) (1, 1, 0, 5) (2, 2, 6, 3) (1, 1, 3, 5) (1, 1, 3, 7) (1, 1, 3, 8) (1, 1, 3, 6) (2, 2, 5, 3) (2, 2, 7, 3) (4, 4, 1, 6) (2, 2, 9, 3) (1, 1, 4, 3) (3, 3, 4, 1) (1, 1, 5, 4) (3, 3, 5, 2) (1, 1, 5, 3) (1, 1, 6, 3) (1, 1, 6, 4) (3, 3, 7, 1) (1, 1, 7, 4) (2, 1, 2, 2) (1, 2, 1, 1) (1, 0, 1, 1) (1, 3, 1, 1) (1, 4, 1, 1) (1, 2, 1, 2) (2, 1, 2, 1) (0, 1, 0, 1) (3, 1, 3, 1) (1, 3, 1, 3) (1, 4, 1, 2) (1, 3, 1, 2) (2, 3, 2, 4) (1, 5, 1, 2) (2, 1, 2, 4) (1, 0, 1, 2) (1, 6, 1, 2) (4, 1, 4, 2) (2, 3, 2, 1) (2, 4, 2, 1) (2, 0, 2, 1) (2, 6, 2, 1) (2, 5, 2, 1) (0, 1, 0, 2) (0, 2, 0, 1) (0, 1, 0, 3) (1, 2, 1, 4) (5, 1, 5, 2) (3, 2, 3, 4) (3, 1, 3, 2) (2, 3, 2, 6) (1, 3, 1, 6) (4, 2, 4, 1) (3, 2, 3, 1) (1, 6, 1, 3) (3, 4, 3, 2) (1, 2, 1, 3) (2, 1, 2, 3) (1, 4, 1, 3) (2, 4, 2, 5) (1, 2, 1, 5) (2, 4, 2, 3) (1, 2, 1, 6) (1, 2, 1, 8) (1, 2, 1, 9) (1, 2, 1, 7) (4, 1, 4, 3) (2, 5, 2, 6) (4, 3, 4, 5) (1, 7, 1, 3) (3, 5, 3, 1) (1, 6, 1, 4) (3, 1, 3, 5) (1, 5, 1, 3) (2, 1, 2, 6) (1, 0, 1, 3) (1, 8, 1, 3) (3, 1, 3, 9) (2, 1, 2, 7) (1, 2, 2, 1) (2, 1, 1, 2) (3, 1, 1, 3) (1, 3, 3, 1) (1, 0, 0, 1) (2, 1, 4, 2) (1, 3, 2, 1) (1, 0, 2, 1) (1, 4, 2, 1) (1, 5, 2, 1) (2, 4, 1, 2) (2, 3, 1, 2) (2, 0, 1, 2) (2, 6, 1, 2) (2, 5, 1, 2) (4, 1, 2, 4) (2, 7, 1, 2) (4, 2, 1, 4) (2, 1, 5, 2) (2, 1, 0, 2) (2, 1, 6, 2) (2, 1, 3, 2) (2, 1, 7, 2) (1, 2, 4, 1) (1, 2, 0, 1) (1, 2, 3, 1) (1, 2, 5, 1) (1, 4, 3, 1) (1, 3, 5, 1) (1, 3, 0, 1) (1, 3, 4, 1) (1, 3, 6, 1) (1, 0, 3, 1) (1, 5, 3, 1) (1, 6, 3, 1) (1, 2, 2, 2) (2, 1, 1, 1) (3, 1, 1, 1) (0, 1, 1, 1) (4, 1, 1, 1)

22 15 (3, 2, 2, 2) (5, 1, 1, 1) (6, 1, 1, 1) (2, 1, 1, 4) (1, 4, 4, 2) (3, 1, 1, 6) (1, 0, 0, 2) (2, 3, 3, 4) (1, 5, 5, 2) (1, 3, 3, 2) (3, 2, 2, 6) (4, 1, 1, 8) (2, 4, 4, 1) (4, 1, 1, 2) (6, 2, 2, 3) (2, 0, 0, 1) (2, 3, 3, 1) (2, 5, 5, 1) (4, 3, 3, 2) (6, 1, 1, 3) (8, 1, 1, 4) (1, 2, 2, 4) (2, 4, 4, 5) (1, 2, 2, 3) (1, 2, 2, 5) (2, 4, 4, 3) (1, 2, 2, 6) (1, 2, 2, 9) (1, 2, 2, 10) (1, 2, 2, 7) (1, 2, 2, 8) (4, 2, 2, 1) (2, 1, 1, 3) (4, 2, 2, 5) (2, 1, 1, 5) (4, 2, 2, 3) (2, 1, 1, 6) (2, 1, 1, 8) (2, 1, 1, 7) (3, 1, 1, 2) (0, 1, 1, 2) (6, 1, 1, 2) (3, 2, 2, 4) (5, 1, 1, 2) (5, 2, 2, 4) (8, 1, 1, 2) (7, 1, 1, 2) (6, 2, 2, 1) (0, 2, 2, 1) (3, 4, 4, 2) (3, 2, 2, 1) (5, 2, 2, 1) (5, 4, 4, 2) (9, 2, 2, 1) (10, 2, 2, 1) (7, 2, 2, 1) (8, 2, 2, 1) (3, 1, 1, 5) (6, 2, 2, 5) (6, 2, 2, 7) (3, 1, 1, 4) (3, 1, 1, 7) (3, 1, 1, 8) (3, 1, 1, 10) (3, 1, 1, 9) (0, 1, 1, 3) (0, 1, 1, 4) (8, 1, 1, 3) (4, 3, 3, 5) (3, 5, 5, 1) (5, 1, 1, 9) (4, 1, 1, 7) (4, 1, 1, 3) (6, 1, 1, 4) (10, 1, 1, 6) (8, 1, 1, 5) (4, 6, 6, 1) (7, 1, 1, 3) (5, 3, 3, 1) (1, 4, 4, 3) (1, 6, 6, 4) (5, 2, 2, 6) (3, 4, 4, 5) (3, 4, 4, 1) (4, 1, 1, 6) (5, 1, 1, 3) (1, 3, 3, 5) (7, 2, 2, 6) (5, 4, 4, 3) (1, 5, 5, 3) (5, 3, 3, 4) (6, 1, 1, 10) (5, 1, 1, 8) (9, 1, 1, 5) (7, 1, 1, 4) (10, 1, 1, 3) (9, 1, 1, 3) (2, 4, 1, 4) (1, 2, 0, 2) (1, 2, 4, 2) (1, 2, 3, 2) (1, 2, 6, 2) (1, 2, 5, 2) (2, 1, 4, 1) (2, 1, 0, 1) (4, 2, 1, 2) (2, 1, 5, 1) (2, 1, 3, 1) (4, 2, 3, 2) (2, 1, 6, 1) (1, 3, 2, 3) (3, 1, 6, 1) (1, 4, 2, 4) (2, 3, 4, 3) (2, 3, 1, 3) (6, 2, 3, 2) (4, 1, 2, 1) (4, 3, 2, 3) (2, 5, 1, 5) (6, 1, 3, 1) (3, 1, 0, 1) (5, 1, 2, 1) (5, 3, 1, 3) (3, 1, 7, 1) (1, 3, 5, 3) (3, 4, 1, 4) (6, 2, 1, 2) (6, 1, 2, 1) (3, 1, 5, 1) (3, 2, 4, 2) (0, 1, 2, 1) (3, 1, 4, 1) (3, 1, 2, 1) (6, 2, 5, 2) (3, 1, 8, 1) (9, 3, 1, 3) (3, 2, 1, 2) (4, 1, 6, 1) (5, 2, 4, 2) (5, 4, 3, 4) (8, 1, 2, 1) (9, 1, 2, 1) (7, 1, 2, 1) (7, 2, 1, 2) (1, 4, 2, 2) (1, 0, 2, 2) (1, 3, 2, 2) (2, 3, 4, 4) (1, 5, 2, 2) (2, 1, 4, 4) (1, 6, 2, 2) (1, 7, 2, 2) (4, 1, 2, 2) (2, 0, 1, 1) (2, 3, 1, 1) (2, 4, 1, 1) (2, 5, 1, 1) (5, 1, 2, 2) (1, 2, 4, 4) (8, 1, 2, 2) (3, 2, 4, 4)

23 16 (6, 1, 2, 2) (0, 1, 2, 2) (3, 1, 2, 2) (5, 2, 4, 4) (9, 1, 2, 2) (11, 1, 2, 2) (7, 1, 2, 2) (4, 2, 1, 1) (0, 2, 1, 1) (3, 2, 1, 1) (3, 4, 2, 2) (6, 2, 1, 1) (7, 2, 1, 1) (5, 2, 1, 1) (4, 0, 1, 1) (3, 0, 1, 1) (3, 0, 2, 2) (5, 0, 1, 1) (5, 3, 1, 1) (4, 5, 1, 1) (1, 4, 3, 3) (3, 4, 1, 1) (3, 5, 2, 2) (2, 5, 3, 3) (4, 6, 1, 1) (4, 3, 1, 1) (4, 7, 1, 1) (4, 1, 3, 3) (6, 1, 4, 4) (3, 5, 1, 1) (3, 7, 2, 2) (1, 7, 3, 3) (3, 6, 1, 1) (0, 3, 1, 1) (3, 6, 2, 2) (3, 9, 2, 2) (7, 3, 1, 1) (8, 3, 1, 1) (6, 3, 1, 1) (2, 8, 1, 4) (2, 3, 1, 4) (2, 5, 1, 4) (2, 0, 1, 4) (2, 10, 1, 4) (2, 6, 1, 4) (2, 9, 1, 4) (4, 3, 2, 8) (2, 11, 1, 4) (6, 1, 3, 12) (4, 1, 2, 8) (2, 7, 1, 4) (1, 4, 6, 2) (1, 4, 3, 2) (1, 4, 0, 2) (1, 4, 5, 2) (1, 4, 8, 2) (1, 4, 7, 2) (2, 1, 3, 4) (1, 5, 3, 2) (1, 6, 4, 2) (4, 2, 1, 8) (5, 1, 2, 10) (2, 3, 7, 4) (1, 5, 7, 2) (2, 1, 5, 4) (1, 3, 5, 2) (1, 5, 4, 2) (2, 3, 0, 4) (1, 5, 0, 2) (2, 1, 0, 4) (1, 3, 0, 2) (3, 1, 0, 6) (2, 3, 6, 4) (2, 3, 8, 4) (2, 3, 5, 4) (2, 3, 11, 4) (2, 3, 9, 4) (1, 5, 6, 2) (1, 5, 9, 2) (1, 5, 8, 2) (2, 1, 6, 4) (1, 0, 3, 2) (1, 7, 3, 2) (1, 8, 3, 2) (1, 6, 3, 2) (2, 1, 8, 4) (2, 1, 9, 4) (2, 1, 7, 4) (1, 3, 4, 2) (1, 3, 7, 2) (1, 3, 6, 2) (1, 0, 4, 2) (1, 8, 4, 2) (1, 9, 4, 2) (1, 7, 4, 2) (3, 1, 4, 6) (4, 1, 8, 2) (2, 5, 4, 1) (2, 0, 4, 1) (2, 6, 4, 1) (2, 3, 4, 1) (2, 8, 4, 1) (2, 7, 4, 1) (8, 2, 3, 4) (4, 1, 9, 2) (4, 1, 0, 2) (4, 1, 6, 2) (4, 1, 10, 2) (4, 1, 3, 2) (4, 1, 5, 2) (4, 1, 11, 2) (12, 3, 1, 6) (8, 2, 1, 4) (4, 1, 7, 2) (6, 4, 1, 3) (2, 4, 3, 1) (4, 3, 1, 2) (2, 6, 5, 1) (4, 5, 3, 2) (2, 4, 8, 1) (2, 3, 7, 1) (2, 5, 3, 1) (4, 5, 1, 2) (2, 7, 5, 1) (4, 7, 3, 2) (2, 4, 0, 1) (2, 3, 0, 1) (2, 0, 3, 1) (2, 7, 3, 1) (2, 6, 3, 1) (4, 0, 1, 2) (2, 0, 5, 1) (4, 0, 3, 2) (6, 0, 1, 3) (4, 8, 1, 2) (2, 4, 5, 1) (4, 8, 3, 2) (2, 4, 6, 1) (2, 4, 9, 1) (2, 4, 7, 1) (4, 6, 1, 2) (8, 1, 2, 4) (4, 9, 1, 2) (4, 7, 1, 2) (2, 3, 5, 1) (4, 6, 3, 2) (2, 3, 8, 1) (2, 3, 6, 1) (2, 9, 5, 1) (2, 8, 5, 1) (4, 11, 3, 2) (4, 9, 3, 2) (10, 2, 1, 5) (1, 3, 2, 6)

24 17 (5, 1, 10, 2) (3, 2, 6, 4) (2, 3, 4, 6) (3, 1, 6, 2) (1, 4, 2, 8) (2, 6, 4, 3) (4, 2, 8, 1) (1, 6, 2, 3) (3, 2, 6, 1) (1, 8, 2, 4) (3, 4, 6, 2) (1, 3, 2, 5) (2, 1, 4, 5) (1, 6, 2, 4) (1, 5, 2, 3) (1, 0, 2, 3) (1, 0, 2, 4) (2, 6, 4, 7) (2, 6, 4, 5) (1, 3, 2, 7) (1, 3, 2, 4) (1, 3, 2, 8) (1, 3, 2, 12) (1, 3, 2, 13) (1, 3, 2, 9) (1, 3, 2, 10) (2, 5, 4, 6) (4, 1, 8, 3) (2, 7, 4, 8) (4, 3, 8, 5) (4, 5, 8, 7) (1, 7, 2, 3) (1, 9, 2, 4) (3, 5, 6, 1) (3, 7, 6, 2) (1, 4, 2, 3) (3, 4, 6, 5) (1, 8, 2, 5) (2, 1, 4, 6) (1, 8, 2, 3) (1, 9, 2, 3) (2, 3, 4, 8) (3, 1, 6, 5) (3, 2, 6, 7) (2, 1, 4, 3) (1, 5, 2, 4) (1, 7, 2, 4) (1, 10, 2, 4) (1, 11, 2, 4) (3, 1, 6, 12) (2, 1, 4, 8) (3, 5, 6, 4) (3, 1, 6, 8) (3, 8, 6, 1) (2, 1, 4, 9) (2, 3, 1, 6) (4, 3, 2, 6) (10, 2, 5, 4) (6, 4, 3, 8) (8, 1, 4, 2) (6, 2, 3, 4) (2, 4, 1, 8) (8, 3, 4, 6) (4, 5, 2, 10) (6, 1, 3, 2) (10, 1, 5, 2) (2, 5, 1, 10) (4, 6, 2, 3) (2, 6, 1, 3) (6, 4, 3, 2) (2, 10, 1, 5) (6, 2, 3, 1) (8, 2, 4, 1) (4, 1, 2, 3) (2, 4, 1, 5) (2, 4, 1, 3) (6, 4, 3, 1) (2, 6, 1, 5) (4, 3, 2, 1) (4, 5, 2, 3) (2, 0, 1, 3) (4, 0, 2, 1) (4, 0, 2, 3) (2, 0, 1, 5) (4, 6, 2, 1) (4, 6, 2, 7) (2, 3, 1, 8) (2, 3, 1, 5) (2, 3, 1, 7) (4, 6, 2, 5) (2, 3, 1, 10) (2, 3, 1, 12) (2, 3, 1, 14) (2, 3, 1, 9) (2, 3, 1, 11) (2, 8, 1, 3) (4, 1, 2, 6) (2, 5, 1, 3) (2, 7, 1, 3) (2, 9, 1, 3) (4, 10, 2, 3) (2, 12, 1, 5) (6, 8, 3, 1) (8, 6, 4, 1) (8, 2, 4, 3) (2, 8, 1, 6) (6, 2, 3, 7) (2, 10, 1, 7) (4, 5, 2, 1) (4, 8, 2, 1) (4, 7, 2, 1) (4, 3, 2, 10) (6, 1, 3, 8) (4, 1, 2, 5) (4, 7, 2, 3) (2, 7, 1, 5) (6, 5, 3, 1) (6, 1, 3, 5) (4, 1, 2, 9) (4, 8, 2, 3) (8, 1, 4, 6) (4, 12, 2, 3) (4, 9, 2, 3) (2, 8, 1, 5) (4, 1, 2, 10) (2, 11, 1, 5) (2, 13, 1, 5) (6, 2, 3, 15) (2, 9, 1, 5) (6, 4, 3, 5) (6, 7, 3, 2) (2, 4, 1, 9) (6, 5, 3, 4) (2, 9, 1, 6) (6, 4, 1, 8) (7, 1, 3, 2) (5, 3, 1, 6) (7, 3, 2, 6) (9, 1, 4, 2) (5, 1, 11, 2) (3, 2, 8, 4) (1, 3, 5, 6) (3, 1, 7, 2) (1, 4, 6, 8) (2, 3, 7, 6) (10, 2, 1, 4) (10, 1, 3, 2) (5, 1, 8, 2) (3, 1, 4, 2) (5, 2, 6, 4) (5, 3, 4, 6) (5, 1, 7, 2) (5, 1, 3, 2) (10, 2, 3, 4) (5, 1, 6, 2) (5, 1, 12, 2) (5, 1, 4, 2) (5, 1, 0, 2) (5, 1, 13, 2) (15, 3, 2, 6) (5, 1, 9, 2)

25 18 (3, 2, 1, 4) (3, 2, 7, 4) (3, 2, 10, 4) (3, 2, 0, 4) (3, 2, 5, 4) (3, 2, 12, 4) (3, 2, 9, 4) (9, 2, 1, 4) (1, 2, 3, 4) (3, 1, 5, 2) (1, 2, 5, 4) (6, 1, 8, 2) (0, 1, 3, 2) (5, 2, 1, 4) (6, 2, 1, 4) (8, 1, 3, 2) (8, 3, 1, 6) (3, 1, 8, 2) (3, 1, 0, 2) (3, 1, 9, 2) (1, 2, 6, 4) (1, 2, 0, 4) (1, 2, 8, 4) (1, 2, 7, 4) (7, 2, 6, 4) (7, 1, 10, 2) (1, 3, 4, 6) (3, 4, 2, 8) (1, 3, 8, 6) (12, 1, 3, 2) (14, 1, 3, 2) (9, 1, 3, 2) (11, 1, 3, 2) (4, 3, 5, 6) (6, 1, 9, 2) (6, 4, 1, 2) (8, 2, 3, 1) (8, 6, 1, 3) (4, 2, 10, 1) (3, 2, 8, 1) (1, 6, 8, 3) (3, 4, 1, 2) (5, 6, 1, 3) (1, 6, 5, 3) (5, 8, 3, 4) (4, 2, 7, 1) (3, 2, 5, 1) (4, 6, 5, 3) (0, 2, 3, 1) (4, 2, 5, 1) (4, 2, 3, 1) (8, 4, 3, 2) (4, 2, 6, 1) (4, 2, 9, 1) (8, 4, 7, 2) (4, 2, 0, 1) (4, 2, 11, 1) (12, 6, 1, 3) (8, 4, 1, 2) (5, 2, 3, 1) (5, 4, 1, 2) (3, 8, 1, 4) (3, 2, 4, 1) (7, 2, 3, 1) (7, 6, 2, 3) (3, 2, 7, 1) (6, 4, 5, 2) (3, 2, 0, 1) (3, 2, 9, 1) (5, 4, 6, 2) (5, 6, 4, 3) (5, 2, 8, 1) (2, 6, 7, 3) (7, 4, 6, 2) (7, 8, 5, 4) (12, 2, 3, 1) (13, 2, 3, 1) (9, 2, 3, 1) (10, 2, 3, 1) (9, 4, 1, 2) (4, 2, 1, 3) (1, 2, 4, 6) (2, 1, 5, 6) (3, 4, 1, 5) (4, 5, 1, 6) (8, 2, 1, 3) (4, 2, 3, 5) (7, 1, 2, 3) (1, 2, 3, 5) (5, 2, 1, 3) (6, 3, 1, 4) (5, 1, 3, 4) (6, 3, 2, 5) (5, 3, 1, 2) (7, 3, 2, 1) (3, 5, 4, 1) (5, 3, 2, 1) (10, 4, 1, 3) (7, 3, 1, 2) (3, 5, 1, 4) (8, 3, 1, 2) (6, 4, 1, 7) (8, 2, 3, 6) (10, 4, 3, 9) (4, 2, 1, 5) (8, 2, 3, 9) (7, 5, 1, 3) (5, 1, 2, 7) (5, 3, 1, 11) (7, 1, 3, 9) (5, 1, 2, 6) (5, 1, 2, 4) (7, 5, 1, 2) (7, 1, 3, 6) (7, 3, 2, 4) (5, 1, 2, 12) (4, 2, 1, 9) (9, 1, 4, 3) (9, 7, 1, 3) (8, 4, 2, 1) (9, 5, 2, 6) (4, 2, 1, 11) (4, 1, 9, 3) (2, 5, 9, 6) (1, 7, 9, 3) (1, 4, 6, 3) (1, 2, 4, 5) (2, 1, 5, 7) (1, 2, 4, 3) (1, 3, 5, 7) (3, 1, 7, 13) (2, 1, 5, 9) (1, 5, 7, 3) (3, 1, 7, 9) (1, 2, 4, 8) (2, 1, 5, 10) (6, 8, 2, 1) (6, 7, 1, 2) (4, 5, 1, 7) (3, 7, 4, 2) (3, 5, 2, 4) (6, 7, 1, 10) (2, 5, 3, 6) (3, 5, 2, 1) (5, 7, 2, 1) (5, 9, 4, 2) (2, 8, 6, 3) (1, 7, 6, 3) (1, 6, 5, 4) (1, 8, 7, 5) (5, 6, 1, 8) (5, 6, 1, 2) (3, 7, 4, 1) (1, 5, 4, 3)

26 19 (2, 7, 5, 3) (1, 4, 3, 6) (5, 7, 2, 4) (1, 7, 6, 4) (2, 9, 7, 3) (5, 7, 2, 6) (3, 4, 1, 9) (4, 7, 3, 6) (8, 10, 3, 1) (6, 4, 2, 1) (12, 2, 1, 5) (8, 6, 3, 1) (6, 7, 2, 1) (6, 5, 2, 1) (6, 5, 1, 2) (4, 1, 5, 3) (6, 2, 7, 5) (6, 4, 5, 7) (4, 6, 7, 1) (5, 1, 3, 7) (3, 1, 2, 4) (3, 4, 5, 1) (3, 5, 4, 2) (4, 2, 5, 3) (3, 7, 5, 1) (6, 5, 2, 8) (4, 3, 1, 5) (2, 4, 3, 5) (4, 1, 7, 3) (2, 4, 7, 5) (6, 2, 1, 5) (8, 2, 1, 6) (10, 3, 1, 8) (4, 1, 11, 3) (8, 2, 5, 6) (4, 1, 12, 3) (4, 1, 0, 3) (4, 1, 6, 3) (8, 1, 6, 5) (8, 3, 2, 7) (2, 6, 3, 7) (2, 4, 9, 5) (2, 6, 11, 7) (10, 1, 7, 6) (6, 1, 5, 4) (5, 7, 3, 1) (3, 11, 1, 4) (1, 9, 3, 4) (4, 6, 3, 1) (7, 9, 3, 1) (5, 7, 8, 1) (5, 9, 6, 2) (1, 11, 3, 5) (7, 11, 6, 2) (3, 7, 9, 2) (2, 8, 9, 3) (3, 5, 9, 1) (5, 3, 6, 1) (7, 5, 3, 1) (11, 1, 3, 5) (5, 3, 11, 1) (7, 3, 6, 2) (13, 7, 1, 3) (9, 5, 1, 2) (9, 1, 2, 4) (7, 1, 9, 3) (13, 1, 2, 6) (1, 4, 5, 3) (1, 4, 7, 3) (1, 4, 9, 3) (1, 4, 0, 3) (1, 4, 8, 3) (2, 6, 9, 5) (7, 2, 3, 8) (4, 2, 7, 5) (5, 2, 3, 6) (6, 3, 4, 1) (5, 0, 1, 2) (6, 1, 2, 8) (3, 1, 2, 5) (3, 7, 1, 4) (1, 5, 3, 4) (2, 1, 3, 5) (3, 9, 1, 4) (6, 3, 2, 8) (3, 12, 1, 4) (3, 0, 1, 4) (3, 6, 1, 4) (1, 2, 5, 6) (6, 3, 1, 7) (4, 2, 3, 7) (3, 6, 2, 5) (1, 2, 6, 5) (4, 3, 5, 1) (3, 6, 4, 1) (3, 9, 4, 1) (3, 0, 4, 1) (3, 8, 4, 1) (2, 4, 5, 3) (1, 2, 7, 6) (3, 6, 5, 2) (1, 8, 4, 3) (3, 2, 1, 7) (1, 2, 7, 5) (1, 3, 9, 7) (8, 1, 3, 10) (4, 1, 3, 6) (1, 2, 5, 3) (1, 3, 6, 4) (3, 4, 2, 1) (5, 6, 2, 1) (5, 4, 2, 1) (7, 2, 1, 5) (7, 3, 1, 5) (9, 3, 1, 7) (4, 5, 6, 1) (1, 6, 3, 5) (5, 7, 4, 2) (3, 5, 7, 2) (2, 5, 6, 3) (3, 4, 8, 1) (4, 3, 9, 1) (7, 1, 4, 6) (5, 3, 4, 2) (5, 2, 6, 3) (1, 3, 7, 5) (2, 1, 6, 5) (3, 1, 5, 7) (2, 1, 0, 5) (5, 1, 4, 3) (5, 3, 2, 4) (9, 3, 2, 8) (3, 1, 2, 8) (1, 3, 6, 8) (3, 1, 4, 10) (2, 1, 3, 7) (3, 9, 1, 7) (6, 2, 1, 13) (2, 4, 7, 3) (1, 2, 8, 6) (1, 3, 10, 8) (3, 6, 8, 2) (3, 6, 7, 1) (3, 9, 7, 1) (3, 9, 8, 2) (1, 9, 5, 3) (7, 1, 5, 4) (7, 5, 4, 6) (6, 3, 5, 2) (6, 9, 5, 2) (9, 3, 4, 10) (2, 1, 7, 6) (6, 3, 7, 4) (10, 5, 1, 2) (1, 2, 3, 7) (6, 2, 5, 9) (11, 1, 2, 4) (2, 1, 3, 8) (1, 0, 0, 0) (0, 1, 0, 0) (0, 0, 1, 0)

27 20 (0, 1, 1, 0) (2, 0, 1, 0) (3, 0, 1, 0) (1, 0, 1, 0) (1, 0, 2, 0) (1, 1, 0, 0) (1, 1, 1, 0) (2, 2, 1, 0) (1, 1, 2, 0) (1, 1, 3, 0) (1, 2, 2, 0) (4, 1, 1, 0) (2, 3, 1, 0) (1, 3, 2, 0) (1, 2, 1, 0) (3, 1, 1, 0) (2, 1, 1, 0).

28 Chapter 4 The asymptotic case In this chapter we consider the case t, where t = b/a and L t = O(1) p O G(4, 2 V ) (t). In this case, Lemma 5 allows us to ignore the O(1) term. More precisely, we have Lemma 6. Assume that the action of G on G(4, 2 V ) has the unique semistable orbit which is also properly stable. If t, then the semistable, properly stable and unstable loci on X are the preimages of such loci on G(4, 2 V ). Moreover, there are no properly semistable points on X. Proof: Indeed, let us denote by µ(ξ, λ) = a µ(q, λ) + b µ(π, λ) the decomposition from the beginning of Chapter 3. We may assume that λ is an element of a finite set of 1-PS listed in Chapter 3. If t, then µ(π, λ) > 0 implies µ(ξ, λ) > 0 and µ(π, λ) < 0 implies µ(ξ, λ) < 0. Because of the assumption made in the Lemma, we can assume that either of these two inequalities holds. Then we conclude that X does not contain properly semistable points (when t ) and the Lemma follows. QED

29 22 Let us check the assumption of Lemma 6. Lemma 7. The action of G on G(4, 2 V ) has the unique semistable orbit which is also properly stable. It corresponds to the codimension 4 linear sections of the Grassmannian which are smooth del Pezzo surfaces of degree 5. Proof: We refer the reader to Appendix A which contains the list of all codimension 4 linear sections of the Grassmannian of lines in P 4 which coincides with the list of all orbits of G = SL(5) on G(4, 2 V ). The unique open orbit gives the sections which are smooth del Pezzo surfaces. We will show that this is the only properly stable G-orbit on G(4, 2 V ) and the other orbits are unstable. Let us list destabilising 1-PS for each of the non-open orbits. In the list below we number such orbits according to their numbering in Proposition 2.1 in [14] and for each orbit provide a destabilizing 1-PS in the form (w 1, w 2, w 3, w 4, w 5 ). In each case the diagonalizing maximal torus is the standard maximal torus in SL(5) = SL(V ), where the isomorphism is given by the coordinates X 1, X 2, X 3, X 4, X 5 used by Ozeki. orbit 3: (9, 19, 11, 1, 16); orbit 4: (0, 1, 2, 1, 2); orbit 5: (1, 1, 2, 0, 2); orbit 6: ( 2, 0, 1, 1, 2); orbit 7: (1, 1, 2, 0, 2); orbit 8: (0, 2, 2, 1, 1); orbit 9: ( 2, 0, 1, 1, 2); orbit 10: (1, 0, 2, 1, 2); orbit 11: (2, 1, 1, 0, 2); orbit 12: ( 1, 2, 2, 1, 0); orbit 13: ( 1, 2, 2, 1, 0); orbit 14: (0, 2, 2, 1, 1); orbit 15: ( 1, 2, 2, 1, 0); orbit 16: ( 1, 2, 2, 1, 0); orbit 17: ( 2, 2, 1, 1, 0); orbit 18: ( 1, 2, 2, 1, 0); orbit 19: ( 1, 2, 2, 1, 0); orbit 20: ( 1, 2, 2, 1, 0); orbit 21: ( 2, 0, 2, 1, 1); orbit 22: ( 1, 2, 2, 1, 0); orbit 23: (2, 1, 2, 1, 0); orbit 24: (0, 1, 2, 2, 1); orbit 25: (0, 1, 2, 1, 2); orbit 26: ( 2, 2, 0, 1, 1); orbit 27: ( 1, 1, 2, 2, 0); orbit 28: (0, 2, 2, 1, 1); orbit 29: ( 2, 2, 1, 0, 1); orbit 30: ( 1, 2, 2, 1, 0); orbit 31: (2, 0, 1, 2, 1); orbit 32: (2, 2, 1, 0, 1); orbit 33: (2, 1, 2, 1, 0); orbit 34: (1, 2, 2, 1, 0); orbit 35: (0, 2, 2, 1, 1); orbit 36: ( 2, 2, 1, 1, 0); orbit 37: ( 2, 2, 1, 1, 0); orbit 2: (13, 8, 2, 7, 12); orbit 38: ( 1, 2, 1, 0, 2).

30 23 It remains to show that the open G-orbit in G(4, 2 V ) is properly stable. Each of the extremal destabilizing 1-PS above gives a set of Plücker coordinates which have a positive weight and hence have to vanish in order to lead to a point which is not properly stable. We used an Excel macros (see Appendix D) in order to identify minimal such sets and for each of them we used MATLAB in order to check that the orbit of the point in the Grassmannian for which these Plücker coordinates vanish is not general. Let us describe this process in more detail. In Appendix E we provide the MAT- LAB code which can be used in order to check that the general elements of the loci in the Grassmannian G(4, 2 V ) listed below in the form of matrices lie in the complement of the general G-orbit. Together with each locus we provide Command 2 used in the MATLAB code as well as the rank of the matrix A associated in Appendix E to a matrix representing the general element of this locus (as computed by MATLAB) MATLAB Command 2: c10 = 0, c11 = 0, c12 = 0, c20 = 0, c21 = 0, c22 = 0, c23 = 0, c30 = 0, c31 = 0, c32 = 0, c33 = 0, c34 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0 rank = 35,

31 24 MATLAB Command 2: c10 = 0, c11 = 0, c20 = 0, c21 = 0, c22 = 0, c30 = 0, c31 = 0, c32 = 0, c33 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c46 = 0 rank = 39, MATLAB Command 2: c10 = 0, c11 = 0, c20 = 0, c21 = 0, c22 = 0, c30 = 0, c31 = 0, c32 = 0, c33 = 0, c34 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0 rank = 38, MATLAB Command 2: c10 = 0, c20 = 0, c21 = 0, c30 = 0, c31 = 0, c32 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c46 = 0 rank = 39, MATLAB Command 2: c10 = 0, c20 = 0, c21 = 0, c22 = 0, c23 = 0, c30 = 0,

32 25 c31 = 0, c32 = 0, c33 = 0, c34 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0 rank = 35, MATLAB Command 2: c20 = 0, c30 = 0, c31 = 0, c32 = 0, c33 = 0, c34 = 0, c35 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c46 = 0, c47 = 0 rank = 39, MATLAB Command 2: c20 = 0, c21 = 0, c22 = 0, c30 = 0, c31 = 0, c32 = 0, c33 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c46 = 0, c47 = 0 rank = 39, MATLAB Command 2: c20 = 0, c21 = 0, c22 = 0, c30 = 0, c31 = 0, c32 = 0, c33 = 0, c34 = 0, c35 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c46 = 0

33 26 rank = 39, MATLAB Command 2: c20 = 0, c21 = 0, c22 = 0, c23 = 0, c30 = 0, c31 = 0, c32 = 0, c33 = 0, c34 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0 rank = 35, MATLAB Command 2: c20 = 0, c30 = 0, c31 = 0, c32 = 0, c33 = 0, c34 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c46 = 0, c47 = 0, c48 = 0 rank = 39, MATLAB Command 2: c20 = 0, c21 = 0, c30 = 0, c31 = 0, c32 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c46 = 0, c47 = 0, c48 = 0 rank = 39,

34 MATLAB Command 2: c20 = 0, c30 = 0, c31 = 0, c32 = 0, c33 = 0, c34 = 0, c35 = 0, c37 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c46 = 0, c47 = 0 rank = 36, MATLAB Command 2: c20 = 0, c21 = 0, c30 = 0, c31 = 0, c32 = 0, c34 = 0, c35 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c46 = 0, c47 = 0 rank = 39, MATLAB Command 2: c20 = 0, c21 = 0, c30 = 0, c31 = 0, c32 = 0, c34 = 0, c35 = 0, c36 = 0, c37 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c47 = 0 rank = 36,

35 MATLAB Command 2: c20 = 0, c21 = 0, c22 = 0, c30 = 0, c31 = 0, c32 = 0, c33 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c47 = 0 rank = 39, MATLAB Command 2: c11 = 0, c20 = 0, c30 = 0, c31 = 0, c32 = 0, c34 = 0, c35 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c46 = 0, c47 = 0 rank = 39, MATLAB Command 2: c10 = 0, c12 = 0, c13 = 0, c16 = 0, c20 = 0, c21 = 0, c23 = 0, c26 = 0, c30 = 0, c31 = 0, c32 = 0, c34 = 0, c35 = 0, c36 = 0, c37 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c47 = 0 rank = 36,

36 MATLAB Command 2: c10 = 0, c12 = 0, c13 = 0, c14 = 0, c16 = 0, c20 = 0, c21 = 0, c23 = 0, c24 = 0, c25 = 0, c26 = 0, c30 = 0, c31 = 0, c32 = 0, c34 = 0, c35 = 0, c36 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c47 = 0 rank = 38, MATLAB Command 2: c10 = 0, c20 = 0, c21 = 0, c30 = 0, c31 = 0, c32 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c46 = 0 rank = 39, MATLAB Command 2: c10 = 0, c12 = 0, c13 = 0, c14 = 0, c16 = 0, c20 = 0, c21 = 0, c22 = 0, c24 = 0, c25 = 0, c26 = 0, c30 = 0, c31 = 0, c32 = 0, c33 = 0, c35 = 0, c36 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0 rank = 38,

37 MATLAB Command 2: c13 = 0, c14 = 0, c16 = 0, c20 = 0, c21 = 0, c22 = 0, c24 = 0, c26 = 0, c30 = 0, c31 = 0, c32 = 0, c33 = 0, c36 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c47 = 0 rank = 39, MATLAB Command 2: c15 = 0, c16 = 0, c20 = 0, c21 = 0, c22 = 0, c25 = 0, c26 = 0, c30 = 0, c31 = 0, c32 = 0, c33 = 0, c34 = 0, c36 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c47 = 0 rank = 39, MATLAB Command 2: c11 = 0, c13 = 0, c16 = 0, c20 = 0, c23 = 0, c26 = 0, c30 = 0, c31 = 0, c32 = 0, c34 = 0, c35 = 0, c36 = 0, c37 = 0, c40 = 0, c41 = 0, c42 = 0, c43 = 0, c44 = 0, c45 = 0, c47 = 0 rank = 36.

38 31 The relative invariant of the prehomogeneous space which is relevant here was computed by Kimura and Sato in [10]. We used its explicit form computed as in [10] and checked (using the MATLAB code from Appendix E) that each of the loci above indeed lies in the complement of the general G-orbit (i.e. the rank of the matrix A associated in Appendix E to a matrix representing the general element of such a locus is less than 40). From the output of the Excel macros from Appendix D one sees that the following Plücker coordinates Z ijkl = Z i Z j Z k Z l, i < j < k < l of a 4-dimensional linear subspace of P( 2 V ) = P 9 with non-positive weight always vanish (i.e. their weight is always positive): Z 0123, Z 0124, Z 0125, Z 0126, Z 0127, Z 0128, Z 0129, Z 0134, Z 0135, Z 0137, Z 0145, Z 0146, Z 0147, Z 0148, Z 0149, Z 0156, Z 0157, Z 0158, Z 0159, Z 0167, Z 0234, Z 0235, Z 0237, Z 0245, Z 0246, Z 0247, Z 0248, Z 0249, Z 0256, Z 0257, Z 0258, Z 0267, Z 0345, Z 0347, Z 0357, Z 1234, Z 1235, Z 1245, Z 1246, Z 1256, Z 1345, Z Moreover, if Z 1236 does not vanish, then Z 1237 = Z 1267 = 0. If Z , then Z 1347 = 0. If Z , then Z 1357 = 0. If Z , then Z 2347 = 0. Every such 4-dimensional linear subspace lies in one of the loci in G(4, 2 V ) listed above. Hence it does not lie in the general orbit of G. This shows that every element of the general G-orbit in G(4, 2 V ) is properly stable. Hence the Lemma follows. QED This proves the following theorem, which is the main result of our thesis. Theorem 1. Suppose t > 0 is large enough. Then there exists a quasi-projective quotient space X// Lt G as described in the Problem in the Introduction. Moreover, semistable and properly stable loci coincide and contain exactly double anticanonical curves on the smooth del Pezzo surface of degree 5.

39 Appendix A Classification of codimension 4 linear sections of the Grassmannian of lines in P 4 In this appendix we interpret a result of Ozeki [14] and give an explicit geometric classification of all codimension 4 linear sections of the Grassmannian of lines in P 4. The problem of classifying linear sections of the Grassmannian of lines in P 4 was addressed earlier by J.A. Todd [17]. We believe that our results complement his classification of codimension 4 linear sections. G = SL(5)-orbits in G(4, 2 V ) were classified algebraically by Ozeki [14]. They are listed in Proposition 2.1 in [14]. For each orbit Ozeki provides its explicit representative, so that one has explicit equations, which can be used in order to describe explicitly the corresponding linear section of the Grassmannian. We list these descriptions in Figures A.1-A.7. The (elementary) method which we use is illustrated in the case of orbit number 2. This orbit is the only orbit of codimension 1. Let us check that it can be characterized by the property that the intersection of codimension 4 linear subspaces of P 9 in this orbit with the Grassmannian G(2, 5) P 9 is a del Pezzo surface with one ordinary double point. Proposition 2.1 from [14] says that as a representative of this

40 33 orbit one can take equations Z 9 = 0, Z 6 = Z 1, Z 4 = Z 2, Z 5 = Z 3. If one uses equations p 1 = p 2 = p 3 = p 4 = p 5 = 0 for the Grassmannain G(2, 5) P 9, then taking intersection one obtains a surface in P 5 with coordinates Z 0, Z 1, Z 2, Z 3, Z 7, Z 8 given by the intersection of quadrics Z 0 Z 7 + Z 1 Z 3 Z 2 2, Z 0 Z 8 Z 2 Z 3 + Z 2 1, Z 2 3 Z 1 Z 2, Z 2 Z 8 Z 3 Z 7, Z 3 Z 8 Z 1 Z 7. After changing coordinates in P 5 one obtains equations shown on the figures A.1-A.7 below. It is straightforward to see that this surface S is nondegenerate irreducible and smooth except for one ordinary double point. Let us find all the lines on S. The intersection of S with hyperplane Z 5 = 0 consists of three lines and a conic intersecting at the unique point - the singular point on S. All other lines on S are also lines in its affine chart Z 5 = 1. Let us denote by X 0 = Z 0 Z 5, X 1 = Z 1 Z 5, X 2 = Z 2 Z 5, X 3 = Z 3 Z 5, X 4 = Z 4 Z 5 the coordinates in this affine chart. Then any line in this chart can be given parametrically as follows: X i = a i + b i t, i = 0, 1, 2, 3, 4, where t is a parameter and a i, b i are constants. Surface S in this affine chart is described by the equations X 3 = X 1 X 4, X 2 = X 1 X 2 4, X 0 = X 2 1X 3 4 X 2 1.

41 34 They give the following conditions on constants a i, b i : b 1 b 4 = 0, a 1 b 4 = 0, b 1 (a 3 4 1) = 0. If b 1 0, then we get 3 lines parametrized by η = a 4. If b 4 0, then we get one more line Z 0 = Z 1 = Z 2 = Z 3 = 0. From the well-known classification of surfaces of degree n in P n it follows that S is a del Pezzo surface of degree 5. Similarly one checks the other entries of the Figures A.1-A.7.

42 35 Orbit # (acc.to Ozeki [14]) Codimof Ozeki s orbit (from [14]) picture description 1 0 A smooth del Pezzo surface of degree 5. equations in with coordinates 2 1 A del Pezzo surface of degree 5 with one singular point of type. 10 lines: ( ), where 3 2 A del Pezzo surface of degree 5 with two singular points of type. 7 lines:, where 1 point: 4 2 A del Pezzo surface of degree 5 with one singular point of type. 4 lines: 2 points: 5 3 A del Pezzo surface of degree 5 with one singular point of type and one singular point of type. 4 lines: 1 point: 3 lines: 1 point: 1 point: Figure A.1. Codimension 4 sections of G(2, 5) P 9, orbits 1-5.

43 36 Orbit # (acc.to Ozeki [14]) Codimof Ozeki s orbit (from [14]) picture description 6 3 A del Pezzo surface of degree 5 with one singular point of type. equations in with coordinates 7 4 A nonsingular quadric surface and a nonsingular cubic scroll intersecting along a conic which is a directrix of the scroll. 2 lines: 1 point: Quadric surface: ( = ) Scroll: 8 4 A projection of a quintic scroll in (whose directrices are a conic and a twisted cubic) from a point lying in the plane generated by the conic. The projected scroll is singular along a line (the image of the conic) which is a directrix. 9 4 A del Pezzo surface of degree 5 with one singular point of type. Conic of intersection: ( = ) The second directrix of the scroll: 1 double line: The second directrix (a twisted cubic): ( = ) 10 5 A quartic scroll in and a plane intersecting along a conic which is a directrix of the scroll A cubic scroll and a quadric cone intersecting along a nonsingular conic which is their common directrix. 1 line: 1 point: Plane: ( = ) Conic of intersection: ( = ) The second directrix of the scroll (also a conic): Quadric cone: ( = ) Scroll: Conic of intersection: ( = ) The second directrix of the scroll: Figure A.2. Codimension 4 sections of G(2, 5) P 9, orbits 6-11.

44 37 Orbit # (acc.to Ozeki [14]) Codimof Ozeki s orbit (from [14]) picture description 12 5 A nonsingular quadric surface and a nonsingular cubic scroll intersecting along a pair of lines one of which is a directrix of the scroll and the other is a ruling. The second directrix of the scroll is a conic intersecting the quadric at one point A projection of a quintic scroll in (whose directrices are a line and a rational normal quartic) from a point lying in the plane generated by two lines a directrix and a ruling. The projected scroll is singular along a line (the image of the directrix) which is a directrix A plane and a Veronese surface intersecting along a conic A pair of nonsingular quadric surfaces and a plane. Each pair of surfaces intersects along a line. The three lines of intersection intersect at the unique point A plane and a nonsingular quartic scroll intersecting along a pair of lines a ruling and a directrix of the scroll A nonsingular quadric surface and a cone over a twisted cubic intersecting along a pair of lines two rulings. equations in Quadric surface: ( = ) Scroll: with coordinates 2 lines of intersection: (directrix) (ruling) The second directrix of the scroll (a conic): ( = ) 1 double line: The second directrix (a rational normal quartic): ( ), where t is a parameter. Plane: ( = ) Conic of intersection: ( = ) Plane: ( = ) 2 quadrics: ( = ) ( = ) Plane: ( = ) 2 lines of intersection: (directrix) (ruling) The second directrix (a twisted cubic): ( = ) Quadric surface: ( = ) Scroll: 2 lines of intersection: Vertex: ( = ) Twisted cubic: ( = ) Figure A.3. Codimension 4 sections of G(2, 5) P 9, orbits

45 38 Orbit # (acc.to Ozeki [14]) Codimof Ozeki s orbit (from [14]) picture description 18 6 A two-dimensional quadric cone and a cubic scroll intersecting along two lines which are rulings of the cone a ruling and a directrix of the scoll. equations in Quadric cone: ( = ) Scroll: with coordinates 19 7 A pair of planes and a cubic scroll. Each pair of surfaces intersects along a line. The scroll intersects with one plane along a ruling and with the other plane along a directrix. The three lines intersect at one point. 2 lines of intersection: (directrix of the scroll) (ruling of the scroll) The second directrix of the scroll (a conic): ( = ) 2 planes: ( = ) ( = ) Scroll: 20 7 A nonsingular quadric surface, a quadric cone and a plane. Each pair of surfaces intersects along a line. Three lines intersect at one point which is the vertex of the cone. 2 lines of intersection of the scroll with planes: (directrix) (ruling) The second directrix of the scroll (a conic): ( = ) 2 quadrics: ( = ) ( = ) Plane: 21 7 A quadric cone and a cone over a twisted cubic intersecting along a common ruling. The line of intersection passes through vertices of both cones A plane (with multiplicity 1) and a nonsingular quadric surface (with multiplicity 2) intersecting along a line. Quadric cone: ( = ) Twisted cubic: ( = = ) Vertex of the cubic cone: 1 line of intersection: Quadric: ( = ) Plane: Figure A.4. Codimension 4 sections of G(2, 5) P 9, orbits

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

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

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 (Math 6130)

Algebraic Geometry (Math 6130) Algebraic Geometry (Math 6130) Utah/Fall 2016. 2. Projective Varieties. Classically, projective space was obtained by adding points at infinity to n. Here we start with projective space and remove a hyperplane,

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 Contents 1. Introduction 1 2. Preliminary definitions and background 3 3. Degree two maps to Grassmannians 4 4.

More information

INTERPOLATION PROBLEMS: DEL PEZZO SURFACES

INTERPOLATION PROBLEMS: DEL PEZZO SURFACES INTERPOLATION PROBLEMS: DEL PEZZO SURFACES AARON LANDESMAN AND ANAND PATEL Abstract. We consider the problem of interpolating projective varieties through points and linear spaces. After proving general

More information

12. Hilbert Polynomials and Bézout s Theorem

12. Hilbert Polynomials and Bézout s Theorem 12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of

More information

Combinatorics and geometry of E 7

Combinatorics and geometry of E 7 Combinatorics and geometry of E 7 Steven Sam University of California, Berkeley September 19, 2012 1/24 Outline Macdonald representations Vinberg representations Root system Weyl group 7 points in P 2

More information

The derived category of a GIT quotient

The derived category of a GIT quotient September 28, 2012 Table of contents 1 Geometric invariant theory 2 3 What is geometric invariant theory (GIT)? Let a reductive group G act on a smooth quasiprojective (preferably projective-over-affine)

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

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

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

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

THE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES

THE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES 6 September 2004 THE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES Abstract. We study the set of lines that meet a fixed line and are tangent to two spheres and classify the configurations

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

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

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

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

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

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998 CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

More information

STABILITY OF GENUS 5 CANONICAL CURVES

STABILITY OF GENUS 5 CANONICAL CURVES STABILITY OF GENUS 5 CANONICAL CURVES MAKSYM FEDORCHUK AND DAVID ISHII SMYTH To Joe Harris on his sixtieth birthday Abstract. We analyze GIT stability of nets of quadrics in P 4 up to projective equivalence.

More information

VGIT PRESENTATION OF THE SECOND FLIP OF M 2,1. 1. Introduction

VGIT PRESENTATION OF THE SECOND FLIP OF M 2,1. 1. Introduction VGIT PRESENTATION OF THE SECOND FLIP OF M 2,1 MAKSYM FEDORCHUK AND MATTHEW GRIMES Abstract. We perform a variation of geometric invariant theory stability analysis for 2nd Hilbert points of bi-log-canonically

More information

Algebraic Geometry. Question: What regular polygons can be inscribed in an ellipse?

Algebraic Geometry. Question: What regular polygons can be inscribed in an ellipse? Algebraic Geometry Question: What regular polygons can be inscribed in an ellipse? 1. Varieties, Ideals, Nullstellensatz Let K be a field. We shall work over K, meaning, our coefficients of polynomials

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

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

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

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

RATIONAL CURVES ON PRIME FANO THREEFOLDS OF INDEX 1

RATIONAL CURVES ON PRIME FANO THREEFOLDS OF INDEX 1 RATIONAL CURVES ON PRIME FANO THREEFOLDS OF INDEX 1 BRIAN LEHMANN AND SHO TANIMOTO Abstract. We study the moduli spaces of rational curves on prime Fano threefolds of index 1. For general threefolds of

More information

BENJAMIN HOWARD, JOHN MILLSON, ANDREW SNOWDEN AND RAVI VAKIL

BENJAMIN HOWARD, JOHN MILLSON, ANDREW SNOWDEN AND RAVI VAKIL THE MODULI SPACE OF n POINTS ON THE LINE IS CUT OUT BY QUADRICS WHEN n IS NOT SIX BENJAMIN HOWARD, JOHN MILLSON, ANDREW SNOWDEN AND RAVI VAKIL ABSTRACT. A central question in invariant theory is that of

More information

The Kontsevich Space of Rational Curves on Cyclic Covers of P n. A Dissertation presented. Lloyd Christopher John Smith. The Graduate School

The Kontsevich Space of Rational Curves on Cyclic Covers of P n. A Dissertation presented. Lloyd Christopher John Smith. The Graduate School The Kontsevich Space of Rational Curves on Cyclic Covers of P n A Dissertation presented by Lloyd Christopher John Smith to The Graduate School in Partial Fulfillment of the Requirements for the Degree

More information

Nef line bundles on M 0,n from GIT

Nef line bundles on M 0,n from GIT Nef line bundles on M 0,n from GIT David Swinarski Department of Mathematics University of Georgia November 13, 2009 Many of the results here are joint work with Valery Alexeev. We have a preprint: arxiv:0812.0778

More information

Construction of M B, M Dol, M DR

Construction of M B, M Dol, M DR Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant

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

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

MAKSYM FEDORCHUK. n ) = z1 d 1 zn d 1.

MAKSYM FEDORCHUK. n ) = z1 d 1 zn d 1. DIRECT SUM DECOMPOSABILITY OF SMOOTH POLYNOMIALS AND FACTORIZATION OF ASSOCIATED FORMS MAKSYM FEDORCHUK Abstract. We prove an if-and-only-if criterion for direct sum decomposability of a smooth homogeneous

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

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

ON THE INTERSECTION THEORY OF QUOT SCHEMES AND MODULI OF BUNDLES WITH SECTIONS

ON THE INTERSECTION THEORY OF QUOT SCHEMES AND MODULI OF BUNDLES WITH SECTIONS ON THE INTERSECTION THEORY OF QUOT SCHEMES AND MODULI OF BUNDLES WITH SECTIONS ALINA MARIAN Abstract. We consider a class of tautological top intersection products on the moduli space of stable pairs consisting

More information

We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )

We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr ) MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle

More information

MODULI OF SHEAVES, FOURIER-MUKAI TRANSFORM, AND PARTIAL DESINGULARIZATION

MODULI OF SHEAVES, FOURIER-MUKAI TRANSFORM, AND PARTIAL DESINGULARIZATION MODULI OF SHEAVES, FOURIER-MUKAI TRANSFORM, AND PARTIAL DESINGULARIZATION KIRYONG CHUNG AND HAN-BOM MOON Abstract. We study birational maps among 1) the moduli space of semistable sheaves of Hilbert polynomial

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

EKT of Some Wonderful Compactifications

EKT of Some Wonderful Compactifications EKT of Some Wonderful Compactifications and recent results on Complete Quadrics. (Based on joint works with Soumya Banerjee and Michael Joyce) Mahir Bilen Can April 16, 2016 Mahir Bilen Can EKT of Some

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

AN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS

AN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS AN INTRODUCTION TO MODULI SPACES OF CURVES MAARTEN HOEVE ABSTRACT. Notes for a talk in the seminar on modular forms and moduli spaces in Leiden on October 24, 2007. CONTENTS 1. Introduction 1 1.1. References

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

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

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

Chern numbers and Hilbert Modular Varieties

Chern numbers and Hilbert Modular Varieties Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point

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

BENJAMIN HOWARD, JOHN MILLSON, ANDREW SNOWDEN AND RAVI VAKIL

BENJAMIN HOWARD, JOHN MILLSON, ANDREW SNOWDEN AND RAVI VAKIL THE MODULI SPACE OF n POINTS ON THE LINE IS CUT OUT BY SIMPLE QUADRICS WHEN n IS NOT SIX BENJAMIN HOWARD, JOHN MILLSON, ANDREW SNOWDEN AND RAVI VAKIL ABSTRACT. A central question in invariant theory is

More information

Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups

Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Shrawan Kumar Talk given at AMS Sectional meeting held at Davidson College, March 2007 1 Hermitian eigenvalue

More information

OSCULATION FOR CONIC FIBRATIONS

OSCULATION FOR CONIC FIBRATIONS OSCULATION FOR CONIC FIBRATIONS ANTONIO LANTERI, RAQUEL MALLAVIBARRENA Abstract. Smooth projective surfaces fibered in conics over a smooth curve are investigated with respect to their k-th osculatory

More information

Mathematics 7800 Quantum Kitchen Sink Spring 2002

Mathematics 7800 Quantum Kitchen Sink Spring 2002 Mathematics 7800 Quantum Kitchen Sink Spring 2002 4. Quotients via GIT. Most interesting moduli spaces arise as quotients of schemes by group actions. We will first analyze such quotients with geometric

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

Moduli spaces of log del Pezzo pairs and K-stability

Moduli spaces of log del Pezzo pairs and K-stability Report on Research in Groups Moduli spaces of log del Pezzo pairs and K-stability June 20 - July 20, 2016 Organizers: Patricio Gallardo, Jesus Martinez-Garcia, Cristiano Spotti. In this report we start

More information

Lecture 1. Toric Varieties: Basics

Lecture 1. Toric Varieties: Basics Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture

More information

Representations and Linear Actions

Representations and Linear Actions Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

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

A NEW FAMILY OF SYMPLECTIC FOURFOLDS

A NEW FAMILY OF SYMPLECTIC FOURFOLDS A NEW FAMILY OF SYMPLECTIC FOURFOLDS OLIVIER DEBARRE This is joint work with Claire Voisin. 1. Irreducible symplectic varieties It follows from work of Beauville and Bogomolov that any smooth complex compact

More information

arxiv: v1 [math.ag] 1 Mar 2017

arxiv: v1 [math.ag] 1 Mar 2017 BIRATIONAL GEOMETRY OF THE MODULI SPACE OF PURE SHEAVES ON QUADRIC SURFACE KIRYONG CHUNG AND HAN-BOM MOON arxiv:1703.00230v1 [math.ag] 1 Mar 2017 ABSTRACT. We study birational geometry of the moduli space

More information

k k would be reducible. But the zero locus of f in A n+1

k k would be reducible. But the zero locus of f in A n+1 Math 145. Bezout s Theorem Let be an algebraically closed field. The purpose of this handout is to prove Bezout s Theorem and some related facts of general interest in projective geometry that arise along

More information

PERIOD INTEGRALS OF LOCAL COMPLETE INTERSECTIONS AND TAUTOLOGICAL SYSTEMS

PERIOD INTEGRALS OF LOCAL COMPLETE INTERSECTIONS AND TAUTOLOGICAL SYSTEMS PERIOD INTEGRALS OF LOCAL COMPLETE INTERSECTIONS AND TAUTOLOGICAL SYSTEMS AN HUANG, BONG LIAN, SHING-TUNG YAU AND CHENGLONG YU Abstract. Tautological systems developed in [6],[7] are Picard-Fuchs type

More information

MODULI SPACES AND INVARIANT THEORY 5

MODULI SPACES AND INVARIANT THEORY 5 MODULI SPACES AND INVARIANT THEORY 5 1. GEOMETRY OF LINES (JAN 19,21,24,26,28) Let s start with a familiar example of a moduli space. Recall that the Grassmannian G(r, n) parametrizes r-dimensional linear

More information

MODULI SPACES AND INVARIANT THEORY

MODULI SPACES AND INVARIANT THEORY MODULI SPACES AND INVARIANT THEORY JENIA TEVELEV ABSTRACT. A moduli space is a space that parametrizes geometric objects. For example, elliptic curves are classified by the so-called J-invariant, so the

More information

arxiv:math/ v2 [math.ag] 3 Mar 1999

arxiv:math/ v2 [math.ag] 3 Mar 1999 arxiv:math/9809140v2 [math.ag] 3 Mar 1999 THE ABEL JACOBI MAP OF A MODULI COMPONENT OF VECTOR BUNDLES ON THE CUBIC THREEFOLD D. MARKUSHEVICH AND A. S. TIKHOMIROV Abstract. The Abel Jacobi map of the family

More information

EFFECTIVE CONES OF CYCLES ON BLOW-UPS OF PROJECTIVE SPACE

EFFECTIVE CONES OF CYCLES ON BLOW-UPS OF PROJECTIVE SPACE EFFECTIVE CONES OF CYCLES ON BLOW-UPS OF PROJECTIVE SPACE IZZET COSKUN, JOHN LESIEUTRE, AND JOHN CHRISTIAN OTTEM Abstract. In this paper, we study the cones of higher codimension (pseudo)effective cycles

More information

On some smooth projective two-orbit varieties with Picard number 1

On some smooth projective two-orbit varieties with Picard number 1 On some smooth projective two-orbit varieties with Picard number 1 Boris Pasquier March 3, 2009 Abstract We classify all smooth projective horospherical varieties with Picard number 1. We prove that the

More information

Coherent sheaves on elliptic curves.

Coherent sheaves on elliptic curves. Coherent sheaves on elliptic curves. Aleksei Pakharev April 5, 2017 Abstract We describe the abelian category of coherent sheaves on an elliptic curve, and construct an action of a central extension of

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

COMPLEX ALGEBRAIC SURFACES CLASS 4

COMPLEX ALGEBRAIC SURFACES CLASS 4 COMPLEX ALGEBRAIC SURFACES CLASS 4 RAVI VAKIL CONTENTS 1. Serre duality and Riemann-Roch; back to curves 2 2. Applications of Riemann-Roch 2 2.1. Classification of genus 2 curves 3 2.2. A numerical criterion

More information

1. Algebraic vector bundles. Affine Varieties

1. Algebraic vector bundles. Affine Varieties 0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

More information

COMPLEX ALGEBRAIC SURFACES CLASS 15

COMPLEX ALGEBRAIC SURFACES CLASS 15 COMPLEX ALGEBRAIC SURFACES CLASS 15 RAVI VAKIL CONTENTS 1. Every smooth cubic has 27 lines, and is the blow-up of P 2 at 6 points 1 1.1. An alternate approach 4 2. Castelnuovo s Theorem 5 We now know that

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

Logarithmic geometry and rational curves

Logarithmic geometry and rational curves Logarithmic geometry and rational curves Summer School 2015 of the IRTG Moduli and Automorphic Forms Siena, Italy Dan Abramovich Brown University August 24-28, 2015 Abramovich (Brown) Logarithmic geometry

More information

ON NODAL PRIME FANO THREEFOLDS OF DEGREE 10

ON NODAL PRIME FANO THREEFOLDS OF DEGREE 10 ON NODAL PRIME FANO THREEFOLDS OF DEGREE 10 OLIVIER DEBARRE, ATANAS ILIEV, AND LAURENT MANIVEL Abstract. We study the geometry and the period map of nodal complex prime Fano threefolds with index 1 and

More information

Math 248B. Applications of base change for coherent cohomology

Math 248B. Applications of base change for coherent cohomology Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).

More information

ON THE SLOPE_AND KODAIRA DIMENSION OF M g. FOR SMALL g

ON THE SLOPE_AND KODAIRA DIMENSION OF M g. FOR SMALL g J. DIFFERENTIAL GEOMETRY 34(11) 26-24 ON THE SLOPE_AND KODAIRA DIMENSION OF M g FOR SMALL g MEI-CHU CHANG & ZIV RAN Let M denote the moduli space of smooth curves of genus g and let σ be its stable compactification;

More information

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need

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

ADVANCED TOPICS IN ALGEBRAIC GEOMETRY

ADVANCED TOPICS IN ALGEBRAIC GEOMETRY ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of

More information

Math 797W Homework 4

Math 797W Homework 4 Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition

More information

Sheaf cohomology and non-normal varieties

Sheaf cohomology and non-normal varieties Sheaf cohomology and non-normal varieties Steven Sam Massachusetts Institute of Technology December 11, 2011 1/14 Kempf collapsing We re interested in the following situation (over a field K): V is a vector

More information

version corrected on 21/9/12

version corrected on 21/9/12 ( ) version corrected on 21/9/12 Degrees of Noether-Lefschetz loci Israel Vainsencher joint with Fernando Cukierman, Angelo Lopez, José Alberto Maia & Adriana Rodrigues partially supported by The Noether-Lefschetz

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

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

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

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

VICTOR V. BATYREV AND OLEG N. POPOV

VICTOR V. BATYREV AND OLEG N. POPOV THE COX RING OF A DEL PEZZO SURFACE VICTOR V. BATYREV AND OLEG N. POPOV Abstract. Let X r be a smooth Del Pezzo surface obtained from P 2 by blow-up of r 8 points in general position. It is well known

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

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

LECTURE 4. Definition 1.1. A Schubert class σ λ is called rigid if the only proper subvarieties of G(k, n) representing σ λ are Schubert varieties.

LECTURE 4. Definition 1.1. A Schubert class σ λ is called rigid if the only proper subvarieties of G(k, n) representing σ λ are Schubert varieties. LECTURE 4 1. Introduction to rigidity A Schubert variety in the Grassmannian G(k, n) is smooth if and only if it is a linearly embedded sub-grassmannian ([LS]). Even when a Schubert variety is singular,

More information

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank

More information

LINKED HOM SPACES BRIAN OSSERMAN

LINKED HOM SPACES BRIAN OSSERMAN LINKED HOM SPACES BRIAN OSSERMAN Abstract. In this note, we describe a theory of linked Hom spaces which complements that of linked Grassmannians. Given two chains of vector bundles linked by maps in both

More information

Intersection Theory course notes

Intersection Theory course notes Intersection Theory course notes Valentina Kiritchenko Fall 2013, Faculty of Mathematics, NRU HSE 1. Lectures 1-2: examples and tools 1.1. Motivation. Intersection theory had been developed in order to

More information

SCHUBERT CALCULUS ON FLAG VARIETIES AND SESHADRI CONSTANTS ON JACOBIANS

SCHUBERT CALCULUS ON FLAG VARIETIES AND SESHADRI CONSTANTS ON JACOBIANS SCHUBERT CALCULUS ON FLAG VARIETIES AND SESHADRI CONSTANTS ON JACOBIANS by Jian Kong A dissertation submitted to the faculty of The University of Utah in partial fulfillment of the requirements for the

More information

PROJECTIVIZED RANK TWO TORIC VECTOR BUNDLES ARE MORI DREAM SPACES

PROJECTIVIZED RANK TWO TORIC VECTOR BUNDLES ARE MORI DREAM SPACES PROJECTIVIZED RANK TWO TORIC VECTOR BUNDLES ARE MORI DREAM SPACES JOSÉ LUIS GONZÁLEZ Abstract. We prove that the Cox ring of the projectivization PE of a rank two toric vector bundle E, over a toric variety

More information

Rational Curves On K3 Surfaces

Rational Curves On K3 Surfaces Rational Curves On K3 Surfaces Jun Li Department of Mathematics Stanford University Conference in honor of Peter Li Overview of the talk The problem: existence of rational curves on a K3 surface The conjecture:

More information

SPECIAL PRIME FANO FOURFOLDS OF DEGREE 10 AND INDEX Introduction

SPECIAL PRIME FANO FOURFOLDS OF DEGREE 10 AND INDEX Introduction SPECIAL PRIME FANO FOURFOLDS OF DEGREE 10 AND INDEX 2 OLIVIER DEBARRE, ATANAS ILIEV, AND LAURENT MANIVEL Abstract. We analyze (complex) prime Fano fourfolds of degree 10 and index 2. Mukai gave a complete

More information