Fonds Grothendieck, cote n° 134-2, pages 101–120 — transcription Alexandre Grothendieck Michel Hua transcription automatique — première passe, non vérifiée dans son ensemble contre les pages par une personne (2026-10-15) ; lectures ponctuelles vérifiées sur le fac-similé par l'éditeur (2026-10-15), reportées dans la source par le même modèle Opus 5.5 (claude-opus-5-5) procédure, outillage, export TEI grothendieck.commutator.io (Commutator, Paris) Édition de démonstration Commutator Paris 2026-11-10

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 dans son ensemble ; 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-2 [Chapitre I : Take off (pages 1 à 65) et table des matières provisoire] : tapuscrits annotés (19/02-22/02/1983), note manuscrite (s.d.), copies de lettre (1975, s.d.). Pages 101 à 120 de la cote, dans la numérotation des archivistes (crayon, en bas à gauche de chaque page) ; lot 6 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. 1975-[1983]Datation de l'inventaire de l'Université de Montpellier, reproduite telle quelle ; les crochets sont ceux des archivistes. https://grothendieck.umontpellier.fr/134-2.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 ; \supplied devient supplied (restitué par le transcripteur) ; \add devient add (ajout de l'auteur, en interligne ou sur un mot biffé) ; \struck devient del (biffé par l'auteur) ; \note devient note[@type='editorial'] (du transcripteur) ; \drawing devient note[@type='drawing'] (dessin de l'auteur, décrit par le transcripteur) ; \marginal devient note[@type='authorial'][@place='margin'] (de l'auteur) ; \page devient pb.

Une note du transcripteur pointe vers le modèle (resp="#pass"), sauf quand elle consigne une lecture vérifiée sur le fac-similé par l'éditeur : elle pointe vers lui seul (resp="#mh") si elle n'est que cette vérification, vers les deux (resp="#pass #mh") si la vérification s'ajoute au texte du transcripteur ou si le partage ne peut être établi. Une révision de revisionDesc qui reporte une vérification de l'éditeur pointe vers lui puis vers le modèle qui a fait la modification (who="#mh #pass", ou l'identifiant du modèle réviseur), et ce modèle reste déclaré. La règle est une liste de tournures où il est nommé comme celui qui a regardé la page (HUMAN_CHECK dans scripts/tei.mjs) ; une vérification qu'elle ne reconnaît pas reste attribuée au modèle.

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 (supplied), un ajout isolé est de l'auteur (add). Certains add sont donc encore des restitutions du transcripteur, que seuls les fac-similés départageront.

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 anglais : le compte rendu des révisions, cité de l'en-tête de la source Export TEI depuis la source LaTeX. hands on pp. 117 and 120 and the missing sheet 115 settled by Michel Hua on the facsimile (#35). Première passe de transcription.
Lettre à Daniel Quillen, 19–22.2.1983 (second exemplaire, suite) — Pursuing Stacks

sa p. « 5' » : § 4 (suite). Second exemplaire de la lettre à Quillen, qui double les pp. 14 à 36 ; texte de Pursuing Stacks, imprimé, donc cité et non transcrit (Maltsiniotis (éd.), À la poursuite des champs, vol. I, SMF 2022). Corrections manuscrites : « finite inverse limits » puis « lim » au-dessus de « fiber products » biffé, « iterated » ajouté quatre fois devant « fiber products », « here » au-dessus de « are » ; en marge gauche, une remarque en anglais : il abandonnera désormais le qualificatif « iterated ».

sa p. « 6 » : fin du § 4 et § 5 (numéro « 5. » ajouté en marge, sur une frappe « 6 »). Ajouts « This step » au-dessus de « which » biffé, « system of », « letters », « in this respect » ; en marge gauche, écrite en travers, une remarque en anglais sur l'ordre de l'opération \ast (« heuristically clear », mais demandant une preuve).

sa p. « 6' » : § 5 (suite), début du § 6 (numéro « 7. » en marge, corrigé de la frappe). Ajouts « (iterated) », « will turn out to be », « of these », « inductive », « quite » ; en marge gauche, une note datée « (23.2) », appelée par un astérisque après « I believe it is », qui revient sur cette conviction (« But no longer … »).

sa p. « 7 » : § 6 (suite) — décomposition cellulaire des D_n et première idée des sommes amalgamées « standard ». Les deux figures (triangle et cercle) sont dessinées à la main, suivies de « which are circles » ; « formulation » remplace un mot biffé ; retouches d'indices (n, 2n+1, 0 \leq j \leq n-1).

sa p. « 7' » : § 6 (suite et fin). Ajouts « i.e. numbered », « (i \in I) », « sub- », « f_{n(i),j} », « object » au-dessus de « subset », « (2 \leq i \leq N) » ; la dernière phrase est complétée à la main (choix de source ou but selon les signes \varepsilon, \varepsilon'). Bas de page blanc.

