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

Size: px
Start display at page:

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

Transcription

1 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 projective space CP N by P N, and we denote the projective coordinates by [ z] = [z 0,..., z N ]. A smooth projective variety is a connected compact complex submanifold of some projective space P N. All the smooth projective varieties are Kähler manifolds, but the converse is not true. An algebraic surface is a smooth projective variety of complex dimension 2. A celebrated theorem of Chow [2, Chap., Sec. 3] states that if X P N is a smooth projective variety, then there exist homogeneous polynomials P,..., P ν C[z 0,..., z N ] such that X = { [ z] P N ; P ( z) = = P ν ( z) = 0 }. In other words, all projective varieties are described by a finite collection of homogeneous polynomial equations. If X is a smooth projective variety of (complex) dimension n then the tanget bundle T X has a complex structure and thus we can speak of Chern classes c k (X) := c k (T X), k =,..., n. We also have an isomorphism of holomorphic vector bundles Λ m T X C = Λ p,q T X. (.) p+q=m If (u,..., u n ) are local holomorphic coordinates on X then the smooth sections of Λ p,q T X are locally described by sums of forms of the type f(u)du i du ip dū j dū jq. For every smooth differential form α of degree m with complex coefficients we denote by α p,q its Λ p,q -component in the Hodge decomposition (.). The holomorphic line bundle Λ n,0 T X is called the canonical line bundle of X and it is denoted by K X. Let us point out that c (X) = c (K X ). From the above equality we deduce that The algebraic variety X is spinnable if and only if c (K X ) = 0 mod 2. (.2) We denote by H m (X) the space of complex differential forms of degree m on X that are harmonic with respect to the Kähler metric, and for any closed form α we denote by [α] its harmonic part in the Hodge decomposition. Then Hodge theory implies that dim C H m (X) = b m (X), Last modified on March 3, 2009.

2 2 LIVIU I. NICOLAESCU and [α] p,q = [α p,q ], α Ω m (X) C, dα = 0, p + q = m. We denote by H p,q (X) the space of harmonic forms of type (p, q), and we set h p,q (X) := dim C H p,q (X). H m (X) = H p,q (X) and b m (X) = h p,q (X). (.3) p+q=m Moreover, Hodge theory also implies that p+q=m h p,q (X) = h q,p (X) = h n p,n q (X), p, q. (.4) If we denote by Ω p X the sheaf of holomorphic sections of the holomorphic bundle Λp,0 T X then Dolbeault theorem implies that the space H p,q (X) is naturally isomorphic to the q-th Čech cohomology of the sheaf Ω p X, H p,q (X) = H q (X, Ω p X ). Observe that Ω n X coincides with the sheaf of holomorphic sections of the canonical line bundle so that the Hodge number h n,0 (X) is equal to the dimension of the space of global holomorphic sections of K X. This integer is known as the geometric genus of X and it is denoted by p g (X). We define the Euler characteristics χ p (X) == ( ) q h p,q (X). q When X is an algebraic surface, then the Hodge numbers can be organized in a Hodge diamond h 0,0 (X) h,0 (X) h 0, (X) h 2,0 (X) h, (X) h 0,2 (X) h,2 (X) h 2, (X) h 2,2 (X) where the entries symmetric with respect to one of the two axes are equal. From this symmetry we deduce that b (X) = 2h,0 (X) so that the first Betti number of an algebraic surface must be even. Note that in this case χ 0 (X) = h 0, (X) + p g (X) = 2 b (X) + p g (X). This holomorphic Euler characteristic is given by the Noether formula χ 0 (X) = 2( c (X) 2, [X] + c 2 (X), [X] ) = 2 c (X) 2, [X] + χ(x), (.5) 2 where χ(m) is the topological Euler characteristic. The Hodge decomposition (.3) is compatible with the intersection form. This is the content of the Hodge index theorem. For simplicity, we state it only for algebraic surfaces. Theorem. (Hodge index theorem). If X is an algebraic surface, then it is a smooth oriented real 4-manifold. The second Betti number decomposes as b 2 (X) = b + 2 (X) + b 2 (X), where b± 2 (X) is the number of positive/negative eigenvalues of the intersection form of X. Then b + 2 (X) = h2,0 (X) + h 0,2 (X) + = 2p g (X) +, (.6)

3 and the signature τ(x) of X is A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY 3 τ(x) = b + 2 (X) b 2 (X) = 2p g(x) + 2 h, (X). One consequence of The Hodge index theorem implies that p g (X) and h, (X) are topological invariants of X. From the identity p (X) = c (X) 2 2c 2 (X) and the Hirzebruch signature formula we deduce so that τ(x) = 3 c (X) 2 2c 2 (X), [X], c (X) 2, [X] = 2χ(X) + 3τ(X). Using a bit of Morse theory one can produce some information about the homotopy type of a smooth algebraic variety. The following is a special case of Lefschetz hyperplane theorem. Theorem.2. If X is a compact, complex 2-dimensional submanifold of P 3 or P P 2 then X is connected and simply connected. 2. DIVISORS A hypersurface on a smooth projective variety X is a closed set Y locally described as the zero set of a (nontrivial) holomorphic function. A point p Y is called a smooth point if there exists an open neighborhood U of p in X such that U Y is a smooth submanifold of U. We denote by Y the set of smooth points. Then Y is an open and dense subset of Y. The hypersurface Y is called irreducible if Y is connected. For a general hypersurface Y we define its components to be the closures of the connected components of Y. The hypersurfaces on an algebraic surface are called curves. We denote by Div(X) the free Abelian group generated by the irreducible hypersurfaces in X. The elements in X are called divisors on X. Clearly, every irreducible hypersurface defines a divisor that we denote by [Y ]. Then any divisor D on X can be written as a formal sum ν D = m i [Y i ], i= where Y i are irreducible hypersurfaces on X called the components of D. The integer m i is called the multiplicity of D along Y i. The hypersurface Y Y ν is called the support of D and it is denoted by supp(d). A divisor D on X is called effective if the multiplicities along its components are all nonnegative. We will find convenient use Cartier s descriptions of divisors. Suppose we are given an open cover U = (U α ) α A, nontrivial holomorphic functions p α, q α O(U α ), and nowhere vanishing holomorphic functions g αβ O(U αβ ) such that, if we set then h α = p α q α g αβ = h α h β on U αβ \ {f β = 0}. (2.)

