Does the “Grothendieck Machine” rest Only on Metamathematical Vocabulary? Bourbaki and Categories in the Fifties

Ralf Krömer

Revue d'histoire des mathématiques (2006)

  • Volume: 12, Issue: 1, page 155-198
  • ISSN: 1262-022X

Abstract

top
The Bourbaki discussion on category theory in the late 1950s is reconstructed with the help of unpublished sources contained in the French Bourbaki archives and in the late Samuel Eilenberg’s Nachlaß, a recently rediscovered collection now in the Columbia University archives. Special attention is given to the relation between this discussion and Grothendieck’s participation in the Bourbaki project. Grothendieck’s work on homological algebra and algebraic geometry was the major motivation for attempts to adopt categories in Bourbaki’s Eléments; but this adoption failed for several reasons, including a conflict of Bourbaki’s concept of structure with categories, but also the problems to give set theoretical foundations for category theory (which eventually led Grothendieck to introduce the notion of Universe which bears nowadays his name) and André Weil’s personal disapproval. It is shown that Bourbaki’s refusal to adopt category theory was among the reasons which led Grothendieck to leave the group.

How to cite

top

Krömer, Ralf. "La «machine de Grothendieck» se fonde-t-elle seulement sur des vocables métamathématiques ? Bourbaki et les catégories au cours des années cinquante." Revue d'histoire des mathématiques 12.1 (2006): 155-198. <http://eudml.org/doc/252066>.

