Post on 08-Jul-2018
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
1/333
M. ARTIN, A. GROTHENDIECK, J.-L. VERDIERavec la participation de
N. BOURBAKI, P. DELIGNE, B. SAINT-DONAT
THÉORIE DES TOPOS ET
COHOMOLOGIE ÉTALE DES SCHÉMAS
TOME 1
THÉORIE DES TOPOS
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
2/333
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
3/333
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
4/333
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
5/333
TABLE DES MATIÈRES
Exposé i préfaisceaux par A. Grothendieck et J. L. Verdier (avec un appendice deN. Bourbaki) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10. Univers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11. U-catégories. Préfaisceaux d’ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32. Limites projectives et inductives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63. Propriétés d’exactitude de la catégorie des préfaisceaux . . . . . . . . . . . . . . . . . . 114. Cribles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135. Fonctorialité des catégories de préfaisceaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146. Foncteurs fidèles et foncteurs conservatifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247. Sous-catégories génératrices et cogénératrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . 288. Ind-ob jets et pro-ob jets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 379. Foncteurs accessibles, filtrations cardinales et construction de petites sous-catégories génératrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 801 0 . G l o s s a i r e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 0 3Références . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106II. Appendice : Univers (par N. Bourbaki(∗) ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 0 71. Définition et premières propriétés des univers . . .. . . . . . . . . . . . . . . . . . . . . . . . . 1072. Univers et espèces de structures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1093. Univers et catégories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1104. L’axiome des univers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1115. Univers et cardinaux fortement inaccessibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1126. Ensembles et univers artiniens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .116
7. Remarques métamathématiques vaseuses .. ..............................121Références . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
Exposé ii topologies et faisceaux par J.L. Verdier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1251. Topologies, familles couvrantes, prétopologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1252. Faisceaux d’ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1283. Faisceau associé à un préfaisceau . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1304. Propriétés d’exactitude de la catégorie des faisceaux . . . . . . . . . . . . . . . . . . . . . . 1355. Extension d’une topologie de C à Cb . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
6/333
vi TABLE DES MATIÈRES
6. Faisceaux à valeurs dans une catégorie . . . . .. . . . .. . . . .. . . . . . .. . . . .. . . . .. . . . 149Références . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
Exposé iii fonctorialité des catégories de faisceaux par J.L. Verdier . . .. . . . . . . 1551. Foncteurs continus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 552. Foncteur s cocontinus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1633 . T o p o l o g i e i n d u i t e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 6 74. Lemme de comparaison . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1705. Localisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172Références . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
Exposé iv topos par A. Grothendieck et J. L. Verdier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1770. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 771. Définition et caractérisation des topos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1792 . E x e m p l e s d e t o p o s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 8 43. Morphismes de topos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1914. Exemples de morphismes de topos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1965. Topos induit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2156. Points d’un topos et foncteurs fibres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2287. Exemples de foncteurs fibres et de points de topos . . . . . . . . . . . . . . . . . . . . . . . . 2378. Localisation. Ouverts d’un topos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2489. Sous-topos et recollement de topos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25410. Faisceaux de morphismes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29711. Topos annelés, localisation dans les topos annelés ........................30112. Opération sur les modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30513. Morphisme de topos annelés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 310
14. Modules sur un topos défini par recollement . . . . . . . . . . . . . . . . . . . . . . . . . . . . 315Références . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 317
Index terminologique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 319
Index des notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 325
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
7/333
SGA 4, Exposé i
PRÉFAISCEAUX
par A. Grothendieck et J. L. Verdier
(avec un appendice de N. Bourbaki)
Dans les numéros 0 à 5 de cet exposé, on présente les propriétés élémentaires, et 1le plus souvent bien connues, des catégories de préfaisceaux(∗). Ces propriétés sontutilisées constamment dans la suite du séminaire et leur connaissance est essentiellepour la compréhension des exposés suivants. Les démonstrations sont immédiates ;elles sont le plus souvent omises. Dans les numéros 6 à 9 sont abordés quelques thèmesutilisés à différentes reprises dans la suite. Le lecteur pressé pourra les omettre enpremière lecture. Le numéro 10 fixe la terminologie employée. L’appendice 11 est dûà N. Bourbaki.
0. Univers
Un univers est un ensemble non-vide (1) U qui jouit des propriétés suivantes :(U 1) Si x ∈ U et si y ∈ x alors y ∈ U .(U 2) Si x, y ∈ U , alors {x, y} ∈ U .(U 3) Si x ∈ U , alors P (x) ∈ U .(U 4) Si (xi, i ∈ I) est une famille d’éléments de U et I ∈ U , alors ∪i∈Ixi ∈ U .
Des axiomes précédents on déduit facilement les propriétés : 2
– Si x ∈ U , l’ensemble {x} appartient à U .– Si x est un sous-ensemble de y ∈ U , alors x ∈ U .– Si x, y ∈ U , le couple (x, y) = {{x, y}, x} (définition de Kuratowski) est un
élément de U .– Si x, y ∈ U , la réunion x ∪ y et le produit x × y sont des éléments de U .
– Si (xi, i ∈ I ∈ U ) est une famille d’éléments de U , le produit i∈I xi est unélément de U .
– Si x ∈ U , alors card(x) < card(U ) (strictement). En particulier la relationU ∈ U n’est pas vérifiée.
(∗)Le lecteur pourra aussi consulter SGA 3 I § § 1 à 3.(1)N.D.E.: Cette définition contredit l’appendice de Bourbaki infra . Toutefois l’intérêt des univers
vides semble discutable...
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
8/333
2 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
On peut donc faire toutes les opérations usuelles de la théorie des ensembles àpartir des éléments d’un univers sans, pour cela, que le résultat final cesse d’être unélément de l’univers.
La notion d’univers a pour premier intérêt de fournir une définition des catégoriesusuelles : la catégorie des ensembles appartenant à l’univers U (U -Ens), la catégoriedes espaces topologiques appartenant à l’univers U , la catégorie des groupes commu-tatifs appartenant à l’univers U (U -Ab), la catégorie des catégories appartenant àl’univers U . . . .
Cependant le seul univers connu est l’ensemble des symboles du type {{∅}, {{∅}, ∅}}etc.. (tous les éléments de cet univers sont des ensembles finis et cet univers est dé-nombrable). En particulier, on ne connaît pas d’univers qui contienne un élément decardinal infini. On est donc amené à ajouter aux axiomes de la théorie des ensemblesl’axiome : (U A) Pour tout ensemble x il existe un univers U tel que x ∈ U .
L’intersection d’une famille d’univers étant un univers, on en déduit immédiatement3que tout ensemble est élément d’un plus petit univers. On peut montrer que l’axiome(U A) est indépendant des axiomes de la théorie des ensembles.
On ajoutera aussi l’axiome :(U B) Soit R{x} une relation et U un univers. S’il existe un élément y ∈ U tel que
R{y}, alors τ xR{x} ∈ U .
La non-contradiction des axiomes (U A) et (U B) par rapport aux autres axiomesde la théorie des ensembles n’est pas démontrée ni démontrable, semble-t-il.
Soit U un univers et c(U ) la borne supérieure des cardinaux des éléments de
U (c(U ) card(U )). Le cardinal c(U ) jouit des propriétés suivantes :(FI) Si a < c(U ), alors 2a < c(U ).(FII) Si (ai, i ∈ I) est une famille de cardinaux strictement inférieurs à c(U ) et si
card(I) est strictement inférieur à c(U ), Σi∈Iai < c(U ).Les cardinaux qui possèdent les propriétés (FI) et (FII) sont appelés cardinaux
fortement inaccessibles.
Le cardinal 0 et le cardinal infini dénombrable sont fortement inaccessibles.L’axiome (U A) implique :(U A) Tout cardinal est majoré strictement par un cardinal fortement inaccessible.
On peut montrer (11) que réciproquement la non contradiction de (UA) impliquela non contradiction de (UA), et que la non contradiction de ces axiomes entraîne
celle dans l’axiome (U B).Appelons ensemble artinien tout ensemble E tel qu’il n’existe pas de familles infinies4
(xn, n ∈ N) telle que x◦ ∈ E, xn+1 ∈ xn. On peut alors montrer [loc. cit. ] qu’il y a unecorrespondance biunivoque entre les cardinaux fortement inaccessibles et les universartiniens, définie ainsi : à tout cardinal fortement inaccessible c on fait correspondrel’unique univers artinien Uc tel que
card(U c) = c.
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
9/333
i PRÉFAISCEAUX 3
Soient c < c deux cardinaux fortement inaccessibles. On a :
U c ∈ U c .
En particulier les univers artiniens de cardinaux inférieurs à un cardinal donné formentun ensemble bien ordonné (pour la relation d’appartenance). L’axiome (U A) estéquivalent à l’axiome :
(U A). Tout ensemble artinien est élément d’un univers artinien.Remarquons que tous les ensembles usuels (Z,Q, . . . ) sont des ensembles artiniens.
1. U-catégories. Préfaisceaux d’ensembles
1.0. Dans la suite du séminaire et sauf mention expresse du contraire, les univers considérés posséderont un élément de cardinal infini. Soit U un univers. On dit qu’unensemble est U -petit (ou, quand aucune confusion n’en résulte, petit ) s’il est iso-morphe à un élément de U . On utilise aussi la terminologie : petit groupe, petitanneau, petite catégorie (2) . . . On supposera souvent, sans mention explicite, que lesschémas, espaces topologiques, ensembles d’indices. . . avec lesquels on travaille sont∈ U , où tout au moins ont un cardinal ∈ U ; cependant, de nombreuses catégories 5avec lesquelles on travaillera ne seront pas ∈ U .
Définition 1.1. — Soient U un univers et C une catégorie. On dit que C est une U -catégorie si pour tout couple (x, y) d’objets de C, l’ensemble HomC(x, y) est U -petit.
1.1.1. Soient C et D deux catégories et Fonct(C, D) la catégorie des foncteurs de Cdans D. On vérifie immédiatement les assertions suivantes :
a) Si C et D sont éléments d’un univers U (resp. U -petites) la catégorie Fonct(C, D)est un élément de U (resp. est U -petite).
b) Si C est U -petite et si D est une U -catégorie, Fonct(C, D) est une U -catégorie.
Remarque 1.1.2. — Soit D une catégorie possédant les propriétés suivantes :
(C1) L’ensemble ob(D) est contenu dans l’univers U .(C2) Pour tout couple (x, y) d’objets de D, l’ensemble HomD(x, y) est un élément
de U .
(Les catégories usuelles construites à partir d’un univers U possèdent ces deux pro-priétés : U -Ens, U -Ab,. . .). Soit C une catégorie appartenant à U . Alors la catégorie
Fonct(C, D) ne possède pas en général les propriétés (C1) et (C2). Par exemple la ca-tégorie Fonct(C,U -Ens) ne possède aucune des propriétés (C1) et (C2). C’est ce qui
justifie la définition adoptée de U -catégorie, de préférence à la notion plus restrictivepar les conditions (C1) et (C2) ci-dessus.
(2)N.D.E.: Une catégorie C est vue comme un ensemble de flèches (muni du sous-ensemble des objets,
vu comme ensemble des flèches identiques et des applications « source, but »). Ainsi, les expressions
« C est élément de U » ou « C est U -petite » font sens.
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
10/333
4 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
Définition 1.2. — Soit C une catégorie. On appelle catégorie des préfaisceaux d’en-6sembles sur C relative à l’univers U (ou, lorsqu’aucune confusion n’en résulte, caté-
gorie des préfaisceaux sur C) la catégorie des foncteurs contravariants sur C à valeur
dans la catégorie des U -ensembles.
On désigne par CbU
(ou plus simplement, lorsqu’aucune confusion n’en résulte, parCb) la catégorie des préfaisceaux d’ensembles sur C relative à l’univers U . Les objetsde Cb
U sont appelés U -préfaisceaux (ou plus simplement préfaisceaux) sur C. Lorsque
C est U -petite, la catégorie CbU
est une U -catégorie. Lorsque C est une U -catégorie,
CbU
n’est pas nécessairement une U -catégorie.
Construction-définition 1.3. — Soit x un objet d’une U -catégorie C. On appelle U - foncteur représenté par x le foncteur hU (x) : C◦ → U -Ens dont la construction suit(2). Soit y un objet de C.
a) Si HomC(y, x) est un élément de U , alors :
hU (x)(y) = HomC(y, x)
b) Supposons que HomC(y, x) ne soit pas un élément de U et soit R(Z, x , y) larelation : « L’ensemble Z est but d’un isomorphisme HomC(y, x)
∼−→ Z ». On pose
alors :
hU (x)(y) = τ ZR(Z).
(En vertu de l’axiome (U
B), hU (x)(y) est un élément de U
). Soit R(u,x,y) larelation : « u est une bijection
u : HomC(y, x) ∼−→ hU (x)(y) ».
On pose alors :7
ϕ(y, x) = τ uR(u).
On remarquera qu’on a, dans les cas (a) et (b), un isomorphisme canonique :
ϕ(y, x) : HomC(y, x) ∼−→ hU (x)(y).
(Dans le cas a) ϕ(y, x) est l’identité). Soit alors u : y → y une flèche de C. Lemorphisme u définit, par la composition des morphismes, une application :
HomC(u, x) : HomC(y, x) −→ HomC(y, x).
On pose alors
hU (x)(u) = ϕ(y, x)HomC(x, u)ϕ(y, x)−1.
On vérifie immédiatement que hU (x), ainsi défini, est un foncteur Cb → U -Ens.
(2)C◦ désignera toujours la catégorie opposée à C.
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
11/333
i PRÉFAISCEAUX 5
1.3.1. De même, on définit, à l’aide des isomorphismes ϕ, pour tout morphismey : x → x un morphisme de foncteurs :
hU (y) : hU (x) −→ hU (x)
et on vérifie immédiatement qu’on a défini ainsi un foncteur
hU : C −→ CbU
.
1.3.2. Soit maintenant V un univers tel que U ⊂ V . On a alors un foncteur cano-nique pleinement fidèle :
U - Ens → V - Ens
d’où un foncteur pleinement fidèle :
CbU
→ CbV
et le diagramme : 8
ChU
hV
C U
C Vest commutatif à isomorphisme canonique près. Lorsque C est un élément de U , cetisomorphisme canonique est l’identité.
1.3.3. Dans la pratique, l’univers U est fixé une fois pour toutes et n’est pas men-
tionné. On utilise alors les notations Cb (pour la catégorie des U -préfaisceaux d’en-sembles) et
h : C −→ Cb.
Pour tout objet x de C, le préfaisceau h(x) est appelé le préfaisceau représenté par x et nous identifierons toujours la valeur en y ∈ ob(C) du préfaisceau h(x) avecHomC(y, x).
Proposition 1.4. — Soient C une U -catégorie, F un préfaisceau sur C et X un objet de C. Il existe un isomorphisme fonctoriel en X et en F :
i : HomCb(h(X), F) ∼←− F(X),
l’application i n’étant autre, lorsque F est de la forme h(Y), que l’application :
h : Hom(h(X), h(Y)) ←− Hom(X, Y).
En particulier le foncteur h est pleinement fidèle.
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
12/333
6 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
1.4.1. Cette proposition justifie les abus de langage habituels identifiant un objet deC et le foncteur contravariant correspondant. Un préfaisceau isomorphe à un objet9image par h (ou, en utilisant l’abus de langage signalé ci-dessus, isomorphe à un objetde C) est appelé préfaisceau représentable.
1.4.2. Soit V un univers contenant un univers U . La catégorie des U -préfaisceauxest une sous-catégorie pleine de la catégorie des V -préfaisceaux et par suite un U -préfaisceau est représentable si et seulement si son image dans la catégorie des V -préfaisceaux est un V -préfaisceau représentable.
2. Limites projectives et inductives
Soient C une U -catégorie et I une petite catégorie. Notons Fonct(I, C) la catégoriedes foncteurs de I dans C. La catégorie Fonct(I, C) est une U -catégorie. A tout objetX de C associons la sous-catégorie X de C ayant pour seul objet l’objet X et pourseule flèche l’identité de X. Désignons par iX : X → C le foncteur d’inclusion. Il existeun et un seul foncteur eX : I → X , et nous désignerons par kX : I → C le foncteuriX ◦ eX. (On dira que kX est le foncteur constant de valeur X). La correspondanceX → kX est visiblement fonctorielle en X, ce qui nous permet de définir, pour toutfoncteur G : I → C, le préfaisceau X → HomFonct(I,C)(kX, G).
Définition 2.1. — On appelle limite projective de G et on note lim←−I
G le préfaisceau :
X −→ HomFonct(I,C)(kX, G).Lorsque le préfaisceau lim
←−IG est représentable, on désigne encore par lim
←−IG un ob-10
jet de C qui le représente. L’objet lim←−I
G n’est donc défini qu’à isomorphisme près.
Lorsqu’aucune confusion n’en résulte on emploie la notation abrégée lim←−
G.
Pour G variable, lim←−
G est un foncteur de la catégorie Fonct(I, C) à valeurs dans
Cb.
2.1.1. On définit de même par symétrie (renversement du sens des flèches dans C)la limite inductive d’un foncteur : c’est un foncteur covariant sur C à valeur dans lacatégorie des U -ensembles. Nous emploierons les notations lim
−→IG ou bien lim
−→G.
On notera que les produits, produits fibrés, noyaux sont des limites projectives. De
même les sommes, sommes amalgamées, conoyaux sont des limites inductives.
Définition 2.2. — Soient I et C deux catégories et G : I → C un foncteur. On dit que la limite projective de G est représentable s’il existe un univers U tel que :
1) La catégorie I soit U -petite.2) La catégorie C soit une U -catégorie.3) Le préfaisceau lim
←−G à valeurs dans la catégorie des U -ensembles soit représen-
table.
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
13/333
i PRÉFAISCEAUX 7
Il résulte au n◦ 1 que l’objet lim←−
G représentant le préfaisceau lim←−
G ne dépend pas,à isomorphisme près, de l’univers U . Notons aussi qu’il existe un plus petit universU possédant les propriétés (1) et (2), et que le préfaisceau lim
←−G est nécessairement
à valeurs dans la catégorie des U -ensembles.
2.2.1. Soient I et C deux catégories. On dit que les I-limites projectives dans C 11sont représentables si pour tout foncteur G : I → C, la limite projective de G estreprésentable. Enfin soient C une catégorie et U un univers. On dit que les U -limites projectives dans C sont représentables si pour toute catégorie I U -petite et pour toutfoncteur G : I → C, la limite projective de G est représentable.
Proposition 2.3. — Soient C une catégorie et U un univers. Les assertions suivantes sont équivalentes :
i) Les U -limites projectives dans C sont représentables.ii) Les produits, indexés par un petit ensemble sont représentables, et les noyaux
de couples de flèches sont représentables.
iii) Les produits, indexés par un petit ensemble sont représentables, et les produits fibrés sont représentables.
Preuve. — Il suffit de remarquer qu’il existe un isomorphisme fonctoriel en G
lim←−
G = Ker(
i∈ob(I)
G(i) ⇒
u∈F(I)
G(but(u))),
le couple de flèches étant défini par les morphismesi∈Ob(I)
G(i)prbut(u)
−−−−−→ G(but(u))
i∈Ob(I)
G(i)pr
source(u)−−−−−−→ G(source (u))
G(u)−−−→ G(but(u)).
De plus, il est clair que Ker(Xu
−→−→v
Y) = XX×Y
X les deux morphismes de X dans
X × Y étant idX ×u et idX ×v.
2.3.1. Il existe évidemment des définitions et assertions analogues pour les limitesinductives que nous n’expliciterons pas. De même pour les limites projectives et in- 12ductives finies (i.e. relatives à une catégorie I finie).
Corollaire 2.3.2. — Désignons par U -Ens la catégorie des U -ensembles et par U -Ab la catégorie des objets groupes abéliens de U -Ens. Les U -limites projectives et
inductives dans U -Ens et dans U -Ab sont représentables.
Proposition 2.3.3. — Soient I une petite catégorie, F : I → U -Ens en foncteur et G ∈ ob I un petit ensemble d’objets de I tel que pour tout objet X de I il existe un objet
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
14/333
8 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
Y ∈ G et un morphisme Y → X (resp. X → Y). Alors lim←−I
F (resp. lim−→I
F est représen-
table et on a card(lim←−I
F) ΠY∈G card(F(Y)) (resp. card(lim−→IF) ΣY∈G card(F(Y))).
Preuve. — On vérifie immédiatement que lim←−I
F (resp. lim−→I
F) est isomorphe à unsous-objet (resp. un quotient de ΠY∈GF(Y) (resp. Y∈GF(Y)) ; d’où la proposition.
Définition 2.4.1. — Soient C une catégorie où les limites projectives (resp. inductives) finies soient représentables et u : C → C un foncteur. On dit que u est exact à gauche
(resp. à droite) s’il « commute » aux limites projectives (resp. inductives) finies. Un
foncteur exact à gauche et à droite est appelé un foncteur exact.
2.4.2. Il résulte de 2.3 que, pour qu’un foncteur soit exact, il faut et il suffit qu’il
transforme l’objet final (= produit vide) en l’objet final, le produit de deux objetsen le produit des deux objets images, et le noyaux des couples de deux flèches enle noyau des couples images ou encore, qu’il transforme l’objet final en l’objet finalet les produits fibrés en produits fibrés (on suppose que dans C les lim
←− finies sont
représentables).
2.5.0. Soient I, J et C trois catégories, G : I × J → C un foncteur (i.e. un foncteur13de I à valeur dans la catégorie des foncteurs de J dans C). Supposons que les limitesprojectives des foncteurs
Gi :J −→ C i ∈ ob(I)
j −→ G(i × j)
soient représentables, et que le foncteur :
i −→ lim←−
Gi
admette une limite projective représentable. Il est clair qu’alors le foncteur G admetune limite projective représentable et qu’on a un isomorphisme canonique :
lim←−I×J
G ∼−→ lim
←−I
lim←−J
Gi,
et que par suite on a un isomorphisme canonique
lim←−I
lim←−J
Gi∼
−→ lim←−J
lim←−I
Gj .
Nous dirons par la suite plus brièvement que les limites projectives commutent aux
limites projectives. On voit de même que les limites inductives commutent aux limitesinductives. Mais il n’est pas vrai en général que les limites inductives commutent auxlimites projectives.
Définition 2.5. — Soient C une catégorie à produits fibrés représentables, I une ca-tégorie, G : I → C un foncteur, g : G → X un morphisme de G dans un objet de
C (i.e. un morphisme de G dans le foncteur constant associé X), m : Y → X un
morphisme de C. Soit GX
Y : I → C le foncteur 14
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
15/333
i PRÉFAISCEAUX 9
i −→ G(i)X
Y.
On dit que la limite inductive de G est universelle si pour tout objet X, tout morphisme
g : G → X, tout morphisme m : Y → X,
a) la limite inductive du foncteur GX
Y est représentable,
b) le morphisme canonique lim−→
(GX
Y) → (lim−→
G)X
Y est un isomorphisme.
Proposition 2.6 . — Soit U un univers. Les limites inductives dans U -Ens qui sont représentables (en particulier, les U -limites inductives (2.2.1) dans U -Ens) sont uni-
verselles.
Nous utiliserons aussi un autre résultat de commutation entre limites projectiveset inductives que nous allons présenter maintenant.
Définition 2.7 . — Une catégorie I est pseudo-filtrante lorsqu’elle possède les propriétés suivantes :
PS 1) Tout diagramme de la forme :
j
i
j
peut être inséré dans un diagramme commutatif :
j
i
k
j
PS 2) Tout diagramme de la forme :
i
u v j
peut être inséré dans un diagramme : 15
iu v
j w k
tel que
w ◦ u = w ◦ v.
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
16/333
10 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
Une catégorie I est dite filtrante si elle est pseudo-filtrante, non vide et connexe, i.e. si
deux objets quelconques de I peuvent être reliés par une suite de flèches (on n’impose
aucune condition sur le sens des flèches) ; cela signifie aussi, en présence de PS 2, que I = ∅ et que pour deux objets a, b de I, il existe toujours un objet c de I et des flèches
a → c et b → c. On dit aussi qu’une catégorie I est cofiltrante si I◦ est filtrante.
Exemple 2.7.1. — Si dans I les sommes amalgamées (resp. les sommes de deux ob- jets) et les conoyaux de doubles flèches sont représentables, alors I est pseudo-filtrante
(resp. filtrante).
Proposition 2.8. — Soit U un univers. Les U -limites inductives filtrantes dans U -Ens commutent aux limites projectives finies.
On se ramène immédiatement à démontrer que les U -limites filtrantes commutentaux produits fibrés. La démonstration est laissée au lecteur. On pourra utiliser ladescription de la limite donnée par le
Lemme 2.8.1. — Soient I une petite catégorie filtrante, i → Xi un foncteur de I dans U -Ens. Sur l’ensemble somme i∈ob IXi, soit R la relation :
(R) Deux éléments xi ∈ Xi et xj ∈ Xj sont reliés s’il existe un objet k ∈ ob I et deux morphismes u : i → k et v : j → k tels que les images dans Xk de xi et de xjpar les applications de transition u et v respectivement soient égales.
Alors :16
1) R est une relation d’équivalence.2) Le quotient i∈obIXi/R est canoniquement isomorphe à lim−→I Xi.3) Deux éléments xi ∈ Xi et xj ∈ Xj sont respectivement équivalents suivant R à
deux éléments d’un même Xk.
4) Pour tout i ∈ ob I, deux éléments α et β de Xi sont équivalents suivant R si et seulement s’il existe un morphisme u : i → j tel que u(α) = u(β ).
L’assertion 1) résulte de (PS 1) (2.7). Pour démontrer 2), on vérifie que i∈ob IXi/Rpossède la propriété universelle de la limite inductive (on n’utilise que (PS 1)). L’as-sertion 3) résulte du fait que I est connexe. L’assertion 4) résulte de (PS 2).
Corollaire 2.9. — Soit γ une espèce de structure algébrique « définie par limites pro- jectives finies ». (Le lecteur est prié de donner un sens mathématique à la phrase pré-
cédente. Notons seulement que les structures de groupes, groupes abéliens, anneaux,
modules, etc... sont de telles structures). Désignons par U -γ la catégorie des γ -objets
de U -Ens. Le foncteur qui à chaque objet de U -γ associe l’ensemble sous-jacent, com-
mute aux U -limites filtrantes. Par suite les U -limites filtrantes dans U -γ commutent
aux limites projectives finies.
Corollaire 2.10. — Les U -limites pseudo-filtrantes dans U -Ab commutent aux li-mites projectives finies.
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
17/333
i PRÉFAISCEAUX 11
(On se ramène aux limites filtrantes en décomposant la catégorie d’indices en com-posantes connexes).
Notons maintenant un résultat que nous utiliserons constamment : Soient C et 17
C deux U -catégories, u et v deux foncteurs Cu
Cv u adjoint à gauche de
v. Rappelons que ceci veut dire qu’il existe un isomorphisme entre les bifoncteurs àvaleur dans U -Ens :
HomC(u(X), X) ∼−→ HomC(X, v(X
)).
Proposition 2.11. — Le foncteur u commute aux limites inductives représentables ; le foncteur v commute aux limites projectives représentables.
Cette assertion signifie que pour toute catégorie I et tout foncteur G : I → C telque la limite projective de G soit représentable, le foncteur v ◦ G admet une limiteprojective représentable et que l’on a un isomorphisme canonique :
v(lim←−
G) −→ lim←−
(v ◦ G).
Le lecteur explicitera de lui-même l’assertion concernant le foncteur u.Signalons enfin un calcul de limites projectives dans le cas où la catégorie d’indices
admet des produits.
Proposition 2.12. — Soient I et C deux catégories, V un univers. On suppose que les V -limites projectives dans C sont représentables et qu’il existe dans I une famille
d’objets (iα)α∈A, où A est un élément de V , telle que :
1) les produits iα × iβ soient représentables pour tout couple (α, β ) ∈ A × A,2) tout objet de I s’envoie dans un au moins des iα.
Alors pour tout contra foncteur F de I dans C
F : I◦ −→ C,
la limite projective de F existe et il existe un isomorphisme fonctoriel en F :
lim←−
F ∼−→ Ker
α∈A
F(iα) ⇒
(α,β)∈A×A
F(iα × iβ)
,les deux flèches étant définies par les projections des produits iα × iβ sur les facteurs. 18
3. Propriétés d’exactitude de la catégorie des préfaisceaux
Soient C une U -catégorie, Cb la catégorie des préfaisceaux sur C. Les propriétésd’exactitude de Cb se déduisent toutes de la proposition suivante :
Proposition 3.1. — Les U -limites projectives et inductives dans Cb sont représen-tables. Pour tout objet X de C, le foncteur sur Cb :
F −→ F(X) F ∈ Cb
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
18/333
12 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
commute aux limites inductives et projectives.
En d’autres termes, « les limites inductives et projectives dans Cb se calculent ar-gument par argument ». Citons quelques corollaires.
Corollaire 3.2. — Soit γ une structure algébrique définie par limites projectives finies.La catégorie des foncteurs contravariants à valeurs dans U -γ est équivalente à la
catégorie des γ -objets de Cb.
Corollaire 3.3. — Un morphisme de Cb qui est à la fois un monomorphisme et un épimorphisme est un isomorphisme. Un morphisme de Cb se factorise de manière unique en un épimorphisme suivi d’un monomorphisme. Les limites inductives dans
Cb qui sont représentables, sont universelles. Les U -limites inductives filtrantes dans Cb commutent aux limites projectives finies. Le foncteur canonique C → Cb commute aux limites projectives représentables.
Plus généralement on peut dire que la catégorie Cb hérite de toutes les propriétés de19la catégorie des U -ensembles faisant intervenir des limites inductives et projectives.
3.4.0. Soit F un objet de Cb. On désigne par C/F la catégorie suivante : Les objetsde C/F sont les couples formés d’un objet X de C et d’un morphisme u de X dansF. Soient (X, u) et (Y, v) deux objets. Un morphisme de (X, u) dans (Y, v) est unmorphisme g de X dans Y tel que le diagramme ci-après soit commutatif :
Xg
u
Y
v
F .
Proposition 3.4. — Avec les notations de (3.4.0), le foncteur source C/F → Cb admet une limite inductive représentable dans Cb. Le morphisme canonique :
lim source−−−−−−−→C/F
(.) −→ F
est un isomorphisme.
Corollaire 3.5. — Soient F et H deux objets de Cb. Il existe un isomorphisme cano-nique :
Hom(F, H) ∼−→ lim←−(X,u)∈ob(C/F)
H(X).
Preuve. — Le corollaire se déduit immédiatement de 3.4 et de 1.2.
Proposition 3.6 . — Soient C une U -catégorie, V un univers contenant U et i : CbU
→ CbV
20
le foncteur d’injection naturel des catégories de préfaisceaux correspondantes (1.3). Le
foncteur i commute aux limites inductives et projectives. De plus, pour tout objet F
de CbU
, tout sous-objet de i(F) est isomorphe à l’image par i d’un unique sous-objet
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
19/333
i PRÉFAISCEAUX 13
de F (de sorte qu’on obtient une bijection de l’ensemble des sous-objets de F avec
l’ensemble des sous-objets de i(F)).
4. Cribles
Définition 4.1. — Soit C une catégorie. On appelle crible de la catégorie C une sous-catégorie pleine D de C possédant la propriété suivante : tout objet de C tel qu’il existe
un morphisme de cet objet dans un objet de D est dans D. Soit X un objet de C ; on
appelle (par abus de langage) cribles de X les cribles de la catégorie C/X.
Soit U un univers tel que C soit une U -catégorie. Soit Cb la catégorie de pré-
faisceaux correspondante. A tout crible de X on associe un sous-objet de X dans Cbde la manière suivante : A tout objet Y de C, on fait correspondre l’ensemble desmorphismes f : Y → X tels que l’objet (Y, f ) appartienne au crible.
Proposition 4.2. — L’application définie ci-dessus, établit une bijection entre l’en-semble des cribles de X et l’ensemble des sous-objets de X dans Cb.
Preuve. — Montrons seulement qu’elle est l’application inverse. A tout sous-foncteurR de X on associe la catégorie C/R des objets de C au-dessus de R (3.4). On vérifieimmédiatement que C/R est un crible de X.
Remarque 4.2.1. — On voit de même que les cribles de C sont en correspondance 21biunivoque canonique avec l’ensemble des sous-foncteurs du « foncteur final » sur C
(objet « final » de Cb).
4.3. Soit C une U -catégorie. Par abus de langage nous appellerons aussi cribles de X,les sous-objets de X dans la catégorie Cb. Cet abus de langage nous permet pour toutpréfaisceau F et tout crible R de X de définir HomCb(R, F) comme étant l’ensembledes morphismes du foncteur R dans F. On a d’ailleurs un isomorphisme canoniquefonctoriel en F (3.5) :
HomCb(R, F) ∼−→ lim
←−C/R
F(.),
ce qui permet d’en donner une définition directe (3). De même, la proposition 4.2 nouspermet de transposer aux cribles les opérations usuelles sur les foncteurs. Citons :
4.3.1. Changement de base. Soit R un crible de X et f : Y → X un morphismed’objets de C. Le produit fibré RX
Y est un crible de Y qu’on appelle crible déduit de R
par changement de base. La sous-catégorie correspondante de C/Y est l’image inversede la sous-catégorie de C/X définie par R par le foncteur canonique C/Y → C/Xdéfini par f .
(3)N.D.E.: Plus simplement, C/R s’identifie à R de sorte qu’on a la formule HomCb(R,F) ∼
−→ lim←−R
F,
où F désigne abusivement le composé de F et du foncteur « source » tautologique R → C/X→ C.
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
20/333
14 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
4.3.2. Relation d’ordre, intersection, réunion. La relation d’inclusion sur les sous-foncteurs de X est une relation d’ordre. On peut définir la réunion et l’intersectiond’une famille de cribles indexés par un ensemble quelconque comme étant la bornesupérieure et la borne inférieure de la famille de sous-préfaisceaux correspondante.
4.3.3. Image, crible engendré. Soient (Fα)α∈A une famille de préfaisceaux et pour22chaque α ∈ A, un morphisme f α : Fα → X où X est un objet de C. On appelle image de cette famille de morphismes la réunion des images des f α. L’image de cette familleest donc un crible de X. En particulier si tous les Fα sont des objets de C, le cribleimage sera appelé le crible engendré par les morphismes f α. La catégorie C/R estla sous-catégorie pleine de C/X formée des objets X → X au-dessus de X tels qu’il
existe un X-morphisme de X
dans un des Fα.Le lecteur pourra, à titre d’exercice, traduire en termes des catégories C/R lesrelations et opérations définies ici sur les sous-foncteurs. Il constatera alors que cesrelations et opérations ne dépendent pas de l’univers U tel que C soit uneU -catégorie,et qu’elles sont par suite définies pour toute catégorie, sans que l’on soit obligé depréciser l’univers auquel les ensembles de morphismes appartiennent; ce qu’on pouvaitd’ailleurs prévoir a priori grâce à 3.6.
5. Fonctorialité des catégories de préfaisceaux
5.0. Soient C, C, D trois catégories et u : C → C un foncteur. On désignera par u∗
le foncteur :
u∗ :H om (C◦, D) −→ H om (C◦, D)
G −→ G ◦ u
obtenu en composant avec le foncteur u. Le foncteur u∗ commute aux limites induc-tives et projectives.
Proposition 5.1. — Supposons que C soit petite, et que, dans D, les U -limites in-23ductives (resp. projectives) soient représentables. Le foncteur u∗ admet un adjoint à
gauche u! (resp. à droite u∗). On a donc un isomorphisme :
HomH om (C◦,D)(F, u∗G)
∼−→ HomH om (C◦,D)(u!F, G)
(resp. HomH om (C◦,D)(u∗G, F) HomH om (C◦,D)(G, u∗F)).
Preuve. — Nous n’indiquerons que la démonstration de l’existence du foncteur ad- joint à gauche. La partie resp. de la proposition s’en déduira alors formellement grâceaux isomorphismes :
H om (C◦, D) ∼−→ H om (C, D◦)◦
∼−→ H om ((C◦)◦, D◦)◦.
Soit Y un objet de C. Désignons par IYu la catégorie suivante : Les objets de IYu
sont les couples (X, m) où X est un objet de C et m un morphisme Y → u(X). Soient(X, m) et (X, m) deux objets de IYu . Un morphisme de (X, m) dans (X
, m) est un
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
21/333
i PRÉFAISCEAUX 15
morphisme ξ : X → X tel que m = u(ξ )m. La composition des morphismes se définitde la manière évidente.
Soit f : Y → Y un morphisme de C. Le morphisme f définit par composition unfoncteur If u : I
Yu → I
Y
u .On a de plus un foncteur prY : I
Yu → C qui, à l’objet (X, m) associe l’objet X.
Notons qu’alors le diagramme :
(∗)
IYu
prY
If u
IY
u
prY
C
est commutatif.Soit maintenant F un préfaisceau sur C et posons : 24
(5.1.1) u!F(Y) = lim−→IYu
F ◦ prY(.).
La commutativité du diagramme (∗) et la fonctorialité de la limite inductive fontde u!F un préfaisceau sur C. Montrons que le foncteur u! est un adjoint à gauchedu foncteur u∗. Pour cela montrons que pour tout préfaisceau G sur C, il existe unisomorphisme fonctoriel
Hom(u!F, G) ∼−→ Hom(F, u∗G).
Soit ξ ∈ Hom(u!F, G). Pour tout objet X de C, on a donc un morphisme :
ξ X : u!(u(X)) −→ G(u(X)).
Mais (u(X), idu(X)) est un objet de Iu(X)u , et par définition de la limite inductive, on
a un morphisme canonique :
F(X) −→ u!F(u(X)).
On en déduit pour tout objet X de C un morphisme :
ηX : F(X) −→ G(u(X))
qui est visiblement fonctoriel en X. D’où un morphisme
η : F −→ u∗G.
Réciproquement, soit η ∈ Hom(F, u∗G). On en déduit, pour tout objet Y de C, unmorphisme de foncteur :
ηY : F ◦ prY −→ (u∗G)prY ,
d’où, en composant avec le morphisme évident du foncteur (u∗G)prY dans le foncteurconstant G(Y), un morphisme :
ξ Y : u!F(Y) −→ G(Y)
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
22/333
16 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
qui est fonctoriel en Y . D’où un morphisme :
ξ : u!F −→ G.
Le lecteur vérifiera que les deux applications ainsi définies sont inverses l’une de25l’autre, et achèvera ainsi la démonstration.
Proposition 5.2. — Supposons que dans D, les U -limites inductives soient représen-tables, les limites projectives finies soient représentables et que les U -limites in-
ductives filtrantes commutent aux limites projectives finies. Supposons de plus que
dans C les limites projectives finies soient représentables et que le foncteur u soit
exact à gauche (2.3.2). Alors les limites projectives finies sont représentables dans
H om
(C◦
, D) et dans H om
(C◦
, D), et le foncteur u! est exact à gauche. Preuve. — La première assertion est triviale. Démontrons la seconde. D’après la dé-monstration de 5.1, pour tout préfaisceau F sur C et tout objet Y de C on a :
u!F(Y) ∼−→ lim
−→IYu
F ◦ prY .
Il suffit donc de montrer que la catégorie (IYu )◦ vérifie les axiomes (PS 1) et (PS 2)
(2.7) et que cette catégorie est connexe. La vérification est laissée au lecteur.
5.3. En particularisant ces résultats au cas où D est la catégorie des U -ensembles,on obtient une suite de trois foncteurs :
u!, u∗, u∗,
qui est une « suite de foncteurs adjoints » dans le sens que pour deux foncteursconsécutifs de la suite celui de droite est adjoint à droite de l’autre. Leurs propriétés26essentielles sont résumées dans la :
Proposition 5.4. — Soient C une petite catégorie, C une U -catégorie, et u : C → C
un foncteur.
1) Le foncteur u∗ : Cb → Cb commute aux limites inductives et projectives.2) Le foncteur u∗ : Cb → C
b commute aux limites projectives. Pour tout préfaisceau
F sur C et tout objet Y de C, on a :
u∗F(Y) ∼−→ HomCb(u
∗(Y), F).
3) Le foncteur u! : Cb → Cb commute aux limites inductives. Le foncteur u! n’est
défini qu’à isomorphisme près, mais on peut toujours le choisir tel que le diagramme
C u
h
C
h
C u! C
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
23/333
i PRÉFAISCEAUX 17
( h et h sont les foncteurs d’inclusion canonique) soit commutatif.
Pour tout préfaisceau F sur C, on a :
u!F ∼−→ lim
−→C/F
h ◦ u.
4) Si les limites projectives finies sont représentables dans C et si u est exact à gauche (2.3.2), le foncteur u! est exact à gauche.
Preuve. — L’assertion (1) est triviale. L’assertion (2) se déduit du fait que u∗ est unfoncteur adjoint à droite par (2.11) et (1.4). Il en est de même pour l’assertion (3)mais on applique en plus (3.4). Enfin l’assertion (4) n’est autre que (5.2) qu’on peutappliquer grâce à (2.7).
Proposition 5.5. — Soient C et C deux petites catégories et Cu
Cv un couple 27
de foncteurs, où v est adjoint à gauche de u. Il existe alors des isomorphismes, com-
patibles avec les isomorphismes d’adjonction :
v∗ ∼ u!
v∗∼ u∗ .
Preuve. — Il suffit d’exhiber un isomorphisme v∗ ∼−→ u! ; l’autre isomorphisme s’en
déduira par adjonction. Soient F un préfaisceau sur C et Y un objet de C. On aalors :
v∗F(Y) ∼−→ Hom(v(Y), F).
Puis en utilisant (3.4) :
Hom(v(Y), F) ∼−→ lim
−→C/F
Hom(v(Y), .).
Mais v est adjoint à gauche de u et par suite :
lim−→C/F
Hom(v(Y), .) ∼−→ lim
−→C/F
Hom(Y, u(.)).
Utilisant alors (5.4.3)), il vient :
lim−→C/F
Hom(Y, u(.)) ∼
−→ Hom(Y, u!F) ∼
−→ u!F(Y).
On a donc déterminé, pour tout objet Y de C, un isomorphisme v∗F(Y) ∼−→ u!F(Y)
qui est visiblement fonctoriel en Y et en F, C.Q.F.D.
Corollaire 5.5.1. — Soit u : C → C un foncteur qui admet un adjoint à gauche. Le foncteur u! : C
b → Cb commute aux limites projectives (rappelons qu’il commute aux limites inductives par (1.4.3)).
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
24/333
18 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
Remarque 5.5.2. — On trouve ainsi une « suite de quatre foncteurs adjoints » (cf. 5.3) : 28
v!, v∗ = u!, v∗ = u
∗, u∗,
dont les trois premiers (resp. derniers) commutent donc aux lim−→
(resp. lim←−
).
Proposition 5.6 . — Les hypothèses sont celles de 5.4. Les conditions suivantes sont équivalentes :
i) Le foncteur u est pleinement fidèle.ii) Le foncteur u! est pleinement fidèle.iii) Le morphisme d’adjonction idCb → u
∗u! est un isomorphisme.
iv) Le foncteur u∗ est pleinement fidèle.v) Le morphisme d’adjonction u∗u∗ → idCb est un isomorphisme.
Preuve. — Il est clair que ii) ⇔ iii) et iv) ⇔ v) (propriétés générales des foncteursadjoints) et que ii) ⇒ i) (5.4.3)). Montrons que i) ⇒ iii). Les foncteurs idCb, u
∗
et u! commutent aux limites inductives. D’après (3.4), il suffit donc de démontrerque H → u∗u!H est un isomorphisme lorsque H est représentable ce qui est évident.Montrons que iii) est équivalent à v). Pour tout objet H (resp. K) de Cb désignonspar Φ(H) : H → u∗u!H (resp. par Ψ(K) : u∗u∗ → K) le morphisme d’adjonction. Ona alors un diagramme commutatif :
HomCb(H, u∗
u∗K)
Hom(H, Ψ(K))
HomCb(H, K)
HomCb(u!H, u∗K)
HomCb(u∗u!H, K)
Hom(Φ(H), K)
.
Par suite Φ(H) est un isomorphisme pour tout H si et seulement si Ψ(K ) est un29isomorphisme pour tout K, C.Q.F.D.
Remarque 5.7 . — a) Les équivalences ii) ⇔ iii) ⇔ iv) ⇔ v) sont des résultats
généraux sur les foncteurs adjoints.b) La forme explicite de u! resp. u∗ donnée dans la démonstration de 1.4 montre
aussitôt que, sous les hypothèses générales de 1.1, si u est pleinement fidèle, alors lemorphisme d’adjonction id → u∗u! (resp. u∗u∗ → id) est un isomorphisme, i.e. que u!(resp. u∗) est pleinement fidèle.
5.8.0. Soient γ une espèce de structure algébrique définie par limites projectives fi-nies U -γ -Ens la catégorie des γ -objets de U -Ens, esj : U -γ -Ens → U -Ens le foncteur
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
25/333
i PRÉFAISCEAUX 19
ensemble sous-jacent (pour simplifier nous supposons que l’espèce de structure envisa-gée a un seul ensemble de base). Soit C une catégorie. La composition avec esj fournitun foncteur noté
esjb : H om (C◦,U -γ - Ens) −→ Cb.
Comme dans Cb, les limites projectives se calculent argument par argument, le fonc-teur esjb se factorise en une équivalence.
(5.8.1) H om (C◦,U -γ - Ens) ≈−→ Cbγ ,
où Cbγ est la catégorie des γ -objets de Cb, et un foncteur encore noté
esjb : Cbγ −→ Cb,
et appelé le foncteur « préfaisceau d’ensembles sous-jacent ».
5.8.2. Supposons que le foncteur est : U -γ -Ens → U -Ens admette un adjoint à 30gauche Lib : U -Ens → U -γ -Ens (3) (on peut montrer en fait que cette condition esttoujours satisfaite). La composition avec Lib fournit un foncteur
Libb : Cb −→ H om (C◦,U -γ - Ens)
et en composant avec l’équivalence (5.8.1), un foncteur encore noté
Libb : Cb −→ Cbγ
et appelé le foncteur « préfaisceau de γ -objets libres engendré ». Le foncteur Libb estadjoint à gauche au foncteur esjb.
Proposition 5.8.3. — Soient γ une espèce de structure algébrique définie par limites projectives finies telle que dans la catégorie des γ -objets de U -Ens, les U -limites
inductives soient représentables (3), C une catégorie appartenant à U , C une U -
catégorie, u : C → C un foncteur. Désignons par Cbγ (resp. Cbγ ) la catégorie des
γ -objets de Cb (resp. Cb) et par u∗γ le foncteur sur les γ -objets déduit du foncteur u∗. Il résulte de 5.1 et de l’équivalence 5.8.1 qu’il existe un foncteur adjoint à gauche
(resp. à droite) au foncteur u∗γ . Ce foncteur est noté u!γ (resp. u∗γ ).
(1) Le foncteur u∗γ commute aux limites inductives et projectives. Le diagramme
(∗)
Cbγ u∗
γ
esj
Cbγ
esjb
Cbu∗ Cb
(3)Le foncteur Lib est le foncteur « γ -objets libre engendré ». Exemple : groupe libre, groupe com-
mutatif libre, A-module libre, etc.(3)On peut montrer que cette condition est toujours satisfaite.
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
26/333
20 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
est commutatif ( esjb
et esjb désignent les foncteurs « ensemble sous-jacent »),31(2) Le foncteur u∗γ commute aux limites projectives. Le diagramme
(∗∗)
Cbγ u∗γ
esj
Cbγ
esj
Cbu∗ Cb
est commutatif à isomorphisme près.
(3) Le foncteur u!γ
commute aux limites inductives. Supposons que esjb (resp. esjb)
admette un adjoint à gauche Libb (resp. Libb) (5.8.2). Le diagramme
(∗∗∗)
Cbu!
Lib
Cb
Lib
Cbγ u!γ
Cbγ
est commutatif à isomorphisme près.
Supposons que u! commute aux limites projectives finies (5.4) et (5.6). Alors le
diagramme
(∗∗∗∗)
Cbγ u!γ
esj
Cbγ
esj
Cbu! Cb
est commutatif à isomorphisme près, et u!γ commute aux limites projectives finies.
Preuve. — L’assertion (1) est évidente. L’assertion (2) aussi car u∗ est un adjoint àdroite et par suite (2.11) commute aux limites projectives et, en particulier, aux limites
projectives finies ; d’où la commutativité du diagramme (∗∗). La commutativité dudiagramme (∗∗∗) se déduit de l’unicité, à isomorphisme près du foncteur adjoint à32gauche, et enfin la commutativité du diagramme (∗∗∗∗) se déduit immédiatement dufait que u! commute aux limites projectives finies.
Notation 5.9. — Par abus de notation, les foncteurs u∗γ et u∗γ seront souvent notésu∗ et u∗, ce qui ne risque pas d’apporter des confusions en vertu de la commutativitédes diagrammes (∗) et (∗∗). En revanche, lorsque u! ne commute pas aux limites
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
27/333
i PRÉFAISCEAUX 21
projectives finies, le diagramme (∗∗∗∗) n’est pas commutatif à isomorphisme près, etles notations u! et u!γ devront être employées pour éviter des confusions.
5.10. Soit C une petite catégorie. Pour tout objet X de Cb, on désigne par C/X lacatégorie des flèches de but X et de source un objet de C. Le foncteur source définitun foncteur jX : C/X → C. Soit m : Y → X un morphisme de Cb. La composition desmorphismes définit un foncteur jm : C/Y → C/X. Le diagramme :
C/Y jm
jY
C/X
jX
C
est commutatif. Il résulte de 5.1 que pour tout objet F de (C/X)b et tout objet Y deC, on a :
(5.10.1) jX!F(Y) =
u∈HomCb(Y,X)
F(u).
La formule (5.10.1) permet de définir jX! lorsque C est une U -catégorie, et on vérifieque le foncteur jX! ainsi défini est toujours adjoint à droite au foncteur j∗X : C
b → 33(C/X)b (5.0).
Proposition 5.11. — Soit C une U -catégorie, X un préfaisceau sur C.1) Le foncteur
jX! : (C/X)b −→ Cb
se factorise par la catégorie Cb/X :
(C/X)b eX−−→ Cb/X −→ Cb.
Le foncteur eX est une équivalence de catégories.
2) Le foncteur eX ◦ j∗X : Cb → Cb/X est canoniquement isomorphe au foncteur
H → (H × X pr2−−→ X).
Preuve. — 1) Soit f l’objet final de (C/X)b. On a un isomorphisme canonique
f
∼
−→ lim−→Y∈obC/X Y et par suite jX!(f ) = lim−→Y∈obC/X jX(Y) (5.4). Or jX!(f ) X ;d’où la factorisation. Pour montrer que eX est une équivalence nous nous contenteronsd’exhiber un foncteur quasi-inverse : A tout objet H → X de Cb/X on associe lepréfaisceau sur C/X :
(Y → X) −→ HomCb/X((Y → X), (H → X)).
2) Le foncteur eX◦ j∗X est adjoint à droite au foncteur d’oubli et par suite le foncteur
eX ◦ j∗ est canoniquement isomorphe au foncteur H → (H × H
pr2−−→ X).
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
28/333
22 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
5.12. Soit m : Y → X un morphisme de Cb. D’après (5.11), le morphisme m estcanoniquement isomorphe à l’image par eX d’un objet de (C/X)b que nous noterons[m]. Le foncteur eX définit, par restriction aux sous-catégories, une équivalence
(C/X)/[m] em−−→ C/Y.
Le diagramme34
(C/X)/[m] em
j[m]
C/Y
jm
C/X
est commutatif à isomorphisme canonique près.
5.13. Signalons un résultat qui nous sera utile dans Exp. VI. Soit u : C → C
un foncteur entre petites catégories. Pour tout objet H de Cb désignons par u/H :C/H → C/u!H le foncteur qui associe à tout morphisme m : X → H le morphismeu!X
u!m−−→ u!H (on sait (5.4) qu’on peut toujours poser u!X = uX). Le diagrammeci-après est commutatif :
(5.13.1)
C/Hu/H
JH
C/u!H
ju!H
C u C .
On a donc un diagramme commutatif à isomorphisme près :
(5.13.2)
(C/H) (u/H)! ( jH)!
(C/u·H) ( ju!H)!
C
u! C
,
et comme (u/H)! transforme l’objet final de (C/H)b en l’objet final de (C/u!H)b, lediagramme :
(5.13.3)
(C/H) (u/H)! eH
(C/u!H) eu!H
C /H u!/H C /u!H
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
29/333
i PRÉFAISCEAUX 23
est commutatif à isomorphisme près (6.1). 35
Proposition 5.14. — Soit u : C → C un foncteur entre petites catégories. On suppose que u possède la propriété suivante :
(PPF) Pour tout objet X de C le foncteur u/X : C/X → C/uX est pleinement fidèle.
Alors :
1) Soit f l’objet final de Cb. Le foncteur u se factorise en
C = C/f u/f −−→ C/u!f
ju!f −−→ C.
Le foncteur u/f est pleinement fidèle.
2) Le foncteur u! : Cb → Cb se factorise en
Cb = (C/f )b (u/f )!−−−−→ (C/u!f )
b eu!f −−−→ Cb/u!f −→ Cb,
où le foncteur (u/f )! est pleinement fidèle, le foncteur eu!f une équivalence, et le
foncteur Cb/u!f → C
b le foncteur d’oubli.3) En particulier le foncteur u! est fidèle et par suite le morphisme d’adjonction
id Φ−→ u∗u! est un monomorphisme. De plus, pour tout morphisme α : H → K de C
b,le diagramme :
H
Φ(H)
α
u∗u!H
u.u•
(α)
K
Φ(K) u∗u!K
est cartésien.
Preuve. — 1) La factorisation provient du diagramme (5.13.1). Le foncteur u est 36fidèle. Donc u/f est fidèle. Montrons qu’il est pleinement fidèle. Soient X et Y deuxobjets de C, canX : uX → u!f (resp. canY : uY → u!f ) les morphismes canoniques et
uX m
canX
uY
canY
u•
f
un morphisme de C /u!f . On a u!f = lim−→Z∈obC uZ et par suite (3.1) :
HomCb(uX, u!f ) = lim−→Z∈obC
HomC(uX, uZ).
Par définition de la limite inductive, dire que canY m = canX équivaut à dire qu’ilexiste
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
30/333
24 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
a) une suite finie d’objets de C, Xi, i ∈ [0, n], X◦ = X, Xn = Y,b) pour tout i, un morphisme mi : uX → uXi(m◦ = idX, mn = m),c) pour tout couple (i, i + 1) un morphisme f i : Xi → Xi+1 ou bien f i :
Xi+1 → Xi,
tels que les diagrammes
uX
mi+1 ou bien
mi
uXiu(f i)
uXi+1
uX
mi+1
mi
uXi uXi+1 ,u(f i)
soient commutatifs.On démontre alors immédiatement, par récurrence sur i et en utilisant la propriété
(PPF), que mi est de la forme u( pi). En particulier m = u( p) et par suite u/f estpleinement fidèle.
2) La factorisation est immédiate. Le foncteur (u/f )! est pleinement fidèle en vertu37du 5.6. Les autres assertions résultent de 5.11.
3) Le foncteur u! est composé du foncteur d’oubli qui est fidèle, et de foncteurs plei-nement fidèles. Il est par suite fidèle. Il en résulte, d’après les propriétés générales desfoncteurs adjoints, que le morphisme d’adjonction id → u∗u! est un monomorphisme.D’après 2) le foncteur u! apparaît comme le composé d’un foncteur pleinement fidèlev : Cb → Cb/u!f et du foncteur d’oubli. Le foncteur u∗, adjoint à droite de u!, est
donc le composé du foncteur « produit par u!f », adjoint à droite du foncteur d’oubli,et d’un foncteur w adjoint à droite de v. De plus, v étant pleinement fidèle, le mor-phisme d’adjonction id → wv est un isomorphisme. La dernière assertion en résulteaisément.
6. Foncteurs fidèles et foncteurs conservatifs38
Définition 6.1. — Soient E une catégorie, (ϕi : E → Fi)i∈I une famille de foncteurs
ϕi : E −→ Fi.
On dit que la famille de foncteurs (ϕi) est fidèle si pour tout couple d’objets X, Y , de E, et tout couple de flèches u, v : X ⇒ Y, la relation ϕi(u) = ϕi(v) pour tout i ∈ I im-
plique u = v (en d’autres termes, si l’application Hom(X, Y) → Πi Hom(ϕi(X), ϕi(Y))
définie par (ϕi) est injective). On dit que la famille de foncteurs (ϕi) est conservative
si toute flèche u de E, telle que ϕi(u) soit un isomorphisme pour tout i ∈ I, est un
isomorphisme. On dit que (ϕi) est conservative pour les monomorphismes (resp. pour
les épimorphismes, resp. . . .) si la condition précédente est vérifiée chaque fois que u
est un monomorphisme (resp. un épimorphisme, resp. . . .).
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
31/333
i PRÉFAISCEAUX 25
6.1.1. Si on introduit le foncteur unique
ϕ : E −→ F =i∈I
Fi
défini par la famille de foncteurs (ϕi), il est clair que celle-ci est fidèle (resp. conservative,resp. conservative pour les monomorphismes, resp. . . .) si et seulement si le foncteur ϕest fidèle (resp. conservatif, resp. . . .) (par quoi on entend que la famille réduite au seulobjet ϕ est fidèle, resp. conservative, resp. . . .). On pourrait donc sans inconvénientmajeur nous borner par la suite au cas d’une famille réduite à un seul foncteur. Pourla commodité des futures références, nous donnerons néanmoins les énoncés suivantspour les familles.
Les notions de 6.1 sont surtout utiles lorsque les ϕi satisfont à des propriétés 39d’exactitude convenables, et dans ce cas ont une tendance à coïncider :
Proposition 6.2. — Les notations sont celles de 5.1.
(i) Si les noyaux de doubles flèches, ou les conoyaux de doubles flèches, sont repré-sentables dans E, et si les ϕi y commutent, alors on a l’implication
(ϕi) conservative =⇒ (ϕi) fidèle .
(ii) Supposons que les produits fibrés (resp. les sommes amalgamées) soient repré-sentables dans E, et que les ϕi y commutent. Supposons (ϕi) fidèle ou conservative ;
alors pour toute flèche u de E, u est un monomorphisme (resp. un épimorphisme) si
et seulement si pour tout i ∈ I, il en est ainsi pour ϕi(u).
(iii) Supposons que dans E les produits fibrés et les sommes amalgamées sont repré-sentables et que les ϕi y commutent, et que toute flèche dans E qui est un bimorphisme
(i.e. un monomorphisme et un épimorphisme) soit un isomorphisme. Alors on a l’im-
plication
(ϕi) fidèle =⇒ (ϕi) conservative .
(iv) Supposons que dans E les produits fibrés (resp. les sommes amalgamées) soient représentables, et que les ϕi y commutent. Alors, si (ϕi) est conservative pour les
monomorphismes (resp. pour les épimorphismes) alors (ϕi) est même conservative.
(v) Soit D un type de diagramme, F : d → F(d) un diagramme de type D dans E,X un objet de E et u = (ud)d∈D une famille de flèches
X −→ F(d) (resp. F(d) −→ X).Supposons que (ϕi) soit conservative, que les limites projectives (resp. inductives) de 40
type D soient représentables dans E, et que les ϕi y commutent. Alors, pour que u
fasse de X une limite projective (resp. inductive) de F dans E, il faut et il suffit que
pour tout i ∈ I, ϕi(u) fasse de ϕi(X) une limite projective (resp. inductive) de ϕi(D)
dans Ei.
Démonstration.
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
32/333
26 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
(i) Pour l’énoncé non respé, il suffit, pour une double flèche donnée u, v : X ⇒ Y,d’exprimer l’égalité u = v par la condition que l’inclusion Ker(u, v) → X est unisomorphisme. Ici et par la suite, on se dispense de répéter l’argument dual pourl’énoncé dual.
(ii) Si (ϕi) est fidèle, on exprime la condition que u : X → Y soit un monomor-phisme par l’égalité pr1 = pr2 pour le produit fibré X
YX. Si (ϕi) est conservatif,
on l’exprime par la condition que le morphisme diagonal δ : X → XY
X soit un
isomorphisme.(iv) Comme dans ce dernier argument, le morphisme δ est un monomorphisme, on
voit qu’il suffisait en fait de supposer (ϕi) conservative pour les monomorphismes.
Mais ceci implique alors que (ϕi) est conservative tout court. En effet, si u ∈ F Eest telle que les ϕi(u) soient des isomorphismes, on en conclut que ce sont des mono-morphismes d’après ce qui précède, donc des isomorphismes d’après l’hypothèse sur(ϕi).
(iii) Est une conséquence triviale de (ii).(v) Est une conséquence triviale des définitions.
Notons la conséquence suivante de (i) (ii) (iv) :
Corollaire 6.3. — Supposons que dans E les produits fibrés et les sommes amalgamées 41soient représentables et que les ϕi y commutent, et que les noyaux de double flèches
ou les conoyaux de double flèches soient représentables et que les ϕi y commutent. (Il
suffit par exemple que les limites projectives finies et les limites inductives finies soient
représentables dans E, et que les ϕi soient des foncteurs exacts.) Alors les conditions suivantes sont équivalentes :
a) (ϕi) est fidèle.b) (ϕi) est conservative.c) (ϕi) est conservative pour les monomorphismes.c) (ϕi) est conservative pour les épimorphismes.
Signalons aussi pour mémoire :
Proposition 6.4. — Soient ϕ : E → F un foncteur admettant un adjoint à droite ψ(donc Hom(ϕ(X), Y) Hom(X, ψ(Y))). Pour que ϕ (resp. ψ) soit fidèle, il faut et il
suffit que pour tout élément X de E (resp. tout élément Y de F), le morphisme d’ad-
jonction X → ψϕ(X) soit un monomorphisme. Pour que ϕ (resp. ψ) soit pleinement fidèle, il faut et il suffit que le morphisme d’adjonction précédent soit un isomorphisme.
En effet, si X, X sont deux objets de E, l’application
(∗) Hom(X, X) −→ Hom(ϕ(X), ϕ(X))
s’identifie à l’application déduite de
(∗∗) X −→ ψϕ(X)
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
33/333
i PRÉFAISCEAUX 27
par application du foncteur Hom(X, −). Donc pour que (∗) soit un monomorphisme 42(resp. un isomorphisme) pour tout X, X étant fixé, il faut et il suffit que le morphismed’adjonction (∗∗) soit un monomorphisme (resp. un isomorphisme).
Proposition 6.5. — Soit p : E → E un foncteur. Les conditions suivantes sont équi-valentes :
(i) p est fidèle, conservatif et fibrant (SGA 1 VI 6.1).(ii) p est un foncteur fibrant à fibres des catégories discrètes.(iii) Pour tout X ∈ ob E, le foncteur E/X → E/p(X) induit par p est une équiva-
lence de catégories, surjective sur les objets.
(iv) (Lorsque E est une U -catégorie). Il existe un élément F ∈ ob C et une équi-valence de catégories sur E (SGA 1 VI 4.3) E ≈−→ E/F (où E/F est la sous-catégorie pleine de E/F formée des flèches X → F dont la source est dans E).6.5.1. Rappelons qu’une catégorie C dite est discrète si c’est un groupoïde (i.e. touteflèche y est inversible) et si elle est rigide (i.e. le groupe des automorphismes de toutobjet est réduit au groupe unité); il revient au même de dire que la catégorie estéquivalente à la catégorie C définie par un ensemble I (avec obC = I, et commeseules flèches les flèches identiques). Quand on suppose déjà que C est un groupoïde,alors dire que C est discrète revient à dire que pour deux objets X, Y de C, il existeau plus une flèche de X dans Y, i.e. que C est isomorphe à la catégorie définie par unensemble préordonné.
L’équivalence des conditions (i) et (ii) de 6.5 est une conséquence immédiate des 43
rappels précédents et du
Lemme 6.5.2. — Soit p : E → E un foncteur fibrant. Alors :
(i) Pour que p soit conservatif, il faut et il suffit que ses catégories fibres soient des groupoïdes.
(ii) Pour que p soit fidèle, il faut et il suffit que ses catégories fibres soient des catégories ordonnées.
Démonstration de 6.5.2.
(i) Supposons p conservatif. Pour toute flèche u d’une fibre EX, p(u) = idX estun isomorphisme, donc u est un isomorphisme dans E, donc aussi dans EX (car un
inverse de u dans E
sera évidemment un inverse dans EX). Donc E
X est un groupoïde.
Inversement, supposons les EX des groupoïdes, et soit u une flèche de E telle que
p(u) soit un isomorphisme, prouvons que u est un isomorphisme. Pour ceci on noteque, p étant fibrant, on peut factoriser u : X → Y en un composé X → u∗(Y) → Y,où la première flèche est un X-morphisme (N.B. X = p(X), u = p(u)) et la deuxièmeest un morphisme cartésien au-dessus de u. La première flèche est un isomorphismepuisque EX est un groupoïde, et la deuxième l’est, car un morphisme cartésien d’unecatégorie fibrée est évidemment un isomorphisme dès que sa projection l’est.
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
34/333
28 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
(ii) Supposons p fidèle, et soient X, Y deux objets d’une catégorie fibre EX. Alorsdeux flèches de X dans Y sont au-dessus de la même flèche idX de E, donc sont iden-tiques, donc EX est ordonnée. Inversement, supposons les catégories fibres ordonnées,44et prouvons que p est fidèle. Soient donc u, v : X ⇒ Y des flèches de E au-dessusd’une même flèche u : X → Y de E. Elles se factorisent alors en X ⇒ u∗(Y) → Y,où les deux flèches X ⇒ u∗(Y) sont des flèches de EX de même source et même but ;celles-ci sont donc égales, donc u = v , C.Q.F.D.
Revenons à la démonstration de 6.5. On a prouvé (i) ⇔ (ii). D’autre part (ii) ⇔(iv) est assez claire : en effet, d’une part la catégorie E/F est fibrée sur E à catégoriesfibres les catégories discrètes définies par les ensembles F(X), comme il résulte aussitôt
des définitions ; d’autre part, si p est comme dans (ii), alors en vertu du sorite SGA1 VI 8 la catégorie fibrée E sur E est E-équivalente à la catégorie scindée sur Edéfinie par le foncteur E → (Cat) définie par le foncteur F : E → (Ens), associant àtout X ∈ ob E l’ensemble des classes d’isomorphie d’objets de EX. Or cette catégoriescindée est E-isomorphe à la catégorie E/F. Comme (iv) ⇒ (iii) est claire, il reste àprouver (iii) ⇒ (i). Or il est clair que pour que p soit fidèle (resp. conservatif) il fautet il suffit que les foncteurs induits E/X → E/p(X) le soient, a fortiori il suffit queceux-ci soient pleinement fidèles ; donc il reste à prouver seulement que (iii) impliqueque p est fibrant. Mais on voit encore qu’un foncteur p est fibrant si et seulement siles foncteurs induits E/X → E/p(X) le sont. Il en est en particulier ainsi si ce sontdes équivalences de catégories surjectives sur les objets.
7. Sous-catégories génératrices et cogénératrices45
Définition 7.1. — Soient E une catégorie, C une sous-catégorie pleine de E. On dit que C est une sous-catégorie de E génératrice par épimorphismes stricts (resp. parépimorphismes) si pour tout objet X de E, la famille des flèches de E de but X, de source X ∈ ob C, est épimorphique (resp. épimorphique stricte) (1.3). On dit que C
est une sous-catégorie de E génératrice (resp. génératrice pour les monomorphismes,resp. génératrice pour les monomorphismes stricts) si pour toute flèche u : Y → X(resp. tout monomorphisme de E, resp. tout monomorphisme strict de E (10.5)), telle
que pour tout X
∈ ob C, l’application correspondante Hom(X
, Y) → Hom(X
, X) soit bijective, u est un isomorphisme. Enfin, on dit qu’une famille (Xi) d’objets de E est
génératrice par épimorphismes stricts (resp. .. .) si la sous-catégorie pleine C de E
engendrée par cette famille est génératrice par épimorphismes stricts (resp. . . .).
7.1.1. Notons qu’en termes de la famille (hX)X∈obC des foncteurs
hX : E −→ (Ens) (X ∈ obC)
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
35/333
i PRÉFAISCEAUX 29
représentés par les X ∈ ob C, on peut exprimer la condition que C soit généra-trice (resp. génératrice pour les monomorphismes, resp. génératrice pour les mono-morphismes stricts) par celle que le famille (hX) soit conservative (resp. conservativepour les monomorphismes, resp. conservative pour les monomorphismes stricts) (6.1).Il résulte également immédiatement des définitions que C est génératrice par épimor-phismes si et seulement si la famille (hX)X∈obC est fidèle (6.1). On donnera aussi 46ci-dessous (7.2 (i)) une interprétation analogue pour la condition sur C d’être géné-ratrice par épimorphismes stricts.
7.1.2. Comme pour les notions introduites dans 6.1, les notions de 7.1 sont surtoututiles lorsque E possède des propriétés d’exactitude convenables, auquel cas les di-
verses notions introduites ont une nette tendance à être toutes équivalentes (7.3).C’est pourquoi la question de savoir laquelle de ces notions 7.1 doit être considéréecomme la plus importante ne se pose guère ; dans les cas les plus importants, ces no-tions coïncident et le terme « sous-catégorie génératrice » peut donc être interprétéindifféremment comme se rapportant à n’importe laquelle des propriétés envisagéesdans 7.1 (par exemple la première, qui est la plus forte de toute comme nous allonsvoir (7.2 (ii))).
7.1.3. Supposons que E soit une U -catégorie, et considérons le foncteur canonique
(7.1.3.1) ϕ : E −→ C = H om (C,U - Ens)composé des foncteurs E →
E →
C, où le premier foncteur est le foncteur canonique
(1.3.3), et le deuxième le foncteur restriction à C. Notons qu’il est évident qu’il revientau même de dire que le foncteur précédent ϕ est conservatif (resp. fidèle), ou de direque la famille des foncteurs hX : X → Hom(X, X) = ϕ(X)(X), pour X ∈ ob Cvariable, est une famille conservative (resp. fidèle), c’est-à-dire aussi (7.1.2) que Cest génératrice (resp. génératrice par épimorphisme). De même ϕ est conservative 47pour les monomorphismes (resp. pour les monomorphismes stricts) si et seulement lafamille des hX(X ∈ obC) est conservative pour les monomorphismes (resp. pour lesmonomorphismes stricts), i.e. si et seulement si la sous-catégorie C de E est génératricepour les monomorphismes (resp. pour les monomorphismes stricts).
Proposition 7.2. — Soient E une U -catégorie, C une sous-catégorie pleine.
(i) Les conditions suivantes sont équivalentes :
a) C est une sous-catégorie génératrice par épimorphismes stricts.b) Pour tout X ∈ ob E, désignant par C/X la sous-catégorie pleine de E/X
formée des flèches X → X de source X ∈ ob C, la flèche naturelle du foncteur
d’inclusion j : C/X → E dans le foncteur constant sur C/X de valeur X fait de
X une limite inductive de j :
X ∼←− lim
C/XX.
8/19/2019 THÉORIE DES TOPOS ET COHOMOLOGIE ÉTALE DES SCHÉMAS
36/333
30 A. GROTHENDIECK ET J. L. VERDIER (AVEC UN APPENDICE DE N. BOURBAKI) i
c) Le foncteur canonique ϕ de (7.1.3.1) est pleinement fidèle.
(ii) On a entre les notions de 7.1 les implications suivantes :
1) C génératrice par épim.stricts
(ϕ pleinement fidèle)
2) C génératrice par épimorphismes
(ϕ fidèle)
3) C génératrice (ϕ conservatif)
4) C génératrice pour mono-morphismes
(ϕ conservatif pour mon.)
5) C génératrice pour mon.stricts
(ϕ conservatif pour mon. stricts).
(iii) On a les implications conditionnelles suivantes :48
a) Si dans E les familles épimorphiques de flèches sont épimorphiques strictes,on a 2) ⇒ 1). Si dans E les monomorphismes sont stricts, on a 5) ⇒ 4).
b) Si dans E les noyaux de couples de flèches (resp. les produits fibrés) sont
représentables, alors on a 3) ⇒ 2) (resp. 4) ⇒ 3)).c) Si dans E toute famille de morphismes Xi → X de même but X se factorise
en une famille épimorphique stricte (resp. épimorphique) Xi → Y suivie d’une
monomorphisme (resp. d’une monomorphisme strict) Y → X, alors on a 4) ⇒
1) (resp. 5) ⇒ 2)).
Signalons tout de suite le
Corollaire 7.3. — Toutes les notions envisagées dans 6.1 (et reprises dans le dia-gramme d’implications de (ii) ci-dessus) sont équivalentes dans chacun des deux cas suivants :
(i) Dans E, les noyaux de doubles flèches et les produits fibrés sont représentables,
les monomorphismes sont stricts et les familles épimorphiques de flèches sont épimor-phiques strictes.
(ii) Dans E, toute famille (Xi → X)i∈I de flèches de même but X se factorise en une famille épimorphique (Xi → Y) suivie d’un monomorphisme