4 4 LIVIU I. NICOLAESCU This defines a divisor D = D(U, {p α, q α }) whose support is the hypersurface Z = Z 0 Z, Z 0 = α {p α = 0}, Z = α {q α = 0}. If Z 0,i is a component of Z 0. Then we define m 0,i as follows. Choose x Z0,i, U α containing x and then define m 0,i to be the order of vanishing p α along Z0,i U α. The equality (2.) guarantees that the integer is independent of the various choices. We define the integer m j, similarly and then we set D(U, {p α, q α }) = m 0,i [Z 0,i ] m,j [Z,j ] i j This divisor is called the Cartier divisor defined by the open cover U and the meromorphic functions h α on U α. Proposition 2.. On a smooth algebraic variety any divisor can be described as a Cartier divisor. To any Cartier divisor D defined by an open cover U and meromorphic function h α satisfying (2.) we can associate a holomorphic line bundle L D defined by the open cover and gluing cocycle g αβ = hα h β. The functions h α can be interpreted as defining a meromorphic section of L D. Proposition 2.2. On a smooth algebraic variety the above coprrespondence { } { } Cartier divisors pairs (holomorphic line bundle, meromorphic section) is a bijection. Because of the above proposition, the words divisors and holomorphic line bundles are used interchangeably in algebraic geometry. In particular, the canonical line bundle is often called the canonical divisor. A principal (Cartier) divisor is a divisor D such that the associated line bundle is holomorphically trivializable. We denote by PDiv(X) the subgroup of principal divisors. The quotient Div(X)/ PDiv(X) can be identified with the space of holomorphic isomorphism classes of holomorphic line bundles on X. This group is also known as the Picard group of X and it is denoted by Pic(X). Any hypersurface Y on a complex n-dimensional algebraic variety is defines a homology class [Y ] H 2n 2 (X, Z). This extends by linearity to a morphism of groups Div(X) D [D] H 2n 2 (X, Z). For every divisor D Div(X) we let [D] H 2 (X, Z) denote the Poincaré dual of the homology class [D]. Let us observe that the Gauss-Bonnet Chern theorem implies that [D] = c (L D ), D Div(X). Proposition 2.3. The Poincaré dual of the homology class defined by a divisor is a cohomology class of degree 2 and Hodge type (, ). If X is an algebraic surface then any divisor on X defines a (non-torsion) 2-dimensional homology class. The intersection pairing defines an intersection pairing on Div(X). H 2 (X, Z)/Tors H 2 (X, Z)/T ors Z

5 A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY 5 Suppose C X is a smooth, connected algebraic curve in an algebraic surface X. Then as a topological space C is homeomorphic to a Riemann surface. We denote by g(c) its genus. The normal bundle of C X is a holomorphic line bundle and we have the following topological isomorphism complex vector bundles T X C = T C TC X. Dualizing we deduce T XC = T C TCX Taking the second exterior power in the above equality, and observing that T C = K C we deduce the adjunction formula K X C = KC TCX. (2.2) Hence c (K X ) = c (K C ) + c (TCX) = c (K X ) c (T C X). Integrating over C we deduce c (K X ), [C] = c (K C ), [C] c (T C X), [C] = 2g(C) 2 [C] [C]. We obtain in this fashion the genus formula g(c) = + ( ) [C] [C] + c (K X ), [C] = [C] ( [C] + [K X ] ). 3. EXAMPLES Before we discuss in detail several examples of algebraic surfaces we need to discuss an important construction in algebraic geometry. Example 3. (The blowup construction). We start with the simples case, the blowup of the affine plane C 2 at the origin. Consider the incidence variety I = { (l, p) P C 2 ; the point p belongs to the complex line l C 2 }. The variety I is a complex manifold of dimension 2. The fiber of the natural projection π : I P over the line l P consists of the collection of points in l. Thus, the projection π : I P is none other than the tautological line bundle over P. We denote by E the submanifold P {0} E. Observe that E is exactly the zero section of the tautological line bundle. On the other hand, we have another natural projection This map restrict to a biholomorphic map σ : I C 2 C 2, (l, p) p. σ : I \ E C 2 \ {0}. The manifold I is called the blowup of C 2 at the origin. Equivalently, we say that I is obtained via the σ-process at 0 C 2. For any open set U C 2 we set I(U) = σ (U) U. The map σ defines a surjection I(U) U. Moreover, if U does not contain the origin, then σ : I(U) U is a biholomorphism. Suppose X P N is an algebraic surface and p 0 X. We want to give two descriptions of the blowup of X at p 0. The first construction uses the intuition from the special case discussed above. We choose local holomorphic coordinates (z 0, z ) on a neighborhood U of p 0 so that U can be identified with a neighborhood of 0 in C 2. Set U := U \ {p 0 }. Then the blowup of X at p 0 is obtained by removing the point p 0, and then attaching the manifold I(U) to X \{p 0 } using the biholomorphism σ : I(U ) U. We denote by X p0 the complex surface

