<?xml version="1.0" encoding="UTF-8"?>
<?xml-model href="https://grothendieck.commutator.io/tei/grothendieck.rng" type="application/xml" schematypens="http://relaxng.org/ns/structure/1.0"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xml:lang="fr">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>Fonds Grothendieck, cote n° 37, pages 1–20 — transcription</title>
        <author>Alexandre Grothendieck</author>
        <respStmt>
          <resp>transcription automatique — première passe, non vérifiée contre les pages par une personne (<date when="2026-09-26">2026-09-26</date>)</resp>
          <name xml:id="pass" type="model">Opus 5.5 (claude-opus-5-5)</name>
        </respStmt>
        <respStmt>
          <resp>procédure, outillage, export TEI</resp>
          <orgName xml:id="ed">grothendieck.commutator.io (Commutator, Paris)</orgName>
        </respStmt>
      </titleStmt>
      <editionStmt>
        <edition>Édition de démonstration</edition>
      </editionStmt>
      <publicationStmt>
        <publisher>Commutator</publisher>
        <pubPlace>Paris</pubPlace>
        <date when="2026-09-27">2026-09-27</date>
        <availability status="restricted">
          <p>Le fonds Alexandre Grothendieck est sous droits. Cette transcription
          est une édition de démonstration, non autorisée, produite par une
          machine et non vérifiée ; aucune image du fonds n'est reproduite. La
          source LaTeX dont ce fichier dérive est publiée sous https://github.com/Commutator-IO/grothendieck-project.</p>
        </availability>
        <ref target="https://grothendieck.commutator.io/">https://grothendieck.commutator.io</ref>
      </publicationStmt>
      <sourceDesc>
        <msDesc>
          <msIdentifier>
            <country>France</country>
            <settlement>Montpellier</settlement>
            <repository>Université de Montpellier</repository>
            <collection>Fonds Alexandre Grothendieck (archives mathématiques, 1949–1991)</collection>
            <idno type="cote">37</idno>
          </msIdentifier>
          <head>Rééditions SGA, EGA [SGA 4 à SGA 7, EGA I et EGA II] : tapuscrits et copies de tapuscrit annoté (s.d.), lettres (1967-1971, s.d.), notes manuscrites (s.d.)</head>
          <msContents>
            <summary>Pages 1 à 20 de la cote, dans la
            numérotation des archivistes (crayon, en bas à gauche de chaque
            page) ; lot 1 de vingt pages.
            Les pages absentes de la transcription ne portent pas de
            mathématiques et sont omises ; le saut dans la numérotation en est
            le seul enregistrement.</summary>
          </msContents>
          <history><origin><origDate>1967-1971</origDate><note>Datation de l'inventaire de l'Université de Montpellier, reproduite telle quelle ; les crochets sont ceux des archivistes.</note></origin></history>
          <additional>
            <surrogates>
              <bibl>
                <ref target="https://grothendieck.umontpellier.fr/37.pdf">https://grothendieck.umontpellier.fr/37.pdf</ref>
                <note>Fac-similé numérique de l'Université de Montpellier. Sa
                première page est une feuille de garde générée par
                l'université : la page <hi rend="italic">n</hi> des archivistes
                est la page <hi rend="italic">n</hi>+1 du PDF, et l'attribut
                <hi rend="monospace">facs</hi> de chaque
                <hi rend="monospace">pb</hi> tient compte de ce décalage.</note>
              </bibl>
            </surrogates>
          </additional>
        </msDesc>
      </sourceDesc>
    </fileDesc>
    <encodingDesc>
      <projectDesc>
        <p>Transcription mathématique du fonds, une passe de vingt pages par
        conversation avec un grand modèle multimodal, sous la procédure
        <hi rend="monospace">transcribe-grothendieck</hi> du dépôt. Le fichier
        LaTeX est la source de référence ; ce TEI en est dérivé mécaniquement
        par <hi rend="monospace">scripts/tei.mjs</hi> et n'a pas été relu.</p>
      </projectDesc>
      <editorialDecl>
        <p>L'édition n'est pas diplomatique : elle encode les mathématiques et
        l'apparat, rien du support. Correspondance avec l'apparat de la source :
        <hi rend="monospace">\ill</hi> devient <hi rend="monospace">gap[@reason='illegible']</hi>
        (jamais deviné) ; <hi rend="monospace">\uncertain</hi> devient
        <hi rend="monospace">unclear</hi> ; <hi rend="monospace">\supplied</hi> devient
        <hi rend="monospace">supplied</hi> (restitué par le transcripteur) ;
        <hi rend="monospace">\add</hi> devient <hi rend="monospace">add</hi>
        (ajout de l'auteur, en interligne ou sur un mot biffé) ;
        <hi rend="monospace">\struck</hi> devient
        <hi rend="monospace">del</hi> (biffé par l'auteur) ;
        <hi rend="monospace">\note</hi> devient <hi rend="monospace">note[@type='editorial']</hi>
        (du transcripteur) ; <hi rend="monospace">\marginal</hi> devient
        <hi rend="monospace">note[@type='authorial'][@place='margin']</hi> (de l'auteur) ;
        <hi rend="monospace">\page</hi> devient <hi rend="monospace">pb</hi>.</p>
        <p>Restitution et ajout de l'auteur n'ont longtemps fait qu'une macro. Ils
        ont été séparés le 26 septembre 2026 par une règle vérifiable dans le
        fichier, non par une relecture : un ajout accolé au mot qu'il complète
        est une restitution (<hi rend="monospace">supplied</hi>), un ajout
        isolé est de l'auteur (<hi rend="monospace">add</hi>). Certains
        <hi rend="monospace">add</hi> sont donc encore des restitutions du
        transcripteur, que seuls les fac-similés départageront.</p>
        <p>Les mathématiques sont transportées en TeX dans
        <hi rend="monospace">formula[@notation='TeX']</hi>, les diagrammes
        commutatifs en <hi rend="monospace">formula[@notation='tikz-cd']</hi>,
        sans conversion. Une marque d'apparat située à l'intérieur d'une
        formule (un exposant illisible, un symbole biffé) reste dans le TeX de
        la formule, sous les mêmes macros.</p>
        <p>Orthographe, ponctuation et lapsus de l'auteur sont conservés ; une
        faute évidente est signalée par une note, jamais corrigée.</p>
      </editorialDecl>
      <appInfo>
        <application ident="grothendieck-tei" version="2">
          <label>scripts/tei.mjs</label>
          <ref target="https://github.com/Commutator-IO/grothendieck-project">https://github.com/Commutator-IO/grothendieck-project</ref>
        </application>
      </appInfo>
      <schemaRef type="ODD" url="https://grothendieck.commutator.io/tei/grothendieck.odd"/>
    </encodingDesc>
    <profileDesc>
      <langUsage>
        <language ident="fr">français, avec la notation mathématique de l'auteur</language>
      </langUsage>
    </profileDesc>
    <revisionDesc>
      <change when="2026-09-27" who="#ed">Export TEI depuis la source LaTeX.</change>
      <change when="2026-09-26" who="#pass">Première passe de transcription.</change>
    </revisionDesc>
  </teiHeader>
  <text>
    <body>
      <div type="batch" n="1">
<pb n="2" facs="https://grothendieck.umontpellier.fr/37.pdf#page=3"/><p><note type="editorial" resp="#pass">feuille dactylographiée, sans date ni signature, qu'on tient pour un
tapuscrit de lui, inédit : il y parle à la première personne en organisateur
des rééditions (« Je me mets en rapport avec lui ces jours-ci », à propos de
Verdier, « qui est à Brandeis cette année », comme dans ses lettres du
3.11.1970, pages 3, 4 et 15). Les marques au crayon sont données comme ajouts
(entre coins) ou en marge ; elles sont vraisemblablement de sa main, sans que
cela soit établi. Les surfrappes de la machine ne sont pas relevées</note></p>
<p>SGA : Manuscripts à frapper</p>
<list rend="itemize">
<label>SGA 1</label><item><del>Index notations et terminologique : <hi rend="italic">10</hi> p</del>
<note type="authorial" place="margin"><gap reason="illegible"/> <unclear>Saarbach</unclear></note></item>
<label>SGA 4</label><item>Exp IV (fin), Verdier : <hi rend="italic">50</hi>. — Exp V, Verdier :
<hi rend="italic">80</hi>. — Exp VI (fin), Verdier : 50. — Exp VI B, Saint Donat : 10. —
Tables des matières pour les trois volumes, index : 30. — Appendice à XVII,
Saint Donat : 10.</item>
<label>SGA 5</label><item>Exp IV, ? : 100 ?. — Exp VII, Jouanolou : <hi rend="italic">50</hi>. — Exp XI,
Bucur : <hi rend="italic">70</hi>. — Exp XII, Bucur : 100. — Exp XIV, Grothendieck : 20.
— Introduction, table des matières, index : 15.
<note type="authorial" place="margin"><add>écrire Bucur</add></note></item>
<label>SGA 6</label><item><del>Exp XI, Ferrand : 70 ?. — Table des matières, index : 10.</del></item>
<label>SGA 7</label><item>Exp I à XIV, ? : 120 ?. — Exp V, Mme Raynaud : 30. — Exp VI,
Rim : <hi rend="italic">70</hi>. — Introduction, table des matières, index : 15.
<note type="authorial" place="margin"><add>écr. Deligne</add></note></item>
</list>
<p><note type="editorial" resp="#pass">mise en colonnes du tapuscrit (rubrique, exposé, rédacteur, nombre de
pages) ramenée ici à une liste ; les nombres en italique sont soulignés à la
machine. Au crayon : un trait biffe toute la ligne de SGA 1, et deux mots
suivent le tiret en marge ; une accolade réunit les lignes « Exp V » à
« Appendice à XVII » de SGA 4, une plus petite « Exp VI (fin) » et
« Exp VI B » ; un crochet réunit « Exp XII » et « Exp XIV » de SGA 5, avec en
marge « écrire Bucur » ; un trait ondulé barre le bloc de SGA 6 ; un cadre
entoure les nombres 30 et 70 de SGA 7 (Exp V et VI), avec en marge « écr.
Deligne » souligné ; des traits obliques pointent en marge les lignes
« Exp V » (SGA 4), « Exp VII », « Exp XI », « Exp XII » (SGA 5) et
« Introduction » (SGA 7)</note></p>
<p>NB Les chiffres soulignés correspondent à des exposés dont le manuscrit est
disponible dès maintenant ; ceux suivis d'un signe ? à ceux dont il n'est pas
certain qu'ils seront rédigés. En plus de la frappe d'exposés, tables de
matières, index, il y a pour chacun des cinq séminaires envisagés un certain
travail de mise au point (correction de fautes de frappe et autres erreurs,
insertion de notes de bas de page etc), représentant un travail variable d'un
séminaire à l'autre. Il faudrait sans doute fixer un forfait pour chacun d'eux,
pour la rénumération de la sécrétaire, après examen avec elle des corrections à
faire …</p>
<p>Il y a actuellement dans les 250 pages prêtes pour la frappe. J'espère que dans
les deux ou trois mois qui viennent, il y aura aussi les env. 200 pages qui
manquent encore pour SGA 4 (qui sont déjà partiellement rédigés …), ce qui
ferait dans les 450 à 500 pages à frapper pour les cinq à six mois qui viennent.
Cependant je ne peux le garantir, cela dépendra de Mr. Verdier, qui est à
Brandeis cette année. Je me mets en rapport avec lui ces jours-ci.</p>
<pb n="3" facs="https://grothendieck.umontpellier.fr/37.pdf#page=4"/><p><note type="editorial" resp="#pass">double carbone d'une lettre de lui, dactylographiée</note></p>
<p>Massy le 3.11.1970</p>
<p>Chère Madame Michon,</p>
<p>Je m'aperçois que dans les exemplaires SGA d'archives que j'ai emportés de chez
vous, il manque les suivants :</p>
<p>SGA 4 XVII, SGA 4 VI (première partie)</p>
<p>D'autre part j'ai besoin de ces exemplaires pour faire faire l'édition
photooffset en préparation. Pourriez vous me les retrouver ?</p>
<p>Bien cordialement</p>
<pb n="4" facs="https://grothendieck.umontpellier.fr/37.pdf#page=5"/><p><note type="editorial" resp="#pass">double carbone d'une lettre de lui, dactylographiée</note></p>
<p>Massy le 3.11.1970</p>
<p>Cher Deligne,</p>
<p>Pourrais-tu me dire si tu as terminé de regarder l'exposé de Rim SGA 7 VI, et si
oui, me l'envoyer avec tes commentaires (sinon, me dire si tu as l'intention de
le regarder et quand) ?</p>
<p>J'ai demandé à Mlle Altazin, qui a tapé ton exposé SGA 4 XVIII, de te l'envoyer
avec le manuscrit, pour que tu le corriges. Pourrais-tu me dire si tu l'as reçu
et si tu as l'intention de faire les corrections ? Quand elles seront faites, ou
si tu ne veux pas les faire, envoyes moi le texte au net stp.</p>
<p>As-tu eu des nouvelles de Ferrand pour SGA 6 XI ?</p>
<p>Bien cordialement</p>
<div type="section">
<head>SGA 1</head>
<p><note type="editorial" resp="#pass">inscrit au crayon en haut à droite du feuillet de garde (page 5), qui ne
porte rien d'autre ; vraisemblablement de sa main. Le feuillet ne reçoit pas
de numéro de page</note></p>
<pb n="6" facs="https://grothendieck.umontpellier.fr/37.pdf#page=7"/><p><note type="editorial" resp="#pass">feuillet dactylographié, paginé « (ix) » à la machine : la dernière page
d'une préface de lui, dans un état antérieur au texte imprimé en tête de SGA 1
(Lecture Notes 224). La comparaison avec la préface publiée montre que ce n'est
pas le texte publié : celle-ci porte « immoral et dangereux » (avec une note
(4) dégageant la responsabilité de Springer), « quitte l'IHES le 30 septembre
1970 », « J'ai demandé à M. Motchane, directeur de l'IHES, que l'IHES s'abstienne
à partir du 1er octobre 1970 de diffuser … », et ajoute un remerciement à
J. P. Delale pour les index. Donné en entier ; rien de sa main sur le feuillet</note></p>
<p>de ces questions que j'avais fait ailleurs. Ainsi, je me suis trouvé travailler
pendant trois ans dans une institution alors qu'elle participait à mon insu à un
mode de financement que je considère comme profondément immoral et extrêmement
dangereux. Etant à présent seul à avoir cette opinion parmi mes collègues à
l'IHES, ce qui a condamné à l'échec mes efforts pour obtenir la suppression des
subventions militaires du budget de l'IHES, j'ai pris la décision qui s'imposait
et quitte l'IHES le 30 Septembre prochain, et suspends également toute
collaboration scientifique avec cette Institution, aussi longtemps qu'elle
continuera à accepter de telles subventions. Monsieur L. Motchane, directeur de
l'IHES, s'est déclaré d'accord pour qu'à partir du 1er Octobre 1970, l'IHES ne
diffuse plus les textes mathématiques dont je suis auteur, ou faisant partie du
Séminaire de Géométrie Algébrique du Bois Marie. Comme il a été dit plus haut,
la diffusion de ce Séminaire va être assurée par la maison Julius Springer, dans
la série 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 chargeant en particulier de la
frappe pour la photooffset des nouveaux exposés rajoutés aux anciens séminaires,
et des exposés manquants des séminaires incomplets.</p>
<p>Massy, Août 1970</p>
</div>
<div type="section">
<head>SGA 4</head>
<p><note type="editorial" resp="#pass">inscrit au crayon en haut à droite du feuillet de garde (page 7), qui ne
porte rien d'autre ; vraisemblablement de sa main. Le feuillet ne reçoit pas
de numéro de page</note></p>
<pb n="8" facs="https://grothendieck.umontpellier.fr/37.pdf#page=9"/><p><note type="editorial" resp="#pass">lettre dactylographiée de J.-L. Verdier (paraphe identique à celui de la
page 13), datée à la main « 16 Juillet », sans année, non reproduite. Il envoie
« la nouvelle rédaction de 4.10.6 » (pages 9 à 11), relève des « broutilles »
dans le n° 9 de SGA 4 IV (p. 149, 158, 159 du tirage) et dans les n° 10 et
suivants (p. 2 et 14), et signale qu'il manque le n° 14 (« Modules sur un topos
défini par recollement ») dans les notes qu'il a reçues, numéro qu'il se
souvient avoir rédigé. De sa main, au crayon, dans la marge gauche, en regard
de ce dernier paragraphe qu'un trait vertical signale : « demander à Messing »
(souligné)</note></p>
<pb n="9" facs="https://grothendieck.umontpellier.fr/37.pdf#page=10"/><p><note type="editorial" resp="#pass">première page (sur trois) du tapuscrit joint à la lettre de Verdier :
Exercice 4.10.6 de SGA 4 IV (un <formula notation="TeX">\mathcal{U}</formula>-site <formula notation="TeX">S</formula> de topologie moins fine
que la canonique, une partie <formula notation="TeX">\underline{M}</formula> de <formula notation="TeX">\mathrm{Fl}(S)</formula> satisfaisant
a) à d), le « petit site » <formula notation="TeX">S(X)</formula>, questions 1) à 3)), dans la nouvelle
rédaction de Verdier ; non reproduit. Symboles complétés à l'encre (<formula notation="TeX">\varphi_u</formula>,
le soulignement de <formula notation="TeX">\underline{M}</formula>). Seule marque manuscrite : en marge gauche,
un signe d'insertion à l'encre devant « le site », tapé en marge, renvoyant à un
signe semblable après « ("petit site de X") » ; main non établie</note></p>
<pb n="10" facs="https://grothendieck.umontpellier.fr/37.pdf#page=11"/><p><note type="editorial" resp="#pass">deuxième page du même tapuscrit, non reproduite : fin de 3), les
foncteurs <formula notation="TeX">\mathrm{Res}_X</formula> et <formula notation="TeX">\mathrm{Prol}_X</formula>, 4) le morphisme de topos
<formula notation="TeX">f : S(X)^{\sim} \to (S_{/X})^{\sim}</formula>, plongement du « petit topos » dans le
« gros topos », 5) et 6) sur la cohomologie. Marques manuscrites à l'encre : en
marge gauche, en regard de 5), « (V 4.1) » précédé d'un signe d'insertion qui
renvoie après « <formula notation="TeX">S(X)</formula>-acyclique » ; en fin de ligne, « <formula notation="TeX">S(X)^{\sim}</formula> » écrit à
la main après « le petit topos ». Main non établie</note></p>
<pb n="11" facs="https://grothendieck.umontpellier.fr/37.pdf#page=12"/><p><note type="editorial" resp="#pass">troisième page du même tapuscrit, non reproduite : Exercice 4.10.7
(hypothèse (Et), le foncteur de changement de base <formula notation="TeX">S(u)</formula>, la rétraction
<formula notation="TeX">g : S^{\sim}_{/X} \to S(X)^{\sim}</formula> du plongement <formula notation="TeX">f</formula>, le contre-exemple de la
topologie f.p.p.f., et un 4) « Acheter une médaille en chocolat pour les
rédacteurs »). Rien de sa main</note></p>
<pb n="12" facs="https://grothendieck.umontpellier.fr/37.pdf#page=13"/><p><note type="editorial" resp="#pass">photocopie d'une lettre de lui, rognée des deux côtés : les lettres
perdues aux bords sont restituées entre crochets</note></p>
<p>Massy le 23.6.1971</p>
<p><supplied resp="#pass">C</supplied>her Verdier,</p>
<p>Merci pour ta lettre du 23 Mai. C'est dommage que <supplied resp="#pass">tu</supplied>
<supplied resp="#pass">n</supplied>e m'aies pas envoyé ce malheureux exer 4.10.6, cela
a<supplied resp="#pass">urait</supplied> <supplied resp="#pass">p</supplied>ermis d'envoyer enfin à l'imprimeur le fascicule
1 de <supplied resp="#pass">S</supplied>GA 4. La personne qui a frappé le texte termine
mainte<supplied resp="#pass">nant</supplied>, <supplied resp="#pass">e</supplied>lle partira en vacances et Springer rend la
machine <supplied resp="#pass">q</supplied>u'elle avait en location, faute d'autres manuscrits.
<supplied resp="#pass">C</supplied>ela remet donc la publication même de ce fascicule sine
<supplied resp="#pass">d</supplied>ie.</p>
<p>Bien cordialement</p>
<p><note type="editorial" resp="#pass">la lettre de Verdier à laquelle il répond est datée « le 28 Mai » (page
13) ; « 23 Mai » est bien ce que porte la page</note></p>
<pb n="13" facs="https://grothendieck.umontpellier.fr/37.pdf#page=14"/><p><note type="editorial" resp="#pass">lettre manuscrite de J.-L. Verdier sur papier à en-tête de Brandeis
University, Department of Mathematics, datée « le 28 Mai », sans année,
non reproduite. Elle répond à la lettre du 18.5.1971 (page 14) : l'appendice
« Image inverse d'un plat » ira à l'exposé V et l'appendice « Assez de points »
à l'exposé VI, ils ne concernent donc pas l'exposé IV ; il enverra « une version
non canulée de 4.10.6 » ; il demande une copie de IV §9–13 ; en marge, un
P.S. : il demandera à Mike de s'occuper des exposés après VI. Le reste est
personnel. De sa main, vraisemblablement : un ovale au crayon, très pâle,
autour de « de 4.10.6 »</note></p>
<pb n="14" facs="https://grothendieck.umontpellier.fr/37.pdf#page=15"/><p><note type="editorial" resp="#pass">double carbone d'une lettre de lui, dactylographiée ; la lettre se
poursuit sur un autre feuillet</note></p>
<p>Massy le 18.5.1971</p>
<p>Cher Verdier,</p>
<p>Je ne trouve pas une minute pour m'occuper de la réédition de SGA 4. Saavedra
m'a un peu aidé, pour faire un index pour le Chap IV, par. 9 à 13. Mais on est
bloqué faute d'avoir les deux appendices de Deligne (assez, de points, image
inverse d'un plat), qu'il faudrait donner à la frappe. Les as-tu, et si oui,
peux-tu les envoyer pour la frappe ? D'autre part, peux-tu envoyer une version
corrigée de l'exercice 4.10.6 (médaille chocolat), j'ai entièrement oublié ce
qui était canulé. C'est un exercice qui sert tout le temps (!), il ne devrait
donc pas être question de le vider. Il doit y avoir quelque chose de vrai à
mettre à la place du faux …</p>
<p>Si tu en as marre de t'occuper de la mise au point « définitive » de SGA 4, je
ne pourrais t'en blâmer. Je voudrais alors des instructions sur ce qu'il faut
faire – je suis disposé à le laisser incomplet et dégueulasse, plûtôt que
d'avoir à y consacrer un jour ou deux aux dépens du boulot survie, infiniment
plus important. Pourrais-tu demander à Artin ce qu'il faut faire avec les
exposés après VI – j'ai des tas de notes d'errata, footnotes améliorations
diverses – d'en faire des instructions compréhensibles pour une dactylo
demanderait des jours de travail. Veut-il que je lui envoie mon paquet de
notes ?</p>
<pb n="15" facs="https://grothendieck.umontpellier.fr/37.pdf#page=16"/><p><note type="editorial" resp="#pass">double carbone d'une lettre de lui, dactylographiée</note></p>
<p>Massy le 3.11.1970</p>
<p>Cher Verdier,</p>
<p>Ne m'étant guère occupé de Math depuis trois mois, je suis un peu perdu pour
SGA 4. Si je me rappelle bien, tu as rédigé ou es en train de rédiger les
parties suivantes, qui sont exactement ce qui manque pour que SGA 4 soit
complet :</p>
<p><del>IV, par. 9 et suivants</del><note type="editorial" resp="#pass">ligne biffée à la machine</note></p>
<p>V</p>
<p>VI par. 5 et suivants</p>
<p>Si je me rappelle bien, <unclear>VI</unclear><note type="editorial" resp="#pass">chiffre surfrappé à la machine :
« V » ou « VI »</note> était en fait terminé d'être rédigé, il fallait seulement y
apporter quelques modifications dont on avait discuté avant ton départ. De
plus, je pense que tu as avec toi l'exposé</p>
<p>VI B</p>
<p>de Saint Donat, et je t'envoie également l'Appendice à XVII du même, dont
j'avais apparemment lu les premières pages. Pourrais tu me le renvoyer (ou le
renvoyer à St Donat) avec tes annotations et commentaires ?</p>
<p>Tu dois avoir un exemplaire du tirage de XVII ; le XVIII n'a pas été tapé sur
Stencils, mais directement sur papier pour offset ; la frappe est terminée, et
Deligne est censé la corriger.</p>
<p>Ecris-moi stp où tu en es avec ta part de rédaction, et avec la lecture de VI
B. Pour des raisons techniques, ce serait bien agréable si les textes V, VI,
<formula notation="TeX">\mathrm{VI}_{\mathrm{B}}</formula> pouvaient être disponibles dans les deux, trois mois
qui viennent. Dis-moi en tous cas si tu as l'intention de terminer, et si oui,
quand tu penses avoir terminé.</p>
<p>Bien cordialement</p>
<pb n="16" facs="https://grothendieck.umontpellier.fr/37.pdf#page=17"/><p><note type="editorial" resp="#pass">manuscrit de lui, à l'encre, sur papier à en-tête de l'Institut des
Hautes Études Scientifiques ; écriture rapide</note></p>
<p><hi rend="italic">Continuation de</hi> SGA 4 IV 4.10.6 (<add>généralisation de</add> 3° et 4°
appliqué à <formula notation="TeX">S(X) \subset S_{/X}</formula>)
<note type="editorial" resp="#pass">« généralisation de » est écrit au-dessus, une accolade le rattachant à
« 3° et 4° »</note></p>
<p>5°) Soit <formula notation="TeX">S_0 \hookrightarrow S</formula> une <del>famille</del>
<del>(<formula notation="TeX">S_0</formula> <gap reason="illegible"/> <gap reason="illegible"/>)</del> <del>et supposons que</del> sous-catégorie pleine
de <formula notation="TeX">S</formula> satisfaisant les conditions suivantes :</p>
<p>(i) Si <formula notation="TeX">u : X \to Y</formula> avec <formula notation="TeX">u \in \underline{M}</formula>, <formula notation="TeX">Y \in \operatorname{ob} S_0</formula>,
alors <formula notation="TeX">X \in \operatorname{ob} S_0</formula>.</p>
<p>[(ii) <del><formula notation="TeX">\forall X \in \operatorname{ob} S</formula> existe famille couvrante
<formula notation="TeX">X_i \to X</formula>,</del> <del><gap reason="illegible"/> <gap reason="illegible"/></del> le <unclear>crible</unclear> de <formula notation="TeX">S</formula> engendré par
les objets de <formula notation="TeX">S_0</formula> est couvrant, i.e. <formula notation="TeX">\forall X \in \operatorname{ob} S</formula>,
existe famille couvrante <formula notation="TeX">X_i \to X</formula>, avec <formula notation="TeX">X_i \to Z_i \in \operatorname{ob}
S_0</formula>.]</p>
<p>Munissons <formula notation="TeX">S_0</formula> de la top. induite. <unclear>Prouvons</unclear> que <unclear>une</unclear>
famille de morphismes <formula notation="TeX">X_i \to X</formula> dans <formula notation="TeX">S_0</formula> est couvrante dans <formula notation="TeX">S_0</formula>
<unclear>ssi</unclear> elle l'est dans <formula notation="TeX">S</formula> <del><gap reason="illegible"/></del> <unclear>i.e.</unclear> que
<formula notation="TeX">S_0 \to S</formula> est <hi rend="italic"><unclear>cocontinu</unclear></hi>.</p>
<p>Soit <formula notation="TeX">\underline{M}_0</formula> l'ens. des <formula notation="TeX">u \in \underline{M}</formula>, <del><gap reason="illegible"/></del>
<formula notation="TeX">u : X \to Y</formula>, avec <formula notation="TeX">Y \in \operatorname{ob} S_0</formula>, donc
<formula notation="TeX">X \in \operatorname{ob} S_0</formula>. Prouvons que <formula notation="TeX">\underline{M}_0 \subset
\mathrm{Fl}(S_0)</formula> satisfait les conditions a) b) c) d) de 1°).</p>
<p>Procédant comme dans 3°, définissons des foncteurs
<formula notation="TeX" rend="display">\mathrm{Res} : S^{\sim} \to S_0^{\sim} ,</formula>
<note type="authorial" place="margin"><formula notation="TeX">\mathrm{Prol} : S_0^{\sim} \to S^{\sim}</formula> ? <unclear>avec</unclear>
<unclear>limites</unclear></note>
<del>et <unclear>prouvons</unclear> que</del> <add><unclear>tels</unclear> que</add> Res
<unclear>commute</unclear> <gap reason="illegible"/> <unclear>inductives</unclear> et <unclear>projectives</unclear>, et
Prol <gap reason="illegible"/> exact : <unclear>p. f.</unclear> et <unclear>pl. fidèle</unclear>, <gap reason="illegible"/>
<gap reason="illegible"/>
<note type="editorial" resp="#pass">la feuille s'arrête ici. Le « Prol » est dans un ovale tracé d'un trait
plus fin, à droite de « Res » ; la fin de la page (quatre lignes) est très
cursive et les lectures proposées sont guidées par le 3°) de l'exercice
(page 10 : <formula notation="TeX">\mathrm{Res}_X</formula> commute aux limites inductives et projectives,
<formula notation="TeX">\mathrm{Prol}_X</formula> pleinement fidèle)</note></p>
<pb n="17" facs="https://grothendieck.umontpellier.fr/37.pdf#page=18"/><p><note type="editorial" resp="#pass">feuillet dactylographié, que l'on donne en entier comme un tapuscrit de
lui, inédit (voir l'en-tête du fichier pour les raisons) : ce sommaire et sa
NB diffèrent du sommaire publié de l'exposé VI (qui a une introduction,
« 5. Commutation des foncteurs <formula notation="TeX">H^i(X,-)</formula> aux limites inductives
filtrantes », et ni « Constructibilité » ni NB), et l'auteur y annonce qu'il
rédigera lui-même le n° 4, tandis que sa lettre du 3.11.1970 (page 15) confie à
Verdier « VI par. 5 et suivants ». Ses interventions à l'encre bleue sont entre
coins ; les surfrappes de la machine ne sont pas relevées</note></p>
<p><note type="authorial" place="margin">1.9.5, <unclear>1.23</unclear>, 2.9 — à reporter au <unclear>n° 3</unclear>
<unclear>3.1</unclear> ?</note>
<note type="editorial" resp="#pass">au crayon, très pâle, en tête du feuillet</note></p>
<p>SGA 4 VI</p>
<p><hi rend="italic">Sommaire</hi></p>
<list rend="itemize">
<label>1.</label><item>Conditions de finitude pour les objets et flêches d'un topos. —
<add>1 à 19</add></item>
<label>2.</label><item>Conditions de finitude pour un topos. — <add>20 à 37</add></item>
<label>3.</label><item>Conditions de finitude pour un morphisme de topos.
<del><add><gap reason="illegible"/></add></del> — <add>38 à 46</add></item>
<label>4.</label><item><del>Constructibilité.</del> <add>Conditions de finitude pour un topos
<add>obtenu par</add> recollement.</add> — <add>47 à 65</add></item>
<label><del>5</del><add>6</add>.</label><item>Catégories fibrées et <formula notation="TeX">\varinjlim</formula> (rappels).</item>
<label><del>6</del><add>7</add>.</label><item>Sites et topos fibrés.</item>
<label><del>7</del><add>8</add>.</label><item>Limites projectives de topos.</item>
<label>8.</label><item>Cas des limites projectives filtrantes de topos cohérents par
morphismes de transition cohérents : théorèmes de passage à la limite pour la
cohomologie.</item>
<label><del>9</del><add>5</add>.</label><item>Cohomologie d'une limite inductive de faisceaux sur
un topos cohérent.</item>
<label><add>10.</add></label><item><add>Appendice (par P. Deligne).</add> <del><add>Existence de
points <gap reason="illegible"/></add></del> <add>topos cohérent<gap reason="illegible"/></add> <add><unclear>suffisamment</unclear>
<gap reason="illegible"/> de points</add></item>
</list>
<p><note type="editorial" resp="#pass">les numéros de pages de la colonne de droite, à l'encre, sont coiffés
d'une abréviation soulignée illisible ; « 38 » est surchargé et relié par un
trait au n° 3. Le n° 4 dactylographié est barré à l'encre et remplacé
au-dessus, à la main ; un trait au crayon court sous la ligne. Les numéros 5,
6, 7 sont surchargés à l'encre en 6, 7, 8 ; le numéro du n° 8 est surchargé
d'un chiffre illisible, et une accolade au crayon réunit les n° 8 et 8 ; le 9
est surchargé en 5, entouré au crayon, et une longue flèche au crayon le fait
remonter après le n° 4. La ligne 10 est entièrement manuscrite, marquée d'un
trait vertical au crayon en marge ; après « Appendice (par P. Deligne). » un
début de titre est biffé et récrit, avec une ligne interlinéaire, d'une
écriture très rapide</note></p>
<p><del>NB Bien sûr 8 serait interchangeable avec le bloc <unclear>5</unclear> à
<unclear>7</unclear>. Mais il me semble plus naturel de mettre dans deux numéros
consécutifs les deux facettes du passage à la limite en cohomologie. Bien sûr,
le numéro 8 sera réduit à une ou deux pages, le sorite des conditions de
finitude étant déjà fait.</del></p>
<p><del>Le n° 4 contiendra le sorite des groupes constructibles (au sens
groupes finis ou non), des faisceaux de torsion, des notions de
constructibilité pour les Modules et complexes de Modules, – y compris les
faits spéciaux dans le cas localement noethérien. Je pense que je le rédigerai
mais ne le garantis pas. On peut laisser tomber le n°4, ce sera alors moins
beau bien sûr … :</del>
<note type="editorial" resp="#pass">ces deux paragraphes sont annulés par des traits obliques croisés au
crayon ; dans le premier, les chiffres « 8 » et « 5 à 7 » sont surchargés à
l'encre (lecture des chiffres d'origine douteuse)</note></p>
<p>La rédaction qui suit des n°s 1 à 3 est complète, à cela près que je compte y
ajouter encore quelques exemples (en particulier un topos localement algébrique
non algébrique<add>)</add>, <del>un morphisme non cohérent de topos
cohérents).</del> <add>et un topos ayant une famille génératrice formée d'objets
cohérents, qui n'est pas localement algébrique</add>
<note type="editorial" resp="#pass">l'ajout, au crayon, occupe les deux dernières lignes du feuillet ; un
double trait au crayon le signale dans la marge gauche</note></p>
<pb n="18" facs="https://grothendieck.umontpellier.fr/37.pdf#page=19"/><p><note type="editorial" resp="#pass">notes manuscrites, à l'encre noire puis bleue</note></p>
<p>SGA 4 <hi rend="italic">XVII</hi><note type="editorial" resp="#pass">le numéro est surligné et souligné</note></p>
<list rend="itemize">
<label>p. 75 l. <formula notation="TeX">-4</formula></label><item>réf à <hi rend="italic">V</hi> correcte ?</item>
<label>p. 90 l. 2</label><item>réf : <formula notation="TeX">f_{!}</formula> pour Ensembles pointés resp. faisceaux en
groupes ?? (Consulter Verdier)</item>
<label>p. 139 l. <formula notation="TeX">-10</formula></label><item>réf : <formula notation="TeX">\mathrm{VI}_{\mathrm{B}}</formula></item>
<label>p. 167 l. <formula notation="TeX">-8</formula></label><item>réf : EGA II 2e édition (lemme de
Chow)</item>
<label>170 l. 7</label><item>réf : <hi rend="italic">V</hi> <gap reason="illegible"/> Deligne …</item>
<label>175 l. <formula notation="TeX">-1</formula></label><item>id</item>
</list>
<p><note type="editorial" resp="#pass">une accolade réunit les lignes 170 et 175, dont la référence est
commune</note></p>
<pb n="19" facs="https://grothendieck.umontpellier.fr/37.pdf#page=20"/><p><note type="editorial" resp="#pass">notes manuscrites, à l'encre noire et bleue ; plan de SGA 4 en trois
fascicules</note></p>
<p><hi rend="italic">SGA 4</hi></p>
<p><hi rend="italic">Fasc.</hi> 1 : Préface, avant-propos, table des matières générale du Sém.
Exp I à <hi rend="italic">IV</hi>. Table des matières du Volume, index
<unclear>terminologique</unclear> <unclear>général</unclear>. <formula notation="TeX">\#\,570</formula> p.<note type="editorial" resp="#pass">le 5 de « 570 » est repris à l'encre ; la ligne « Exp. V VI VII
VIII, IX X XI » d'en dessous, à droite, est reliée par un trait au total</note></p>
<p><hi rend="italic">Fasc.</hi> 2 : <unclear>Topologie générale</unclear> ; <unclear>Cohomologie des
topos et des sites étalés</unclear> : <unclear>étude générale</unclear>. Exp. V, VI
(<formula notation="TeX">\mathrm{VI}_{\mathrm{B}}</formula>), VII, VIII, IX, X, XI.
<note type="editorial" resp="#pass">les titres du fascicule 2 sont écrits en oblique, soulignés, d'une
écriture très rapide ; lectures douteuses</note></p>
<list rend="itemize">
<label>V</label><item>100</item>
<label>VI</label><item>150</item>
<label><formula notation="TeX">\mathrm{VI}_{\mathrm{B}}</formula></label><item>30</item>
<label>VII</label><item>24</item>
<label>VIII</label><item>46</item>
<label>IX</label><item><del><gap reason="illegible"/></del> 42</item>
<label>X</label><item>21</item>
<label>XI</label><item>19</item>
</list>
<p>Total : 432<note type="editorial" resp="#pass">« 100 » récrit à l'encre noire sur un premier chiffre</note></p>
<p><hi rend="italic">Fasc.</hi> 3 : <del>Cat. <unclear>Dérivées</unclear> <gap reason="illegible"/></del> Théorèmes de
<unclear>changement</unclear> de base et de dualité globale<note type="editorial" resp="#pass">une ligne partant de
sous « <formula notation="TeX">\mathrm{VI}_{\mathrm{B}}</formula> 30 » et une autre partant de sous « XI 19 »
rejoignent ce titre ; à la seconde est attaché, biffé, « <gap reason="illegible"/> », et, dans un
ovale, « Cat. dér. ? 40 »</note></p>
<list rend="itemize">
<label>XII</label><item>57</item>
<label>XIII</label><item>15</item>
<label>XIV</label><item>24</item>
<label>XV</label><item>38</item>
<label>XVI</label><item>44</item>
<label>XVII</label><item>210</item>
<label>XVIII</label><item>200</item>
<label>XIX</label><item>51</item>
</list>
<p><formula notation="TeX">\#\,640</formula>
<note type="editorial" resp="#pass">une accolade réunit XII à XVI, avec au crayon « 178 » (leur somme) ; un
« 5 » isolé au crayon plus bas</note></p>
<pb n="20" facs="https://grothendieck.umontpellier.fr/37.pdf#page=21"/><p><note type="editorial" resp="#pass">notes manuscrites, à l'encre bleue, avec des additions au crayon</note></p>
<p><del>Il faut <gap reason="illegible"/></del> <hi rend="italic">insérer le texte manquant en</hi>
<del><hi rend="italic">une</hi></del> p. 83 bis, dans laquelle il faudra reporter le texte des
lignes 7 à 18 du <del><gap reason="illegible"/></del> <add>stencil</add> 84</p>
<p><unclear>me montrer</unclear> la frappe faite</p>
<list rend="itemize">
<label>p. 85 l. 13</label><item><formula notation="TeX">\mathbb{L}g^{*} \quad \mathbb{L}g'^{*}</formula></item>
<label>l. 23</label><item><formula notation="TeX">\mathbb{L}g'^{*} \quad \mathbb{L}g^{*}</formula></item>
<label>l. 39</label><item><formula notation="TeX">\mathbb{L}g'^{*}</formula></item>
<label>l. 27 et suite :</label><item></item>
</list>
<p><note type="editorial" resp="#pass">il écrit les deux formes côte à côte, sans flèche : la première à
remplacer par la seconde, comme on le comprend ; « <formula notation="TeX">\mathbb{L}</formula> » rend son L à
double hampe</note></p>
<p><del>Le texte oublié a été reporté ici <hi rend="italic">par erreur</hi> !!!</del>
<note type="editorial" resp="#pass">les lignes « Il faut insérer … » jusqu'à « … par erreur !!! »
sont barrées de trois longs traits obliques au crayon ; la dernière phrase,
soulignée, est à l'encre sous les traits</note></p>
<p><formula notation="TeX">210 + 76 + 250 = 536</formula>
<note type="editorial" resp="#pass">addition posée en colonne, au crayon, le total entouré ; au-dessus de 76, un premier
chiffre (4 ?) est barré, et la somme vaut 536 avec 76. Un « Fasc. » isolé
à droite</note></p>
</div>
      </div>
    </body>
  </text>
</TEI>
