Fonds Grothendieck, cote n° 162-5, pages 61–68 — transcription Alexandre Grothendieck transcription automatique — première passe, non vérifiée contre les pages par une personne (2026-09-25) Opus 5.5 (claude-opus-5-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) 162-5 Tapis de Quillen : tapuscrit et copies de tapuscrits (1968, s.d.), notes manuscrites (1968), tiré à part (1968) Pages 61 à 68 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. 1968-[à partir de 1970] — le groupe « Dossiers rassemblés par Grothendieck sur différentes thématiques » (161-1 à 162-6) est daté [après 1961-vers 1977]Datation de l'inventaire de l'Université de Montpellier, reproduite telle quelle ; les crochets sont ceux des archivistes. https://grothendieck.umontpellier.fr/162-5.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.

\downarrowle feuillet est la page 5 du tapuscrit anglais de D. G. Quillen, « On a conjecture of Adams », reproduit à l'alcool (pages 57 à 68), qui n'est pas transcrit. Seule y figure, d'une encre plus foncée que la reproduction, cette flèche verticale, tracée dans le diagramme de S-applications entre le terme médian de la première ligne, [S^{2n-1}, S^{2n-1}]^{\wedge}, et celui de la seconde, [\widehat{S}^{2n-1}, \widehat{S}^{2n-1}]. Les deux autres flèches verticales sont du bleu de la reproduction ; le texte parle ensuite des « first two vertical maps », dont celle-ci est la seconde

page 9 du même tapuscrit (preuve de C, cas X = G_{\mathbf{R}}). Les cinq flèches du « commutative diagram » sont à l'encre foncée : la hampe de la verticale J : K(G_{\mathbf{C},\mathrm{cl}}) \to SF(G_{\mathbf{C},\mathrm{cl}}), dont la pointe est tapée ; deux flèches issues de K_{\mathrm{alg}}(G_{\mathbf{R}}), vers SF(\widehat{X}_{\mathbf{C},\mathrm{cl}}) et vers SF(\widehat{G}_{\mathbf{R},1,\mathrm{et}}) ; deux issues de \mathrm{Vect}(G_{\mathbf{R}}), vers SF(\widehat{G}_{\mathbf{R},1,\mathrm{et}}) et vers SF(\widehat{G}_{\mathbf{R},2,\mathrm{et}}), à côté desquelles la frappe porte pour étiquette un signe dollar. Sur les deux flèches issues de K_{\mathrm{alg}}(G_{\mathbf{R}}), deux tracés en zigzag au crayon gris, qui ne se lisent pas comme des mots