6 6 LIVIU I. NICOLAESCU obtained in this fashion. Its biholomorphism type could depend on U but its diffeomorphism type is independent of U. Note that we have a natural holomorphic map σ : X p0 X. Its fiber over p 0 is the zero section E I. It is a smooth curve in X p0 called the exceptional divisor. It is a rational curve, i.e., it is biholomorphic to the projective line P, and in fact, it can be identified with the projectivization of the complex tangent plane T p0 X. The points in E can thus be identified with the one-dimensional complex subspaces of T p0 X. The self-intersection number of E coincides with the Euler number the tautological line bundle so that [E] [E] =. To see that it is X p0 is algebraic we need to give a more algebraic description of the blowup construction. We follow the approach in [, IV.2]. Recall that X is embedded in a projective space P N. Assume the point p 0 has homogeneous coordinates [0, 0,..., ]. We obtain a map X := X \ {p 0 } The graph of ϕ is a submanifold ϕ P N, X p [z 0 (p),..., z N (p)] P N. Γ ϕ X P N X P N. Then the blowup X p0 of X at p 0 can be identified with the closure of Γ ϕ in P N. The blowdown map σ : X p0 X is induced by the natural projection X P n X. Suppose that C is a curve on X then the total transform of C is the curve σ (C) on X. The proper transform of C is the closure in X p0 of σ (C \ {p 0 }). We denote it by σ (C). If p 0 happens to be a smooth point of C then σ (C) = σ (C \ {p 0 }) [ p 0 ], where [ p 0 ] denotes the point in E corresponding to the one dimensional complex subspace T p0 C T p0 X. In this case σ (C) = E σ (C). The point p 0 is a smooth point on both σ (C) and E, and the components E and σ (C) intersect transversally at p 0. More generally, the operation of proper and strict transforms extend by linearity to maps σ, σ : Div(X) Div( X) The proper transform sends principal divisors to principal divisors and thus induces a morphism of groups σ : Pic(X) Pic( X). This morphism coincides with the pullback operation on holomorphic line bundles. If C 0, C are two curves on X such that p 0 is a smooth point on both, then In particular, [σ (C 0 )] [σ(c )] = [C 0 ] [C ]. For any complex curve C X we have the equality [σ (C 0 )] 2 = [C 0 ] 2. (3.) σ ([C] ) = [σ (C)].

7 A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY 7 The canonical line bundle of the blowup X is related to the canonical line bundle of X via the equality K bx = σ (K X ) L E. If we think of line bundles as divisors, the last equality can be rewritten as K bx = σ (K X ) + E Pic( X). There is a very simple way of recognizing when an algebraic surface is the blowup of another. More precisely, we have the following remarkable result, [2, Chap 4., Sec ]. Theorem 3.2 (Castelnuovo-Enriques). Suppose Y is an algebraic surface containing an exceptional curve, i.e., a rational curve C with self-intersection [C] 2 =. Then there exists an algebraic surface, a point p 0 X and a biholomorphic map φ : Y X p0 such that φ(c) is the exceptional divisor of the blowdown map σ : Xp0 called the blow down of Y along the exceptional curve C. X. The manifold X is In simpler terms, the Castelnuovo-Enriques theorem states that exceptional curves can be blown down. Definition 3.3. (a) Two algebraic surfaces are said to be birationally equivalent if we can obtain one from the other by a sequence of blowups and blowdowns. A surface is called rational if it is birationally equivalent to the projective plane P 2. (b) A geometric invariant of an algebraic surface is called a birational invariant if it does not change under blowups. Thus, birationally equivalent surfaces have identical birational invariants. Example 3.4. The Hodge numbers h,0 and h 2,0 are birational invariants of an algebraic surface. More generally, if X is an algebraic surface, then we define P n (X) to be the dimension of the space of holomorphic sections of the line bundle K n X. The numbers P n(x) are called the plurigenera of X. All of them are birational invariants of X. Example 3.5 (The projective plane). Consider the projective plane X = P 2, the point p 0 = [, 0, 0], and the line at infinity H given by the equation z 0 = 0. The homology group H 2 (P 2, Z) is generated by the homology class determined by H, and H 2 =. The line bundle determined by the divisor H is the tautological line bundle U P 2. Using Proposition 2.3 we deduce. h, (P 2 ) = = b 2 (X) so thatp g (P 2 ) = h 2,0 (P 2 ) = 0. The canonical line bundle K P 2 coincides with the line bundle associated to the divisor 3H, K X = 3H K X = U 3. In particular, this shows that P 2 is not spinnable. The Hodge diamond of P 2 is 0 0

8 8 LIVIU I. NICOLAESCU Any projective line l through p 0 is uniquely determined by its intersection with H. For any p H we denote by l p the line going through p 0 and p. The blowup of P 2 at p 0 contains two distinguished 0 L p - E L q p q H FIGURE. Blowing up the projective plane. rational curves: the exceptional divisor E and the proper transform of H which we continue to denote by H. We denote by L p the proper transform of l p. Then (see Figure ) E 2 =, H 2 =, L 2 p = 0, p H. We obtain a holomorphic map P 2 H whose fiber above p H is the rational curve L p ; see Figure. This is an example of ruled surface. Example 3.6 (Quadrics). Consider the ruled surface Q = P P. If we consider the Segre embedding S : P P P 3, ([s 0, s ], [t 0, t ]) [z 0, z, z 2, z 3 ] = [s 0 t 0, s 0 t, s t 0, s t ] we observe that the image S(P P ) coincides with the quadratic hypersurface { [z0, z, z 2, z 3 ] P 2 ; z 0 z 3 z z 2 = 0 }. In fact, any smooth quadratic hypersurface in P 3 is biholomorphic to Q The surface Q is swept by two family of projective lines X(t) = P {t} P P, Y (s) = {s} P P P, forming the pattern in Figure 2. The curves in the family X(t) define the same homology class x H 2 (X, Z), while the curves in the family Y (s) define the same homology class y H 2 (X, Z). The classes x and y form an integral basis of the homology group H 2 (Q, Z). The intersection form is determined by the relations (see Figure 2) x x = y y = 0, x y =. From Proposition 2.3 we deduce that 2 = b 2 (X) h, (X) 2.