sa p. « 8 » (numéro non visible), datée « 21.2. » : §§ 7 et 8 (numéros « 8. » et « 9. » en marge). Ajout « however » ; un astérisque après « all categories C_n » renvoie à une note en marge gauche, en face d'un trait vertical, qui déclare l'assertion fausse et renvoie au P.S., p. 12.

sa p. « 8' » : § 8 (suite). Ajouts « the bunch of », « (binary) », « two », « finite », « a "homotopy" » au-dessus d'un mot biffé, « implicit », « that » ; deux notes en marge gauche, en face de traits verticaux, qualifient d'inexact ce qui est dit des sommes amalgamées (« unaccurate », « unaccurate, see above! »).

sa p. « 9 » : fin du § 8 (l'histoire des sept mathématiciens) et § 9 (numéro « 10. » en marge). Ajouts « his own », « which », « (in the sense of the Y-theory) », « \infty- », « n ».

sa p. « 9' » : § 9 (suite). Ajouts « i.e. », « with », « I believe », « two » au-dessus de « categories ».

sa p. « 10 » : § 10 (numéro « 11. » en marge). Ajouts « of \mathrm{Hom}(D_n, |K|) », « by », « an "allowable" » au-dessus d'un mot biffé, « merely », « in the D_i », « after all », « undesirable » au-dessus de « extra ».

sa p. « 10' » : § 11 (numéro « 12. » en marge), fin de la journée du 21.2 (« Good night »). Ajouts « M- », « stepwise », « gerbs » deux fois au-dessus de mots biffés, « should ».

sa p. « 11 », datée « 22.2.1983 » : § 12 (numéro « 13. » en marge ; c'est le § 13 de l'édition imprimée) — terminologie : n-stacks, n-Gr-stacks, « coherators » (« cohéreurs »). Peu de corrections manuscrites.

sa p. « 11' » : § 12 (suite). Ajouts « fiber products » à deux endroits sur « amalgamated sums » biffé, « primitive », « intrinsic », « even » ; en marge gauche, en face d'un trait vertical, « false, see P.S. » ; plus bas, en marge, « nor even automorphisms! ».

sa p. « 12 » : fin du § 12, formule finale « Very cordially yours », signée à la main « Alexander » ; P.S. daté « (23.2) » sur l'erreur concernant les produits fibrés dans les C_n, interrompu en bas de page. Ajouts « implies », « still in embryo », « later », « practically » ; en marge gauche, une remarque en anglais (« Maybe false, … », sur la sous-catégorie C_0). La dernière ligne est coupée horizontalement par le scan ; « coherator » n'y est qu'à moitié visible. La feuille suivante, crayonnée 115, manque au scan (vérifié sur le fac-similé par Michel Hua, 2026-10-15).

R. Brown, note sur sa traduction de la lettre à Breen

note dactylographiée de R. Brown (Bangor) : la suite est une traduction informelle, par lui avec l'aide de L. Breen (Rennes) et de J.-L. Loday (Strasbourg), de la partie mathématique de la lettre manuscrite de Grothendieck à Breen datée des 17–19 juillet 1975 ; il remercie Grothendieck d'en avoir communiqué les copies, ainsi que des deux lettres précédentes. Texte d'un tiers, résumé. Aucune marque de Grothendieck.

R. Brown, « Comments » (Bangor, novembre 1982)

tapuscrit de R. Brown, adressé à Grothendieck, en quatre pages numérotées « -2- » à « -4- » à partir de la deuxième.

COMMENTS

The topic of duality has progressed somewhat since 1975, see for example

L. Begueri à la suite, au crayon gris, de la main de R. Brown (vérifié sur le fac-similé par Michel Hua, 2026-10-15) : « Memoir SMF »

M. Bester à la suite, de la même main de Brown, au crayon gris : « Thesis, U of Michigan »

(These references are due to L. Breen.)

demander réf. : Breen.à l'encre noire de Grothendieck (vérifié sur le fac-similé par Michel Hua, 2026-10-15), à droite des deux références, en face d'un trait vertical

The work of Mme Sinh referred to on p. 2 is as follows:

H.X. Sinh, Gr-catégories, Thèse Doctorat d'État Université Paris VII (1975).

See also

N.. Saavedra, Rivano, Catégories tanakiennes, Springer Lecture Notes in Mathematics 265 (1972).l'initiale dactylographiée après « N. » est surfrappée ; « Saavedra, » est écrit à l'encre noire au-dessus, avec un signe d'insertion

Related to these notions is that of +-groupoid (=coherent symmetric monoidal groupoid with strict associativity and strict zero object) whose theory is developed also in:

M. Takeuchi, 'On Villamayor and Zelinsky's long exact sequence', Mem. Amer. Math. Soc. 33 (1981) No 249.

The description of groups in (1-cat) given on p. 2–3 is in effect an equivalence between G-groupoids (= group objects in the category of groupoids) and crossed modules. This is described also in:

R. Brown and C.B. Spencer, 'G-groupoids, crossed modules and the fundamental groupoid of a topological group', Proc. Kon. Akad. v. Weten. 79(1976), 296 – 302.

and is believed to have been known to Verdier in 1965.

 The equivalence mentioned in the last comment has been generalised to

equivalences between six categories as set out in the diagram,

\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}] \text{poly-T-complexes} \arrow[r, leftrightarrow, "(f)"] \arrow[d, leftrightarrow, dashed, "(f)"'] & \text{cubical T-complexes} \arrow[r, leftrightarrow, "(c)"] & \omega\text{-groupoids} \arrow[d, leftrightarrow, "(d)"] \arrow[dl, leftrightarrow, "(a)"] \\ \text{simplicial T-complexes} \arrow[r, leftrightarrow, "(e)"'] & \text{crossed complexes} \arrow[r, leftrightarrow, "(d)"'] & \infty\text{-groupoids} \end{tikzcd}

la flèche (f) verticale est en pointillé sur la page.

The categories are defined and the equivalences proved in:

R. Brown and P. J. Higgins, 'The algebra of cubes', J. Pure Appl. Alg. 21(1981) 233 – 260. R. Brown and P. J. Higgins, 'Colimit theorems for relative homotopy groups', ibid. 22(1981) 11 – 41. R. Brown and P. J. Higgins, 'The equivalence of \omega-groupoids and cubical T-complexes', Cah. Top. Géom. Diff. (3e Coll. sur les catégories, dédié a Charles Ehresmann) 22 (1981), 349 – 369. R. Brown and P. J. Higgins, 'The equivalence of \infty-groupoids and crossed complexes' ibid, 370 – 386. N. K. Ashley, Simplicial T-complexes, Ph.D. thesis, University of Wales (1978),(to be published in an issue of Esquisses Mathématiques, Amiens). D. W. Jones, Ph.D. thesis in preparation.

Applications of the equivalence (a) are given in reference (b) above.

However the notion of \infty-groupoid referred to in (4) is not adequate for the purposes considered by Grothendieck since, roughly speaking, crossed complexes describe the homotopy types only of spaces X which fibre over a K(\pi,1) with fibre a product of Eilenberg-MacLane spaces. A notion of multiple groupoid called an n-cat-group has been described

in:

J.-L. Loday, 'Spaces with finitely many homotopy groups', J. Pure Appl. Alg. 24(1982) 179 – 202.

The n-cat-groups (which may be described as n-fold categories in the category of groups) are adequate for the description of truncated homotopy types. This is Loday's main result.

An analysis of the structure of non-abelian chain complex on a length two normalised chain complex of a simplicial group is given in:

D. Conduché, 'Modules croisés généralisés de longueur 2' (in preparation).

By following through some of the equivalences in (4) above, we can associate to an \infty-groupoid G a simplicial T-complex NG, whose underlying simplicial set could be called the nerve of G. A direct description of NG is that (NG)_n is the set of \infty-groupoid maps to G from \sigma\underset{\sim}{\Delta}^n, the homotopy \infty-groupoid of the standard n-simplex \Delta^n (i.e. \sigma\underset{\sim}{\Delta}^n has associated crossed complex \pi\underset{\sim}{\Delta}^n, the homotopy crossed complex of \underset{\sim}{\Delta}^n).

Now a definition of \infty-category is also given in (4)(d) above, but the corresponding functor nerve: \infty-categories \longrightarrow simplicial sets is still unknown.

 An indication of the use of the ideas of (4) in non-abelian situations is given in: R. Brown and P.J. Higgins, 'Crossed complexes and non-abelian extensions', Int. Conf. on Category Theory, Gummersbach (1981), Springer L.N.M. (to appear). R. Brown, 'Non-abelian cohomology and the homotopy classification of maps', Proc. Conf, Méthodes d'algèbre homotopique en topologie, Marseilles – Luminy (1982). Astérixes (to appear)

The latter paper uses the equivalence between crossed complexes and simplicial T-complexes (which generalises the Dold-Kan theorem on the equivalence of chain complexes and simplicial abelian groups) to give a notion of nerve, and so classifying space BC of a crossed complex C. The classical Eilenberg-MacLane bijection [X, K(A, n)] \cong H^n(X, A) for a CW-complex X, is then generalised to a bijection [X, BC] \cong H^0(X, C) However, as pointed out in (5), these results are still "too abelian", and much more work is needed to realise Grothendieck's programme.

The theory of tubular neighbourhoods has been developed in papers by D.A. Cox.

'Algebraic tubular neighbourhoods I, II', Math. Scand. 42 (1978), 211 – 228, 229 – 242.

Another of his papers seems relevant:

'Homotopy theory of simplicial schemes', Compositio Math. 39(1979) 263 – 296.

R. BROWN

School of Mathematics and Computer Science, University College of North Wales, Bangor, Gwynedd. U.K.« U.K. » ajouté à l'encre bleue

November, 1982

au pied de la page, au crayon gris, de la main de R. Brown (vérifié sur le fac-similé par Michel Hua, 2026-10-15), comme « Memoir SMF » p. 117 : « 11 A van Kampen Theorem for 2-cat-groups has now been proved by Brown and Loday. »