Methodes L2 et resultats effectifs en geometrie algebrique

Description

Niveau: Supérieur, Licence, Bac+2
Methodes L2 et resultats effectifs en geometrie algebrique L'expose fait le point sur les resultats obtenus depuis 1990 environ, concernant l'exis- tence de sections globales des systemes lineaires adjoints. L'un des buts de la theorie est l'etude approfondie de la structure des varietes projectives. Une des principales motivations en est la conjecture enoncee en 1987 par T. Fujita : si L ? X est un fibre en droites ample, |KX + mL| est globalement engendre pour m ≥ dimX + 1 et tres ample pour m ≥ dimX + 2. L'expose presente un aperc¸u du versant analy- tique de la theorie: estimations L2 pour l'operateur ∂, metriques singulieres, ideaux multiplicateurs de Nadel. Comme application, on donne le schema de la preuve de la conjecture de l'invariance des plurigenres, recemment demontree par Y.T. Siu dans le cas des varietes de type general. Mots-cles: Variete projective, fibre en droites, tenseur de courbure, fibre positif, fibre ample, fibre nef, estimations L2 pour l'operateur ∂, faisceau d'ideaux multiplica- teurs de Nadel, theoremes d'annulation, systeme lineaire adjoint, conjecture de Fujita, variete de type general, invariance des plurigenres. Classification AMS: 14C30, 14F17, 14J60 L2 methods and effective results in algebraic geometry The article gives an exposition of several important results obtained since the begin- ning of the 90's, concerning the existence of global sections of adjoint linear systems.

• variete projective


• courbure semi-positive


• caractere inevitable du fibre canonique


• projective variety


• fibre


• methodes l2


• courant


• theorie des systemes lineaires

Sujets

• Picard
• Variété projective
• Algebraic variety
• Courant

Informations

• Publié par: profil-vieg-2012
• Nombre de lectures: 31
• Langue: Français

Extrait

Me´thodes
L
2
etre´sultatseffectifsenge´ome´triealge´brique
L’expose´faitlepointsurlesre´sultatsobtenusdepuis1990environ,concernantl’exis-
tencedesectionsglobalesdessyste`mesline´airesadjoints.L’undesbutsdelathe´orie
estl’e´tudeapprofondiedelastructuredesvarie´te´sprojectives.Unedesprincipales
motivationsenestlaconjecturee´nonce´een1987parT.Fujita:si
L
→
X
estun
fibre´endroitesample,
|
K
X
+
mL
|
estglobalementengendre´pour
m
≥
dim
X
+1
ettre`samplepour
m
≥
dim
X
+2.L’expose´pre´senteunaperc¸uduversantanaly-
tiquedelathe´orie:estimations
L
2
pourl’ope´rateur
∂
,me´triquessingulie`res,ide´aux
multiplicateursdeNadel.Commeapplication,ondonnelesche´madelapreuvedela
conjecturedel’invariancedesplurigenres,re´cemmentde´montre´eparY.T.Siudansle
casdesvarie´te´sdetypege´ne´ral.

Mots-cle´s:
Varie´te´projective,fibre´endroites,tenseurdecourbure,fibre´positif,
fibre´ample,fibre´nef,estimations
L
2
pourl’ope´rateur
∂
,faisceaud’ide´auxmultiplica-
teursdeNadel,the´ore`mesd’annulation,syste`meline´aireadjoint,conjecturedeFujita,
varie´te´detypege´ne´ral,invariancedesplurigenres.

ClassificationAMS:
14C30,14F17,14J60

L
2
methodsandeffectiveresultsinalgebraicgeometry
Thearticlegivesanexpositionofseveralimportantresultsobtainedsincethebegin-
ningofthe90’s,concerningtheexistenceofglobalsectionsofadjointlinearsystems.
Themaingoalisadeepenedinvestigationofthestructureofprojectivevarieties.A
strongmotivationofthisstudyhasbeentheconjectureassertedbyT.Fujitain1987:
if
L
→
X
isanamplelinebundle,
|
K
X
+
mL
|
isbasepointfreefor
m
≥
dim
X
+1
andveryamplefor
m
≥
dim
X
+2.Thepresentationiscenteredaroundtheanalytic
aspectsofthetheory:
L
2
estimatesfor
∂
operators,singularhermitianmetrics,Nadel
multiplieridealsheaves.Asanapplication,wegiveanoverviewoftheproofofthe
conjectureofinvarianceofplurigenerainthecaseofvarietiesofgeneraltype,asit
hasbeenrecentlyannouncedbyY.T.Siu.

Key-words:
Projectivevariety,linebundle,curvaturetensor,positivevectorbundle,
amplelinebundle,neflinebundle,
L
2
estimatesforthe
∂
operator,Nadelmultiplier
idealsheaf,vanishingtheorems,adjointlinearsystem,Fujitaconjecture,varietyof
generaltype,invarianceofplurigenera.

ClassificationAMS:
14C30,14F17,14J60

852-02

Se´minaireBOURBAKI
51e`meanne´e,1998-99,n
o
852