9 A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY 9 p 0 x x y y FIGURE 2. The intersection pattern of the x and y classes on a ruled surface. Hence This shows that h, = 2 and p g = 0 so that the Hodge diamond of Q is If let l, r : P P P denote the natural projections l(s, t) = s, r(s, t) = r then we deduce that the canonical line bundle of Q satisfies K Q = l K P r K P, c (K Q ) = l c (K P ) + r c (K P ) = 2(x + y ). From (.2) we deduce that Q is spinnable. Consider again the projective plane P 2 and two points p 0, p P 3. Fix a projective line L P 2 that does not contain p 0 and p. For any s L we denote by l x (s) the projective line [p 0 s] and by l y (s) the projective line [p s]. If q denotes the intersection of the line L 0 = [p 0 p ] with L we deduce that L 0 = l x (q) = l y (q). Note that for any p P 2 \ {p 0, p } there exists a unique pair (s, t) = (s(p), t(p)) L L such that p is the intersection of the line l x (t) with the line l y (s). We obtain in this fashion a (rational) map π : P 2 \ {p 0, p } L L, p ( s(p), t(p) ). p 0 L0 l x(t) p p l (s) y q s t L FIGURE 3. Blowing up the projective plane.

10 0 LIVIU I. NICOLAESCU Let X be the blowup P 2 at the points points p 0, p. We denote by l x(s) the strict transform of l x (s), by l y(s) the strict transform of of l y (s), and by L 0 the strict transform of the line L 0 = [p 0 p ]. Then [l x(s)] 2 = [l y(s)] 2 = [l x (s)] 2 = 0, [L 0] 2 = [L 0 ] 2 2 =. his shows that L 0 is an exceptional curve. After the blowups the points p 0 and p are replaced by exceptional divisors E 0, E. Observe that the points in E 0 can be identified with the lines l x so that we have ( a natural biholomorphic map π 0 : E 0 L such that the point q 0 E corresponds to the line l x π0 (q 0 ) ) we define in a similar way a biholomorphic map π : E L We can now define as follows. π : X L L On the region X \ (E 0 E ) = P 2 \ {p 0, p } we set π = π. If q 0 E 0 then we set π(q 0 ) = (π 0 (x), q), q = L L 0 If q E then we set π(q ) = (q, π (q )). L 0 The resulting map π : P 2 p 0,p L L is holomorphic, the fiber over (q, q) is the exceptional curve, and the induced map P2 p 0,p \ L 0 (L L) \ {(q, q)} is a biholomorphism. This proves that the ruled surface L L is obtained by blowing down the exceptional curve L 0. Thus the quadric Q can be obtained from the projective plane P2 by performing two blowups followed by a blowdown. Thus any quadric is a rational surface. Example 3.7 (Hirzebruch surfaces). For every n 0 we consider holomorphic line bundle L n P of degree n, i.e., c (P ), [P ] = n. We form the rank 2 complex vector bundle E n = C L n, and denote by F n its projectivization. π In other words, the bundle F n P is obtained by projectivizing the fibers of E n, so that the fiber F n (p) of F n over p P is the projectivization of the vector space C L n (p), where L n (p) is the fiber of L n over p. Equivalently, F n (p) can be viewed as the one point compactification of the line L n (p). The zero section of L n determines a section of F n that associates to each p P the the line C 0 C L n (p). This determines a rational curve S 0 in F n with selfintersection number [S 0 ] 2 = n because the self intersection number of the zero section of L n equals the degree of this line bundle. We denote by x 0 the homology class determined by this curve and f the homology class determined by a fiber of F n. They satisfy the intersection equalities x 2 0 = n, f 2 = 0, x 0 f =.

11 A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY Using these equalities and the Leray-Hirsch theorem we deduce that x 0 and f span H 2 (F n, Z). The Hodge diamond of F n is The section at is the section of the bundle F n P that associates to each p P b the line L n (p) C L n (p). It defines a rational curve S which determines a homology class x. We can write x = ax 0 + bf, a, b Z. Using the equalities we deduce x x 0 = 0, x f = x = x 0 nf, x 2 = n. Denote by y H 2 (F n, Z) the homology class whose Poincaré dual is c (K Fn ). Again we can write y = ax 0 + bf, a, b Z. Using the genus formula we deduce 0 = g(zero section) = + 2 x 0 (x 0 + y) = + (n + na + b), 2 Hence a = 2, b = n 2 so that 0 = g(fiber) = + 2 f (f + y) = + 2 a. y = 2x 0 + (n 2)f, c (K Fn ) = 2x 0 + (n 2)f. (3.2) This shows that F n is spinnable if n is even and non-spinnable if n is odd. Let us point out that F is biholomorphic to the blowup of P 2 at a point, while F 0 can be identified with the ruled surface P P. Using the genus formula coupled with (3.2) one can prove that if m, n > and m n, then the Hirzebruch surface F n does not contain a smooth complex rational curve with self-intersection number m. This shows that F n and F m are not biholomorphic if n m. On the other hand F n is diffeomorphic to F m if n m mod 2. Moreover, any Hirzebruch surface is rational. Example 3.8 (Hypersurfaces in P 3 ). The zero locus X d of of generic degree d homogeneous polynomial P d C[z 0, z, z 2, z 3 ] is a smooth hypersurface in P 3. By Lefschetz theorem we deduce that X d is simply connected. Using a higher dimensional version of the adjunction formula (2.2) coupled with Noether s formula and basic properties of the Chern classes we deduce that the Hodge diamond of X d is (see [3]) ( d ) 3 h(d) ( d ) 3, where ( ) d = 3 (d )(d 2)(d 3), h(d) = d(d 2 4d + 6) ( d 3 ).

