# CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents

Size: px
Start display at page:

Download "CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents"

Transcription

1 CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally invariant Hodge numbers 7 5. The topological approach to the Kodaira vanishing theorem 9 References 12 In this chapter we will review a number of fundamental facts on the topology of smooth complex projective varieties, and the Hodge decomposition of their singular cohomology with complex coefficients. We will then see them in action by proving the Kodaira Vanishing theorem, the invariance of Hodge numbers under deformations, and the birational invariance of certain Hodge numbers. Some basic references for this material are [GH] Chapter 0 and 1, [La] 3.1 and 4.2, and [Vo]. 1. The Lefschetz hyperplane theorem Theorem 1.1 (Lefschetz hyperplane theorem). Let X be a smooth complex projective variety of dimension n, and let D be an effective ample divisor on X. Then the restriction map r i : H i (X, Z) H i (D, Z) is an isomorphism for i n 2, and injective for i = n 1. Proof. A conceptual approach is via the following theorem essentially saying that complex affine manifolds have only half as much topology as one might expect: 1 Theorem 1.2 (Andreotti-Frankel). Let Y C r be a closed n-dimensional complex submanifold. Then Y has the homotopy type of a CW complex of real dimension n. As a consequence H i (Y, Z) = 0 and H i (Y, Z) = 0 for i > n. 1 Note that every C manifold of real dimension 2n has the homotopy type of a CW complex of real dimension 2n. 1

2 2 Mihnea Popa Assuming this for now, let s continue with the proof of the theorem on hyperplane sections. Since D is ample, for some m 0 we have that md is very ample, and therefore there exists an embedding X P N and a hyperplane H in P N such that md = X H. This implies that Y = X D = X md is a smooth affine complex variety of dimension n. The Andreotti-Frankel theorem implies then that H j (Y, Z) = 0 for j > n. On the other hand, for all j one has by Alexander-Lefschetz duality 2 H j (Y, Z) H 2n j (X, D; Z) and therefore H i (X, D; Z) = 0 for i < n. This is equivalent to the desired conclusion, by the long exact sequence of (relative) cohomology... H i (X, D; Z) H i (X, Z) H i (D, Z) H i+1 (X, D; Z)... The proof of Theorem 1.2 is a very nice application of basic Morse theory, as in [Mi]. We start by recalling some of its fundamental facts. Let M be a C manifold of real dimension n, and let f : M R be a C function on M. Recall that p M is a critical point of f if df p = 0, in which case q = f(p) is the corresponding critical value. If p is a critical point, then there exists a symmetric bilinear form called the Hessian of f at p, Hess(f) p = d 2 f p : T p X T p X R, given in local coordinates by Hess(f) p = ( 2 f x i x j ). We say that the p is a nondegenerate critical point if Hess(f) p is nondegenerate, in which case we define λ p = index p (f) = number of negative eigenvalues of Hess(f) p. The Morse Lemma [Mi] Lemma 2.2 states that in suitable local coordinates around a nondegenerate critical point, f can be written as the quadratic function f(x 1,..., x n ) = x x 2 λ + x 2 λ x 2 n. Theorem 1.3 (Basic theorem of Morse Theory, [Mi] Theorem 3.5). With the notation above, assume that f has the property that f 1 ((, a]) is compact for every a R. Assume in addition that f has only nondegenerate critical points. Then M has the homotopy type of a CW complex with one cell of dimension λ for each critical point of index λ. Example 1.4. The height function on the standard two-dimensional torus is a typical example of a function as in Theorem 1.3. The index at each of the critical points can easily be computed to be as in Figure 1. We recover the well known fact that the twodimensional torus has the homotopy type of a CW complex with 1 cell of dimension 0, 2 cells of dimension 1, and 1 cell of dimension 2. 2 See e.g. [Hat] 3.3; note that Poincaré duality is the special case D = 0.

3 Topology of algebraic varieties, Hodge decomposition, and applications 3 λ =2 f = height λ =1 λ =1 λ =0 Figure 1. Morse theory for the standard torus. For us, the key example of a function with only nondegenerate critical points (a Morse function) is given by the following construction. Assume that M R m is a closed submanifold of dimension n. Given c R m, define i.e. the usual Euclidian distance in R m. ϕ c : M R, ϕ c (p) = p c 2, Lemma 1.5 ([Mi] Theorem 6.6). For almost all c R m, ϕ c critical points. has only nondegenerate Note that ϕ c obviously satisfies the other condition in the statement of Theorem 1.3. Proof. (of Theorem 1.2.) According to the discussion above, the Theorem reduces to giving an upper bound for the index of a critical point for the distance function on a closed submanifold of C r. More precisely, it is a consequence of the following result, combined with Theorem 1.3. Lemma 1.6. Let M be an n-dimensional closed complex submanifold of C r = R 2r, and let c C r. If p is a nondegenerate critical point of ϕ c, then λ p n. Proof. Here is a sketch of an elementary proof, as in the original work of Andreotti- Frankel. (A more conceptual proof can be found for instance in [Mi] 7.) Write k = r n. Choose coordinates on C r in such a way that p = 0, c = (0,..., 0, 1, 0,..., 0) with 1 in the (n + 1)-st position, and M is the graph of a holomorphic function f : C n C k with df 0 = 0. (Exercise: check that you can do this.) In other words, denoting the coordinates by z 1,..., z n, we have M = { ( z 1,..., z n, f 1 (z),..., f k (z) ) f 1,..., f k holomorphic with ord 0 (f i ) 2}.

