Alexander Grothendieck

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Alexander Grothendieck
Alexander Grothendieck.jpg
Alexander Grothendieck in Montreal, 1970
Born (1928-03-28) 28 March 1928 (age 86)
Berlin, Prussia, Germany
Residence French Pyrenees
Nationality None (Until 1980s)
French (Since 1980s)[1][2][3]
Fields Mathematics
Institutions Institut des Hautes Études Scientifiques
Alma mater University of Montpellier
University of Nancy
Doctoral advisor Laurent Schwartz and Jean Dieudonné
Doctoral students Pierre Berthelot
Carlos Contou-Carrere
Pierre Deligne
Michel Demazure
Pierre Gabriel
Jean Giraud
Luc Illusie
Michel Raynaud
Jean-Louis Verdier
Notable awards Fields Medal (1966)
Crafoord Prize (1988), declined

Alexander Grothendieck (German: [ˈɡroːtn̩diːk]; French: [ɡʁɔtɛndik]; born 28 March 1928) is a French[1][2][3] mathematician, born in Germany, raised and living primarily in France, and who spent much of his working life stateless, who is the central figure behind the creation of the modern theory of algebraic geometry. His research program vastly extended the scope of the field, incorporating major elements of commutative algebra, homological algebra, sheaf theory, and category theory into its foundations. This new perspective led to revolutionary advances across many areas of pure mathematics. He consistently spelt his first name "Alexander" rather than the French "Alexandre";[4] his family name, "Grothendieck" (from his mother) is Low German, which is similar to Dutch, hence he is sometimes mistakenly believed to be of Dutch origin.[5]

After a very productive public mathematical career lasting 1949–1970, particularly 1958–1970 (when he was at IHES), Grothendieck largely ceased mathematical activity after 1970 (age 42), though with some private work 1970–1988. Driven by deep personal and political convictions, Grothendieck left the Institut des Hautes Études Scientifiques, where he had been appointed professor and accomplished his greatest work, after a dispute over military funding in 1970. His mathematical activity essentially ceased after this, and he devoted his energies to political causes, though he did produce some mathematical work privately. He formally retired in 1988 and within a few years moved to the Pyrenees, where he currently lives in isolation from human society.[6]

Influence[edit]

Within algebraic geometry itself, his theory of schemes is used in technical work. His generalization of the classical Riemann-Roch theorem started the study of algebraic and topological K-theory. His construction of new cohomology theories has left consequences for algebraic number theory, algebraic topology, and representation theory. His creation of topos theory has appeared in set theory and logic.

One of his results is the discovery of the first arithmetic Weil cohomology theory: the ℓ-adic étale cohomology. This result opened the way for a proof of the Weil conjectures, ultimately completed by his student Pierre Deligne. To this day, ℓ-adic cohomology remains a fundamental tool for number theorists, with applications to the Langlands program.

Grothendieck’s way of thinking has influenced generations of mathematicians long after his departure from mathematics. His emphasis on the role of universal properties brought category theory into the mainstream as an important organizing principle. His notion of abelian category is now the basic object of study in homological algebra. His conjectural theory of motives has been a driving force behind modern developments in algebraic K-theory, motivic homotopy theory, and motivic integration.

Life[edit]

Family and childhood[edit]

Alexander Grothendieck was born in Berlin to anarchist parents: a father from an originally Hassidic family, Alexander "Sascha" Schapiro aka Tanaroff, who had been imprisoned in Russia and moved to Germany in 1922, and a mother from a Protestant family in Hamburg, Johanna "Hanka" Grothendieck, who worked as a journalist; both of his parents had broken away from their early backgrounds in their teens.[7] At the time of his birth Grothendieck's mother was married to the journalist Johannes Raddatz, and his birthname was initially recorded as Alexander Raddatz. The marriage was dissolved in 1929 and Schapiro/Tanaroff acknowledged his paternity, but never married Hanka Grothendieck.[7]