12 2 LIVIU I. NICOLAESCU The surface X d is spinnable if and only if d is even. The signature of the intersection form is negative, τ(x d ) = d(d 2)(d + 2). 3 The hypersufaces of degree d 5 are said to have general type. Using M. Freedman s classification of simply connected topological 4-manifolds we deduce that the above data completely determine the homeomorphism type of X d. In fact, they are all diffeomorphic. Example 3.9 (K3 surfaces). These are simply connected surfaces X such that the canonical line bundle K X is holomorphically trivial. For example smooth degree 4 hypersurface in P 3 is a K3- surface. In this case p g (X) = because the space of holomorphic sections of K X is one dimensional. Since b (X) = 0 we deduce that h 0, (X) = 0. Noether s formula then implies that Hence + p g (X) = χ 0 (X) = 2 χ(x). 24 = 2 + b 2 (X) = 22 = b 2 (X) = 2p g + h, (X) = h, (X) = 20. Hence, the Hodge diamond of a K3-surface is 20 Since c (K X ) = 0 we deduce that a K3 surface is spinnable. This implies that all K3-surfaces are homeomorphic. It is much harder to prove that in fact they are all diffeomorphic. Example 3.0 (Elliptic surfaces). An algebraic surface X is called elliptic if there exists a holomorphic map π : X P such that the generic fiber of π is a smooth algebraic curve of genus. The theory of elliptic surfaces is very rich so we limit ourselves to a special class of elliptic surfaces. Fix two degree 3 homogeneous polynomials A 0, A C[z 0, z, z 2 ] and consider the hypersurface E(n) P P 2 described by the equation ([t 0, t ], [z 0, z, z 2 ]) P P 2, t n 0 A 0 (z 0, z, z 2 ) = t n A (z 0, z, z 2 ) = 0. For generic choices of A 0 and A this is a smooth hypersurface in P P 2. We set A t0,t = t n 0 A 0 (z 0, z, z 2 ) = t n A (z 0, z, z 2 ) The natural projection P P 2 P induces a holomorphic map π : E(n) P whose fiber over [t 0, t ] is the elliptic curve {A t0,t (z 0, z, z 2 ) = 0} P 2.

13 The Hodge diamond of this surface is A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY 3 (n ) 0n (n ) The biholomorphism type of E(n) depends on the choice of polynomials A 0 and A. The Euler characteristic of E(n) is 2n, and E(n) is spinnable if and only if n is even. The elliptic surface E(2) is a K3 surface, but not all K3-surfaces are elliptic. Not all the fibers of the map π : E(n) P are smooth. For generic A 0 and A there are 2n singular fibers. 4. THE KODAIRA CLASSIFICATION The Kodaira classification has as starting point the plurigenera of P n (X) of an algebraic surface. The sequence ( P n (X) ) displays one of the following types of behavior. n ( ) The sequence of plurigenera is identically zero, P n (X) = 0, n. In this case we say that the Kodaira dimension of X is and we write this kod(x) =. (0) The sequence of plurigenera is bounded, but not identically zero. In this case, we say that the Kodaira dimension of X is 0, kod(x) = 0. () The sequence of plurigenera grows linearly, i.e., there exists a constant C > 0 such that C n P n(x) Cn, n. In this case, we say that the Kodaira dimension of X is, kod(x) =. (2) The sequence of plurigenera grows quadratically, i.e., there exists a constant C > 0 such that C n2 P n (X) Cn 2, n. In this case, we say that the Kodaira dimension of X is 2, kod(x) = 2. Example 4.. The rational surfaces have Kodaira dimension, the K3 surfaces have Kodaira dimension 0 the elliptic surfaces E(n), n 3, have Kodaira dimension and the hypersurfaces X d, d 5 have Kodaira dimension 2. REFERENCES [] D. Eisenbud, J. Harris: The Geometry of Schemes, Grad. Texts in Math., vol. 97, Springer Verlag, [2] P. Griffiths, J. Harris: Principles of Algebraic Geometry, John Wiley, 978. [3] L.I. Nicolaescu: Hodge numbers of projective hypersurfaces, Notre Dame, DEPARTMENT OF MATHEMATICS, UNIVERSITY OF NOTRE DAME, NOTRE DAME, IN address: URL: lnicolae/

HODGE NUMBERS OF COMPLETE INTERSECTIONS

HODGE NUMBERS OF COMPLETE INTERSECTIONS HODGE NUMBERS OF COMPLETE INTERSECTIONS LIVIU I. NICOLAESCU 1. Holomorphic Euler characteristics Suppose X is a compact Kähler manifold of dimension n and E is a holomorphic vector bundle. For every p

More information

Holomorphic line bundles

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

More information

Oral exam practice problems: Algebraic Geometry

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

More information