4 4 Mihnea Popa The distance function ϕ c is then given by the formula n ϕ c (z) = (1 2 Re f 1 (z)) + z i 2 + i=1 k f i (z) 2. Since ord 0 (f i ) 2 for all i, the last sum in the formula does not contribute to Hess(ϕ c ) 0. Now write f 1 (z) = Q(z) + terms of order 3, where Q(z) is a homogeneous quadratic polynomial in z 1,..., z n. Putting all of this together we get Hess(ϕ c ) 0 = 2 Hess(Re Q(z)) Id. As the second term is positive definite, the result follows from the following standard Lemma 1.7. If Q is a complex homogeneous quadratic polynomial in z 1,..., z n, then Hess(Re Q(z)) 0 has at most n positive and at most n negative eigenvalues. Proof. After a complex change of coordinates z w one can write i=2 Q(w) = w ws 2 with s n. Writing w j = x j + i y j, we have Re Q(w) = (x 2 1 y1) (x 2 s ys), 2 and for this the statement is clear. 2. The Hodge decomposition For a smooth complex projective variety, or more generally a compact Kähler manifold, a fundamental result is the Hodge decomposition of its singular cohomology with complex coefficients. Theorem 2.1 (Hodge decomposition). If X is a compact Kähler manifold, then there is a decomposition H i (X, C) H p,q (X) with: H p,q (X) = H q,p (X) H p,q (X) H q (X, Ω p X ). p+q=i As H p,q usually denotes the cohomology group obtained from (p, q)-forms via the operator, the second bullet is in fact the independent Dolbeaut Theorem. In particular, the H q,0 (X) spaces can be seen as the global sections of the various bundles of holomorphic forms on X, or after conjugation as the cohomology groups of the structure sheaf. As such, we will see for instance that they are birational invariants.

5 Topology of algebraic varieties, Hodge decomposition, and applications 5 We use the standard notation the i-th Betti number of X, and b i (X) = dim C H i (X, C), h p,q (X) = dim C H p,q (X) = dim C H q (X, Ω p X ) = dim C H p (X, Ω q X ), the (p, q)-hodge number of X. By the Hodge decomposition theorem we have b i (X) = h p,q (X) and h p,q (X) = h q,p (X). p+q=i As a first example of application, this gives an immediate obstruction to a complex manifold being Kähler: Corollary 2.2. If X is compact Kähler and k is an odd integer, then b k (X) is even. Given the Hodge decomposition, there is a holomorphic version of the Lefschetz Hyperplane Theorem 1.1: Corollary 2.3. Let X be a smooth complex projective variety of dimension n, and let D be a smooth effective ample divisor on X. Then the restriction maps r p,q : H q (X, Ω p X ) Hq (D, Ω p D ) are isomorphisms for p + q n 2, and injective for p + q = n 1. Proof. The restriction maps naturally commute with the functorial decomposition given by the Hodge theorem, so that r i = p+q=i r p,q. The statement follows then immediately from Theorem 1.1. Definition 2.4 (Hodge diamond). We usually collect the Hodge numbers of a compact Kähler manifold X in a Hodge diamond, as represented below. h 0,0 h 1,0 h 0,1.... h n,0 h n 1,1... h 1,n 1 h 0,n.... h n,n 1 h n 1,n h n,n This diamond has a few symmetries. Conjugation H p,q = H q,p implies that it is invariant under reflection across the middle column. Serre duality gives the isomorphism H p,q H n p,n q, which gives diagonal symmetry (in other words the Hodge diamond is left invariant under rotation by 180 ). This properties imply invariance under reflection across the middle row as well; this isomorphism can also be seen directly via the Hodge -operator.

