中文
Back

Intersection theory

Jan 2021

4 min read

References

Schedule

DateSpeakerTitleAbstract
Jan 22Caleb JiRational equivalenceI will introduce the notions of cycles and rational equivalence, which generalize the notions of divisors and linear equivalence. They give rise to Chow groups, which play the role of homology groups on schemes. The main theorem of this talk is that rational equivalence of cycles is preserved under the pushforward of a proper morphism. Bézout’s theorem is a consequence of this theorem. I will end by discussing flat pullback of cycles.
Reference: [F], Chapter 1
Jan 29Avi ZeffIntersecting with divisors and the first Chern classWe define Weil and Cartier divisors and pseudo-divisors, and show how intersecting with these divisors yields maps Ak(X)Ak1(X)A_k(X) \to A_{k-1}(X). We show that as operators on A(X)A_*(X) this action of divisors by intersection is commutative.
Notes
Feb 05Alex XuChern Classes and Segre Classes of Vector BundlesIn this talk we will discuss the construction and functorial properties of Chern and Segre classes in intersection theory following chapter 3 of Fulton. An emphasis will be placed on using the functorial properties for computation and we will work through several examples. If time permits, we will attempt to work through some of the high octane examples that lead to a geometric interpretation for these algebraic gadgets.
Feb 12Patrick LeiCones: because not every coherent sheaf is locally freeWe will discuss what a cone is, then define the Segre class of a cone, then define Segre classes of subvarieties and consider their properties, and then discuss deformation to the normal cone. Classical examples will be used to illustrate the theory.
Reference: [F], Chapters 4,5
Notes
Feb 19Caleb JiChern classes and intersection productsIn this talk, we will revisit the notion of Chern classes in algebraic geometry and apply them to enumerative problems. Then we will review the moving lemma and sketch the construction of the intersection product in the Chow ring.
Feb 26Problem SessionProblem Session
Mar 05No seminarNo seminar (spring break)
Mar 12Nicolás VilchesFamilies of algebraic cyclesWe will discuss families of algebraic cycles: the specialization of a class on the total space of a family. The relation between the original class and its specializations will be discussed extensively, such as the conservation of number. After this, we will show how to apply this machinery to classical problems in enumerative geometry.
Reference: our friend [F], Chapter 10
Slides
Mar 19Patrick LeiDoing Italian-style algebraic geometry rigorouslyWe will define intersection multiplicities and then define the Chow ring. For smooth varieties, the Chow ring behaves formally like cohomology in some ways. Finally, we will discuss Bézout’s theorem, which has a very short proof in our language and then discuss some classical examples.
Reference: [F], Chapters 7,8
Notes
Mar 26Morena PorzioThe Grothendieck-Riemann-Roch theoremWe begin by introducing the terminology behind the statement and then state the GRR theorem for proper morphisms of smooth varieties. We will see why it is a generalization of RR for curves and HRR for surfaces. Then we focus on the proof of the result in the important special case Pnpt\mathbb{P}^n \to pt.
Apr 02Patrick LeiFine moduli memes for 1-categorical teensWe will discuss the moduli space of stable curves of genus 0 with nn marked points and its intersection theory, following Keel. We will give a nice presentation of its Chow ring in terms of boundary divisors.
Reference: Keel, Intersection theory of moduli space of stable N-pointed curves of genus zero
Notes
Apr 09Patrick LeiDo we even need derived categories?We will state Serre’s intersection formula which computes intersection multiplicities using the derived tensor product. Then we will give some cases where we do not need derived categories to compute intersection multiplicities.
Notes
Apr 16Caleb JiMotivic cohomologyFollowing Voevodsky’s lectures, we introduce the category of correspondences and the notion of presheaves of transfers, which allows us to define motivic cohomology. Among other things, these groups specialize to the higher Chow groups defined by Bloch. We give a broad overview of the relations between motivic cohomology and algebraic K-theory, motives, and arithmetic geometry.
Notes, Slides