Fonds Grothendieck, cote n° 134-1, pages 1–6 — transcription Alexandre Grothendieck transcription automatique — première passe, non vérifiée contre les pages par une personne (2026-08-23) 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) 134-1 Lettres Breen 75,76 [correspondance avec Larry Breen, Pierre Deligne et Daniel Quillen] : lettres et copies de lettre (1974-1976, 1984) Pages 1 à 6 de la cote, dans la numérotation des archivistes (crayon, en bas à gauche de chaque page) ; lot 1 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. 1974-1984Datation de l'inventaire de l'Université de Montpellier, reproduite telle quelle ; les crochets sont ceux des archivistes. https://grothendieck.umontpellier.fr/134-1.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.
A. Grothendieck à P. Deligne, de Lodève (pages 3 à 6)

Les feuillets portent 60 à 64 au crayon de l'archiviste : c'est la numérotation de la cote 134 prise entière, dont 134-1 est la première partie. Les numéros employés ici, 1 à 6, sont ceux que compte l'inventaire pour cette partie.

Cher Breen, j'imagine que tu sais ce que le maître demande, mais n'ai pu néanmoins lui répondre. Qu'en penses-tu. Bien à toi, P. Deligne

Cette note court verticalement dans la marge de gauche, d'une autre main que celle de la lettre, et elle est signée. Le dossier est donc l'exemplaire de Breen, que Deligne lui a fait suivre.

Lodève le 27.8.74Le trait qui court sur « 8.74 » est la barre du 7 de « 74 », épaissie par la photocopie, et non une rature : l'exemplaire de cette lettre que conserve le dossier 103 (page 8) montre ces chiffres nets et sans surcharge.

Cher Deligne,

Étant peut-être empêché faute d'assurer un cours de 1er cycle au 1er trimestre, je vais peut-être faire un petit séminaire d'algèbre, et envisage de le faire sur les fourbis de Mme Sinh, éventuellement transposés dans le contexte des « champs ». À ce propos, je tombe sur le truc suivant, qui pour l'instant reste heuristique. Si M, N sont deux faisceaux abéliens sur un topos X, et si

\tau_{\leq 2} \, R\underline{\mathrm{Hom}}(M, N) = E(M, N)

est le complexe ayant les invariants

\begin{cases} \underline{H}^i = \underline{\mathrm{Ext}}^i(M, N) & \text{pour } 0 \leq i \leq 2 \\ \underline{H}^i = 0 & \text{si } i \notin [0, 2] \end{cases}

il doit y avoir un triangle distingué canonique

\begin{tikzcd} & \underline{\mathrm{Hom}}(M, {}_2 N)[-2] \arrow[dl] & \\ E(M, N) \arrow[rr] & & E'(M, N) \arrow[ul] \end{tikzcd}

(T)

donc E'(M,N) est un complexe dont les invariants \underline{H}^i sont ceux de E(M,N) en degré i+2, et qui en degré 2 donne lieu à une suite exacte

(*) \qquad 0 \longrightarrow \underline{\mathrm{Ext}}^2(M, N) \longrightarrow \underbrace{\underline{H}^2(E'(M,N))}_{P(M,N)} \xrightarrow{\ \sigma\ } \underline{\mathrm{Hom}}(M, {}_2 N) \longrightarrow 0

Heuristiquement, E'(M,N) est le complexe qui exprime le « 2-champ de Picard "strict" » formé des 1-champs de Picard (pas nécessairement stricts) « épinglés » par M, N, sur des objets variables de X, en admettant que la théorie pour les 1-champs de Picard stricts s'étend aux 2-champs de Picard stricts (ce qui pour moi ne fait guère de doute) ; de même E(M,N) correspond aux champs de Picard stricts épinglés par M, N.

La suite exacte (*) se construit en tout cas canoniquement « à la main », où le terme médian est le faisceau des données à « équivalence » près des

catégories champs de Picard épinglés par M, N, \sigma étant l'invariant qui s'obtient en associant à toute section L« s'obtient en » et « L » sont écrits en interligne, un crochet devant « associant » marquant la place du premier ; le trait sous « s'obtient en » passe sous les lettres et ne les biffe pas. d'un champ de Picard, la symétrie de L \otimes L, interprétée comme section de {}_2 N. Je sais prouver (sauf erreur) que tout hom. M \to {}_2 N provient d'un champ de Picard convenable (épinglé par M, N) (a priori l'obstruction est dans \mathrm{Ext}^3(X; M, N), mais un argument « universel » prouve qu'elle est nulle). Cela prouve que l'extension (*) est bien proche d'être splittée : toute section du troisième faisceau, sur un objet quelconque de X, se relève — en d'autres termes l'extension a une section « ensembliste ». Bien sûr, il y a mieux en fait : toute section sur un U \in \mathrm{Ob}\, X « provient » d'un élément de \mathbb{H}^2(U, E'(M,N)) (hypercohomologie, i.e. \mathbb{H}^2).

soit A un anneau sur X, soient M, N respectivement les faisceaux K^0 et K^1 associés au champ additif des A-Modules projectifs (p. ex.). Alors le raisonnement de Mme Sinh nous fournit un champ de Picard épinglé par M, N, d'où une section canonique du terme médian P(M,N) de (*).

NB Tout ce qui précède a les fonctorialités évidentes en M, N, X …

Question : Le triangle exact (T) et la suite exacte (*) sont-ils connus par les compétents (Quillen, Breen, Illusie…) ? Connaissent-ils des variantes « supérieures » ? (Un principe « géométrique » pour les obtenir pourrait être via des n-champs de Picard non néc. stricts…)