6 6 Mihnea Popa Exercise 2.5. Find the Hodge diamonds of the following varieties: (i) P n. (ii) a smooth degree 3 hypersurface in P 3 (cubic surface). (iii) a smooth degree 3 hypersurface in P 4 (cubic threefold). One Hodge space that has a special interpretation is H 1,1 (X). Every class here is known to be analytic, in other words it comes from a divisor on X. For a proof of the theorem below see e.g. [GH] p.163. Theorem 2.6 (Lefschetz theorem on (1, 1)-classes). Let X be a smooth projective complex variety of dimension n. Then every class in H 1,1 (X) H 2 (X, Z) (i.e. integral (1, 1)-class) is the first Chern class of a line bundle on X, or equivalently the Poincaré dual of [D] H 2n 2 (X, Z) for some divisor D on X. 3. Hodge numbers in smooth families Definition 3.1 (Families). A holomorphic map π : X B between complex manifolds is called a family of complex manifolds if π is a proper submersion. If X and B are smooth varieties, we can express this by saying that π is a smooth proper morphism (in the algebraic sense). For b B, we denote by X b = π 1 (b), seen as a complex manifold (or smooth algebraic variety). From the topological, or even differential, point of view, the fibers of a family as above over a contractible base (for instance a disk) are all the same. For a proof of the following theorem, and for further extensions, see e.g. [Vo] 9.1. Theorem 3.2 (Ehresmann). Let π : X B be a proper submersion between smooth manifolds, with B contractible. Consider a base point b 0 B. Then there exists a diffeomorphism Φ : X X b0 B relative to B, i.e. such that π = p 2 Φ. Remark 3.3. The statement of the theorem is far from being true if one requires the trivialization Φ to be holomorphic (or algebraic) rather than just C, hence the theory of moduli in these more restrictive categories. On the other hand, the diffeomorphisms X b X b0 induced by Φ for any b B enable us to see the family as given by different complex structures varying with b, on the fixed differentiable manifold X b0. As any manifold has by definition an open cover with contractible submanifolds, for which the previous theorem applies, we obtain that the topology of the fibers of a family is the same. In particular: Corollary 3.4. If π : X B is a proper submersion of smooth manifolds, then for any integer i and any b 1, b 2 B. H i (X b1, Z) H i (X b2, Z)

7 Topology of algebraic varieties, Hodge decomposition, and applications 7 Theorem 3.5. Let π : X B be a smooth family of complex projective varieties (or compact Kähler manifolds). Then the Hodge numbers h p,q (X b ) are constant for b B. Proof. Note that by the Dolbeaut isomorphism, we can see the Hodge numbers as representing the dimension of various cohomology groups of holomorphic vector bundles: h p,q (X) = dim C H q (X, Ω p X ). But by the Semicontinuity theorem, these vary upper-semicontinuously when we move b. (Indeed, one can apply the Semicontinuity theorem to the bundle of relative differentials Ω p X /B on X, whose restriction to each X b is Ω p X b.) In other words, if we fix any point b 0 B, we have for all p and q that h p,q (X b ) h p,q (X b0 ) for b in a neighborhood of b 0. This implies for each i, by the Hodge decomposition, that b i (X b ) = h p,q (X b ) h p,q (X b0 ) = b i (X b0 ) p+q=i p+q=i and since the Betti numbers on the two extremes are equal according to Corollary 3.4, we obtain that all Hodge numbers are constant in a neighborhood of b 0. Now cover the base B with sufficiently small open subsets on which the above applies. Remark 3.6. A more general statement holds in the setting of compact complex manifolds (see e.g. [Vo] Proposition 9.20): let π : X B be a family (i.e. a proper submersion) of compact complex manifolds such that X b0 is Kähler for some b 0 B. Then for b in a neighborhood of b 0 we have h p,q (X b ) = h p,q (X b0 ) for all p and q, and moreover the Hodge to de Rham spectral sequence degenerates at E 1. In fact one can also show that X b must be Kähler for b sufficiently close to b 0 (see [Vo] Theorem 9.23). 4. Birationally invariant Hodge numbers Let X be a smooth projective variety of dimension n over an algebraically closed field. It is an elementary result that the Hodge numbers are birational invariants for all q. h p,0 (X) = h 0 (X, Ω p X ) Proposition 4.1. If X and Y are birational smooth projective varieties over an algebraically closed field, then h p,0 (X) = h p,0 (Y ) for all p. Proof. By symmetry, it is enough to show that h p,0 (Y ) h p,0 (X). Let f be a (bi)rational map from X to Y, V X the maximal open set on which f is defined, and U V an open subset on which the induced f : U f(u) is an isomorphism. By pulling back p-forms via the morphism f : V Y, we get an induced map f : H 0 (Y, Ω p Y ) H0 (V, Ω p V ).

