Mumford was born in Worth, West Sussex in England, of an English father and American mother. His father William started an experimental school in Tanzania and worked for the then newly created United Nations.[2]
He attended Phillips Exeter Academy, where he received a Westinghouse Science Talent Search prize for his relay-based computer project.[3][4] Mumford then went to Harvard University, where he became a student of Oscar Zariski. At Harvard, he became a Putnam Fellow in 1955 and 1956.[5] He completed his PhD in 1961, with a thesis entitled Existence of the moduli scheme for curves of any genus. He married Erika, an author and poet, in 1959 and they had four children, Stephen, Peter, Jeremy, and Suchitra. He currently has seven grandchildren.
His books Abelian Varieties (with C. P. Ramanujam) and Curves on an Algebraic Surface combined the old and new theories. His lecture notes on scheme theory circulated for years in unpublished form, at a time when they were, beside the treatise Éléments de géométrie algébrique, the only accessible introduction. They are now available as The Red Book of Varieties and Schemes (ISBN3-540-63293-X).
Other work that was less thoroughly written up were lectures on varieties defined by quadrics, and a study of Goro Shimura's papers from the 1960s.
Mumford's research did much to revive the classical theory of theta functions, by showing that its algebraic content was large, and enough to support the main parts of the theory by reference to finite analogues of the Heisenberg group. This work on the equations defining abelian varieties appeared in 1966–7. He published some further books of lectures on the theory.
He also was one of the founders of the toroidal embedding theory; and sought to apply the theory to Gröbner basis techniques, through students who worked in algebraic computation.
Work on pathologies in algebraic geometry
In a sequence of four papers published in the American Journal of Mathematics between 1961 and 1975, Mumford explored pathological behavior in algebraic geometry, that is, phenomena that would not arise if the world of algebraic geometry were as well-behaved as one might expect from looking at the simplest examples. These pathologies fall into two types: (a) bad behavior in characteristic p and (b) bad behavior in moduli spaces.
Characteristic-p pathologies
Mumford's philosophy in characteristic p was as follows:
A nonsingular characteristic p variety is analogous to a general non-Kähler complex manifold; in particular, a projective embedding of such a variety is not as strong as a Kähler metric on a complex manifold, and the Hodge–Lefschetz–Dolbeault theorems on sheaf cohomology break down in every possible way.
In the first Pathologies paper, Mumford finds an everywhere regular differential form on a smooth projective surface that is not closed, and shows that Hodge symmetry fails for classical Enriques surfaces in characteristic two. This second example is developed further in Mumford's third paper on classification of surfaces in characteristic p (written in collaboration with E. Bombieri). This pathology can now be explained in terms of the Picard scheme of the surface, and in particular, its failure to be a reduced scheme, which is a theme developed in Mumford's book "Lectures on Curves on an Algebraic Surface". Worse pathologies related to p-torsion in crystalline cohomology were explored by Luc Illusie (Ann. Sci. Ec. Norm. Sup. (4) 12 (1979), 501–661).
In the second Pathologies paper, Mumford gives a simple example of a surface in characteristic p where the geometric genus is non-zero, but the second Betti number is equal to the rank of the Néron–Severi group. Further such examples arise in Zariski surface theory. He also conjectures that the Kodaira vanishing theorem is false for surfaces in characteristic p. In the third paper, he gives an example of a normal surface for which Kodaira vanishing fails. The first example of a smooth surface for which Kodaira vanishing fails was given by Michel Raynaud in 1978.
Pathologies of moduli spaces
In the second Pathologies paper, Mumford finds that the Hilbert scheme parametrizing space curves of degree 14 and genus 24 has a multiple component. In the fourth Pathologies paper, he finds reduced and irreducible complete curves which are not specializations of non-singular curves.
These sorts of pathologies were considered to be fairly scarce when they first appeared. But Ravi Vakil showed in his paper "Murphy's law in algebraic geometry" has shown that Hilbert schemes of nice geometric objects can be arbitrarily "bad", with unlimited numbers of components and with arbitrarily large multiplicities (Invent. Math. 164 (2006), 569–590).
Classification of surfaces
In three papers written between 1969 and 1976 (the last two in collaboration with Enrico Bombieri), Mumford extended the Enriques–Kodaira classification of smooth projective surfaces from the case of the complex ground field to the case of an algebraically closed ground field of characteristic p. The final answer turns out to be essentially the same as the answer in the complex case (though the methods employed are sometimes quite different), once two important adjustments are made. The first is that one may get "non-classical" surfaces, which come about when p-torsion in the Picard scheme degenerates to a non-reduced group scheme. The second is the possibility of obtaining quasi-elliptic surfaces in characteristics two and three. These are surfaces fibred over a curve where the general fibre is a curve of arithmetic genus one with a cusp.
Once these adjustments are made, the surfaces are divided into four classes by their Kodaira dimension, as in the complex case. The four classes are:
a) Kodaira dimension minus infinity. These are the ruled surfaces.
b) Kodaira dimension 0. These are the K3 surfaces, abelian surfaces, hyperelliptic and quasi-hyperelliptic surfaces, and Enriques surfaces. There are classical and non-classical examples in the last two Kodaira dimension zero cases.
c) Kodaira dimension 1. These are the elliptic and quasi-elliptic surfaces not contained in the last two groups.
d) Kodaira dimension 2. These are the surfaces of general type.
Geometric Invariant Theory, Springer-Verlag, 1965 – 2nd edition, with J. Fogarty, 1982; 3rd enlarged edition, with F. Kirwan and J. Fogarty, 1994.
Mumford, David (1999) [1967], The Red Book of Varieties and Schemes, Lecture Notes in Mathematics, vol. 1358 (expanded, Includes Michigan Lectures (1974) on Curves and their Jacobians ed.), Berlin, New York: Springer-Verlag, doi:10.1007/b62130, ISBN978-3-540-63293-1, MR1748380
Selected Papers on the Classification of Varieties and Moduli Spaces, Springer-Verlag, 2004.
Mumford, David (2010), Selected papers, Volume II. On algebraic geometry, including correspondence with Grothendieck, New York: Springer, ISBN978-0-387-72491-1, MR2741810
Mumford, David; Desolneux, Agnès (2010), Pattern Theory: The Stochastic Analysis of Real-World Signals, A K Peters/CRC Press, ISBN978-1568815794, MR2723182
