arXiv:1509.02203v3 [math.AG] 3 Mar 2016

arXiv:1509.02203v3 [math.AG] 3 Mar 2016
FAISCEAUX PERVERS SUR LES ESPACES D’ARCS I : LE CAS
D’ÉGALES CARACTÉRISTIQUES
ALEXIS BOUTHIER, DAVID KAZHDAN
(A. Bouthier) UC Berkeley, 970 Evans Hall, Berkeley, CA 94720 USA
E-mail address : [email protected]
(D. Kazhdan) Einstein Institute of Mathematics, Hebrew University, Givat Ram, Jerusalem,
91904, Israël
E-mail address : [email protected]
Table des matières
Introduction
1. Construction d’un atlas
2. Le topos pro-lisse
3. Topos saturé et descente cohomologique
4. Dualité de Verdier
5. Six opérations
6. Les Zℓ -coefficients
7. Les Qℓ -coefficients
8. Faisceaux pervers
9. Applications
Références
2
5
13
15
16
23
27
30
33
39
41
Résumé :
Cet article jette les bases d’une théorie des faisceaux pervers sur les espaces d’arcs ainsi
qu’elle a été conjecturée par Feigin-Frenkel en 1990. Dans un premier temps, on établit
un théorème de structure sur les espaces d’arcs L X où X est un k-schéma de type fini, k
un corps. Plus précisément, on montre que localement pour la topologie pro-lisse, l’espace
d’arcs est un produit de le forme Y × AN avec Y de type fini. Cet énoncé globalise le
théorème de Drinfeld-Grinberg-Kazhdan et montre une conjecture de Kollar et Nemethi. On
utilise ensuite ce théorème de structure pour construire une catégorie dérivée de faisceaux
constructibles, stable par les six opérations, équipée d’un dual de Verdier et munie d’une
t-structure naturelle. Cette t-structure donne lieu à un complexe d’intersection dont on
montre que ses fibres sont les mêmes que celles du complexe d’intersection des morceaux
de dimension finie donnés par Drinfeld et Grinberg-Kazhdan. Enfin, dans un deuxième
1
temps, on montre que ce complexe d’intersection est compatible aux modèles globaux déjà
existants, construits dans divers contextes, Whittaker, L-monoïde et variété de drapeaux
semi-infinis. Il ouvre également la voie à une étude systématique de problèmes en théorie
des représentations à l’aide de techniques de géométrie algébrique en dimension infinie.
Abstract :
This article sets the foundations of a theory of perverse sheaves on arc spaces as it was
conjectured by Feigin-Frenkel in 1990. We establish a structure theorem on the arc space
L X of a k-scheme of finite type. More precisely, we show that the arc space is locally for the
pro-smooth toplogy of the form Y × AN where Y is of finite type. This statement globalizes
Drinfeld-Grinberg-Kazhdan’s theorem and proves a conjecture of Kollar and Nemethi. Then,
we use this theorem to construct a derived category of constructible sheaves, stable by the
six operations, equipped with a Verdier dual and with a natural t-structure. This t-structure
gives rise to an intersection complex whose fibers are the same as the ones coming from the
IC-sheaves on the finite dimensional model of Drinfeld and Grinberg-Kazhdan. Finally, we
prove that this intersection complex is compatible to the existing global models, Whittaker,
L-monoids and semi-infinite flag varieties. It also opens the way to a systematic study of
problems in representation theory, using infinite-dimensional algebraic geometry.
Introduction
0.1. État du problème. La nécessité de définir une bonne catégorie de faisceaux pervers
sur des espaces de dimension infinie et plus particulièrement sur certains espaces d’arcs,
remonte aux travaux fondateurs de Feigin-Frenkel [12] sur la variété de drapeaux semi-infini.
Depuis, cette hypothétique catégorie de faisceaux pervers n’a cessé de faire son apparition
comme fil directeur de nombreux travaux, d’abord en théorie de la représentation et en
Langlands géométrique ([13], [7], [15]) puis plus récemment dans l’étude des fonctions L
([31], [29]).
En l’absence d’une telle catégorie, la méthode dont on disposait jusqu’alors était de remplacer ces objets de nature locale de dimension infinie, par des espaces de modules globaux
sur lesquels on pouvait par exemple calculer des complexes d’intersections. On retrouve ce
type de techniques, entre autres, dans les travaux de Finkelberg-Mirkovic [13], BravermanGaitsgory-Finkelberg-Mirkovic [7] et Bouthier-Ngô-Sakellaridis [6]. Pour s’assurer que ces
espaces de modules globaux soient compatibles aux modèles locaux, on dispose sur ces espaces d’arcs d’un théorème de structure dû à Drinfeld [10] et Grinberg-Kazhdan [19] qui
décompose le voisinage formel d’un arc non-dégénéré en une partie de dimension finie multipliée par un disque formel de dimension infinie. La nature de la singularité en un arc γ(t)
est alors contenue dans la partie de dimension finie ; si de plus on se place sur un corps fini, il
est possible, à partir de ces morceaux de dimension finie de définir une « fonction locale » et
Bouthier-Ngô-Sakellaridis montrent que la fonction locale est compatible à la « fonction globale » [6, 1.21-2.5]. Toutefois, on s’attend à ce que cette « fonction locale » provienne d’un
certain faisceau pervers sur l’espace d’arcs. Cet article répond à ce problème et construit
une catégorie des faisceaux pervers sur les espaces d’arcs L X pour un k-schéma de type
2
fini X sur un corps k algébriquement clos. Il est également une étude des singularités de
l’espace d’arcs sur lequel peu de choses étaient connues jusqu’alors.
0.2. Énoncés principaux. Soit k algébriquement clos, soit ℓ un premier différent de la
caractéristique. Soit f : S ′ → S, un morphisme de k-schémas, il est dit pro-lisse, s’il s’écrit
comme une limite projective filtrante de S-schémas lisses. Soit X un k-schéma de type fini,
L X son espace d’arcs, on dispose d’une suite croissante d’ouverts L X ≤n où l’on borne la
valuation de la singularité par n. Avant d’énoncer les principaux théorèmes, on commence
par rappeler l’énoncé de Drinfeld-Grinberg-Kazhdan [10], [19]. Supposons dim X ≥ 1, soit
γ(t) ∈ (LX≤n )(k), alors le théorème de Drinfeld-Grinberg-Kazhdan montre qu’il existe un
k-schéma de type fini Y et un k-point y de Y tel que l’on a un isomorphisme de voisinages
formels :
ˆ ∞
LX∧
γ(t) ≃ Yy ×D .
où D ∞ est la complétion en 0 de AN . Le but est d’obtenir cet énoncé dans un voisinage,
pour une topologie appropriée, de l’arc γ(t).
Suivant une idée du premier auteur, on démontre alors le théorème suivant :
Théorème 0.1. Soit n ∈ N, Il existe un schéma Z et un morphisme :
z : Z → L X ≤n
sujet aux propriétés suivantes :
(1) z est pro-lisse, surjective et induit un isomorphisme sur les voisinages formels en
tout k-point de Z.
(2) il existe un k-schéma de type fini Y tel que l’on a un morphisme :
u : Z → Y × AN
pro-étale.
Dans le cas analytique, l’existence de tels atlas avait été conjecturée par Kollar-Nemethi
[23, Conj.73]. En particulier, on est naturellement amené à considérer une nouvelle topo≤n
logie, la topologie pro-lisse et le site pro-lisse LX≤n
pro-lis sur l’espace d’arcs LX . Notre
deuxième énoncé est alors le suivant :
Théorème 0.2. Il existe une catégorie Dcb (LX≤n
pro-lis , Qℓ ), équipée d’un dual de Verdier :
≤n
b
D : Dcb (LX≤n
pro-lis , Qℓ ) → Dc (LXpro-lis , Qℓ )
tel que D 2 ≃ Id. Cette catégorie est munie d’une t-structure, de coeur Perv(LX≤n , Qℓ ), de
telle sorte que le foncteur D induit une anti-autoéquivalence de Perv(LX≤n , Qℓ ).
Si k est une immersion localement fermée constructible, on dispose également de foncteurs
k∗ , k! , k∗ , k! qui stabilisent la catégorie constructible. On obtient alors une catégorie de
faisceaux pervers, à l’intérieur de laquelle nous avons alors un objet canonique : le complexe
d’intersection ICLX≤n de LX≤n . Le dernier énoncé est le suivant :
3
Théorème 0.3. Les fibres de ICLX≤n sont les mêmes, que les fibres des complexes d’intersection des morceaux de dimension finie donnés par Drinfeld-Grinberg-Kazhdan.
Cet énoncé permet d’obtenir un objet géométrique qui donne lieu à la fonction construite
dans [6] en même temps qu’il généralise l’énoncé de [6], puisque qu’il est également valable
sur les complexes. Ce théorème permet également de déduire la compatibilité du modèle local avec les modèles globaux qui apparaissent dans les cas Whittaker [7], variété de drapeaux
semi-infinis [13].
0.3. Problèmes ouverts. A l’aide de ce travail, les auteurs espèrent ouvrir un certain
nombre de perspectives. En premier lieu, se pose la question du cas de caractéristique mixte.
Il devrait permettre la construction d’un dictionnaire fonctions-faisceaux p-adiques. Les
travaux de Zhu [35] ont introduit la grassmanienne affine en caractéristique mixte à l’aide
des vecteurs de Witt. Néanmoins, l’utilisation des vecteurs de Witt s’accommode mal des
extensions artiniennes, ce qui pose problème pour déformer des arcs. En particulier, il n’est
pas immédiat de formuler un théorème de Drinfeld-Grinberg-Kazhdan dans ce contexte ; la
réponse à ces questions fait l’objet d’un travail en cours entre les deux auteurs et Xinwen
Zhu.
Dans un deuxième temps, ce travail devrait permettre de traiter des problèmes de théorie de la représentation. Plus précisément, on peut espérer une théorie de Springer affine
entièrement locale, sans avoir recours aux arguments globaux de Yun [34]. En utilisant des
idées de Goresky-McPherson, on peut définir une notion d’application petite dans le cas
affine pour laquelle l’image d’un faisceau pervers reste perverse. Enfin, en ce qui concerne
plus spécifiquement la théorie des singularités, ainsi que le suggèrent Kollar-Nemethi [23],
le théorème de structure 0.1 devrait se révéler utile pour des applications au problème de
Nash, par exemple.
Passons en revue l’organisation de l’article ; dans la première section, on s’attache à
construire des atlas formels des schémas LX≤n et on montre l’énoncé 0.1. On introduit
ensuite le topos pro-lisse et à l’aide des résultats de Bhatt-Scholze, on établit certaines propriétés générales de ce topos. On construit ensuite la dualité de Verdier pour des coefficients
finis en utilisant le théorème de recollement de BBD et on établit des résultats de finitude
pour les complexes constructibles à coefficients finis. On passe ensuite à la définition des
catégories ℓ-adiques, à nouveau, on fait grand usage des travaux de Bhatt et Scholze. Enfin,
dans les deux dernières sections, on équipe la catégorie Dcb (LX≤n
pro-lis , Qℓ ) d’une t-structure
et on montre le théorème 0.3.
Nous tenons à exprimer nos plus vifs remerciements à Peter Scholze pour sa relecture attentive du manuscrit ainsi que pour ses nombreux commentaires éclairés. Nous remercions
également Gérard Laumon et Yakov Varshavsky pour les multiples discussions que nous
avons eu au sujet de ce travail. Enfin, nous remercions Bhargav Bhatt, Ofer Gabber, Julien
Sebag et David Bourqui. Enfin, durant l’exécution de ce travail les auteurs ont été partiellement financés par le ERC Grant et le Lady Davis Fellowship. Le premier auteur tient
4
également à remercier l’ Université Hébraïque de Jerusalem pour les très bonnes conditions
de travail.
1. Construction d’un atlas
1.1. Les morphismes pro-lisses.
Définition 1.1. Un morphisme de schémas f : X → Y est faiblement étale s’il est plat et
∆f : X → X ×Y X est plat.
On rappelle le théorème de structure des morphismes faiblement étales dû à BhattScholze [4, Thm. 1.3] :
Théorème 1.2. Soit f : A → B un morphisme d’anneaux.
(1) Si f est faiblement étale et de présentation finie, alors f est étale.
(2) Si f est ind-étale, i.e. B est une limite inductive filtrante de A-algèbres étales, alors
B est faiblement étale.
(3) Si f est faiblement étale, alors il existe un morphisme fidèlement plat ind-étale
B → C tel que A → C soit ind-étale.
Définition 1.3. Soit f : X → Y un morphisme de schémas, f est :
(1) pro-lisse s’il s’écrit comme une limite projective filtrante de schémas lisses sur Y .
(2) faiblement lisse s’il admet une factorisation :
h /
Z
❆❆
❆❆
g
❆
f ❆❆ X❆
Y
avec g pro-lisse et h faiblement étale.
Remarque : Cette définition de faiblement lisse n’est pas optimale, puisqu’elle n’est pas
nécessairement Zariski-locale sur la source. Néanmoins, elle sera suffisante pour nous, étant
donné qu’après un morphisme pro-lisse, on se ramènera à la topologie pro-étale qui, elle,
est bien Zariski-locale sur la source.
On a les propriétés suivantes pour les morphismes faiblement lisses :
Proposition 1.4. Si f : X → Y est faiblement lisse, alors X est plat sur Y et le complexe
cotangent LX/Y est concentré en degré zéro et plat sur X.
Démonstration. Si f est pro-lisse, cela vient directement du fait que le complexe cotangent
commute aux limites inductives filtrantes d’algèbres et qu’une limite inductive filtrante
d’algèbres plates est plate.
Pour obtenir le résultat dans le cas faiblement lisse, cela résulte du fait que le complexe cotangent d’un morphisme faiblement étale est nul d’après Gabber-Ramero [18, Thm. 2.5.36,
Prop. 3.2.16].
5
Remarque : La réciproque est malheureusement fausse d’après un contre-exemple de
Gabber, rédigé par Bhatt [3]. De plus, l’exemple rédigé par Bhatt pourrait amener à croire
qu’il s’agit d’une pathologie typique de la caractéristique p. Néanmoins, Gabber nous a
communiqué que le résultat reste faux en caractéristique zéro. En remplaçant la perfection
de l’algèbre Bi de [3] par l’algèbre où l’on ajoute les racines carrés, on obtient à nouveau
une algèbre non-réduite dont le complexe cotangent est plat et placé en degré zéro.
Lemme 1.5. Soit f : W → Z̃ un morphisme de présentation finie et Z̃ pro-lisse sur Y ×AN ,
avec Y un k-schéma de type fini, alors il existe Y ′ un k-schéma de type fini tel que W soit
pro-lisse sur Y ′ × AN .
Démonstration. Comme W est de présentation finie sur Z̃, il se descend en un schéma Wi
de présentation finie sur Y × AN et ce schéma de présentation finie sur Y × AN se descend
lui-même en un k-schéma Wi0 de type fini de telle sorte que :
Wi = Wi0 × AN
et W est pro-lisse sur Wi ce qui conclut.
1.2. Rappels sur les espaces d’arcs. Soit un corps k algébriquement clos et un k-schéma
de type fini X. L’hypothèse que k soit algébriquement clos n’est pas indispensable, mais
elle est plus agréable pour formuler les énoncés.
Pour tout entier j ∈ N, on considère le foncteur des arcs tronqués d’ordre j, Lj X, dont
les R-points sont les R[t]/(tj+1 )-points de X. Il est représentable par un k-schéma de type
fini. On considère alors l’espace d’arcs formels :
LX := lim Lj X.
←−
j∈N
En général, c’est un k-schéma non noethérien (à part si dim X = 0, cf. [30, Thm.2.5.5] pour
un énoncé relatif plus général), il vérifie la propriété universelle pour toute k-algèbre R :
Hom(Spec(R), LX) = Hom(Spec(R[[t]]), X).
Remarque : Pour un k-schéma de type fini X quelconque, cette assertion est non triviale
et fait l’objet d’un théorème de Bhatt [2, Thm.1.1].
Si X = A1 , on a L A1 = AN . Pour tout j ∈ N, on dispose de flèches de projection :
fj : LX → Lj X.
Si X est lisse, ces flèches sont formellement lisses et surjectives. Dans le cas singulier, les
flèches ne sont ni formellement lisses, ni plates, ni même surjectives et l’étude des singularités
de l’espace d’arcs s’avère délicate. Néanmoins, on dispose d’un théorème sur la structure
formelle de l’espace d’arcs.
Soit Xsing le fermé complémentaire de l’ouvert lisse de X, on considère l’ouvert des arcs
non-dégénérés :
L• X := LX − LXsing .
On rappelle le théorème de Drinfeld [10] et Grinberg-Kazhdan [19] :
6
Théorème 1.6. Supposons dim X ≥ 1, soit γ(t) ∈ (L• X)(k), alors il existe un k-schéma
de type fini Y et un k-point y de Y tel que l’on a un isomorphisme de voisinages formels :
ˆ ∞
LX∧
γ(t) ≃ Yy ×D .
où D ∞ est la complétion en 0 de AN .
Remarques :
(1) A la suite de [6], on appelle la paire (Y, y) un modèle formel de dimension finie en
γ(t). Il s’agit maintenant de voir comment l’on peut globaliser ce théorème.
(2) Un modèle formel de type fini n’est en général ni irréductible, ni même réduit, on
renvoie à [10] pour des exemples.
(3) D’après Bourqui-Sebag [5], le théorème de Drinfeld-Grinberg-Kazhdan ne s’étend
pas pour les arcs dégénérés γ ∈ LXsing ⊂ LX.
1.3. Un cas particulier d’intersection complète.
Soit X le sous-schéma fermé de Spec(k[x1 , . . . , xm , y1 , . . . , yl ]) défini par p1 = · · · = pl = 0.
∂pi
∂p
(x, y) la matrice jacobienne de coefficients ∂y
(x, y). On verra que le cas général
On note ∂y
j
peut se ramener à un schéma de ce type. On a un morphisme :
Q : LX → L A1
∂p
donné par γ(t) = (x(t), y(t)) 7→ Q(γ(t)) := det ∂y
(x(t), y(t)). Pour tout n ∈ N, on a alors
une flèche composée :
Qn : LX → L A1 → A1 (O/tn+1 ) = An+1 .
On définit alors :
n+1 − {0})
LX≤n := Q−1
n (A
l’ouvert constitué des arcs γ(t) tels que val(Q(γ(t))) ≤ n. De même, on note
LX=n := Q−1
n ({0} × Gm )
la strate constituée des arcs γ(t) tels que val(Q(γ(t))) = n. Considérons un arc γ0 (t) :=
(x0 (t), y0 (t)) ∈ (LX≤n )(k). On a vu d’après 1.6 qu’il existe un schéma de type fini Yn et un
k-point y0 de Yn tel que l’on a un isomorphisme de voisinages formels :
ˆ ∞
LX∧
γ0 (t) ≃ Yn,y0 ×D .
Dans le cas où X est intersection complète du type considéré, Drinfeld [10] donne une
description explicite du schéma Yn ; pour une k-algèbre R, Yn (R) classifie les triplets (q, x̄, ȳ)
tels que :
(1) q ∈ R[t] est un polynôme unitaire de degré n,
(2) x̄ ∈ R[t]/(q 2 ), ȳ ∈ R[t]/(q),
(3) p(x̄, ȳ) = 0 [q],
(4) det(B) = 0 [q], B̂p(x̄, ȳ) = 0 [q 2 ], où B :=
cofacteurs de B.
7
∂p
∂y (x̄, ȳ)
et B̂ désigne la matrice des
(5) On ajoute la condition supplémentaire pour le schéma Yn que la réduction de
q −1 det(B) modulo t est inversible.
Remarque : La dernière condition est toujours vérifiée dans Drinfeld étant donné que l’on
regarde les déformations infinitésimales de l’arc γ0 (t). En revanche, elle est nécessaire pour
des anneaux tests plus généraux.
Le point y0 ∈ Yn (k) correspond au triplet :
q(t) = tn , x̄ = x0 (t) [t2n ] et ȳ = y0 (t) [tn ].
On a un morphisme :
θ n : Yn → A n
donné par (q, x̄, ȳ) 7→ (a0 , . . . , an−1 ), avec q(t) = tn + an−1 tn−1 + · · · + a0 . On en déduit une
stratification naturelle de Yn :
ǹ
Yn =
i=1
Yn=i ,
n−i ).
avec Yn=i := θn−1 ({0} × Gm
Lemme 1.7. On a un isomorphisme canonique :
φn : LX=n → Yn=n × L Am .
Démonstration. Soit un anneau R et γ(t) := (x(t), y(t)) ∈ (LX=n )(R), alors Q(γ(t)) = tn u
avec u ∈ R[[t]]∗ . En particulier, on obtient une flèche canonique :
LX=n → Yn=n × L Am
donnée par (x(t), y(t)) 7→ (tn , x(t) [t2n ], y(t) [tn ], ξ(t)) où ξ(t) est tel que :
x(t) = x̄(t) + t2n ξ(t).
Maintenant, pour prouver que c’est un isomorphisme, il suffit de reprendre la preuve de
Drinfeld [10] qui est valable sur une base arbitraire comme Q(t) = tn u avec u ∈ R[[t]]
inversible.
On peut maintenant formuler l’énoncé principal de cette section :
Théorème 1.8. Soit n ∈ N, alors il existe un schéma affine
z : Z → LX≤n
qui vérifie les propriétés suivantes :
(1) z est pro-lisse surjectif sur les k-points.
(2) Il existe une flèche pro-étale p : Z → Y × AN , où Y est un k-schéma affine de type
fini.
(3) z induit un isomorphisme formel en tout k-point de Z.
(4) Il existe un fermé F de Y , tel que p induise un isomorphisme :
p : Z ≃ (Y × AN )hFN
où (Y × AN )hFN est l’hensélisé le long de FN := F × AN .
8
On appelle un tel schéma Z un atlas formel.
Remarques :
(1) Un argument clé dans la preuve de Drinfeld du théorème 1.6 est d’avoir recours au
théorème de division de Weierstrass. Cela explique pourquoi il obtient un résultat
sur les voisinages formels puisque que le théorème de division de Weierstrass n’est
pas vrai pour des anneaux tests généraux. L’idée derrière la preuve du théorème
est de faire un changement de base par des morphismes du type « Weierstrass »,
lesquels sont pro-lisses et de se ramener ensuite à la preuve de Drinfeld.
(2) En particulier, il n’est pas raisonnable d’espérer que l’on puisse avoir un résultat en
remplaçant pro-lisse par pro-étale ou lisse. En effet, le type de flèche qui apparaît
n’est pas formellement lisse, ce qui écarte toutes possibilités d’obtenir un résultat
pour une topologie moins fine.
1.4. Preuve de l’énoncé 1.8. Fixons un entier n ∈ N.
Lemme 1.9. On considère un morphisme de schémas f : W∞ → S∞ , x0 ∈ W∞ (k) et
y 0 = f (x0 ). On fait les hypothèses suivantes :
(1) W∞ := lim Wi et S∞ := lim Sj avec des morphismes de transitions lisses et surjectifs
←−
←−
entre k-schémas de type fini.
(2) f est un isomorphisme formel en x0 .
(3) Pour tout j ∈ N, il existe m ∈ N tel que la flèche composée W∞ → S∞ → Sj se
factorise par un Wm .
Alors la flèche Wm → Sj est lisse en x0m := pm (x0 ) avec pm : W∞ → Wm . En particulier,
f est pro-lisse en x0 .
Démonstration. Montrons que la flèche Wm → Sj est lisse en x0m . Comme les schémas sont
de type fini, il suffit de vérifier le critère infinitésimal pour un anneau artinien.
Soit alors I ⊂ R un idéal de carré nul avec R artinien, R̄ := R/I et m son idéal maximal.
Soit x̄m ∈ Wm (R̄) d’image ȳj ∈ Sj (R̄). Soit yj ∈ Sj (R) qui relève ȳj . Comme la flèche
W∞ → Wm est formellement lisse et surjective, il existe x̄∞ ∈ W∞ (R̄) qui relève x̄m et
dont la réduction modulo m est x0 . Soit z̄∞ := f (x̄∞ ), alors z̄∞ s’envoie sur ȳj . Comme la
flèche
S∞ → Sj
est formellement lisse, il existe z∞ qui relève z̄∞ et s’envoie sur yj . Maintenant, f est
un isomorphisme formel, donc il existe un unique x∞ ∈ W∞ (R) qui s’envoie sur z∞ . On
projette x∞ dans Wm (R) et on obtient le résultat voulu. Pour obtenir l’assertion sur la
pro-lissité, on fait le changement de base de la flèche Wm → Sj à S∞ .
Soient n ∈ N, on considère la flèche :
f
: An × A2n × An × L(A2 × Gm ) →
L A3
((q, x̄, ȳ), (ξ(t), η(t), u(t)))
7→ (qu(t), x̄ + q 2 ξ(t), ȳ + qη(t))
9
où q est un polynôme unitaire de degré n, x̄ un polynôme de degré strictement inférieur
à 2n et ȳ un polynôme de degré strictement inférieur à n, dont les coefficients sont vues
comme les coordonnées sur les espaces affines respectifs. Notons
(n)
et S∞
W∞ := An × A2n × An × L(A2 × Gm )
3
= L A . La première projection suivant q donne un morphisme :
(n)
p 1 : W∞ → A n .
=n := p−1 ({0}).
On note alors W∞
1
=n (k), la flèche
Lemme 1.10. En tout point x ∈ W∞
(n)
f : W∞ → S ∞
est un isomorphisme formel et est pro-lisse en x.
Démonstration. Le fait que la flèche est un isomorphisme formel résulte immédiatement du
théorème de division de Weierstrass. L’assertion sur la pro-lissité se déduit alors du lemme
1.9.
Soit X le sous-schéma fermé de Spec(k[x1 , . . . , xm , y1 , . . . , yl ]) défini par p1 = · · · = pl =
∂p
(x, y), on a un morphisme :
0. Soit Q(x, y) := det ∂y
g :
LX
γ(t) = (x(t), y(t))
→
L Am+l+1
.
7
→
(Q(x(t), y(t)), x(t), y(t))
(n)
(n)
On considère alors une variante de la flèche f et du schéma W∞ , notée W∞,X et
(n)
fX : W∞,X → L Am+l+1 ,
où l’on remplace x̄ le polynôme de degré inférieur à 2n−1 par un m-uplet de tels polynômes
et de même ȳ est remplacé par un l-uplet de polynômes de degré inférieur n − 1. Enfin ξ
et η sont remplacés respectivement, par un m-uplet et un l-uplet de séries formelles. On
forme le carré cartésien :
/ LX
Zn
g
(n)
W∞,X
fX
/ L Am+1
=n . En particulier, d’après le lemme 1.10 la
On note également Zn=n l’image inverse de W∞,X
flèche
Zn → L X
est pro-lisse en tout k-point de Zn=n . On a une flèche naturelle
φ : Zn → Y n × L A m
donnée par :
(x(t), y(t)) 7→ (q, x̄, ȳ, ξ)
2
où x(t) = x̄ + q ξ(t), y(t) = ȳ + qη(t) et Q(x(t), y(t)) = q(t)u(t) et Yn est le modèle de
Drinfeld introduit dans la section 1.3.
10
Proposition 1.11. La flèche φ est faiblement étale en tout point de Zn=n .
Démonstration. D’après [32, 36.47.11], il suffit de montrer que la flèche identifie les hensélisés en tout point de Zn=n et en particulier que les foncteurs sont isomorphes pour tout
anneau local hensélien R. On considère alors R un anneau local hensélien d’idéal maximal
m, de corps résiduel L. Soit z0 := (q0 , x̄0 , ȳ0 , ξ0 ) ∈ (Yn=n × L Am )(L) et z := (q, x̄, ȳ, ξ) ∈
(Yn × L Am )(R) qui s’envoie sur z0 . Posons x(t) = x̄ + q 2 ξ(t), on cherche y(t) sous la forme :
y(t) = ȳ + qη(t),
de telle sorte que (x(t), y(t)) ∈ LX, ce qui prouvera l’assertion.
Tout d’abord, il résulte du lemme 1.7 qu’il existe un unique η0 (t) ∈ L[[t]] de telle sorte
que
(x0 (t), y0 (t)) ∈ (LX=n )(L)
avec y0 (t) = ȳ0 + qη0 (t) et x0 (t) = x̄0 + q 2 ξ0 (t). En particulier, quitte à changer ȳ0 en y0 (t),
on peut supposer que p(x0 (t), ȳ0 ) = 0. On a alors :
p(x(t), ȳ + qη(t)) = p(x(t), ȳ) + qBη(t) + q 2 H(x, ȳ, η),
avec B :=
∂p
∂y (x(t), ȳ).
L’équation p(x(t), y(t)) = 0 se récrit alors :
q det(B)[η(t) + B̂H(x, ȳ, η)] = −B̂p(x(t), ȳ),
où B̂ est la matrice des cofacteurs qui vérifie B B̂ = det(B) Id. Maintenant, en utilisant les
équations (4) et (5) qui définissent Yn , on a :
B̂p(x(t), ȳ) = 0 [q 2 ],
det(B) = 0 [q] et q −1 det(B) ∈ R[[t]]∗ , on est donc ramené à résoudre :
[η(t) + B̂H(x, ȳ, η)] = − B̂p(x(t),ȳ)
q det(B) ,
Posons s = − B̂p(x(t),ȳ)
q det(B) On considère alors l’application :
Φ : R[[t]] → R[[t]]
donnée par Φ(η(t)) = η(t) + B̂H(x, ȳ, η) − s. Modulo l’idéal maximal, comme z s’envoie sur
z0 et comme on s’est ramené au cas où p(x0 (t), ȳ0 ) = 0, on a Φ(0) = 0 et le déterminant
jacobien en zéro est inversible, il existe donc un unique η(t) ∈ R[[t]] tel que Φ(η(t)) = 0, ce
qu’on voulait.
De la preuve de la proposition 1.11 résulte le corollaire suivant :
Corollaire 1.12. Soit (Zn )hZn=n l’hensélisation le long du fermé Zn=n et (Yn × AN )hY =n l’henN
sélisation le long du fermé YN=n := Yn=n × AN , alors on a un isomorphisme :
(Zn )hZn=n ≃ (Yn × AN )hY =n .
N
On peut maintenant terminer la preuve du théorème 1.8 :
11
Démonstration. Soient Z :=
`
d≤n
(Zd )hZ =d et Y :=
d
`
Yd . Par la proposition 1.11 et son
d≤n
corollaire 1.12, on obtient donc une flèche pro-lisse et surjective sur les k-points :
Z → LX≤n
N
qui induit un isomorphisme formel en tout k-point et une flèche pro-étale
` =d Z → NY × A qui
N
Yd ) × A .
induit un isomorphisme sur l’hensélisation le long de S × A := (
d≤n
1.5. Le cas général. Pour étendre l’existence d’un atlas à un schéma quelconque, on
reprend les arguments de réduction de [9] et [28].
On considère maintenant un k-schéma de type fini X, réduit, pur de dimension d. On
considère le sous-schéma jacobien JacX , l’idéal de Fitting Fittd (ΩX ). Les constructions
étant locales, on peut supposer de plus que X est affine. On renvoie à [11] pour des rappels
sur les idéaux de Fitting. Le support du schéma jacobien est précisément le lieu singulier
Xsing de X. Si on plonge X dans un espace affine AN et que f1 , . . . , fm ∈ AN engendrent
l’idéal de X dans AN , alors JacX est engendré par les mineurs d’ordre l de la matrice
jacobienne (∂fi /∂xj )i,j avec l = N − m. Pour tout entier n ∈ N, on peut alors considérer
l’ouvert
LX≤n := {γ ∈ LX | ordγ (JacX ) ≤ n}
où ordγ (JacX ) := valt (γ ∗ JacX ). Il résulte alors de [9] et [28, Prop.4.1, Lem. 4.2] la proposition suivante :
Proposition 1.13. Soient r, n des entiers avec r ≥ n, alors il existe des schémas intersections complètes Mi du type de la section 1.3 et un recouvrement par des ouverts Ui de
Lr X ≤n qui vérifient les conditions suivantes :
(1) On a des immersions fermées X → Mi .
(2) Les ouverts Ui sont contenus dans Lr Mi≤n .
(3) Soit Vi l’image réciproque de Ui dans LX, alors on a un carré cartésien :
Vi
/ L M ≤n
i
/ Lr Mi
Ui
(4) Pour tout γ ∈ Vi (k), on a un isomorphisme de voisinages formels :
∧
LX∧
γ ≃ L Mi,γ .
On peut maintenant énoncer la proposition clé
Proposition 1.14. Pour tout n, le schéma LX≤n admet un atlas formel :
V → LX≤n .
12
Démonstration. Soient des ouverts Ui , Vi et un schéma intersection complète Mi , tels que
dans la proposition 1.13. Il suffit de montrer l’existence d’un atlas formel pour Vi . On a
alors un carré cartésien :
/ L M ≤n
Vi
i
Ui
/ Lr Mi
En particulier, on a une immersion localement fermée constructible Vi → L Mi≤n . On forme
alors le carré cartésien :
/ Z̃
Wi,n
/ L M ≤n
i
Vi
où Z̃ est un atlas formel donné par le théorème 1.8. On obtient alors par changement de
base que Wi,n → Vi est également un atlas formel. Comme Wi,n → Z̃ est une immersion
localement fermée constructible, il résulte du lemme 1.5 que Wi,d est pro-étale sur un schéma
Z ′ × AN avec Z ′ de type fini.
2. Le topos pro-lisse
Soit k un corps, soit ℓ un premier différent de la caractéristique. On définit Schk la
catégorie des k-schémas quasi-compacts, quasi-séparés.
Définition 2.1. Soit S un k-schéma. Soit Spro-lis la catégorie dont les objets sont triplets
(U, u, p) où u : U → S est faiblement lisse et p : U → Y est un morphisme faiblement
lisse avec Y un k-schéma de type fini. La topologie sur cette catégorie est celle engendrée
par la prétopologie pour laquelle Cov((U, u, p)) est l’ensemble des familles de morphismes
{(Ui , ui , pi ) → (U, u, p)} dans Uproét qui forment un recouvrement.
On considère Sh(Spro-lis ) le topos associé. Soit (U, u, p) un ouvert pro-lisse de Spro-lis , tout
faisceau pro-lisse F sur Spro-lis définit par restriction un faisceau pro-étale sur U noté FU,u .
Pour tout morphisme φ : (U, u, p) → (V, v, q) dans Spro-lis , tout faisceau pro-lisse F induit
un morphisme de faisceaux pro-étales :
θφ : FV,v → φ∗ FU,u
d’où par adjonction un morphisme de faisceaux pro-étales :
θφ♭ : φ−1 FV,v → FU,u .
On a le lemme suivant, d’énoncé et de preuve analogue à [27, Lem.12.2.1] :
Lemme 2.2. La catégorie des faisceaux pro-lisses F sur Spro-lis est équivalente à la catégorie
des systèmes :
(F(U,u) , θφ )
13
où pour chaque ouvert pro-lisse (U, u, p) de Spro-lis , FU,u est un faisceau pro-étale sur U et
où pour tout morphisme φ : (U, u, p) → (V, v, q) entre de tels ouverts, θφ : FV,v → φ∗ FU,u
est un morphisme de faisceaux pro-étales sujet aux conditions suivantes :
φ
ψ
(1) Pour toute flèche composée (U, u, p) → (V, v, q) → (W, w, r) dans LX≤n
pro-lis , on a :
ψ∗ θφ ◦ θψ = θψ◦φ .
(2) Si φ est étale, θφ♭ est un isomorphisme.
Remarque : Pour (U, u, p) fixé dans Spro-lis , on a immédiatement que le foncteur F 7→
FU,u de Spro-lis dans Uproét commute aux limites inductives et projectives arbitraires. En
particulier, pour calculer des limites inductives ou projectives dans Spro-lis , il suffit par
l’équivalence 2.2 de se ramener au calcul pour les faisceaux pro-étales sur les ouverts prolisses.
Définition 2.3. Soit F ∈ Sh(Spro-lis ) un faisceau pro-lisse, il est cartésien si les morphismes
θφ♭ sont des isomorphismes.
Lemme 2.4. Soit π : X ′ → X un morphisme pro-lisse surjectif, soit F ∈ Sh(Xproét ),
alors π ∗ F est localement constant (resp. constructible) si et seulement si F est localement
constant.
Démonstration. Un sens est évident. Montrons la réciproque, comme π ∗ F est localement
constant pour la topologie pro-étale et que l’anneau est discret, il se trivialise sur un morphisme étale de Y ′ → X ′ d’après [4, 5.1.5]. Maintenant, la flèche Y ′ → X ′ se descend en
un morphisme étale Yi de Xi avec Xi lisse surjectif sur X et l’assertion est bien connue [27,
18.1.2.2].
Définition 2.5. Soit R un anneau discret. Un faisceau pro-étale de R-modules F sur un
schéma S est dit localement constant s’il existe un recouvrement (Ui ) de S tel que F|Ui est
constant.
Un faisceau pro-étale de R-modules F sur un schéma S est dit constructible s’il pour
tout ouvert Zariski affine U de X, il existe une décomposition de U en une réunion finie de
sous-schémas fermés localement constructibles telle que F|Ui est de type fini et localement
constant.
On rappelle alors le lemme suivant [32, Lem. 51.25.2] :
Lemme 2.6. Soit R un anneau discret. On a une équivalence de catégories entre les faisceaux constructibles de R-modules sur Sproét et les faisceaux constructibles de R-modules sur
Sét .
Proposition 2.7. Soit R un anneau discret. Soit F un faisceau de R-modules pro-lisse
cartésien sur Spro-lis , les conditions suivantes sont équivalentes :
(1) Pour tout ouvert pro-lisse (U, u, p) de Spro-lis , le faisceau FU,u est localement constant
(resp. constructible).
14
(2) Il existe une présentation P : Z → S telle que le faisceau FZ,P soit localement
constant (resp. constructible).
Démonstration. Un sens est trivial. Pour la réciproque, cela résulte du lemme 2.4.
Définition 2.8. Un faisceau pro-lisse de R-modules sur Spro-lis est dit localement constant
(resp. constructible) s’il est cartésien et vérifie les conditions équivalentes de la proposition
2.7.
On a la proposition suivante, l’anneau R restant discret :
Proposition 2.9. Soit F faisceau pro-lisse de R-modules, constructible sur Spro-lis , alors
il existe une stratification finie constructible (Yi ) de Spro-lis telle que F|Yi est localement
constant.
Démonstration. Soit P : Z → S une présentation telle que FZ,P est constructible. Comme
P est pro-lisse, la stratification de Z le long de laquelle FZ,P est localement constant se
descend à un certain morphisme lisse Pi : Zi → S. Il suffit de prendre l’image de cette
stratification dans S qui est une stratification comme Pi est ouvert et F est localement
constant le long de celle-ci.
3. Topos saturé et descente cohomologique
Définition 3.1. Un topos X est dit saturé si pour tout diagramme F : Nop → X avec
Fn+1 → Fn surjectif pour tout n alors lim F → Fn est surjective pour tout n.
←−
Proposition 3.2. Le topos Sh(Spro-lis ) est saturé.
Démonstration. La preuve est similaire à [4, Ex. 3.1.7]. On considère un diagramme · · · →
Fn+1 → Fn → . . . F1 → F0 de faisceaux pro-lisses avec Fn+1 → Fn surjectifs. Pour chaque
schéma affine Spec(A) et une section s0 ∈ F0 (Spec A), il existe une application pro-lisse
A → B1 telle que s0 se relève en s1 ∈ F1 (Spec(B)). Par récurrence sur n ≥ 0, il existe une
suite d’applications A → Bn pro-lisses et des sections sn ∈ F (Spec(Bn )) telles que sn relève
sn−1 . Soit B = lim Bn , B est pro-lisse sur A et on a une section s ∈ lim Fn (Spec(B)) qui
−→
←−
relève s0 .
Cette propriété permet d’obtenir deux propriétés cruciales, la complétude et la descente
cohomologique.
Définition 3.3. Soit X un topos, on définit la complétion à gauche D̂(X ) de D(X ) comme
la sous-catégorie pleine D(X N ) engendrée par les systèmes projectifs {An } tels que :
(1) An ∈ D ≥−n (X ),
(2) L’application τ ≥−n An+1 → An induit par la flèche de transition An+1 → An et la
propriété (1) est une équivalence.
On dit que D(X ) est complète à gauche si l’application τ : D(X ) → D̂(X ) donnée par
A 7→ {τ ≥−n A} est une équivalence.
15
L’utilité de la complétude à gauche vient du fait que si D(X ) est complète, alors on a
d’après [4, Lem.3.3.2] :
∀ A ∈ D(X ), A ≃ R lim τ ≥−n A.
←−
On a alors la proposition due à Bhatt-Scholze [4, Prop.3.3.3]
Proposition 3.4. Si X est un topos saturé, alors D(X ) est complète à gauche.
La deuxième application utile à notre propos est la suivante [4, Prop.3.3.6] :
Proposition 3.5. Soit f : X• → X un hyper-recouvrement dans un topos saturé X , alors
on a :
(1) L’adjonction Id → f∗ f ∗ est une équivalence dans D(X ).
(2) L’adjonction f! f ∗ → Id est une équivalence dans D(X ).
(3) f ∗ induit une équivalence D(X) ≃ Dcart (X• ).
La catégorie Dcart (X• ) est la catégorie dérivée du topos simplicial défini par X• et
Dcart (X• ) est la sous-catégorie pleine engendrée par les complexes A qui sont cartésiens, i.e.
pour toute application s : [n] → [m] dans ∆, les applications de transitions s∗ A|Xn → A|Xm
sont des équivalences. En poussant en avant, on obtient un foncteur f∗ : D(X• ) → D(X)
qui est l’adjoint à droite de f ∗ : D(X) → D(X• ) obtenu par f ∗ A|Xn := A|Xn . A nouveau,
le théorème d’adjonction fournit un adjoint à gauche f! : D(X• ) → D(X).
Le fait que le topos pro-lisse soit saturé permet donc de pouvoir faire de la descente
cohomologique non-bornée.
4. Dualité de Verdier
4.1. Un théorème de recollement de BBD. Dans cette section, on veut construire
un complexe dualisant par recollement. On commence par des coefficients finis Λ dont le
cardinal est premier à la caractéristique. Pour construire un tel complexe, on va voir que le
site LX≤n
pro-lis admet des propriétés particulières.
On commence par rappeler le théorème de recollement de BBD. Soit S un site annelé
par un faisceau d’anneaux O. On suppose que les limites projectives existent et on note
S l’objet final. Pour tout U ∈ D(S), on note D(U ) la catégorie dérivée de la catégorie
abélienne des faisceaux de O-modules.
Soit C un crible couvrant l’objet final S de S. On appelle objet de D(S) donné Clocalement la donnée pour tout U dans C de KU dans D(U ) et pour tout morphisme
v : V → U entre objets de C d’un isomorphisme
φv : v ∗ KU ≃ KV .
compatible à la composition des morphismes. Si K est dans D(S), le système des restrictions
K|U fournit un objet donné C-localement. Réciproquement, on a le théorème suivant [1,
Thm. 3.2.4] :
Théorème 4.1. Soit (KU ) un objet de D(S) donné C-localement avec Hi KU = 0 pour i
un intervalle indépendant de U . Supposons que pour tout U dans C, on ait sur U :
16
Ext i (KU , KU ) = 0 pour i < 0,
alors il existe un unique objet K de D(S) donnant naissance à (KU ).
On part de (Z, z, p) → LX≤n un atlas formel ainsi que l’on en a construit dans le
•
) le topos simplicial pro-étale associé. Il est
théorème 1.8. On a besoin de définir Sh(Zproét
défini de la manière suivante ; soit ∆ la catégorie dont les objets sont les ensembles finis
[m] := {0, 1, . . . , m} pour m ∈ N et dont les flèches sont les applications croissantes. On
définit le schéma simplicial
Z • : ∆opp → Schk
qui envoie [m] sur Z m le produit fibré sur LX≤n de m copies de Z. En particulier, pour
m > 0 et pour i ∈ [m], il envoie l’injection croissante :
[m − 1] → [m]
dont l’image est le complémentaire de {i}, sur la projection « oubli de la i-ième composante » :
Pm,i : Z m → Z m−1
et il envoie la surjection croissante [m] → [m − 1] qui « répète i » sur la diagonale pour la
i-ième composante :
dm,i : Z m−1 → Z m .
Cet espace simplicial Z • est muni d’un morphisme canonique
p• : Z • → LX≤n
dont la m-ième composante pm : Z m → LX≤n est la projection canonique. Le site simplicial
•
est la catégorie dont les objets sont les couples ([m], U → Z m ), notés encore
pro-étale Zproét
([m], U ), avec [m] ∈ ∆ et U → Z m pro-étale et où les flèches ([m], U ) dans ([m′ ], U ′ ) sont
les couples (δ, φ) où :
δ : [m] → [m′ ]
est une flèche dans la catégorie ∆ et
φ : U → U′
′
un morphisme relevant la flèche Z m → Z m induite par δ. On définit alors le topos simplicial
•
) comme étant la catégorie des faisceaux d’ensembles sur ce site.
pro-étale associé Sh(Zproét
•
Tout objet de Zproét vérifie la propriété suivante :
•
Proposition 4.2. Soit U ∈ Zproét
, alors il admet des flèches u : U → LX≤n et q : U →
N
Y × A avec Y affine de type fini, telles que :
(1) u est pro-lisse, surjective sur les k-points et induit un isomorphisme formel en tout
k-point.
(2) q est pro-lisse et il existe un fermé F de Y tel que q se factorise par l’hensélisé
(Y × AN )hFN le long de FN := F × AN .
(3) q induit un isomorphisme formel en tout k-point.
Démonstration. Cela s’obtient directement par changement de base et des propriétés d’un
atlas formel ainsi qu’énoncées dans le théorème 1.8.
17
•
), on doit
Avant de pouvoir définir un complexe dualisant sur le topos simplicial Sh(Zproét
tout d’abord faire des rappels sur les complexes dualisants pour des schémas excellents.
4.2. Complexes dualisants sur des schémas excellents. Soit S un schéma, soient
x, y ∈ S et x̄, ȳ des points géométriques au-dessus de x et y. On tire les définitions suivantes
de [24, Exp. XIV] :
Définition 4.3. Un morphisme de spécialisation x̄ → ȳ est la donnée d’un S-morphisme
S(x̄) → S(ȳ) entre hensélisés stricts.
Ce morphisme est dit de codimension r si l’adhérence de x̄ dans S(ȳ) est un schéma de
codimension r.
On dit que y est une spécialisation étale immédiate de x s’il existe une spécialisation
x̄ → ȳ qui soit de codimension un.
Définition 4.4. Soit S un schéma, on appelle fonction de dimension δ : S → Z toute
fonction telle que pour toute spécialisation étale immédiate y de x, on ait :
δ(y) = δ(x) − 1.
On a la proposition suivante [24, 2.4.5, 2.5.4] :
Proposition 4.5. Soit S un k-schéma de type fini, alors la fonction dimS définie par
dimS (s) = dim {s}
est une fonction de dimension.
De plus, pour tout morphisme f : S ′ → S régulier avec S excellent et δS une fonction de
dimension sur S, la fonction δS ′ : S ′ → Z définie par :
δS ′ (y) = δS (f (y)) − dim(OS ′ ,y )
f (y)
est une fonction de dimension sur S ′ . On l’appelle la fonction de dimension induite sur S ′ .
Remarque : En particulier, on en déduit que si S est l’hensélisation d’un schéma affine
de type fini le long d’un fermé F , la fonction dimX reste une fonction de dimension.
(m)
Corollaire 4.6. Soit Y affine de type fini, F un fermé de Y , m ∈ N, on désigne par YF
l’hensélisé de Y × Am le long de F × Am . Soit
(m+1)
(m)
→ YF ,
f m : YF
la flèche induite par la projection, alors la fonction de dimension induite par
(m)
δm := dimY (m) − dim(YF
)
F
est δm+1 .
Démonstration. Le morphisme fm est surjectif, régulier à fibres connexes, donc à fibres
(m)
(m+1)
et YF ont les mêmes composantes irréductibles. On peut
intègres. En particulier, YF
se ramener au cas irréductible et l’assertion est claire.
Remarque : Il est à noter que la fonction δm est en général différente de la fonction
− codim, il suffit de prendre un cas non-équidimensionnel. De plus, la fonction − codim
18
n’est en général pas une fonction de dimension comme le montre l’exemple où l’on recolle
en un point une droite et un plan.
Définition 4.7. Soit X un Z[ N1 ]-schéma noethérien excellent muni d’une fonction de dimension δ. Un complexe dualisant potentiel consiste en la donnée de K ∈ D + (Xét , Z/ℓr Z)
et pour tout x ∈ X d’un isomorphisme en x (appelé épinglage en x) :
RΓx (K) ≃ Λ(δ(x))[2δ(x)]
ainsi que d’une compatibilité des épinglages par rapport aux spécialisations immédiates (cf.
[24, 2.1.2]).
Remarque : Bien que nous l’omettons dans la définition, le dualisant potentiel K dépend
de δ. Ainsi, si l’on prend un schéma lisse connexe X sur k, le complexe Qℓ [2 dim X] est
dualisant potentiel par rapport à la fonction de dimension
δ(x) = dim {x}
et le faisceau constant Qℓ dualisant potentiel par rapport à la fonction
δ(x) = dim {x} − dim X.
On a les théorèmes suivants dus à Gabber [24, XVII. 4.4.1, 5.1.1] :
Théorème 4.8. Soit f : S ′ → S un morphisme régulier entre Z[ N1 ]-schémas excellents. On
suppose S muni d’une fonction de dimension δS et S ′ de la fonction de dimension induite,
alors si K est dualisant potentiel alors f ∗ K est dualisant potentiel.
De plus, (S, δS ) admet un unique complexe dualisant potentiel, unique à isomorphisme
unique près.
On termine cette section par le théorème de bidualité, également dû à Gabber [24, 6.1.1] :
Théorème 4.9. Soit X un Z[ N1 ]-schéma noethérien excellent, muni d’une fonction de
dimension δ, soit K le dualisant potentiel de (X, δ) alors :
(1) K ∈ Dcb (Xét , Λ) et est de Tor-dimension finie.
(2) Le foncteur DK := RHom (−, K) préserve Dcb (Xét , Λ).
(3) Pour tout M ∈ Dcb (Xét , Λ), le morphisme de bidualité M → DK DK (M ) est un
isomorphisme.
•
4.3. Complexes dualisants sur le site simplicial Zproét
. On commence par obtenir
(∞)
un complexe dualisant sur YF
On a
:= (Y × AN )hFN avec Y affine type fini et F un fermé de Y .
(∞)
YF
(m)
= lim YF
←−
m∈N
(m)
YF
(m)
Am .
Am )hFm
et Fm := F ×
On munit YF des fonctions de dimension
:= (Y ×
avec
δm construites dans 4.6. D’après le théorème de Gabber 4.8, on dispose pour tout m d’un
complexe dualisant KY (m) tel que l’on a :
F
∗K
fm
(m) = K (m+1)
Y
Y
F
F
19
(m+1)
(m)
→ YF
où fm : YF
tirant KY (0) par
(∞)
. On obtient donc un complexe KY (∞) ∈ Dcb (YF
, Λ) bien défini en
F
F
(∞)
f ∞ : YF
(0)
→ YF .
(∞)
•
, d’après 4.2, on a une flèche pro-lisse q : U → YF
Soit alors U ∈ Zproét
KU,q := q ∗ KY (∞) .
. On définit alors :
F
On souhaite que KU,q ne dépende pas du choix de q. On rappelle la proposition suivante
tirée de [6, Prop. 1.2] :
Proposition 4.10. Soient Y, Y ′ des k-schémas de type finis, (y, ξ) ∈ (Y ×AN )(k), (y ′ , ξ ′ ) ∈
(Y ′ × AN )(k) tels que l’on a un isomorphisme :
′
N ∧
θ : (Y × AN )∧
(y,ξ) ≃ (Y × A )(y ′ ,ξ ′ )
alors il existe des entiers m et l tels que :
(Y × Am )h(y,ξ) ≃ (Y ′ × Al )h(y′ ,ξ ′ )
(∞)
et v : U → (YF′ ′ )(∞) deux flèches telles que dans la
Corollaire 4.11. Soient q : U → YF
proposition 4.2, alors il existe des entiers m et l tels que l’on a un isomorphisme :
(m)
YF
≃ (YF′ ′ )(l) .
Démonstration. Cela résulte du fait que les flèches q et v induisent des isomorphismes
formels et se factorisent par l’hensélisé le long de FN et FN′ .
On peut donc maintenant en déduire la proposition que l’on souhaitait
Proposition 4.12. Soit v : U → (YF′ ′ )(∞) une autre flèche telle que dans la proposition
4.2, alors on a un isomorphisme canonique :
KU,q = KU,v .
On a donc un objet bien défini que l’on note KU .
Démonstration. Il résulte du corollaire 4.11 que l’on a un diagramme commutatif :
U PPP
PPP
♣♣♣
♣
♣
PPPv
♣♣
♣
PPP
♣
♣
P'
w ♣♣
♣
.
q
(∞)
YF
▲▲▲
▲▲▲
▲▲▲
▲&
(m)
YF
(0)
YF
(YF′ ′ )(∞)
♣♣♣
♣♣♣
♣
♣
w ♣♣
♣
≃ (YF′ ′ )(l)
◆◆◆
◆◆◆
◆◆◆
◆◆◆
'
r
rrr
r
r
rrr
x rr
r
(YF′ ′ )(0)
20
(m)
et l’assertion revient donc à montrer que les fonctions de dimension induites sur YF ≃
(0)
(YF′ ′ )(l) en partant de YF ou de (YF′ ′ )(0) sont les mêmes et cela résulte du corollaire 4.6. Proposition 4.13. On a
RHom (KU , KU ) = Λ d’où Ext iUproét (KU , KU ) = 0 si i < 0.
Démonstration. Comme KY ∈ Dcb (Y, Λ), on a d’après [22, Lem.7.2]
q ∗ RHom (KY , KY ) = RHom (q ∗ KY , q ∗ KY ) = RHom (KU , KU ).
Or, on a également RHom (KY , KY ) = ΛY et q ∗ ΛY = ΛU le résultat suit.
Proposition 4.14. Soit F ∈ Dcb (Uproét , Λ), alors on a un morphisme de bidualité :
F → RHom (RHom (F, KU ), KU )
qui est un isomorphisme.
(∞)
est pro-lisse surjective, on peut écrire
Démonstration. Etant donné que q : U → YF
(∞)
(∞)
des schémas lisses sur YF . A nouveau, les schémas Ui
U = lim Ui avec Ui → YF
←−
(m)
peuvent se descendre en des schémas lisses surjectifs qi : Ũi → YF pour un certain m.
Comme qi est lisse, on a
KŨi = qi∗ KY (m)
F
et donc comme F est constructible, les deux faisceaux et la flèche de bidualité se descendent
à un Ui . On est donc ramené à prouver la bidualité sur Ui et on conclut par 4.9.
•
. On a le lemme
On considère alors σ : (V, v, r) → (U, u, q) une application dans Zproét
suivant :
Lemme 4.15. On a un isomorphisme fonctoriel :
σ ∗ KU = KV .
Démonstration. La preuve est la même que [25, Lem.3.2.1] une fois qu’on a le lemme 4.12.
4.4. Foncteur dualisant. On construit un complexe dualisant ΩLX≤n ∈ Dcb (LX≤n
pro-lis , Λ)
≤n
•
par recollement. Soit u : U → LX un objet dans Zproét . On a un morphisme continu de
sites :
Uproét → LX≤n
pro-lis|U .
Comme Uproét admet des produits finis et que cette flèche commute à de tels produits, on
a d’après [21, IV.4.9.2.] un morphisme de topoi :
ǫ : Sh(LX≤n
pro-lis|U ) → Sh(Uproét ).
21
De manière analogue à [25, 3.3.i], à tout morphisme f : U → V dans LX≤n
pro-lis , on associe
un diagramme commutatif de topoi :
Sh(LX≤n
pro-lis|U )
Sh(LX≤n
pro-lis|V )
ǫ
ǫ
/ Sh(Uproét )
/ Sh(Vproét )
et on définit
κU := ǫ∗ KU .
•
Il résulte alors du lemme 4.15 que pour tout morphisme σ : (V, v, q) → (U, u, p) dans Zproét
,
on obtient :
σ ∗ κU = κV .
En particulier, on obtient un objet défini localement de D(LX≤n
pro-lis , Λ). Il faut maintenant
recoller.
Proposition 4.16. On a RHom (κU , κU ) = Λ et Ext i (κU , κU ) = 0 si i < 0.
Démonstration. La preuve est la même que [25, Cor. 3.4.2] en replaçant [25, 3.2.ii] par le
lemme 4.12.
Proposition 4.17.
(1) Il existe ΩLX≤n (z) ∈ D b (LX≤n
pro-lis , Λ) qui induit κU pour tout
•
U ∈ Zproét . Il est défini à isomorphisme unique près.
(2) Si l’on se donne deux présentations zi : Zi → LX≤n , i = 1, 2, on a un isomorphisme
canonique fonctoriel :
ΩLX≤n (z1 ) ≃ ΩLX≤n (z2 ).
En particulier, on définit le complexe dualisant ΩLX≤n
comme limite projective du sys-
pro-lis
tème essentiellement constant des présentations z de LX≤n . Il est défini à isomorphisme
canonique fonctoriel près et est caractérisé par la propriété :
ΩLX≤n |U = ǫ∗ KU
pour tout U ∈ LX≤n
pro-lis .
Démonstration. La première assertion vient du théorème de recollement de BBD 4.1. L’indépendance suivant l’atlas formel vient de la proposition 4.11.
On s’intéresse alors à la bidualité, on a le théorème suivant :
Théorème 4.18. On a les assertions suivantes :
≤n
b
(1) Si F ∈ Dcb (LX≤n
pro-lis , Λ) alors RHom (F, ΩLX≤n ) ∈ Dc (LXpro-lis , Λ).
(2) Le foncteur contravariant :
DLX≤n
Dcb (LX≤n
: Dcb (LX≤n
pro-lis , Λ)
pro-lis , Λ) →
F
7→ RHom (F, ΩLX≤n )
22
est une involution. Plus précisément, on a un morphisme canonique :
ι : Id → DLX≤n ◦ DLX≤n
qui est un isomorphisme.
(3) On a un isomorphisme canonique bifonctoriel :
RHom (A, B) = RHom (D(B), D(A))
pour tout A, B ∈ Dcb (LX≤n
pro-lis , Λ).
Démonstration. Les preuves sont les mêmes que [25, 3.5] pour peu que l’on remplace [25,
3.2.2] par la proposition 4.12 et en utilisant la proposition 4.14. Il est à noter qu’étant
donné que F est borné, il n’est pas nécessaire d’avoir recours aux arguments de dimension
injective.
5. Six opérations
5.1. Image inverse. Soit f : S ′ → S un morphisme. On choisit un carré commutatif :
Z2
/ S′
/S
Z1
avec Z1 et Z2 des présentations pro-lisses. On peut obtenir un tel carré en prenant d’abord
une présentation Z1 de S. On forme le produit fibré Z1′ = Z1 ×S S ′ , il est pro-lisse sur
S ′ mais n’est pas nécessairement pro-lisse sur un schéma de type fini. On prend alors W
une présentation de S ′ et on pose alors Z2 := W ×S Z1′ qui convient. On obtient alors un
diagramme commutatif d’espaces simpliciaux :
Z2•
/ S′
/S
Z1•
Par descente cohomologique 3.5, on a des équivalences de catégories :
(1)
•
•
Dcb (Spro-lis ) ≃ Dcb (Z1,proét
), Dcb (S’pro-lis ) ≃ Dcb (Z2,proét
)
On définit alors le foncteur f ∗ : Dcb (Spro-lis ) → Dcb (S’pro-lis ) défini par le composé :
f∗
•
′
•
•
) ≃ Dcb (Spro-lis
)
)→
Dcb (Z2,proét
Dcb (Spro-lis ) ≃ Dcb (Z1,proét
où f•∗ est le tiré en arrière qui se déduit du morphisme de sites :
•
•
.
→ Z1,proét
f• : Z2,proét
23
5.2. La codimension rectifiée. Avant d’étudier la fonctorialité par rapport aux immersions et leur comportement par rapport à la dualité de Verdier, il faut introduire une notion
de codimension rectifiée, qui va indiquer comment décaler convenablement. On commence
par la situation noethérienne :
Définition 5.1. Soit un schéma S noethérien de dimension de Krull finie, on définit la
codimension rectifiée définie par :
∀ s ∈ S, codimrec (s) = dim S − dim {s}.
De même, si l’on a une immersion k : W → S, la codimension rectifiée de W dans X sera
l’entier :
codimrec,S (W ) := dim S − dim W .
Remarques :
(1) A nouveau, il est important de remarquer que si S n’est pas équidimensionnel, la
codimension rectifiée diffère de la codimension usuelle.
(2) La fonction − codimrec est une fonction de dimension si S est un k-schéma de type
fini sur un corps ou l’hensélisé d’un schéma affine de type fini le long d’une fermé.
Ce n’est néanmoins pas le cas de la fonction − codim qui en général n’est pas de
dimension.
Pour le moment, on a défini la codimension rectifiée pour les schémas noethériens de
dimension finie, on va avoir besoin d’une notion de codimension rectifiée également pour
(∞)
les sous-schémas constructibles de YF .
(∞)
une immersion localement fermée constructible, alors il
Lemme 5.2. Soit k : W̃ → YF
existe un entier l ∈ N et un localement fermé W → Y × Al tel que :
(∞)
W̃ ≃ WW ∩Fl
où Fl = F × Al .
Démonstration. Cela s’obtient immédiatement par descente noethérienne et en utilisant le
lemme 7.2.
(∞)
Proposition 5.3. Soit k : W̃ → YF
a alors l’égalité :
, on conserve les notations du lemme précédent. On
(m)
(0)
∀ m ∈ N, codimrec,Y (l) WF ∩W = codimrec,Y (l+m) WF ∩W .
F
F
On définit alors la codimension rectifiée de W̃ dans
(∞)
YF
par :
(0)
codimrec,Y (∞) (W̃ ) := codimrec,Y (l) WF ∩W .
F
F
Cette fonction ne dépend pas du choix de W .
24
Démonstration. La première assertion vient du fait que pour tout entier m ∈ N, on a un
carré cartésien :
(m+1)
/ Y (l+m+1)
F
WF ∩W
fl+m+1
(m)
/ Y (l+m)
F
WF ∩W
et comme fl+m+1 est fidèlement plate à fibres irréductibles, la codimension rectifiée ne
change après changement de base d’après le corollaire 4.6.
L’indépendance de la codimension rectifiée en fonction du modèle W se déduit alors de
la même manière que pour la proposition 4.12 à partir du corollaire 4.11.
Enfin, on termine par une notion de codimension rectifiée pour les espaces d’arcs.
Lemme 5.4. Soit Z → LX≤n un atlas formel, soit W un localement fermé constructible
de LX≤n . On forme le carré cartésien :
ZW
/Z
/ LX≤n
W
alors ZW est un atlas formel pour W et on définit la codimension rectifiée :
codimrec,LX≤n (W ) := codimrec,Z ZW .
Cette définition est indépendante du choix de l’atlas formel Z.
Démonstration. A nouveau, cela se déduit du corollaire 4.11 et du fait que la codimension
rectifiée est bien définie pour les atlas formels.
On peut maintenant étudier la fonctorialité par rapport aux immersions.
5.3. Fonctorialité pour les immersions. Soit k : W → LX≤n une immersion constructible.
Définition 5.5. On définit alors k!dec : D(Wpro-lis , Λ) → D(LX≤n
pro-lis , Λ) par :
k!dec := DLX≤n ◦ k∗ ◦ DW .
!
: D(LX≤n
et kdec
pro-lis , Λ) → D(Wpro-lis , Λ) par :
!
:= DW ◦ k∗ ◦ DLX≤n .
kdec
Remarques :
(1) A priori, on ne dispose d’un complexe dualisant que sur LX≤n mais les mêmes
arguments s’étendent pour obtenir un complexe dualisant pour tout schéma S →
LX≤n qui est de présentation finie.
(2) La notation « dec » se justifie par le fait que l’on va obtenir un certain décalage
qui va faire intervenir la codimension rectifiée.
25
!
préserve les constructibles comme k∗ et le dual
(3) Il résulte du théorème 4.18 que kdec
de Verdier les préservent.
Soient j : U → LX≤n une immersion ouverte quasi-compacte de codimension rectifiée
dU , i : H → LX≤n le fermé complémentaire de codimension rectifiée dH .
! . Tout d’abord, on a l’égalité :
On veut calculer le foncteur jdec
j ∗ [dU ]ΩLX≤n = ΩU .
En effet, on choisit un atlas formel Z de LX≤n qui induit une présentation ZU ; en particulier
ZU → Z est ouvert et on vérifie que les complexes sont les mêmes sur Upro-lis,|ZU avec des
Ext i négatifs qui s’annulent.
Lemme 5.6. Soit A ∈ Dcb (LX≤n
pro-lis , Λ), le morphisme canonique :
j ∗ [2dU ] RHom (A, ΩLX≤n ) = RHom (j ∗ [dU ]A, j ∗ [dU ]ΩLX≤n )
est un isomorphisme.
Démonstration. On se réduit d’abord à l’assertion pour les atlas formels de la même manière
que [25, 3.4.1]. Par dévissage, on se ramène alors au cas où A est le faisceau constant et
cela est bien connu [22, Exp. I].
On note provisoirement j♯ le foncteur extension par zéro : c’est un foncteur qui préserve
la constructibilité et donc passe à la catégorie Dcb (LX≤n , Λ)
!
Proposition 5.7. On a jdec
= j ∗ [2dU ] et j!dec = j♯ [−2dU ]. En particulier, le foncteur j∗
induit un foncteur :
Dcb (Upro-lis , Λ) → Dcb (LX≤n
pro-lis , Λ).
Démonstration. La première partie résulte du lemme 5.6. Le reste de la preuve est analogue
à [25, Prop.4.6.3], à nouveau comme les faisceaux sont bornés on a pas besoin d’avoir
recours aux arguments de dimension injective dans [25, Lem.4.6.1]. Le fait que j∗ préserve
la constructibilité résulte alors du fait que :
DLX≤n ◦ j∗ = j!dec ◦ DU ,
que j!dec préserve les constructibles ainsi que la dualité de Verdier par le théorème 4.18. dans le cas où i : H → X est une immersion fermée de codimension
Calculons idec
!
rectifiée dH . Soit F ∈ Sh(Hpro-lis ), pour chaque Z ∈ LX≤n
pro-lis , le tiré en arrière ZU → U est
dans Upro-lis et YU → U → LX≤n est dans LX≤n
pro-lis . On définit le faisceau des sections à
support ΓH (F) par :
H 0 (Z, ΓH (F)) := ker(H 0 (Z, F) → H 0 (ZU , F))
et RΓH son foncteur dérivé.
Lemme 5.8. On a ΩH = i∗ [2dH ] RΓH (ΩLX≤n ).
26
Démonstration. Si l’on prend un atlas formel Z de LX≤n , on a l’assertion analogue pour
H̃ l’image réciproque de H dans Z, comme i∗ [2dH ]RΓH est l’adjoint à droite à i∗ [−2dH ].
En particulier, si K désigne un des deux côtés de l’égalité à prouver, on a Ext i (K, K) = 0
pour i < 0. On obtient donc que les isomorphismes se recollent par le théorème 4.1.
Remarque : Ces décalages viennent du fait que l’on a renormalisé le complexe dualisant
en le plaçant en degré zéro.
Proposition 5.9. Le foncteur B 7→ i∗ [2dH ] RΓH (B) est l’adjoint à droite de i∗ [−2dH ], en
particulier, il s’identifie à i!dec . On a de plus :
RHom (A, B) = i∗ [−2dH ] RHom (A, i∗ [2dH ] RΓZ (B)),
dec = i [−2d ].
pour tout A ∈ Dcb (Hpro-lis ), B ∈ Dcb (LX≤n
∗
H
pro-lis ). Ainsi, on obtient i!
Démonstration. La preuve est analogue à [25, 4.3.1] en utilisant le lemme 5.8 et la bidualité
= i∗ [−2dH ].
4.14 pour déduire que idec
!
Soit
f : Z → LX≤n
un atlas formel ainsi que construit dans le théorème 1.8. Dans la proposition 4.17, on a vu
que l’on avait :
f ∗ ΩLX≤n = ǫ∗ KZ .
On a le lemme suivant :
r
Lemme 5.10. Soit A ∈ Dcb (LX≤n
pro-lis , Z/ℓ Z), alors le morphisme canonique :
f ∗ RHom (A, ΩLX≤n ) → RHom (f ∗ A, f ∗ ΩLX≤n )
est un isomorphisme.
Démonstration. Par dévissage, on se ramène au cas où A := Z/ℓr Z et dans ce cas l’assertion
résulte de [22, Exp.1].
Corollaire 5.11. Comme Z admet un complexe dualisant, si l’on pose :
f ! = DZ ◦ f ∗ ◦ DLX≤n ,
on obtient f ! = f ∗ .
6. Les Zℓ -coefficients
On passe maintenant à des coefficients adiques.
6.1. Fonctorialité pour les immersions. Soit S ∈ Schk .
Proposition 6.1. Soit i : H → S une immersion fermée constructible, alors le foncteur :
i∗ : D(Spro-lis ) → D(Hpro-lis )
commute aux petites limites et colimites. En particulier, il admet un foncteur adjoint à
droite i! : D(Spro-lis ) → D(Hpro-lis ).
27
Démonstration. D’après l’équivalence (1), i∗ s’obtient par descente cohomologique et donc
on est ramené à l’assertion pour la topologie pro-étale et cela résulte de [4, Cor. 6.1.5].
Comme de plus les catégories sont compactement engendrées, on en déduit l’existence d’un
adjoint à droite i! .
Proposition 6.2. Soient i : H → S une immersion fermée constructible et j : U → S
l’ouvert complémentaire. On a les assertions suivantes :
(1) i∗ : D(Hpro-lis ) → D(Spro-lis ) est exact.
(2) i∗ i∗ ≃ Id et j ∗ j! ≃ Id.
(3) j ∗ i∗ ≃ 0 et i∗ j! ≃ 0.
(4) Pour tout A ∈ D(Spro-lis ), on a un triangle distingué :
i∗ i! A → A → j∗ j ∗ A.
Démonstration. A nouveau, on utilise les équivalences (1) obtenues par descente cohomologique, on est donc ramené à prouver ces assertions pour la topologie pro-étale et cela est
montré dans [4, Lem. 6.1-8,12,16].
6.2. Complexes constructibles. Soit S ∈ Schk , on commence par rappeler d’après BhattScholze [4] la notion de Zℓ -faisceau constructible. Soit Spro-lis le site pro-lisse sur S et
Sh(Spro-lis ) le topos pro-lisse. On considère Zℓ,S = lim Z/ℓn Z ∈ Sh(Spro-lis ). Dans la suite,
←−
sauf si cela s’avère nécessaire, on note Zℓ = Zℓ,S . On fixe une présentation pro-lisse :
P : Z → S.
Posons D(Spro-lis , Zℓ ) la catégorie dérivée des faisceaux de Zℓ -modules. On tire la définition
suivante de [4, Déf. 6.5.1] :
Définition 6.3. Un complexe A ∈ D(Spro-lis , Zℓ ) est dit ℓ-adiquement complet si :
n
A ≃ R lim(A ⊗L
Zℓ Z/ℓ ).
←−
Un complexe A ∈ D(Spro-lis , Zℓ ) est dit constructible si :
(1) il est cartésien et ℓ-adiquement complet.
(2) Le complexe (A ⊗Zℓ Z/ℓ)P,Z est constructible et est obtenu par tiré en arrière d’un
complexe constructible par la flèche ν : Zproét → Zét .
On note
Dcb (Spro-lis , Zℓ ) ⊂ D(Spro-lis , Zℓ )
la sous-catégorie engendrée par les complexes constructibles.
On a le premier résultat de stabilité :
Proposition 6.4. Soit k : W → S une immersion localement fermée constructible et
f : S ′ → S un morphisme de schémas qcqs.
(1) On a k∗ Zℓ,S = Zℓ,W .
(2) Le foncteur k∗ : D(Spro-lis , Zℓ ) → D(Wpro-lis , Zℓ ) préserve les constructibles.
(3) Le foncteur k! : D(Spro-lis , Zℓ ) → D(Wpro-lis , Zℓ ) préserve les constructibles.
28
∗
le tiré en arrière suivi de la complétion, alors :
(4) Soit fcomp
∗
: D(Spro-lis , Zℓ ) → D(Wpro-lis , Zℓ )
fcomp
préserve les constructibles.
(5) La catégorie Dcb (Spro-lis , Zℓ ) est close pour les produits tensoriels.
Démonstration. On se ramène par descente cohomologique au cas pro-étale et c’est l’objet
de [4, 6.5.5, 6.5.8, 6.5.9].
La proposition suivante en revanche ne peut s’obtenir pour tout k-schéma S étant donné
qu’il utilise le dual de Verdier :
Proposition 6.5. Soit j : U → LX≤n et i son immersion fermée complémentaire alors j∗
et i! préservent les constructibles.
Démonstration. Soit A ∈ Dcb (Upro-lis , Zℓ ), d’après [4, 6.5.9 et 6.5.11] et par descente cohomologique, j∗ A est complet et j∗ A ⊗Zℓ Z/ℓZ = j∗ (A ⊗Zℓ Z/ℓZ). On est donc ramené au
cas des coefficients finis et cela se déduit de la proposition 5.7. Pour i! , on a un triangle
distingué :
i∗ i! A → A → j∗ j ∗ A
et donc on vient de voir que j∗ j ∗ A est constructible, on en déduit donc que i∗ i! A est
constructible et donc en appliquant i∗ ainsi que la proposition 6.4, on en déduit que i! K
constructible.
≤n
b
Lemme 6.6. Soient A, B ∈ Dcb (LX≤n
pro-lis , Zℓ ), alors RHom (A, B) ∈ Dc (LXpro-lis , Zℓ ) et on
a pour tout entier r ≥ 0 :
RHom (A, B) ⊗Zℓ Z/ℓr = RHom (A ⊗Zℓ Z/ℓr , B ⊗Zℓ Z/ℓr ).
Démonstration. L’assertion est locale sur LX≤n , quitte à filtrer K, on peut supposer que
A = i! Zℓ pour i : W → LX≤n une immersion localement fermée constructible. On a alors
RHom (A, B) = i∗ RHom (Zℓ , i∗ i! B) ≃ i∗ i! B qui est constructible par la proposition 6.5.
La seconde assertion se prouve de manière analogue.
On termine cette section par la dualité de Verdier pour les Zℓ -coefficients.
Proposition 6.7. Pour tout entier r ≥ 0, on a un isomorphisme :
ΩLX≤n ,r+1 ⊗Z/ℓr+1 Z/ℓr ≃ ΩLX≤n ,r .
r
avec ΩLX≤n ,r le complexe dualisant de Dcb (LX≤n
pro-lis , Z/ℓ ).
•
, il résulte de la proposition
Démonstration. Soit Z → LX≤n un atlas formel. Soit U ∈ Zproét
4.2 que l’on a un morphisme pro-lisse p : U → Y où Y est un k-schéma de type fini et que
ΩLX≤n ,r|U = ǫ∗ ΩU,r = ǫ∗ p∗ ΩY,r . Il résulte alors du cas de la dimension finie [24, XVII. 7.1.3]
que l’on a :
ΩY,r+1 ⊗Z/ℓr+1 Z/ℓr = ΩY,r .
29
d’où l’on déduit que ΩU,r+1|U ⊗Z/ℓr+1 Z/ℓr ≃ ΩU,r et par unicité de la descente, on obtient
l’égalité.
On définit alors ΩLX≤n := R lim ΩLX≤n ,r , par [4, 3.5.5] on a l’égalité :
←−
ΩLX≤n ⊗Zℓ Z/ℓr = ΩLX≤n ,r .
On en déduit alors la proposition suivante :
Proposition 6.8. Soit DLX≤n := RHom (−, ΩLX≤n ) alors on a
2
Id ≃ DLX
≤n
dans Dcb (LX≤n
pro-lis , Zℓ ).
Démonstration. La proposition se ramène au cas des coefficients finis par le lemme 6.6 et
pour les coefficients finis, c’est le théorème 4.18.
Enfin, la proposition suivante nous permet de comparer le foncteur i! avec celui qu’on
obtient en utilisant la dualité de Verdier.
Lemme 6.9. Soit i : H → LX≤n une immersion fermée constructible de codimension
rectifiée d. Soit i!dec = DH ◦ i∗ ◦ DLX≤n , alors on a :
i!dec = i! [2d]
Démonstration. Cela s’obtient directement par unicité de l’adjoint à droite.
7. Les Qℓ -coefficients
7.1. Les Zℓ -systèmes locaux. On commence d’abord par définir les catégories idoines
sur le site pro-étale.
Définition 7.1. Soit S ∈ Schk . On dit que S est un schéma cylindrique si tout sous-schéma
constructible admet un nombre fini de composantes connexes.
Remarques :
– Tout schéma de la forme Z × AN où Z est un k-schéma noethérien, est cylindrique.
– Tout schéma qui admet une stratification finie constructible par des sous-schémas
cylindriques est cylindrique.
– Pour tout n ∈ N, il résulte de la proposition 1.7 ainsi que de la remarque précédente
que LX≤n est cylindrique.
(∞)
Proposition 7.2. Soit Y un k-schéma de type fini, F un fermé de Y , alors YF
cylindrique.
est
Avant d’entamer la preuve de cette proposition, on a besoin de deux lemmes préliminaires.
30
Lemme 7.3. Soit H → X un sous-schéma fermé d’un schéma affine. Soit F ′ un autre sousschéma fermé de X. Notons XFh ′ l’hensélisation le long de F ′ , on forme le carré cartésien :
H1
/ Xh′
F
/X
H
h
alors on a un isomorphisme H1 ≃ H(F
′ ∩Y ) .
Démonstration. Cela se déduit de [20, Prop.18.1.1]. En effet, étant donné un morphisme
étale V → H, localement pour la topologie Zariski, il provient d’un morphisme étale V ′ →
X.
(∞)
Lemme 7.4. Sous les hypothèses de la proposition 7.2, YF
santes connexes.
a un nombre fini de compo-
Démonstration. Par le théorème de changement de base affine de Gabber [16], les compo(∞)
santes connexes de YF sont les mêmes que celles de F .
On peut passer à la preuve de la proposition 7.2 :
(∞)
Démonstration. Il suffit de montrer que tout fermé constructible de YF a un nombre fini de
(∞)
composantes connexes. Soit F2 → YF un fermé constructible, par descente noethérienne,
il provient d’un fermé constructible F1 de Y × AN . D’après le lemme 7.3, on a alors que :
F2 = (F1 )hF1 ∩FN
et on conclut par le lemme 7.4.
On a le lemme suivant [4, Lem. 6.6.8, Prop. 6.6.11] :
Lemme 7.5. Soit un k-schéma S cylindrique, alors tout complexe K ∈ D(Sproét , Zℓ ) est
constructible si et seulement si, il admet une stratification finie constructible par des sousschémas localement fermés constructibles (Yi ) tels que K|Yi soit localement constant de
valeurs parfaites sur Yi,proét .
Remarques :
(1) La preuve de [4, Prop. 6.6.11] vaut pour un schéma noethérien, mais elle s’étend
au cas non-noethérien, étant donné que X et tout sous-schéma localement fermé
constructible de X admettent un nombre fini de composantes connexes.
(2) On entend par « localement constant de valeurs parfaites », localement isomorphe
à L̄ = L ⊗Zℓ Zℓ,X , avec L ∈ Dperf (Zℓ ).
Définition 7.6. On garde les hypothèses du lemme précédent. Un Zℓ -faisceau lisse est
un faisceau L de Zℓ -modules localement libres de type fini sur Sproét . On note LocS (Zℓ )
la catégorie correspondante. On définit également ConsS (Zℓ ), la catégorie constituée des
faisceaux L de Zℓ -modules tels qu’il existe une stratification finie constructible (Yi ) avec
L|Yi soit localement isomorphe à Λ ⊗Zℓ Zℓ,S , où Λ est Zℓ -module de type fini.
31
Lemme 7.7. Soit un k-schéma S cylindrique, alors on a :
(1) Les catégories LocS (Zℓ ) et ConsS (Zℓ ) sont des catégories abéliennes et ConsS (Zℓ )
est stable par extension.
(2) On a une équivalence de catégories dérivées :
Dcb (Sproét , Zℓ ) → D b (ConsS (Zℓ )).
Démonstration. Comme S a un nombre fini de composantes connexes, il résulte de [33, Thm.
5.4.2] que l’on peut définir un groupe fondamental π1 (S, s̄) pour un point géométrique s̄ ∈ S
fixé. En utilisant [4, Prop. 6.8.4. (1)], on obtient que LocS (Zℓ ) est équivalente à la catégorie
des représentations Zℓ -modules libres de type fini de π1 (S, s̄), donc elle est bien abélienne.
En particulier, on obtient immédiatement le même résultat pour ConsS (Zℓ ) en passant à
des stratifications idoines. Enfin, (2) résulte de [4, Prop. 6.8.11. (iii)] en utilisant le lemme
7.5 à la place de [4, Lem. 6.6.11].
7.2. Les Qℓ -coefficients. On commence par définir une catégorie dérivée de Qℓ -coefficients
dans le cas pro-étale pour une certaine classe de schémas. Soit E une extension algébrique
de Qℓ , OE son anneau d’entiers et S ∈ Schk . Soit E = ES le faisceau topologique d’anneaux
sur Sproét (cf. [4, 4.2.12]).
Définition 7.8. Un E-faisceau lisse est un faisceau L de E-espaces vectoriels sur Sproét
tel que L est localement de dimension finie. On a de même que pour la définition 7.6,
la notion de E-faisceau constructible. On note LocS (E) (resp. ConsS (OE )) les catégories
correspondantes.
La proposition clé pour définir une catégorie de Qℓ -coefficients est la suivante :
Proposition 7.9. Soit S un k-schéma qcqs cylindrique, alors les catégories LocS (E) et
ConsS (E) sont abéliennes.
Démonstration. Montrons que LocS (E) est abélienne. En utilisant [4, Prop.6.8.4.(6)], après
un recouvrement étale on peut supposer qu’il existe des OE -faisceaux lisses M et M ′ qui
induisent un morphisme f : L → L′ en inversant ℓ. Et alors la proposition résulte de 7.7. En
passant à des stratifications idoines, on en déduit le résultat analogue pour ConsS (E). On a la proposition suivante :
Proposition 7.10. On a les équivalences de catégories :
≃
(1) Dcb (S, E) → D b (ConsS (E)).
≃
(2) lim Dcb (Sproét , OF ) → Dcb (Sproét , OE ).
−→
F ⊂E
≃
(3) Dcb (Sproét , OE )[ℓ−1 ] → Dcb (Sproét , E).
Démonstration. Cela résulte de [4, Prop. 6.8.4 (3), 6.8.14 (2)] une fois que l’on a la proposition 7.9.
32
7.3. Le topos pro-lisse. On peut maintenant passer au topos pro-lisse. Soit S un k-schéma
qui admet une présentation pro-lisse p : Z → S avec Z cylindrique. D’après le théorème 1.8
et la proposition 7.2, cela s’applique en particulier à LX≤n .
Définition 7.11. Un E-faisceau lisse sur Spro-lis est un faisceau cartésien L de E-modules
sur Spro-lis tel que LZ,p est un E-faisceau lisse sur Sproét .
Un faisceau F de E-modules sur Spro-lis est dit constructible s’il est cartésien et s’il
existe une stratification finie {Si → S} tel que F|Xi est un E- faisceau lisse. On note
ConsSpro-lis (E).
Remarques :
(1) Si on a la propriété d’être lisse pour une présentation, on l’est pour tout ouvert prolisse, par réduction aux coefficients finis en vertu de [4, 6.8.4.(i)] et de la proposition
2.7.
(2) On a une définition analogue pour les OE -faisceaux.
On a alors la proposition suivante :
Proposition 7.12. Les catégories LocSpro-lis (E) et ConsSpro-lis (E) sont abéliennes.
Démonstration. Se déduit immédiatement de l’existence d’un atlas cylindrique et de la
proposition 7.9.
On a la proposition suivante :
Proposition 7.13. On a les équivalences de catégories suivantes :
(1) Dcb (Spro-lis , E) → D b (ConsSpro-lis (E)).
≃
(2) lim Dcb (Spro-lis , OF ) → Dcb (Spro-lis , OE ).
−→
F ⊂E
≃
(3) Dcb (Spro-lis , OE )[ℓ−1 ] → Dcb (Spro-lis , E).
Démonstration. Immédiat une fois que l’on a la proposition 7.10.
Dans le cas de l’espace d’arcs LX≤n , on vérifie que la catégorie Dcb (LX≤n
pro-lis , Qℓ ) est
munie d’un dual de Verdier et des six opérations. Il est à noter que pour un morphisme
∗ K ⊗
entre schémas cylindriques f : S ′ → S, on a f ∗ K := fnaïf
f ∗ Qℓ,S Qℓ,S ′ pour K ∈
naïf
Dcb (Spro-lis , Qℓ ).
8. Faisceaux pervers
8.1. Construction de t-structures. Dans cette section, on définit une t-structure sur
Dcb (LX≤n
pro-lis , Qℓ ), on commence d’abord par définir la t-structure dont on aura besoin sur
(∞)
des schémas noethériens, puis sur des schémas du type YF
33
puis les espaces d’arcs.
8.1.1. Les schémas noethériens. On commence par considérer un k-schéma type fini S et
Λ un anneau de coefficients finis premiers à la caractéristique de k. Soit p : S → Z ∪ {∞}
une fonction de perversité, i.e. pour toute spécialisation de points géométriques x̄ → s̄, on
a p(s) ≥ p(x). A chaque fonction de perversité, d’après [1], on peut associer une t-structure
sur Dcb (Y, Λ) par :
(2)
A ∈ p Dc≤0 (S, Λ) ⇔ ∀ s ∈ S, Hi (i∗s A) = 0, i > p(s),
(3)
A ∈ p Dc≥0 (S, Λ) ⇔ ∀ s ∈ S, Hi (i!s A) = 0, i < p(s),
On note Pervp (S, Λ) le coeur de cette t-structure. Sur le schéma S, on considère alors la
perversité donnée par p = codimrec et la fonction de dimension δ = −p. En particulier,
l’égalité (2) peut se récrire :
A ∈ p Dc≤0 (S, Λ) ⇔ codimrec supp Hi (A) ≥ i.
Associé à la paire (S, δ), on dispose d’un unique dualisant potentiel K(S,δ) qui s’identifie
canoniquement à f ! Qℓ [−2 dim S] où
f : S → Spec(k).
Soit D̃ := RHom (−, K(S,δ) ), la condition (3) se récrit alors :
A ∈ p Dc≥0 (S, Λ) ⇔ codimrec supp Hi (D̃(A)) ≥ i.
En particulier, on remarque que l’on a l’équivalence :
A pervers pour p = − dim ⇐⇒ A[− dim S] pervers pour p + dim S.
Ici, la perversité p = − dim est la t-structure habituelle. Etudions la fonctorialité par rapport
aux immersions de cette t-structure. Soit j : U → S et i : H → S, alors on a la proposition
suivante :
Proposition 8.1. Soient dU et dH les codimensions rectifiées respectives de U et de H,
alors j ∗ [dU ] et i∗ [−dH ] sont t-exacts, j∗ [−dU ] (resp. j! [−dU ]) est t-exact à gauche (resp. à
droite), et i∗ [dH ] (resp. i! [dH ]) est t-exact à droite (resp. à gauche)
Démonstration. Cela s’obtient immédiatement à partir des résultats de t-exactitudes pour
la t-structure habituelle.
Remarques :
(1) Il est à noter que l’on a j∗ [dU ] ◦ D̃ = D̃ ◦ j! [dU ] et pareillement pour les immersions
fermées. Cela rend la situation plus symétrique par rapport à la section 5.3.
(2) On note que dans le cas où U est un ouvert dense, on a pas besoin de décaler. Le décalage est donc présent uniquement pour tenir compte des cas non-équidimensionnels.
(m)
On passe maintenant aux schémas du type YF pour Y affine de type fini et F ⊂ Y
fermé. On équipe ces schémas de la fonction de dimension δm = − codimrec,Y (m) et de la
F
perversité pm := −δm . Il résulte du corollaire 4.6 que la fonction de dimension induite par
(m+1)
via la flèche :
δm sur YF
(m+1)
f m : YF
34
(m)
→ YF
est la fonction δm+1 . En particulier, si KY (m) désigne le complexe dualisant associé à la
(m)
paire (YF
F
, δm ), notons la dualité de Verdier Dm := DK
que l’on a :
(m)
Y
F
. Il résulte du théorème 4.8
Dm+1 ◦ f ∗ = f ∗ ◦ Dm
et donc f ∗ est t-exact. On en déduit donc un foncteur canonique :
(m)
f ∗ : Pervpm (YF
(m+1)
, Λ) → Pervpm+1 (YF
, Λ).
(∞)
8.1.2. Les atlas formels. On s’intéresse maintenant aux schémas du type YF . A nouveau,
on commence par des coefficients finis. On déduit alors de l’équivalence de catégories :
(m)
(∞)
Dcb (YF,ét , Λ) ≃ lim Dcb (YF,ét , Λ),
−→
m∈N
∗ , une t-structure naturelle
où la limite inductive est prise par rapport aux tirés en arrière fm
(∞)
sur YF de telle sorte que :
(∞)
(∞)
Pervp∞ (YF,ét , Λ) ≃ lim Pervpm (YF,ét , Λ).
−→
(4)
m∈N
(∞)
Etudions la fonctorialité par rapport aux immersions. Soient j : U → YF une immersion
(∞)
une immersion fermée, toutes deux constructibles, alors on a la
ouverte et i : H → YF
proposition suivante :
Proposition 8.2. Soient dU et dH les codimensions rectifiées respectives de U et de H,
alors j ∗ [dU ] et i∗ [−dH ] sont t-exacts, j∗ [−dU ] (resp. j! [−dU ]) est t-exact à gauche (resp. à
droite), et i∗ [dH ] (resp. i! [dH ]) est t-exact à droite (resp. à gauche).
Démonstration. On se ramène au cas de la dimension finie par descente noethérienne et
cela fait l’objet de la proposition 8.1.
8.1.3. Les coefficients adiques pour les atlas formels. Voyons maintenant comment on en
(∞)
déduit une t-structure sur Dcb (YF,proét , Qℓ ).
(∞)
Proposition 8.3. Il existe une t-structure sur Dcb (YF,proét , Zℓ ) telle que :
(∞)
(∞)
L ∈ p Dc≤0 (YF,proét , Zℓ ) si et seulement si L ⊗Zℓ Z/ℓ ∈ p Dc≤0 (YF,proét , Z/ℓ),
(∞)
et de même pour p Dc≥0 (YF,proét , Z/ℓ).
(∞)
Démonstration. Soit L ∈ Dc≤0 (YF,proét , Zℓ ), r un entier, notons Lr := K ⊗Zℓ Z/ℓr , comme
L est complet, on a :
L = R lim Lr .
←−
Pour chaque r, on a un triangle distingué :
Ar → Lr → Br →
35
(∞)
(∞)
avec Ar ∈ Dc≤0 (YF,proét , Z/ℓr Z) et Br ∈ Dc≥0 (YF,proét , Z/ℓr Z). La compatibilité entre les
t-structures impose :
Ar+1 ⊗Z/ℓr+1 Z/ℓr ≃ Ar
et de même pour les (Br )r∈N . On définit alors B := R lim Br et A := R lim Ar , ils sont tous
←−
←−
deux complets et constructibles et on a un triangle distingué :
A → L → B →,
ce qui conclut.
(∞)
Remarque : Il résulte de la preuve que L ∈ p Dc≤0 (YF,proét , Zℓ ) si et seulement si
(∞)
∀ r, L ⊗Zℓ Z/ℓr ∈ p Dc≤0 (YF,proét , Z/ℓr ).
Pour en déduire une t-structure pour les Qℓ -coefficients, elle s’obtient par localisation en
utilisant la proposition 7.10.
8.1.4. L’espace d’arcs. On peut désormais passer à l’espace d’arcs. Pour un entier n ∈ N,
(∞)
et on a un
soit un atlas formel f : Z → LX≤n , on rappelle qu’il s’identifie à un YF
foncteur :
b
f ∗ : Dcb (LX≤n
pro-lis , Qℓ ) → Dc (Zproét , Qℓ ).
≤n
p ≥0
Soient les sous-catégories pleines p Dc≤0 (LX≤n
pro-lis , Qℓ ) (resp. Dc (LXpro-lis , Qℓ )), constituées
des complexes :
∗
p ≤0
p ≥0
K ∈ Dcb (LX≤n
pro-lis , Qℓ ) tels que f K ∈ Dc (Zproét , Qℓ ) (resp. Dc (Zproét , Qℓ )).
≤n
p ≥0
Proposition 8.4. Les sous-catégories p Dc≤0 (LX≤n
pro-lis , Qℓ ) et Dc (LXpro-lis , Qℓ ) sont indépendantes du choix de l’atlas formel.
Démonstration. Il suffit de voir que pour tout morphisme surjectif g : Z ′ → Z entre atlas
formels on a :
K ∈ p Dc≤0 (Zproét , Qℓ ) ⇔ g∗ K ∈ p Dc≤0 (Z’proét , Qℓ ),
et pareillement pour la catégorie positive. En vertu de l’équivalence 7.13 et de la définition
de la t-structure pour les atlas formels, on se ramène alors au cas des coefficients finis.
Comme Z et Z ′ sont des atlas formels, il existe des paires (Y, F ) et (Y ′ , F ′ ) avec Y, Y ′
des k-schémas de type fini et F, F ′ des sous-schémas fermés tels que :
(∞)
Z := YF
et Z ′ := (YF′ ′ )(∞)
avec les notations du théorème 1.8. En utilisant le corollaire 4.11 on se ramène à une flèche
régulière surjective en cran fini, pour laquelle le résultat est connu.
≤n
p ≥0
Proposition 8.5. La paire (p Dc≤0 (LX≤n
pro-lis , Qℓ ), Dc (LXpro-lis , Qℓ )) définit une t-structure
sur Dcb (LX≤n
pro-lis , Qℓ ).
36
Démonstration. Montrons le résultat par récurrence sur n. Notons Xreg le lieu lisse de X.
Si n = 0, on a LX0 = LXreg . Comme Xreg est lisse, LXreg est localement pour la topologie
étale isomorphe à un espace AN , sur lequel on a bien une t-structure.
Pour montrer le résultat au rang n + 1, on a donc par hypothèse de récurrence une tstructure sur LX≤n . On a d’après les propositions 1.7 et 1.13 également une t-structure sur
LX=n+1 puisque qu’il se recouvre par un nombre fini d’ouverts qui sont de la forme Y × AN
avec Y un k-schéma de type fini.
Il reste donc à voir que la t-structure que l’on veut définir s’obtient par recollement de ces
deux t-structures. Pour simplifier, notons H := LX=n+1 et i : H → LX≤n+1 l’immersion
fermée de présentation finie correspondante. Soit d la codimension rectifiée de H dans
LX≤n+1 . Si Z est un atlas formel de LX≤n+1 , il résulte alors du lemme 1.5 que ZH est
également un atlas formel de F . Considérons le carré cartésien :
i
ZH
/Z
f
.
f
H
i
/ LX≤n+1
Il résulte alors du corollaire 5.11 que l’on a :
f ∗ i! [d] = i! [d]f ∗
et donc le résultat suit.
Lemme 8.6. Soit j : U → LX≤n une immersion ouverte quasi-compacte de codimension
rectifiée d, alors j∗ [−d] est t-exact à gauche et j! [−d] est t-exact à droite.
Démonstration. Si on a un atlas formel f : Z → LX≤n , on a l’égalité :
j∗ [−d]f ∗ = f ∗ j∗ [−d],
qui s’obtient en prenant le dual de Verdier de l’égalité j! [−d]f ∗ = f ∗ j! [−d]. En particulier,
on est ramené au cas de l’atlas formel. On peut se réduire ensuite au cas des coefficients
(m)
finis, puis ensuite à un certain YF par descente et cela se déduit de la proposition 8.1. 8.2. Le complexe d’intersection. Dans ce paragraphe, on démontre le théorème suivant :
Théorème 8.7. Soit n ∈ N, il existe un faisceau pervers ICLX≤n ∈ Dcb (LX≤n
pro-lis , Qℓ )) tel
≤n
qu’en tout point fermé γ ∈ LX (k), on a :
(0)
φ∗γ ICLX≤n = p∗γ ICY,y [− dim YF ],
où (Y, y) est un modèle formel de l’arc γ, F le fermé le long duquel, l’isormorphisme de
Drinfeld-Grinberg-Kazhdan vaut, φγ : L Xγ∧ → L X et pγ la flèche composée :
≃
ˆ ∞ → Yy∧ → Y .
pγ : L Xγ∧ → Yy ×D
Remarque : On démontre en fait un résultat plus fort ; à savoir que l’égalité de complexes d’intersection à déjà lieu au-dessus d’un atlas formel Z → LX≤n .
37
Définition 8.8. Soit un entier n ∈ N, on considère l’immersion ouverte jn : L X 0 → LX≤n ,
posons :
ICLX≤n := Im(p H 0 ((jn )! Qℓ ) → p H 0 ((jn )∗ Qℓ ))
pour la t-structure construite dans la proposition 8.5.
(∞)
Si Z est un atlas formel qui s’identifie à YF , on fait la même définition en considérant
l’immersion ouverte j : Z0 → Z, où Z0 est l’image réciproque du lieu régulier Yreg de
Y . On définit de la sorte le complexe d’intersection ICZ ∈ Dcb (Z, Qℓ ). En fait, pour une
extension finie E de Qℓ d’anneau d’entiers OE . On définit de même les complexes ICZ,OE
et ICLX≤n ,OE .
Remarque : Nous n’avons pas besoin de décaler les foncteurs j! et j∗ comme l’immersion
ouverte est dense.
Proposition 8.9. On garde les notations de la définition 8.8, on note in l’immersion
fermée complémentaire de codimension rectifiée dn . Alors, ICLX≤n est l’unique faisceau
pervers K ∈ Dcb (LX≤n
pro-lis , Qℓ ) tel que :
jn∗ K = Qℓ et p H 0 (i∗n [dn ]K) = 0.
On a la même caractérisation pour ICZ et pour les OE -coefficients.
Remarque : Comme jn est une immersion ouverte dense, il n’est pas nécessaire de
décaler.
Démonstration. La preuve est la même que [25, Lem.6.1] pourvu que l’on dispose du lemme
8.6.
Remarque : La proposition reste également vraie si l’on considère un système local E
sur LX0 .
Lemme 8.10. Pour toute extension finie E de Qℓ , on a les égalités :
ICZ,OE = R lim ICZ,OE /ℓr et ICZ,OE ⊗Zℓ E = ICZ,E ,
←−
où Z est un atlas formel.
Démonstration. Par la définition de la t-structure sur Z, on a pour tout r que
ICZ,OE ⊗Zℓ Z/ℓr
est pervers et vérifie les conditions de 8.9, donc on obtient :
ICZ,OE ⊗Zℓ Z/ℓr = ICZ,OE /ℓr ,
comme de plus ICZ,OE est complet, on conclut. La deuxième assertion est immédiate.
Remarque : Cela vaut aussi si on remplace Z par un k-schéma de type fini.
(∞)
Proposition 8.11. Notons h : Z = YF
→ Y la flèche de projection, alors on a :
(0)
ICZ = h∗ ICY [− dim YF ].
38
Démonstration. En utilisant l’équivalence 7.13 et le lemme 8.10, on se ramène aux coeffi(0)
(0)
cients finis. Le complexe ICY [− dim YF ] est pervers pour la perversité p = dim YF − dim.
Il résulte alors de l’égalité (4) que h est t-exacte pour la perversité p sur Y et la perversité
induite sur Z. Comme elle vérifie la caractérisation 8.9, on en déduit l’égalité.
Proposition 8.12. Soit un atlas formel f : Z → LX≤n , alors on a :
f ∗ ICLX≤n = ICZ .
Démonstration. On sait déjà par définition de la t-structure que f ∗ ICLX≤n est pervers et
est le faisceau constant sur le lieu lisse. Maintenant, on a :
p H 0 (i∗ [d ]f ∗ K)
n n
= f ∗p H 0 (i∗n [dn ]K) = 0
par t-exactitude de f ∗ , où l’on a noté in l’immersion fermée correspondante dans Z de
codimension rectifiée dn . On en déduit alors par la proposition 8.9 que :
f ∗ ICLX≤n = ICZ .
Le théorème 8.7 se déduit alors de la combinaison des propositions 8.11 et 8.12.
Remarque : Il résulte de ce paragraphe que si l’on considère l’ouvert des arcs nondégénérés L• X, c’est un ouvert qui n’est pas quasi-compact mais que l’on peut écrire comme
une union croissante d’ouverts :
S
LX≤n .
L• X =
n∈N
LX≤n ,
Sur chaque ouvert
on vient de voir que l’on peut définir un complexe d’intersection
b
≤n
ICLX≤n ∈ Dc (LX , Qℓ ) qui induit par restriction le complexe ICLX≤n−1 . En particulier,
ces faisceaux s’ordonnent naturellement en un système inductif pour donner le complexe :
ICL• X = lim ICLX≤n .
−→
Dans le paragraphe qui suit, il sera plus commode de considérer ce complexe pour formuler
les résultats.
9. Applications
Plusieurs applications ont motivé ce travail, la catégorie de Whittaker, la variété de drapeaux semi-infinis et les espaces de modules de L-monoïdes. Dans chacun de ces cas jusqu’à
maintenant, on ne disposait pas de théorie des faisceaux pervers sur les espaces d’arcs correspondants ; à savoir dans le cas Whittaker, G/U (O) ou plus généralement G/UP (O), où
G est un groupe connexe réductif et U (resp. UP ) le radical unipotent d’un Borel (resp.
parabolique) fixé ; dans le cas semi-infini, les espaces d’arcs associés à certaines strates de
G/U (O) et dans le cas des L-monoïdes M (O) avec M un monoïde réductif.
En revanche, en ce qui concerne le modèle global, la situation est mieux connue grâce à
[6],[7] et [13]-[14] ; en particulier, on sait calculer les complexes d’intersection des espaces
39
de modules globaux. Le but de cette section est donc de comparer les « complexes d’intersections locaux » que l’on vient de construire à l’aide d’atlas formels avec leur variante
globale.
Soit X une courbe projective lisse connexe sur k. Soit G un groupe connexe réductif sur
k, on considère M une variété intègre normale affine sur laquelle G agit avec une orbite
ouverte dense. Soient M 0 ⊂ M ♭ ⊂ M des ouverts de M avec M ♭ le lieu lisse de M .
Définition 9.1. Soit Mglob le sous-champ ouvert de Hom(X, [M/G]) dont le groupoïde
des S-points est donné par les paires (E, φ) où E est un G-torseur sur X × S et φ ∈
H 0 (X × S, M ∧G E) telles que φ−1 (M 0 ∧G E) soit un ouvert de X × S qui se surjecte sur
S.
Remarque : Suivant que l’on considère G/U ou un L-monoïde M , l’ouvert M 0 désigne
soit G/U , soit le groupe des inversibles de M .
On fixe un point v ∈ X(k), soit Ov le complété de l’anneau local en v et on considère
alors le G(Ov )-torseur
M̃glob → Mglob
qui consiste à ajouter une trivialisation sur le disque formel Dv . On a donc une flèche
canonique :
f : M̃glob → L• M .
Proposition 9.2. Soit m̃ = (E, φ, β) ∈ M̃glob (k) tel que φ|X−{v} a son image dans M ♭ le
lieu lisse de M , on note m son image dans Mglob . On considère alors le changement de
˜glob . On a alors une flèche induite :
base M̃glob
m̃ := Spec(OMglob ,m ) ×Mglob M
•
h : Mglob
m̃ → L M ,
et l’on obtient l’égalité
h∗ ICL• M = p∗ ICMglob ,
glob .
avec p : M̃glob
m̃ → Spec(OMglob ,m ) → M
N
Démonstration. Le champ M̃glob
m̃ est localement pour la topologie étale de la forme Z × A
où Z est une pro-localisation Zariski d’un champ de type fini. On peut donc définir de la
même manière que dans 8.8 un complexe d’intersection ICM̃glob et on obtient immédiatem̃
ment l’égalité :
ICM̃glob = p∗ ICMglob .
m̃
Il faut maintenant montrer l’égalité
(5)
ICM̃glob = h∗ ICL• M .
m̃
40
Soit (Y, y) un modèle formel en x de L• M , considérons le diagramme commutatif suivant :
L Xx∧
λ1
LX
/ Yy ×D
ˆ ∞
❏❏
❏❏
❏❏
❏❏
λ2
❏❏ %
Y
Il résulte alors du théorème 8.7 que l’on a l’égalité :
(0)
λ∗1 ICL• X = λ∗2 ICY [− dim YF ].
Considérons le morphisme composé :
h
glob
→ LX∧
f ♯ : M̃m̃
x →Y.
Pour obtenir (5), il suffit de montrer que
(f ♯ )∗ ICY = ICM̃glob
m̃
ce qui est l’objet de la proposition [6, Prop. 2.1, (2.5)] ce qu’on voulait.
Références
[1] A. Beilinson, J. Bernstein, P. Deligne. Faisceaux pervers. Analyse et topologie sur les espaces singuliers,
Astérisque vol. 100, SMF Paris (1982)
[2] B. Bhatt. Algebraization and Tannaka duality. arXiv :1404.7483.
[3] B.
Bhatt.
An
imperfect
ring
with
a
http ://www-personal.umich.edu/∼bhattb/math/trivial-cc.pdf.
trivial
cotangent
complex.
[4] B. Bhatt, P. Scholze. The Pro-étale topology for schemes. arXiv : 1309.1198, A paraître dans le volume
Astérisque en l’honneur de Gérard Laumon.
[5] D. Bourqui, J. Sebag. Drinfeld-Grinberg-Kazhdan’s theorem is false for singular arcs. Prépublication,
http ://blogperso.univ-rennes1.fr/julien.sebag/, A paraître au J. Inst. Math. Jussieu.
[6] A. Bouthier, B. C. Ngô, Y. Sakellaridis. On the formal arc space of a reductive monoid. Am. Journal
of Math., vol. 138 en l’honneur d’Igusa, pp 81-109, fév. 2016.
[7] A. Braverman, M. Finkelberg, D. Gaitsgory, I. Mirkovic. Intersection cohomology of Drinfeld’s compactifications Selecta Math., vol. 8 no. 3, pp. 381-418, (2002).
[8] P. Deligne. Cohomologie étale. SGA 4.5, Lecture Notes in Mathematics 569, Springer-Verlag, Berlin
(1977).
[9] J. Denef, F. Loeser Germs of arcs on singular algebraic varieties and motivic integration. Inventiones
Math., vol. 135, pp. 201-232, (1999).
[10] V. Drinfeld. On the Grinberg-Kazhdan formal arc theorem. arXiv :math-ag/ 0203263.
[11] D. Eisenbud. Commutative algebra, with a view towards algebraic geometry. Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995.
[12] B. Feigin, E. Frenkel. Affine Kac-Moody algebras and semi-infinite flag manifolds. Comm. Math. Phys.,
vol. 128, pp. 161-189 (1990).
[13] M. Finkelberg, I. Mirkovic. Semiinfinite flags. I. Case of global curve P1 . AMS Translations, vol. 194
(2), pp. 81-112, Amer. Math. Soc., Providence, RI, 1999.
41
[14] B. Feigin, M. Finkelberg, I. Mirkovic, A. Kuznetsov. Semiinfinite flags. II. Local and global intersection cohomology of quasimaps’ spaces. AMS Translations, vol. 194 (2, pp. 112-148, Amer. Math. Soc.,
Providence, RI, 1999.
[15] E. Frenkel, D. Gaitsgory, K. Vilonen, Whittaker patterns in the Geometry of Moduli Spaces of Bundles
on Curves. Annals of Mathematics, Second Series, Vol. 153, No. 3, pp. 699-748, (Mai 2001).
[16] O. Gabber. Affine analog of the proper base change theorem. Israël J. of Maths, vol. 87, pp 325-335,
1994.
[17] O. Gabber. Notes on some t-structures. Geometric aspects of Dwork theory, Vol. II (pp. 711-734),
Walter de Gruyter, Berlin.
[18] O. Gabber, L. Ramero. Almost ring theory. Lecture Notes in Mathematics, vol. 1800, Springer-Verlag,
Berlin, 2003.
[19] M. Grinberg, D. Kazhdan. Versal deformations of formal arcs. Geom. Funct. Anal., 10 (3), pp. 543-555,
2000.
[20] A. Grothendieck, avec la collaboration de Jean Dieudonné. EGA IV.4 : Étude locale des schémas et
des morphismes de schémas. Publ. Math. IHES, vol. 32, 1967.
[21] A. Grothendieck et al. Théorie des topos et cohomologie étale des schémas, SGA 4. Lecture Notes in
Mathematics 269, 270, 305, Springer-Verlag, Berlin (1972).
[22] A. Grothendieck et al. Cohomologie ℓ-adique et fonctions L, SGA 5. Edité par L. Illusie, Lecture notes
in Maths, vol. 589, Springer-Verlag, Berlin, 1977.
[23] J. Kollar, A. Nemethi. Holomorphic arcs on singularities. Inventiones Math., Vol. 200, Issue 1, pp.
97-147, Avril 2015.
[24] Luc Illusie, Yves Laszlo, Fabrice Orgogozo. Travaux de Gabber sur l’uniformisation locale et la cohomologie étale des schémas quasi-excellents. Astérisque, Vol. 363-364, (2014), SMF, Paris.
[25] Y. Laszlo, M. Olsson. The six operations for sheaves on Artin stacks I : Finite coefficients. Publ. Math.
IHES, 107 (2008), 109-168.
[26] Y.Laszlo, M.Olsson. Perverse sheaves on Artin stacks. Math. Zeit., vol. 261, pp. 737-748, (2009).
[27] G. Laumon, L. Moret-Bailly. Champs algébriques. Ergebnisse der Mathematik und ihrer Grenzgebiete.
3. olge. A Series of Modern Surveys in Mathematics 39, Springer-Verlag, Berlin (2000).
[28] M. Mustata, L. Ein. Jet schemes and singularities. Algebraic geometry-Seattle 2005, vol. 80 Part 2, pp.
505-546. Proc. Sympos. Pure Math., Amer. Math. Soc., Providence, RI.
[29] B.C. Ngô. On a certain sum of automorphic L-functions. Cont. Math, vol. 614, in honor of PiatetskiShapiro, 2014.
[30] J. Nicaise, J. Sebag. Greenberg approximation and the geometry of arc spaces. Comm. Algebra, Vol.
38, pp. 1-20, 2010.
[31] Y. Sakellaridis. Spherical varieties and integral representations of L-functions. Algebra Number Theory,
vol. 6(4) : 611-667, 2012.
[32] Stack Project. http ://stacks.math.columbia.edu/.
[33] T. Szamuely. Galois Groups and Fundamental groups. Cambridge Studies in Advanced Mathematics,
vol. 117, Cambridge University Press, 2009.
[34] Z. Yun. Global Springer Theory. Advances in Math., vol. 228, 266-328, 2011.
[35] X. Zhu. Affine Grassmannians and the geometric Satake in mixed characteristic. arXiv :1407.8519.
42