8 8 Mihnea Popa The first claim is that this map is injective; indeed via f we get an isomorphism Ω p V U Ω p Y f(u). If f were not injective, it would mean that a nonzero section in H 0 (Y, Ω p Y ) would vanish on a nonempty open set, which is a contradiction. The second claim is that the restriction map H 0 (X, Ω p X ) H0 (V, Ω p V ) is an isomorphism, which combined with the above finishes the proof. But it is wellknown that any rational map on a smooth (or more generally normal) variety is defined in codimension 1, i.e. codim X (X V ) 2. Now by Hartogs theorem (or its algebraic analogue) any regular function, hence any regular q-form, extends over a codimension 2 subset. This implies the surjectivity of the restriction map, while injectivity follows as in the paragraph above. Exercise 4.2. Check the assertion above, namely that codim X (X V ) 2, by using the valuative criterion of properness. (Cf. also [Har] II Ex and III Ex. 3.5 for the case of rational functions, referred to as Hartogs theorem in the proof of the Proposition.) Remark 4.3. If X is defined over (a subfield of) the complex numbers, then by Hodge duality we have h p,0 = h 0,p, hence Proposition 4.1 automatically implies that if X and Y are birational then h p (X, O X ) = h p (Y, O Y ). This statement is still true in arbitrary characteristic, but the argument above does not work any more. Instead, one can use the following fundamental result on birational morphisms: 3 Theorem 4.4. Let f : X Y be a birational morphism between smooth varieties. Then f O X O Y and R i f O X = 0 for i > 0. This is well-known (but nontrivial) in characteristic 0, using fundamental facts on resolution of singularities. If resolution were known in characteristic p > 0, the argument would go through; at the moment this is not the case. However, the statement above was recently proved, with different methods, by Chatzistamatiou-Rülling [CR]. Going back to the proof of our invariance, since X and Y are birational, by the general resolution of singularities machinery they are dominated by a common model, i.e. there exists a smooth projective Z and surjective birational morphisms f : Z X and g : Z Y. We can therefore assume that there is a birational morphism f : X Y. But by Theorem 4.4, the Leray spectral sequence degenerates at E 2, giving isomorphisms E p,q 2 = H p (Y, R q f O X ) H p+q (X, O X ) H p (Y, O Y ) H p (X, O X ). 3 This result could be phrased as saying that smooth varieties have rational singularities.

9 Topology of algebraic varieties, Hodge decomposition, and applications 9 Example 4.5. It is not true in general that all Hodge numbers are birational invariants. The simplest example is that of blow-ups. Let X be a smooth projective variety (or more generally complex manifold) of dimension n, and let X = Bl x (X) be the blow-up of X at an arbitrary point x. Denote by E P n 1 the exceptional divisor. This divisor introduces its own new cycles (including E itself) to H i ( X, Z). More precisely, for each i > 0 one has H i ( X, Z) H i (X, Z) H i (E, Z). This reflects in the Hodge decomposition. Since all analytic cycles are in H p,p for various p, we obtain H p,p ( X) H p,p (X) C for all 0 < p < n, so the non-extremal Hodge numbers on the middle column go up by 1. Exercise 4.6. Verify carefully all the statements made in the Example above. 5. The topological approach to the Kodaira vanishing theorem My emphasis in these notes is on results directly focused on the singular cohomology and Hodge numbers of smooth projective varieties. However, here I take a moment to exemplify how such results can be applied in order to derive statements of fundamental importance in birational geometry. Concretely, we will use the previous topological and Hodge theoretic results in this chapter, together with a covering construction, in order to derive the celebrated Kodaira Vanishing theorem. That this is possible was first observed by Ramanujam; Kodaira s original proof was of a more differential geometric nature (cf. [GH] Ch.I 2). We follow the treatment in [La] 4.2. This approach has led to numerous important generalizations of the Kodaira Vanishing theorem (see for instance [EV]). Theorem 5.1 (Kodaira Vanishing Theorem). Let X be a smooth complex projective variety of dimension n, and let D be an ample divisor on X. Then Equivalently, H i (X, O X (K X + D)) = 0 for all i > 0. H i (X, O X ( D)) = 0 for all i < n. Proof. Step 1. We first prove the theorem in the case when D is a smooth effective divisor. In this case we have an exact sequence 0 O X ( D) O X O D 0 which induces the long exact sequence on cohomology H i 1 (X, O X ) H i 1 (D, O D ) H i (X, O X ( D)) H i (X, O X ) H i (D, O D ) But the case p = 0 and q = i in Corollary 2.3 says that the restriction maps H j (X, O X ) H j (D, O D ) are isomorphisms for j n 2 and injective for j = n 1, which using the sequence above implies H i (X, O X ( D)) = 0 for i < n.