Novembre1998

ME´THODES
L
2
ETRE´SULTATSEFFECTIFS
ENGE´OME´TRIEALGE´BRIQUE
par
Jean–PierreDEMAILLY

1.INTRODUCTION

Lathe´oriedessyste`mesline´airesadjointsapourbutd’e´tudierlesespacesde
sections
H
0
(
X,K
X
+
mL
)associe´sa`unfibre´endroites
L
ample–oudumoins
suffisammentpositif–surunevarie´te´alge´briqueprojective
X
dedimension
n
.La
motivationprincipaleestlaconstructiondeplongementsd’une“varie´te´alge´brique
polarise´e”(
X,L
)donne´edansunespaceprojectifcomplexe
P
C
N
,avecdesbornes
effectivesexplicitespourlesdegre´s.Aleurtour,detelsplongementspeuventeˆtre
utilise´spourde´montrerdesth´eore`mesdefinitudeoupouressayerdeclassifierles
structuresalge´briquessurunevarie´te´detypetopologiquedonne´.
Onsupposeratoutaulongdecetexpose´que
X
estlisse,de´finiesur
C
,eton
notera
K
X
=Λ
n
T
X⋆
,
n
=dim
X
,le
fibre´endroitescanonique
de
X
.Onutilisera
lanotationadditiveusuellepourlegroupedePicard:
K
X
+
mL
estdoncsynonyme
de
K
X
⊗
L
⊗
m
.L’unedesquestionslesplusmotivantespourlathe´oriedessyste`mes
line´airesadjointsasansdoutee´te´laconjecturesuivante,duea`T.Fujita[Fuj87,88].
Conjecture(Fujita).
Si
L
estunfibre´endroitesamplesurunevarie´te´projective
X
dedimension
n
,alors
(i)
K
X
+
mL
estengendre´parsessectionspour
m
≥
n
+1
.
(ii)
K
X
+
mL
esttre`samplepour
m
≥
n
+2
.
A`cejour,lapartie(ii)delaconjecturedeFujitasembleencorehorsdeporte´e
hormislecasbiencomprisdesdimensions1et2(cf.I.Reider[Rei87]),maisla
partie(i)afaitl’objetdenombreuxtravauxquiontconduita`unere´ponsepositive
jusqu’endimension5(Ein-Lazarsfeld[EL93]endimension3,Y.Kawamata[Kaw97a]
endimension4,S.Helmke[Hel98]endimension5).

852-02

