Chapter 17 Computation of Some Hodge Numbers
|
|
- Arabella Walters
- 6 years ago
- Views:
Transcription
1 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, we turn to the practical matter of actually computing these for a number of examples such as projective spaces, hypersurfaces, and double covers. The GAGA theorem, Theorem , allows us to do this by working in the algebraic setting, where we may employ some of the tools developed in the earlier chapters Hodge Numbers of n Let S = k[x 0,...,x n ] and = n k sheaf of differentials. for some field k. We first need to determine the roposition There is an exact sequence 0 Ω 1 O ( 1) n+1 O 0. roof. Let Ω S = Sdx i = S n+1 be the module of Kähler differentials of S. Construct the graded S-module M = Γ (Ω 1 )=Γ (An+1 {0},π Ω 1 ), where π : A n+1 {0} is the projection. This can be realized as the submodule Ω S consisting of those forms that annhilate the tangent spaces of the fibers of π. The tangent space of the fiber over [x 0,...,x n ] is generated by the Euler vector field x i xi. Thus a 1-form f i dx i lies in M if and only if f i x i = 0. Next, we have to check the gradings. Ω S has a grading such that the dx i lie in degree 0. Under the natural grading of M = Γ (Ω 1), sections of Ω 1(U i) that are generated by ( ) x j d = x idx j x j dx i x i x 2 i 279
2 Computation of Some Hodge Numbers should have degree 0. Thus the gradings on Ω S and M are off by a shift of one. To conclude, we have an exact sequence of graded modules 0 M Ω S ( 1) m 0, (17.1.1) where m =(x 0,...,x n ) and the first map sends dx i to x i. Since m S, (17.1.1) implies the result. Dualizing yields the sequence of Example roposition Suppose we are given an exact sequence of locally free sheaves If A has rank one, then 0 A B C 0. 0 A p 1 C p B p C 0 is exact for any p 1. If C has rank one, then is exact for any p 1. 0 p A p B p 1 A C 0 roof. We prove the first statement, where rank(a )=1, by induction, leaving the second as an exercise. When p = 1 we have the original sequence. In general, the maps in the putative exact sequence need to be explained. The last map λ : p B p C is the natural one. The multiplication B p 1 B p B restricts to give µ : A p 1 B p B. We claim that µ factors through a map α : A p 1 C p B. For this we can, by induction, appeal to the exactness of Since A has rank one, 0 A p 2 C p 1 B p 1 C 0. µ A (A p 2 C ) = 0, so µ factors as claimed. Therefore all the maps in the sequence are defined. Exactness can be checked on stalks. For this the sheaves can be replaced by free modules. Let {b 0,b 1,...} be a basis for B with b 0 spanning A. Then the images b 1, b 2,... give a basis for C. Then the above maps are given by α : b 0 b i1 b ip 1 b 0 b i1 b ip 1, λ : b i1 b ip b i1 b ip, where > i 2 > i 1 > 0. The exactness is immediate.
3 17.1 Hodge Numbers of n 281 Corollary There is an exact sequence 0 Ω p O ( p) (n+1 p ) Ω p 1 0 and in particular, Ω n = O ( n 1). roof. This follows from the above proposition and roposition , together with the isomorphism p [O ( 1) n+1 ] = O ( p) (n+1 p ). This corollary can be understood from another point of view. Using the notation introduced in the proof of roposition , we can extend the map Ω S ( 1) m to an exact sequence where 0 [ n+1 Ω S ]( n 1) δ [ 2 Ω S ]( 2) δ Ω S ( 1) δ m 0, (17.1.2) δ(dx i1 dx ip )= ( 1) p x i j dx i1 ˆ dx i j dx ip is contraction with the Euler vector field. The sequence is called the Koszul complex, and it is one of the basic workhorses of homological algebra [33, Chapter 17]. The associated sequence of sheaves is 0 [ n+1 O n+1 ]( n 1) [ 2 O n+1 ]( 2) [O n+1 ]( 1) O 0. If we break this up into short exact sequences, then we obtain exactly the sequences in Corollary roposition H q (,Ω p )= { k if p = q n, 0 otherwise. roof. When p = 0, this follows from Theorem In general, the same theorem together with Corollary implies H q (Ω p ) = H q 1 (Ω p 1 ). Therefore, we get the result by induction. When k = C, this gives a new proof of the formula for Betti numbers of n given in Section 7.2. By a somewhat more involved induction we can obtain the following theorem of Raoul Bott:
4 Computation of Some Hodge Numbers Theorem (Bott). H q ( n,ω p n (r)) = 0 unless (a) p = q, r = 0, (b) q = 0,r> p, (c) or q = n, r < n + p. roof. A complete proof will be left for the exercises. We give the proof for p 1. For p = 0, this is a consequence of Theorem We now turn to p = 1. Corollary implies that H q 1 (O(r)) H q (Ω 1 (r)) H q (O(r 1)) e (17.1.3) is exact. We use constants e,e,... for exponents whose exact values are immaterial for the argument. The sequence (17.1.3), along with Theorem , forces H q (Ω 1 (r)) = 0 in the following four cases: q = 0,r < 1; q = 1,r < 0; 1 < q < n; q = n,r n + 1. The remaining cases are q = 0,r = 1 and q = 1,r > 0. The trick is to apply Corollary with other values of p. This yields exact sequences H q (O(r 2)) e H q (Ω 1 (r)) H q+1 (Ω 2 (r)) H q+1 (O(r 2)) e, H q+1 (O(r 3)) e H q+1 (Ω 2 (r)) H q+2 (Ω 3 (r)) H q+2 (O(r 3)) e,... leading to isomorphisms H 0 (Ω 1 (1)) = H 1 (Ω 2 (1)) = = H n 1 (Ω n (1)) = H n 1 (O( n)) = 0. Likewise, for r > 0, H 1 (Ω 1 (r)) = H 2 (Ω 2 (r)) = = H n (Ω n (r)) = H n (O( n 1 + r)) = 0. Exercises Finish the proof of roposition Given an exact sequence 0 A B C 0 of locally free sheaves, prove that the top exterior power detb is isomorphic to (deta ) (detc ). Use this to rederive the formula for Ω n n Finish the proof of Theorem Hodge Numbers of a Hypersurface We now let X = n k be a nonsingular hypersurface defined by a degree-d polynomial.
5 17.2 Hodge Numbers of a Hypersurface 283 roposition The restriction map is an isomorphism when p + q < n 1. H q ( n,ω p ) Hq (X,Ω p X ) We give two proofs, one now, over C, and another later for general k. roof. Let k = C. The weak Lefschetz theorem, Theorem , implies that the restriction map H i (X an,c) H i (Y an,c) is an isomorphism for i < n 1. The proposition is a consequence of this together with the the canonical Hodge decomposition (Theorem ) and GAGA (Theorem ). As a corollary, we can calculate many of the Hodge numbers of X. Corollary The Hodge numbers h pq (X) equal δ pq, where δ pq is the Kronecker symbol, when n 1 p + q < 2n 2. roof. We give a proof when k = C. For p + q < n 1, this follows from the above proposition and roposition For p + q > n 1, this follows from GAGA and Corollary We prepare for the second proof by establishing a few key lemmas. Lemma There is an exact sequence 0 Ω p ( d) Ω p Ω p X 0. (Recall that Ω p X is shorthand for i i Ω p, where i : X is the inclusion.) roof. Tensor with Ω p to get 0 O ( d) O O X 0 0 Ω p O ( d) Ω p O Ω p O X 0 = 0 Ω p ( d) Ω p = = Ω p X 0 For the last isomorphism, it is simply a matter of expanding the notation. Observe that if ι : X is the inclusion, then Ω p X = ι ι Ω p = ι (ι 1 Ω p O X) = Ω p O X. Lemma O X ( d) Ω 1 X ΩX 1 0 is exact.
6 Computation of Some Hodge Numbers roof. We have a natural epimorphism Ω 1 X ΩX 1 corresponding to restriction of 1-forms. We just have to determine the kernel. Let f be a defining polynomial of X, and let M = Γ (Ω 1) and M = Γ (ΩX 1). We embed M as a submodule of Ω S( 1) as in the proof of roposition In particular, the symbols dx i have degree 1. Then ker[m/ fm M] is a free S/( f )-module generated by df = i f dx i. x i Thus it is isomorphic to S/( f )( d). Corollary Ω p 1 X ( d) Ω p X Ω p X 0. roof. Apply roposition to the lemma. For the second proof of roposition , it is convenient to prove something stronger. roposition If p + q < n 1, then { H q (X,Ω p X ( r)) = H q ( n,ω p ) if r = 0, 0 if r > 0. roof. We prove this by induction on p. For p = 0, this follows from the long exact sequences associated to 0 O ( d r) O ( r) O X ( r) 0 and Theorem In general, by induction and Corollary we deduce H q (X,Ω p X ( r)) = Hq (Ω p ( r) X) for r 0 and p + q < n 1. Lemma and Theorem give { H q (Ω p ( r) H q ( n,ω p X )= ) if r = 0, 0 if r > 0. Exercises Using Exercise , deduce a version of the adjunction formula ΩX n 1 = O X (d n 1) with X as above Compute H q (X,Ω n 1 X ) for all q.
7 17.3 Hodge Numbers of a Hypersurface II Hodge Numbers of a Hypersurface II As in the previous section, X n is a nonsingular degree-d hypersurface. By Corollary , the Hodge numbers h pq (X) equal δ pq when n 1 p + q < 2(n 1). So the only thing left to compute are the Hodge numbers in the middle. The formulas simplify a bit by setting h pq 0 (X)=hpq (X) δ pq. These can be expressed by the Euler characteristics: Lemma h p,n 1 p 0 (X)=( 1) n 1 p χ(ω p X ) + ( 1)n. We can calculate these Hodge numbers by hand using the following recurrence formulas. roposition (a) (b) χ(ω p p ( n + 1 (i)) = ( 1) j j=0 p j )( i p + j + n ( ) ( ) i + n i + n d χ(o X (i)) =. n n (c) χ(ω p X (i)) = χ(ω p (i)) χ(ω p p 1 (i d)) χ(ωx (i d)). roof. Corollary yields the recurrence ( ) χ(ω p n + 1 (i)) = χ(o (i p)) χ(ω p 1 p (i)). Therefore (a) follows by induction on p. The base case was obtained previously in (16.2.4). Lemma and Corollary imply χ(ω p X (i)) = χ(ω p (i) X ) χ(ω p 1 X (i d)) = χ(ω p (i)) χ(ω p n ). p 1 (i d)) χ(ωx (i d)). When p = 0, the right side can be evaluated explicitly to obtain (b). Corollary The Hodge numbers of X depend only on d and n, and are given by polynomials in these variables. In principle, formulas for all the Hodge numbers can be calculated using the above recurrence formulas. For example, ( ) ( ) n d d 1 h 0,n 1 (X) = ( 1) n =, (17.3.1) n n ( ) ( ) ( )] h 1,n 2 n 1 n d 1 n 2d 0 (X) = ( 1) [(n n + 1) (n + 1) +. n n n
8 Computation of Some Hodge Numbers But this gets quite messy as p increases. So, instead, we give a closed form for the generating function below. Let h pq (d) denote the pqth Hodge number of a smooth hypersurface of degree d in p+q+1. Define the formal power series in x and y. Theorem (Hirzebruch). H(d)= (h pq (d) δ pq )x p y q pq H(d)= (1 + y)d 1 (1 + x) d 1 (1 + x) d y (1 + y) d x. Corollary Hodge symmetry h pq = h qp holds for smooth hypersurfaces in projective space over arbitrary fields. Remark Hodge symmetry can fail for arbitrary smooth projective varieties in positive characteristic [90]. Corollary If X n+1 C b n (X)=h n/2,n/2 (X)=2. roof. has degree 2, then b n (X)=0 if n is odd; otherwise, H(2)= 1 1 xy. By expanding the series H(3) for a few terms, we obtain the following corollary: Corollary If X n+1 has degree 3, the middle hodge numbers are for n 5. 1,1 0,7,0 0,5,5,0 0,1,21,1,0 0,0,21,21,0,0 Although this result can be deduced from the previous formulas in principle, Hirzebruch [63, ] obtained this from his general Riemann Roch theorem. His original formula gave a generating function for χ(ω p X ); the above form can be obtained by a change of variables, cf. [30, Example XI Corollary 2.4]. Similar formulas are available for complete intersections. We will be content to work out the case y = 0. On one side we have the generating function h n0 (d)x n. By (17.3.1), this equals ( ) d 1 x n = (1 + x)d 1 1, n + 1 x which is what one gets by substituting y = 0 into Hirzebruch s formula.
9 17.4 Double Covers 287 Exercises rove Lemma Calculate the Hodge numbers of a degree-d surface in 3 (a) using the recurrence formulas, (b) using the generating function. Compare the expressions rove that for every fixed d and p, there exists q 0 such h pq (d) =0 for q q Double Covers Our goal is to compute the Hodge numbers for another natural class of examples that generalize hyperelliptic curves. Let f (x 0,...,x n ) C[x 0,...,x n ] be a homogeneous polynomial of degree 2d such that the hypersurface D n = defined by f = 0 is nonsingular. Let π : X be the double cover branched along D (Example 3.4.9). By construction, this is gotten by gluing the affine varieties defined by y 2 i = f (x 0,...,1,...,x n ) over U i. It follows that X is nonsingular. Using these coordinates, it is also clear that the local coordinate ring O X (π 1 U i ) is a free O(U i )-module generated by 1 and y i. Globally, we have π O X = O L, where L is the line bundle locally generated by y i. The ratios y i /y j give a cocycle for L, from which it easily follows that L = O(±d). To get the correct sign, we need to observe that L is a nontrivial ideal in π O X, so it has no nonzero global sections. Therefore we obtain the following: Lemma π O X = O O ( d). It is worth observing that the summands O and O ( d) are exactly the invariant and anti-invariant parts under the action of the Galois group, which is generated by the involution σ : y i y i. A more abstract, but less ad hoc, argument involves observing that O O ( d) is a sheaf of algebras, and defining X as its relative spectrum [35]. Then the lemma becomes a tautology. We need an extension of the previous lemma to forms: Lemma (Esnault Viehweg). There are isomorphisms for every p. π Ω p X = Ω p (Ω p (logd) O( d)) roof. We sketch the proof. See [35, pp. 6 7] for further details. The Galois group acts on π Ω p X. We check that the invariant and anti-invariant parts correspond to
10 Computation of Some Hodge Numbers Ω p and Ω p (logd) O( d) respectively. It is enough to do this for the associated analytic sheaves. By the implicit function theorem, we can choose new analytic local coordinates such that X is given locally by y 2 = x 1. Then y,x 2,...,x n are coordinates on X, so that their derivatives locally span ΩX 1. It follows that a local basis for π ΩX 1 is given by ydy = 1 2 dx 1,dx 2,...,dx n, dy = y dx 1,ydx 2,...,ydx n. }{{} 2x } 1 {{} invariant anti-invariant The forms in the first group are invariant and give a local basis for Ω 1. The remainder are anti-invariant and form a local basis for Ω 1 (logd) O( d). By taking wedge products, we get a similar decomposition for p-forms. Corollary H q (X,Ω p X ) = H q (,Ω p ) Hq (,Ω p (logd) O( d)). roof. Let {U i } be the standard affine cover of n. Then Ũ i = π 1 U i gives an affine cover of X. We can compute H q (X,Ω p X ) using the Čech complex Č({Ũ i },Ω p X )=Č({U i },Ω p ) Č({U i },Ω p (logd)), which decomposes into a sum. This decomposition passes to cohomology. Corollary We have h pq (X) =δ pq + dimcoker[h q 1 (Ω p 1 D ( d)) Hq (Ω p ( d))] +dimker[h q (Ω p D ( d)) Hq+1 (Ω p ( d))] in general, and h pq (X)=δ pq if p + q < n. roof. This follows from (12.6.4) from 12.6 together with Bott s vanishing theorem, Theorem We can obtain more explicit formulas by combining this with earlier results. Exercises When n = 2, check that h 02 (X)= (d 1)(d 2) 2 and h 11 (X)=3d 2 3d Verify that h pq (X)=δ pq also holds when p + q > n.
11 17.5 Griffiths Residues* Griffiths Residues* In this section, we describe an alternative method for computing the Hodge numbers of a hypersurface due to Griffiths [48], although the point is really that the method gives more, namely a method for computing the Hodge structure (or more precisely the part one gets by ignoring the lattice). Further details and applications can be found in books of Carlson, eters, Müller-Stach [17, 3.2] and Voisin [116, Chapter 6] in addition to Griffiths paper. We work over C in this section. Suppose that X = n+1 is a smooth hypersurface defined by a polynomial f C[x 0,...x n+1 ] of degree d. Let U = X. The exact sequence (12.6.5) yields H n 1 (X) H n () H n+1 (U) H n (X) H n+2 (). The first map is an isomorphism by weak Lefschetz. Therefore H n+1 (U) maps isomorphically onto the primitive cohomology n (X)=ker[H n (X) H n+2 ()]. This is the same as H n (X) if n is odd, and has dimension one less if n is even. The Hodge filtration on F p H n+1 (U) maps onto the Hodge filtration on X with a shift F p 1 n (X). We refer to Section 12.6 for the definition of this and of the pole filtration ole p H n+1 (U). The key step is to compare these filtrations. Theorem (Griffiths). The Hodge filtration F p n (X) coincides with the shifted pole filtration ole p+1 H n+1 (U). This can, in turn, be identified with the quotient H 0 (Ω n+1 ((n p + 1)X)) dh 0 (Ω n((n p)x)). roof. For p = n, this is immediate because F n n (X)=F n+1 H n+1 (U)=H 0 (Ω n+1 (logx)) = H 0 (Ω n+1 (X)). For p = n 1, we use the exact sequence 0 Ω n,cl (logx) Ω n (X) d Ω n+1 (2X) 0, where Ω,cl (...) is the subsheaf of closed forms. Then H 0 (Ω n (X)) d H 0 (Ω n+1 (2X)) H 1 (Ω,cl n (logx)) H1 (Ω n (X)). On the right, the group H 1 (Ω (X)) is equal to H 1 (Ω n (d)) = 0 by Bott s Theorem Thus F n H n+1 (U)=H 1 (Ω,cl n (logx)) is isomorphic to the cokernel of the first map labeled by d. This proves the theorem for this case. The remaining p s can be handled by a similar argument, which is left for the exercises.
12 Computation of Some Hodge Numbers This can be made explicit using the following lemma: Lemma Let ω = ( 1) i x i dx 0 dx i dx n+1. Then { } gω H 0 (Ω n+1 (kx)) = g homogeneous of deg = kd (n + 2). f k With these identifications, elements of n (X) can be represented by homogeneous rational differential forms gω/ f k modulo exact forms. Set R = C[x 0,...,x n+1 ] ( f / x 1,..., f / x n+1 ). The ring inherits a grading R = R i from the polynomial ring. We define a map n (X) R by sending the class of gω/ f k to the class of g. Theorem (Griffiths). Under this map, the intersection of H n p (X,Ω p X ) with n (X) maps isomorphically to R τ(p), where τ(p)=(n p + 1)d (n + 2). This leads to an alternative method for computing the Hodge numbers of a degree-d hypersurface. Corollary h pq (d) δ pq is the coefficient of t τ(p) in (1 + t + + t d 2 ) n+2. roof. We can assume that f = x d 0 +xd 1 + +xd n+1 is the Fermat equation. It suffices to prove that the oincaré series of R, which is the generating function p(t) = dimr i t i, is given by Note that R = C[x 0,...,x n+1 ] (x d 1 0,x d 1 1,...) p(t) = (1 + t + + t d 2 ) n+2. = C[x] (x d 1 ) C[x] (x d 1 (n + 2 times). ) Since oincaré series for graded rings are multiplicative for tensor products, p(t) is the (n + 2) power of the oincaré series of C[x]/(x d 1 ), and this is given by the above formula.
13 17.5 Griffiths Residues* 291 Exercises Using exact sequences and identifications 0 Ω,cl n i n i n i+1 (( j 1)X) Ω (( j 1)X) Ω ( jx) 0 F p H n+1 (U) = H n+1 p (Ω p,cl (logx)) = H n+1 p (Ω p,cl (X)), finish the proof of Theorem
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 informationRIEMANN S INEQUALITY AND RIEMANN-ROCH
RIEMANN S INEQUALITY AND RIEMANN-ROCH DONU ARAPURA Fix a compact connected Riemann surface X of genus g. Riemann s inequality gives a sufficient condition to construct meromorphic functions with prescribed
More informationSpecial 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 informationarxiv: 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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about
More informationCHAPTER 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 informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationThe 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 informationKä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 informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationINTERSECTION THEORY CLASS 19
INTERSECTION THEORY CLASS 19 RAVI VAKIL CONTENTS 1. Recap of Last day 1 1.1. New facts 2 2. Statement of the theorem 3 2.1. GRR for a special case of closed immersions f : X Y = P(N 1) 4 2.2. GRR for closed
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Motivation and game plan 1 2. The affine case: three definitions 2 Welcome back to the third quarter! The theme for this quarter, insofar
More informationNOTES 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 informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationMIXED HODGE MODULES PAVEL SAFRONOV
MIED HODGE MODULES PAVEL SAFRONOV 1. Mixed Hodge theory 1.1. Pure Hodge structures. Let be a smooth projective complex variety and Ω the complex of sheaves of holomorphic differential forms with the de
More informationAlgebraic 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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 RAVI VAKIL CONTENTS 1. A little more about cubic plane curves 1 2. Line bundles of degree 4, and Poncelet s Porism 1 3. Fun counterexamples using elliptic curves
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationHolomorphic 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 informationHodge 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 informationDeligne 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
More informationTHE 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 informationwhere 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 informationCOMPLEX 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
More informationCoherent sheaves on elliptic curves.
Coherent sheaves on elliptic curves. Aleksei Pakharev April 5, 2017 Abstract We describe the abelian category of coherent sheaves on an elliptic curve, and construct an action of a central extension of
More informationAFFINE 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.
More informationMATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53
MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence
More informationThree 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
More informationCOMPLEX MULTIPLICATION: LECTURE 13
COMPLEX MULTIPLICATION: LECTURE 13 Example 0.1. If we let C = P 1, then k(c) = k(t) = k(c (q) ) and the φ (t) = t q, thus the extension k(c)/φ (k(c)) is of the form k(t 1/q )/k(t) which as you may recall
More informationTopic: 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 informationEXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION
EXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION JAN CHRISTIAN ROHDE Introduction By string theoretical considerations one is interested in Calabi-Yau manifolds since Calabi-Yau 3-manifolds
More informationHODGE 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 informationPorteous s Formula for Maps between Coherent Sheaves
Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for
More informationExercises for algebraic curves
Exercises for algebraic curves Christophe Ritzenthaler February 18, 2019 1 Exercise Lecture 1 1.1 Exercise Show that V = {(x, y) C 2 s.t. y = sin x} is not an algebraic set. Solutions. Let us assume that
More informationON A THEOREM OF CAMPANA AND PĂUN
ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified
More informationDeterminant Bundle in a Family of Curves, after A. Beilinson and V. Schechtman
Commun. Math. Phys. 211, 359 363 2000) Communications in Mathematical Physics Springer-Verlag 2000 Determinant Bundle in a Family of Curves, after A. Beilinson and V. Schechtman Hélène snault 1, I-Hsun
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationGeometry 9: Serre-Swan theorem
Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
More informationmult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending
2. The canonical divisor In this section we will introduce one of the most important invariants in the birational classification of varieties. Definition 2.1. Let X be a normal quasi-projective variety
More informationChern 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 informationExercises 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 informationComplex Algebraic Geometry: Smooth Curves Aaron Bertram, First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool
Complex Algebraic Geometry: Smooth Curves Aaron Bertram, 2010 12. First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool for classifying smooth projective curves, i.e. giving
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationDerivations and differentials
Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,
More informationMonodromy 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.
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Application of cohomology: Hilbert polynomials and functions, Riemann- Roch, degrees, and arithmetic genus 1 1. APPLICATION OF COHOMOLOGY:
More informationOral exam practice problems: Algebraic Geometry
Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n
More informationGeneralized Tian-Todorov theorems
Generalized Tian-Todorov theorems M.Kontsevich 1 The classical Tian-Todorov theorem Recall the classical Tian-Todorov theorem (see [4],[5]) about the smoothness of the moduli spaces of Calabi-Yau manifolds:
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More informationA 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
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationLecture 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 informationSome Remarks on Prill s Problem
AFFINE ALGEBRAIC GEOMETRY pp. 287 292 Some Remarks on Prill s Problem Abstract. N. Mohan Kumar If f : X Y is a non-constant map of smooth curves over C and if there is a degree two map π : X C where C
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationAN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES
AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,
More informationBinomial Exercises A = 1 1 and 1
Lecture I. Toric ideals. Exhibit a point configuration A whose affine semigroup NA does not consist of the intersection of the lattice ZA spanned by the columns of A with the real cone generated by A.
More informationAPPENDIX 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 informationRIEMANN 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
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationTHE STEENROD ALGEBRA. The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things.
THE STEENROD ALGEBRA CARY MALKIEWICH The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things. 1. Brown Representability (as motivation) Let
More informationIntroduction to Arithmetic Geometry Fall 2013 Problem Set #10 Due: 12/3/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Problem Set #10 Due: 12/3/2013 These problems are related to the material covered in Lectures 21-22. I have made every effort to proof-read them, but
More informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
More informationIntermediate 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
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationLet X be a topological space. We want it to look locally like C. So we make the following definition.
February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x
More informationthe complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X
2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:
More informationALGEBRAIC 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 informationPERVERSE SHEAVES: PART I
PERVERSE SHEAVES: PART I Let X be an algebraic variety (not necessarily smooth). Let D b (X) be the bounded derived category of Mod(C X ), the category of left C X -Modules, which is in turn a full subcategory
More informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More information6.1 Finite generation, finite presentation and coherence
! Chapter 6 Coherent Sheaves 6.1 Finite generation, finite presentation and coherence Before getting to sheaves, let us discuss some finiteness properties for modules over a commutative ring R. Recall
More informationMODULI OF VECTOR BUNDLES ON CURVES AND GENERALIZED THETA DIVISORS
MODULI OF VECTOR BUNDLES ON CURVES AND GENERALIZED THETA DIVISORS MIHNEA POPA 1. Lecture II: Moduli spaces and generalized theta divisors 1.1. The moduli space. Back to the boundedness problem: we want
More informationMath 210B. The bar resolution
Math 210B. The bar resolution 1. Motivation Let G be a group. In class we saw that the functorial identification of M G with Hom Z[G] (Z, M) for G-modules M (where Z is viewed as a G-module with trivial
More informationSEPARABLE RATIONAL CONNECTEDNESS AND STABILITY
SEPARABLE RATIONAL CONNECTEDNESS AND STABILIT ZHIU TIAN Abstract. In this short note we prove that in many cases the failure of a variety to be separably rationally connected is caused by the instability
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationEXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS
EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.
More information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationTHE JACOBIAN OF A RIEMANN SURFACE
THE JACOBIAN OF A RIEMANN SURFACE DONU ARAPURA Fix a compact connected Riemann surface X of genus g. The set of divisors Div(X) forms an abelian group. A divisor is called principal if it equals div(f)
More informationCritical Groups of Graphs with Dihedral Symmetry
Critical Groups of Graphs with Dihedral Symmetry Will Dana, David Jekel August 13, 2017 1 Introduction We will consider the critical group of a graph Γ with an action by the dihedral group D n. After defining
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
More informationFormality 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 informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves
More informationLINE BUNDLES ON PROJECTIVE SPACE
LINE BUNDLES ON PROJECTIVE SPACE DANIEL LITT We wish to show that any line bundle over P n k is isomorphic to O(m) for some m; we give two proofs below, one following Hartshorne, and the other assuming
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationDedekind Domains. Mathematics 601
Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K/F is a finite
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationMATH 221 NOTES BRENT HO. Date: January 3, 2009.
MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................
More informationBetti numbers of abelian covers
Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers
More informationNon-uniruledness results for spaces of rational curves in hypersurfaces
Non-uniruledness results for spaces of rational curves in hypersurfaces Roya Beheshti Abstract We prove that the sweeping components of the space of smooth rational curves in a smooth hypersurface of degree
More informationApplications to the Beilinson-Bloch Conjecture
Applications to the Beilinson-Bloch Conjecture Green June 30, 2010 1 Green 1 - Applications to the Beilinson-Bloch Conjecture California is like Italy without the art. - Oscar Wilde Let X be a smooth projective
More informationINTRODUCTION TO THE HODGE CONJECTURE
INTRODUCTION TO THE HODGE CONJECTURE JIM BROWN Abstract. These are notes from a talk introducing the Hodge conjecture to undergraduates attending the 2009 Clemson REU. The description given here of the
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More informationPROBLEMS 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 informationTHE MONODROMY-WEIGHT CONJECTURE
THE MONODROMY-WEIGHT CONJECTURE DONU ARAPURA Deligne [D1] formulated his conjecture in 1970, simultaneously in the l-adic and Hodge theoretic settings. The Hodge theoretic statement, amounted to the existence
More information