Grothendieck lived with his parents until 1933 in Berlin. At the end of that year, Schapiro moved to Paris to evade the Nazis, and Hanka followed him the next year. They left Grothendieck in the care of Wilhelm Heydorn, a Lutheran Pastor and teacher[8] in Hamburg where he went to school. During this time, his parents took part in the Spanish Civil War in supporting rather than fighting roles.[9] Grothendieck could speak French, English and German.

World War II[edit]

In 1939 Grothendieck went to France and lived in various camps for displaced persons with his mother. They lived first at the Camp de Rieucros, and later, for the remainder of World War II, in the village of Le Chambon-sur-Lignon. There he was sheltered and hidden in local boarding-houses or pensions. His father was arrested and sent via Drancy to the Auschwitz concentration camp, where he died in 1942. In Chambon, Grothendieck attended the Collège Cévenol (now known as the Le Collège-Lycée Cévenol International), a unique secondary school founded in 1938 by local Protestant pacifists and anti-war activists. Many of the refugee children hidden in Chambon attended Cévenol, and it was at this school that Grothendieck apparently first became fascinated with mathematics.

Studies and contact with research mathematics[edit]

After the war, the young Grothendieck studied mathematics in France, initially at the University of Montpellier where he did not initially perform well, flunking such classes as astronomy.[10] Working on his own, he rediscovered the Lebesgue measure. After three years of increasingly independent studies there he went to continue his studies in Paris in 1948.[11]

Initially, Grothendieck attended Henri Cartan's Seminar at École Normale Supérieure, but lacked the necessary background to follow the high-powered seminar. On the advice of Cartan and Weil, he moved to the University of Nancy where he wrote his dissertation under Laurent Schwartz in functional analysis, from 1950 to 1953. At this time he was a leading expert in the theory of topological vector spaces. By 1957, he set this subject aside in order to work in algebraic geometry and homological algebra.

The IHÉS years[edit]

Installed at the Institut des Hautes Études Scientifiques (IHÉS) in 1958, Grothendieck attracted attention by an intense and highly productive activity of seminars (de facto working groups drafting into foundational work some of the ablest French and other mathematicians of the younger generation). Grothendieck himself practically ceased publication of papers through the conventional, learned journal route. He was, however, able to play a dominant role in mathematics for around a decade, gathering a strong school.

During this time he had officially as students Michel Demazure (who worked on SGA3, on group schemes), Luc Illusie (cotangent complex), Michel Raynaud, Jean-Louis Verdier (cofounder of the derived category theory) and Pierre Deligne. Collaborators on the SGA projects also included Mike Artin (étale cohomology) and Nick Katz (monodromy theory and Lefschetz pencils). Jean Giraud worked out torsor theory extensions of non-abelian cohomology. Many others were involved.

The "Golden Age"[edit]

Alexander Grothendieck's work during the "Golden Age" period at IHÉS established several unifying themes in algebraic geometry, number theory, topology, category theory and complex analysis. His first (pre-IHÉS) breakthrough in algebraic geometry was the Grothendieck–Hirzebruch–Riemann–Roch theorem, a far-reaching generalisation of the Hirzebruch–Riemann–Roch theorem proved algebraically; in this context he also introduced K-theory. Then, following the programme he outlined in his talk at the 1958 International Congress of Mathematicians, he introduced the theory of schemes, developing it in detail in his Éléments de géométrie algébrique (EGA) and providing the new more flexible and general foundations for algebraic geometry that has been adopted in the field since that time. He went on to introduce the étale cohomology theory of schemes, providing the key tools for proving the Weil conjectures, as well as crystalline cohomology and algebraic de Rham cohomology to complement it. Closely linked to these cohomology theories, he originated topos theory as a generalisation of topology (relevant also in categorical logic). He also provided an algebraic definition of fundamental groups of schemes and more generally the main structures of a categorical Galois theory. As a framework for his coherent duality theory he also introduced derived categories, which were further developed by Verdier.

The results of work on these and other topics were published in the EGA and in less polished form in the notes of the Séminaire de géométrie algébrique (SGA) that he directed at IHES.