Chern numbers and Hilbert Modular Varieties

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

More information

arxiv: v1 [math.ag] 13 Mar 2019

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

More information

Math 797W Homework 4

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

More information

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

CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents 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

More information

Special cubic fourfolds

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

More information

Algebraic v.s. Analytic Point of View

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,

More information

FAKE PROJECTIVE SPACES AND FAKE TORI

FAKE PROJECTIVE SPACES AND FAKE TORI FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact Kähler manifold X which is homeomorphic to P n is isomorphic to P n.

More information

NOTES ON DIVISORS AND RIEMANN-ROCH

NOTES ON DIVISORS AND RIEMANN-ROCH NOTES ON DIVISORS AND RIEMANN-ROCH NILAY KUMAR Recall that due to the maximum principle, there are no nonconstant holomorphic functions on a compact complex manifold. The next best objects to study, as

More information

COMPLEX ALGEBRAIC SURFACES CLASS 9

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

More information

Useful theorems in complex geometry

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.

More information

Some brief notes on the Kodaira Vanishing Theorem

Some brief notes on the Kodaira Vanishing Theorem Some brief notes on the Kodaira Vanishing Theorem 1 Divisors and Line Bundles, according to Scott Nollet This is a huge topic, because there is a difference between looking at an abstract variety and local

More information

ALGEBRAIC GEOMETRY I, FALL 2016.

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

More information

The topology of symplectic four-manifolds

The topology of symplectic four-manifolds The topology of symplectic four-manifolds Michael Usher January 12, 2007 Definition A symplectic manifold is a pair (M, ω) where 1 M is a smooth manifold of some even dimension 2n. 2 ω Ω 2 (M) is a two-form

More information

APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY

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

More information

Diagonal Subschemes and Vector 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

More information

Classification of Complex Algebraic Surfaces

Classification of Complex Algebraic Surfaces ALGANT Master Thesis in Mathematics Classification of Complex Algebraic Surfaces Alberto Corato Advised by Prof. Dajano Tossici Università degli Studi di Padova Université de Bordeaux Academic year 2017/2018

More information

Kähler manifolds and variations of Hodge structures

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

More information

Porteous s Formula for Maps between Coherent Sheaves

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

More information

Multiplicity of singularities is not a bi-lipschitz invariant

Multiplicity of singularities is not a bi-lipschitz invariant Multiplicity of singularities is not a bi-lipschitz invariant Misha Verbitsky Joint work with L. Birbrair, A. Fernandes, J. E. Sampaio Geometry and Dynamics Seminar Tel-Aviv University, 12.12.2018 1 Zariski

More information

Introduction to algebraic surfaces Lecture Notes for the course at the University of Mainz

Introduction to algebraic surfaces Lecture Notes for the course at the University of Mainz Introduction to algebraic surfaces Lecture Notes for the course at the University of Mainz Wintersemester 2009/2010 Arvid Perego (preliminary draft) October 30, 2009 2 Contents Introduction 5 1 Background

More information

a double cover branched along the smooth quadratic line complex

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

More information

Intersection Theory course notes

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

More information

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

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

More information

The Canonical Sheaf. Stefano Filipazzi. September 14, 2015

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

More information

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

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

More information

Notes for Curves and Surfaces Instructor: Robert Freidman

Notes for Curves and Surfaces Instructor: Robert Freidman Notes for Curves and Surfaces Instructor: Robert Freidman Henry Liu April 25, 2017 Abstract These are my live-texed notes for the Spring 2017 offering of MATH GR8293 Algebraic Curves & Surfaces. Let me

More information

Lecture 8: More characteristic classes and the Thom isomorphism

Lecture 8: More characteristic classes and the Thom isomorphism Lecture 8: More characteristic classes and the Thom isomorphism We begin this lecture by carrying out a few of the exercises in Lecture 1. We take advantage of the fact that the Chern classes are stable

More information

INTERSECTION THEORY CLASS 6

INTERSECTION 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. Pseudo-divisors 3 2. Intersecting with divisors 4 2.1.

More information

RESEARCH STATEMENT FEI XU

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

More information

arxiv: v1 [math.ag] 28 Sep 2016

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

More information

Lecture VI: Projective varieties

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

More information

Classifying complex surfaces and symplectic 4-manifolds

Classifying complex surfaces and symplectic 4-manifolds Classifying complex surfaces and symplectic 4-manifolds UT Austin, September 18, 2012 First Cut Seminar Basics Symplectic 4-manifolds Definition A symplectic 4-manifold (X, ω) is an oriented, smooth, 4-dimensional

More information

Topic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016

Topic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016 Topic: First Chern classes of Kähler manifolds itchell Faulk Last updated: April 23, 2016 We study the first Chern class of various Kähler manifolds. We only consider two sources of examples: Riemann surfaces

More information

COMPLEX ALGEBRAIC SURFACES CLASS 6

COMPLEX ALGEBRAIC SURFACES CLASS 6 COMPLEX ALGEBRAIC SURFACES CLASS 6 RAVI VAKIL CONTENTS 1. The intersection form 1.1. The Neron-Severi group 3 1.. Aside: The Hodge diamond of a complex projective surface 3. Riemann-Roch for surfaces 4

More information

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

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

More information

Vanishing theorems and holomorphic forms

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

More information

Algebraic Curves and Riemann Surfaces

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

More information

Divisor class groups of affine complete intersections

Divisor class groups of affine complete intersections Divisor class groups of affine complete intersections Lambrecht, 2015 Introduction Let X be a normal complex algebraic variety. Then we can look at the group of divisor classes, more precisely Weil divisor

More information

