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


 Wesley Turner
 2 years ago
 Views:
Transcription
1 Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 79 December The notion of vector bundle In affine geometry, affine varieties are defined by zeros of polynomials in the sense that a polynomial determines a welldefined function that we can evaluate and decide whether it is zero or not In projective geometry, however, a homogeneous polynomial of positive degree never defines a function, and it only makes sense to say whether the polynomial vanishes or not at some point Moreover, the only regular functions on irreducible projective sets are the constants We want to introduce the language of vector bundles as a method to describe equations of projective sets, generalizing the notion of regular function We start with a couple of examples that illustrate what we have in mind Example 11 Let F K[,, x n ] be a homogeneous polynomial of degree d If we consider f i, the dehomogenization of F with respect of the variable X i, now f i becomes a function on the affine open set U i = { 0} Let us try to analyze why it is not possible to glue all these functions F i to get a function on P n If we write the coordinates in U i as,, 1, +1,, x n xi, then f i = F Therefore the reason why we cannot glue together x d i the functions on U i and U j is that f j is obtained from f i when multiplying by xd i This x d j means that any hypersurface V (F of P n can be described locally by functions f i, but they can be glued together only after a multiplication If now X P n has arbitrary codimension r, one would have a priori the right to expect that X could be defined by exactly r equations This is not true in general, and in fact this happens rarely (if it holds, X is said to be a complete intersection However it is true that good sets X (for instance smooth projective sets enjoy that property locally around each point The question now is: is it possible somehow to glue together those local functions in a similar way as in the previous example? Although the answer is negative in general, we present a positive case in order to give a clearer idea of what we mean Example 12 Let X P 2 be the subset consisting of the points (1 : 0 : 0, (0 : 1 : 0 and (0 : 0 : 1 At each open set U i = { 0}, X U i consists of one point, so its affine (* Part of these notes are extracted from the last (and incomplete sections of [A2], where the reader can find some preliminaries 1
2 ideal is generated by exactly two elements More precisely, the ideals of X U 0, X U 1 and X U 2 are respectively generated by, ;, ; and, For any λ K \ {0} (the reader will understand soon why we do not take just λ = 1, it is possible to relate the two first sets of generators by the expression = ( 2 0 (1 λ 0 λ and the matrin the expression has entries regular in U 0 U 1 and is invertible in that open set Similarly, there is a relation = λ (1 λ 1 0 ( 2 Putting together the last two relations we get = λ 0 (1 λ λ (1 λ( 2 (λλ λ + 1 x2 2 Thus if we want to avoid divisions by zero (and get a matrix similar to the previous ones, we need λλ λ + 1 = 0, ie λ = 1 1 λ Hence, if λ 0, 1, we can glue together the equations The precise definition is the following (in which the reader can replace the category of algebraic varieties with any category of topological spaces: Definition A vector bundle of rank r (or line bundle if r = 1 over an algebraic variety X is an algebraic variety F equipped with a morphism π : F X such that there exists a covering X = i I U i by (Zariski open subsets such that: (i For each i I there is an isomorphism ψ i : π 1 (U i U i K r satisfying that the composition π ψ 1 i : U i K r U i is the first projection (ii For each i, j I there is an (r rmatrix A ij (called transition matrix, or transition function if r = 1 whose entries are regular functions in U i U j satisfying that the composition ϕ ij = ψ j ψ 1 i U i U j : (U i U j K r π 1 (U i U j (U i U j K r takes the form ϕ ij (x, v = (x, A ij (xv 2
3 Remark 13 It is clear that any subpartition of the covering still satisfies conditions (i and (ii, so we will always work, when necessary, with sufficiently fine partitions If only one open set is needed, ie F = X K r and π is the first projection, we say that F is a trivial bundle of rank r Condition (i is saying that, for any x X the set π 1 (x (called the fiber of the vector bundle at the point x, is bijective to K r, and that locally the fibers are glued to produce a trivial vector bundle From this, it is clear that, in condition (ii, the first coordinate of ϕ ij (x, v must be x Thus condition (ii is just saying that the fibers of F glue together in different trivial representations in a linear way In other words, the fibers of the vector bundle have to be regarded as vector spaces It is frequent in the literature to identify a vector bundle with the set of its transition matrices for a suitable partition of the variety This is possible by the following result: Proposition 14 Let X be an algebraic variety with an open covering X = i I U i Let F be a vector bundle over X with transition matrices A ij corresponding to the covering Then: (i A ii is the identity matrix I r (ii A jk A ij = A ik Reciprocally, given a set of matrices {A ij } i,j I satisfying (i and (ii there is a vector bundle over X whose transition matrices are the given matrices Proof: Properties (i and (ii are easy to proof The fact that they allow to reconstruct the vector bundle is a standard and tedious technique of constructing algebraic varieties by glueing several pieces Example 15 Proposition 14 allows to actually construct vector bundles from Examples 11 and 12 In particular, Example 11 yields a line bundle L d over P n with transition functions xd i, in which we can now even allow d to be negative (if the reader is familiar x d j with the identification of vector bundles and locally free sheaves, L d is the line bundle corresponding to the invertible sheaf O P n(d Similarly, Example 12 provides, for any λ 0, 1, a vector bundle F λ over P 2 Exercise 16 Construct a ranktwo vector bundle over the smooth quadric X P 4 of equation x 3 + x by glueing the local equations of the line L X of equations = = = 0 This vector bundle is called the spinor bundle over X, and in fact it is independent on the choice of the line L contained in X Exercise 17 Given a regular map ϕ : Y X and a rankr vector bundle F Y over X, show that the second projection of the fibered product F X Y defines a rankr vector bundle over Y (called pullback of F via ϕ and denoted by ϕ F 3
4 Remark 18 It is possible to define in the natural way the notion of dual vector bundle, direct sum or tensor product of vector bundles, wedge or symmetric power of a vector bundle We leave the reader the task of checking how the transition matrices can be constructed from the transition matrices of the original vector bundles We concentrate in just few examples: Exercise 19 Show that we have the following isomorphisms in P n (following the notation of Example 15: (i L 0 is the trivial line bundle (ii L d L e = Le+d (iii L 1 d = L d (iv Symm d L 1 = Ld (v If n = 2, 2 F λ = L3 Exercise 110 Show that, if F is a vector bundle determined by transition matrices A ij, then the dual vector bundle F is a vector bundle determined by transition matrices (A t ij 1 (where A t ij denotes the transposed matrix of A ij In particular, the dual vector bundle Eλ of the vector bundle E λ obtained from Example 12 has transition matrices: (1 λ x 1 λ λ A 10 = 0 1 λ 1 λ 1 1 x 0 0 λ, A 21 = λ 2 1 2, A 20 = λ 2 Example 111 Let us define the cotangent bundle of P n K, for any field K, in terms of its transition matrices with respect to the open sets U i = { 0} We first define a differential form on U i as a formal expression of the form ω = f 0 d( + + f i 1 d( 1 + f i+1 d( f n d( x n where f 0,, f i 1, f i+1,, f n are regular functions depending on the affine coordinates,, 1, +1,, x n xi To restrict this to any U i U j we write, for any k i: so that we get ω = x j d( x k = d ( ( x k x j ( x j ( f 0 d( x j + +( f 0 1 = x j d( x k x kx j x j d( i x j f i f i+1 x n f n d( + +f n d( x n x j x j
5 In other words, the transition matrix from U i to U j is given by A ij = x j x j x n xi This provides a vector bundle of rank n on P n that we denote by Ω P n (and it is called the cotangent bundle on P n For example, in the case n = 2, we have A 10 = x , A 21 = 0 2 x2 1 2, A 20 = In fact the notion of vector bundle determined by transition matrices does not make any sense unless we have the notion of isomorphism ( determined by always means up to isomorphism The precise definition is: Definition A morphism of vector bundles is a regular map ϕ : F F such that π = π ϕ (ie it sends fibers F x to fibers F x and each induced map ϕ x : F x F s linear If any ϕ s an isomorphism we will say that ϕ is an isomorphism Exercise 112 Express the notion of morphism of vector bundles in terms of transition matrices and show that the matrices A 0 = ( 1 λ 0, A = ( ( λ , A 0 λ 2 = 0 λ define an isomorphism between Ω P 2 and the vector bundle Fλ defined in Example 110 (this shows that all the bundles F λ are isomorphic to T P 2, in particular isomorphic to each other Exercise 113 Let us consider U P n K n+1 to be the subset of pairs (p, v such that v is a vector in the vector line of K n+1 defining the point p P n Show that the first projection U P n endows U with the structure of a line bundle over P n which is isomorphic to L 1 5
6 2 Vector bundles and Grassmannians We will relate here the theory of vector bundles with the theory of Grassmannians We start by recalling briefly the notion of Grassmannian and its main properties (more details can be found in [A1] or [A2] Definition The Grassmannian G(k, n is the set of all kdimensional linear subspaces of P n We will sometimes write G(k, P(V if we want to specify the concrete projective space to which the linear subspaces belong Exercise 21 Prove the following properties of the Grassmannian: (i If P n = P(V is the projective space of lines in the (n + 1dimensional vector space V, show that the map G(k, n P( k+1 V (called Plücker embedding sending the subspace of P(V spanned by independent points [v 0 ],, [v k ] to [v 0 v k ] is welldefined (ie it does not depend on the choice of the k + 1 points and injective (ii If we choose a basis for V and take the corresponding natural basis for k+1 V, let Λ be the subspace spanned by the points of coordinates (a 00 : a 0n,, (a k0 : a kn Then show that the image of Λ under the Plücker embedding has coordinates the maximal minors of the Plücker matrix a 00 a 0n a k0 a kn (iii If, for any choice 0 i 0 < < i k n, we write a 0i0 a 0ik p i0 i k = a ki0 a kik the p i0 i k are called the Plücker coordinates of Λ Show that the image of the Plücker embedding of G(1, 3 is the smooth quadric in P 5 of equation p 01 p 23 p 02 p 13 +p 13 p 12 = 0 [It can be shown in general that the Plücker embedding allows to regard G(k, n as a projective set whose ideal is generated by quadratic equations in the Plücker coordinates] (iv Show that, for any choice 0 i 0 < < i k n, the set U i0 i k := {p i0 i k 0} is the set of all spaces Λ not meeting the linear space 0 = = k = 0 Moreover, the image of U i0 i k := {p i0 i k 0} under the Plücker embedding is isomorphic to an affine space of dimension (k + 1(n k 6
7 Example 22 There is a geometric way of verifying that G(1, 3 has degree two in its Plücker ambient space P 5 As Exercise 21(iv shows, a hyperplane of P 5 intersects G(1, 3 in the set of lines meeting a given line (be careful! not all hyperplanes of P 5 have the same nice interpretation when intersected with G(1, 3 The degree of G(1, 3 will be the number of elements of G(1, 3 obtained when intersecting with four hyperplanes of P 5 If we take these four hyperplanes as before, then the degree of G(1, 3 should be the number of lines in P 3 meeting four given lines L 1, L 2, L 3, L 4 Assume we take L 1 and L 2 meeting in one point p (hence contained in the same plane Π Then the set of lines meeting L 1 and L 2 will consist of the set of lines passing through p or contained in Π If we also assume L 3 and L 4 to meet in a point p and to be contained in a plane Π, then there are only two lines meeting L 1, L 2, L 3, L 4 : the line joining p and p and the line which is the intersection of Π an Π Of course, in principle this proof is not conclusive, since in order to compute the degree one needs to choose general hyperplanes, while we took very special ones The fact that all this actually works is part of the socalled Schubert calculus (more details can be found in [A1] or better in [KL] Exercise 23 Use Schubert calculus as in the previous example to show that G(1, 4 has degree 5 in P 9 Exercise 24 In a similar (and more general way to Exercise 113, consider the subset U G(k, n K n+1 consisting of pairs (Λ, v such that v is a vector in the (k + 1 dimensional linear subspace of K n+1 defining Λ Prove that the second projection over G(k, n defines on U a structure of vector bundle of rank k + 1, called the tautological subbundle of the Grassmannian Definition A section of a vector bundle π : F X is a regular map s : X F such that π s = id X (ie the image of any point s a vector in the fiber F x We will denote by H 0 (X, F the set of sections of F The zero locus of a section s is the set of points x for which s(x is the zero vector in F x Exercise 25 Show that any section of the trivial bundle is given by s : X X K with s(x = (x, f(x, where f is a regular function on X Conclude that the zero locus of any section of any vector bundle is a closed subset with the Zariski topology Exercise 26 Express the definition of section in terms of the transition matrices of the vector bundle and conclude that the vector bundle F λ constructed in Example 12 has a section whose zero locus is {(1 : 0 : 0, (0 : 1 : 0, (0 : 0 : 1} Similarly, the spinor bundle of Exercise 16 has a section whose zero locus is the line L Exercise 27 Show that H 0 (P n, L d is naturally isomorphic to the vector space of homogeneous polynomials of degree d in K[,, x n ] [More generally, it is also true that 7
8 H 0 (G(k, n, Symm d U is canonically isomorphic to the space of homogeneous polynomials of degree d in K[,, x n ], but I do not know of any simple proof; any suggestion will be welcome] Definition Given a vector bundle F on an algebraic set X (we will assume from now on X to be an irreducible projective variety and a linear subspace V H 0 (X, F, we define the evaluation map as the map ev V : X V F defined by ev V (p, s = s(p When V = H 0 (X, F, we usually write ev V = ev F If ev V is surjective we say that F is generated by the sections of V If ev F is surjective, we will say that F is generated by its global sections (or globally generated, or spanned Proposition 28 Let F be a vector bundle of rank r on X that is generated by the sections of V H 0 (F Then there is a natural regular map ϕ V : X G(r 1, P(V such that ϕ V (U = F and H 0 (G(r 1, P(V, U = V Proof: We define the map as follows Since, by hypothesis, the evaluation map ev V : X V F is surjective, its dual F X V is injective This means that, for any x X, the fiber F s an rdimensional subspace of V We thus define ϕ V (x to be the corresponding (r 1dimensional subspace of P(V To see that ϕ V is a regular map we use coordinates We first choose a basis s 1,, s n of V and take coordinates λ 1,, λ n with respect to it Since the regularity of the map can be checked locally, we restrict to open sets U X on which F U is isomorphic to U K r On such open set U, any section s i is represented by regular functions f i1,, f ir on U In particular, the evaluation map ev V restricted to U can be described by λ 1 (x, λ n f 11 (x f n1 (x f 1r (x f nr (x Hence the dual map is given (with respect to the dual bases by the transpose matrix f 11 (x f 1r (x f n1 (x f nr (x In particular, ϕ V (x is the linear subspace of V generated by the points whose coordinates are the columns of the above matrix Therefore the Plücker coordinates of the subspace are the maximal minors of the matrix, which are all regular functions on U This shows that ϕ V is a regular map Finally, since U is the subbundle of G(r 1, P(V V consisting of the pairs (Λ, v such that v is a vector in the subspace of V determined by Λ, it follows that ϕ V (U is the 8 λ 1 λ n
9 subbundle of X V consisting of the pairs (x, v such that v is in the subspace of V determined by ϕ V (x By the definition of ϕ V, this is equivalent to say v F x, so that it immediately follows that ϕ V (U is precisely F Moreover, we know from Exercise 27 that H 0 (G(r 1, P(V, U is the space of linear forms on P(V, ie V Lemma 29 Fix H 1,, H m V linearly independent linear forms and identify them with m sections of the vector bundle U on G(k, n Then the locus on which H 1,, H m have rank at most s is the set of kspaces Λ meeting V (H 1,, H m in dimension at least k s Proof: For a kspace Λ, the rank of H 1,, H m at Λ is the dimension of their span, considered as linear forms on Λ Hence the rank is at most s if and only if the intersection in V of < H 1,, H m > and the (n kdimensional subspace Λ of equations of Λ has dimension at least m s This is equivalent to say that the span of < H 1,, H m > and Λ has dimension at most n k + s, ie Λ V (H 1,, H m has dimension at least k s Proposition 210 For any linear space Λ P n of dimension k and any l k, s the Schubert variety Ω of kspaces of P n meeting Λ in at least dimension l has codimension (l + 1(n + l k k in G(k, n Proof: We consider the incidence diagram I G(l, k G(k, n of pairs (Λ, Λ where Λ is a subspace of Λ contained also in Λ Clearly Ω is the image of I under the second projection Since this projection is birational onto its image, it is enough to check that I has dimension (k + 1(n k (l + 1(n + l k k This is true because G(l, k has dimension (l + 1(k l, while the fibers of the first projection from I are isomorphic to G(k l 1, n l 1, so that they all have dimension (k l(n k Observe that the result of the above proposition is symmetric in k and k, ie the Schubert variety of k spaces of P n meeting a kspace Λ in at least dimension l has also codimension (l + 1(n + l k k in G(k, n The way of remembering the above result is that, in the language of the previous lemma, the locus in which m sections of the (k + 1 rank vector bundle U on G(k, n have rank at most s has codimension (m s(k + 1 s in G(k, n The point now is to prove the same result, at least in a general situation, when we replace G(k, n with any arbitrary variety and U by any vector bundle on it Theorem 211 Let V H 0 (X, F be a set of sections generating X Then, for a general choice of m sections in V, the locus on which they have rank at most s has codimension (r s(m s in X 9
10 Proof: Consider the morphism ϕ V : X G(r 1, dim V 1 By Proposition 28, the locus X s on which m sections in V has rank at most s is the pullback by ϕ V of the locus on which m sections of U has rank at most s Hence, if we take the sections to be independent, by Lemma 29, the locus X s is the pullback of the Schubert variety of (r 1spaces whose intersection with the subspace of dimension k = dim V 1 m (defined by the m sections has dimension at least r 1 s Consider the incidence variety I X G(k, dim V 1 of pairs (x, Λ, such that ϕ V (x and Λ meet in dimension at least r 1 s From the above considerations, the statement to prove is equivalent to the fact that the general fiber of the second projection from I has codimension (r s(m s in X To prove this, it is enough to prove that I has dimension equal to dim G(k, dim V 1 + dim X (r s(m s But this is so because the fiber at any x of the first projection from I is the set of k spaces meeting the (r 1space ϕ V (x in dimension at least r 1 s and, by Proposition 210, this has codimension (r s ( (dim V 1 + (r 1 s (r 1 k, ie dimension dim G(k, dim V 1 (r s(m s 10
11 3 Chern classes and Porteous formula In this section we will need to assume the existence of a good intersection ring on any (smooth ndimensional projective variety X (the standard and sophisticated construction for this can be found in [F] This means that we have a graded ring A(X = n d=0 Ad (X, where each A d (X is made out of classes of linear combination (with integral coefficients of irreducible subvarieties of codimension d Two classes will be equivalent if and only if there intersection product with all subvarieties of complementary dimension coincide Example 31 As a first example, Bézout Theorem can be reinterpreted by saying that A(P n = Z[h]/(h n+1, where h is the class of a hyperplane (and thus h i is the class of a linear subspace of codimension i In fact, the class of an irreducible subvariety of codimension i and degree d is dh i, and its intersection with another irreducible subvariety of codimension i and degree d (hence with class d t i is, if the intersection is proper, a subvariety of codimension i + i and degree dd, so its class is dd h i+i Remark 32 The whole intersection theory is based on the existence of the Chern classes of vector bundles, whose main properties we recall here: (i If L is a line bundle, c 1 (L is the class of any divisor associated to it (in particular c 1 (L 1 L 2 = c 1 (L 1 + c 1 (L 2 and c 1 (L = c 1 (L (ii Any vector bundle of rank r on X has Chern classes c i (F A i (X for i = 1, min{r, n} We will call c(f = 1 + c 1 (F t + + c r (F t r the Chern polynomial of F (we will use the convention c 0 (F = 1 and c i (F = 0 if i > r or i > n (iii For any exact sequence 0 F F F 0 we have c(f = c(f c(f (iv If F has m r independent sections such that the locus on which they have rank at most m 1 is a subvariety Z of codimension r m + 1 (the expected one, according to Theorem 211 then c r m+1 (F is the class represented by Z (to be completely honest, one should consider also a possible coefficient for the class of Z, since it could appear with some multiplicity (v If ϕ : Y X is a morphism and F is a vector bundle on X, then, for any i = 1,, rk(f we have c i (ϕ F = ϕ (c i (F, where we also write ϕ for the natural graded homomorphism A(X A(Y (vi (Splitting principle For any computation on Chern classes one can assume the vector bundle to split (since this is very ambiguous we illustrate it in the next example Example 33 Assume that we have vector bundles F and L of respective ranks one and two and we want to express the Chern classes of F L in terms of the Chern classes of F 11
12 and L If we assume F = L 1 L 2, then properties (ii and (iii easily imply c 1 (F = c 1 (L 1 + c 1 (L 2 c 2 (F = c 1 (L 1 c 1 (L 2 Similarly, since F L = (L 1 L (L 2 L, it follows (using now property (i: c 1 (F L = c 1 (L 1 L + c 1 (L 2 L = c 1 (L 1 + c 1 (L 2 + 2c 1 (L = c 1 (F + 2c 1 (L and c 2 (F L = c 1 (L 1 Lc 1 (L 2 L = (c 1 (L 1 + c 1 (L(c 1 (L 2 + c 1 (L = = c 1 (L 1 c 1 (L 2 + (c 1 (L 1 + c 1 (L 2 c 1 (L + c 1 (L 2 = c 2 (F + c 1 (F c 1 (L + c 1 (L 2 What the splitting principle asserts is that the formulas c 1 (F L = c 1 (F + 2c 1 (L and c 2 (F L = c 2 (F + c 1 (F c 1 (L + c 1 (L 2 are still valid even if F does not split Remark 34 Given any vector bundle F, there is always a line bundle L such that F L is generated by its global sections Hence Theorem 211 and Remark 32(iv allow to compute the Chern classes of F L Using the splitting principle as in Example 33, we can thus compute the Chern classes of F Exercise 35 Given a vector bundle F of rank two, use the splitting principle to write the Chern classes of its third symmetric power Symm 3 F in terms of the Chern classes of F Example 36 As a first application of the theory of Chern classes, we will compute the degree of the Segre variety P 1 P n in P 2n+1 Recall that this Segre can be regarded as the set of matrices of rank one inside the space of matrices of size 2 (n + 1 (all the matrices should be considered up to multiplication by a nonzero constant Hence the equations of the Segre variety are the 2 2 minors of the matrix ( x0 x n x n+1 x n+2 n+1 In other words, the Segre variety is the locus on which the sections (,,, x n, (x n+1, x n+2,, n+1 of L n+1 1 have rank one By Remark 32(iv, its class in A(P 2n+1 is given by c n (L n+1 1 which, using now Remark 32(iii, is the coefficient of t n in the expansion of (1 + c 1 (L 1 t n+1 By Remark 32(i, c 1 (L 1 = ht, where h is the class of the hyperplane section of P 2n+1 (recall Example 31, so that the class of the Segre variety is h n = (n + 1h n Therefore, the Segre variety has degree n + 1 ( n+1 n 12
13 Example 37 Consider on G(k, n the vector bundle U of rank r = k+1 Take m k+1 linearly independent sections of U, thus defining a linear subspace Λ P n of dimension n m Then Lemma 29 implies that the locus on which the m sections of U have rank at most m 1 is the Schubert variety Ω of kspaces meeting the Λ in dimension at least k m + 1 This means that c k m+2 (U is represented by the class of Ω When m = k+1 we get that c 1 (U is represented by the set of kspaces meeting a given subspace of codimension k + 1 (and this is the class of a hyperplane section of the Grassmannian, as Exercise 21(iv shows; if instead m = 1, we get that c k+1 (U is represented by the set of kspaces contained in a given hyperplane Exercise 38 Use the fact that the set of lines contained in a cubic surface in P 3 can be described as the zero locus of a section of Symm 3 U (see Exercise 27 to conclude that one expects a cubic surface to contain 27 lines Example 39 Schubert calculus can be reinterpreted in terms of Chern classes For example, we have seen in Example 22 that the intersection of two hyperplanes in the Plücker space of P 5 yields the set of points passing through a point plus the set of lines contained in a plane In terms of Chern classes, we are saying (using Example 37 that the class of the set of lines passing through one point is c 1 (U 2 c 2 (U In other words, using now Lemma 29, the locus on which three sections of U have rank at most one has class c 1(U c 2 (U c 0 (U c 1 (U This equality generalizes and, in terms of Chern classes, says that the class of the locus on which m independent sections of U have rank at most s is c k+1 s (U c k+2 s (U c k+m 2s (U c k s (U c k+1 s (U c k+m 2s+1 (U c k m+2 (U c k m+3 (U c k+1 s (U We can now prove the following: Theorem 310 (PorteousGiambelli Let F be a globally generated vector bundle of rank r over X Then, for a general choice of m sections of F, the class of the locus X s on which these sections have rank at most s is c r s (F c r s+1 (F c r s+m s 1 (F c r s 1 (F c r s (F c r s+m s (F c r m+1 (F c r m+2 (F c r s (F Proof: Write V = H 0 (X, F and consider the map ϕ V : X G(r 1, P(V given in Proposition 28 We thus have that X s is the inverse image by ϕ V of the locus on which 13
14 m sections of U have rank at most s, and this locus has class, by Example 39, c r s (U c r+1 s (U c r 1+m 2s (U c r 1 s (U c r s (U c r+m 2s (U c r m+1 (U c r m+2 (U c r s (U Since X s has codimension (r s(m s in X, by Theorem 211, it follows that its class is the pullback by ϕ V of the above determinant Since ϕ V (U = F by Proposition 28, the result follows at once from Remark 32 Remark 311 The actual PorteousGiambelli result is much stronger It says that if we have a morphism of vector bundles F F with m = rk(f and r = rk(f, then the locus X s on which the morphism has rank at most s either is empty or has codimension (m s(r s Moreover, when the equality occurs, the class of X s in A(X is c r s c r s+1 c r s+m s 1 c r s 1 c r s c r s+m t c r m+1 c r m+2 c r s where c i represents the coefficient of t i when expanding the quotient c(e c(f in the variable t as a formal series Exercise 312 Use Porteous formula to compute the degree of the Segre variety P 2 P 2 in P 8 14
15 References [A1] E Arrondo, Subvarieties of Grassmannians, Lecture Note Series Dipartimento di Matematica Uni Trento, 10 (1996, arrondo/trentopdf [A2] E Arrondo, Introduction to projective varieties, unpublished lecture notes available at arrondo/projvarhtml [KL] Kleiman, SL Laksov, D, Schubert calculus, Amer Math Monthly 79 (1972, [F] W Fulton, Intersection Theory, Springer 1984 (2nd edition in 1998 Departamento de Álgebra Facultad de Ciencias Matemáticas Universidad Complutense de Madrid Madrid, Spain 15
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 informationChern 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 information9. Birational Maps and Blowing Up
72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense
More informationAlgebraic 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 informationThe 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 informationELEMENTARY 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 informationMath 203A, Solution Set 6.
Math 203A, Solution Set 6. Problem 1. (Finite maps.) Let f 0,..., f m be homogeneous polynomials of degree d > 0 without common zeros on X P n. Show that gives a finite morphism onto its image. f : X P
More informationINTERSECTION THEORY CLASS 12
INTERSECTION THEORY CLASS 12 RAVI VAKIL CONTENTS 1. Rational equivalence on bundles 1 1.1. Intersecting with the zerosection of a vector bundle 2 2. Cones and Segre classes of subvarieties 3 2.1. Introduction
More informationSystems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,
Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.
More informationALGEBRAIC 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 informationVector Bundles on Algebraic Varieties
Vector Bundles on Algebraic Varieties Aaron Pribadi December 14, 2010 Informally, a vector bundle associates a vector space with each point of another space. Vector bundles may be constructed over general
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an Amorphism 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 Amorphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More informationk 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 information1. 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 quasiprojective varieties over a field k Affine Varieties 1.
More informationSPACES 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(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 informationIntersection Theory course notes
Intersection Theory course notes Valentina Kiritchenko Fall 2013, Faculty of Mathematics, NRU HSE 1. Lectures 12: examples and tools 1.1. Motivation. Intersection theory had been developed in order to
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of nonconstant 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 informationLECTURE 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 subgrassmannian ([LS]). Even when a Schubert variety is singular,
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an Sgroup. A representation of G is a morphism of Sgroups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationSchubert Varieties. P. Littelmann. May 21, 2012
Schubert Varieties P. Littelmann May 21, 2012 Contents Preface 1 1 SMT for Graßmann varieties 3 1.1 The Plücker embedding.................... 4 1.2 Monomials and tableaux.................... 12 1.3 Straightening
More informationAPPENDIX 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 informationdiv(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:
Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.
More informationMODULI 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 informationINTERSECTION THEORY CLASS 6
INTERSECTION THEORY CLASS 6 RAVI VAKIL CONTENTS 1. Divisors 2 1.1. Crash course in Cartier divisors and invertible sheaves (aka line bundles) 3 1.2. Pseudodivisors 3 2. Intersecting with divisors 4 2.1.
More informationSPACES 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 informationmult 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 quasiprojective variety
More informationarxiv: 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 informationADVANCED 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 informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationMODULI 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 rdimensional linear
More informationInstitutionen för matematik, KTH.
Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................
More information1.8 Dual Spaces (nonexaminable)
2 Theorem 1715 is just a restatement in terms of linear morphisms of a fact that you might have come across before: every m n matrix can be rowreduced to reduced echelon form using row operations Moreover,
More informationh M (T ). The natural isomorphism η : M h M determines an element U = η 1
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli
More information12. 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 informationMATH 233B, FLATNESS AND SMOOTHNESS.
MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)
More informationWe can choose generators of this kalgebra: 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 prespecified embedding in a projective space. However, an ample line bundle
More informationBEZOUT S THEOREM CHRISTIAN KLEVDAL
BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this
More informationBRILLNOETHER THEORY. This article follows the paper of Griffiths and Harris, "On the variety of special linear systems on a general algebraic curve.
BRILLNOETHER THEORY TONY FENG This article follows the paper of Griffiths and Harris, "On the variety of special linear systems on a general algebraic curve." 1. INTRODUCTION BrillNoether theory is concerned
More informationCombinatorics for algebraic geometers
Combinatorics for algebraic geometers Calculations in enumerative geometry Maria Monks March 17, 214 Motivation Enumerative geometry In the late 18 s, Hermann Schubert investigated problems in what is
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationMODULI 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 socalled Jinvariant, so the
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine nspace the collection A n k of points P = a 1, a,..., a
More informationExercise Sheet 7  Solutions
Algebraic Geometry DMATH, FS 2016 Prof. Pandharipande Exercise Sheet 7  Solutions 1. Prove that the Zariski tangent space at the point [S] Gr(r, V ) is canonically isomorphic to S V/S (or equivalently
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationON 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 informationIntroduction 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 informationCHAPTER 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 informationTopological Ktheory
Topological Ktheory Robert Hines December 15, 2016 The idea of topological Ktheory is that spaces can be distinguished by the vector bundles they support. Below we present the basic ideas and definitions
More informationarxiv: 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 informationLECTURE 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 nonstablerationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationResolution 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 informationarxiv: v1 [math.ag] 14 Mar 2019
ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIHWEI CHANG AND SHINYAO JOW Abstract. Let be a complete variety of dimension n over an algebraically
More information4. Images of Varieties Given a morphism f : X Y of quasiprojective varieties, a basic question might be to ask what is the image of a closed subset
4. Images of Varieties Given a morphism f : X Y of quasiprojective varieties, a basic question might be to ask what is the image of a closed subset Z X. Replacing X by Z we might as well assume that Z
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about
More informationRIMS1743 K3 SURFACES OF GENUS SIXTEEN. Shigeru MUKAI. February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES. KYOTO UNIVERSITY, Kyoto, Japan
RIMS1743 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 informationwhere Σ is a finite discrete Gal(K sep /K)set unramified along U and F s is a finite Gal(k(s) sep /k(s))subset
Classification of quasifinite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasifinite étale separated schemes X over a henselian local ring
More informationHere is another way to understand what a scheme is 1.GivenaschemeX, and a commutative ring R, the set of Rvalued points
Chapter 7 Schemes III 7.1 Functor of points Here is another way to understand what a scheme is 1.GivenaschemeX, and a commutative ring R, the set of Rvalued points X(R) =Hom Schemes (Spec R, X) This is
More informationPorteous 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 informationWild ramification and the characteristic cycle of an ladic sheaf
Wild ramification and the characteristic cycle of an ladic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationA Grassmann Algebra for Matroids
Joint work with Jeffrey Giansiracusa, Swansea University, U.K. Matroid (Whitney, 1935) A collection B of subsets of [n] = {1,2,...,n}, called bases, such that the basis exchange property holds: Matroid
More informationGRASSMANNIANS: THE FIRST EXAMPLE OF A MODULI SPACE
GRASSMANNIANS: THE FIRST EXAMPLE OF A MODULI SPACE 1. What is a moduli problem? Many objects in algebraic geometry vary in algebraically defined families. For example, a conic in P 2 has an equation of
More informationTHE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3
THE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3 KAZUNORI NAKAMOTO AND TAKESHI TORII Abstract. There exist 26 equivalence classes of ksubalgebras of M 3 (k) for any algebraically closed field
More information3.1. Derivations. Let A be a commutative kalgebra. Let M be a left Amodule. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationProjective Schemes with Degenerate General Hyperplane Section II
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco
More informationAlgebraic 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 informationMath 203, Solution Set 4.
Math 203, Solution Set 4. Problem 1. Let V be a finite dimensional vector space and let ω Λ 2 V be such that ω ω = 0. Show that ω = v w for some vectors v, w V. Answer: It is clear that if ω = v w then
More informationSTABLE 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 informationMath 231b Lecture 16. G. Quick
Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector
More informationFOUNDATIONS 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 informationALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationa 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 4dimensional projective space
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY Email address: alex.massarenti@sissa.it These notes collect a series of
More informationSummer Algebraic Geometry Seminar
Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties
More informationFANO VARIETIES OF LOWDEGREE SMOOTH HYPERSURFACES AND UNIRATIONALITY
FANO VARIETIES OF LOWDEGREE SMOOTH HYPERSURFACES AND UNIRATIONALITY AUTHOR: ALEX WALDRON ADVISOR: JOE HARRIS submitted to the Department of Mathematics in partial fulfillment of the requirements for the
More informationCharacteristic classes in the Chow ring
arxiv:alggeom/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 informationOral 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 informationCharacteristic Classes, Chern Classes and Applications to Intersection Theory
Characteristic Classes, Chern Classes and Applications to Intersection Theory HUANG, Yifeng Aug. 19, 2014 Contents 1 Introduction 2 2 Cohomology 2 2.1 Preliminaries................................... 2
More informationLecture 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 informationMath 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 informationDMATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties
DMATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.
More informationThe tangent space to an enumerative problem
The tangent space to an enumerative problem Prakash Belkale Department of Mathematics University of North Carolina at Chapel Hill North Carolina, USA belkale@email.unc.edu ICM, Hyderabad 2010. Enumerative
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Proper morphisms 1 2. Schemetheoretic closure, and schemetheoretic image 2 3. Rational maps 3 4. Examples of rational maps 5 Last day:
More informationBRILLNOETHER THEORY, II
This article follows the paper of Griffiths and Harris, "On the variety of special linear systems on a general algebraic curve" 1 WARMUP ON DEGENERATIONS The classic first problem in Schubert calculus
More informationBetti numbers of abelian covers
Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan AttwellDuval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationARITHMETICALLY COHENMACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES
ARITHMETICALLY COHENMACAULAY 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 informationMT845: INTERSECTION THEORY, MODULI SPACE AND ENUMERATIVE GEOMETRY
MT845: INTERSECTION THEORY, MODULI SPACE AND ENUMERATIVE GEOMETRY DAWEI CHEN Contents 1. Chow ring 1 2. Chern class 14 3. Grassmannians 20 4. Fano scheme 26 5. Singular hypersurfaces 32 6. Stable maps
More informationOn 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 informationarxiv: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 informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More information