Politics and retreat from scientific community[edit]

Grothendieck's political views were radical and pacifist. Thus, he strongly opposed both United States intervention in Vietnam and Soviet military expansionism. He gave lectures on category theory in the forests surrounding Hanoi while the city was being bombed, to protest against the Vietnam War.[12] He retired from scientific life around 1970, after having discovered the partly military funding of IHÉS.[13] He returned to academia a few years later as a professor at the University of Montpellier, where he stayed until his retirement in 1988. His criticisms of the scientific community, and especially of several mathematics circles, are also contained in a letter, written in 1988, in which he states the reasons for his refusal of the Crafoord Prize.[14] He declined the prize on ethical grounds in an open letter to the media.[15]

While the issue of military funding was perhaps the most obvious explanation for Grothendieck's departure from IHÉS, those who knew him say that the causes of the rupture ran deeper. Pierre Cartier, a visiteur de longue durée ("long-term guest") at the IHÉS, wrote a piece about Grothendieck for a special volume published on the occasion of the IHÉS's fortieth anniversary. The Grothendieck Festschrift was a three-volume collection of research papers to mark his sixtieth birthday (falling in 1988), and published in 1990.[16]

In it Cartier notes that, as the son of an antimilitary anarchist and one who grew up among the disenfranchised, Grothendieck always had a deep compassion for the poor and the downtrodden. As Cartier puts it, Grothendieck came to find Bures-sur-Yvette "une cage dorée" ("a golden cage"). While Grothendieck was at the IHÉS, opposition to the Vietnam War was heating up, and Cartier suggests that this also reinforced Grothendieck's distaste at having become a mandarin of the scientific world. In addition, after several years at the IHÉS Grothendieck seemed to cast about for new intellectual interests. By the late 1960s he had started to become interested in scientific areas outside mathematics. David Ruelle, a physicist who joined the IHÉS faculty in 1964, said that Grothendieck came to talk to him a few times about physics. (In the 1970s Ruelle and the Dutch mathematician Floris Takens produced a new model for turbulence, and it was Ruelle who invented the concept of a strange attractor in a dynamical system.) Biology interested Grothendieck much more than physics, and he organized some seminars on biological topics.[17]

In 1970, Grothendieck, with two other mathematicians, Claude Chevalley and Pierre Samuel, created a political group called Survivre—the name later changed to Survivre et vivre. Survivre et vivre was dedicated to antimilitary and ecological issues, and also developed strong criticism of the indiscriminate use of science and technology.

After leaving the IHÉS, Grothendieck became a temporary professor at Collège de France for two years. A permanent position became open at the end of his tenure, but the application Grothendieck submitted made it clear that he had no plans to continue his mathematical research. The position was given to Jacques Tits.

He then went to Université de Montpellier, where he became increasingly estranged from the mathematical community. His mathematical career, for the most part, ended when he left the IHÉS.

Manuscripts written in the 1980s[edit]

While not publishing mathematical research in conventional ways during the 1980s, he produced several influential manuscripts with limited distribution, with both mathematical and biographical content.

La Longue Marche à travers la théorie de Galois The Long March Through Galois Theory is an approximately 1600-page handwritten manuscript produced by Grothendieck during the years 1980–1981, containing many of the ideas leading to the Esquisse d'un programme[18] (see below, and also a more detailed entry), and in particular studying the Teichmüller theory.

In 1983 he wrote an extended manuscript (about 600 pages) entitled Pursuing Stacks, stimulated by correspondence with Ronald Brown, (see also R.Brown and Tim Porter at University of Bangor in Wales), and starting with a letter addressed to Daniel Quillen. This letter and successive parts were distributed from Bangor (see External Links below): in an informal manner, as a kind of diary, Grothendieck explained and developed his ideas on the relationship between algebraic homotopy theory and algebraic geometry and prospects for a noncommutative theory of stacks. The manuscript, which is being edited for publication by G. Maltsiniotis, later led to another of his monumental works, Les Dérivateurs. Written in 1991, this latter opus of about 2000 pages further developed the homotopical ideas begun in Pursuing Stacks. Much of this work anticipated the subsequent development of the motivic homotopy theory of Fabien Morel and V. Voevodsky in the mid-1990s.

