m p : c y b c - reh.math.uni-duesseldorf.dereh.math.uni-duesseldorf.de/~fanelli/poster.pdf · tons...

1
M INIMAL M ODEL P ROGRAM :C ONTRACT Y OUR B AD C URVES ! A NDREA FANELLI ,D ILETTA M ARTINELLI S UPERVISOR :D R P AOLO C ASCINI I NTRODUCTION :O UR G YM Costumers: PROJECTIVE VARIETIES over C (geomet- ric objects locally defined as zero loci of polynomials, embedded in some projective space). Our goal: classify them up to birational equivalence (we are allowed to cut off some useless and adipose subvarieties, keeping essential information on them, such us their function fields). Main Tool: the canonical bundle K X , which is intrin- sic of our variety and can be useful to detect how the training is going. It is our fat detector! Our Training Program (MMP): start with a variety X , make it sweat and come up with a MINIMAL MODEL X min . MMP C URVES :T OO S KINNY F OR U S ! Even curves can easily get very complicated! But our work is rather easy for curves: just need to re- move the bad points! Theorem 1. Every curve is birationally equivalent to a unique nonsingular projective curve. Algebraic curves (= Riemann Surfaces) are classified by their genus g (number of holes) into 3 classes: RATIONAL (g = 0), ELLIPTIC (g = 1) AND CURVES OF GENERAL TYPE (g 2) S URFACES :I TALIAN V INTAGE T RAINING Finally someone who needs an effective workout! In early 20th century, many Italian surfaces put on some weight, due to fat meals and their mammas’ tiramisu’! They ended up with tons of new curves! Here’s the new phenomenon in dimension 2: we can blow up points and obtain infinitely many new sur- faces, all birational to the one we started with! l 1 l 2 l 3 P μ E μ -1 l 1 μ -1 l 2 μ -1 l 3 But every blow-up leaves a (fat and superfluous) trace: a rigid (-1)-curve. Theorem 2 (Castelnuovo’s Contractibility Criterion). If a non-singular surface S contains a (-1)-curve, we can con- tract it via a birational morphism φS T to obtain another non-singular surface T . And here’s our personalised program for surfaces: Start S : non- singular surface Is there a (-1)-curve E on S ? S ∶= S min End Castelnuovo’s Theorem φS T the contrac- tion of E T : nons- ing surface S ∶= T yes no After a finite number of steps, the routine ends, since the contraction φ actually simplifies the structure of S and we get a MINIMAL surface in perfect shape. One can also see that the canonical bundle of S min has a very interesting property: its intersection with curves is positive (K S min is NEF). R EFERENCES :T HE C OACHING S TAFF Debarre, Higher-Dimensional Algebraic Geometry, Springer-Verlag; Hacon, Kovács, Classification of Higher Dimensional Algebraic Vari- eties, Birkhäuser; Kollár, Mori, Birational Geometry of Algebraic Varieties, Cambridge University Press; Matsuki, Introduction to the Mori Program, Springer-Verlag, Berlin. T HREEFOLDS :T HE 80’ S ,F LIPPING P LASTIC S URGERY Everyone knows that: the bigger you are, the harder is to contract bad curves! A fat 3-fold It took many decades to understand how to attach the problem for vari- eties of dimension 3 or bigger! Problem 1. (-1)-curves mean noth- ing on a 3-fold. Solution: “rigid” curves are the ones which intersect negatively the canonical bundle K X (extremal rays) Mori’s Cone theorem, which describes the cone of effec- tive curves on our variety: K X = 0 K X < 0 EXTREMAL RAYS So now we know our enemy! We start contracting them as for sur- faces, BUT... Problem 2. When you contract the rays, your variety can become sin- gular! Solution: We need to enlarge the category we work with terminal singularities (the mildest singulari- ties you can imagine!) Well... Fair enough... Even with some stretch marks our variety looks great! OH NO... What is that?!?!? Problem 3. If we contract a subva- riety in high codimension, we come up with a new variety where neither intersection theory makes sense! Solution: There is only one thing to do: FLIP THE CURVE. This is a totally different step of the MMP: starting with X we need to con- struct a new variety X + (HOW?!?!) and a birational map f X X + cutting off the curve C which neg- atively intersects K X and replace it with a new curve C + such that (K X + C + )> 0: this is the plastic surgery we need! We expect to end up with a MIN- IMAL model (with NEF canonical bundle) also in this case, but there is a priori no reason why the flipped variety should be “skinnier” than X ! So: "Do flips terminate?" F LOWCHART:T HE T RAINING T ABLE This is the (conjectural) training program for varieties in arbitrary dimension! C is the category of varieties with terminal singularities. Start X C K X nef? X ∶= X min End Cone and Contraction Theorem φX Y dim Y < dim X ? X is a Mori fiber space End X ∶= Y X ∶= X + codim E (φ) 2? Y C X flip // "" X + C zz Y C no yes yes no no yes MMP T ODAY: BCHM’ S L IPOSUCTION In 2010, Birkar, Cascini, Hacon and M c Kernan devel- oped a new revolutionary surgical technique: cooking up the canonical bundle they can construct flips; come up with a minimal model for a large class of varieties, called of GENERAL TYPE. It requires a lot of work and many techniques, but the result is outstanding! F UTURE :F USION W ORKOUT What’s left? Tons of varieties still waiting for your help: they really need to loose weight! Here’s some open problems: minimal models for many varieties of special type; termination of flips in dimension higher than 4; Abundance Conjecture (minimal models are even better than expected... they got ripped!); MMP in positive characteristic (this is hardcore!); moduli spaces of varieties of general type (yes, they are in good shape now... what about a contest?)

