Generated by GPT-5-mini| EGA (Grothendieck) | |
|---|---|
| Title | EGA |
| Author | Alexander Grothendieck et al. |
| Language | French |
| Subject | Algebraic geometry |
| Publisher | Institut des Hautes Études Scientifiques |
| Pub date | 1960–1967 (original volumes) |
| Media type | |
EGA (Grothendieck) is a foundational multi-volume work in algebraic geometry authored principally by Alexander Grothendieck with collaborators including Jean Dieudonné and others, produced at institutions such as the Institut des Hautes Études Scientifiques and the Centre National de la Recherche Scientifique. The work systematically reconstructs classical subjects treated by Oscar Zariski, André Weil, and Claude Chevalley using categorical and functorial methods developed in the milieu of Bourbaki and influenced by contemporaries such as Jean-Pierre Serre, Henri Cartan, and Jean-Louis Koszul. EGA's scope reshaped subsequent research at centers like École Normale Supérieure, University of Paris, Columbia University, and Harvard University.
EGA grew out of seminars and collaborations among figures linked to Séminaire Bourbaki, Cartan Seminar, and the IHÉS environment where Grothendieck worked with algebraists and geometers including Jean-Pierre Serre, Pierre Samuel, and Michel Raynaud. Its genesis followed Grothendieck's foundational contributions to category theory building on work by Samuel Eilenberg, Saunders Mac Lane, and earlier algebraic traditions of Emmy Noether and David Hilbert. The project responded to problems posed in the works of Oscar Zariski, André Weil, François Bruhat, and Jean Leray, and was contemporaneous with developments by Serre's FAC and the Weil conjectures program pursued by Bernard Dwork, Pierre Deligne, and others. Institutional support and editorial channels involved IHÉS, CNRS, and publishers connected to Hermann (publisher) and university presses.
EGA is organized into numbered sections and chapters that systematize geometry via scheme theory, sheaf-theoretic notions, and cohomology. Central building blocks include the formalism of categories and functors influenced by Eilenberg–Mac Lane, as well as notions of limits and adjoints articulated by Grothendieck and disseminated through contacts with Jean Bénabou and Pierre Gabriel. The volumes treat topics such as schemes, morphisms, fiber products, flatness (with antecedents in work by Oscar Zariski and Masayoshi Nagata), cohomology of sheaves building on Jean-Pierre Serre's results, and formal geometry related to studies by Alexander Grothendieck and Michel Grothendieck's collaborators. EGA systematically develops the notion of representable functors, Yoneda lemma applications tied to Nicolas Bourbaki-era pedagogy, and structural tools used later in the research of Pierre Deligne, Luc Illusie, Michel Raynaud, and Ofer Gabber.
EGA codifies core assertions about the behavior of schemes under operations such as base change, completion, and specialization, proving general results on properties like flatness, étale morphisms (linked to ideas from Jean-Pierre Serre and Grothendieck's notes), unramified morphisms, and proper morphisms echoing classical theorems of Zariski and Weil. It formalizes cohomological vanishing statements that interface with later proofs of the Weil conjectures by Pierre Deligne, and furnishes criteria for descent, faithfully flat descent, and deformation theory that influenced work by Michael Artin, John Tate, and David Mumford. The text establishes general formalisms for Nakayama lemma-type results, base-change theorems, and the behavior of coherent sheaves, connecting to developments by Jean-Pierre Serre, Alexander Grothendieck's school, and later extensions by Grothendieck's students including Raynaud and Illusie.
The original EGA volumes were issued in French across the 1960s through institutional channels such as IHÉS and were edited and typeset with contributions from mathematicians affiliated with CNRS and Université Paris-Sud. Later reprints and scanned editions circulated through university libraries at institutions like Harvard University, Princeton University, University of Cambridge, and repositories maintained by mathematical societies associated with American Mathematical Society and Mathematical Reviews. Some material was incorporated into or complemented by lecture series and seminars at École Normale Supérieure and Institute for Advanced Study, and later expositions appeared in works by Jean-Pierre Serre, Pierre Deligne, David Mumford, and Robin Hartshorne which referenced EGA's formulations. Subsequent clarifications and expansions were provided in companion texts such as SGA volumes, notes by Raynaud, and treatises by Eisenbud and Hartshorne that positioned EGA within modern curricula.
EGA's influence permeates modern algebraic geometry curricula at universities like University of California, Berkeley, Princeton University, University of Oxford, and Cambridge University, shaping research programs in areas pursued by mathematicians including Pierre Deligne, Michael Artin, David Mumford, Jean-Pierre Serre, Alexander Grothendieck's students, and later generations such as Maxim Kontsevich, Kiran Kedlaya, Bhargav Bhatt, and Peter Scholze. Its abstraction informed categorical approaches in related fields influenced by Saunders Mac Lane and Samuel Eilenberg, and contributed to conceptual tools used in proofs of conjectures by Weil, formulations in motivic cohomology developed by Vladimir Voevodsky, and structural foundations used in the work of Jacob Lurie and Dmitry Kaledin. EGA remains a touchstone referenced in expository and research works published by societies such as the American Mathematical Society and in lecture series at institutions including IHÉS and École Normale Supérieure.