Lecture Notes in

Mathematics
A collection of informal reports and seminars
Edited by A. Dold, Heidelberg and B. Eckmann, Z~irich

224

Rev6tements Etales
et Groupe Fondamental

Springer-Verlag
Berlin.Heidelberg • New York 1971
A M S S u b j e c t Classifications (1970): 14-02, I 4 A 15, 1 4 D 15, 14 E20

I S B N 3-540-05614-9 Springer-Verlag Berlin - H e i d e l b e r g • N e w Y o r k

I S B N 0-387-05614-9 Springer-Verlag N e w Y o r k - H e i d e l b e r g • Berlin

This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned,
specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine
or similar means, and storage in data banks.
Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to the publisher,
the amount of the fee to be determined by agreement with the publisher.

© by Springer-Verlag Berlin . Heidelberg 1971. Library of Congress Catalog Card Number78-175132. Printed in Germany.
Offsetdruck: Julius Beltz, Hemsbach/Bergstr,
SEMINAIRE DE GEOMETRIE ALGEBRIQUE DU BOIS MARIE

1960-61

REVETE~NTS ETALES ET GROUPE FONDAMENTAL

(SGA I)

un S4minaire dirig4 par

A. GROTHENDIECK

augment~ de deux exposes de

Mine M. RAYNAUD
 IX

suivant les points de vue inaugur~s dans ce dernier ouvrage. La r4f4rence

standart commune pour t o u s l e s volumes du S~minaire est constitu4e par les

Chapitres I, II, III des "El4ments de G4om~trie Al$4brique" (cit4s EGA I,II,III),

et on suppose le lecteur en possession du bagage d'alg~bre commutative et l'al-

• ~ (~)
g~bre homologique que ces chapitres Impliquent . De plus, dans chaque volume

du S4minaire il sera r~f4r4 librement, dans la mesure des besoins, ~ des volumes

ant~rieurs du m~me S4minaire, ou ~ d'autres chapitres publi4s ou sur le point

de paraltre des "El4ments".

Chaque partie du S4minaire est centr4e sur un sujet principal, in-

diqu4 dans le titre du ou des volumes correspondants ; le s4minaire oral

correspondant porte g~n~ralement sur une annie acad~mique, parfois plus. Les

expos4s ~ l'int4rieur de chaque partie du S4minaire sont g4n4ralement dans une

d4pendance logique ~troite les uns par rapport aux autres ; par contre, les

diff4rentes parties du S4minaire sont dans une large mesure logiquement ind4pen-

dants les uns par rapport aux autres. Ainsi, la partie "Sch4mas en Groupes" est

peu pros enti~rement ind4pendante des deux parties du S4minaire qui la pr4-

c~dent chronologiquement ; par contre, elle fait un fr4quent appel aux r4sultats

de EGA IV. Voici la liste des parties du S4minaire qui doivent paraStre prochai-

nement (cit4s SGA i ~ SGA 7 dans la suite) :

SGA i. RevStements ~tales et groupe fondamental, 1960 et 1961.

SGA 2. Cohomologie locale des faisceaux coh4rents et t h 4 o r ~ m ~ d e

Le'fsehetz loeaux et globaux, 1961/62.

SGA 3. Sch4mas en groupes, 1963 et 1964 (3 volumes), en coll. avec

M. DEMAZURE.

(W) Voir l'Introduction ~ EGA I pour des pr4cisions ~ ce sujet.

 INTRODUCT I0N

Dans la premiere partie de cette introduction, nous donnons des

pr~cisions sur le contenu du present volume ;dans la deuxi~me, sur l'ensemble

du "S@minaire de G~om~trie Al$~brique duBois-Marie", dont le pr@sent volume

constitue le tome premier.

i. Le present volume pr@sente les fondements d'une th@orie du groupe

fondamental en G~om~trie Alg@brique, dans le point de vue "kroneckerien" permet-

tant de traiter sur le m~me pied le cas d'une vari@t@ alg~brique au sens habituel,

et celui de l'anneau des entiers d'un corps de hombres, par exemple. Ce point

de vue ne stexprime d'une fagon satisfaisante que dans le langage des sch@mas,

et nous utiliserons librement ce langage, ainsi que les r~sultats principaux

expos@s dans les trois premiers chapitres des Elements de G@om@trie Al$@brique

de J. DIEUDONNE et A. GROTHENDIECK, (cit~ EGA dans la suite). L'@tude du pr@sent

volume du "S@minaire de G~om~trie Al$@brique du Bois-Marie" ne demande pas

d'autres connaissances sp@cifiques de la G~om@trie Alg@brique, et peut donc

servir d'introduction aux techniques actuelles de G@om~trie Alg~brique, ~ un

lecteur d~sireux de se familiariser avec ces techniques.

Les expos@s I ~ XI de ce livre sont une reproduction textuelle, pra-