10 10 Mihnea Popa Step 2. We now reduce to the case treated in Step 1 by means of a standard cyclic covering construction. Since D is ample, for m 0 there is a smooth irreducible divisor B md. Proposition 5.7 below implies that we can take an m-th root of this divisor, at the expense of working on a finite cover of X. Concretely, consider f : Y X to be the m-fold cyclic cover branched along B. Denote D = f D. Proposition 5.7 says that Y is smooth and that there exists a smooth effective divisor B D, which is obviously ample. We now claim that in order to conclude it suffices to have H i (Y, O Y ( B )) = 0 for all i < n, which holds by the previous step. Indeed, we have by definition O Y ( B ) = O Y ( D ) f O( D) and so the claim follows from Lemma 5.8 below. One can in fact use a similar argument to prove the more general Nakano Vanishing, a statement about arbitrary bundles of holomorphic forms (Kodaira Vanishing is the special case p = n). Theorem 5.2 (Nakano Vanishing Theorem). Let X be a smooth complex projective variety, and L an ample line bundle on X. Then or equivalently H q (X, Ω p X L) = 0 for p + q > n, H q (X, Ω p X L 1 ) = 0 for p + q < n. Before proving the Theorem, we need to introduce one more construction: Definition 5.3 (Forms with log-poles). Let X be a smooth variety, and D a smooth effective divisor on X. The sheaf of 1-forms on X with log-poles along D is Ω 1 X(log D) = Ω 1 X < df f >, f local equation for D. Concretely, if z 1,..., z n are local coordinates on X, chosen such that D = (z n = 0), then Ω 1 X (log D) is locally generated by dz 1,..., dz n 1, dzn z n. This is a free system of generators, so Ω 1 X (log D) is locally free of rank n. For any integer p, we define Ω p X (log D) := p ( Ω 1 X (log D) ). Lemma 5.4. There are short exact sequences: (i) 0 Ω p X Ωp X (log D) Ωp 1 D 0. (ii) 0 Ω p X (log D)( D) Ωp X Ωp D 0. Proof. I will sketch the proof for p = 1; in general it is only notationally more complicated. The comprehensive source for this is [EV] 2.

11 Topology of algebraic varieties, Hodge decomposition, and applications 11 Choose local analytic coordinates z 1,..., z n so that D = (z n = 0). For (i), the map on the right is the residue map along D given by res D : Ω 1 X(log D) O D f 1 dz f n 1 dz n 1 + f n dz n z n f n D, where f 1,..., f n are local functions on X. The right hand side is 0 if one can write f = z n g for an arbitrary regular function g. Therefore we can see the kernel as being locally generated by dz 1,..., dz n, hence isomorphic to Ω 1 X. For (ii), the map on the right is given by restriction of forms. Since locally D = (z n = 0), the kernel of the restriction map Ω 1 X Ω1 D is locally generated by z ndz 1,... z n dz n 1, dz n. But these obviously generate the subsheaf Ω p X (log D)( D) Ωp X (log D). Lemma 5.5. Let f : Y X be the m-fold cyclic cover branched along D, as in Proposition 5.7. Let D be the divisor in Y such that f D = md, mapping isomorphically onto D. Then f Ω p X (log D) Ωp Y (log D ). Proof. It is enough to prove this for p = 1. As usual, choose local coordinates z 1,..., z n so that D = (z n = 0). We then have local coordinates z 1,..., z n 1, w on Y such that D = (w = 0) and f is given by z n = w m. Then we see that which implies what we want. f ( dz n z n ) = m dw w, Proof of Theorem 5.2. We will show the second version of the statement of the Theorem. For m 0, let D ml be a smooth divisor. Let f : Y X be the m-fold cyclic cover branched along D as in Proposition 5.7, with f D = md and L = O Y (D ). We can assume by induction on n = dim X that we already know Nakano vanishing on D, so that H q (D, Ω p 1 D L 1 D ) = 0 for p + q < n. Using this and passing to cohomology in the sequence in Lemma 5.4(i), it suffices then to prove that H q (X, Ω p X (log D) L 1 ) = 0 for p + q < n. Now using Lemma 5.5 together with Lemma 5.8 below, this is equivalent with proving H q (Y, Ω p Y (log D ) O Y ( D )) = 0 for p + q < n. Finally, we appeal to the exact sequence in Lemma 5.4(ii). Using this, our desired statement is equivalent to the fact that the restriction maps r p,q : H q (Y, Ω p Y ) Hq (D, Ω p D ) are isomorphisms for p + q n 2, and injective for p + q = n 1. But this is precisely the statement of the holomorphic Lefschetz hyperplane theorem, Corollary 2.3.