ABEL S THEOREM BEN DRIBUS

ABEL S THEOREM BEN DRIBUS ABEL S THEOREM BEN DRIBUS Abstract. Abel s Theorem is a classical result in the theory of Riemann surfaces. Important in its own right, Abel s Theorem and related ideas generalize to shed light on subjects

More information

Abelian Varieties and Complex Tori: A Tale of Correspondence

Abelian Varieties and Complex Tori: A Tale of Correspondence Abelian Varieties and Complex Tori: A Tale of Correspondence Nate Bushek March 12, 2012 Introduction: This is an expository presentation on an area of personal interest, not expertise. I will use results

More information

The Cone Theorem. Stefano Filipazzi. February 10, 2016

The Cone Theorem. Stefano Filipazzi. February 10, 2016 The Cone Theorem Stefano Filipazzi February 10, 2016 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will give an overview

More information

7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical

7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical 7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical divisor. Definition 7.1. We say that a smooth projective surface is minimal if K S is nef. Warning:

More information

1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3

1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3 Compact course notes Riemann surfaces Fall 2011 Professor: S. Lvovski transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Structures 2 2 Framework of Riemann surfaces

More information

1 Moduli spaces of polarized Hodge structures.

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

More information

Characteristic classes in the Chow ring

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

More information

Hodge Theory of Maps

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

More information

Projective Images of Kummer Surfaces

Projective Images of Kummer Surfaces Appeared in: Math. Ann. 299, 155-170 (1994) Projective Images of Kummer Surfaces Th. Bauer April 29, 1993 0. Introduction The aim of this note is to study the linear systems defined by the even resp. odd

More information

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

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

More information

BASICS OF ALGEBRAIC GEOMETRY: A QUICK REVISION

BASICS OF ALGEBRAIC GEOMETRY: A QUICK REVISION BASICS OF ALGEBRAIC GEOMETRY: A QUICK REVISION MIKHAIL ZAIDENBERG Abstract. These notes are preliminary to a lecture course on Affine Geometry. Their aim is to refresh selected standard basics on affine

More information

Exercises on characteristic classes

Exercises on characteristic classes Exercises on characteristic classes April 24, 2016 1. a) Compute the Stiefel-Whitney classes of the tangent bundle of RP n. (Use the method from class for the tangent Chern classes of complex projectives

More information

CLASSIFICATION OF COMPLEX ALGEBRAIC SURFACES. from the point of view of MORI THEORY

CLASSIFICATION OF COMPLEX ALGEBRAIC SURFACES. from the point of view of MORI THEORY CLASSIFICATION OF COMPLEX ALGEBRAIC SURFACES from the point of view of MORI THEORY By Chris Peters Mathematisch Instituut der Rijksuniversiteit Leiden and Institut Fourier Grenoble i Preface These notes

More information

The geometry of Landau-Ginzburg models

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

More information

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

More information

LECTURE 6: THE ARTIN-MUMFORD EXAMPLE

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

More information

Cohomology jump loci of quasi-projective varieties

Cohomology jump loci of quasi-projective varieties Cohomology jump loci of quasi-projective varieties Botong Wang joint work with Nero Budur University of Notre Dame June 27 2013 Motivation What topological spaces are homeomorphic (or homotopy equivalent)

More information

DISTINGUISHING EMBEDDED CURVES IN RATIONAL COMPLEX SURFACES

DISTINGUISHING EMBEDDED CURVES IN RATIONAL COMPLEX SURFACES PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 16, Number 1, January 1998, Pages 305 310 S 000-9939(98)04001-5 DISTINGUISHING EMBEDDED CURVES IN RATIONAL COMPLEX SURFACES TERRY FULLER (Communicated

More information

THE HODGE DECOMPOSITION

THE HODGE DECOMPOSITION THE HODGE DECOMPOSITION KELLER VANDEBOGERT 1. The Musical Isomorphisms and induced metrics Given a smooth Riemannian manifold (X, g), T X will denote the tangent bundle; T X the cotangent bundle. The additional

More information

A NEW FAMILY OF SYMPLECTIC FOURFOLDS

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

More information

Geometry of moduli spaces

Geometry of moduli spaces Geometry of moduli spaces 20. November 2009 1 / 45 (1) Examples: C: compact Riemann surface C = P 1 (C) = C { } (Riemann sphere) E = C / Z + Zτ (torus, elliptic curve) 2 / 45 (2) Theorem (Riemann existence

More information

Chern classes à la Grothendieck

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

More information

Remarks on the Milnor number

Remarks on the Milnor number José 1 1 Instituto de Matemáticas, Universidad Nacional Autónoma de México. Liverpool, U. K. March, 2016 In honour of Victor!! 1 The Milnor number Consider a holomorphic map-germ f : (C n+1, 0) (C, 0)

More information

Algebraic geometry versus Kähler geometry

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

More information

Summary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture)

Summary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture) Building Geometric Structures: Summary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture) A geometric structure on a manifold is a cover

More information

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

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

More information

KODAIRA EMBEDDING THEOREM

KODAIRA EMBEDDING THEOREM KODAIRA EMBEDDING THEOREM MIRKO MAURI Abstract. The aim of this report is to prove Kodaira embedding theorem: Theorem 0.1 (Kodaira Embedding Theorem). A compact Kähler manifold endowed with a positive

More information

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

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

More information

LAGRANGIAN HOMOLOGY CLASSES WITHOUT REGULAR MINIMIZERS

LAGRANGIAN HOMOLOGY CLASSES WITHOUT REGULAR MINIMIZERS LAGRANGIAN HOMOLOGY CLASSES WITHOUT REGULAR MINIMIZERS JON WOLFSON Abstract. We show that there is an integral homology class in a Kähler-Einstein surface that can be represented by a lagrangian twosphere

