HOME

TheInfoList



OR:

The ''Éléments de géométrie algébrique'' ("Elements of
Algebraic Geometry Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
") by Alexander Grothendieck (assisted by
Jean Dieudonné Jean Alexandre Eugène Dieudonné (; 1 July 1906 – 29 November 1992) was a French mathematician, notable for research in abstract algebra, algebraic geometry, and functional analysis, for close involvement with the Nicolas Bourbaki pseudonym ...
), or ''EGA'' for short, is a rigorous treatise, in
French French (french: français(e), link=no) may refer to: * Something of, from, or related to France ** French language, which originated in France, and its various dialects and accents ** French people, a nation and ethnic group identified with Franc ...
, on
algebraic geometry Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
that was published (in eight parts or fascicles) from 1960 through 1967 by the ''
Institut des Hautes Études Scientifiques The Institut des hautes études scientifiques (IHÉS; English: Institute of Advanced Scientific Studies) is a French research institute supporting advanced research in mathematics and theoretical physics. It is located in Bures-sur-Yvette, jus ...
''. In it, Grothendieck established systematic foundations of algebraic geometry, building upon the concept of schemes, which he defined. The work is now considered the foundation stone and basic reference of modern algebraic geometry.


Editions

Initially thirteen chapters were planned, but only the first four (making a total of approximately 1500 pages) were published. Much of the material which would have been found in the following chapters can be found, in a less polished form, in the '' Séminaire de géométrie algébrique'' (known as ''SGA''). Indeed, as explained by Grothendieck in the preface of the published version of ''SGA'', by 1970 it had become clear that incorporating all of the planned material in ''EGA'' would require significant changes in the earlier chapters already published, and that therefore the prospects of completing ''EGA'' in the near term were limited. An obvious example is provided by derived categories, which became an indispensable tool in the later ''SGA'' volumes, but was not yet used in ''EGA III'' as the theory was not yet developed at the time. Considerable effort was therefore spent to bring the published ''SGA'' volumes to a high degree of completeness and rigour. Before work on the treatise was abandoned, there were plans in 1966–67 to expand the group of authors to include Grothendieck's students
Pierre Deligne Pierre René, Viscount Deligne (; born 3 October 1944) is a Belgian mathematician. He is best known for work on the Weil conjectures, leading to a complete proof in 1973. He is the winner of the 2013 Abel Prize, 2008 Wolf Prize, 1988 Crafoord P ...
and Michel Raynaud, as evidenced by published correspondence between Grothendieck and
David Mumford David Bryant Mumford (born 11 June 1937) is an American mathematician known for his work in algebraic geometry and then for research into vision and pattern theory. He won the Fields Medal and was a MacArthur Fellow. In 2010 he was awarded t ...
. Grothendieck's letter of 4 November 1966 to Mumford also indicates that the second-edition revised structure was in place by that time, with Chapter VIII already intended to cover the
Picard scheme In mathematics, the Picard group of a ringed space ''X'', denoted by Pic(''X''), is the group of isomorphism classes of invertible sheaves (or line bundles) on ''X'', with the group operation being tensor product. This construction is a glob ...
. In that letter he estimated that at the pace of writing up to that point, the following four chapters (V to VIII) would have taken eight years to complete, indicating an intended length comparable to the first four chapters, which had been in preparation for about eight years at the time. Grothendieck nevertheless wrote a revised version of ''EGA I'' which was published by
Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 ...
. It updates the terminology, replacing "prescheme" by "scheme" and "scheme" by "separated scheme", and heavily emphasizes the use of
representable functor In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. Such functors give representations of an abstract category in terms of known structures (i.e. sets a ...
s. The new preface of the second edition also includes a slightly revised plan of the complete treatise, now divided into twelve chapters. Grothendieck's ''EGA V'' which deals with Bertini type theorems is to some extent available fro
the Grothendieck Circle website
''Monografie Matematyczne'' in Poland has accepted this volume for publication, but the editing process is quite slow (as of 2010). James Milne has preserved some of the original Grothendieck notes and a translation of them into English. They may be available from his websites connected with the
University of Michigan in Ann Arbor , mottoeng = "Arts, Knowledge, Truth" , former_names = Catholepistemiad, or University of Michigania (1817–1821) , budget = $10.3 billion (2021) , endowment = $17 billion (2021)As o ...
.


Chapters

The following table lays out the original and revised plan of the treatise and indicates where (in ''SGA'' or elsewhere) the topics intended for the later, unpublished chapters were treated by Grothendieck and his collaborators. In addition to the actual chapters, an extensive "Chapter 0" on various preliminaries was divided between the volumes in which the treatise appeared. Topics treated range from
category theory Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, ca ...
, sheaf theory and
general topology In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometri ...
to
commutative algebra Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prom ...
and
homological algebra Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topolo ...
. The longest part of Chapter 0, attached to Chapter IV, is more than 200 pages. Grothendieck never gave permission for the 2nd edition of ''EGA I'' to be republished, so copies are rare but found in many libraries. The work on ''EGA'' was finally disrupted by Grothendieck's departure first from IHÉS in 1970 and soon afterwards from the mathematical establishment altogether. Grothendieck's incomplete notes on ''EGA V'' can be found a
Grothendieck Circle
In historical terms, the development of the ''EGA'' approach set the seal on the application of sheaf theory to algebraic geometry, set in motion by Serre's basic paper '' FAC''. It also contained the first complete exposition of the algebraic approach to differential calculus, via principal parts. The foundational unification it proposed (see for example
unifying theories in mathematics There have been several attempts in history to reach a unified theory of mathematics. Some of the most respected mathematicians in the academia have expressed views that the whole subject should be fitted into one theory. Historical perspective ...
) has stood the test of time. ''EGA'' has been scanned by NUMDAM and is available a
their website
under "Publications mathématiques de l'IHÉS", volumes 4 (EGAI), 8 (EGAII), 11 (EGAIII.1re), 17 (EGAIII.2e), 20 (EGAIV.1re), 24 (EGAIV.2e), 28 (EGAIV.3e) and 32 (EGAIV.4e).


Bibliographic information

* * * * * * * * *


See also

* '' Fondements de la Géometrie Algébrique'' (''FGA'') * ''
Séminaire de Géométrie Algébrique du Bois Marie In mathematics, the ''Séminaire de Géométrie Algébrique du Bois Marie'' (''SGA'') was an influential seminar run by Alexander Grothendieck. It was a unique phenomenon of research and publication outside of the main mathematical journals that ...
'' (''SGA'')


References


External links

*Scanned copies and partial English translations
Mathematical Texts
*Detailed table of contents
''EGA''''SGA'', ''EGA'', ''FGA''
by Mateo Carmona
The Grothendieck circle
maintains copies of EGA, SGA, and other of Grothendieck's writings {{DEFAULTSORT:Elements De Geometrie Algebrique Scheme theory 1960 non-fiction books Mathematics books Unfinished books Mathematics literature