In 1984 he wrote a proposal to get a position through the Centre National de la Recherche Scientifique, which he held from 1984 to his retirement in 1988. The proposal, entitled Esquisse d'un Programme[18] ("Program Sketch") describes new ideas for studying the moduli space of complex curves. Although Grothendieck himself never published his work in this area, the proposal became the inspiration for work by other mathematicians and the source of the theory of dessins d'enfants and of a new field emerging as anabelian geometry. Esquisse d’un Programme was published in the two-volume proceedings Geometric Galois Actions (Cambridge University Press, 1997).[19]

During this period he also released his work on Bertini type theorems contained in EGA 5, published by the Grothendieck Circle in 2004.

The 1000-page autobiographical manuscript Récoltes et semailles (1986) is now available on the internet in the French original,[20] and an English translation is underway (these parts of Récoltes et semailles have already been translated into Russian and published in Moscow[21]). Some parts of Récoltes et semailles[22][23] and the whole La Clef des Songes[24] have been translated into Spanish and Russian.

In the manuscript La Clef des Songes he explains how considering the source of dreams led him to conclude that God exists.[25] His growing preoccupation with spiritual matters was also evident in a letter entitled Lettre de la Bonne Nouvelle that he sent to 250 friends in January 1990. In it, he described his encounters with a deity and announced that a "New Age" would commence on 14 October 1996.[26]

Over 20,000 pages of mathematical and other writings remain unpublished at the University of Montpellier.[27]

Retirement into reclusion[edit]

Grothendieck was co-awarded (but declined) the Crafoord Prize with Pierre Deligne in 1988.

In 1991, Grothendieck moved to an address he did not provide to his previous contacts in the mathematical community. He is now said to live in southern France or Andorra and to be reclusive.

In January 2010, Grothendieck wrote a letter to Luc Illusie. In this "Déclaration d'intention de non-publication", he states that essentially all materials that have been published in his absence have been done without his permission. He asks that none of his work should be reproduced in whole or in part, and even further that libraries containing such copies of his work remove them.[28] A website devoted to his work was called "an abomination".[29] This order may have been reversed later in 2010.[30]

Citizenship[edit]

Grothendieck was born in Germany (1928), and moved to France as a refugee at age 10 (1938). Records of his nationality were destroyed in the fall of Germany in 1945, and he did not apply for French citizenship after the war, thus being a stateless person for the majority of his working life, traveling on a Nansen passport.[1] He later became naturalized as a French citizen in the 1980s.[1][2][3] Part of this reluctance to hold French nationality is attributed to not wishing to serve in the French military, particularly due to the Algerian War (1954–62).[31][32][2]

Mathematical achievements[edit]

Grothendieck's early mathematical work was in functional analysis. Between 1949 and 1953 he worked on his doctoral thesis in this subject at Nancy, supervised by Jean Dieudonné and Laurent Schwartz. His key contributions include topological tensor products of topological vector spaces, the theory of nuclear spaces as foundational for Schwartz distributions, and the application of Lp spaces in studying linear maps between topological vector spaces. In a few years, he had turned himself into a leading authority on this area of functional analysis — to the extent that Dieudonné compares his impact in this field to that of Banach.[33]

