<?xml version="1.0" encoding="UTF-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xml:lang="fr">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>Fonds Grothendieck, cote n° 129, pages 21–40 — 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-26">2026-09-26</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">129</idno>
          </msIdentifier>
          <head>Notes séminaire Montréal (Delale, Labute, Hakim, Messing) : copies de tapuscrits annotés (s.d.), notes manuscrites (s.d.)</head>
          <msContents>
            <summary>Pages 21 à 40 de la cote, dans la
            numérotation des archivistes (crayon, en bas à gauche de chaque
            page) ; lot 2 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>[1970]</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/129.pdf">https://grothendieck.umontpellier.fr/129.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">\add</hi> devient
        <hi rend="monospace">supplied</hi> ; <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>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="1">
          <label>scripts/tei.mjs</label>
          <ref target="https://github.com/Commutator-IO/grothendieck-project">https://github.com/Commutator-IO/grothendieck-project</ref>
        </application>
      </appInfo>
    </encodingDesc>
    <profileDesc>
      <langUsage>
        <language ident="fr">français, avec la notation mathématique de l'auteur</language>
      </langUsage>
    </profileDesc>
    <revisionDesc>
      <change when="2026-09-26" who="#pass">Première passe de transcription.</change>
      <change when="2026-09-26" who="#ed">Export TEI depuis la source LaTeX.</change>
    </revisionDesc>
  </teiHeader>
  <text>
    <body>
      <div type="batch" n="2">
