Topology of Toric Varieties, Part II
|
|
- Caroline Reeves
- 5 years ago
- Views:
Transcription
1 Topology of Toric Varieties, Part II Daniel Chupin April 2, 2018 Abstract Notes for a talk leading up to a discussion of the Hirzebruch-Riemann-Roch (HRR) theorem for toric varieties, and some consequences for Minkowski sums of polytopes. 1 Introduction This talk will be a patchwork of ideas from the topology and intersection theory of toric varieties. We will start by discussing some nice computations related to the Picard group and the rational Chow ring of a toric variety, state HRR, and venture into mixed volumes. Material is mostly from sections and of [Ful93], and the analogous sections of Chapters 9, 12, and 13 of [DS11]. 2 Some more topology of toric varieties Let Σ N R be a fan, where N is an n-dimensional lattice. We first survey some basic results: Proposition 1. The following are from 3.2 of Fulton: 1. If σ is a k-dimensional cone, then π 1 (U σ ) = Z n k. 2. If Σ contains an n-dimensional cone, then X Σ is simply-connected. More generally, if N N is the subgroup generated by σ N for all σ Σ, then π 1 (X Σ ) = N/N. 3. If σ is an n-dimensional cone, then U σ is contractible. 4. The torus O σ U σ is a deformation retract. 5. There is a canonical isomorphism H i (U σ, Z) = i M(σ). Proof. (Sketch) Recall that we have 1-parameter subgroups λ v : G m T N for v N; by taking the images of S 1 G m, we get representatives for all loops in T N, up to homotopy: N = π 1 (T N ). If v σ N, then λ v extends to a map C U σ ; whence we can contract all such loops inside U σ. If σ is n-dimensional, then σ N generates N as a group, so all loops of U σ come from N; thus π 1 (U σ ) = 0. More generally, if σ is k-dimensional, then π 1 (U σ ) = π 1 (U σ (C ) n k ) = Z n k = N(σ). Applying Van Kampen s theorem to these affine pieces (which intersect in affine pieces), we see that π 1 (X Σ ) = N/( N σ ) = N/N Page 1 / 8
2 For (3), we ll recall that U σ has a unique T N -fixed point x σ. Let v be a lattice point in the interior of σ; thinking of closed points x of U σ as semigroup homomorphisms S σ C, build H : U σ I U σ by H(x t)(u) := t (u,v) x(u), and H(x 0) = x σ. Part (4) now follows from (3) by the fact that U σ = U σ O σ. Part (5) is clear. 2.1 The Picard group and H 2 We now use the above to understand the obvious map P ic(x Σ ) H 2 (X Σ, Z). It need not be injective or surjective: for example, P ic(t N ) = 0 but H 2 (T N, Z) = M. However, it is both if, for instance, X Σ is complete: Proposition 2. If all maximal cones of X Σ are n-dimensional, then P ic(x Σ ) = H 2 (X Σ ; Z). Proof. This is a nice argument that uses the same spectral sequence that one interrogates to prove that Cech cohomology agrees with sheaf cohomology: it is built from the double complex which along the bottom row is the Cech complex for a sheaf F on X (for us, the constant sheaf Z X ), and in the vertical direction is given by using an injective resolution of F in this case, we just take the sheafified Cech complex! So we get a double complex almost tautologically. The important point is that we can take as our covering {U σ } σ Σ(n) ; these are affine open sets that are contractible (so have no cohomology in non-zero degrees) and all higher-degree intersections are still affines which are each at least connected. We have E p,q 1 = i 0 < <i p H q (U i0 U ip ) H p+q (X). First we show that E 1,1 2 = H 2 (X Σ ; Z), and from there use the structure of the spectral sequence to realize H 2 (X Σ, Z) as a kernel of a nice lattice morphism. By connectivity, E p,0 1 = I Z, which, with the horizontal differentials, becomes the Koszul resolution for Z in the q = 0 row; thus, E p>0,0 2 = 0. By contractibility of U σ, E 0,q>0 1 = 0; thus E 1,1 2 = E 1,1 = H 2 (X Σ ). Using this new description of H 2, we see that H 2 (X Σ, Z) = Ker(d 1 : E 1,1 1 E 2,1 1 ) Im(d 1 : E 0,1 1 E 1,1 1 ) = Ker(d 1 : E 1,1 1 E 2,1 1 ) (1) ( = Ker M(σ i σ j ) ) M(σ i σ j σ k ) (2) where we have used (5) of the previous proposition. i<j i<j<k This is a bit to write out. But the key point in the end is, we write out a commutative diagram that presents H 2 (X Σ, Z) as a quotient by M of Ker ( i M i<j M/M(σ i σ j ) ). The latter is exactly the collection of T -Cartier divisors by virtue of the fact that M(σ i ) = 0 since our cones are maximal. Thus we ve shown P ic(x Σ ) = H 2 (X Σ, Z). Page 2 / 8
3 3 Chow groups and intersection theory 3.1 Reminder: stars and the orbit-cone correspondence Given a cone σ Σ N R, let N σ be the lattice spanned by σ, and N(σ) the quotient: 0 N σ N N(σ) 0. The star of σ is the fan obtained by projecting Σ onto N(σ) R. If σ is k-dimensional, we get an (n k)- dimensional toric variety O σ V (σ), which is a closed toric subvariety of X Σ. Proposition 3. (Orbit-cone correspondence) There exist the following relations among orbits O τ, orbit closures V (τ), and the affine opens U σ : 1. U σ = τ<σ O τ ; 2. V (τ) = γ>τ O γ; 3. O τ = V (τ) \ γ τ V (γ) 3.2 Intersection theory for toric varieties We first mention a result which generalizes the fact that the Weil divisor class group is generated by the T -invariant divisors: Proposition 4. The Chow group A k (X) is generated by orbit closures [V (τ)] for τ a (n k)-dimensional cone. Proof. Work with the filtration = X 1 X 0 X 1 X n = X given by X i = V (τ), dim τ n i taking the reduced structure on V (τ) s. Then X i \X i 1 is a disjoint union of tori O σ where dim σ = n i. Now use the exact sequence in Chow groups for a closed embedding, and induct. Second, some other interesting intersection theory, which follows the maxim that rational coefficients enter intersection theory for simplicial things, i.e. things that are locally quotients of finite group actions: Proposition 5. If X Σ is a simplicial complete toric variety and ρ 1,..., ρ d Σ(1) are distinct, then in A d (X Σ ) Q, 1 mult(σ) [D ρ1 ] [D ρd ] = [V (σ)] if σ = ρ ρ d Σ, 0 otherwise Proof. Intersect stuff. This is all great news at the cost of ignoring torsion, we can do intersection theory on simplicial complete toric varieties which may not be smooth! Recall that for general varieties, we required smoothness in order to use a moving lemma to ensure that the intersection product is well-defined. If X Σ is smooth, multiplicities of all cones are 1, so we get a nice Chow ring that s in fact defined over the integers. Page 3 / 8
4 4 Hirzebruch-Riemann-Roch 4.1 Definitions HRR shows how to compute the Euler characteristic of a coherent sheaf F on a complete smooth variety X: it says that χ(x, F ) = X ch(f ) T d(x), where ch(f ) H (X, Q) is the Chern character, and T d(x) := T d(t X ) H (X, Q) is the Todd class of the tangent bundle T X. Equivalently, we could work in the rational Chow ring of X, as for smooth complete X this is isomorphic to the rational cohomology ring. The Chern character of F is defined by defining it for vector bundles E first: ch(e) = r e ξ i, i=1 for ξ i a collection of virtual Chern roots of E; from this we can see that ch(e F ) = ch(e) + ch(f ), and ch(e F ) = ch(e) ch(f ). The Todd class of E is given by T d(e) = r i=1 ξ i 1 e ξ i, where each factor is understood as the power series it defines; the first few terms are x 1 e x = x + ( 1) i 1 B i (2i)! x2i = x x x4 +, i=1 where B k are the Bernoulli numbers. Note that this is a symmetric polynomial in ξ i in Q coefficients; by the theory of symmetric polynomials, this is therefore a polynomial in c i (E) with Q coefficients. Example 1. For a surface, T d(x) = ( ξ )( 1 2 ξ ξ ) 1 2 ξ2 2 = c 1(T X ) (c 1(T X ) 2 + c 2 (T X )). 4.2 Some computations The Euler short sequence of a smooth complete X Σ (which we encountered in Irit s talk on the canonical sheaf; see Chapter 9 of [DS11]) 0 Ω 1 X Σ ρ Σ(1) together with the above intersection theory result, gives 1. c(t X ) = ρ (1 + [D ρ]) = σ Σ [V (σ)]. 2. c 1 (T X ) = ρ [D ρ]. 3. c n (T X ) = Σ(n) [pt]. O X ( D ρ ) P ic(x Σ ) Z O XΣ 0, Page 4 / 8
5 in either either in A (X Σ ) or H (X Σ, Z). Part (3) leads to (yet another) proof that χ(x Σ ) = Σ(n). (another proof secretly cropped up in our spectral sequence calculation). We also have the following expression for the Todd class: T d(x) = ρ Σ(1) [D ρ ] 1 e [Dρ]. Note that this is not a sum over the virtual Chern roots of T X! But it s still of the same form. 4.3 Why the Todd class? The Todd class looks very strange, but a section in Chapter 13 of [DS11] gives a nice reason to believe that a human being could come up with it. Let f : X Y be a proper morphism between smooth complete varieties. In this case, we can define pushforwards on the Grothendieck group of coherent sheaves f! : K(X) K(Y ) and on cohomology f! : H (X, Q) H (Y, Q). It is also true that the Chern character defines a group homomorphism ch : K(X) H (X, Q), which implants the hope that the following diagram commutes: ch K(X) H (X, Q) f! f! ch K(Y ) H (Y, Q) It doesn t, in general. But suppose we are wedded to the idea that commutativity isn t far off that there is a single polynomial T d that works for all varieties that we just need to wedge with to get the compositions to match up: ch T d(x) K(X) H (X, Q) f! f! ch T d(y ) K(Y ) H (Y, Q) Working out what this means for specific cases can give us ideas about what T d(x) looks like. A nice idea is to look at an inclusion of a hypersurface i : X Y, and look at the images of (the class of) the structure sheaf O X. The northeast path gives i! (ch([o X ])T d(x)) = i! T d(x), while the southwest path gives ch([i O X ])T d(y ), since i is a closed embedding, hence affine, meaning higher direct images vanish. Put i O X into the short exact sequence for a closed subscheme 0 O Y ( X) O Y i O X 0 to see that ch([i O X ]) = ch([o Y ] [O Y ( X)]) = 1 e [X]. Page 5 / 8
6 From this, it s a short way, via the property of the Gysin map that i! i α = α [X], that it s desirable if the Todd class satisfies ( ) [X] i T d(y ) = T d(x) i 1 e [X]. Using purported naturality of our mystery object and the facts that (1) i T Y = T X N Y/X and (2) that c 1 (N Y/X ) = i [X], we are led to suppose that, generally, T d ought to satisfy T d(e L) = T d(e) c 1 (L ) 1 e c 1(L ) for a line bundle L. This is consistent with and suggests the formula that was given. 5 Application: mixed volumes This is all from 5.4 of [Ful93]. 5.1 Recollection: the Ehrhart polynomial E P Several weeks ago, Alex talked about the nice computability properties of the cohomology of line bundles on toric varieties. As we saw, those properties, together with HRR, supplied for us a neat proof of the fact that, for P M R a polytope in a lattice, the function E P defined for positive integers ν as E P (ν) := νp M was in fact a polynomial with rational coefficients. Serre duality together with knowledge of the canonical sheaf ω XP showed that E P also counted interior points of dilations of P at negative integer arguments. In this section, we will extend this discussion and talk about mixed volumes. Suppose M is n-dimensional, and let D denote the divisor on X P that P defines. Recall that the volume of the polytope lim ν E P (ν) ν n = Dn n! is the (normalized) self-intersection number of D. 5.2 Minkowski sums and mixed volumes Let P, Q be compact convex subsets of Euclidean space; their Minkowski sum P + Q is also compact and convex, and for a positive integer ν, the ν-dilation of P is equal to its ν-fold Minkowski sum. For n = 2, define V (P, Q), the mixed volume (area) of P and Q, to be V (P, Q) = 1 2( V ol(p + Q) V ol(p ) V ol(q) ). Nice properties: 1. V (P, P ) = V ol(p ) 2. V (P, Q) is symmetric and multilinear 3. For B ε the ε-ball centered at 0, the perimeter of P can be expressed as 2 lim ε 0 ε V (P, B ε) Page 6 / 8
7 4. The isoperimetric inequality (that Vol(P ) 1 4π Perim(P )2 ) is the statement that V (B ε, B ε )V (P, P ) V (P, B ε ) 2. We would like to find analogs of the above for general compact convex subsets in higher dimensions. We will restrict our consideration to n-dimensional compact convex lattice polytopes; to get more general results, we would dilate the lattice and use polytope approximations to the compact convex subset. We can find a fan Σ that is compatible with P, in which case P defines a T -Cartier divisor D, whose basis of global sections is given by P M. Given P 1,..., P s polytopes in M, we may find a fan (smooth, if desired, by subdividing more) compatible with all P i. Denoting by E i the divisor corresponding to P i, we see that the divisor associated to the polytope ν 1 P 1 + +ν s P s is ν 1 E ν s E s. By earlier, we know that V ol(ν 1 P ν s P s ) = 1 n! (ν 1E ν s E s ) n ; this implies Minkowski s fundamental result that this volume is a polynomial in the dilation constants. For n polytopes P 1,..., P n, we define the mixed volume to be the coefficient of ν 1 ν n : with the closed form V (P 1,..., P n ) = 1 n! V (P 1,..., P n ) := 1 n! (E 1 E n ), ( V ol(p P n ) i + i<j V ol(p 1 + ˆP i + + P n ) (3) V ol(p ˆP i + + ˆP j + + P n ) ± + ( 1) n 1 i From either of these formulations, we easily glean some properties that we compile here: Proposition 6. Mixed volume enjoys the following properties: 1. V (P,..., P ) = V ol(p ) 2. mixed volume is symmetric and multilinear (for non-negative dilations) 3. mixed volume is invariant under shifts of polytopes by lattice vectors: V (P 1 + u 1,..., P n + u n ) = V (P 1,..., P n ). ) V ol(p i ). (4) 4. for A : M M a group homomorphism, we have V (AP 1,..., AP n ) = det A V (P 1,..., V n ). 5. mixed volumes are non-negative! (as intersection numbers of globally-generated divisors E i ) 6. in fact, a stronger result holds: for Q i P i subpolytopes, V (Q 1,..., Q n ) V (P 1,..., P n ). Page 7 / 8
8 This is because we get the divisors associated to Q s by subtracting effective divisors from P s. In more detail, let F 1 + Y = E 1 for Y the effective divisor; wiggle E i s in their classes to ensure that each restricts to a Cartier divisor on Y ; these E i Y are all globally generated, thus the inequality. As a corollary, if P is the convex hull of n i=1 P i, then V (P 1,..., P n ) V ol(p ). As a second corollary, if all interiors of the P i are nonempty (and hence the volumes are positive), then, by translating the P i such that they all intersect in a polytope Q (and by scaling the lattice so that this is possible), we get that 0 < V ol(q) V (P 1,..., P n ). Last thing, which generalizes form of the isoperimetric inequality we wrote down for n = 2 using mixed volumes: Theorem 1. (Alexandrov-Fenchel Inequality) V (P 1,..., P n ) 2 V (P 1, P 1, P 3,..., P n ) V (P 2, P 2, P 3,..., P n ). Proof. This is equivalent to the statement that (E 1 E n ) 2 (E 1 E 1 E 2 E n )(E 2 E 2 E 3 E n ). Let ϕ i : X P P n i be the projective morphisms with n-dimensional images corresponding to E i. Bertini s theorem says that, for generic hyperplanes H i P n i, Y = ϕ 1 3 (H 3) ϕ 1 n (H n ) is a smooth projective surface in X P. Thus it suffices to prove the inequality (D 1 D 2 ) 2 D1 2D2 2 for D i the restriction of E i to Y. This follows from the Hodge index theorem (see [Rei96]), which says that, on a smooth projective surface, if A, B are divisors such that A 2 > 0 and AB = 0, then B 2 0. References [Ful93] William Fulton. Introduction to Toric Varieties. Princeton, NJ: Princeton Univ. Press, [Rei96] Miles Reid. Chapters on Algebraic Surfaces. In: (1996). doi: alg-geom/ pdf. [DS11] John Little David Cox and Henry Schenck. Toric Varieties. AMS, Page 8 / 8
Lecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More 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 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 information(1) is an invertible sheaf on X, which is generated by the global sections
7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one
More informationRecall for an n n matrix A = (a ij ), its trace is defined by. a jj. It has properties: In particular, if B is non-singular n n matrix,
Chern characters Recall for an n n matrix A = (a ij ), its trace is defined by tr(a) = n a jj. j=1 It has properties: tr(a + B) = tr(a) + tr(b), tr(ab) = tr(ba). In particular, if B is non-singular n n
More informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem TIFR Mumbai, India Paul Baum Penn State 7 August, 2015 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. Beyond ellipticity 5. The Riemann-Roch
More informationProblems on Minkowski sums of convex lattice polytopes
arxiv:08121418v1 [mathag] 8 Dec 2008 Problems on Minkowski sums of convex lattice polytopes Tadao Oda odatadao@mathtohokuacjp Abstract submitted at the Oberwolfach Conference Combinatorial Convexity and
More informationarxiv:math.ag/ v1 7 Jan 2005
arxiv:math.ag/0501104 v1 7 Jan 2005 Asymptotic cohomological functions of toric divisors Milena Hering, Alex Küronya, Sam Payne January 7, 2005 Abstract We study functions on the class group of a toric
More informationIntroduction to toric geometry
Introduction to toric geometry Ugo Bruzzo Scuola Internazionale Superiore di Studi Avanzati and Istituto Nazionale di Fisica Nucleare Trieste ii Instructions for the reader These are work-in-progress notes
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 informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More 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 informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem Paul Baum Penn State Texas A&M University College Station, Texas, USA April 4, 2014 Minicourse of five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology?
More informationINTERSECTION THEORY CLASS 12
INTERSECTION THEORY CLASS 12 RAVI VAKIL CONTENTS 1. Rational equivalence on bundles 1 1.1. Intersecting with the zero-section of a vector bundle 2 2. Cones and Segre classes of subvarieties 3 2.1. Introduction
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
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 information12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n
12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s
More 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 information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationINTERSECTION THEORY CLASS 6
INTERSECTION THEORY CLASS 6 RAVI VAKIL CONTENTS 1. Divisors 2 1.1. Crash course in Cartier divisors and invertible sheaves (aka line bundles) 3 1.2. Pseudo-divisors 3 2. Intersecting with divisors 4 2.1.
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 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 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 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 informationDEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE
DEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE ANGELA ORTEGA (NOTES BY B. BAKKER) Throughout k is a field (not necessarily closed), and all varieties are over k. For a variety X/k, by a basepoint
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 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 informationChow Groups. Murre. June 28, 2010
Chow Groups Murre June 28, 2010 1 Murre 1 - Chow Groups Conventions: k is an algebraically closed field, X, Y,... are varieties over k, which are projetive (at worst, quasi-projective), irreducible and
More informationHomogeneous Coordinate Ring
Students: Kaiserslautern University Algebraic Group June 14, 2013 Outline Quotients in Algebraic Geometry 1 Quotients in Algebraic Geometry 2 3 4 Outline Quotients in Algebraic Geometry 1 Quotients in
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 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 informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem Paul Baum Penn State TIFR Mumbai, India 20 February, 2013 THE RIEMANN-ROCH THEOREM Topics in this talk : 1. Classical Riemann-Roch 2. Hirzebruch-Riemann-Roch (HRR) 3. Grothendieck-Riemann-Roch
More informationChapter 17 Computation of Some Hodge Numbers
Chapter 17 Computation of Some Hodge Numbers The Hodge numbers of a smooth projective algebraic variety are very useful invariants. By Hodge theory, these determine the Betti numbers. In this chapter,
More informationChern Classes and the Chern Character
Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the
More information4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset
4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset Z X. Replacing X by Z we might as well assume that Z
More 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 informationINTERSECTION THEORY CLASS 7
INTERSECTION THEORY CLASS 7 RAVI VAKIL CONTENTS 1. Intersecting with a pseudodivisor 1 2. The first Chern class of a line bundle 3 3. Gysin pullback 4 4. Towards the proof of the big theorem 4 4.1. Crash
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 informationTORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS
TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS YUSUKE SUYAMA Abstract. We give a necessary and sufficient condition for the nonsingular projective toric variety associated to a building set to be
More informationSecant varieties of toric varieties
Journal of Pure and Applied Algebra 209 (2007) 651 669 www.elsevier.com/locate/jpaa Secant varieties of toric varieties David Cox a, Jessica Sidman b, a Department of Mathematics and Computer Science,
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 informationHodge theory for combinatorial geometries
Hodge theory for combinatorial geometries June Huh with Karim Adiprasito and Eric Katz June Huh 1 / 48 Three fundamental ideas: June Huh 2 / 48 Three fundamental ideas: The idea of Bernd Sturmfels that
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 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 informationToric Varieties and the Secondary Fan
Toric Varieties and the Secondary Fan Emily Clader Fall 2011 1 Motivation The Batyrev mirror symmetry construction for Calabi-Yau hypersurfaces goes roughly as follows: Start with an n-dimensional reflexive
More informationToric Geometry. An introduction to toric varieties with an outlook towards toric singularity theory
Toric Geometry An introduction to toric varieties with an outlook towards toric singularity theory Thesis project for the research track of the Master Mathematics Academic year 2014/2015 Author: Geert
More informationPOSITIVITY FOR TORIC VECTOR BUNDLES
POSITIVITY FOR TORIC VECTOR BUNDLES MILENA HERING, MIRCEA MUSTAŢĂ, AND SAM PAYNE Abstract. We show that a T -equivariant vector bundle on a complete toric variety is nef or ample if and only if its restriction
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
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 informationALGEBRAIC GEOMETRY I, FALL 2016.
ALGEBRAIC GEOMETRY I, FALL 2016. DIVISORS. 1. Weil and Cartier divisors Let X be an algebraic variety. Define a Weil divisor on X as a formal (finite) linear combination of irreducible subvarieties of
More 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 informationDISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS
DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent
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 informationBoundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals
Boundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals Kazuhiko Kurano Meiji University 1 Introduction On a smooth projective variety, we can define the intersection number for a given
More informationSTEENROD OPERATIONS IN ALGEBRAIC GEOMETRY
STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group
More informationTORIC REDUCTION AND TROPICAL GEOMETRY A.
Mathematisches Institut, Seminars, (Y. Tschinkel, ed.), p. 109 115 Universität Göttingen, 2004-05 TORIC REDUCTION AND TROPICAL GEOMETRY A. Szenes ME Institute of Mathematics, Geometry Department, Egry
More informationSPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e on a general complete intersection of multidegree
More 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 informationINTERSECTION THEORY CLASS 16
INTERSECTION THEORY CLASS 16 RAVI VAKIL CONTENTS 1. Where we are 1 1.1. Deformation to the normal cone 1 1.2. Gysin pullback for local complete intersections 2 1.3. Intersection products on smooth varieties
More informationVanishing theorems for toric polyhedra
RIMS Kôkyûroku Bessatsu 4x (200x), 000 000 Vanishing theorems for toric polyhedra By Osamu Fujino Abstract A toric polyhedron is a reduced closed subscheme of a toric variety that are partial unions of
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 informationContributors. Preface
Contents Contributors Preface v xv 1 Kähler Manifolds by E. Cattani 1 1.1 Complex Manifolds........................... 2 1.1.1 Definition and Examples.................... 2 1.1.2 Holomorphic Vector Bundles..................
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationFourier Mukai transforms II Orlov s criterion
Fourier Mukai transforms II Orlov s criterion Gregor Bruns 07.01.2015 1 Orlov s criterion In this note we re going to rely heavily on the projection formula, discussed earlier in Rostislav s talk) and
More informationCohomology groups of toric varieties
Cohomology groups of toric varieties Masanori Ishida Mathematical Institute, Tohoku University 1 Fans and Complexes Although we treat real fans later, we begin with fans consisting of rational cones which
More informationAlgebraic Cobordism. 2nd German-Chinese Conference on Complex Geometry East China Normal University Shanghai-September 11-16, 2006.
Algebraic Cobordism 2nd German-Chinese Conference on Complex Geometry East China Normal University Shanghai-September 11-16, 2006 Marc Levine Outline: Describe the setting of oriented cohomology over a
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 informationCurves on P 1 P 1. Peter Bruin 16 November 2005
Curves on P 1 P 1 Peter Bruin 16 November 2005 1. Introduction One of the exercises in last semester s Algebraic Geometry course went as follows: Exercise. Let be a field and Z = P 1 P 1. Show that the
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 informationarxiv:math/ v2 [math.ag] 17 May 2005
arxiv:math/0502344v2 [math.ag] 17 May 2005 SECANT VARIETIES OF TORIC VARIETIES DAVID COX AND JESSICA SIDMAN Abstract. If X is a smooth projective toric variety of dimension n we give explicit conditions
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 informationLECTURE 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 informationCurves on an algebraic surface II
Curves on an algebraic surface II Dylan Wilson October 1, 2014 (1) Last time, Paul constructed Curves X and Pic X for us. In this lecture, we d like to compute the dimension of the Picard group for an
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 informationLIFTING TROPICAL INTERSECTIONS
LIFTING TROPICAL INTERSECTIONS BRIAN OSSERMAN AND SAM PAYNE Abstract. We show that points in the intersection of the tropicalizations of subvarieties of a torus lift to algebraic intersection points with
More informationLECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS
LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS LAWRENCE EIN Abstract. 1. Singularities of Surfaces Let (X, o) be an isolated normal surfaces singularity. The basic philosophy is to replace the singularity
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationBEZOUT S THEOREM CHRISTIAN KLEVDAL
BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this
More informationR-Equivalence and Zero-Cycles on 3-Dimensional Tori
HU Yong R-Equivalence and Zero-Cycles on 3-Dimensional Tori Master thesis, defended on June 19, 2008 Thesis advisor: Dr. DORAY Franck Mathematisch Instituut, Universiteit Leiden Acknowledgements I would
More informationMatrix factorizations over projective schemes
Jesse Burke (joint with Mark E. Walker) Department of Mathematics University of California, Los Angeles January 11, 2013 Matrix factorizations Let Q be a commutative ring and f an element of Q. Matrix
More informationCOMPLEX 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 informationAnalogs of Hodge Riemann relations
Analogs of Hodge Riemann relations in algebraic geometry, convex geometry and linear algebra V. Timorin State University of New York at Stony Brook March 28, 2006 Hodge Riemann form Let X be a compact
More informationAlgebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism
Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44 RAVI VAKIL CONTENTS 1. Flat implies constant Euler characteristic 1 2. Proof of Important Theorem on constancy of Euler characteristic in flat families
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 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 informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More informationCHARACTERISTIC CLASSES OF SINGULAR TORIC VARIETIES
CHARACTERISTIC CLASSES OF SINGULAR TORIC VARIETIES LAURENȚIU MAXIM AND JÖRG SCHÜRMANN Research Announcement Abstract. We introduce a new approach for the computation of characteristic classes of singular
More informationCycle groups for Artin stacks
Cycle groups for Artin stacks arxiv:math/9810166v1 [math.ag] 28 Oct 1998 Contents Andrew Kresch 1 28 October 1998 1 Introduction 2 2 Definition and first properties 3 2.1 The homology functor..........................
More informationOn the Parameters of r-dimensional Toric Codes
On the Parameters of r-dimensional Toric Codes Diego Ruano Abstract From a rational convex polytope of dimension r 2 J.P. Hansen constructed an error correcting code of length n = (q 1) r over the finite
More informationMath 6510 Homework 10
2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained
More informationSPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e in a general complete intersection of multidegree
More informationP m 1 P(H 0 (X, O X (D)) ). Given a point x X, let
3. Ample and Semiample We recall some very classical algebraic geometry. Let D be an integral Weil divisor. Provided h 0 (X, O X (D)) > 0, D defines a rational map: φ = φ D : X Y. The simplest way to define
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.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 informationINTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 14
INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 14 RAVI VAKIL Contents 1. Dimension 1 1.1. Last time 1 1.2. An algebraic definition of dimension. 3 1.3. Other facts that are not hard to prove 4 2. Non-singularity:
More informationAn introduction to cobordism
An introduction to cobordism Martin Vito Cruz 30 April 2004 1 Introduction Cobordism theory is the study of manifolds modulo the cobordism relation: two manifolds are considered the same if their disjoint
More information