It is, however, in algebraic geometry and related fields where Grothendieck did his most important and influential work. From about 1955 he started to work on sheaf theory and homological algebra, producing the influential "Tôhoku paper" (Sur quelques points d'algèbre homologique, published in the Tohoku Mathematical Journal in 1957) where he introduced Abelian categories and applied their theory to show that sheaf cohomology can be defined as certain derived functors in this context.

Homological methods and sheaf theory had already been introduced in algebraic geometry by Jean-Pierre Serre and others, after sheaves had been defined by Jean Leray. Grothendieck took them to a higher level of abstraction and turned them into a key organising principle of his theory. He shifted attention from the study of individual varieties to the relative point of view (pairs of varieties related by a morphism), allowing a broad generalization of many classical theorems. The first major application was the relative version of Serre's theorem showing that the cohomology of a coherent sheaf on a complete variety is finite-dimensional; Grothendieck's theorem shows that the higher direct images of coherent sheaves under a proper map are coherent; this reduces to Serre's theorem over a one-point space.

In 1956, he applied the same thinking to the Riemann–Roch theorem, which had already recently been generalized to any dimension by Hirzebruch. The Grothendieck–Riemann–Roch theorem was announced by Grothendieck at the initial Mathematische Arbeitstagung in Bonn, in 1957. It appeared in print in a paper written by Armand Borel with Serre. This result was his first major achievement in algebraic geometry. He went on to plan and execute a major foundational programme for rebuilding the foundations of algebraic geometry, which were then in a state of flux and under discussion in Claude Chevalley's seminar; he outlined his programme in his talk at the 1958 International Congress of Mathematicians.

His foundational work on algebraic geometry is at a higher level of abstraction than all prior versions. He adapted the use of non-closed generic points, which led to the theory of schemes. He also pioneered the systematic use of nilpotents. As 'functions' these can take only the value 0, but they carry infinitesimal information, in purely algebraic settings. His theory of schemes has become established as the best universal foundation for this major field, because of its great expressive power as well as technical depth. In that setting one can use birational geometry, techniques from number theory, Galois theory and commutative algebra, and close analogues of the methods of algebraic topology, all in an integrated way.[8][34][35]

He is also noted for his mastery of abstract approaches to mathematics and his perfectionism in matters of formulation and presentation. Relatively little of his work after 1960 was published by the conventional route of the learned journal, circulating initially in duplicated volumes of seminar notes; his influence was to a considerable extent personal. His influence spilled over into many other branches of mathematics, for example the contemporary theory of D-modules. (It also provoked adverse reactions, with many mathematicians seeking out more concrete areas and problems.)[36][37]

EGA and SGA[edit]

The bulk of Grothendieck's published work is collected in the monumental, and yet incomplete, Éléments de géométrie algébrique (EGA) and Séminaire de géométrie algébrique (SGA). The collection Fondements de la Géometrie Algébrique (FGA), which gathers together talks given in the Séminaire Bourbaki, also contains important material.

Perhaps Grothendieck's deepest single accomplishment is the invention of the étale and l-adic cohomology theories, which explain an observation of André Weil's that there is a deep connection between the topological characteristics of a variety and its diophantine (number theoretic) properties. For example, the number of solutions of an equation over a finite field reflects the topological nature of its solutions over the complex numbers. Weil realized that to prove such a connection one needed a new cohomology theory, but neither he nor any other expert saw how to do this until such a theory was found by Grothendieck.

This program culminated in the proofs of the Weil conjectures, the last of which was settled by Grothendieck's student Pierre Deligne in the early 1970s after Grothendieck had largely withdrawn from mathematics.

Major mathematical topics (from Récoltes et Semailles)[edit]

He wrote a retrospective assessment of his mathematical work (see the external link La Vision below). As his main mathematical achievements ("maître-thèmes"), he chose this collection of 12 topics (his chronological order):

  1. Topological tensor products and nuclear spaces
  2. "Continuous" and "discrete" duality (derived categories and "six operations").
  3. Yoga of the Grothendieck–Riemann–Roch theorem (K-theory, relation with intersection theory).
  4. Schemes.
  5. Topoi.
  6. Étale cohomology including l-adic cohomology.
  7. Motives and the motivic Galois group (and Grothendieck categories)
  8. Crystals and crystalline cohomology, yoga of De Rham and Hodge coefficients.
  9. Topological algebra, infinity-stacks, 'dérivateurs', cohomological formalism of toposes as an inspiration for a new homotopic algebra
  10. Tame topology.
  11. Yoga of anabelian geometry and Galois–Teichmüller theory.
  12. Schematic point of view, or "arithmetics" for regular polyhedra and regular configurations of all sorts.

He wrote that the central theme of the topics above is that of topos theory, while the first and last were of the least importance to him.

Here the term yoga denotes a kind of "meta-theory" that can be used heuristically; Michel Raynaud writes the other terms "Ariadne's thread" and "philosophy" as effective equivalents.[38]

See also[edit]

Notes[edit]

  1. ^ a b c d Cartier 2009, p. 10, footnote 12.
  2. ^ a b c d Kleinert 2007.
  3. ^ a b c Douroux 2012.
  4. ^ Cartier 2009, p. 9.
  5. ^ Cartier 2001, p. 391, footnote 3.
  6. ^ Ruelle 2007, p. 40.
  7. ^ a b Society for Industrial and Applied Mathematics
  8. ^ a b Jackson, Allyn (2004), Comme Appelé du Néant — As If Summoned from the Void: The Life of Alexandre Grothendieck I (PDF), Notices of the American Mathematical Society 51 (4) 
  9. ^ Scharlau (2008), p. 931
  10. ^ http://images.math.cnrs.fr/Alexandre-Grothendieck.html#nh14
  11. ^ See Jackson (2004:1).
  12. ^ The Life and Work of Alexander Grothendieck, American Mathematical Monthly, vol. 113, no. 9, footnote 6
  13. ^ see pp. xii and xiii of SGA1, Springer Lecture Notes 224
  14. ^ Crafoord Prize letter at the Wayback Machine (archived January 6, 2006)
  15. ^ Robert Matthews and Nadejda Lobastova (20 August 2006). "Mathematics, where nothing is ever as simple as it seems". Daily Telegraph. Retrieved 5 July 2009. 
  16. ^ The editors were Pierre Cartier, Luc Illusie, Nick Katz, Gérard Laumon, Yuri Manin, and Ken Ribet. A second edition has been printed (2007) by Birkhauser.
  17. ^ The IHÉS at Forty Allyn Jackson, March 1999, Notices of the AMS pp. 329-337
  18. ^ a b ESQUISSE D’UN PROGRAMME par Alexandre Grothendieck
  19. ^ Google book link
  20. ^ Alexander Grothendieck, "Récoltes et sémailles, Réflexions et témoignage sur un passé de mathématicien."
  21. ^ In Russian
  22. ^ COSECHAS Y SIEMBRAS: Reflexiones y testimonios sobre un pasado de matem´atico Preludio
  23. ^ COSECHAS Y SIEMBRAS: Reflexiones y testimonios sobre un pasado de matem´atico Carta
  24. ^ La Clef des Songes
  25. ^ Scharlau (2008), p. 940
  26. ^ Jackson, Allyn (2004), Comme Appelé du Néant — As If Summoned from the Void: The Life of Alexandre Grothendieck II (PDF), Notices of the American Mathematical Society 51 (10) 
  27. ^ Le trésor oublié du génie des maths
  28. ^ http://sbseminar.wordpress.com/2010/02/09/grothendiecks-letter
  29. ^ http://www.math.jussieu.fr/~leila/grothendieckcircle/
  30. ^ http://www.math.u-psud.fr/~laszlo/sga4.html
  31. ^ Cartier 2001.
  32. ^ Cartier 2009.
  33. ^ (Dieudonné 1990)
  34. ^ See, for example, (Deligne 1998).
  35. ^ Mclarty, Colin. "The Rising Sea: Grothendieck on simplicity and generality I" (PDF). Retrieved 13 January 2008. 
  36. ^ Peck, Morgen, Equality of Mathematicians, "Alexandre Grothendieck is arguably the most important mathematician of the 20th century..." 
  37. ^ Leith, Sam (20 March 2004), The Einstein of maths, The Spectator, "[A] mathematician of staggering accomplishment ... a legendary figure in the mathematical world." 
  38. ^ at p. 2.

References[edit]

External links[edit]