
This is the website for the informal algebraic geometry seminar for Spring 2023. We will meet weekly on Fridays at 1:30pm in Room 622.
 01/27/23 Organizational meeting.
 01/27/23 Overview of the Minimal Model Program
 02/03/23 Bend and break, rational curves
 02/10/23 Cone of curves and cone theorem for smooth varieties
 02/17/23 Resolution of singularities and singularities of MMP
 02/24/23 MMP in dimension 2
 03/03/23 Basepointfree Theorem and the Cone Theorem
 03/10/23 The Rationality Theorem and the Nonvanishing Theorem
 03/24/23 The relative cone theorem, running the minimal model program
 03/31/23 Basic Properties of Minimal Models and Mori Fiber Spaces
 04/07/23 Surface Singularities
 03/14/23 Multiplier ideals and Nadel vanishing
 04/21/23 BCHM I
 04/28/23 BCHM II
 [KM] Kollar and Mori. "Birational geometry of algebraic varieties".
 [Mat] Matsuki. "Introduction to the Mori program".
 [D] Debarre. "HigherDimensional Algebraic Geometry".
 [BCHM] Birkar, Cascini, Hacon and McKernan. "Existence of minimal models for varieties of log general type".
The organizers are Simon Felten, Andres Fernandez Herrero and Akash Sengupta.
Meetings and lectures
We will decide on the topics and speakers for the seminar.
Lecture by Simon Felten.
The minimal model program aims at exhibiting a 'nice' representative within any birational equivalence class of algebraic varieties  these are the socalled minimal models.
In this introductory talk, we will motivate the study of minimal models and give an overview over the algorithm that is used to construct them..
Lecture by Alex Scheffelin.
State deformation theory results for rational curves.
Prove bend and break.
Existence of rational curves when K_X not nef.
References: [D] or [KM] Chapter 1.
Lecture by Nicolas Vilches Reyes.
Basic notions work with normal projective varieties.
Review Weil and Cartier divisors with coefficients in Z, Q, and R.
Recall ampleness and nefness for these divisors.
Recall numerical equivalence.
Finitedimensionality of N (X) , N1(X).
Cone of effective curves.
Explain Qfactoriality.
Make the audience comfortable with considering a pair (X, D) with D = ∑i ai Di a QWeil divisor as a basic object of study.
Prove Cone theorem.
Reference: [KM] Chapter 1.
Lecture by Simon Felten.
Recall existence of resolution of singularities.
For a resolution f : Y  > X, compare divisors on V and X.
Define terminal and canonical singularities.
Explain independence of choice of resolution.
Define log canonical, log terminal, Kawamata log terminal, purely log terminal etc. singularities.
Discuss independence of choice of resolution.
Maybe also discuss rational singularities.
Give examples.
Mention du Val singularities as the canonical singularities in dimension 2.
No terminal singularities in dimension 2.
Reference: [KM] Chapter 2.
Lecture by Morena Porzio.
Discuss the general MMP process.
Go through the steps of MMP in dimension 2 (for nonsingular projective surfaces).
Focus should be on the big picture, rather explain what a theorem means than giving a full proof
Start by asking whether KX is nef.
Cone theorem.
Extremal contractions and contraction theorem.
Explain the two types of extremal contractions: either it is a contraction of a (−1)curve, or it is a fibration over a curve, or it is P2 mapping to a point.
Introduce the hard dichotomy theorem.
Explain that the process always terminates.
Give an overview of the possible outcomes for κ(X) = −∞.
References: [KM] Chapter 1, [M] Chapter 1.
Lecture by Akash Sengupta.
TBA.
Reference: [KM].
Lecture by Anna Abasheva.
TBA.
Reference: [KM] Chapter 3.
Lecture by Amal Mattoo.
Three Types of Contractions and Flips: introduce the possible three types of contractions.
Briefly discuss that we can continue our program easily in the case of a divisorial contraction.
Recall that the algorithm stops after a fibering contraction.
Explain flips.
Discuss that the existence of flips is equivalent to the finite generation of the canonical ring.
Discuss termination of flips.
References: [KM] Chapter 3, [M] Chapter 11.
Lecture by Nathan Chen.
Discuss uniruledness and ruledness of Mori fiber spaces.
For minimal models, discuss existence of an effective pluricanonical divisor
Abundance conjecture, hard dichotomy.
Discuss the Iitaka fibration.
The canonical model.
Discuss the canonical singularities occurring on the canonical model.
Finite generation of the canonical ring.
Xcan = Proj(R).
If time permits, give an overview over the Sarkisov program, introduce flops as the connections between different possible minimal models of the same space.
Reference: [M] Chapter 12,13.
Lecture by Andres Fernandez Herrero.
Discuss the classification of surface singularities and examples.
References: [KM] Chapter 4, [M] Chapter 4.
Lecture by TBA.
(possibly skip or find speaker later).
Lecture by KuanWen Chen / Akash Sengupta.
Overview and summary of results.
Reference: [BCHM].
Lecture by KuanWen Chen / Akash Sengupta.
Some ideas and key steps.
Reference: [BCHM].
References