<?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° 154, pages 121–140 — 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">154</idno>
          </msIdentifier>
          <head>[Système de pseudo-droites] : notes manuscrites (1983-1984, s.d.)</head>
          <msContents>
            <summary>Pages 121 à 140 de la cote, dans la
            numérotation des archivistes (crayon, en bas à gauche de chaque
            page) ; lot 7 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>1983-1984</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/154.pdf">https://grothendieck.umontpellier.fr/154.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-26" 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="7">
<pb n="121" facs="https://grothendieck.umontpellier.fr/154.pdf#page=122"/><p><note type="editorial" resp="#pass">page de dessins en couleur, sans texte. En haut, quatre petits rectangles bordés de vert ou de brun, traversés de droites rouges qui se croisent. Un disque bordé de vert, rempli de pseudo-droites rouges, traversé par deux droites vert clair fléchées marquées <formula notation="TeX">D_1</formula> et <formula notation="TeX">D_\nu</formula> ; un disque rouge rempli de courbes rouges et vertes qui vont d'un point du bord au point opposé. Au crayon, trois droites <formula notation="TeX">D_2</formula>, <formula notation="TeX">D_0</formula>, <formula notation="TeX">D_1</formula> qui passent à travers deux croisements orange. Au milieu, une droite vert clair qui contourne des croisements orange, les sommets marqués <formula notation="TeX">s_p</formula>, <formula notation="TeX">s_0</formula>, <formula notation="TeX">s_1</formula>, <formula notation="TeX">s_2</formula>, et les étiquettes <formula notation="TeX">D_p</formula>, <formula notation="TeX">D_1</formula>, <formula notation="TeX">D_\nu</formula>. En bas, un hexagone rouge au pourtour épais, rempli de tirets orange, aux sommets duquel se croisent des droites rouges (deux points marqués) ; une grille de droites rouges et orange ; une bande de droites vert clair coupée de croisements orange, avec un chemin en tirets</note></p>
<pb n="122" facs="https://grothendieck.umontpellier.fr/154.pdf#page=123"/><p><note type="editorial" resp="#pass">à gauche, un disque bordé de jaune, deux points marqués sur le bord, contenant une courbe rouge qui se recoupe plusieurs fois ; à côté, le mot « <hi rend="italic">Non</hi> » (souligné). À droite, des croquis au crayon : un cercle traversé d'une courbe, des droites qui se croisent en étoile sur une droite, des arcs</note></p>
<pb n="123" facs="https://grothendieck.umontpellier.fr/154.pdf#page=124"/><p><note type="editorial" resp="#pass">dessins en couleur, sans texte : une pseudo-droite rouge qui coupe une droite jaune, une région hachurée au crayon ; un disque bordé de rouge, deux points jaunes opposés sur le bord, traversé de pseudo-droites rouges et d'un faisceau de fines courbes au crayon qui joignent les deux points (un balayage) ; un demi-disque rouge dont la base jaune porte un segment noir ; un cercle au crayon ; un grand disque aux pseudo-droites rouges et noires très enchevêtrées, balayé de même par un faisceau de courbes au crayon entre deux points du bord ; enfin, un croisement orange posé sur une droite verte</note></p>
<pb n="124" facs="https://grothendieck.umontpellier.fr/154.pdf#page=125"/><p><note type="editorial" resp="#pass">dessins en couleur, sans texte : des droites rouges qui se croisent sur une droite vert clair fléchée, avec des arcs noirs qui contournent un croisement (un balayage à travers un triangle), les arcs successifs numérotés <formula notation="TeX">1</formula> à <formula notation="TeX">5</formula> ; au crayon, une suite de flèches numérotées <formula notation="TeX">1</formula> à <formula notation="TeX">5</formula> ; plusieurs croisements rouges sur des droites vertes et brunes ; un disque bordé de vert traversé de droites rouges, deux arcs rouges épais sur le bord ; en bas, deux petits disques verts, l'un traversé d'un fuseau d'arcs rouges joignant deux points opposés du bord, l'autre d'un diamètre rouge ; des disques au crayon</note></p>
<pb n="125" facs="https://grothendieck.umontpellier.fr/154.pdf#page=126"/><p><note type="editorial" resp="#pass">dessins en couleur, sans texte : un éventail d'arêtes orange (pleines et en tirets) issu d'un sommet, dans un pentagone bleu et vert ; une étoile bleue dont le centre est entouré de pétales bruns ; un réseau cellulaire vert (sommets d'ordre <formula notation="TeX">4</formula>) et bleu, avec en son centre la même fleur de pétales et une bande bleue hachurée ; un cercle orange traversé d'une étoile de rayons bleus ; un petit quadrillage bleu et vert ; un triangle curviligne noir contenant une étoile verte, avec un arc hachuré</note></p>
<pb n="126" facs="https://grothendieck.umontpellier.fr/154.pdf#page=127"/><p><note type="editorial" resp="#pass">en haut, une bande : une droite vert clair entre deux droites brunes, coupée de croisements orange ; les segments de la droite supérieure sont marqués <formula notation="TeX">p'</formula>, <formula notation="TeX">q'</formula>, <formula notation="TeX">s'</formula>, <formula notation="TeX">u'</formula>, <formula notation="TeX">v'</formula>, <formula notation="TeX">w'</formula>, <formula notation="TeX">y'</formula>, <formula notation="TeX">z'</formula>, ceux de l'inférieure <formula notation="TeX">p</formula>, <formula notation="TeX">q</formula>, <formula notation="TeX">r</formula>, <formula notation="TeX">t</formula>, <formula notation="TeX">u</formula>, <formula notation="TeX">w</formula>, <formula notation="TeX">x</formula>, <formula notation="TeX">z</formula>, avec de petites marques <formula notation="TeX">x</formula>, <formula notation="TeX">1</formula>, <formula notation="TeX">2</formula>, <formula notation="TeX">3</formula> et des barres noires sur certains croisements. À droite, un cercle au crayon traversé de droites orange, aux extrémités marquées de barres bleues ; des morceaux de graphe vert (en H, en Y) ; un heptagone bleu avec des cordes orange et une étoile verte au centre. En bas, des étoiles au crayon avec des flèches, une fleur de pétales hachurés et un grand « <formula notation="TeX">2</formula> » ; un petit peigne orange</note></p>
<p><formula notation="TeX" rend="display">\boxed{\sigma_1,\ \sigma,\ \sigma_2,\ \sigma_0}</formula>
<note type="editorial" resp="#pass">encadré au milieu du bas de la page</note></p>
<pb n="127" facs="https://grothendieck.umontpellier.fr/154.pdf#page=128"/><p><note type="editorial" resp="#pass">dessins en couleur, sans texte : une colonne de trois disques tangents (bleus et au crayon) traversés par une même pseudo-droite orange ; un disque rempli de pseudo-droites orange, entouré d'un cercle vert en tirets, tangent à un cercle vert vide ; un disque aux pseudo-droites orange dont le bord porte de petites encoches bleues en demi-cercle ; un disque vert et bleu rempli de pseudo-droites orange ; un disque au crayon ; un polygone au crayon avec une étoile de flèches orange et de rayons bleus</note></p>
<pb n="128" facs="https://grothendieck.umontpellier.fr/154.pdf#page=129"/><p><note type="editorial" resp="#pass">dessins en couleur, sans texte : trois graphes superposés, bleu, vert et orange, autour d'un sommet bleu central, avec six petits carrés bruns aux sommets de l'hexagone orange ; une étoile bleue à huit branches ; un sommet bleu entouré d'un cercle orange hachuré ; un graphe vert en tirets ; un hexagone vert portant des triangles orange à ses sommets, traversé de rayons bleus</note></p>
<pb n="129" facs="https://grothendieck.umontpellier.fr/154.pdf#page=130"/><p><note type="editorial" resp="#pass">dessins en couleur, sans texte sinon des signes : plusieurs paires de disques tangents (figures en huit) traversés de pseudo-droites rouges, des triangles coloriés en jaune ; dans la paire centrale, des points marqués <formula notation="TeX">+</formula> dans le disque du haut et <formula notation="TeX">-</formula> dans celui du bas, et des flèches doubles près du point de contact ; un réseau vert traversé de droites orange ; des disques au crayon, l'un au bord jaune ondulé</note></p>
<pb n="130" facs="https://grothendieck.umontpellier.fr/154.pdf#page=131"/><p><note type="editorial" resp="#pass">à gauche, dessins en couleur : deux disques tangents traversés de pseudo-droites rouges, un arc du bord hachuré en noir ; un disque vert traversé de pseudo-droites rouges, le bord marqué d'accolades <formula notation="TeX">\alpha</formula>, <formula notation="TeX">\gamma</formula>, <formula notation="TeX">\beta</formula> ; un disque vert aux pseudo-droites rouges ; à droite, deux cercles, rouge et vert, qui se coupent en deux points</note></p>
<p><formula notation="TeX">\alpha + \gamma + 1</formula> <gap reason="illegible"/>
<formula notation="TeX" rend="display">\frac{\alpha + \gamma + 1}{2} \qquad \frac{\beta + \gamma + 1}{2}</formula>
<formula notation="TeX" rend="display">\frac{\alpha + \beta + 2\gamma + 2}{2} \leqslant \alpha + \beta + \gamma + 1 \quad \ill{}</formula>
<del><formula notation="TeX">\alpha + \beta + \gamma + 1</formula></del>    <del><formula notation="TeX">3 - \dfrac{\alpha + \beta}{2} \leqslant</formula></del></p>
<p><formula notation="TeX">\dfrac{\alpha + \beta}{2}</formula> <gap reason="illegible"/> <gap reason="illegible"/> <gap reason="illegible"/> <formula notation="TeX">(\geqslant 1)</formula>
<note type="editorial" resp="#pass">la lecture du premier terme de la ligne biffée est incertaine ; le « <formula notation="TeX">\geqslant</formula> » final est surchargé</note></p>
<pb n="131" facs="https://grothendieck.umontpellier.fr/154.pdf#page=132"/><p><note type="editorial" resp="#pass">dessins en couleur : plusieurs disques verts ou orange traversés de pseudo-droites orange ; dans deux d'entre eux, un arc vert clair (une pseudo-droite en position relative) et les points d'intersection numérotés sur le bord <formula notation="TeX">1, 2, \ldots, 10</formula>, avec « <formula notation="TeX">11 = 1</formula> », et dans un troisième, bordé de violet, les points <formula notation="TeX">1, 2, 3, 4</formula> et <formula notation="TeX">1', 2', 3', 4'</formula> ; un demi-disque brun au bord orné de petites flèches ; des cercles noirs fléchés ; un rectangle au crayon aux coins numérotés <formula notation="TeX">1, \ldots, 4</formula> et <formula notation="TeX">1', \ldots, 4'</formula> ; un cercle au crayon dont le bord porte <formula notation="TeX">\xi_0, \xi_1, \ldots, \xi_{n-2}, \xi_{n-1}</formula> et <formula notation="TeX">\xi'_1, \xi'_2, \ldots, \xi'_{n-2}</formula></note></p>
<p><formula notation="TeX" rend="display">2n \big/ 2(n+1) \qquad 2 \geqslant 2n</formula>
<note type="editorial" resp="#pass">le second terme est surchargé ; au-dessous, une droite vert clair traversée d'une flèche verticale</note></p>
<p><formula notation="TeX" rend="display">\begin{array}{cccccccc}
1 &amp; 2 &amp; 3 &amp; 4 &amp; 1' &amp; 2' &amp; 3' &amp; 4' \\
\xi_0 &amp; \xi_1 &amp; \xi_2 &amp; \xi_3 = \xi_{n-1} &amp; &amp; &amp; &amp;
\end{array}</formula></p>
<p><formula notation="TeX" rend="display">\widetilde{\Delta}_{\tilde{s}} \xrightarrow[\sim]{\varphi_0} \widetilde{\Delta}'_{\tilde{s}_0}
\qquad
\widetilde{\Delta}_{\tilde{s}} \xrightarrow{\varphi_1} \widetilde{\Delta}^{\ast}_{\tilde{s}_1}</formula>
<note type="editorial" resp="#pass">les deux flèches partent du même <formula notation="TeX">\widetilde{\Delta}_{\tilde{s}}</formula>, l'une horizontale, l'autre en diagonale ; les indices <formula notation="TeX">\tilde{s}_0</formula>, <formula notation="TeX">\tilde{s}_1</formula> sont d'une lecture incertaine</note></p>
<p><formula notation="TeX" rend="display">\alpha,\ u^{n}\xi_0,\ u^{n+1}\xi_0,\ \ldots,\ u^{2(n-1)-1}\xi_0
\qquad
\alpha,\ u^{n}\xi_0,\ u^{n+1}\xi_0,\ \ldots,\ u^{2n-2}\xi_0</formula>
<formula notation="TeX" rend="display">\xi_0\ \xi_1 \cdots \xi_{n-2}\ \xi_{n-1} = \xi'_0
\qquad
\xi_0\ \xi_1 \cdots \xi_{n-1}\ \xi_n = \xi'_0</formula>
<note type="editorial" resp="#pass">les deux groupes de formules sont écrits de part et d'autre d'un cercle vert ; sous le premier, « <formula notation="TeX">u^{n-1}</formula> » ; les exposants sont d'une lecture incertaine</note></p>
<p><formula notation="TeX" rend="display">\begin{array}{cccc}
1 &amp; 2 &amp; 3 &amp; 4 \\
1' &amp; 2' &amp; 3' &amp; 4'
\end{array}
\qquad
0\ 2'\ 3'\ 4'\ 0'\ 1\ 2\ 3\ 4\ 1'</formula>
<note type="editorial" resp="#pass">dans le premier tableau, <formula notation="TeX">2, 3, 4</formula> et <formula notation="TeX">2', 3', 4'</formula> sont encadrés et une flèche ramène de <formula notation="TeX">4</formula> à <formula notation="TeX">1'</formula> ; dans la suite de droite, des arcs relient <formula notation="TeX">2'</formula> à <formula notation="TeX">2</formula>, <formula notation="TeX">3'</formula> à <formula notation="TeX">3</formula>, <formula notation="TeX">4'</formula> à <formula notation="TeX">4</formula> et <formula notation="TeX">0</formula> à <formula notation="TeX">1'</formula></note></p>
<p><formula notation="TeX">\operatorname{Circ}\bigl(\widetilde{I \setminus \lbrace i_0 \rbrace}\bigr) \leftarrow \tilde{\imath}_0</formula>
<note type="editorial" resp="#pass">au crayon ; en bas à droite, un cercle noir traversé d'un diamètre, les extrémités marquées <formula notation="TeX">\alpha</formula> et <formula notation="TeX">\alpha'</formula>, une flèche de rotation</note></p>
<pb n="132" facs="https://grothendieck.umontpellier.fr/154.pdf#page=133"/><p><note type="editorial" resp="#pass">en haut à gauche, un dessin en couleur : un fuseau (bigone) bordé d'un arc vert foncé et d'un arc vert clair, entre deux croisements orange, traversé de pseudo-droites orange et de cinq courbes brunes numérotées <formula notation="TeX">1</formula> à <formula notation="TeX">5</formula> aux deux bouts, qui le balaient ; au milieu, un second dessin du même fuseau, les courbes numérotées <formula notation="TeX">1</formula> à <formula notation="TeX">8</formula>, les croisements marqués « <formula notation="TeX">1 = 5</formula> », « <formula notation="TeX">2</formula> », « <formula notation="TeX">3</formula> », « <formula notation="TeX">4</formula> », « <formula notation="TeX">5 = 8</formula> » (en orange), « <formula notation="TeX">5/6</formula> » sur l'arc supérieur et « <formula notation="TeX">1/2</formula> » sur l'inférieur</note></p>
<p><note type="authorial" place="margin"><hi rend="italic">fuseau</hi> avec : <formula notation="TeX">a</formula> des deux rives (= côtés du bigone) du fuseau ; <formula notation="TeX">\varpi</formula> des deux extrémités ; <formula notation="TeX">\Omega</formula> des deux orientations du fuseau ; <formula notation="TeX">\boxed{\Omega \simeq a \wedge \varpi}</formula></note>
<note type="editorial" resp="#pass">en haut à droite, les quatre lignes réunies par une accolade ; « (= côtés du bigone) » est écrit au-dessus de la ligne, « du fuseau » ajouté après « orientations » ; la lettre <formula notation="TeX">\varpi</formula> est écrite sur une autre, biffée</note></p>
<p><formula notation="TeX">\Omega' \simeq \Omega \wedge \varpi \simeq a</formula>    <formula notation="TeX">\Omega'</formula> une des orientations de <formula notation="TeX">X</formula> en le <add>sommet du fuseau</add>. Si on a choisi un <formula notation="TeX">D \in a</formula>, donc <formula notation="TeX">a \simeq \lbrace \pm 1 \rbrace</formula>, <del><gap reason="illegible"/></del> <formula notation="TeX">\Omega \simeq \varpi \simeq \omega</formula> (une des orientations de <formula notation="TeX">D</formula>)
<note type="editorial" resp="#pass">« sommet du fuseau » est écrit au-dessus de la ligne ; la lettre lue <formula notation="TeX">\varpi</formula> dans « <formula notation="TeX">\Omega \wedge \varpi</formula> » peut aussi être un <formula notation="TeX">\sigma</formula></note></p>
<p><hi rend="italic">NB</hi> « Fuseau » <formula notation="TeX">\longleftrightarrow</formula> p.r. critique, avec sommet fixé dessus (« él. <gap reason="illegible"/> de contact »)</p>
<p>On trouve donc le circuit <formula notation="TeX">D_1, D_2, \ldots, D_8, D_9 = D_1</formula>. Comment trouvons-nous le circuit inverse <formula notation="TeX">D_2, D_1 = D_9, D_8, \ldots, D_3, D_2</formula> ? C'est en changeant <hi rend="italic">à la fois</hi> la rive <formula notation="TeX">\rho</formula>, et l'orientation <formula notation="TeX">\omega</formula>.</p>
<p>Ainsi, l'opération <formula notation="TeX">\sigma_2</formula> sur les repères de <formula notation="TeX">\widetilde{X}</formula> correspond à l'opération qui <del><gap reason="illegible"/></del> <hi rend="italic">fixe</hi> <formula notation="TeX">\varpi</formula> (orientation en <formula notation="TeX">s</formula>) et qui change <add>la</add> coorientation de <formula notation="TeX">D</formula>, <del>i.e. des</del> <add><unclear>ou</unclear></add> <gap reason="illegible"/> du fuseau)
<note type="editorial" resp="#pass">au-dessous, un croquis au crayon : un cercle partagé en secteurs marqués <formula notation="TeX">D_1, \ldots, D_8</formula>, un axe fléché passant par le centre</note></p>
<p>Ce circuit de positions relatives stables dépend de la position semi-stable de départ <formula notation="TeX">D</formula> <add>avec le sommet <formula notation="TeX">s \in S_D</formula></add> (vert clair), du choix de sa générisation de départ, i.e. de la rive correspondante <formula notation="TeX">\rho</formula> de <formula notation="TeX">D</formula> en <formula notation="TeX">s</formula>, et d'une <del><gap reason="illegible"/></del> orientation <formula notation="TeX">\omega</formula> de <formula notation="TeX">D</formula> (qui indique l'ordre de succession <del>des repères</del> <gap reason="illegible"/> des triangles), ce qui (moyennant le choix de <formula notation="TeX">\rho</formula>) équivaut à la donnée d'une orientation <formula notation="TeX">\varpi</formula> de <formula notation="TeX">X</formula> en <formula notation="TeX">s</formula>.
<note type="editorial" resp="#pass">colonne de droite ; à côté, un petit dessin : un croisement orange sur la droite vert clair <formula notation="TeX">D</formula>, orientée par <formula notation="TeX">\omega</formula>, le sommet <formula notation="TeX">s</formula> et, au-dessous, la rive brune <formula notation="TeX">\rho</formula></note></p>
<p>Donner <formula notation="TeX">(D, \varpi, \omega)</formula> revient <unclear>donc</unclear> <unclear>à</unclear> <gap reason="illegible"/> que de donner le fuseau qu'il définit, avec un <del><gap reason="illegible"/></del> <gap reason="illegible"/> du fuseau <formula notation="TeX">\Longleftrightarrow</formula> une orientation <formula notation="TeX">\varpi</formula> <del>de</del> <formula notation="TeX">X</formula> en son sommet, et une <unclear>somme</unclear> (<unclear>déployée</unclear>) du fuseau i.e. une de ses <gap reason="illegible"/>
<note type="editorial" resp="#pass">les quatre dernières lignes, serrées au bas de la page, sont d'une lecture très incertaine</note></p>
<pb n="133" facs="https://grothendieck.umontpellier.fr/154.pdf#page=134"/><p><note type="editorial" resp="#pass">croquis au crayon, sans texte : des arrangements de trois ou quatre droites, et un cercle coupé de quatre droites, dont les régions portent le nombre de leurs côtés (<formula notation="TeX">3</formula>, <formula notation="TeX">4</formula>, <formula notation="TeX">5</formula>) ; un petit cercle traversé de courbes (au crayon, et un autre en vert)</note></p>
<pb n="134" facs="https://grothendieck.umontpellier.fr/154.pdf#page=135"/><p><del><gap reason="illegible"/></del> en somme, le choix de <formula notation="TeX">(D, \varpi, \omega)</formula> revient : <unclear>elle</unclear> au fuseau correspondant, avec un <unclear>épinglage</unclear> de ce fuseau i.e. des bigônes qu'il définit.</p>
<p>De ce point de vue, <formula notation="TeX">\sigma_2</formula> est l'opération qui fixe <del><gap reason="illegible"/></del> l'élément de structure <add><unclear>de ce type</unclear></add> de dim <formula notation="TeX">1</formula> (<gap reason="illegible"/> <gap reason="illegible"/>), et fixe celui de dim <formula notation="TeX">0</formula>. Pour <formula notation="TeX">\sigma_0</formula>, serait-ce l'inverse ?</p>
<p><hi rend="italic">Non</hi>, cette opération inverse, <del>i.e.</del> en tant qu'opération <formula notation="TeX">\sigma</formula> dans les repères de <formula notation="TeX">\widetilde{X}</formula>, est celle qui remplace un repère par son symétrique p.r. au <add>sommet</add> <del><gap reason="illegible"/></del> origine, qui commute bien à <formula notation="TeX">\sigma_2</formula>,
<formula notation="TeX" rend="display">\begin{array}{ccccc}
\sigma &amp; - &amp; \sigma_2 &amp; - &amp; \sigma_0 \\
\backslash &amp; &amp; &amp; &amp; \\
\sigma_1 &amp; &amp; &amp; &amp;
\end{array}</formula>
<note type="editorial" resp="#pass">petit graphe à gauche de la ligne suivante</note>
On a les quatre opérations <del>fuseaux locaux</del> fuseaux globaux <formula notation="TeX">\leftarrow</formula> des <formula notation="TeX">\sigma_1, \sigma, \sigma_2, \sigma_0</formula> sur les repères, dont <del>deux</del> covariantes commutant. On vient d'interpréter <formula notation="TeX">\sigma, \sigma_2</formula> comme opérations sur les fuseaux, il resterait à interpréter <formula notation="TeX">\sigma_1</formula> et <formula notation="TeX">\sigma_0</formula>.
<note type="editorial" resp="#pass">« fuseaux locaux » est biffé et souligné d'une accolade ; « fuseaux globaux » est écrit à la suite, une accolade sous « globaux »</note></p>
<p>Pour <formula notation="TeX">\sigma_1</formula>, on trouve que les classes de <formula notation="TeX">\widetilde{X}^{\mathrm{rep}}/\sigma_1</formula>, i.e. les secteurs angulaires de <formula notation="TeX">\widetilde{X}</formula>, correspondent aux <gap reason="illegible"/> fournis par une p.r. stable (<gap reason="illegible"/>)
<note type="editorial" resp="#pass">l'exposant de <formula notation="TeX">\widetilde{X}</formula>, lu « rep » (repères), est incertain ; de même page 135</note></p>
<p><note type="editorial" resp="#pass">colonne de droite : deux dessins en couleur. Un fuseau bordé de tirets vert clair et vert foncé, entre deux croisements orange, balayé d'une courbe au crayon qui revient sur elle-même, une flèche vers la droite ; un fuseau semblable, prolongé des deux côtés par une droite noire, les sommets marqués <formula notation="TeX">a</formula> (avec l'orientation <formula notation="TeX">\omega_a</formula>) et <formula notation="TeX">b</formula> (avec <formula notation="TeX">\omega_b</formula>), de petites flèches de rotation</note></p>
<p>et deux triangles formés « <del>anti</del>covariants », donnant naissance à <hi rend="italic">deux</hi> p.r. sous-stables donnant <unclear>avec</unclear> une orientation <del><gap reason="illegible"/></del> <add>et</add> orientation <del><gap reason="illegible"/></del> <add>de</add> <formula notation="TeX">X</formula> en le sommet <formula notation="TeX">a</formula> (resp. <formula notation="TeX">b</formula>), l'une de l'autre étant induite par une orientation du bigone vert : <del>C'est</del> <add>les</add> fuseaux locaux, i.e. des <formula notation="TeX">\sigma_1</formula> et la symétrie centrale, <del>celle de <formula notation="TeX">\sigma_2</formula></del>. Il faudrait comprendre aussi les classes de <formula notation="TeX">\widetilde{X}^{\mathrm{rep}}/(\sigma_1, \sigma)</formula>, qui sont fournis <unclear>dans</unclear> <gap reason="illegible"/> <formula notation="TeX">\lbrace D_{1/2}, D_{2/3}, D_{5/6}, D_{6/7}</formula>
<note type="editorial" resp="#pass">« anti » est biffé dans « anticovariants », le mot souligné ; l'accolade ouverte n'est pas refermée</note></p>
<p><note type="editorial" resp="#pass">en bas à droite, un dessin : deux croisements orange sur une droite noire, entourés de tirets bruns et d'une courbe au crayon qui les enjambe ; légendes « arête de <formula notation="TeX">D</formula> » et « p.r. critique <formula notation="TeX">D</formula> »</note></p>
<p><unclear>faces</unclear> <formula notation="TeX">\leftrightarrow</formula> <unclear>fuseaux</unclear></p>
<p>sommets <formula notation="TeX">\leftrightarrow</formula> droites</p>
<p>arêtes <formula notation="TeX">\leftrightarrow</formula> bisect. ang. locaux
<note type="editorial" resp="#pass">au bas de la page à gauche, en petits caractères</note></p>
<pb n="135" facs="https://grothendieck.umontpellier.fr/154.pdf#page=136"/><p>Sur <formula notation="TeX">\widetilde{X}^{\mathrm{rep}}</formula>, il y a les opérations <formula notation="TeX">\sigma_1, \sigma, \sigma_2, \sigma_0</formula> dont deux covariantes commutent.
<note type="editorial" resp="#pass">en haut à droite, deux petits croquis au crayon d'un triangle posé sur une droite, le second marqué <formula notation="TeX">\sigma</formula>, et une flèche verticale</note></p>
<p><hi rend="italic">faces de <formula notation="TeX">\widetilde{X}</formula></hi> : p.r. stables ; <hi rend="italic">faces orientées</hi> : p.r. <unclear>orientées</unclear> stables</p>
<p><hi rend="italic">arêtes de <formula notation="TeX">\widetilde{X}</formula></hi> : p.r. semi-stables ; <del>arêtes biorientées</del></p>
<p><hi rend="italic">arêtes biorientées i.e. repères</hi> <hi rend="italic">ou repères</hi> : <del><gap reason="illegible"/></del> <add>repère</add> <formula notation="TeX">(D, s, \omega, \varpi)</formula> où : <formula notation="TeX">D</formula> p.r. critique ; <formula notation="TeX">s \in S_D = D \cap S</formula> ; <formula notation="TeX">\omega</formula> orientation de <formula notation="TeX">D</formula>, <formula notation="TeX">\varpi</formula> or. de <formula notation="TeX">X</formula> en <formula notation="TeX">s</formula>
<note type="editorial" resp="#pass">les trois conditions sont en colonne, derrière un trait vertical ; « repère » est écrit au-dessus du mot biffé ; le <formula notation="TeX">\varpi</formula> est ajouté au-dessus de la parenthèse</note></p>
<p>i.e. <hi rend="italic">Donner repère p.r.</hi> : <formula notation="TeX">(D, s_D)</formula>, <formula notation="TeX">+</formula></p>
<p><hi rend="italic">sommets</hi> : p.r. <hi rend="italic">critiques</hi></p>
<p><hi rend="italic">sommets orientés</hi> : p.r. <hi rend="italic">orientées</hi> critiques</p>
<p>repères <formula notation="TeX">\to</formula> faces orientées : <formula notation="TeX">(D, s, \omega) \longmapsto</formula> la position relative stable obtenue en <del><gap reason="illegible"/></del>
<note type="editorial" resp="#pass">un <formula notation="TeX">\varpi</formula> est écrit en surcharge devant la parenthèse ; la phrase s'arrête là ; le reste de la page est vide</note></p>
<pb n="136" facs="https://grothendieck.umontpellier.fr/154.pdf#page=137"/><p><note type="editorial" resp="#pass">dessins en couleur : en haut, un grand fuseau entre deux croisements orange, bordé d'un arc orange, traversé de droites vert clair, la droite vert foncé et deux chemins en tirets bruns qui passent par les sommets ; à gauche, un petit repère fléché (<formula notation="TeX">\omega</formula>, <formula notation="TeX">\varpi</formula>). À droite, un cercle au crayon traversé de deux paires de droites orange, une droite vert clair et une vert foncé fléchée, les sommets <formula notation="TeX">s_4</formula>, <formula notation="TeX">t_3</formula> (chiffres entourés), les étiquettes <formula notation="TeX">D_1 = D_{19}</formula>, <formula notation="TeX">D_{18}</formula>, <formula notation="TeX">D_4</formula>, et au croisement de droite « <formula notation="TeX">5 = 19</formula> ! ». Au milieu, un croisement orange sur une droite verte avec des flèches <formula notation="TeX">\varpi</formula>, <formula notation="TeX">\omega</formula> ; à gauche en bas, un croisement enjambé d'une courbe au crayon, avec la légende « <unclear>non sans triangle</unclear> ». En bas, un grand fuseau entre deux croisements orange, bordé d'un arc orange, les sommets marqués <formula notation="TeX">s_1</formula>, <formula notation="TeX">s_2</formula>, <formula notation="TeX">s_3</formula>, <formula notation="TeX">s_4</formula>, <formula notation="TeX">s_5</formula>, <formula notation="TeX">s_6 = s_1</formula>, <formula notation="TeX">t_2</formula>, <formula notation="TeX">t_3</formula>, avec des numéros bleus et noirs <formula notation="TeX">1</formula> à <formula notation="TeX">19</formula> autour des sommets ; à droite, une ellipse au crayon traversée de croisements orange et de la droite vert foncé</note></p>
<p><formula notation="TeX">P_f = {}</formula>
<formula notation="TeX" rend="display">s_1\ s_2\ s_3\ s_4\ s_5\ s_6 = s_1\ s_2\ t_2\ s_3,\ s_4,\ t_3,\ s_5,\ s_6 = s_1,\ s_2,\ t_2,\ t_3,\ s_4,\ t_3,\ s_5 \quad s_6 = s_1</formula>
<formula notation="TeX" rend="display">D_1 \mid D_2\ D_3\ D_4\ D_5\ D_6 \mid D_7\ D_8\ D_9\ D_{10}\ D_{11}\ D_{12}\ D_{13}</formula>
<formula notation="TeX" rend="display">\mid D_{14}\ D_{15}\ D_{16}\ D_{17}\ D_{18}\ D_{19}\ D_{20} \overset{?}{=} D_6 \mid</formula>
<note type="editorial" resp="#pass">sur la page, les deux suites sont écrites l'une au-dessus de l'autre, sur une seule ligne chacune ; les barres verticales sont des traits de couleur (vert clair, vert foncé, vert, noir) ; une flèche sous <formula notation="TeX">D_4\,D_5</formula> ; sous <formula notation="TeX">D_{18}</formula> et <formula notation="TeX">D_{19}</formula>, « <formula notation="TeX">D_4 \to D_5</formula> » relié par des signes <formula notation="TeX">=</formula> ; dans la suite des sommets, le troisième <formula notation="TeX">t</formula> de la dernière série est surchargé, et l'alignement des sommets sur les <formula notation="TeX">D_i</formula> est approximatif</note></p>
<pb n="137" facs="https://grothendieck.umontpellier.fr/154.pdf#page=138"/><p><note type="editorial" resp="#pass">dessins en couleur : un grand demi-disque orange rempli de pseudo-droites orange, avec, le long de sa base, un fuseau (tirets vert foncé, droite vert clair, tirets bruns) entre deux sommets marqués <formula notation="TeX">1</formula>, <formula notation="TeX">2</formula> et des flèches de rotation ; en haut à droite, une bande étroite (vert foncé et vert clair) coupée de croisements orange, les arcs numérotés <formula notation="TeX">1</formula> à <formula notation="TeX">5</formula>, et aux bouts « <formula notation="TeX">2 : 5</formula> » ; une étoile au crayon avec deux sommets entourés (vert et vert foncé) et des tirets numérotés <formula notation="TeX">1</formula>, <formula notation="TeX">2</formula> ; des croquis au crayon ; un croisement orange sur un chemin en tirets bruns ; en bas à droite, un long fuseau entre deux croisements orange, bordé de vert foncé et de vert clair, traversé de croisements orange de plus en plus serrés, un chemin en tirets bruns par les sommets, avec la légende « fuseau de croisement »</note></p>
<p><formula notation="TeX">\sigma_2 = {}</formula><del>é</del>changement de <del><gap reason="illegible"/></del> <add>l'orientation</add> de <formula notation="TeX">D</formula> <add>et</add></p>
<p><formula notation="TeX">\sigma_0 = {}</formula>?
<note type="editorial" resp="#pass">au crayon, en bas à gauche ; « l'orientation » est écrit au-dessus du mot biffé et souligné, « et » au-dessous de la ligne</note></p>
<p>les repères de la surface correspondent aux p.r. <add><formula notation="TeX">D</formula> orientées</add> qui <add>sont de spécialité</add> <del><gap reason="illegible"/></del> <formula notation="TeX">\geqslant 2</formula>, <hi rend="italic">munies</hi> de plus d'un sommet<supplied resp="#pass"><formula notation="TeX">s</formula></supplied> et d'une orientation en ce sommet i.e. d'une rive du complémentaire <formula notation="TeX">D \setminus \lbrace s \rbrace</formula>
<note type="editorial" resp="#pass">au crayon ; « <formula notation="TeX">D</formula> orientées » et « sont de spécialité » sont écrits au-dessus de la ligne, la seconde insertion au-dessus d'un mot biffé ; la dernière lecture, « <formula notation="TeX">D \setminus \lbrace s \rbrace</formula> », est incertaine</note></p>
<pb n="138" facs="https://grothendieck.umontpellier.fr/154.pdf#page=139"/><p><note type="editorial" resp="#pass">en haut à gauche, un graphe en couleur (flèches orange et vert clair) : quatre sommets <formula notation="TeX">\sigma_1</formula>, <formula notation="TeX">\sigma_2</formula>, <formula notation="TeX">\sigma</formula>, <formula notation="TeX">\sigma_0</formula> et, au milieu des arêtes, les sommets <formula notation="TeX">(\sigma_1, \sigma_2)</formula>, <formula notation="TeX">(\sigma_1, \sigma)</formula>, <formula notation="TeX">(\sigma, \sigma_2)</formula>, <formula notation="TeX">(\sigma_2, \sigma_0)</formula>, <formula notation="TeX">(\sigma, \sigma_0)</formula> et, en haut, <formula notation="TeX">(\sigma_1, \sigma_0)</formula>, relié par un grand arc vert ; chaque sommet-couple reçoit les flèches de ses deux termes et une flèche venue de l'extérieur, marquée du produit correspondant (<formula notation="TeX">\sigma_1\sigma_2</formula>, <formula notation="TeX">\sigma\sigma_1</formula>, <formula notation="TeX">\sigma_0\sigma_2</formula>, <formula notation="TeX">\sigma\sigma_2</formula> en tirets, <formula notation="TeX">\sigma\sigma_0</formula>, <formula notation="TeX">\sigma_1\sigma_0</formula>). En haut à gauche, la suite « <formula notation="TeX">\sigma_1\ \sigma\ \sigma_2\ \sigma_0</formula> ». Le reste de la page est vide</note></p>
<pb n="139" facs="https://grothendieck.umontpellier.fr/154.pdf#page=140"/><p><note type="editorial" resp="#pass">en haut à gauche, un petit dessin : un segment de <formula notation="TeX">-1</formula> à <formula notation="TeX">+1</formula> passant par <formula notation="TeX">0</formula>, les deux moitiés marquées <formula notation="TeX">a^{+}</formula>, <formula notation="TeX">b^{+}</formula> au-dessus et <formula notation="TeX">a^{-}</formula>, <formula notation="TeX">b^{-}</formula> au-dessous ; au-dessous, le même dessin, biffé, et deux flèches</note></p>
<p><unclear><formula notation="TeX">1</formula> sommet</unclear></p>
<p><formula notation="TeX">1</formula> face</p>
<p><formula notation="TeX">2</formula> arêtes</p>
<p><del><formula notation="TeX">2</formula></del> <formula notation="TeX">4</formula> repères, correspondant aux <unclear>rives</unclear> des arêtes <formula notation="TeX">a</formula>, <formula notation="TeX">b</formula>
<note type="editorial" resp="#pass">le premier chiffre de la première ligne est surchargé</note></p>
<p><formula notation="TeX">\sigma_0</formula>, <del><gap reason="illegible"/></del>    <formula notation="TeX">\sigma_0 = \sigma_2</formula> échangent <formula notation="TeX">a^{+}, a^{-}</formula> et <formula notation="TeX">b^{+}, b^{-}</formula></p>
<p><formula notation="TeX">\sigma_1</formula> échange <del><gap reason="illegible"/></del> <formula notation="TeX">a^{+}</formula> et <formula notation="TeX">b^{+}</formula>, <formula notation="TeX">a^{-}</formula> et <formula notation="TeX">b^{-}</formula></p>
<p><formula notation="TeX">\sigma</formula> échange <formula notation="TeX">a^{+}</formula> et <formula notation="TeX">b^{-}</formula>, <formula notation="TeX">b^{+}</formula> et <formula notation="TeX">a^{-}</formula>
<note type="editorial" resp="#pass">à gauche, « <formula notation="TeX">\sigma_1, \sigma, \sigma_2, \sigma_0</formula> », les deux premiers et les deux derniers réunis par une accolade, la seconde marquée d'une lettre lue <formula notation="TeX">\sigma'</formula></note></p>
<p>subdivision barycentrique</p>
<p><formula notation="TeX">\sigma_0 = \sigma_2</formula> soit <formula notation="TeX">\sigma'</formula>, commute à <formula notation="TeX">\sigma</formula></p>
<p><formula notation="TeX">\sigma_1 = \sigma\sigma'</formula>    <del><formula notation="TeX">= \sigma_1\sigma'</formula></del></p>
<p><formula notation="TeX">\sigma_1</formula>
<formula notation="TeX" rend="display">\underbrace{\sigma\sigma'}_{\sigma_1},\ \underbrace{\sigma}_{\sigma},\ \underbrace{\sigma'}_{\sigma_2},\ \underbrace{\sigma'}_{\sigma_0}
\qquad\qquad
\underbrace{\sigma\sigma'}_{\sigma'_0},\ \underbrace{\sigma'}_{\sigma'_1},\ \underbrace{\sigma}_{\sigma'_2}</formula>
<note type="editorial" resp="#pass">sous les deux derniers termes de la première liste, une accolade commune</note></p>
<p><note type="editorial" resp="#pass">dessins au crayon et à l'encre brune : une sphère coupée par un équateur en tirets, les points <formula notation="TeX">-1</formula>, <formula notation="TeX">+1</formula>, <formula notation="TeX">0</formula>, <formula notation="TeX">\infty</formula> et un méridien épais ; au-dessous, une sphère au crayon traversée de méridiens, le point <formula notation="TeX">0</formula> en haut, avec une légende illisible ; au milieu, un ovale brun (moitié en tirets) aux points <formula notation="TeX">0</formula>, <formula notation="TeX">\infty</formula>, <formula notation="TeX">-1</formula>, <formula notation="TeX">+1</formula> ; en haut à droite, deux dômes au crayon aux méridiens marqués, avec les points <formula notation="TeX">-1</formula>, <formula notation="TeX">0</formula>, <formula notation="TeX">+1</formula></note></p>
<pb n="140" facs="https://grothendieck.umontpellier.fr/154.pdf#page=141"/><p><note type="editorial" resp="#pass">grand dessin au crayon et à l'encre, sans texte : un faisceau de pseudo-droites étiquetées de lettres <formula notation="TeX">A, \ldots, G</formula> et de numéros entourés <formula notation="TeX">1, 1', 2, \ldots, 11</formula>, dont les points d'intersection sont nommés <formula notation="TeX">a_0, a_1, \ldots, a_{10}</formula>, <formula notation="TeX">b_1, b_2, \ldots, b_{10}</formula> (avec « <formula notation="TeX">b_{-1} = b_{10}</formula> » en haut), <formula notation="TeX">c_1, c_{11}</formula>, <formula notation="TeX">d_1, d_{11}</formula>, <formula notation="TeX">e_1, e_{10}, e_{11}</formula>, <formula notation="TeX">f_1, f_{11}</formula>, <formula notation="TeX">g_1, g_{11}</formula> ; des bandes hachurées et en tirets suivent les pseudo-droites, et trois triangles sont noircis. À droite, un quadrillage de droites <formula notation="TeX">A, \ldots, G</formula> (verticales) et <formula notation="TeX">1, \ldots, 5</formula> (horizontales), avec des diagonales tracées sur les colonnes <formula notation="TeX">D</formula> à <formula notation="TeX">G</formula> ; au-dessus, une double ligne fléchée numérotée <formula notation="TeX">1</formula>, <formula notation="TeX">2</formula> ; et deux petits croquis de droites qui se coupent</note></p>
      </div>
    </body>
  </text>
</TEI>