tiquement inchang~e, des notes mim@ographi@es du S~minaire oral, qui ~taient

(*)
distributes par les soins de l'Institut des Hautes Etudes Scientifiques . Nous

nous sommes born@s ~ rajouter quelques notes de bas de page au texte primitif,

(4) Ainsi que les notes des S~minaires faisant suite ~ celui-ci. Ce mode
de distribution s'~tant aver@ impraticable et insuffisant g la longue, t o u s l e s
"S~minaires de G@om~trie Al$@brique du Bois-Marie" paraltront d~sormais sous
forme de livre comme le pr@sent volume.
 VI

de corriger quelques erreurs de frappe, et de faire un ajustage terminolo-

gique, le mot "morphisme simple" ayant notamment ~t~ remplac~ entretemps par

celui de "morphisme lisse", qui ne prate pas aux m~mes confusions.

Les exposes I ~ IV pr~sentent les notions locales de morphisme ~tale

et de morphisme lisse ; ils n'utilisent gu~re que le langage des schemas, expos~

dans le Chapitre I des Elements (~). L'expos~ V pr~sente la description axioma-

tique du groupe fondamental d'un schema, utile m~me dans le cas classique oO ce

schema se r~duit au spectre d'un corps, o~ on trouve une reformulation fort

commode de la th~orie de Galois habituelle. Les exposes VI et VIII pr~sentent la

th~orie de la descente , qui a pris une importance croissante en G~om~trie

Alg~brique dans ces derni~res ann~es, et qui devrait pouvoir rendre des services

analogues en G~om~trie Analytique et en Topologie. Ii convient de signaler que

l'expos~ VII n'avait pas ~t~ r~dig~, et sa substance se trouve incorpor~ dans

un travail de J. GIRAUD (M~thode de la Descente~ Bull. Soc. Math. France,

M~moire2, 1964, viii + 150 p.). Dans l'expos~ IX, on @tudie plus sp~cifiquement

la descente des morphismes ~tales, obtenant une approche syst~matique pour des

th~or~mes du type de VAN KAMPEN pour le groupe fondamental, qui apparaissent ici

comme des simples traductions de th~or~mes de descente. Ii s'agit essentielle-

ment d'un proc~d~ de calcul du groupe fondamental d'un schema connexe X ,

muni d'un morphisme surjectif et propre (disons) X' > X , en termes des

groupes fondamentaux des composantes connexes de X' et des produits fibres

X'XxX' , X'XxX'XxX' , et des homomorphismes induits entre ces groupes par les

morphismes simpliciaux canoniques entre les schemas precedents. L'expos~ X donne

la th~orie de la sp~cialisation du groupe fondamental, pour un morphisme propre

(~) Une ~tude plus compl~te de ces notions est maintenant disponible dans
les Elements, Chap IV, §§ 17 et 18 .
 VII

et lisse, dont le r~sultat le plus frappant consiste en la d~termination (~ peu

de chose pros) du groupe fondamental d'une courbe alg~brique lisse en caract~-

ristique p > O , grace au r~sultat connu par voie transcendante en caract~ris-

tique nulle. L'expos~ XI donne quelques exemples et compl~ments, en explicitant

notamment sous forme cohomologique la th~orie des rev~tements de KUMMER, et

celle d'ARTIN-SCHREIER. Pour d'autres commentaires sur le texte, voir

l'Avertissement ~ l'~dition multigraphi~e, qui fair suite ~ la pr~sente Intro-

duction.

Depuis la r~daction en 1961 du present S~minaire a ~t~ developp~, en

collaboration par M. ARTIN et moi-m~me, le langage de la topolo$ie ~tale et

une th~orie cohomologique correspondante, expos~e dans la partie SGA 4

"Cohomologie ~tale des schemas" du S~minaire de G~om~trie Al$~brique, ~ paraitre

dans la m~me s~rie que le present volume. Ce langage, et les r~sultats dont il

dispose d~s ~ present, fournissent un outil particuli~rement souple pour l'~tude

du groupe fondamental, permettant de mieux comprendre et de d~passer certains

des r~sultats exposes ici. II y aurait donc lieu de reprendre enti~rement la

th~orie du groupe fondamental de ce point de vue ( t o u s l e s r~sultats techniques-

clefs figurant en fait d~s ~ present dans loc. cit.). C'est ce qui ~tait pro-

jet~ pour le chapitre des Elements consacr~ au groupe fondamental, qui devait

contenir ~galement divers autres d~veloppements qui n'ont pu trouver leur place

