Mihnea Popa - KIAShome.kias.re.kr/MKG/upload/Mihnea Popa.pdf · Mihnea Popa (Northwestern...

Direct images of pluricanonical bundles

Mihnea Popa

Northwestern University

DaejeonAugust 7, 2014

Mihnea Popa (Northwestern University) Pluricanonical bundles Daejeon August 7, 2014 1

Vanishing, regularity, and Fujita-type statements

Joint work with Christian Schnell – arXiv:1405.6125.

X smooth projective variety, dimC X = n; L ample line bundle on X .

Fujita Conjecture: ωX ⊗ L⊗m is globally generated for all m ≥ n + 1.

Known only in dimension up to four (Reider, Ein-Lazarsfeld,Kawamata), but ok when L is very ample. More generally:

Proposition

f : X → Y morphism of projective varieties, X smooth, dim Y = n.

L ample and globally generated line bundle on Y . Then

R i f∗ωX ⊗ L⊗n+1

is globally generated for all i ≥ 0.

Proposition

Theorem (Kollar Vanishing)

f : X → Y morphism of projective varieties, X smooth

L ample line bundle on Y . Then

H j(Y ,R i f∗ωX ⊗ L) = 0 for all i and all j > 0.

F ∈ Coh(Y ) is 0-regular w.r.t. L ample and globally generated if

H i (Y ,F ⊗ L⊗−i ) = 0 for all i > 0.

Theorem (Castelnuovo-Mumford Lemma)

F 0-regular sheaf on Y =⇒ F globally generated.

Kollar Vanishing =⇒ R i f∗ωX ⊗ L⊗n+1 is 0-regular.

H i (Y ,F ⊗ L⊗−i ) = 0 for all i > 0.

Powers of canonical bundles

Question: How about powers ω⊗kX , k ≥ 2?

Motivation: Say X smooth projective, L ample on XMMP=⇒

ωX ⊗ L⊗n+1 is nef.

By Kodaira Vanishing, this implies

H i (X , ω⊗kX ⊗ L⊗k(n+1)−n) = 0 for all i > 0.

kKX +(k(n + 1)− n

)L = KX + (k − 1)

(KX + (n + 1)L

This is the type of effective vanishing statement we would like forf∗ω⊗kX .

kKX +(k(n + 1)− n

)L = KX + (k − 1)

(KX + (n + 1)L

kKX +(k(n + 1)− n

)L = KX + (k − 1)

(KX + (n + 1)L

kKX +(k(n + 1)− n

)L = KX + (k − 1)

(KX + (n + 1)L

How about effective global generation?

Conjecture

f : X → Y morphism of smooth projective varieties, dim Y = n

L ample on Y , k ≥ 1. Then

f∗ω⊗kX ⊗ L⊗m

is globally generated for m ≥ k(n + 1).

Would follow immediately from Fujita when f = Id.

When k = 1, proved by Kawamata in dimension up to 4 when thebranch locus of f is an SNC divisor.

Conjecture

Example: curves

The conjecture holds when Y = C = smooth projective curve; veryspecial methods though.

Say f : X → C surjective, C of genus g . Write

f∗ω⊗kX ⊗ L⊗m ' f∗ω

⊗kX/C ⊗ ω

⊗kC ⊗ L⊗m.

The statement follows from the following facts:

Viehweg: f∗ω⊗kX/C is a nef vector bundle on C for all k .

Lemma: E nef vector bundle, L line bundle of degree ≥ 2g =⇒E ⊗ L globally generated.

Hartshorne: A vector bundle E on C is nef ⇐⇒ E has no linebundle quotients of negative degree.

Example: curves

⊗kX/C ⊗ ω

⊗kC ⊗ L⊗m.

Example: curves

⊗kX/C ⊗ ω

⊗kC ⊗ L⊗m.

Example: curves

⊗kX/C ⊗ ω

⊗kC ⊗ L⊗m.

Extending Kollar’s result when i = 0

Theorem

L ample and globally generated line bundle on Y , k ≥ 1. Then

is 0-regular, and therefore globally generated, for m ≥ k(n + 1).

Effectivity of the result is crucial in applications; explained later.

Variant

The same holds if f is a fibration (i.e. its fibers are irreducible) and ωX isreplaced by ωX ⊗M, where M is a nef and f -big line bundle.

Theorem

Variant

Theorem

Variant

Extension to log-canonical pairs

Important (even for the proof) to extend to log-canonical pairs; notethat there exist an extension of Kollar vanishing:

Theorem (Ambro-Fujino Vanishing)

Same setting; let (X ,∆) be a log-canonical pair such that ∆ is a Q-divisorwith SNC support

B line bundle on X such that B ∼Q KX + ∆ + f ∗H, with H ample Q-CartierQ-divisor on Y . Then

H j(Y ,R i f∗B) = 0 for all i and all j > 0.

The main technical result is a vanishing theorem partially extendingAmbro-Fujino vanishing in the case i = 0:

Extension to log-canonical pairs

Important (even for the proof) to extend to log-canonical pairs; notethat there exist an extension of Kollar vanishing:

Theorem (Ambro-Fujino Vanishing)

Same setting; let (X ,∆) be a log-canonical pair such that ∆ is a Q-divisorwith SNC support

B line bundle on X such that B ∼Q KX + ∆ + f ∗H, with H ample Q-CartierQ-divisor on Y . Then

H j(Y ,R i f∗B) = 0 for all i and all j > 0.

The main technical result is a vanishing theorem partially extendingAmbro-Fujino vanishing in the case i = 0:

Vanishing for direct images of log-canonical pairs

Theorem

f : X → Y morphism of projective varieties, X normal, dim Y = n.

(X ,∆) log-canonical Q-pair on X .

B line bundle on X such that B ∼Q k(KX + ∆ + f ∗H) for somek ≥ 1, H ample Q-Cartier Q-divisor on Y .

L ample and globally generated line bundle on Y . Then:

H i (Y , f∗B ⊗ L⊗m) = 0 for all i > 0 and m ≥ (k − 1)(n + 1− t)− t + 1,

where t := sup {s ∈ Q | H − sL is ample}.

Special case: If k(KX + ∆) is Cartier, can take H = L and t = 1, so:

H i (Y , f∗OX

(k(KX + ∆)

)⊗ L⊗m) = 0 for m ≥ k(n + 1)− n.

Vanishing for direct images of log-canonical pairs

Theorem

f : X → Y morphism of projective varieties, X normal, dim Y = n.

(X ,∆) log-canonical Q-pair on X .

B line bundle on X such that B ∼Q k(KX + ∆ + f ∗H) for somek ≥ 1, H ample Q-Cartier Q-divisor on Y .

L ample and globally generated line bundle on Y . Then:

H i (Y , f∗B ⊗ L⊗m) = 0 for all i > 0 and m ≥ (k − 1)(n + 1− t)− t + 1,

where t := sup {s ∈ Q | H − sL is ample}.

Special case: If k(KX + ∆) is Cartier, can take H = L and t = 1, so:

H i (Y , f∗OX

(k(KX + ∆)

)⊗ L⊗m) = 0 for m ≥ k(n + 1)− n.

Main idea

Theorem implies the main global generation result (and an extensionto log-canonical pairs) via 0-regularity.

Idea of proof: a combination of Viehweg-style methods towards weakpositivity and the use of Kollar and Ambro-Fujino vanishing. Recall:

B ∼Q k(KX + ∆ + f ∗H), k ≥ 1, (X ,∆) log-canonical, f : X → Y .

Consider adjunction morphism

f ∗f∗B → B

Log-resolution arguments =⇒ reduce to X smooth, the image isB ⊗OX (−E ), and E + ∆ divisor with SNC support.

Consider smallest p ≥ 0 such that f∗B ⊗ L⊗p globally generated.

Main idea

f ∗f∗B → B

Main idea

f ∗f∗B → B

Main idea

f ∗f∗B → B

Main idea

f ∗f∗B → B

Main idea

Obtain

B + pf ∗L ∼ k(KX + ∆ + f ∗H) + pf ∗L ∼ D + E

with D smooth and transverse to the support of E + ∆.

Slightly involved reduction leads to

B − E ′ + mf ∗L ∼Q KX + ∆′ + f ∗H ′,

where ∆′ is log-canonical with SNC support, E ′ is contained in therelative base locus of B, and

H ′ ample ⇐⇒ m + t − k − 1

k· p > 0.

Ambro-Fujino Vanishing then implies in this range:

H i (Y , f∗B ⊗ L⊗m) = 0 for all i > 0.

Main idea

Obtain

B + pf ∗L ∼ k(KX + ∆ + f ∗H) + pf ∗L ∼ D + E

B − E ′ + mf ∗L ∼Q KX + ∆′ + f ∗H ′,

H ′ ample ⇐⇒ m + t − k − 1

k· p > 0.

H i (Y , f∗B ⊗ L⊗m) = 0 for all i > 0.

Main idea

Obtain

B + pf ∗L ∼ k(KX + ∆ + f ∗H) + pf ∗L ∼ D + E

B − E ′ + mf ∗L ∼Q KX + ∆′ + f ∗H ′,

H ′ ample ⇐⇒ m + t − k − 1

k· p > 0.

H i (Y , f∗B ⊗ L⊗m) = 0 for all i > 0.

Main idea

Get that f∗B ⊗ L⊗m is 0-regular, hence globally generated, for

m >k − 1

k· p − t + n.

But we’ve chosen p minimal with this same property, which thenimplies all the effective inequalities we’re looking for:

m ≤ k(n + 1)− n and p ≤ k(n + 1).

Main idea

Get that f∗B ⊗ L⊗m is 0-regular, hence globally generated, for

m >k − 1

k· p − t + n.

But we’ve chosen p minimal with this same property, which thenimplies all the effective inequalities we’re looking for:

m ≤ k(n + 1)− n and p ≤ k(n + 1).

Applications

The effective statements above govern different types of applications:

Vanishing theorems for direct images of pluricanonical bundles.

(Effective) weak positivity, and subadditivity of Iitaka dimension.

Generic vanishing for direct images of pluricanonical bundles.

Applications

Vanishing theorems

We have seen that the key result is a partial extension ofAmbro-Fujino. It implies:

Corollary

f : X → Y morphism of projective varieties, X smooth, dim Y = n

L ample and globally generated on Y , k ≥ 1. Then

H i (Y , f∗ω⊗kX ⊗ L⊗m) = 0 for all i > 0 and m ≥ k(n + 1)− n.

Relative Fujita: Case k = 1 of the main conjecture says thatf∗ωX ⊗ L⊗m is globally generated for m ≥ n + 1, L ample.

Corollary

If Relative Fujita holds, then the Corollary above holds with L onlyassumed to be ample.

Vanishing theorems

Corollary

Vanishing theorems

Corollary

Vanishing theorems

Corollary

Weak positivity

Fundamental notion introduced by Viehweg:

Definition: A torsion-free F on X projective is weakly positive on anon-empty open set U ⊆ X if for every ample A on X and a ∈ N, thesheaf S [ab]F ⊗ A⊗b is generated by global sections over U for b � 0.(S [p]F := reflexive hull of SpF .)

Intuition: higher rank generalization of pseudo-effective line bundles;very roughly, there exists a fixed line bundle A such that F⊗a ⊗ A isglobally generated over a fixed open set U, for all a ≥ 0.

Theorem (Viehweg)

If f : X → Y is a surjective morphism of smooth projective varieties, thenf∗ω⊗kX/Y is weakly positive for every k ≥ 1.

Weak positivity

Theorem (Viehweg)

Weak positivity

Theorem (Viehweg)

Weak positivity

Case k = 1 typically uses Hodge theory (Fujita, Kawamata) –however Kollar provided effective version using vanishing theorems.

Results above allow us to do the same for k > 1.

Theorem

f : X → Y surjective “mild” morphism of smooth projective varieties,

L ample and globally generated on Y , A := ωY ⊗ L⊗n+1, s ≥ 1. Then

f∗(ω⊗kX/Y )[⊗s] ⊗ A⊗k

is globally generated on fixed open set U containing the smooth locus of f .

Implies Viehweg’s result via semistable reduction.

Weak positivity

Theorem

f∗(ω⊗kX/Y )[⊗s] ⊗ A⊗k

Weak positivity

Theorem

f∗(ω⊗kX/Y )[⊗s] ⊗ A⊗k

Weak positivity

Theorem

f∗(ω⊗kX/Y )[⊗s] ⊗ A⊗k

Weak positivity

Another advantage: vanishing theorems method extends the pictureto adjoint bundles.

Theorem

f : X → Y fibration between smooth projective varieties, M nef and f -bigline bundle on X =⇒ f∗(ωX/Y ⊗M)⊗k is weakly positive for every k ≥ 1.

An argument of Viehweg then gives the subadditivity of Iitakadimension over a base of general type:

Corollary

In the situation of the Theorem, denote by F the general fiber of f , and byMF the restriction of M to F . If Y is of general type, then

κ(ωX ⊗M) = κ(ωF ⊗MF ) + dim Y .

Weak positivity

Theorem

Corollary

Weak positivity

Theorem

Corollary

Generic vanishing

Definition: A abelian variety, F ∈ Coh(A) =⇒ F is a GV -sheaf iffor all i ≥ 0:

codimPic0(A){α ∈ Pic0(A) | H i (A,F ⊗ α) 6= 0} ≥ i

Generic vanishing theorems address this property, especially for ωX ;crucial for studying the birational geometry of X with b1(X ) 6= 0.

Green-Lazarsfeld: If f : X → A is generically finite onto its image,then f∗ωX is a GV -sheaf.

Statement in fact stronger, but anyway generalized as follows:

Hacon: If f : X → A arbitrary morphism, then R i f∗ωX is a GV -sheaf,for all i .

Generic vanishing

Theorem

Let f : X → A be a morphism from a smooth projective variety to anabelian variety. Then f∗ω

⊗kX is a GV -sheaf for every k ≥ 1.

Idea: Depends on the fact that via pullback by multiplication maps

·m : A −→ A

f∗ω⊗kX remains of the same form, while (·m)∗L ≡ L⊗m

For m� 0, apply the effective vanishing theorems discussed above +criterion of Hacon.

Generic vanishing

Theorem

·m : A −→ A

Generic vanishing

Theorem

·m : A −→ A

Higher direct images?

The original statements for k = 1 (e.g. Kollar or Ambro-Fujinovanishing, Hacon’s generic vanishing) hold for higher direct images aswell. However, the Viehweg-style methods do not.

Question: Are there analogues of these effective results for R i f∗ω⊗kX

with i > 0?

For instance, for all i and k :

Is R i f∗ω⊗kX ⊗ Lk(n+1) globally generated?

Is R i f∗ω⊗kX a GV -sheaf?

etc...

No obvious reason why these shouldn’t hold, but would require aninteresting new idea!

with i > 0?

etc...

with i > 0?

etc...

with i > 0?

etc...

with i > 0?

etc...

Thank you!

Mihnea Popa - KIAShome.kias.re.kr/MKG/upload/Mihnea Popa.pdf · Mihnea Popa (Northwestern...

Documents

Transcript of Mihnea Popa - KIAShome.kias.re.kr/MKG/upload/Mihnea Popa.pdf · Mihnea Popa (Northwestern...

Neutrino and Dark Radiation Bounds from Cosmologyhome.kias.re.kr/MKG/upload/cosmology2016/talk file...PROBING THE NEUTRINO MASS SCALE 1. Direct measurements through β decay kinematics

Recent Observational Results and Activities with KVNhome.kias.re.kr/MKG/upload/2016SSG/05_dybyun.pdfSummary • SFPR technique are successfully applied to both continuum and maser

Exploringthe μJy and nJy Sky with the EVLA and the SKA Ken Kellermann NRAO East Asia SKA Workshop December 3, 2011 12/2/20111KASI, Daejeon, Korea.

Mihnea Popa - Roma Tre Universityricerca.mat.uniroma3.it/users/lopez/GGAACXII/Popa-beam.pdf · 2014. 6. 7. · Mihnea Popa (University of Illinois, Chicago) Pluricanonical bundles

THEORETICAL CONSIDERATIONS REGARDING THE ... CONSIDERATIONS REGARDING THE AROMATICITY OF Λ3-HETEROBENZENES CONTAINING 15-GROUP ELEMENTS R. POPa*, M. ANDONIa, J. VAN STADENb, I. PĂUŞESCUc,

Mihnea Popa - Northwestern Universitympopa/talks/AMS.pdfMihnea Popa (Northwestern)One-forms AMS Meeting, Lansing March 14, 2015 8. Interest in studying one-forms Why currently interesting?

The flickering luminosity methodhome.kias.re.kr/MKG/upload/2016SSG/06_mfeix.pdfThe Universe in a nutshell The CDM cosmological model Planck’s cosmic recipe Image credit: ESA and

Charakterisierung einer Dynamik im Phasenraumepileptologie-bonn.de/cms/upload/homepage/lehnertz/... · 2003. 12. 22. · EOG/ERG ENG EMG EKG/MKG thermodynamisch Blut-/Liquordruck

Raman-Scattered Ne VII λ973 at 4881 Å - KIAShome.kias.re.kr/MKG/upload/SSG/09_jeheo.pdf · Raman-Scattered Ne VII λ973 at 4881 Å ... WHITE DWARF BINARY SYSTEMS ... (971.112 Å)

Multi-faced Janushome.kias.re.kr/MKG/upload/Joint workshop/Hyunsoo_Min.pdf · 2015. 1. 30. · Three dimensional Janus black holes corresponds to a dilaton deformation of the planar

AND SORIN POPA arXiv:0807.4270v2 [math.OA] 29 Jul 2008 · 2 N.OZAWAANDS.POPA measure space II1 factorM= L∞(X)⋊Γ, thevon Neumann subalgebra L∞(X)is a Cartan subalgebra and determining

Lucrare Patrologie Popa

Diagnostic Relevance of Overexpressions of PKC- θand …ar.iiarjournals.org/content/32/3/923.full.pdf · idavidkim@yahoo.co.kr Key Words: ... University (Daejeon, South Korea), Hanyang

Subaru Shear-and-Magnification Weak-Lensing Analysis of ...home.kias.re.kr/MKG/upload/cosmology2014/1105/05_umetsu.pdf · Subaru Shear-and-Magnification Weak-Lensing Analysis of CLASH

CAPÍTULO 5 PUERTOS GENERALES - Inicio · Ka Coeficiente de empuje activo KD Coeficiente de estabilidad Kd Distancia del punto giratorio a la popa del barco, expresado en fracción

University of Science and Technology, Yuseong-gu 217 ...1College of Physics, Hebei Normal University, Shijiazhuang 050024, China 2Korea Astronomy and Space Science Institute, Daejeon

CriticalRoleofPeroxisome … system (Ilshin Autoclave Co., Daejeon, Korea). Supercritical carbondioxide,producedthroughahigh-pressurepumpandchiller,was

Physics of Dark Gauge Interaction (KPS 2016 spring Open KIAS)home.kias.re.kr/MKG/upload/OPENKIAS/Physics_of_Dark_Gauge_Inte… · Lessons from the history Establishment of the SU(2)L×U(1)Y

Pharmacological investigations of natural β -adrenoceptors ... · both 6-MKG and HAP comparable to terbutaline (Table 1) Table 1: Effect of ICI118,551 on the relaxing activities

Mihnea Popa - Northwestern Universitympopa/talks/AMS.pdfMihnea Popa Northwestern AMS Meeting, Lansing March 14, 2015 Mihnea Popa (Northwestern)One-forms AMS Meeting, Lansing March