Upload: doanbao

Post on 29-Aug-2019

216 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: M P : C Y B C - reh.math.uni-duesseldorf.dereh.math.uni-duesseldorf.de/~fanelli/poster.pdf · Tons of varieties still waiting for your help: they really need to loose weight! Here’s

MINIMAL MODEL PROGRAM: CONTRACT YOUR BAD CURVES!ANDREA FANELLI, DILETTA MARTINELLI

SUPERVISOR: DR PAOLO CASCINI

INTRODUCTION: OUR GYM

Costumers: PROJECTIVE VARIETIES over C (geomet-ric objects locally defined as zero loci of polynomials,embedded in some projective space).

Our goal: classify them up to birational equivalence(we are allowed to cut off some useless and adiposesubvarieties, keeping essential information on them,such us their function fields).

Main Tool: the canonical bundle KX , which is intrin-sic of our variety and can be useful to detect how thetraining is going. It is our fat detector!

Our Training Program (MMP): start with a variety X ,make it sweat and come up with a MINIMAL MODELXmin.

MMP

CURVES: TOO SKINNY FOR US!Even curves can easily get very complicated!

But our work is rather easy for curves: just need to re-move the bad points!

Theorem 1. Every curve is birationally equivalent to aunique nonsingular projective curve.

Algebraic curves (= Riemann Surfaces) are classifiedby their genus g (number of holes) into 3 classes:

RATIONAL (g = 0), ELLIPTIC (g = 1) AND CURVESOF GENERAL TYPE (g ≥ 2)

SURFACES: ITALIAN VINTAGE TRAINING

Finally someone who needs an effective workout! Inearly 20th century, many Italian surfaces put on someweight, due to fat meals and their mammas’ tiramisu’!They ended up with tons of new curves!

Here’s the new phenomenon in dimension 2: we canblow up points and obtain infinitely many new sur-faces, all birational to the one we started with!

l1l

2 l3

P

μ

E

μ-1l1

μ-1l2

μ-1l3

But every blow-up leaves a (fat and superfluous) trace:a rigid (-1)-curve.

Theorem 2 (Castelnuovo’s Contractibility Criterion). Ifa non-singular surface S contains a (−1)-curve, we can con-tract it via a birational morphism φ∶S → T to obtain anothernon-singular surface T .