<pb n="21" facs="https://grothendieck.umontpellier.fr/129.pdf#page=22"/><p><note type="editorial" resp="#pass">seconde frappe du tapuscrit « Chapitre I. Préliminaires sur Witt »
(attribué à Delale, cf. page 1), suite de la page 20 : fin du §3
(multiplication par <formula notation="TeX">p</formula> comme morphisme de transition, Remarque sur un
anneau parfait) et §4 « L'anneau <formula notation="TeX">W</formula> », n° 4.1 (<formula notation="TeX">W(k)</formula> pour <formula notation="TeX">k</formula> parfait,
renvoi à Serre, <hi rend="italic">Corps locaux</hi>). Texte d'autrui, non transcrit ;
aucune annotation manuscrite</note></p>
<pb n="22" facs="https://grothendieck.umontpellier.fr/129.pdf#page=23"/><p><note type="editorial" resp="#pass">même tapuscrit, suite du n° 4.1 (isomorphismes
<formula notation="TeX">\varepsilon_n : W/p^nW \simeq W_n</formula>, diagramme commutatif, module
dualisant <formula notation="TeX">K/W</formula>) et énoncé de la Proposition 4.2. Aucune annotation
manuscrite</note></p>
<pb n="23" facs="https://grothendieck.umontpellier.fr/129.pdf#page=24"/><p><note type="editorial" resp="#pass">même tapuscrit, démonstration de la Proposition 4.2. Aucune
annotation manuscrite</note></p>
<pb n="24" facs="https://grothendieck.umontpellier.fr/129.pdf#page=25"/><p><note type="editorial" resp="#pass">même tapuscrit, fin de la démonstration de 4.2, Remarque, et début du
§5 « Les morphismes de Frobenius et de Verschiebung d'un schéma en
groupes », n° 5.1 (Frobenius absolu). Aucune annotation manuscrite</note></p>
<pb n="25" facs="https://grothendieck.umontpellier.fr/129.pdf#page=26"/><p><note type="editorial" resp="#pass">même tapuscrit, fin du n° 5.1 et n° 5.2 (Frobenius relatif
<formula notation="TeX">X \to X^{(p/S)}</formula>). Aucune annotation manuscrite</note></p>
<pb n="26" facs="https://grothendieck.umontpellier.fr/129.pdf#page=27"/><p><note type="editorial" resp="#pass">même tapuscrit, fin du n° 5.2 et n° 5.3 (Verschiebung d'un schéma en
groupes commutatifs plat, renvoi à SGA 3, VII<formula notation="TeX">_{\mathrm{A}}</formula>, 4.2–4.3).
Aucune annotation manuscrite</note></p>
<pb n="27" facs="https://grothendieck.umontpellier.fr/129.pdf#page=28"/><p><note type="editorial" resp="#pass">même tapuscrit, n° 5.4 (itérés du Frobenius relatif et de la
Verschiebung) ; fin du chapitre I. Aucune annotation manuscrite</note></p>
<pb n="28" facs="https://grothendieck.umontpellier.fr/129.pdf#page=29"/><p><note type="editorial" resp="#pass">page de titre dactylographiée : « Chapitre II. Groupes finis
localement libres et théorie classique de Dieudonné ». Aucun nom d'auteur ;
aucune intervention manuscrite</note></p>
<pb n="29" facs="https://grothendieck.umontpellier.fr/129.pdf#page=30"/><p><note type="editorial" resp="#pass">tapuscrit, chapitre II, §1 « Rappels généraux sur les groupes finis
localement libres », n° 1.1 (algèbre affine <formula notation="TeX">A</formula>, morphismes
<formula notation="TeX">\Delta</formula>, <formula notation="TeX">I</formula>, <formula notation="TeX">\varepsilon</formula>, bigèbre, idéal d'augmentation) et début du
n° 1.2 (rang). Texte d'autrui, non transcrit. Interventions manuscrites,
d'une main qu'on ne peut pas identifier d'après le feuillet (rien ne
permet de dire si c'est celle de Grothendieck) : en haut à droite, le folio
« II.1 » ; une accolade à l'encre part d'après « muni de sa loi
d'algèbre » et embrasse la formule détachée, dont le symbole
dactylographié devant le deux-points est surchargé en <formula notation="TeX">\mu</formula>, ce qui donne
<formula notation="TeX">\mu : A \otimes A \to A</formula> ; en marge, une croix et une petite coche. Dans
« Le noyau J de <formula notation="TeX">\varepsilon</formula> », le J dactylographié est biffé de deux
traits, et la marge porte un <formula notation="TeX">\mathcal{J}</formula> cursif. Plus bas dans la marge,
une inscription au crayon, gommée : <gap reason="illegible"/></note></p>
<pb n="30" facs="https://grothendieck.umontpellier.fr/129.pdf#page=31"/><p><note type="editorial" resp="#pass">même tapuscrit, fin du n° 1.2 (groupe de rang <formula notation="TeX">n</formula>) et n° 1.3
« Exemples de groupes finis localement libres », 1.3.1–1.3.3 (groupe
constant <formula notation="TeX">G_S</formula>, groupe multiplicatif et <formula notation="TeX">\mu_{n|S}</formula>, groupe additif).
Interventions manuscrites, main non identifiée : folio « II.2 » ; devant
« Par définition, <formula notation="TeX">\mu_{n|S}</formula> », le symbole dactylographié est barré, et
la marge porte une croix et <formula notation="TeX">\mu_{n|S}</formula>, le <formula notation="TeX">\mu</formula> à hampe doublée comme
une lettre ajourée ; devant la ligne « Si <formula notation="TeX">S</formula> est un schéma sur le corps
premier <formula notation="TeX">\mathbb{F}_p</formula> », une croix et <formula notation="TeX">\mathbb{F}_p</formula> en marge, sans
correction visible dans la ligne</note></p>
<pb n="31" facs="https://grothendieck.umontpellier.fr/129.pdf#page=32"/><p><note type="editorial" resp="#pass">même tapuscrit, fin du n° 1.3.3 (<formula notation="TeX">F</formula>, <formula notation="TeX">\alpha_{p|S}</formula>) et n° 1.4
« Dualité de Cartier » (<formula notation="TeX">G^* = \underline{\mathrm{Hom}}(G,
\mathbb{G}_{m|S})</formula>, bidualité, renvoi à SGA 3, VII<formula notation="TeX">_{\mathrm{A}}</formula>,
3.3.1). Interventions manuscrites, main non identifiée : folio « II.3 » ;
en marge, une croix et le signe <formula notation="TeX">\mapsto</formula>, devant « foncteur contravariant
<formula notation="TeX">G \mapsto G^*</formula> » ; en marge une croix, et dans la ligne « bi-algèbre »
biffé, remplacé au-dessus par « bigèbre » ; en marge une croix, et dans
« <formula notation="TeX">G \to (G^*)^*</formula> » l'astérisque de l'exposant ajouté à l'encre</note></p>
<pb n="32" facs="https://grothendieck.umontpellier.fr/129.pdf#page=33"/><p><note type="editorial" resp="#pass">même tapuscrit, suite du n° 1.4 (échange du Frobenius relatif et de
la Verschiebung, renvoi à SGA 3, VII<formula notation="TeX">_{\mathrm{A}}</formula>, 4.3.3), n° 1.5
« Exemples » (<formula notation="TeX">(\mathbb{Z}/n\mathbb{Z})^*_S \simeq \mu_{n|S}</formula>,
<formula notation="TeX">(\alpha_{p|S})^* \simeq \alpha_{p|S}</formula>) et début du n° 1.6 « Quotients de
groupes finis localement libres ». Interventions manuscrites, main non
identifiée : folio « II.4 » ; en marge une croix, et dans « qui résulte
aussi diversement des définitions » le mot « diversement » biffé, remplacé
au-dessus par « directement » ; en marge une croix et <formula notation="TeX">\alpha_{p|S}</formula>,
devant <formula notation="TeX">(\alpha_{p|S})^* \simeq \alpha_{p|S}</formula> ; en marge <formula notation="TeX">\pi</formula>, et dans la
suite exacte <formula notation="TeX">0 \to G' \to G \to G'' \to 0</formula> le p au-dessus de la seconde
flèche surchargé en <formula notation="TeX">\pi</formula></note></p>
<pb n="33" facs="https://grothendieck.umontpellier.fr/129.pdf#page=34"/><p><note type="editorial" resp="#pass">même tapuscrit, suite du n° 1.6 (représentabilité de <formula notation="TeX">G''</formula>, renvoi à
SGA 3, V, 4.1 ; multiplicativité du rang) et n° 1.7 (composante
<formula notation="TeX">\ell</formula>-primaire, renvoi à SGA 3, VIII, 7.3). Interventions manuscrites,
main non identifiée : folio « II.5 » ; en marge <formula notation="TeX">\pi</formula>, et dans « et que p
est fidèlement plat » le p biffé d'une croix, <formula notation="TeX">\pi</formula> écrit au-dessus ;
deux fois, en marge, une croix et <formula notation="TeX">\ell</formula>, devant « de <formula notation="TeX">\ell</formula>-torsion » et
« un <formula notation="TeX">\ell</formula>-groupe », où le <formula notation="TeX">\ell</formula> est écrit à la main dans le blanc laissé
par la frappe</note></p>
<pb n="34" facs="https://grothendieck.umontpellier.fr/129.pdf#page=35"/><p><note type="editorial" resp="#pass">même tapuscrit, fin du n° 1.7 (groupes <formula notation="TeX">p</formula>-primaires, dual d'un
<formula notation="TeX">p</formula>-groupe) et §2 « Types particuliers de groupes », n° 2.1, 2.1.1
(infinitésimal) et 2.1.2 (étale). Interventions manuscrites, main non
identifiée : folio « II.6 » ; en marge une croix, et en bout de la ligne
« (pour la topologie étale, ou f.p.p.f., ou » l'ajout « f.p.q.c.) »</note></p>
<pb n="35" facs="https://grothendieck.umontpellier.fr/129.pdf#page=36"/><p><note type="editorial" resp="#pass">même tapuscrit, 2.1.3 (unipotent, renvoi à SGA 3, XVII), 2.1.4 (type
multiplicatif), 2.1.5 (bi-infinitésimal), n° 2.2 (en caractéristique <formula notation="TeX">p</formula>,
un <formula notation="TeX">p</formula>-groupe de type multiplicatif est infinitésimal) et début du n° 2.3.
Interventions manuscrites, main non identifiée : folio « II.7 » ; une
petite croix en marge devant 2.1.5, sans correction visible dans la
ligne</note></p>
<pb n="36" facs="https://grothendieck.umontpellier.fr/129.pdf#page=37"/><p><note type="editorial" resp="#pass">même tapuscrit, fin du n° 2.3 et n° 2.4 « Exemples de <formula notation="TeX">p</formula>-groupes en
caractéristique <formula notation="TeX">p</formula> » (<formula notation="TeX">(\mathbb{Z}/p\mathbb{Z})_S</formula>, <formula notation="TeX">\mu_{p|S}</formula>,
<formula notation="TeX">\alpha_{p|S}</formula> ; suite de composition, renvoi à SGA 3, XVII, 1.7 et
4.2.1). Interventions manuscrites, main non identifiée : folio « II.8 » ;
en marge une croix, et en bout de la suite de composition
<formula notation="TeX">G \supset G_0 \supset \dots \supset G_n</formula> l'ajout « <formula notation="TeX">= 0</formula> »</note></p>
<pb n="37" facs="https://grothendieck.umontpellier.fr/129.pdf#page=38"/><p><note type="editorial" resp="#pass">même tapuscrit, n° 2.5 (critères 2.5.1–2.5.5 par le Frobenius
relatif et la Verschiebung) et démonstration de 2.5.1 (idéaux <formula notation="TeX">J_n</formula> et
puissances <formula notation="TeX">J^{p^n}</formula>). Interventions manuscrites, main non identifiée :
folio « II.9 » ; une croix en marge devant la ligne « lons caractériser le
"noyau" de <formula notation="TeX">F^n_{G/S}</formula> pour tout S-schéma <formula notation="TeX">G</formula> muni d'une », sans
correction visible dans la ligne</note></p>
<pb n="38" facs="https://grothendieck.umontpellier.fr/129.pdf#page=39"/><p><note type="editorial" resp="#pass">même tapuscrit, fin de la démonstration de 2.5.1, démonstration de
2.5.4 (renvoi à SGA 5, XIV (Houzel)), §3 « Décomposition d'un <formula notation="TeX">p</formula>-groupe
fini localement libre sur une base de caractéristique <formula notation="TeX">p</formula> réduite à un
point », n° 3.1 (suite exacte <formula notation="TeX">0 \to G^0 \to G \to G^{\mathrm{et}} \to 0</formula>,
sous-groupe <formula notation="TeX">G^{\mathrm{mult}}</formula>). Seule intervention manuscrite : le folio
« II.10 »</note></p>
<pb n="39" facs="https://grothendieck.umontpellier.fr/129.pdf#page=40"/><p><note type="editorial" resp="#pass">même tapuscrit, suite du n° 3.1 et n° 3.2 (décomposition canonique
<formula notation="TeX">G = G^{\mathrm{mult}} \times G^{\mathrm{bi}} \times G^{\mathrm{et}}</formula> sur un
corps parfait, renvoi à SGA 3, XVII, 1.6). Interventions manuscrites, main
non identifiée : folio « II.11 » ; en marge une croix, et dans « est
bi-infinitésimal car c'est » une virgule ajoutée à l'encre après
« bi-infinitésimal », avec un trait appuyé devant « car »
(<unclear>suppression d'un signe dactylographié</unclear>)</note></p>
<pb n="40" facs="https://grothendieck.umontpellier.fr/129.pdf#page=41"/><p><note type="editorial" resp="#pass">même tapuscrit, liste des équivalences (infinitésimal, étale,
unipotent, bi-infinitésimal, multiplicatif), n° 3.3 (<formula notation="TeX">p</formula>-groupes étales
et de type multiplicatif sur un corps parfait, <formula notation="TeX">\pi_1(k)</formula>, dualité de
Pontryagin) et début du §4 « Théorie de Dieudonné sur un corps parfait »,
n° 4.1 (catégorie <formula notation="TeX">p</formula>-Gr-fin<formula notation="TeX">(k)</formula>, anneau de Dieudonné <formula notation="TeX">W[F,V]</formula>) ; la page
s'arrête en cours de phrase. Seule intervention manuscrite : le folio
« II.12 »</note></p>
      </div>
    </body>
  </text>
</TEI>
