"Esquisse d'un Programme" (Sketch of a Programme) is a famous proposal for long-term mathematical research made by the German-born, French mathematician Alexander Grothendieck in 1984.[1] He pursued the sequence of logically linked ideas in his important project proposal from 1984 until 1988, but his proposed research continues to date to be of major interest in several branches of advanced mathematics. Grothendieck's vision provides inspiration today for several developments in mathematics such as the extension and generalization of Galois theory, which is currently being extended based on his original proposal.
Brief history
editSubmitted in 1984, the Esquisse d'un Programme[2][3] was a proposal submitted by Alexander Grothendieck for a position at the Centre National de la Recherche Scientifique. The proposal was not successful, but Grothendieck obtained a special position where, while keeping his affiliation at the University of Montpellier, he was paid by the CNRS and released of his teaching obligations. Grothendieck held this position from 1984 till 1988.[4][5] This proposal was not formally published until 1997, because the author "could not be found, much less his permission requested".[6] The outlines of dessins d'enfants, or "children's drawings", and "anabelian geometry", that are contained in this manuscript continue to inspire research; thus, "Anabelian geometry is a proposed theory in mathematics, describing the way the algebraic fundamental group G of an algebraic variety V, or some related geometric object, determines how V can be mapped into another geometric object W, under the assumption that G is not an abelian group, in the sense of being strongly noncommutative. The idea of anabelian (an alpha privative an- before abelian), first introduced in Letter to Faltings (June 27, 1983),[7] is developed in Esquisse d'un Programme. While the work of Grothendieck was for many years unpublished, and unavailable through the traditional formal scholarly channels, the formulation and predictions of the proposed theory received much attention, and some alterations, at the hands of a number of mathematicians. Those who have researched in this area have obtained some expected and related results, and in the 21st century the beginnings of such a theory started to be available."
Abstract of Grothendieck's programme
edit("Sommaire")
- 1. The Proposal and enterprise ("Envoi").
- 2. "Teichmüller's Lego-game and the Galois group of Q over Q" ("Un jeu de “Lego-Teichmüller” et le groupe de Galois de Q sur Q").
- 3. Number fields associated with dessins d'enfant". ("Corps de nombres associés à un dessin d’enfant").
- 4. Regular polyhedra over finite fields ("Polyèdres réguliers sur les corps finis").
- 5. General topology or a 'Moderated Topology' ("Haro sur la topologie dite 'générale', et réflexions heuristiques vers une topologie dite 'modérée").
- 6. Differentiable theories and moderated theories ("Théories différentiables" (à la Nash) et “théories modérées").
- 7. Pursuing Stacks ("À la Poursuite des Champs").[8]
- 8. Two-dimensional geometry ("Digressions de géométrie bidimensionnelle").[9]
- 9. Summary of proposed studies ("Bilan d’une activité enseignante").
- 10. Epilogue.
- Notes
Suggested further reading for the interested mathematical reader is provided in the References section.
Extensions of Galois's theory for groups: Galois groupoids, categories and functors
editGalois developed a powerful, fundamental algebraic theory in mathematics that provides very efficient computations for certain algebraic problems by utilizing the algebraic concept of groups, which is now known as the theory of Galois groups; such computations were not possible before, and also in many cases are much more effective than the 'direct' calculations without using groups.[10] To begin with, Alexander Grothendieck stated in his proposal: "Thus, the group of Galois is realized as the automorphism group of a concrete, pro-finite group which respects certain structures that are essential to this group." This fundamental, Galois group theory in mathematics has been considerably expanded, at first to groupoids—as proposed in Alexander Grothendieck's Esquisse d' un Programme (EdP)—and now already partially carried out for groupoids; the latter are now further developed beyond groupoids to categories by several groups of mathematicians. Here, we shall focus only on the well-established and fully validated extensions of Galois' theory. Thus, EdP also proposed and anticipated, along with Grothendieck's previous IHÉS seminars (SGA1 to SGA4) held in the 1960s, the development of even more powerful extensions of the original Galois's theory for groups by utilizing categories, functors and natural transformations, as well as further expansion of the manifold of ideas presented in Alexander Grothendieck's Descent Theory. The notion of motive has also been pursued actively. This was developed into the motivic Galois group, Grothendieck topology and Grothendieck category. Such developments were recently extended in algebraic topology via representable functors and the fundamental groupoid functor.
See also
editReferences
edit- ^ Scharlau, Winifred (September 2008), written at Oberwolfach, Germany, "Who is Alexander Grothendieck", Notices of the American Mathematical Society (Providence, RI: American Mathematical Society) 55(8): 930–941, ISSN 1088-9477, OCLC 34550461, http://www.ams.org/notices/200808/tx080800930p.pdf
- ^ Alexander Grothendieck, 1984. "Esquisse d'un Programme", (1984 manuscript), finally published in Schneps and Lochak (1997, I), pp.5-48; English transl., ibid., pp. 243-283. MR1483107
- ^ "Sketch of a programme (English translation, hosted by the University of Extremadura)" (PDF). Retrieved October 28, 2012.
- ^ Rehmeyer, Julie (May 9, 2008), "Sensitivity to the Harmony of Things", Science News
- ^ Jackson, Allyn (November, 2004) "Comme Appelé du Néant - As if summoned from the void: the life of Alexandre Grothendieck", Notices of the AMS
- ^ Schneps and Lochak (1997, I) p.1
- ^ Alexandre Grothendieck, "Letter to G. Faltings (translation into English), June 27, 1983", Geometry Galois Actions (1.Around Grothendieck's Esquisse d'un Programme) The London Mathematical Society: 285-293, https://www.cambridge.org/core/books/geometric-galois-actions/letter-to-g-faltings-translation-into-english/40DF62D52D03CB79DD15DCEA24D85368 (1997)
- ^ "The origins of Alexander Grothendieck's 'Pursuing Stacks'". Archived from the original on 2012-07-22. Retrieved 2008-10-03.
- ^ Cartier, Pierre (2001), "A mad day's work: from Grothendieck to Connes and Kontsevich The evolution of concepts of space and symmetry", Bull. Amer. Math. Soc. 38(4): 389–408, <http://www.ams.org/bull/2001-38-04/S0273-0979-01-00913-2/S0273-0979-01-00913-2.pdf>. An English translation of Cartier (1998)
- ^ Cartier, Pierre (1998), "La Folle Journée, de Grothendieck à Connes et Kontsevich — Évolution des Notions d'Espace et de Symétrie", Les Relations entre les Mathématiques et la Physique Théorique — Festschrift for the 40th anniversary of the IHÉS, Institut des Hautes Études Scientifiques, pp. 11–19
Related works by Alexander Grothendieck
edit- Alexander Grothendieck. 1971, Revêtements Étales et Groupe Fondamental (SGA1), chapter VI: Catégories fibrées et descente, Lecture Notes in Math. 224, Springer-Verlag: Berlin.
- Alexander Grothendieck. 1957, Sur quelques points d'algèbre homologique, Tohoku Mathematics Journal, 9, 119-221.
- Alexander Grothendieck and Jean Dieudonné.: 1960, Éléments de géométrie algébrique., Publ. Inst. des Hautes Études Scientifiques, (IHÉS), 4.
- Alexander Grothendieck et al.,1971. Séminaire de Géométrie Algébrique du Bois-Marie, Vol. 1-7, Berlin: Springer-Verlag.
- Alexander Grothendieck. 1962. Séminaires en Géométrie Algébrique du Bois-Marie, Vol. 2 - Cohomologie Locale des Faisceaux Cohèrents et Théorèmes de Lefschetz Locaux et Globaux., pp. 287. (with an additional contributed exposé by Mme. Michele Raynaud). (Typewritten manuscript available in French; see also a brief summary in English References Cited:
- Jean-Pierre Serre. 1964. Cohomologie Galoisienne, Springer-Verlag: Berlin.
- J. L. Verdier. 1965. Algèbre homologiques et Catégories derivées. North Holland Publ. Cie).
- Alexander Grothendieck et al. Séminaires en Géometrie Algèbrique- 4, Tome 1, Exposé 1 (or the Appendix to Exposée 1, by `N. Bourbaki) for more detail and a large number of results. AG4 is freely available in French; also available is an extensive Abstract in English.
- Alexander Grothendieck, 1984. "Esquisse d'un Programme", (1984 manuscript), finally published in "Geometric Galois Actions", L. Schneps, P. Lochak, eds., London Math. Soc. Lecture Notes 242, Cambridge University Press, 1997, pp. 5-48; English transl., ibid., pp. 243-283. MR1483107.
- Alexander Grothendieck, "La longue marche in à travers la théorie de Galois." = "The Long March Towards/Across the Theory of Galois", 1981 manuscript, University of Montpellier preprint series 1996, edited by J. Malgoire.
Other related publications
edit- Schneps, Leila (1994), The Grothendieck Theory of Dessins d'Enfants, London Mathematical Society Lecture Note Series, Cambridge University Press.
- Schneps, Leila; Lochak, Pierre, eds. (1997), Geometric Galois Actions I: Around Grothendieck's Esquisse D'un Programme, London Mathematical Society Lecture Note Series, vol. 242, Cambridge University Press, ISBN 978-0-521-59642-8
- Schneps, Leila; Lochak, Pierre, eds. (1997), Geometric Galois Actions II: The Inverse Galois Problem, Moduli Spaces and Mapping Class Groups, London Mathematical Society Lecture Note Series, vol. 243, Cambridge University Press, ISBN 978-0-521-59641-1
- Harbater, David; Schneps, Leila (2000), "Fundamental groups of moduli and the Grothendieck–Teichmüller group", Trans. Amer. Math. Soc., 352 (7): 3117–3148, doi:10.1090/S0002-9947-00-02347-3.
External links
edit- The best rejected proposal ever, Never Ending Books, Lieven le Bruyn
- Notes Anabéliennes Archived 2022-05-20 at the Wayback Machine, A. Grothendieck.