his mother to whom he dedicated his dissertation. She died in 1957 from the tuberculosis that she contracted in camps for displaced persons. He had five children: a son with his landlady during his time in Nancy; three children, Johanna (1959), Alexander (1961), and Mathieu (1965) with his wife Mirille Dufour; and one child with Justine Skalba, with whom he lived in a commune in the early 1970s. Mathematical work 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 become a leading authority on this area of functional analysis—to the extent that Dieudonné compares his impact in this field to that of Banach. It is, however, in algebraic geometry and related fields where Grothendieck did his most important and influential work. From approximately 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 may 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 his 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 recently had been generalized to any dimension by Hirzebruch. The Grothendieck–Riemann–Roch theorem was announced by Grothendieck at the initial Mathematische Arbeitstagung in Bonn, in