12 12 Mihnea Popa Remark 5.6. Note that one can completely reverse the argument above, and deduce the Lefschetz hyperplane theorem from Nakano vanishing (which in turn can be proved by various other methods); many references, especially of a more differential geometric nature, follow that approach. Appendix: Covering Lemmas. I will state here without proof a useful technical result needed in order to take m-th roots of divisors B md as in the previous section. This is only the tip of the iceberg, as more complicated constructions are needed for deeper applications. For a thorough survey and clean proofs see [La] 4.1.B. Proposition 5.7. Let X be a variety over an algebraically closed field k, and let L be a line bundle on X. Let 0 s H 0 (X, L m ) for some m 1, with D = Z(s) ml. Then there exists a finite flat morphism f : Y X, where Y is a scheme over k such that if L = f L, there is a section Moreover: s H 0 (Y, L ) satisfying (s ) m = f s. if X and D are smooth, then so are Y and D = Z(s ). the divisor D maps isomorphically onto D. there is a canonical isomorphism f O Y O X L 1 L (m 1). The scheme Y in Proposition 5.7 is called the m-fold cyclic cover of X branched along D. We also need to compare cohomology via finite covers. Lemma 5.8. Let f : Y X be a finite surjective morphism of normal complex varieties, and let E be a locally free sheaf on X. If for some i 0 one has H i (Y, f E) = 0, then H i (X, E) = 0. Exercise 5.9. Prove Lemma 5.8. References [CR] A. Chatzistamatiou and K. Rülling, Higher direct images of the structure sheaf in positive characteristic, arxiv: , to appear in Algebra and Number Theory. 8 [EV] H. Esnault and E. Viehweg, Lectures on vanishing theorems 9, 10 [GH] P. Griffiths and J. Harris, Principles of algebraic geometry, Wiley-Interscience, , 6, 9 [Har] R. Hartshorne, Algebraic geometry, Springer, [Hat] A. Hatcher, Algebraic topology, Cambridge Univ. Press, [La] R. Lazarsfeld, Positivity in algebraic geometry I & II, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 48 & 49, Springer-Verlag, Berlin, , 9, 12 [Mi] J. Milnor, Morse Theory, Annals of Math. Studies, vol.51, Princeton Univ. Press, , 3 [Vo] C. Voisin, Hodge theory and complex algebraic geometry I & II, Cambridge Univ. Press, , 6, 7

### Useful theorems in complex geometry

Useful theorems in complex geometry Diego Matessi April 30, 2003 Abstract This is a list of main theorems in complex geometry that I will use throughout the course on Calabi-Yau manifolds and Mirror Symmetry.

### Non-uniruledness results for spaces of rational curves in hypersurfaces

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

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

### arxiv: v1 [math.ag] 13 Mar 2019

THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show

### arxiv: v1 [math.ag] 28 Sep 2016

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

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

### A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM. 1. Introduction

A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM GAUTAM BHARALI, INDRANIL BISWAS, AND GEORG SCHUMACHER Abstract. Let X and Y be compact connected complex manifolds of the same dimension

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

### Hodge Theory of Maps

Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1 - Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar

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

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

### APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY

APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then

### SEPARABLE RATIONAL CONNECTEDNESS AND STABILITY

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

### The geometry of Landau-Ginzburg models

Motivation Toric degeneration Hodge theory CY3s The Geometry of Landau-Ginzburg Models January 19, 2016 Motivation Toric degeneration Hodge theory CY3s Plan of talk 1. Landau-Ginzburg models and mirror

### Dedicated to Mel Hochster on his 65th birthday. 1. Introduction

GLOBAL DIVISION OF COHOMOLOGY CLASSES VIA INJECTIVITY LAWRENCE EIN AND MIHNEA POPA Dedicated to Mel Hochster on his 65th birthday 1. Introduction The aim of this note is to remark that the injectivity

### CANONICAL BUNDLE FORMULA AND VANISHING THEOREM

CANONICAL BUNDLE FORMULA AND VANISHING THEOREM OSAMU FUJINO Abstract. In this paper, we treat two different topics. We give sample computations of our canonical bundle formula. They help us understand

### A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY. We also have an isomorphism of holomorphic vector bundles

A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY LIVIU I. NICOLAESCU ABSTRACT. These are notes for a talk at a topology seminar at ND.. GENERAL FACTS In the sequel, for simplicity we denote the complex

### ON EMBEDDABLE 1-CONVEX SPACES

Vâjâitu, V. Osaka J. Math. 38 (2001), 287 294 ON EMBEDDABLE 1-CONVEX SPACES VIOREL VÂJÂITU (Received May 31, 1999) 1. Introduction Throughout this paper all complex spaces are assumed to be reduced and

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

### DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES

DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES YIFEI ZHAO Abstract. We present the proofs of Deligne s theorems on degeneration of the Leray spectral sequence, and the algebraic Hodge-de Rham

### Lecture on Equivariant Cohomology

Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove

### ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional

### Algebraic geometry versus Kähler geometry

Algebraic geometry versus Kähler geometry Claire Voisin CNRS, Institut de mathématiques de Jussieu Contents 0 Introduction 1 1 Hodge theory 2 1.1 The Hodge decomposition............................. 2

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