More information

L6: Almost complex structures

L6: Almost complex structures L6: Almost complex structures To study general symplectic manifolds, rather than Kähler manifolds, it is helpful to extract the homotopy-theoretic essence of having a complex structure. An almost complex

More information

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY

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

More information

Handlebody Decomposition of a Manifold

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

More information

The Reducibility and Dimension of Hilbert Schemes of Complex Projective Curves

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

More information

MODULI SPACES OF CURVES

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

More information

Riemann Surfaces and Algebraic Curves

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

More information

1. Algebraic vector bundles. Affine Varieties

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

More information

GAUGED LINEAR SIGMA MODEL SPACES

GAUGED LINEAR SIGMA MODEL SPACES GAUGED LINEAR SIGMA MODEL SPACES FELIPE CASTELLANO-MACIAS ADVISOR: FELIX JANDA Abstract. The gauged linear sigma model (GLSM) originated in physics but it has recently made it into mathematics as an enumerative

More information

arxiv:math/ v1 [math.ag] 18 Oct 2003

arxiv:math/ v1 [math.ag] 18 Oct 2003 Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉS-GASTESI

More information

Introduction Curves Surfaces Curves on surfaces. Curves and surfaces. Ragni Piene Centre of Mathematics for Applications, University of Oslo, Norway

Introduction Curves Surfaces Curves on surfaces. Curves and surfaces. Ragni Piene Centre of Mathematics for Applications, University of Oslo, Norway Curves and surfaces Ragni Piene Centre of Mathematics for Applications, University of Oslo, Norway What is algebraic geometry? IMA, April 13, 2007 Outline Introduction Curves Surfaces Curves on surfaces

More information

Cohomology and Vector Bundles

Cohomology and Vector Bundles Cohomology and Vector Bundles Corrin Clarkson REU 2008 September 28, 2008 Abstract Vector bundles are a generalization of the cross product of a topological space with a vector space. Characteristic classes

More information

EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES

EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES DUSTIN CARTWRIGHT Abstract. We study an obstruction to prescribing the dual complex of a strict semistable degeneration of an algebraic surface.

More information

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1) Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the

More information

9. Birational Maps and Blowing Up

9. 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 information

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

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

More information

Orientation transport

Orientation transport Orientation transport Liviu I. Nicolaescu Dept. of Mathematics University of Notre Dame Notre Dame, IN 46556-4618 nicolaescu.1@nd.edu June 2004 1 S 1 -bundles over 3-manifolds: homological properties Let

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013

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

Formality of Kähler manifolds

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

More information

4-MANIFOLDS: CLASSIFICATION AND EXAMPLES. 1. Outline

4-MANIFOLDS: CLASSIFICATION AND EXAMPLES. 1. Outline 4-MANIFOLDS: CLASSIFICATION AND EXAMPLES 1. Outline Throughout, 4-manifold will be used to mean closed, oriented, simply-connected 4-manifold. Hopefully I will remember to append smooth wherever necessary.

More information

FUNDAMENTAL GROUPS. Alex Suciu. Northeastern University. Joint work with Thomas Koberda (U. Virginia) arxiv:

FUNDAMENTAL GROUPS. Alex Suciu. Northeastern University. Joint work with Thomas Koberda (U. Virginia) arxiv: RESIDUAL FINITENESS PROPERTIES OF FUNDAMENTAL GROUPS Alex Suciu Northeastern University Joint work with Thomas Koberda (U. Virginia) arxiv:1604.02010 Number Theory and Algebraic Geometry Seminar Katholieke

More information

ON EMBEDDABLE 1-CONVEX SPACES

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

More information

MATH2810 ALGEBRAIC GEOMETRY NOTES. Contents

MATH2810 ALGEBRAIC GEOMETRY NOTES. Contents MATH2810 ALGEBRAIC GEOMETRY NOTES KIUMARS KAVEH Contents 1. Affine Algebraic Geometry 1 2. Sheaves 3 3. Projective varieties 4 4. Degree and Hilbert Functions 6 5. Bernstein-Kushnirenko theorem 7 6. Degree

More information

Mathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang

Mathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions

More information

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be

More information

Each is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0

Each is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0 Algebraic Curves/Fall 2015 Aaron Bertram 1. Introduction. What is a complex curve? (Geometry) It s a Riemann surface, that is, a compact oriented twodimensional real manifold Σ with a complex structure.

More information

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

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

More information

The Theorem of Gauß-Bonnet in Complex Analysis 1

The Theorem of Gauß-Bonnet in Complex Analysis 1 The Theorem of Gauß-Bonnet in Complex Analysis 1 Otto Forster Abstract. The theorem of Gauß-Bonnet is interpreted within the framework of Complex Analysis of one and several variables. Geodesic triangles

More information

K3 Surfaces and Lattice Theory

K3 Surfaces and Lattice Theory K3 Surfaces and Lattice Theory Ichiro Shimada Hiroshima University 2014 Aug Singapore 1 / 26 Example Consider two surfaces S + and S in C 3 defined by w 2 (G(x, y) ± 5 H(x, y)) = 1, where G(x, y) := 9

More information

OSCULATION FOR CONIC FIBRATIONS

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

More information

Structure of elliptic curves and addition laws

Structure of elliptic curves and addition laws Structure of elliptic curves and addition laws David R. Kohel Institut de Mathématiques de Luminy Barcelona 9 September 2010 Elliptic curve models We are interested in explicit projective models of elliptic

More information