Fonds Grothendieck, cote n° 18, pages 61–61 — transcription Alexandre Grothendieck transcription automatique — première passe, non vérifiée contre les pages par une personne (2026-09-16) Opus 5 (claude-opus-5) procédure, outillage, export TEI grothendieck.commutator.io (Commutator, Paris) Édition de démonstration Commutator Paris 2026-09-25

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.

 https://grothendieck.commutator.io France Montpellier Université de Montpellier Fonds Alexandre Grothendieck (archives mathématiques, 1949–1991) 18 Motifs et théorie de Hodge : notes manuscrites (s.d.) Pages 61 à 61 de la cote, dans la numérotation des archivistes (crayon, en bas à gauche de chaque page) ; lot 4 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. [à partir de 1969-vers 1972]Datation de l'inventaire de l'Université de Montpellier, reproduite telle quelle ; les crochets sont ceux des archivistes. https://grothendieck.umontpellier.fr/18.pdf 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 n des archivistes est la page n+1 du PDF, et l'attribut facs de chaque pb tient compte de ce décalage.

Transcription mathématique du fonds, une passe de vingt pages par conversation avec un grand modèle multimodal, sous la procédure transcribe-grothendieck du dépôt. Le fichier LaTeX est la source de référence ; ce TEI en est dérivé mécaniquement par scripts/tei.mjs et n'a pas été relu.

L'édition n'est pas diplomatique : elle encode les mathématiques et l'apparat, rien du support. Correspondance avec l'apparat de la source : \ill devient gap[@reason='illegible'] (jamais deviné) ; \uncertain devient unclear ; \add devient supplied ; \struck devient del (biffé par l'auteur) ; \note devient note[@type='editorial'] (du transcripteur) ; \marginal devient note[@type='authorial'][@place='margin'] (de l'auteur) ; \page devient pb.

Les mathématiques sont transportées en TeX dans formula[@notation='TeX'], les diagrammes commutatifs en formula[@notation='tikz-cd'], 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.

Orthographe, ponctuation et lapsus de l'auteur sont conservés ; une faute évidente est signalée par une note, jamais corrigée.

 https://github.com/Commutator-IO/grothendieck-project français, avec la notation mathématique de l'auteur Première passe de transcription. Export TEI depuis la source LaTeX.

Le feuillet reprend en cours de calcul : la page 60 s'achève sur l'homomorphisme \varphi_{v} de \mathrm{Gal}(k/k_{0}) dans G(A_{\mathbb{C}}) et sur la densité de son image ; la présente page en tire la variance en w. Le point qu'il met sur \sigma est de lui : il distingue \dot{\sigma} de \sigma_{*}, qu'il écrit en toutes lettres sur les mêmes lignes.

N.B. c'est d'une petite vérification par w

Cette vérification peut d'ailleurs si w' = \sigma w La phrase reste en suspens : elle n'a pas de verbe et passe directement au calcul.

M_{w}^{\mathbb{Z}} = g\,M_{v}^{\mathbb{Z}}

\begin{align*} M_{\sigma w}^{\mathbb{Z}} &= \dot{\sigma}(M_{w}^{\mathbb{Z}}) = \dot{\sigma}\,g\,M_{v}^{\mathbb{Z}} = \dot{\sigma}\,g\,\dot{\sigma}^{-1}\, (\dot{\sigma} \cdot M_{v}^{\mathbb{Z}}) \\ &= (\dot{\sigma}\,g\,\dot{\sigma}^{-1})\,\struck{\ill{}}\;\sigma_{*}\, M_{\sigma\ill{}}^{\mathbb{Z}} \\ &= \dot{\sigma}\,g\,\dot{\sigma}^{-1}\,\struck{\ill{}}\;\sigma_{*}\,g^{-1} \;\; g\,M_{v}^{\mathbb{Z}} \end{align*}

Le dernier membre de la deuxième ligne du calcul est écrit au ras du bord droit du feuillet : l'indice de M commence par \sigma et se termine hors du champ. Le groupe biffé qui précède \sigma_{*} ne se lit ni ici ni à la ligne suivante.

i.e.

M_{\sigma w}^{\mathbb{Z}} = \struck{\ill{}}\;\sigma'_{*}\,M_{w}^{\mathbb{Z}}

\sigma'_{*} = \dot{\sigma}\,g\,\dot{\sigma}^{-1}\,\sigma_{*}\,g^{-1}

Au-dessus de cette dernière égalité, une première rédaction biffée d'un long trait, dont on lit encore \varphi_{v}(\sigma)\,g^{-1} à son extrémité droite : c'est déjà la formule encadrée plus bas.

On a donc \sigma'_{\ell} = \sigma_{\ell}\,g_{\ell}\,\sigma_{\ell}^{-1}\, \sigma_{\ell}\,g_{\ell}^{-1} = \sigma_{\ell} « pour \ell fini » est ajouté au-dessus de cette formule, relié par un trait.

d'où

\begin{align*} \sigma'_{\infty} &= \dot{\sigma}_{\infty}\,g_{\infty}\, \dot{\sigma}_{\infty}^{-1}\,\sigma_{\infty}\,g_{\infty}^{-1} \\ &= g_{\infty}^{\dot{\sigma}_{\infty}}\,\sigma_{\infty}\,g_{\infty}^{-1} \end{align*}

i.e. on a :

\struck{\varphi_{w}(\sigma) = g_{\infty}^{\dot{\sigma}_{\infty}}\, \varphi_{v}(\sigma)\,g_{\infty}}

\boxed{\;\varphi_{w}(\sigma) = g_{\infty}\,\varphi_{v}(\sigma)\, g_{\infty}^{-1}\;}

pour M_{w}^{\mathbb{Z}} = g\,M_{v}^{\mathbb{Z}}, g \in G\ill{}(M_{k}^{(\infty)}), i.e. si w et v sont M-équivalents. Entre G et la parenthèse, un caractère repassé plusieurs fois à l'encre ne se lit pas ; la page 60 écrit G(A_{\mathbb{C}}) au même endroit de la notation. Au-dessus du g_{\infty} encadré subsiste un petit signe, reste de la rédaction biffée. « M-équivalents » est souligné de sa main.