Ilfautobserverquecetypedere´sultat,fournissantuneborneuniversellene
de´pendantquedeladimension
n
pourl’entier
m
,sesauraiteˆtrevraipourlessyste`mes
line´aires
H
0
(
X,mL
).Eneffet,si
X
estunecourbedegenre
g
,ilestbienconnuque
H
0
(
X,mL
)n’apasdesectionssi
m<g
,pour
L
ge´ne´riquededegre´1.Parailleurs,
lesbornesdelaconjecturedeFujitasontde´ja`optimalesdanslecasou`
X
=
P
C
n
,
L
=
O
(1),puisqu’onaalors
K
X
=
O
(
−
n
−
1).
Lecaracte`reine´vitabledufibre´canoniques’expliqueparsoninterventiondans
lesthe´ore`mesd’annulationfondamentauxtelsquelethe´ore`medeKodaira-Nakano,
lethe´ore`medeKawamata-Viehwegoulethe´ore`medeNadel(voir
§
2).L’approche
pre´sente´eicis’appuirasurunee´tudeapprofondiedesme´triquessingulie`resetdes
ide´auxmultiplicateursdeNadel,quimesurentdefac¸onpre´cisel’influencedesensem-
bles-basedessyte`mesline´airesconside´r´es.Lecadredetravailestlathe´oriedeHodge
L
2
,etlesoutilsanalytiquessous-jacentssontlesthe´ore`mesd’existence
L
2
pour
lessolutionsdel’ope´rateur
∂
.Unedesapplicationsmarquantesdecestechniques
estlade´monstrationduthe´ore`medel’invariancedesplurigenresparde´formation,
re´cemmentobtenuparY.T.Siu[Siu97]danslecasdesvarie´te´sdetypege´ne´ral.Le
lecteurpourraconsulterY.Kawamata[Kaw97b,Kaw98]pourdiversesge´ne´ralisations
dansuncontexteplusalge´brique,incluantnotammentlecasdesde´formationsde
varie´te´sayantdessingularite´scanoniques.
The´ore`me(Siu).
Soit
X
→
S
unefamilleprojectivelissedevarie´te´sdetypege´ne´ral
au-dessusd’unebase
S
irre´ductible.Alorslesplurigenres
p
m
(
X
t
)=
h
0
(
X
t
,mK
X
t
)
desfibressontinde´pendantsde
t
pourtout
m
≥
0
.
L’assertionplusge´ne´raleou`lesfibres
X
t
seraientdedimensiondeKodairaquel-
conqueestencoreconjecturale(etne´cessitevraisemblablementdestechniquesde
the´oriedeHodgebeaucouppluse´labore´es).Nousallonsmaintenantdonnerunaperc¸u
desme´thodesutilise´esetdelapreuvedesprincipauxre´sultats–enessayantdenous
adresseraulecteurnonne´cessairementspe´cialistedelage´ome´triealge´brique.

2.ME´TRIQUESSINGULIE`RESETTHE´ORE`MESD’ANNULATION

2.1.Me´triqueshermitiennessingulie`res
Soit(
L,h
)unfibre´holomorpheendroiteshermitiensurunevarie´te´complexe
X
.
Onnesupposepasaprioriquelame´trique
h
soitdeclasse
C
∞
,maisonposetoute-
foisuneconditionrestrictivedemanie`rea`pouvoircalculerlacourbureausensdes
courants(cf.[Dem90,DPS94]).

852-03

2.1.1.De´finition.
Uneme´trique
(
hermitienne
)
singulie`resurunfibre´endroites
L
estuneme´triquedonne´edanstoutetrivialisation
τ
:
L
|
U
−
≃
→
U
×
C
par

k
ξ
k
=
|
τ
(
ξ
)
|
e
−
ϕ
(
x
)
,x
∈
U,ξ
∈
L
x
ou`
ϕ
∈
L
l1oc
(
U
)
estunefonctionarbitrairelocalementinte´grable
(
pourlamesurede
Lebesguedansdescoordonne´eslocales
)
,appele´epoidsdelame´triqueparrapporta`la
trivialisation
τ
.
Si
τ
′