ici (s'appuyant sur la technique de r~solution des singularit~s) : calcul du

"groupe fondamental local" d'un anneau local complet en termes d'une r~solution

des singularit~s convenable de cet anneau, formules de KUnneth locales et glo-

bales pour le groupe fondamental sans hypoth~se de propret~ (cf Exp.Xlll), les

r~sultats de M. ARTIN sur la comparaison des groupes fondamentaux locaux d'un

 VIII

anneau local hens41ien excellent et de son compl4t4 (SGA 4 XIX). Signalons 4ga-

lement la n4cessit4 de d4velopper une th4orie du groupe fondamental d'un topos,

qui englobera ~ la fois la th4orie topologique ordinaire, sa version semi-

simpliciale, la variante "profinie" d4velopp4 dans l'expos4 V du present volume,

et la variante pro-discrete un peu plus g4n4rale de SGA 3 X 7 (adapt4e au cas

de sch4mas non normaux et non unibranches). En attendant une refonte d'ensemble

de la th4orie dans cette optique, l'expos4 XIII de Mme RAYNAUD, utilisant le

langage et les r4sultats de SGA 4, est destin4 ~ montrer le parti qu'on peut en

tirer dans quelques questions typiques, en g4n~ralisant notamment certains r4-

sultats de l'expos4 X A des seh6mas relatifs non propres. On y donne en particu-

lier la structure du groupe fondamental "premier g p" d'une courbe alg4brique

non compl~te en car. quelconque (que j'avais annonc4 en 1959, mais dont une

d4monstration n'avait pas 4t4 publi6e ~ ce jour).

Malgr~ ces nombreuses lacunes et imperfections (d'aucuns diront :

cause de ces lacunes et imperfections), je pense que le pr4sent volume pourra

~tre utile au lecteur qui d4sire se familiariser avec la th4orie du groupe fonda-

mental, ainsi que comme ouvrage de r~f4rence, en attendant la r6daction et la

parution d'un texte 4chappant aux critiques que je viens d'4num~rer.

2. Le pr6sent volume constitue le tome I du "S4minaire de Gdom4trie

Alg4brique du B o is-Marie", dont les volumes suivants sont pr4vus pour paraYtre

dans la m~me s6rie que celui-ci. Le but que se propose le S4minaire, parall~le-

ment au trait4 "Elements de G4om4trie Al$4brique" de J. DIEUDONNE et

A. GROTHENDIECK , est de jeter les fondements de la G~om4trie Alg4brique,

 X

SGA 4. Th~orie des topos et cohomologie dtale des schemas, 1963/64

(3 volumes) (en coll. avec M. ARTIN et J. L. VERDIER).

SGA 5. Cohomologie ~-adique et fonctions L , 1964 et 1965 (2 volumes).

SGA 6. Th~orie des intersections et th~or~me de Riemann-Roch, 1966/67

(2 volumes)(en coll. avec P. BERTHELOT et L. ILUSIE).

SGA 7. Groupes de monodromie locale en g~om~trie alg~brique.

Trois parmi ces S~minaires partiels ont dt~ dirig~s en collaboration

avec dtautres math~maticiens, qui figureront comme co-auteurs sur la couverture

des volumes correspondants. Quant aux autres participants actifs du S~minaire,

dont le role (tant au point de vue r~dactionnel que de celui du travail de mise

au point math~matique) est all~ croissant d'ann~e en annie, le nom de chaque

participant figure en t~te des exposes dont il est responsable comme conf~rencier

ou comme r~dacteur, et la liste de ceux qui figurent dans un volume d~termin~

se trouve indiqu~ sur la page de garde dudit volume.

Ii convient de donner quelques pr~cisions suppl~mentaires sur les

rapports entre le S~minaire et les El~ments. Ces derniers dtaient destinds en

principe ~ donner un expos~ d'ensemble des notions et techniques jug~es les plus

fondamentales dans la G~om~trie Alg~brique, g mesure que ces notions et techni-

ques elles-m~mes se d~gagent, par le jeu naturel des exigences de coherence

logique et esth~tique. Dans cette optique, il ~tait naturel de consid~rer le

S~minaire comme une version pr~liminaire des El~ments, destin~e ~ ~tre englob~e

peu pros totalement, tot ou tard, dans ces derniers. Ce processus avait d~jg

commenc~ dans une certaine mesure il y a quelques ann~es, puisque les exposes

i ~ IV du present volume SGA i sont enti~rement englob~s par EGA IV, et que
 XI

les exposes VI et VIII devaient l'~tre d'ici quelqu~s ann~es dans EGA VI.

Cependant, ~ mesure que se d~veloppe le travail d'@dification entrepris dans

les El~ments et dans le S~minaire, et que les proportions d'ensemble se pr~ci-

sent, le principe initial (d'apr~s lequel le S~minaire ne constituerait qu'une

version pr~liminaire et provisoire) apparalt de moins en moins r~aliste, en

raison (entre autres) des limites impos~es par la pr~voyante nature ~ la dur~e

de la vie humaine. Compte tenu du soin g~n~ralement apport~ dans la r~daction

des diff~rentes parties du S~minaire, il n'y aura lieu sans doute de reprendre

une telle partie dans les El~ments (ou des trait~s qui en prendraient la rel~ve)

que lorsque des progr~s ult~rieurs ~ la r~daction permettront d'y apporter des

ameliorations tr~s substantielles, au prix de modifications assez profondes.

C'est le cas d~s ~ present pour le present s~minaire SGA i, comme on l'a dit

plus haut~ et ~galement pour SGA 2 (grace aux r~sultats r~cents de Mme. RAYNAUD).

Par contre, rien n'indique actuellement qu'il en sera ainsi dans un proche

avenir pour aucune des parties cities plus haut SGA 3 g SGA 7 .

Les r~f~rences ~ l'int~rieur du "S~minaire de G~om~trie Alg~brique du

Bois-Marie" sont donn~es ainsi. Une r~f~rence int~rieure ~ une des parties

SGA I ~ SGA 7 du S~minaire est donn~e dans le style III 9.7 , oN le chiffre III

d~signe le num~ro de l'expos~, qui figure en haut de chaque page de l'expos~ en

question, et 9.7 le num~ro de l'~nonc~ (ou de la d~finition, remarque, etc.)

l'int~rieur de l'expos~. Le cas ~ch~ant, des nombres d~cimaux plus longs peuvent

~tre utilis~s, par exemple 9.7.1 , 9.7.2 pour d~signer par exemple les diverses

~tapes dans la d~monstration d'une proposition 9.7. La r~f~rence III 9 d~signe

le paragraphe 9 de l'expos~ III. Le num~ro de l'expos~ est omis pour les r~f~-

fences internes ~ un expose. Pour une r~f~rence g une autre des parties du

S~minaire, on utilise les m~mes sigles, mais precedes de la mention de la partie

en question des SGA, SGA i III 9.7 . De m~me la r~f~rence EGA IV 11.5.7
 XII

signifie : El~ments de G~om~trie Alg~brique, Chap. IV, ~nonc~ (ou d~finition

etc...) 11.5.7 ; ici le premier chiffre arabe d~signe encore le num~ro du para-

graphe. A part ces conventions en vigueur dans l'ensemble des SGA, la biblio-

graphic relative ~ un expos~ sera g~n~ralem~nt rassembl~e ~ la fin de celui-ci,

et il y sera r~f~r~ ~ l'int~rieur de l'expos~ par des num~ros entre crochets

comme [3], suivant l'usage.

Enfin, pour la commodit~ du lecteur, chaque fois que cela semblera

n~cessaire, nous joindrons ~ la fin des volumes des SGA un index des notations,

et un index terminologique contenant s'il y a lieu une traduction anglaise de

termes fran~ais utilis~s.

Je tiens ~ joindre ~ cette introduction un commentaire extra-math~-

matique. Au mois de Novembre 1969 j'ai eu connaissance du fait que l'Institut

des Hautes Etudes Scientifiques, dont j'ai ~t~ professeur essentiellement

depuis sa fondation, recevait depuis trois ans des subventions du Minist~re

des Armies. D~j~ comme chercheur d~butant j'ai consid~r~ c o ~ e extr~mement

regrettable le peu de scrupules que se font la plupart des scientifiques pour

accepter de collaborer sous une forme ou sous une autre avec les appareils

militaires. Mes motivations ~ ce moment ~taient essentiellement de nature

morale, donc peu susceptibles d'etre prises au s~rieux. Aujourd'hui elles

acqui~rent une force et une dimension nouvelle, v u l e danger de destruction

de l'esp~ce humaine dont nous menace la proliferation des appareils militaires

et des moyens de destruction massive dont ces appareils disposent. Je me suis

expliqu~ ailleurs de fa~on plus d~taill~e sur ces questions, beaucoup plus

importantes que l'avancement de n'importe quelle science (y compris la math~-

matique) ; on pourra par exemple consulter ~ ce sujet l'article de G. Edwards

dans le n°l du journal Survivre (AoQt 1970), r~sumant un expos~ plus d~taill~
 XIII

de ces questions que j'avais fair ailleurs. Ainsi, je me suis trouv6 travailler

pendant trois ans dans une institution alors qu'elle partieipait ~ mon insu

un mode de financement que je consid~re eomme immoral et dangereux (*) . E½ant

pr6sent seul ~ avoir cette opinion parmi mes coll~gues ~ I'IHES, ce qui a con-

damn4 i l'4chec mes efforts pour obtenir la suppression des subventions militai-

res du budget de I'IHES~ j'ai pris la d4cision qui s'imposait et quitte I'IHES

le 30 septembre 1970, et suspends 4galement route collaboration scientifique

avec eette institution, aussi longtemps qu'elle continmera ~ accepter de telles

subventions. J'ai demand6 ~ M. Motehane, direeteur de I'IHES, que I'IHES s'abstienne

partir du ler octobre 1970 de diffuser des textes math4matiques dont je suis

auteur, ou faisant partie du S6minaire de G6om6trie Alg4brique du Bois Marie.

Comme il a 6t6 dit plus haut~ la diffusion de ce s4minaire va @ire assur6e par

la maison Julius Springer, dans la s6rie des Lecture Notes. Je suis heureux de

remercier ici la maison Springer et Monsieur K. Peters pour l'aide efficace et

courtoise qu'ils m'ont apport@e pour rendre possible cette publication, en se

ehargeant en particulier de la frappe pour la photooffset des nouveaux expos@s

rajout6s aux anciens s4minaires~ et des expos6s manquants des s@minaires incom-

plets.

Je remercie 4galement M. J.P. Delale, qui s'es% charg4 du travail ingrat

de compiler l'index des notations et l'index terminologiqueo

Massy, aoGt 1970.

( ) Ii va de sol que l'opinion que je viens d'exprimer n'engage que ma propre

responsabilit6, et non pas celle de la maison d'6dition Springer qui 6dite

le pr4sent volume.
 TABLE DES M A T I E R E S

- Expos@ i : MORPHISMES ETALES . . . . . . . . . . . . . . . . . . 1

i Notions de c a l c u l diff@rentiel . . . . . . . . . . . . . . 1
2 Morphismes quasi-finis . . . . . . . . . . . . . . . . . . 2
3 Morphismes non ramifiTs ou n e t s . . . . . . . . . . . . . . 2
4 Morphismes @tales. Rev~tements @tales . . . . . . . . . . . 4
5 La p r o p r i @ t @ fondamentale des m o r p h i s m e s @tales . . . . . . 6
6 A p p l i c a t i o n aux e x t e n s i o n s @ t a l e s des a n n e a u x l o c a u x
complets . . . . . . . . . . . . . . . . . . . . . . . . .
7. Construction locale des m o r p h i s m e s non ramifi@s et @ t a l e s . 10
8. R e l ~ v e m e n t i n f i n i t @ s i m a l des s c h @ m a s @ t a l e s . A p p l i c a t i o n
aux s c h @ m a s f o r m e l s . . . . . . . . . . . . . . . . . . . . 13
9. Propri@t@s de p e r m a n e n c e . . . . . . . . . . . . . . . . . 15
i0. Rev~tements @tales d'un sch@ma normal . . . . . . . . . . . 21
ii. Quelques complTments . . . . . . . . . . . . . . . . . . . . . 26

- Expos@ II : M O R P H I S M E S LISSES. G@n@ralit@s, propri@t@s

diff@rentielles . . . . . . . . . . . . . . . . . . . . . 29
i. G @ n @ r a l i t @ s . . . . . . . . . . . . . . . . . . . . . . . 29
2. Q u e l q u e s crit~res de lissit@ d'un morphisme . . . . . . . . 31
3. Propri@t@s de p e r m a n e n c e . . . . . . . . . . . . . . . . . 34
4. Propri@t@s diff@rentielles des m o r p h i s m e s lisses ..... 35
5. Cas d ' u n corps de b a s e . . . . . . . . . . . . . . . . . . 52

- Expos@ III: MORPHISMES LISSES : PROPRIETES DE PROLONGEMENT. . 58

i. H o m o m o r p h i s m e s formellements lisses . . . . . . . . . . . . 58
2. P r o p r i @ t @ de r e l ~ v e m e n t c a r a c t @ r i s t i q u e des h o m o m o r p h i s m e s
formellement lisses . . . . . . . . . . . . . . . . . . . . 62
3. P r o l o n g e m e n t i n f i n i t @ s i m a l l o c a l des m o r p h i s m e s d a n s un
S-sch@ma lisse . . . . . . . . . . . . . . . . . . . . . . 67
4. Prolongement infinitTsimal local des S-sch@mas lisses . . 69
5. Prolongement infinitTsimal global des m o r p h i s m e s ..... 70
6. Prolongement infinit@simal global des S-schTmas lisses . 77
7. A p p l i c a t i o n ~ la c o n s t r u c t i o n de s c h @ m a s f o r m e l s et de
s c h @ m a s o r d i n a i r e s l i s s e s sur un a n n e a u l o c a l c o m p l e t A . . 82

- Expos@ IV : MORPHISMES PLATS . . . . . . . . . . . . . . . . . . 87

i. Sorites sur les m o d u l e s plats . . . . . . . . . . . . . . 87
2. M o d u l e s fid~lement plats . . . . . . . . . . . . . . . . . 90
3. R e l a t i o n s avec la c o m p l @ t i o n . . . . . . . . . . . . . . . 93
 AVERTISSEMENT

Chacun des expos@s r@dig@s donne la substance de plusieurs expos@s

oraux cons@cutifs. II n'a pas sembl@ utile d'en pr@ciser les dates.

L'expos@ VII, auquel il est r@f@r@ [ diverses reprises au cours

de l'Expos@ VIII, n'a pas @t@ r@dig@ par le conf@rencier, qui dans les

conf@rences orales s'@tait born6 ~ esquisser le langage de la d e s c e n t e

dans les cat@gories g@n@rales, en se pla@ant ~ un point de vue stricte-

ment utilitaire et sans entrer sans les difficult@s logiques soulev@es

par ce langage. Ii est apparu qu'un expos@ correct de ce langage sorti-

rait des limites des pr@sentes notes, ne serait-ce que par sa longueur.

Pour un expos@ en forme de la th@orie de la descente, je renvoie [ un

article en p r @ p a r a t i o n de Jean GIRAUD. En attendant sa p a r u t i o n (*), je

pense qu'un lecteur attentif n'aura pas de peine [ suppl@er par ses pro-

pres moyens aux r@f@rences fantTmes de l'Expos@ VIII.

D'autres expos@s oraux, se plagant apr~s l'Expos@ XI, et auxquels

il est fait a l l u s i o n ~ certains endroits du texte, n'ont pas non plus

@t@ r@dig@s, et 6taient destin@s ~ former la substance d'un Expos@ XII

et d'un Expos@ XIII. Les p r e m i e r s de ces expos@s oraux reprenaient,

dans le cadre des sch@mas et des espaces analytiques avec @l@ments nil-

potents (tels qu'ils sont introduits dans le S@minaire Cartan 1960/61),

la c o n s t r u c t i o n de l'espace analytique associ@ ~ un p r @ s c h @ m a localement

de type fini sur un corps valu@ complet k , les th@or~mes du type GAGA

dans le cas oG ~ est le corps des complexes, et l ' a p p l i c a t i o n ~ la

comparaison du groupe fondamental d@fini par voie transcendante et le

groupe fondamental @tudi@ darts ces notes (comparer A. G r o t h e n d i e c k ,

Fondements de la G @ o m @ t r i e Alg@brique, S@minaire Bourbaki n ° 190, page

(*) A c t u e l l e m e n t paru : J. GIRAUD, M@thodes de la descente, M@moire n° 2

de la Soci@t@ math@matiques de France, 1964.
 XVI

i0, d@cembre 1959). Les derniers expos@s oraux esquissaient la g@n@rali-

sation des m@thodes d@velopp@es dams le texte pour l'@tude des r e ~ t e -

ments admettant de la ramification mod@r@e, @t de la structure du groupe

fondamental d'une courbe compl~te priv@e d'un hombre fini de points

(comparer loc. cir., n ° 182, page 27, th@or~me 14). Ces expos@s n'intro-

duisent aucune id@e essentiellement nouvelle, c'est pourquoi il n'a pas

sembl@ indispensable d'en donner une r@daction en forme avant la paru-

tion des chapitres correspondants des El@ments de G@om@trie Alg@brique(*)

Par contre, les th@or~mes du type Lefschetz pour le groupe fonda-

mental et le groupe de Picard, tant au point de vue local que global,

ont fair l'objet d'un S@minaire s@par@ en 1962, qui a @t@ compl~tement

r@dig@ et est ~ la disposition des usagers (**). Signalons que les

r@sultats d@velopp@s tant dams le pr@sent S@minaire que dans celui de

1962 seront utilis@s de fa~on essentielle dams la parution de plusieurs

r@sultats clefs dans la cohomologie @tale des pr@sch@mas, qui feront

l'objet d'un S@minaire (conduit par M. Artin et moi-m@me) en 1963/64,

actuellement en pr@paration (***)

Les expos@s I ~ IV, de nature essentiellement locale et tr~s @l@-

mentaire, seront enti@rement absorb@s par le Chapitre IV des El@ments

de G@om@trie Al~@brique , dont la premiere pattie est ~ l'impression et

qui sera sans doute publi@ vers fin 64. lls pourront m@anmoins ~tre

utiles ~ un lecteur qui d@sirerait se mettre au courant des propri@t@s

essentielles des morphismes lisses, @tales ou plats, avant d'entrer dams

les arcanes d'un trait@ syst@matique. Quant aux autres expos@s, ils

(*) lls sont inclus dans le pr@sent volume dans l'Exp. XII de Mme Raynaud
avec une d@monstration diff@rente de la d@monstration originale
expos@e dans le S@minaire oral (cf. introduction).

(**) Cohomolo_gie @tale des faisceaux cob@rents et th@or~mes de Lefschetz

locaux et globaux (SGA 2), paru dans North Holland Pub. Cie.

(***) Cohomolqgie @tale des sch@mas cit@ SGA 4), ~ para~tre dans cette
m@me s@rie.
 XVII

seront absorb~s dans le chapitre VIII (*) des "El~ments", dont la

publication ne pourra gu~re ~tre envisag~e avant plusieurs armies.

Bures, juin 1963.

(*) En fait, par suite de Modification du plan initialement pr~vu

pour les El~ments, l'~tude du groupe fondamental y est report~e

un chapitre ult~rieur ~ celui qu'on vient d'indiquer. Comparer

l'introduction qui precede le present "Avertissement".

 XX

4. R e l a t i o n s avec les m o d u l e s libres . . . . . . . . . . . . 93

5. C r i t ~ r e s locaux de p l a t i t u d e . . . . . . . . . . . . . . . 95
6. M o r p h i s m e s plats et e n s e m b l e s ouverts . . . . . . . . . . 100

- Ex~0s@ V : LE G R O U P E FONDAMENTAL : G@nTralit@s . . . . . . . . . 105

Introduction . . . . . . . . . . . . . . . . . . . . 105
i. Pr@schTma ~ groupe fini d ' o p @ r a t e u r s , pr@sch@ma quotient . 105
2. G r o u p e s de d T c o m p o s i t i o n et d ' i n e r t i e . Cas @ t a l e . . . . . 110
3. A u t o m o r p h i s m e s e t morphismes de r e v @ t e m e n t s @tales .... 116
4. C o n d i t i o n s sxiomatiques d'une th@or~e de G a l o i s ..... 118
5. CatTgories galoisiennes . . . . . . . . . . . . . . . . . 127
6. F o n c t e u r s exacts d'une cat@gorie galoisienne dans une au- 134
tre 140
7. Cas des prTsch@mas . . . . . . . . . . . . . . . . . . .
8. Cas d'un pr@schTma de b a s e normal . . . . . . . . . . . . 143
9. Cas des p r @ s c h @ m a s n o n c o n n e x e s : c a t @ g o r i e s m u ! t i g a l o i -
siennes . . . . . . . . . . . . . . . . . . . . . . . . 144

- Expos@ Vl : CATEGORIES FIBREES ET D E S C E N T E . . . . . . . . . . . !45

Introduction . . . . . . . . . . . . . . . . . . . . . . 145
I. U n i v e r s , cat@gories, @quivalence de c a t T g o r i e s . . . . . . 146
2. C a t @ g o r i e s sur une a u t r e . . . . . . . . . . . . . . . . 148
3. C h a n g e m e n t de b a s e dans les c a t @ g o r i e s sur ~ . . . . . . 152
4. C a t @ g o r i e s - f i b r e s ; 6quivalence de E - c a t @ g o r i e s ..... 158
5. M o r p h i s m e s c a r t @ s i e n s , i m a g e s i n v e r s e s , f o n c t e u r s
cartTsiens . . . . . . . . . . . . . . . . . . . . . . . 161
6. Cat@gories fibr@es et c a t @ g o r i e s p r @ f i b r @ e s . P r o d u i t et
changement de base dans i c e l l e s . . . . . . . . . . . . . 164
7. Cat@gories clivTes sur ~ . . . . . . . . . . . . . . . . 170
8. C a t @ g o r i e clivTe dTfinie p a r un p s e u d o - f o n c t e u r ~-~(Cat). 175
9. E x e m p l e : c a t T g o r i e c l i v @ e d @ f i n i e par un f o n c t e u r
t° ~ (Cat) ; c a t e g o r i e s s c i n d T e s sur ~ . . . . . . . . . 179
I0. Cat@gories co-fibr@es, cat@gories bi-fibr@es . . . . . . . 181
ii. Exemples divers . . . . . . . . . . . . . . . . . . . . . 182
12. Foncteurs sur une cat@gorie clivTe . . . . . . . . . . . . 189
13. Bibliographie . . . . . . . . . . . . . . . . . . . . . . 194

- Expos@ VII : n'existe pas

- Expos@ viii : DESCENTE FIDELEMENT PLATE . . . . . . . . . . . . 195

i. D e s c e n t e des Modules quasi-coh@rents . . . . . . . . . . . 195
2. D e s c e n t e des pr@sch@mas affines sur un a u t r e . . . . . . . 202
3. D e s c e n t e de p r o p r i @ t @ s e n s e m b l i s t e s et de p r o p r i @ t @ s de
finitude de m o r p h i s m e s . . . . . . . . . . . . . . . . . 203
4. D e s c e n t e de p r o p r i @ t @ s topologiques . . . . . . . . . . . 205
 XXI

5. D e s c e n t e de m o r p h i s m e s de p r T s c h T m a s . . . . . . . . . . . 210
6. A p p l i c a t i o n aux m o r p h i s m e s finis et q u a s i - f i n i s ..... 216

7. Crit~res d'effectivit@ pour une donnTe de d e s c e n t e . . . . 219

8. B i b l i o g r a p h i e . . . . . . . . . . . . . . . . . . . . . . 227

- Expos6 IX : D E S C E N T E DES M O R P H I S M E S E T A L E S . A P P L I C A T I O N AU
GROUPE FONDAMENTAL . . . . . . . . . . . . . . . . . . . 228
i Rappels sur les m o r p h i s m e s @tales . . . . . . . . . . . . 228
2 Morphismes submersifs et u n i v e r s e l l e m e n t submersifs . 231
3 Descente de m o r p h i s m e s de p r T s c h T m a s 6tales . . . . . . . 233
4 Descente de prTseh@mas 6tales : crit~res d'effectivit6 235
5 Traduction en t e r m e s du g r o u p e fondamental . . . . . . . . 242
6 Une s u i t e e x a c t e f o n d a m e n t a l e . D e s c e n t e par m o r p h i s m e s
fibres relativement oonnexes . . . . . . . . . . . . . 253
7. B i b l i o g r a p h i e . . . . . . . . . . . . . . . . . . . . . . 260

- Expos6 X : THEORIE DE LA S P E C I A L I S A T I O N DU G R O U P E F O N D A M E N T A L . 261

I. La s u i t e e x a c t e d ' h o m o t o p i e p o u r un m o r p h i s m e p r o p r e et
s@parable . . . . . . . . . . . . . . . . . . . . . . . . 261
2. A p p l i c a t i o n du t h T o r T m e d ' e x i s t e n c e de f a i s c e a u x :
t h @ o r ~ m e de s e m i - c o n t i n u i t 6 p o u r ies g r o u p e s f o n d a m e n t a u x
des f i b r e s d ' u n m o r p h i s m e p r o p r e et s @ p a r a b l e . . . . . . 268
3. A p p l i c a t i o n du t h @ o r % m e de p u r e t @ : t h @ o r ~ m e de c o n t i -
n u i t @ p o u r les g r o u p e s f o n d a m e n t a u x des f i b r e s d ' u n
m o r p h i s m e p r o p r e et s i m p l e . . . . . . . . . . . . . . . . 275
4. B i b l i o g r a p h i e . . . . . . . . . . . . . . . . . . . . . . 284

- Expos@ XI : EXEMPLES ET C O M P L E M E N T S . . . . . . . . . . . . . . 285

i Espaces projectifs, variTtTs unirationnelles . . . . . . . 285
2 Vari@t@s ab@liennes . . . . . . . . . . . . . . . . . . . 286
3 CSnes projetants, exemple de Zariski . . . . . . . . . . . 290
4 La suite exacte de c o h o m o l o g i e . . . . . . . . . . . . . . 292
5 Cas particuliers de f i b r @ s principaux . . . . . . . . . . 299
6 A p p l i c a t i o n aux r e v @ t e m e n t s p r i n c i p a u x : t h T o r i e s de
K u m m e r et d ' A r t i n s c h r e i e r . . . . . . . . . . . . . . . . 302
7. B i b l i o g r a p h i e . . . . . . . . . . . . . . . . . . . . . . 310

- Expos@ Xll : GEOMETRIE ALGEBRIQUE ET Q E O M E T R I E ANALYTIQUE 311

i. E s p a c e analytique associ6 ~ un sch@ma . . . . . . . . . . 312
2. C o m p a r a i s o n des p r o p r i @ t @ s d ' u n s c h @ m a et de l ' e s p a c e
analytique associ@ . . . . . . . . . . . . . . . . . . . 316
3. Comparaison des propri@t@s des m o r p h i s m e s . . . . . . . . 320
4. T h T o r ~ m e s d e c o m p a r a i s o n c o h o m o l o g i q u e et t h @ o r ~ m e s
d'existence . . . . . . . . . . . . . . . . . . . . . . . 326
 XXII

5. T h @ o r ~ m e s de c o m p a r a i s o n des rev@tements @tales ..... 332

6. B i b l i o g r a p h i e . . . . . . . . . . . . . . . . . . . . . 343

- Expos@ XIII : ........... C O H O M O L O G I ~ U E DES F A I S C E A U X D'ENSEMBLES

ET DES F A I S C E A U X DE G R O U P E S NON COMMUTATIFS . . . . . . . 344
O. Rappels sur la t h @ o r i e des champs . . . . . . . . . . . . 345
i. P r o p r e t @ cohomologique . . . . . . . . . . . . . . . . . . 346
2. Un cas p a r t i c u l i e r de p r o p r e t @ c o h o m o l o g i q u e : d i v i s e u r s
croisements normaux relatifs . . . . . . . . . . . . . . 369
3. Propret@ cohomologique et locale acyclicit@ g@n@rique . 395
4. S u i t e s exactes d'homotopie . . . . . . . . . . . . . . . . 414
5. A p p e n d i c e I : variations sur le lemme d'Abhyankar .... 427
6. A p p e n d i c e II : t h @ o r ~ m e de f i n i t u d e pour les images
d i r e c t e s de c h a m p s . . . . . . . . . . . . . . . . . . 435
7. B i b l i o g r a p h i e . . . . . . . . . . . . . . . . . . . . . . 439

- Index terminologique . . . . . . . . . . . . . . . . . . . . . 440

- Index des notations . . . . . . . . . . . . . . . . . . . . . . 446