And here’s our personalised program for surfaces:

Start

S: non-singularsurface

Is there a(−1)-curveE on S?

S ∶=

Smin End

Castelnuovo’sTheorem φ∶S → T

the contrac-tion of ET : nons-

ing surface

S ∶= T

yes

no

After a finite number of steps, the routine ends, sincethe contraction φ actually simplifies the structure of Sand we get a MINIMAL surface in perfect shape.One can also see that the canonical bundle of Smin hasa very interesting property: its intersection with curvesis positive (KSmin is NEF).

REFERENCES: THE COACHING STAFF

● Debarre, Higher-Dimensional Algebraic Geometry, Springer-Verlag;● Hacon, Kovács, Classification of Higher Dimensional Algebraic Vari-eties, Birkhäuser;● Kollár, Mori, Birational Geometry of Algebraic Varieties, CambridgeUniversity Press;● Matsuki, Introduction to the Mori Program, Springer-Verlag, Berlin.

THREEFOLDS: THE 80’S, FLIPPING PLASTIC SURGERY

Everyone knows that: the biggeryou are, the harder is to contractbad curves!

A fat 3-fold

It took many decades to understandhow to attach the problem for vari-eties of dimension 3 or bigger!Problem 1. (−1)-curves mean noth-ing on a 3-fold.Solution: “rigid” curves are theones which intersect negativelythe canonical bundle KX (extremalrays) ; Mori’s Cone theorem,which describes the cone of effec-tive curves on our variety:

KX= 0

KX < 0

EXTREMAL RAYS

So now we know our enemy! Westart contracting them as for sur-faces, BUT...Problem 2. When you contract therays, your variety can become sin-gular!Solution: We need to enlarge thecategory we work with ; terminalsingularities (the mildest singulari-ties you can imagine!)

Well... Fair enough... Even withsome stretch marks our varietylooks great! OH NO... What is

that?!?!?Problem 3. If we contract a subva-riety in high codimension, we comeup with a new variety where neitherintersection theory makes sense!Solution: There is only one thingto do: FLIP THE CURVE. This isa totally different step of the MMP:starting with X we need to con-struct a new variety X+ (HOW?!?!)and a birational map

f ∶X⋯→X+

cutting off the curve C which neg-atively intersects KX and replaceit with a new curve C+ such that(KX+ ⋅ C

+) > 0: this is the plasticsurgery we need!We expect to end up with a MIN-IMAL model (with NEF canonicalbundle) also in this case, but there isa priori no reason why the flippedvariety should be “skinnier” thanX! So: "Do flips terminate?"

FLOWCHART: THE TRAINING TABLE

This is the (conjectural) training program for varietiesin arbitrary dimension! C is the category of varietieswith terminal singularities.

Start

X ∈ C

KX nef?X ∶=Xmin

End

Cone and

ContractionTheoremφ∶X → Y

dimY <dimX?

X is a

Mori fiberspace

EndX ∶= YX ∶= X+

codimE(φ)≥ 2?

Y ∈ C

Xflip

//

""

X+ ∈ C

zz

Y /∈ C

no

yes

yes

no

no

yes

MMP TODAY: BCHM’S LIPOSUCTION

In 2010, Birkar, Cascini, Hacon and McKernan devel-oped a new revolutionary surgical technique: cookingup the canonical bundle they can● construct flips;● come up with a minimal model for a large class ofvarieties, called of GENERAL TYPE.It requires a lot of work and many techniques, but theresult is outstanding!

FUTURE: FUSION WORKOUT

What’s left? Tons of varieties still waiting for your help:they really need to loose weight!Here’s some open problems:● minimal models for many varieties of special type;● termination of flips in dimension higher than 4;● Abundance Conjecture (minimal models are evenbetter than expected... they got ripped!);● MMP in positive characteristic (this is hardcore!);● moduli spaces of varieties of general type (yes, theyare in good shape now... what about a contest?)