@article{Krömer2006,
abstract = {On reconstruit la discussion de Bourbaki sur la théorie des catégories dans les années 1950 ; les sources non publiées qui permettent cette reconstruction font partie des archives Bourbaki en France et du Nachlaß de Samuel Eilenberg, collection récemment redécouverte et depuis incorporée aux archives de la Columbia University. On étudie surtout la relation entre cette discussion et la participation de Grothendieck au projet Bourbaki. Ses travaux sur l’algèbre homologique et sur la géométrie algébrique étaient la motivation principale pour une adoption des catégories par Bourbaki. Or, les raisons pour qu’une telle adoption n’ait pas eu lieu sont multiples : outre le conflit entre les catégories et le concept bourbachique de structure, les problèmes dans le fondement ensembliste des catégories (problèmes qui ont d’ailleurs conduit Grothendieck à introduire ses Univers) et l’opposition personnelle d’André Weil ont été décisifs. En fin de compte, le refus de Bourbaki d’adopter les catégories figure parmi les raisons pour la démission de Grothendieck du groupe.},
author = {Krömer, Ralf},
journal = {Revue d'histoire des mathématiques},
keywords = {algèbre homologique; Bourbaki; théorie des catégories; Eilenberg; géométrie algébrique; Grothendieck; métamathématique; structuralisme; théorie des ensembles; univers; Weil; Eilenburg; category theory; homological algebra; algebraic geometry},
language = {fre},
number = {1},
pages = {155-198},
publisher = {Société mathématique de France},
title = {La «machine de Grothendieck» se fonde-t-elle seulement sur des vocables métamathématiques ? Bourbaki et les catégories au cours des années cinquante},
url = {http://eudml.org/doc/252066},
volume = {12},
year = {2006},
}

TY - JOUR
AU - Krömer, Ralf
TI - La «machine de Grothendieck» se fonde-t-elle seulement sur des vocables métamathématiques ? Bourbaki et les catégories au cours des années cinquante
JO - Revue d'histoire des mathématiques
PY - 2006
PB - Société mathématique de France
VL - 12
IS - 1
SP - 155
EP - 198
AB - On reconstruit la discussion de Bourbaki sur la théorie des catégories dans les années 1950 ; les sources non publiées qui permettent cette reconstruction font partie des archives Bourbaki en France et du Nachlaß de Samuel Eilenberg, collection récemment redécouverte et depuis incorporée aux archives de la Columbia University. On étudie surtout la relation entre cette discussion et la participation de Grothendieck au projet Bourbaki. Ses travaux sur l’algèbre homologique et sur la géométrie algébrique étaient la motivation principale pour une adoption des catégories par Bourbaki. Or, les raisons pour qu’une telle adoption n’ait pas eu lieu sont multiples : outre le conflit entre les catégories et le concept bourbachique de structure, les problèmes dans le fondement ensembliste des catégories (problèmes qui ont d’ailleurs conduit Grothendieck à introduire ses Univers) et l’opposition personnelle d’André Weil ont été décisifs. En fin de compte, le refus de Bourbaki d’adopter les catégories figure parmi les raisons pour la démission de Grothendieck du groupe.
LA - fre
KW - algèbre homologique; Bourbaki; théorie des catégories; Eilenberg; géométrie algébrique; Grothendieck; métamathématique; structuralisme; théorie des ensembles; univers; Weil; Eilenburg; category theory; homological algebra; algebraic geometry
UR - http://eudml.org/doc/252066
ER -

References

top
  1. [1] P. Ageron, “La philosophie mathématique de Roger Apéry”, Philosophia Scientiæ cahier spécial 5 (2005), p. 233-256 
  2. [2] M. Artin, A. Grothendieck & J. L. Verdier, Théorie des topos et cohomologie étale des schémas. Tome 1 : Théorie des topos. Séminaire de Géométrie Algébrique du Bois-Marie 1963–1964 (SGA 4), Lecture Notes Math. 269, Springer-Verlag, 1972 
  3. [3] H. Bass, H. Cartan, P. Freyd, A. Heller & S. Mac Lane, “Samuel Eilenberg (1913–1998)”, Notices Amer. Math. Soc. 45 (1998) no. 10, p. 1344-1352 Zbl0908.01023MR1646820
  4. [4] L. Beaulieu, L’Atelier N. Bourbaki, 1934-1950, 
  5. [5] L. Beaulieu, “Bourbaki. Une histoire du groupe de mathématiciens français et de ses travaux (1934-1944)”, Ph. D. Thesis, 1990 
  6. [6] L. Beaulieu, Jeux d’esprit et jeux de mémoire chez N. Bourbaki, in: La Mise en mémoire de la science. Pour une ethnographie historique des rites commémoratifs (P. Abir-Am ed.), Éditions des Archives contemporaines, Paris, 1998, p. 75-123 Zbl1005.01009MR1834830
  7. [7] L. Beaulieu, “Bourbaki’s art of memory. Commemorative practices in science : historical perspectives on the politics of collective memory”, Osiris (2) 14 (1999), p. 219-251 MR1787553
  8. [8] N. Bourbaki, Éléments de mathématique. Première partie. Livre I : Théorie des ensembles (Fascicule de résultats), Hermann, 1939 Zbl0041.36701JFM65.1163.04
  9. [9] N. Bourbaki, Éléments de mathématique. Première partie. Livre II : Algèbre. Chapitre 3 : Algèbre multilinéaire, Hermann, 1948 Zbl0041.36701
  10. [10] N. Bourbaki, “Foundations of mathematics for the working mathematician”, J. Symb. Logic 14 (1949), p. 1-8 Zbl0034.00105MR30910
  11. [11] N. Bourbaki, Eléments de mathématique. Première partie. Livre V : Espaces vectoriels topologiques. Chapitre 2 : Ensembles convexes et espaces localement convexes, Hermann, 1953 Zbl0050.38903MR54161
  12. [12] N. Bourbaki, Eléments de mathématique. Première partie. Livre I : Théorie des ensembles. Chapitre 1 : Description de la mathématique formelle. Chapitre 2 : Théorie des ensembles, Hermann, 1954 Zbl0041.36701MR65611
  13. [13] N. Bourbaki, Éléments de mathématique. Première partie. Livre I : Théorie des ensembles. Chapitre 4 : Structures, Hermann, 1957 Zbl0041.36701MR97335
  14. [14] N. Bourbaki, Éléments de mathématique. Première partie. Livre II : Algèbre. Chapitre 3 : Algèbre multilinéaire, Hermann, 1958 Zbl0041.36701MR98114
  15. [15] N. Bourbaki, Éléments de mathématique. Première partie. Livre III ; Topologie générale. Chap. 3 : Groupes topologiques., Hermann, 1960 Zbl0050.38903
  16. [16] N. Bourbaki, Éléments de mathématique. Première partie. Livre II : Algèbre. Chapitre 2 : Algèbre linéaire, Hermann, 1962 Zbl0041.36701
  17. [17] A. Borel & J.-P. Serre, “Le théorème de Riemann-Roch”, Bull. Soc. Math. France 86 (1958), p. 97-136 Zbl0091.33004MR116022
  18. [18] P. Cartier, Grothendieck et les motifs, in: Notes sur l’histoire et la philosophie des mathématiques IV (P. Cartier & A. Herreman ed.), 2000 
  19. [19] H. Cartan, “Samuel Eilenberg (1913–1998)”, Gaz. Math. 77 (1998), p. 72-75 Zbl0917.01034MR1789375
  20. [20] C. Chevalley & S. Eilenberg, “Cohomology theory of Lie groups and Lie algebras”, Trans. Amer. Math. Soc. 63 (1948), p. 85-124 Zbl0031.24803MR24908
  21. [21] M. Chouchan, Nicolas Bourbaki. Faits et légendes, Editions du Choix, 1995 
  22. [22] L. Corry, Modern Algebra and the Rise of Mathematical Structures, Historical Studies. Science Networks 17, Birkhäuser, 1996 Zbl0858.01022MR1391720
  23. [23] P. Colmez & J.-P. Serre, Correspondance Grothendieck-Serre, Documents mathématiques 2, SMF, 2001 Zbl0986.01019MR1942134
  24. [24] S. Eilenberg & N. E. Steenrod, Foundations of Algebraic Topology, Princeton University Press, 1952 Zbl0047.41402MR50886
  25. [25] P. Gabriel, “Des catégories abéliennes”, Bull. Soc. Math. France 90 (1962), p. 323-448 Zbl0201.35602
  26. [26] K. Gödel, The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory, Annals of Math. Studies 3, Princeton University Press, 1940 Zbl0061.00902MR2514
  27. [27] R. Godement, Théorie des faisceaux et topologie algébrique, Hermann, 1958 Zbl0080.16201MR102797
  28. [28] A. Grothendieck, Produits tensoriels topologiques et espaces nucléaires, Memoirs Amer. Math. Soc. 16, AMS, 1955 Zbl0064.35501MR75539
  29. [29] A. Grothendieck, “La théorie de Fredholm”, Bull. Soc. Math. France 84 (1956), p. 319-384 Zbl0073.10101MR88665
  30. [30] A. Grothendieck, “Sur quelques points d’algèbre homologique”, Tôhoku Math. J. 9 (1957), p. 119-221 Zbl0118.26104MR102537
  31. [31] A. Grothendieck (ed.), Revêtements étales et groupe fondamental. Séminaire de Géométrie Algébrique du Bois Marie 1960–1961 (SGA 1), Lecture Notes Math. 224, Springer-Verlag, 1971 Zbl0234.14002
  32. [32] D. Guedj, “Nicholas Bourbaki, collective mathematician : an interview with Claude Chevalley. Translated from the French by Jeremy Gray”, Math. Intelligencer 7 (1985) no. 2, p. 18-22 Zbl0558.01035MR784939
  33. [33] D. Hilbert & P. Bernays, Grundlagen der Mathematik, Grundlehren der mathematischen Wissenschaften 50, Springer, 1970 Zbl0211.00901MR272596
  34. [34] A. Jackson, “Interview with Henri Cartan [b. 1904]”, Notices Amer. Math. Soc. 46 (1999) no. 7, p. 782-788 Zbl1194.01094MR1697836
  35. [35] I. Kaplanski, “Review de Formes sesquilinéaires et formes quadratiques (Bourbaki, Éléments de mathématique, Part I, Livre II, chap.9 ; 1959)”, Bull. Amer. Math. Soc. 66 (1960), p. 266-267 
  36. [36] R. Krömer, Die Kategorientheorie : ihre mathematischen Leistungen, ihre erkenntnistheoretischen Implikationen. Eine historische und philosophische Würdigung, Thèse de doctorat, Université de la Sarre (Allemagne) et Université Nancy 2, 2004, Résumé détaillé en français. Voir http ://www.univ-nancy2.fr/poincare/perso/kroemer/. Une version anglaise paraîtra dans la collection Historical Studies. Science Networks, Birkhäuser. 
  37. [37] R. Krömer, “Le pragmatisme peircéen, la théorie des catégories et le programme de Thiel”, Philosophia Scientiæ 9 (2005) no. 2, p. 79-96 
  38. [38] K. Kunen, Set Theory. An Introduction to Independence Proofs, Studies in Logic and the Foundations of Mathematics 102, North–Holland, 1980 Zbl0443.03021MR597342
  39. [39] S. Mac Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics 5, Springer, 1971 Zbl0232.18001MR354798
  40. [40] S. Mac Lane, Concepts and categories in perspective, in: A Century of Mathematics in America. Part I (P. Duren & U. C. Merzbach ed.), AMS, Providence, RI, 1988, p. 323–365 Zbl0665.01002MR1003181
  41. [41] S. Mac Lane, The development and prospects for category theory, in: The European Colloquium of Category Theory Tours, 1994, Appl. Categ. Structures 4, 1996, p. 129–136 Zbl0854.18002MR1406093
  42. [42] P. Samuel, “On universal mappings and free topological groups”, Bull. Amer. Math. Soc. 54 (1948), p. 591-598 Zbl0031.41702MR25152
  43. [43] M. Senechal, “The continuing silence of Bourbaki—an Interview with Pierre Cartier, June 18, 1997”, Math. Intelligencer 20 (1998) no. 1, p. 22-28 Zbl0915.01010MR1601823
  44. [44] J.-P. Serre, “Faisceaux algébriques cohérents”, Annals of Math. 61 (1955), p. 197-278 Zbl0067.16201MR68874
  45. [45] J.-P. Serre, “Géométrie algébrique et géométrie analytique”, Ann. Inst. Fourier, Grenoble 6 (1955–1956), p. 1-42 Zbl0075.30401MR82175
  46. [46] A. Tarski, “Über unerreichbare Kardinalzahlen”, Fund. Math. 30 (1938), p. 68-89 Zbl0018.34702JFM64.0033.04
  47. [47] A. Weil, L’intégration dans les groupes topologiques et ses applications, Hermann, 1940 Zbl0063.08195JFM66.1205.02
  48. [48] A. Weil, Foundations of Algebraic Geometry, AMS, 1962 Zbl0063.08198MR144898

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.