<?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 141–160 — 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 141 à 160 de la cote, dans la
            numérotation des archivistes (crayon, en bas à gauche de chaque
            page) ; lot 8 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="8">
<pb n="141" facs="https://grothendieck.umontpellier.fr/154.pdf#page=142"/><p><note type="editorial" resp="#pass">page de dessins au crayon et à l'encre : deux fuseaux allongés (bigones) traversés de pseudo-droites, l'un en haut à gauche, l'autre en bas à droite ; au milieu, une longue droite marquée <formula notation="TeX">D</formula> et <formula notation="TeX">D'</formula> (plusieurs fois), coupée de croisements, un chemin brisé en zigzag qui la longe, des hachures le long de la droite ; à gauche, un disque traversé d'arcs qui se croisent (une sorte de fuseau à sommets marqués) et un grand disque traversé de pseudo-droites ; en haut à droite, des arrangements de droites au crayon ; un rectangle au crayon</note></p>
<p><formula notation="TeX">(n-1)(n-2)</formula>
<note type="editorial" resp="#pass">écrit au crayon sous le disque de gauche, souligné, avec un « <formula notation="TeX">n</formula> » à gauche au-dessous et un « <formula notation="TeX">2</formula> » au-dessous</note>
<formula notation="TeX" rend="display">\frac{1}{2}\,\frac{n(n-1)}{2}\left(\frac{n(n-1)}{2} - 1\right) - \frac{n(n-1)(n-2)}{2} = {}\struck{\ill{}} \sim \frac{1}{8}\,n^4</formula></p>
<p>p.r. stable</p>
<p>p.r. sous-stables</p>
<p>p.r. <hi rend="italic">critiques</hi> (ou <unclear>minimales</unclear> <unclear>pour</unclear> la <unclear>spécialisation</unclear>)
<note type="editorial" resp="#pass">en bas à droite, au crayon, sous le second fuseau</note></p>
<pb n="142" facs="https://grothendieck.umontpellier.fr/154.pdf#page=143"/><p><note type="editorial" resp="#pass">page de dessins à l'encre. En haut à gauche, un rectangle partagé par deux droites horizontales, les colonnes marquées en haut <formula notation="TeX">A\,B\,C\,D\,E\,F\,G\,H</formula> (flèche vers la droite) et en bas <formula notation="TeX">H\,G\,F\,E\,D\,C\,B\,A</formula> (lecture de l'avant-dernière lettre incertaine), une flèche vers le bas à gauche. Au milieu, un arbre binaire de flèches issu de <formula notation="TeX">D\,E\,F\,G</formula> ; un fuseau allongé traversé de droites ; un croisement de deux droites sur deux horizontales. En haut à droite, un diagramme en « fils » : sept fils verticaux <formula notation="TeX">A, B, C, D, E, F, G</formula> qui se croisent deux à deux, sur un réseau de lignes horizontales numérotées à droite <formula notation="TeX">1</formula> à <formula notation="TeX">11</formula> et à gauche <formula notation="TeX">1'</formula> à <formula notation="TeX">9'</formula> ; en bas, l'ordre d'arrivée <formula notation="TeX">G\,A\,E\,D\,C\,F\,B</formula>. En bas à droite, le même principe sur un quadrillage, colonnes <formula notation="TeX">A</formula> à <formula notation="TeX">G</formula>, lignes <formula notation="TeX">1</formula> à <formula notation="TeX">11</formula>, l'arrivée marquée <formula notation="TeX">G\,A</formula>. En bas au milieu, un cylindre dont le bord supérieur porte <formula notation="TeX">G, F, E, D</formula> et <formula notation="TeX">A, B, C</formula>, le bord inférieur <formula notation="TeX">D, E, F</formula> et <formula notation="TeX">B, A, G</formula></note></p>
<pb n="143" facs="https://grothendieck.umontpellier.fr/154.pdf#page=144"/><p><note type="editorial" resp="#pass">croquis au crayon et à l'encre, sans texte : des arrangements de trois ou quatre droites qui se coupent, certaines en étoile autour d'un point ; à gauche et à droite, des chemins en tirets (bruns, verts) qui longent un segment épais entre deux croisements</note></p>
<pb n="144" facs="https://grothendieck.umontpellier.fr/154.pdf#page=145"/><p><note type="editorial" resp="#pass">à gauche, un arbre de flèches : <formula notation="TeX">D, E, F, G</formula> en haut, puis les couples <formula notation="TeX">DE</formula>, <formula notation="TeX">FG</formula>, <formula notation="TeX">DG</formula>, <formula notation="TeX">EG</formula>, <formula notation="TeX">CG</formula>, <formula notation="TeX">BG</formula>, <formula notation="TeX">AG</formula>, les flèches descendant jusqu'à une ligne de six flèches ; chaque couple est relié par un trait à la ligne correspondante de la colonne de droite, où le couple qui se croise est souligné d'une accolade</note>
<formula notation="TeX" rend="display">\begin{array}{ll}
\struck{A\,B\,C\,D\,E\,F\,G} &amp; \\
A\,B\,C\,D\,E\,F\,G \quad \struck{A\,B\,C\,E\,D\,G\,F} &amp; 1' \\
A\,B\,C\,E\,D\,G\,F &amp; 2' \\
A\,B\,C\,E\,G\,D\,F &amp; 3' \\
A\,B\,C\,G\,E\,D\,F &amp; 4' \\
A\,B\,G\,C\,E\,D\,F &amp; 5' \\
A\,G\,B\,C\,E\,D\,F &amp; 6' \\
(A\,G)\,C\,B\,E\,D\,F &amp; 7' \\
(A\,G)\,C\,E\,B\,D\,F &amp; 8' \\
(A\,G)\,E\,C\,D\,B\,F &amp; 9' \\
G\,A\,E\,D\,C\,F\,B &amp;
\end{array}</formula>
<note type="editorial" resp="#pass">les numéros <formula notation="TeX">1'</formula> à <formula notation="TeX">9'</formula> sont écrits à droite, un peu décalés vers le bas ; les couples lus <formula notation="TeX">(A\,G)</formula> des lignes <formula notation="TeX">7'</formula> à <formula notation="TeX">9'</formula> sont entourés, le premier surchargé ; les couples qui vont se croiser sont soulignés ; dans la dernière ligne, les lettres <formula notation="TeX">D</formula>, <formula notation="TeX">C</formula>, <formula notation="TeX">F</formula> sont surchargées. À droite, un diagramme de fils sur des lignes numérotées <formula notation="TeX">5'</formula> à <formula notation="TeX">11'</formula> ; en bas, trois arrangements de droites en réseau losangé, l'un traversé de lignes en tirets ; en haut à droite, une droite coupée de deux autres</note></p>
<pb n="145" facs="https://grothendieck.umontpellier.fr/154.pdf#page=146"/><p><note type="editorial" resp="#pass">grand dessin à l'encre et au crayon : un disque dont le bord porte les extrémités de sept pseudo-droites <formula notation="TeX">A, B, C, D, E, F, G</formula> (chacune deux fois), un faisceau de fines courbes au crayon qui joignent deux points opposés du bord (un balayage), et un chemin de flèches brunes numérotées <formula notation="TeX">1</formula> à <formula notation="TeX">19</formula> qui passe de croisement en croisement ; les deux extrémités <formula notation="TeX">E</formula>, <formula notation="TeX">D</formula>, <formula notation="TeX">C</formula> du côté droit sont fléchées. En haut à droite, des croquis de droites. En bas, deux diagrammes de fils : à gauche, les fils partent dans l'ordre <formula notation="TeX">D\,F\,B\,E\,G\,C\,A</formula> et arrivent dans l'ordre <formula notation="TeX">G\,F\,E\,D\,C\,B\,A</formula>, sur des lignes numérotées <formula notation="TeX">12</formula> à <formula notation="TeX">19</formula> ; à droite, les fils <formula notation="TeX">A\,B\,C\,D\,E\,F\,G</formula> (numérotés au-dessus <formula notation="TeX">1</formula> à <formula notation="TeX">6</formula> entre les fils) sur des lignes numérotées <formula notation="TeX">1</formula> à <formula notation="TeX">12</formula>, une ligne en tirets entre <formula notation="TeX">4</formula> et <formula notation="TeX">5</formula></note></p>
<p><formula notation="TeX">2 \quad 5 \quad 7 \quad 3 \quad 3 \quad 2</formula>
<note type="editorial" resp="#pass">au-dessus du diagramme de droite, entre deux traits</note></p>
<p><formula notation="TeX" rend="display">\sigma_3,\ \sigma_4,\ \sigma_5,\ \sigma_2,\ \sigma_6,\ \sigma_1,\ \sigma_5,\ \sigma_3,\ \sigma_6,\ \ill{},\ \sigma_3\ \sigma_5,\ \sigma_2\ \sigma_6,\ \ill{}</formula>
<note type="editorial" resp="#pass">colonne des générateurs, à droite du diagramme de fils de droite, en face des lignes <formula notation="TeX">1</formula> à <formula notation="TeX">12</formula> (<formula notation="TeX">\sigma_2, \sigma_6</formula> en face des lignes <formula notation="TeX">4</formula> et <formula notation="TeX">5</formula>) : à chaque ligne, le croisement entre les fils de rangs <formula notation="TeX">i</formula> et <formula notation="TeX">i+1</formula> est noté <formula notation="TeX">\sigma_i</formula>. À partir de la ligne <formula notation="TeX">9</formula>, la colonne est surchargée et en partie noyée dans une tache d'encre ; le neuvième terme, lu <formula notation="TeX">\sigma_6</formula>, et les derniers, écrits en deux colonnes, sont d'une lecture incertaine. Le diagramme de gauche porte une colonne semblable, illisible</note></p>
<pb n="146" facs="https://grothendieck.umontpellier.fr/154.pdf#page=147"/><p><note type="editorial" resp="#pass">quatre disques au crayon et à l'encre, sans texte : un disque traversé de pseudo-droites qui se croisent ; un cercle vide ; un disque dont deux points opposés du bord sont joints par un faisceau dense de courbes brunes ; un disque traversé de courbes enchevêtrées ; un disque traversé de quelques droites entre deux points marqués du bord</note></p>
<pb n="147" facs="https://grothendieck.umontpellier.fr/154.pdf#page=148"/><p><note type="editorial" resp="#pass">grand dessin à l'encre et au crayon : un disque aux deux pôles marqués (en haut et en bas), joints par un faisceau de fines courbes (un balayage), traversé de pseudo-droites ; un réseau de flèches (noires et brunes) va de croisement en croisement, les sommets numérotés de <formula notation="TeX">1</formula> à <formula notation="TeX">19</formula> ; plusieurs numéros sont groupés et entourés : « <formula notation="TeX">1, 2, 3, 4</formula> » en haut à gauche, « <formula notation="TeX">18, 19</formula> » (deux fois), « <formula notation="TeX">15, 16</formula> », « <formula notation="TeX">10, 11</formula> », « <formula notation="TeX">12, 20</formula> » (lecture incertaine) ; en haut à droite, « <formula notation="TeX">17 = 1</formula> ». Des régions hachurées au bord. En bas à droite, un petit disque au crayon rempli d'un réseau de flèches ; en haut à droite, un croisement de trois droites sur une droite hachurée</note></p>
<pb n="148" facs="https://grothendieck.umontpellier.fr/154.pdf#page=149"/><p><note type="editorial" resp="#pass">croquis au crayon et à l'encre, sans texte : un arrangement de cinq droites (en étoile) ; un disque aux deux pôles marqués, joints par un faisceau de courbes, traversé de pseudo-droites aux croisements marqués, des coins hachurés ; un réseau de flèches au crayon ; en bas, une droite en tirets qui passe par des croisements de droites, un croisement marqué d'un gros point et d'une petite flèche de rotation</note></p>
<pb n="149" facs="https://grothendieck.umontpellier.fr/154.pdf#page=150"/><p><note type="editorial" resp="#pass">croquis au crayon et à l'encre, sans texte : en haut, deux fuseaux allongés enfilés sur une droite ; au milieu, une droite brune passant par trois croisements en étoile, et un fuseau ; en bas, un arrangement de droites dont deux en tirets (vert et brun), trois croisements marqués ; un petit graphe en losange dans un ovale ; des segments isolés</note></p>
<pb n="150" facs="https://grothendieck.umontpellier.fr/154.pdf#page=151"/><p><formula notation="TeX">\underline{\Sigma} = (X, \Sigma)</formula>, d'où surface cellulaire des positions relatives <formula notation="TeX">X^{*} = \uncertain{\mathrm{Rel}}(\underline{\Sigma})</formula>.
<note type="editorial" resp="#pass">le nom du foncteur, lu « Rel », est surchargé ; l'exposant de <formula notation="TeX">X</formula> est une étoile, ici et dans toute la page</note></p>
<p>Soit un sommet <formula notation="TeX">\rho</formula> <add>de</add> <formula notation="TeX">X^{*}</formula>, correspondant à une position relative critique, <del>A</del> <formula notation="TeX">D_\rho</formula>, soit <formula notation="TeX">S_\rho = D_\rho \cap S(\Sigma)</formula>. (Une orientation <del><formula notation="TeX">\varpi</formula></del> de <formula notation="TeX">X^{*}</formula> en <formula notation="TeX">\rho</formula> correspond à <del><gap reason="illegible"/></del> une orientation <formula notation="TeX">\varpi_\rho</formula> de <formula notation="TeX">D_\rho</formula>.)
<note type="editorial" resp="#pass">la phrase entre parenthèses est écrite dans l'interligne, sous la précédente ; « <formula notation="TeX">\rho</formula> » est ajouté au-dessus de « sommet », « <formula notation="TeX">\varpi_\rho</formula> » au-dessus de la fin de la ligne</note></p>
<p>Alors les <del><gap reason="illegible"/></del> arêtes sortant de <formula notation="TeX">\rho</formula> <add>de</add> <formula notation="TeX">X^{*}</formula> correspondent aux <del><gap reason="illegible"/></del> éléments <add><formula notation="TeX">(s, \omega)</formula></add> de <formula notation="TeX">S_\rho</formula>, munis d'une orientation, [soit <formula notation="TeX">\vec{a}_{s,\omega}</formula> l'arête]. À un tel couple <formula notation="TeX">(s, \omega)</formula> correspond la p.r. sous-stable <formula notation="TeX">(D_{\rho,s,\omega})</formula><del>, <gap reason="illegible"/></del>, <del>qui pourra être <gap reason="illegible"/> <gap reason="illegible"/> <gap reason="illegible"/></del> <del><gap reason="illegible"/> la <unclear>génér.</unclear> <formula notation="TeX">(\rho, \ill{}\,\omega)</formula> correspondante : p.r. stable</del> <formula notation="TeX">\to</formula> à l'arête <formula notation="TeX">a_{s,\omega}</formula> sous-jacente à <formula notation="TeX">\vec{a}_{s,\omega}</formula> ; soit <formula notation="TeX">b_{s,\omega}</formula> l'arête <unclear>opposée</unclear>, orientée de façon que <formula notation="TeX">(\vec{a}_{s,\omega}, \vec{b}_{s,\omega})</formula> soit <unclear>directe</unclear> pour <formula notation="TeX">\varpi</formula>, donc <formula notation="TeX">\vec{b}_{s,\omega}</formula> va d'une p.r. <hi rend="italic">stable</hi> vers une autre — c'est le passage de la générisation de <formula notation="TeX">D_{s,\omega}</formula> en <formula notation="TeX">s</formula> « <unclear>très</unclear> <unclear>écartée</unclear> » vers la gén. <gap reason="illegible"/> <del><unclear>gauche</unclear></del> <add>droite</add>.
<note type="editorial" resp="#pass">« <formula notation="TeX">(s, \omega)</formula> » est écrit au-dessus de « éléments » ; « soit <formula notation="TeX">\vec{a}_{s,\omega}</formula> l'arête » est ajouté au-dessus de la ligne et renvoyé par une accolade ; les deux lignes biffées qui suivent <formula notation="TeX">(D_{\rho,s,\omega})</formula> sont barrées de deux grands traits obliques ; « droite » est écrit au-dessus du dernier mot biffé</note></p>
<p><note type="editorial" resp="#pass">à gauche, un dessin : une droite fléchée <formula notation="TeX">D_\rho</formula> coupée d'autres droites en un sommet <formula notation="TeX">s</formula>, l'orientation <formula notation="TeX">\omega</formula> marquée par une petite flèche de rotation, et deux chemins en tirets (brun et vert) qui la longent, l'un fléché et marqué <formula notation="TeX">D_{\rho,s,\omega}</formula> ; au-dessous, <formula notation="TeX">\vec{\omega}_{D_\rho}</formula>. À droite, un petit dessin : au sommet <formula notation="TeX">\rho = \rho_D</formula>, une flèche épaisse <formula notation="TeX">\vec{a}_{s,\omega} = \vec{a}</formula>, l'orientation <formula notation="TeX">\varpi = \varpi_\rho</formula> et un contour en tirets fléché ; plus à droite, une arête <formula notation="TeX">a = a_L</formula> entre deux faces <formula notation="TeX">F_{\Delta'}</formula> et <formula notation="TeX">F_{\Delta}</formula>, avec les orientations <formula notation="TeX">\omega_a</formula> et <formula notation="TeX">\varpi_a</formula> ; au-dessous, une droite <formula notation="TeX">L</formula> fléchée (<formula notation="TeX">\omega_L</formula>) passant par un sommet où est marquée l'orientation <formula notation="TeX">\omega_s</formula></note></p>
<p>La difficulté conceptuelle n'est pas dans l'étude locale de <formula notation="TeX">X^{*}</formula> au voisinage de <formula notation="TeX">\rho</formula>, i.e. au voisinage de <formula notation="TeX">D</formula>, mais dans l'étude locale de <formula notation="TeX">X^{*}</formula> au voisinage d'une face, correspondant à une p.r. stable <formula notation="TeX">\Delta</formula>, mais dans la description de <formula notation="TeX">X^{*}</formula> au voisinage d'une <hi rend="italic">arête</hi> <add><formula notation="TeX">a_L</formula></add>, correspondant à une position r. semi-stable donnée, soit <formula notation="TeX">L</formula>. Il y a un peu de difficulté : <unclear>voir</unclear> les faces incidentes <del>la face <formula notation="TeX">F</formula></del> à <formula notation="TeX">a_L</formula>, et leur circuit des arêtes (contenant <formula notation="TeX">a_L</formula>), mais pas <gap reason="illegible"/> : <gap reason="illegible"/> les deux <add>(?)</add> sommets incidents à <formula notation="TeX">a_L</formula>.
<note type="editorial" resp="#pass">les deux « mais » sont lus tels qu'ils sont écrits ; « <formula notation="TeX">a_L</formula> » est ajouté au-dessus de « arête », « (?) » au-dessus de « deux » ; la phrase continue en haut de la colonne de droite</note></p>
<p>Notons que la donnée d'une orientation superficielle le long de <formula notation="TeX">a_L</formula> revient à celle d'une orientation de <formula notation="TeX">L</formula>, celle d'une orientation de <formula notation="TeX">a_L</formula> à celle d'une orientation superficielle en le <del>pt</del> sommet <formula notation="TeX">s \in S_L</formula>, donc une <hi rend="italic">rive</hi> de <formula notation="TeX">L</formula><del><gap reason="illegible"/></del> en <formula notation="TeX">s</formula> revient à celle d'une rive de <formula notation="TeX">a</formula>, i.e. d'une des faces incidentes.</p>
<p>Il s'agirait donc, en termes de <formula notation="TeX">(L, \omega_s)</formula>, de <gap reason="illegible"/> <gap reason="illegible"/> le sommet extrémité de <formula notation="TeX">\vec{a} = (a, \omega_a)</formula>, <del>sans doute</del> <unclear>si</unclear> possible en termes d'une position relative critique, déduite de la p.r. « <unclear>bloquée</unclear> » autour de <formula notation="TeX">s</formula>, dans le sens indiqué par l'orientation <formula notation="TeX">\omega_s</formula>, i.e. par la rive correspondante de <formula notation="TeX">L - \lbrace s \rbrace</formula>. L'ennui, c'est qu'il y a plusieurs choix naturels qui viennent à l'esprit, et qu'il n'est pas sûr qu'aucun de ces <gap reason="illegible"/> <unclear>ne</unclear> <unclear>marche</unclear> !</p>
<pb n="151" facs="https://grothendieck.umontpellier.fr/154.pdf#page=152"/><p><note type="editorial" resp="#pass">page de dessins à l'encre et au crayon, sans texte : une vingtaine de disques traversés de pseudo-droites (brunes, noires, vertes), certains arcs du bord renforcés en vert ; dans plusieurs disques, les régions sont marquées alternativement de deux signes, l'un en forme de <formula notation="TeX">\varepsilon</formula>, l'autre en forme de chiffre <formula notation="TeX">3</formula> à longue queue (un coloriage en deux classes, semble-t-il) ; dans un disque, une étoile de trois droites jaunes et noires, deux d'entre elles hachurées, un triangle central hachuré ; un disque divisé en secteurs par huit rayons ; des pentagones ; de petits disques verts ; deux longues droites au crayon traversent la page en croix</note></p>
<pb n="152" facs="https://grothendieck.umontpellier.fr/154.pdf#page=153"/><p><note type="editorial" resp="#pass">en haut, deux dessins de fuseaux : l'un au crayon, traversé de pseudo-droites, avec deux flèches noires d'un bord à l'autre ; l'autre en couleur, bordé d'orange, rempli de courbes vertes et de tirets bruns qui joignent les deux pointes, traversé d'un réseau de droites brunes qui se croisent en losanges, avec de petites flèches aux croisements</note></p>
<p><hi rend="italic">NB</hi> Même une fois complété par les fuseaux adjacents, le <gap reason="illegible"/> en flèches <gap reason="illegible"/> <gap reason="illegible"/> <gap reason="illegible"/> (car il y a <gap reason="illegible"/> <gap reason="illegible"/> connexion.
<note type="editorial" resp="#pass">colonne de droite, sous le dessin en couleur ; « NB » est souligné en brun ; la lecture de ce passage est très incertaine</note></p>
<p>Types de fuseaux :</p>
<p>1) couloirs : les deux rives <del>sont</del> <add>bords</add> des fuseaux supercritiques (ou fuseaux <del><unclear>bi-supercritiques</unclear></del>)</p>
<p><unclear>3)</unclear> semi-couloirs : une et une seule des deux rives est supercritique ;</p>
<p>3) fuseaux <hi rend="italic">ordinaires</hi> <del><gap reason="illegible"/></del></p>
<p><unclear>f. terminaux</unclear> (<gap reason="illegible"/> <del>ou f. critiques</del> <gap reason="illegible"/>)
<note type="editorial" resp="#pass">« bords » est écrit au-dessus du mot biffé ; le numéro du deuxième alinéa se lit « 3) », comme celui du troisième ; au-dessous du troisième, un mot biffé, lu « ordinaires ». Les mots « <unclear>f. terminaux</unclear> » et la parenthèse qui suit sont écrits à gauche, sous « Types de fuseaux », reliés par une grande courbe à la parenthèse du premier alinéa</note></p>
<p><del>ordinaire</del></p>
<p>Fuseau : comp. connexe <formula notation="TeX">C</formula> déterminée par deux ps. droites <formula notation="TeX">D, D'</formula> (qui peuvent être <formula notation="TeX">\in \Sigma</formula>) telles que <del>1) <formula notation="TeX">D \neq D'</formula></del> :</p>
<p>a) <formula notation="TeX">\Sigma \cup \lbrace D, D' \rbrace = \Sigma'</formula> syst. de ps. dr.</p>
<p>b) <formula notation="TeX">D \neq D'</formula> <del><gap reason="illegible"/></del> et <gap reason="illegible"/> <formula notation="TeX">= D \cap D'</formula> sont des sommets de <formula notation="TeX">\Sigma</formula></p>
<p>c) <formula notation="TeX">C</formula> est un couloir de <formula notation="TeX">\Sigma'</formula> <del><gap reason="illegible"/></del> !</p>
<p>d) <formula notation="TeX">D</formula> et <formula notation="TeX">D'</formula> sont critiques pour <formula notation="TeX">\Sigma</formula>
<note type="editorial" resp="#pass">« <formula notation="TeX">= \Sigma'</formula> » est écrit au-dessus de la ligne a), rattaché par une accolade à « syst. de ps. dr. » ; le « <formula notation="TeX">C</formula> » de la première ligne est écrit dans la marge droite</note></p>
<p>d) signifie aussi que <del>tt triangle</del> de contraction sur la « rive <hi rend="italic">libre</hi> » de <formula notation="TeX">D</formula> ou <formula notation="TeX">D'</formula> est réduit à un sommet, et qu'à l'intérieur du fuseau, chaque sommet <del><gap reason="illegible"/></del> d'une rive est relié à un sommet sur l'autre (cas <formula notation="TeX">\Sigma</formula> de type I ou II), sauf dans les cas triviaux, un fuseau est déterminé par les (classes d'isotopie) de ses rives.
<note type="editorial" resp="#pass">colonne de gauche, sous le troisième dessin ; au-dessus de « triangle » biffé, un mot illisible. Le troisième dessin, au crayon : un fuseau entre les deux pseudo-droites <formula notation="TeX">D</formula> et <formula notation="TeX">D'</formula>, coupé de droites, et un chemin brun en zigzag qui va d'une rive à l'autre de croisement en croisement</note></p>
<p>Chaque fuseau détermine une p.r. sous-stable, et inversement. Corr. <formula notation="TeX">1</formula>-<formula notation="TeX">1</formula> entre ((classes d'isotop. des) <unclear>fus.</unclear>) dans <formula notation="TeX">X</formula> et p.r. sous-stables).
<note type="editorial" resp="#pass">colonne de droite, en bas ; la parenthèse intérieure est écrite au-dessus de la ligne</note></p>
<pb n="153" facs="https://grothendieck.umontpellier.fr/154.pdf#page=154"/><p><note type="editorial" resp="#pass">en haut, au crayon, deux dessins : un fuseau dont le sommet de droite est traversé de droites marquées <formula notation="TeX">\Delta_1</formula>, <formula notation="TeX">\Delta_\nu</formula>, <formula notation="TeX">\Delta_3</formula> ; un chapelet de deux fuseaux sur une droite, deux flèches brunes au sommet commun et au sommet de droite</note></p>
<p>Soit <formula notation="TeX">D</formula> position relative non principale, <formula notation="TeX">S_D</formula> <add><formula notation="TeX">= D \cap S</formula></add> (<del>l'ens.</del>) des sommets multiples de <formula notation="TeX">D</formula> (<formula notation="TeX">\operatorname{card} S_D \geqslant 2</formula>).</p>
<p>1) Toute position relative principale <add>(donc critique)</add> qui passe par <formula notation="TeX">S_D</formula> est-elle une spécialisation de <formula notation="TeX">D</formula> ?</p>
<p>Pour celles <add><formula notation="TeX">D' = D'_S</formula></add> qui (sont des spécialisations de <formula notation="TeX">D</formula>, <unclear>i.e.</unclear> elles ne sont pas supercritiques), à chacune d'elles est associé un syst. de flèches d'incidence <unclear>aux</unclear> <formula notation="TeX">\Delta_s</formula> (<formula notation="TeX">s \in S_{D'} \setminus S_D</formula>) qui « passent » par <formula notation="TeX">s</formula>, et ne sont pas parallèles à <gap reason="illegible"/> (<formula notation="TeX">s \notin S_D</formula>). Pour un <formula notation="TeX">S</formula> donné, un système de flèches <gap reason="illegible"/> détermine <gap reason="illegible"/> <formula notation="TeX">D</formula>.
<formula notation="TeX" rend="display">\prod_{s \in S_{D'} \setminus S_D} \mathcal{E}_{D',s}</formula>
<note type="editorial" resp="#pass">les additions « <formula notation="TeX">= D \cap S</formula> », « (donc critique) » et « <formula notation="TeX">D' = D'_S</formula> » sont écrites au-dessus des lignes ; la lettre lue <formula notation="TeX">\mathcal{E}</formula> est surchargée</note></p>
<p>Il y a aussi le système des <del><gap reason="illegible"/></del> <add>p.r. stables</add> qui généralisent <formula notation="TeX">D</formula>,</p>
<p>Les générisations stables de <formula notation="TeX">D</formula> correspondent aux sommets d'un cube <del><gap reason="illegible"/></del> de dimension <formula notation="TeX">\nu</formula>, dont les arêtes sont les générisations sous-stables, et la relation d'incidence entre sommets et arêtes est la relation de spécialis<supplied resp="#pass">ation</supplied>.</p>
<p>Produit des diagonales d'un polygone <add>convexe</add> <gap reason="illegible"/> <del>de degré</del> <formula notation="TeX">2\nu</formula></p>
<p><formula notation="TeX">2^{\nu}</formula> sommets, <formula notation="TeX">\nu 2^{\nu - 1}</formula> arêtes
<note type="editorial" resp="#pass">colonne de droite ; l'exposant du premier <formula notation="TeX">2</formula> est surchargé. En bas, trois dessins : une étoile de trois droites au crayon ; la projection d'un cube (hexagone à sommets marqués) entourée de deux ellipses brunes ; un cercle portant huit petites marques</note></p>
<pb n="154" facs="https://grothendieck.umontpellier.fr/154.pdf#page=155"/><p><note type="editorial" resp="#pass">en haut, trois esquisses au crayon très pâles d'une bande qui s'élargit (sans étiquettes)</note></p>
<p>balayages élémentaires des positions relatives</p>
<p><note type="editorial" resp="#pass">trois dessins, marqués au crayon <formula notation="TeX">(\mathrm{I}_1)</formula>, <formula notation="TeX">(\mathrm{I}_2)</formula>, <formula notation="TeX">(\mathrm{I}_3)</formula> : une droite verte horizontale (la position de départ), bordée de deux courbes brunes numérotées <formula notation="TeX">1</formula> (au-dessous) et <formula notation="TeX">2</formula> (au-dessus), entre deux traits verticaux en tirets ; au crayon, des faisceaux de droites de <formula notation="TeX">\Sigma</formula> passant par des sommets marqués. Dans <formula notation="TeX">(\mathrm{I}_1)</formula>, la courbe <formula notation="TeX">2</formula> fait une bosse en tirets pour passer par le sommet <formula notation="TeX">a</formula> ; dans <formula notation="TeX">(\mathrm{I}_2)</formula>, les deux courbes s'écartent en un fuseau, <formula notation="TeX">2</formula> passant par <formula notation="TeX">a</formula> en haut et <formula notation="TeX">1</formula> par <formula notation="TeX">b</formula> en bas, une flèche double brune de <formula notation="TeX">b</formula> à <formula notation="TeX">a</formula> ; dans <formula notation="TeX">(\mathrm{I}_3)</formula>, <formula notation="TeX">2</formula> passe par <formula notation="TeX">a</formula> et <formula notation="TeX">b</formula>, <formula notation="TeX">1</formula> par <formula notation="TeX">c</formula>, un chemin de flèches brunes <formula notation="TeX">a</formula>, <formula notation="TeX">c</formula>, <formula notation="TeX">b</formula>. Chaque dessin est suivi d'une accolade et d'un texte</note></p>
<p><formula notation="TeX">(\mathrm{I}_1)</formula> pas d'autre sommet de <formula notation="TeX">\Sigma</formula> ici que <formula notation="TeX">a</formula>, ni d'autres traces des droites de <formula notation="TeX">\Sigma</formula> que <del><gap reason="illegible"/></del> celles marquées (passant par <formula notation="TeX">a</formula>).</p>
<p><hi rend="italic">asymétriques</hi>, la position <formula notation="TeX">1</formula>, n'est pas <del><unclear>générique</unclear></del> p.r. critique</p>
<p><formula notation="TeX">(\mathrm{I}_2)</formula> pas d'autres sommets de <formula notation="TeX">\Sigma</formula> que <formula notation="TeX">a</formula> et <formula notation="TeX">b</formula>, ni d'autres traces des droites de <formula notation="TeX">\Sigma</formula> que celles marquées (passant par <formula notation="TeX">a, b</formula>)</p>
<p><hi rend="italic">symétriques</hi>, la position <formula notation="TeX">1</formula> est critique ssi la position <formula notation="TeX">2</formula> l'est</p>
<p><formula notation="TeX">(\mathrm{I}_3)</formula> pas d'autres sommets de <formula notation="TeX">\Sigma</formula> ici que <formula notation="TeX">a, b, c</formula>, ni d'autres traces de droites de <formula notation="TeX">\Sigma</formula> que celles marquées (passant par <formula notation="TeX">a, b, c</formula>))</p>
<p><hi rend="italic">asymétriques</hi>, néanmoins <formula notation="TeX">1</formula> est critique ssi <formula notation="TeX">2</formula> l'est</p>
<p><note type="editorial" resp="#pass">sous les trois textes, une grande accolade qui les réunit, puis :</note>
balayages élémentaires des p.r. critiques à une <gap reason="illegible"/>
<note type="editorial" resp="#pass">le premier mot de « élémentaires » est surchargé</note></p>
<p><formula notation="TeX">(\mathrm{I}_n)</formula>    <formula notation="TeX">(n = 7)</formula></p>
<p>Cas asymétrique car <formula notation="TeX">n</formula> impair
<note type="editorial" resp="#pass">à gauche, le dessin correspondant : la même bande, les deux courbes brunes passant alternativement par sept sommets, quatre en haut et trois en bas (lecture du nombre incertaine), reliés par des faisceaux de droites au crayon qui dessinent des zigzags</note></p>
<pb n="155" facs="https://grothendieck.umontpellier.fr/154.pdf#page=156"/><p><note type="editorial" resp="#pass">page de dessins au crayon et à l'encre brune et verte, dans les conventions de la page 154 : en haut, un fuseau brun bordé de droites qui se croisent en losanges, et au-dessous un fuseau au crayon ; au milieu, des croisements de droites, un fuseau au crayon parcouru d'un zigzag brun entre ses deux rives (sept sommets) ; une courbe brune qui s'abaisse en tirets pour passer par un sommet ; une bosse brune et verte sur une droite en tirets ; en bas, quatre dessins de bandes : une droite verte bordée de deux courbes brunes qui s'écartent en bosses pour passer par des sommets (un en haut, un en bas ; puis un en haut, deux en bas), et un petit fuseau avec deux flèches opposées</note></p>
<p>pas d'autres sommets de <formula notation="TeX">\Sigma</formula> que <formula notation="TeX">a</formula></p>
<p>pas d'autres sommets de <formula notation="TeX">\Sigma</formula> que <formula notation="TeX">b</formula> et <formula notation="TeX">c</formula>
<note type="editorial" resp="#pass">en bas à droite, deux légendes reliées par des accolades au dernier dessin : un fuseau brun autour de la droite verte, la rive supérieure passant par <formula notation="TeX">a</formula>, l'inférieure par <formula notation="TeX">b</formula> et <formula notation="TeX">c</formula>, avec une flèche vers le haut et une vers le bas ; la première légende est au-dessus du dessin, la seconde au-dessous</note></p>
<pb n="156" facs="https://grothendieck.umontpellier.fr/154.pdf#page=157"/><p><formula notation="TeX" rend="display">\begin{array}{ll}
\rho_s = \sigma_2 \sigma_1 &amp; \sigma_1 \\
\rho_f = \sigma_1 \sigma_0 &amp; \sigma_1 = \rho_f^{\,\sigma_0} \\
\rho_s \rho_f = \sigma &amp;
\end{array}</formula>
<note type="editorial" resp="#pass">en haut à gauche ; la lecture des indices <formula notation="TeX">s</formula> et <formula notation="TeX">f</formula> de <formula notation="TeX">\rho</formula> est incertaine</note></p>
<p><note type="editorial" resp="#pass">au-dessous, un croquis au crayon : deux droites <formula notation="TeX">D</formula>, <formula notation="TeX">D'</formula> et une troisième <formula notation="TeX">\Delta_s</formula> qui se coupent ; les orientations <formula notation="TeX">\alpha</formula> (le long de la droite), <formula notation="TeX">\beta</formula> (transverse) et <formula notation="TeX">\omega</formula> (rotation), et les marques <formula notation="TeX">\sigma_D</formula>, <formula notation="TeX">\sigma_{D'}</formula> aux extrémités d'une flèche transverse</note></p>
<p><formula notation="TeX">\alpha, \beta, \omega</formula> associés</p>
<p><note type="editorial" resp="#pass">en bas à gauche, un dessin en couleur : deux droites orange qui se croisent en un point <formula notation="TeX">s</formula> ; une droite vert clair en tirets <formula notation="TeX">D_0</formula>, fléchée, passant par <formula notation="TeX">s</formula>, entre deux droites vert clair <formula notation="TeX">D'</formula> (au-dessus, fléchée <formula notation="TeX">\omega^{*}</formula>) et <formula notation="TeX">D</formula> (au-dessous) ; les orientations <formula notation="TeX">\alpha^{*}</formula> (rotation) et <formula notation="TeX">\beta^{*}</formula> (flèche brune transverse) ; le triangle marqué <formula notation="TeX">T</formula> sous le croisement</note></p>
<p><formula notation="TeX">\alpha^{*}, \beta^{*}, \omega^{*}</formula> <hi rend="italic">non</hi> associés</p>
<p><formula notation="TeX">\omega^{*} = - \alpha^{*} \wedge \beta^{*}</formula></p>
<p><formula notation="TeX">\omega = \alpha \wedge \beta</formula></p>
<p><formula notation="TeX" rend="display">\begin{array}{lcl}
(D_0, \beta^{*}, \omega^{*}) &amp; \overset{\sigma}{\longmapsto} &amp; (D_0, -\beta^{*}, \omega^{*}) \\[2pt]
(D_0, \beta^{*}, \omega^{*}) &amp; \overset{\sigma_0}{\longmapsto} &amp; (D_0, \beta^{*}, -\omega^{*}) \\[2pt]
(D_0, \beta^{*}, \omega^{*}) &amp; \overset{\sigma_2}{\longmapsto} &amp; (D_0, -\beta^{*}, -\omega^{*})
\end{array}</formula>
<note type="editorial" resp="#pass">au milieu de la page, un diagramme en étoile autour de <formula notation="TeX">(D_0, \beta^{*}, \omega^{*})</formula>, dont partent six flèches à talon : <formula notation="TeX">\sigma</formula> vers le haut, <formula notation="TeX">\sigma_0</formula>, <formula notation="TeX">\sigma_1</formula> et <formula notation="TeX">\sigma_2</formula> vers la droite, et deux grandes flèches courbes <formula notation="TeX">\rho_s</formula> et <formula notation="TeX">\rho_f</formula> vers les dessins du haut ; nous le donnons ligne à ligne. Chaque but est suivi d'un petit dessin en couleur (le croisement orange, la droite en tirets déplacée d'un côté ou de l'autre, les flèches <formula notation="TeX">\beta</formula>, <formula notation="TeX">\omega</formula> retournées). Le but de <formula notation="TeX">\sigma_1</formula> est une parenthèse de deux dessins réunis par « ou », avec l'orientation <formula notation="TeX">-\omega^{*}</formula> et le triangle <formula notation="TeX">T</formula> ; les buts de <formula notation="TeX">\rho_s</formula> et de <formula notation="TeX">\rho_f</formula> sont de même des paires de dessins réunis par « ou », où apparaissent les triangles <formula notation="TeX">T</formula> et <formula notation="TeX">T_1</formula> (hachurés), et, pour <formula notation="TeX">\rho_f</formula>, une double flèche entre eux légendée « <gap reason="illegible"/> » et la légende « premiers <gap reason="illegible"/> de triangles »</note></p>
<p><formula notation="TeX">\sigma_0</formula> <del>change</del> change <formula notation="TeX">\alpha</formula> en <formula notation="TeX">-\alpha</formula>, en gardant <formula notation="TeX">\sigma_D, \sigma_{D'}, \beta</formula></p>
<p><formula notation="TeX">\sigma_2</formula> échange <formula notation="TeX">\sigma_D</formula> et <formula notation="TeX">\sigma_{D'}</formula>, change <formula notation="TeX">\beta</formula> en <formula notation="TeX">-\beta</formula>, garde <formula notation="TeX">\alpha</formula></p>
<pb n="157" facs="https://grothendieck.umontpellier.fr/154.pdf#page=158"/><p><note type="editorial" resp="#pass">en haut à gauche, une rangée de petits traits de couleur (essais de feutres)</note></p>
<p><formula notation="TeX">X, \check{X}</formula> plans projectifs réels duaux, <del><formula notation="TeX">T</formula> système <unclear>« triangle »</unclear> de trois droites <gap reason="illegible"/></del> <formula notation="TeX">T</formula> <add><gap reason="illegible"/> <formula notation="TeX">X</formula></add>, <formula notation="TeX">T'</formula> triangle dual dans <formula notation="TeX">\check{X}</formula> <del>et <unclear>points</unclear> des</del>, <unclear>dans</unclear> les orientations de <formula notation="TeX">T</formula> et <formula notation="TeX">T'</formula> se correspondant, de façon qu'il y ait <formula notation="TeX">\omega'</formula> <unclear>et</unclear> <formula notation="TeX">\omega</formula> associés, d'où des orientations des <del><gap reason="illegible"/></del> droites d'<unclear>origine</unclear> de <formula notation="TeX">T</formula> et de <formula notation="TeX">T'</formula>, et de <formula notation="TeX">X</formula> <unclear>respect.</unclear> <formula notation="TeX">\check{X}</formula> <unclear>les</unclear> <gap reason="illegible"/> <gap reason="illegible"/> de <formula notation="TeX">T</formula>, <unclear>resp.</unclear> <formula notation="TeX">T'</formula>, dans <unclear>passer</unclear> <unclear>un</unclear> <del>pt</del> <add><gap reason="illegible"/></add> de <formula notation="TeX">X</formula> <gap reason="illegible"/> <formula notation="TeX">\check{X}</formula> et la droite correspondante de <formula notation="TeX">\check{X}</formula> <gap reason="illegible"/> <formula notation="TeX">X</formula>, les orientations y correspondant.
<note type="editorial" resp="#pass">texte en haut au milieu de la page, en colonne étroite, écrit sur l'impression d'un listing ; la première ligne biffée porte des guillemets au-dessus de « triangle » ; « <formula notation="TeX">X</formula> » est ajouté au-dessus de la fin de la ligne biffée ; au-dessus de « pt » biffé, un mot illisible. Lecture d'ensemble très incertaine</note></p>
<p><note type="editorial" resp="#pass">à gauche, un grand dessin : trois droites numérotées <formula notation="TeX">1</formula>, <formula notation="TeX">2</formula>, <formula notation="TeX">3</formula> (brune, noire, brun foncé) formant un triangle hachuré, orienté par une flèche de rotation ; en chacun des trois sommets, un point de couleur (bleu, vert, orange) entouré de deux arcs de la même couleur fléchés. À droite, le triangle dual : trois droites <formula notation="TeX">1</formula>, <formula notation="TeX">2</formula>, <formula notation="TeX">3</formula> (bleu clair, orange, vert clair) aux sommets bruns, les arcs bruns et noirs fléchés, l'orientation <formula notation="TeX">\omega'</formula>. Au-dessous, deux croquis : une droite <formula notation="TeX">1</formula> au point <formula notation="TeX">2</formula>, les vecteurs <formula notation="TeX">\alpha</formula> (le long de la droite), <formula notation="TeX">\beta</formula> (transverse) et la rotation <formula notation="TeX">\omega</formula> ; une droite vert clair au point marqué, avec <formula notation="TeX">\omega'</formula>, <formula notation="TeX">\beta'</formula>, <formula notation="TeX">\alpha'</formula></note></p>
<p><formula notation="TeX">\alpha, \beta, \omega</formula> associés, mais <formula notation="TeX">\alpha', \beta', \omega'</formula> <hi rend="italic">non</hi> <hi rend="italic">associés</hi>.</p>
<p><note type="editorial" resp="#pass">en bas, deux dessins : deux droites orange qui se croisent, deux droites en tirets (bleue et verte) et une droite bleue pleine qui passent entre elles, les orientations <formula notation="TeX">\alpha</formula>, <formula notation="TeX">\beta</formula>, <formula notation="TeX">\gamma</formula> marquées au croisement ; au-dessous, un petit croquis avec <formula notation="TeX">\alpha</formula>, <formula notation="TeX">\beta</formula>, <formula notation="TeX">\gamma</formula> ; plus à droite, un segment brun épais entre deux points orange, avec en son milieu un point et les orientations <formula notation="TeX">\beta'</formula>, <formula notation="TeX">\gamma'</formula>, <formula notation="TeX">\alpha'</formula></note></p>
<pb n="158" facs="https://grothendieck.umontpellier.fr/154.pdf#page=159"/><p><note type="editorial" resp="#pass">croquis au crayon, sans texte suivi : un rectangle partagé par une horizontale, les deux moitiés marquées <formula notation="TeX">\alpha</formula> et <formula notation="TeX">\beta</formula>, un cercle au crayon en surimpression ; un rectangle traversé d'un disque aplati et de courbes qui se tressent ; un ovale ; au-dessous, deux rectangles superposés traversés de courbes tressées, les coins et les bords marqués <formula notation="TeX">v'</formula>, <formula notation="TeX">u'</formula>, <formula notation="TeX">a</formula>, <formula notation="TeX">b'</formula>, <formula notation="TeX">u</formula>, <formula notation="TeX">v</formula>, <formula notation="TeX">u'</formula>, <formula notation="TeX">a'</formula> (?), <formula notation="TeX">a</formula>, <formula notation="TeX">u</formula>, <formula notation="TeX">v</formula>, avec deux ellipses aux niveaux <formula notation="TeX">a</formula> et <formula notation="TeX">b'</formula> ; à côté, un disque aux courbes entrelacées. En bas à gauche, un dessin en couleur : deux bandes vert clair qui se rejoignent en un point noir de croisement, une droite rouge qui les longe et une droite rouge verticale, des hachures au crayon et de petites barres noires</note></p>
<pb n="159" facs="https://grothendieck.umontpellier.fr/154.pdf#page=160"/><p><hi rend="italic">1.1.84</hi>    Complément de <unclear>multiplication</unclear> sur les facettes exceptionnelles de <formula notation="TeX">(\mathcal{X}, K)</formula>
<note type="editorial" resp="#pass">la date est de sa main, en tête de la page, soulignée. Toute la page est barrée d'une grande croix au crayon vert ; elle est lue en entier</note></p>
<p>a) <del><gap reason="illegible"/></del> Avec les notations de <unclear><formula notation="TeX">i</formula></unclear>, on a
<formula notation="TeX" rend="display">\varphi^{-1}(X_1) = L \cup K_0 \qquad (\text{et } \ill{} = L\,!)</formula>
<note type="editorial" resp="#pass">la lecture de l'indice de <formula notation="TeX">X_1</formula> est incertaine</note></p>
<p>b) La structure d'une facette exceptionnelle au voisinage de <del><gap reason="illegible"/></del> <add><unclear>deux</unclear></add> arête<supplied resp="#pass">s</supplied> exceptionnelle<supplied resp="#pass">s</supplied> (en <unclear>minime</unclear>, de la <add>double</add> <unclear>paire</unclear> de facettes adjacentes exceptionnelles) est de <gap reason="illegible"/> <gap reason="illegible"/> <unclear>sommet</unclear> la forme suivante :
<note type="editorial" resp="#pass">« deux » (lecture incertaine) est écrit au-dessus de la ligne, sur un mot biffé ; « double » est ajouté au-dessus de « paire »</note></p>
<p><note type="editorial" resp="#pass">dessin en couleur : deux facettes contiguës <formula notation="TeX">F</formula> et <formula notation="TeX">F'</formula>, séparées et bordées par trois bandes verticales vert clair ; chacune est un cylindre dont les bords haut et bas sont des fuseaux rouges, traversé de courbes rouges verticales qui se croisent en huit ; des marques bleues aux coins de <formula notation="TeX">F</formula> ; une droite horizontale (brune dans <formula notation="TeX">F</formula>, vert foncé dans <formula notation="TeX">F'</formula>) prolongée en pointillés bruns à gauche et à droite, marquée <formula notation="TeX">D_i</formula> à droite, le point <formula notation="TeX">a</formula> sur la bande commune ; des contours en tirets noirs, et les lettres <formula notation="TeX">\delta</formula>, <formula notation="TeX">s</formula> dans <formula notation="TeX">F</formula>, <formula notation="TeX">\delta'</formula>, <formula notation="TeX">s'</formula>, <formula notation="TeX">t'</formula> dans <formula notation="TeX">F'</formula> ; les fuseaux de <formula notation="TeX">F'</formula> se prolongent à droite en pointillés rouges</note></p>
<p><gap reason="illegible"/> d'<unclear>où</unclear> les « branches principales » <add><formula notation="TeX">\delta</formula></add> de <formula notation="TeX">L</formula> dans une face exceptionnelle (<formula notation="TeX">F</formula> ou <formula notation="TeX">F'</formula> disons) <unclear>par</unclear> un sommet <add>multiple</add> <del>multiple</del>, dans les branches de <formula notation="TeX">L</formula> en <formula notation="TeX">s</formula> distinctes de <del><gap reason="illegible"/></del> <formula notation="TeX">\delta</formula> <gap reason="illegible"/> <unclear>concourent</unclear> <gap reason="illegible"/> un <unclear>même</unclear> <unclear>pt</unclear>. de <formula notation="TeX">\delta F</formula> <unclear>sur</unclear> <formula notation="TeX">K_0</formula> (et par la loi de symétrie, <gap reason="illegible"/> <formula notation="TeX">= \ill{}</formula> <gap reason="illegible"/> « un <unclear>fuseau</unclear> » <gap reason="illegible"/> <formula notation="TeX">=</formula> multiplicité.
<note type="editorial" resp="#pass">« <formula notation="TeX">\delta</formula> » est écrit au-dessus de « principales », rattaché par un trait ; « multiple » est réécrit au-dessus du mot biffé ; la parenthèse ouverte n'est pas refermée</note></p>
<p><unclear>De</unclear> plus, je rappelle que la loi de symétrie s'étend à la multiplicité des pts <unclear>doubles</unclear> sommets <del>multiples</del> <add>de <formula notation="TeX">L</formula></add> qui se trouvent sur les deux arêtes <unclear>ordinaires</unclear> incidentes à <formula notation="TeX">a</formula>)</p>
<p>c) Pour <unclear>toute</unclear> arête de <formula notation="TeX">F</formula> distincte des <add><unclear>non exceptionnelles</unclear></add> <add>de <formula notation="TeX">F</formula></add> trois arêtes marquées, <del><gap reason="illegible"/></del> la <del><unclear>bonne</unclear></del> rive privilégiée est celle <unclear>opposée</unclear> à cette face — pour une arête <add>ordinaire</add> <unclear>passant</unclear> <gap reason="illegible"/> un sommet exceptionnel (arête <unclear><gap reason="illegible"/></unclear> <unclear>marquée</unclear> ici), la <add>rive</add> <del>arête</del> privilégiée est celle qui correspond à la face instable.
<note type="editorial" resp="#pass">l'addition « <unclear>non exceptionnelles</unclear> de <formula notation="TeX">F</formula> », écrite au-dessus de la ligne, est rattachée par une accolade ; « ordinaire » et « rive » sont écrits au-dessus de la ligne</note></p>
<p>d) Pour avoir la position relative correspondant à une face exceptionnelle, il faut modifier la <unclear>vraie</unclear> générisation <del><gap reason="illegible"/></del> (<unclear>disons</unclear> <unclear>générique</unclear> quand <formula notation="TeX">\varphi(\partial F^{*})</formula> <gap reason="illegible"/> : <formula notation="TeX">F^{*}</formula> est la <unclear>déduite</unclear> de <formula notation="TeX">F</formula> par <unclear>remplacement</unclear> <unclear>en</unclear> les sommets critiques dans la rive <del>exceptionnelle</del> privilégiée <unclear>est</unclear> opposée à <formula notation="TeX">F</formula>) <unclear>en</unclear> <del><unclear>faisant</unclear> <gap reason="illegible"/></del> <add><unclear>définissant</unclear></add> <formula notation="TeX">F^{*}</formula> de façon <del><gap reason="illegible"/></del> <unclear>similaire</unclear>, à partir de la « <gap reason="illegible"/> <del><gap reason="illegible"/></del> modification obtenue en remplaçant <del>des deux arêtes exceptionnelles des</del> <add><gap reason="illegible"/> bord d</add> exceptionnel » <del><gap reason="illegible"/></del> <add>de la</add> face envisagée (joignant <add><unclear>dans</unclear> <gap reason="illegible"/></add> les deux pts critiques principaux <del><gap reason="illegible"/></del> face) par un <del><gap reason="illegible"/></del> pointillé : l'intérieur de <formula notation="TeX">F</formula> (cf. pointillé au stylo).
<note type="editorial" resp="#pass">colonne de droite ; nombreuses corrections interlinéaires, dont plusieurs illisibles ; le dernier mot biffé de la ligne « <unclear>définissant</unclear> » est lu « faisant » sous toute réserve</note></p>
<pb n="160" facs="https://grothendieck.umontpellier.fr/154.pdf#page=161"/><p><note type="editorial" resp="#pass">page de dessins en couleur, sans texte : en haut à gauche, des droites rouges verticales numérotées en haut <formula notation="TeX">1</formula> (surchargé), <formula notation="TeX">1</formula>, <formula notation="TeX">2</formula>, <formula notation="TeX">3</formula>, <formula notation="TeX">4</formula>, <formula notation="TeX">5</formula> et en bas <formula notation="TeX">1'</formula> (?), <formula notation="TeX">1'</formula>, <formula notation="TeX">2'</formula>, <formula notation="TeX">3'</formula>, <formula notation="TeX">5'</formula>, <formula notation="TeX">4'</formula>, coupées par deux bandes horizontales (vert foncé et vert clair) marquées <formula notation="TeX">w</formula>, <formula notation="TeX">u</formula>, qui se croisent au point <formula notation="TeX">a</formula>, une droite rouge fléchée au milieu ; des segments <formula notation="TeX">x x'</formula> et <formula notation="TeX">y y'</formula> entre les bandes, des hachures. À droite, trois disques : le premier bordé de vert clair, les points <formula notation="TeX">a</formula>, <formula notation="TeX">a'</formula> au bord reliés par un fuseau rouge, le bord marqué <formula notation="TeX">0', 1', 2', 3', 4', 5'</formula> et <formula notation="TeX">0, 1, 2, 3, 4, 5</formula> avec des flèches ; le second, bordé de vert foncé, de même avec les points <formula notation="TeX">b</formula>, <formula notation="TeX">b'</formula> ; le troisième réunit les deux, les bandes <formula notation="TeX">a a'</formula> (vert clair) et <formula notation="TeX">b b'</formula> (vert foncé) superposées, traversées de courbes rouges qui se croisent. En bas, un cylindre rouge (comme la facette de la page 159) ; un grand disque traversé de pseudo-droites rouges, le bord partagé en arcs vert clair et vert foncé ; un dessin semblable au troisième disque, prolongé à droite par un second disque, avec les points <formula notation="TeX">a</formula>, <formula notation="TeX">a'</formula>, <formula notation="TeX">b</formula>, <formula notation="TeX">b'</formula>, <formula notation="TeX">x</formula>, <formula notation="TeX">x'</formula>, <formula notation="TeX">y</formula>, <formula notation="TeX">y'</formula> et des tirets ; en bas à gauche, deux bandes vert clair et vert foncé qui se croisent entre des droites rouges, les points <formula notation="TeX">x</formula>, <formula notation="TeX">x'</formula>, <formula notation="TeX">y</formula>, <formula notation="TeX">y'</formula>. En haut à droite, un disque au crayon traversé de courbes</note></p>
      </div>
    </body>
  </text>
</TEI>