### Vanishing theorems and holomorphic forms

Vanishing theorems and holomorphic forms Mihnea Popa Northwestern AMS Meeting, Lansing March 14, 2015 Holomorphic one-forms and geometry X compact complex manifold, dim C X = n. Holomorphic one-forms and

### KODAIRA-SAITO VANISHING AND APPLICATIONS

KODAIRA-SAITO VANISHING AND APPLICATIONS MIHNEA POPA Abstract. The first part of the paper contains a detailed proof of M. Saito s generalization of the Kodaira vanishing theorem, following the original

### L 2 BETTI NUMBERS OF HYPERSURFACE COMPLEMENTS

L 2 BETTI NUMBERS OF HYPERSURFACE COMPLEMENTS LAURENTIU MAXIM Abstract. In [DJL07] it was shown that if A is an affine hyperplane arrangement in C n, then at most one of the L 2 Betti numbers i (C n \

### Intermediate Jacobians and Abel-Jacobi Maps

Intermediate Jacobians and Abel-Jacobi Maps Patrick Walls April 28, 2012 Introduction Let X be a smooth projective complex variety. Introduction Let X be a smooth projective complex variety. Intermediate

### Formality of Kähler manifolds

Formality of Kähler manifolds Aron Heleodoro February 24, 2015 In this talk of the seminar we like to understand the proof of Deligne, Griffiths, Morgan and Sullivan [DGMS75] of the formality of Kähler

### 3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).

3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)

### EXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION

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

### Introduction To K3 Surfaces (Part 2)

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

### Monodromy of the Dwork family, following Shepherd-Barron X n+1. P 1 λ. ζ i = 1}/ (µ n+1 ) H.

Monodromy of the Dwork family, following Shepherd-Barron 1. The Dwork family. Consider the equation (f λ ) f λ (X 0, X 1,..., X n ) = λ(x n+1 0 + + X n+1 n ) (n + 1)X 0... X n = 0, where λ is a free parameter.

### Algebraic v.s. Analytic Point of View

Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,

### 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).

### ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional

### The generalized Hodge and Bloch conjectures are equivalent for general complete intersections

The generalized Hodge and Bloch conjectures are equivalent for general complete intersections Claire Voisin CNRS, Institut de mathématiques de Jussieu 0 Introduction Recall first that a weight k Hodge

### MOTIVES OF SOME ACYCLIC VARIETIES

Homology, Homotopy and Applications, vol.??(?),??, pp.1 6 Introduction MOTIVES OF SOME ACYCLIC VARIETIES ARAVIND ASOK (communicated by Charles Weibel) Abstract We prove that the Voevodsky motive with Z-coefficients

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

### THE QUANTUM CONNECTION

THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 Gromov-Witten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,

### 1 Moduli spaces of polarized Hodge structures.

1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an

### LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS

LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS LAWRENCE EIN Abstract. 1. Singularities of Surfaces Let (X, o) be an isolated normal surfaces singularity. The basic philosophy is to replace the singularity

### TitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)

TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 2004-06 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights

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

### Chapter 17 Computation of Some Hodge Numbers

Chapter 17 Computation of Some Hodge Numbers The Hodge numbers of a smooth projective algebraic variety are very useful invariants. By Hodge theory, these determine the Betti numbers. In this chapter,

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

### Kähler manifolds and variations of Hodge structures

Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic

### LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES

LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.

### arxiv:alg-geom/ v1 29 Jul 1993

Hyperkähler embeddings and holomorphic symplectic geometry. Mikhail Verbitsky, verbit@math.harvard.edu arxiv:alg-geom/9307009v1 29 Jul 1993 0. ntroduction. n this paper we are studying complex analytic

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

### ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES

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

### ALGEBRAIC CYCLES ON THE FANO VARIETY OF LINES OF A CUBIC FOURFOLD arxiv: v2 [math.ag] 18 Apr INTRODUCTION

ALGEBRAIC CYCLES ON THE FANO VARIETY OF LINES OF A CUBIC FOURFOLD arxiv:1609.05627v2 [math.ag] 18 Apr 2018 KALYAN BANERJEE ABSTRACT. In this text we prove that if a smooth cubic in P 5 has its Fano variety

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

### A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES

A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X

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

### Handlebody Decomposition of a Manifold

Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody

### fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical

### LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in

### arxiv: v1 [math.ag] 9 Mar 2011

INEQUALITIES FOR THE HODGE NUMBERS OF IRREGULAR COMPACT KÄHLER MANIFOLDS LUIGI LOMBARDI ariv:1103.1704v1 [math.ag] 9 Mar 2011 Abstract. Based on work of R. Lazarsfeld and M. Popa, we use the derivative

### HIGHER COHOMOLOGY OF DIVISORS ON A PROJECTIVE VARIETY. Introduction

HIGHER COHOMOLOGY OF DIVISORS ON A PROJECTIVE VARIETY TOMMASO DE FERNEX, ALEX KÜRONYA, AND ROBERT LAZARSFELD Introduction The purpose of this paper is to study the growth of higher cohomology of line bundles

### Diagonal Subschemes and Vector Bundles

Pure and Applied Mathematics Quarterly Volume 4, Number 4 (Special Issue: In honor of Jean-Pierre Serre, Part 1 of 2 ) 1233 1278, 2008 Diagonal Subschemes and Vector Bundles Piotr Pragacz, Vasudevan Srinivas

### ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3

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

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

### Pullbacks of hyperplane sections for Lagrangian fibrations are primitive

Pullbacks of hyperplane sections for Lagrangian fibrations are primitive Ljudmila Kamenova, Misha Verbitsky 1 Dedicated to Professor Claire Voisin Abstract. Let p : M B be a Lagrangian fibration on a hyperkähler

### LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM

LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory

### Holomorphic line bundles

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

### arxiv: v1 [math.ag] 15 Apr 2013

ON ISOLATED LOG CANONICAL CENTERS arxiv:1304.4173v1 [math.ag] 15 Apr 2013 CHIH-CHI CHOU Abstract. In this paper, we show that the depth of an isolated log canonical center is determined by the cohomology

### Riemann Surfaces and Algebraic Curves

Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1

### arxiv:math/ v2 [math.at] 2 Oct 2004

arxiv:math/0409412v2 [math.at] 2 Oct 2004 INTERSECTION HOMOLOGY AND ALEXANDER MODULES OF HYPERSURFACE COMPLEMENTS LAURENTIU MAXIM Abstract. Let V be a degree d, reduced, projective hypersurface in CP n+1,

### Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

### Cup product and intersection

Cup product and intersection Michael Hutchings March 28, 2005 Abstract This is a handout for my algebraic topology course. The goal is to explain a geometric interpretation of the cup product. Namely,

### COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski

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

### F. LAYTIMI AND D.S. NAGARAJ

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

### 10. 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

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

### RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY

RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY NICK MCCLEEREY 0. Complex Differential Forms Consider a complex manifold X n (of complex dimension n) 1, and consider its complexified tangent bundle T C

### Deligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities

Deligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities B.F Jones April 13, 2005 Abstract Following the survey article by Griffiths and Schmid, I ll talk about

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

### arxiv: v1 [math.ag] 3 Mar 2018

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

### Segre classes of tautological bundles on Hilbert schemes of surfaces

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

### Fourier Mukai transforms II Orlov s criterion

Fourier Mukai transforms II Orlov s criterion Gregor Bruns 07.01.2015 1 Orlov s criterion In this note we re going to rely heavily on the projection formula, discussed earlier in Rostislav s talk) and

### SINGULARITIES OF LOW DEGREE COMPLETE INTERSECTIONS

METHODS AND APPLICATIONS OF ANALYSIS. c 2017 International Press Vol. 24, No. 1, pp. 099 104, March 2017 007 SINGULARITIES OF LOW DEGREE COMPLETE INTERSECTIONS SÁNDOR J. KOVÁCS Dedicated to Henry Laufer

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

2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:

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

### Math 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim

SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).

### On the Cohomology of Algebraic Varieties

Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010 On the Cohomology of Algebraic Varieties Claire Voisin Abstract An algebraic variety is an object which can be defined

### CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP

CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP TOSHIHIRO SHODA Abstract. In this paper, we study a compact minimal surface in a 4-dimensional flat

### Smooth morphisms. Peter Bruin 21 February 2007

Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,

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

### ON THE INTEGRAL HODGE CONJECTURE FOR REAL THREEFOLDS. 1. Motivation

ON THE INTEGRAL HODGE CONJECTURE FOR REAL THREEFOLDS OLIVIER WITTENBERG This is joint work with Olivier Benoist. 1.1. Work of Kollár. 1. Motivation Theorem 1.1 (Kollár). If X is a smooth projective (geometrically)

### ON MAXIMAL ALBANESE DIMENSIONAL VARIETIES. Contents 1. Introduction 1 2. Preliminaries 1 3. Main results 3 References 6

ON MAXIMAL ALBANESE DIMENSIONAL VARIETIES OSAMU FUJINO Abstract. We prove that any smooth projective variety with maximal Albanese dimension has a good minimal model. Contents 1. Introduction 1 2. Preliminaries

### AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES

AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.

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

### Lecture VI: Projective varieties

Lecture VI: Projective varieties Jonathan Evans 28th October 2010 Jonathan Evans () Lecture VI: Projective varieties 28th October 2010 1 / 24 I will begin by proving the adjunction formula which we still

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

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

### MATH 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)