David Bryant Mumford (born 11 June 1937) is a mathematician known for distinguished work in algebraic geometry, and then for research into vision and pattern theory. He is currently a University Professor in the Division of Applied Mathematics at Brown University, having previously had a long academic career at Harvard University.
After attending the Phillips Exeter Academy, Mumford went to Harvard, where he became a student of Oscar Zariski. He completed his Ph.D. in 1961, with a thesis entitled Existence of the moduli scheme for curves of any genus.
He met his wife Erika Jentsh at Radcliffe College. She was an awards-winning poet, and had a doctorate in Celtic Languages and Literature from Harvard. They had four children, Stephen, Peter, Jeremy and Suchitra. After Erika passed away in 1988, he married his second wife, Jenifer Gordon.
Of his and Erika's children, Stephen is a published artist resident in New York City; Peter, a professional photographer, living in Seattle; Jeremy a professor of Latin American history at a university near Boston, while Suchitra has worked for more than fifteen years in the field of international adoption.
His books Abelian Varieties (with C. P. Ramanujam) and Curves on an Algebraic Surface combined the old and new theories (to the disadvantage of the former, it has been claimed by Shreeram Abhyankar). 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 (ISBN 3-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 many 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.
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 reduced, 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 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 Neron-Severi group. 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 M. Raynaud in 1978.
These sorts of pathologies were considered to be fairly scarce when they first appeared. But recently, R. Vakil in a paper called "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).
In three papers written between 1969 and 1976 (the last two in collaboration with E. Bombieri), Mumford extended the Enriques-Kodaira classification of smooth projective surfaces from the case of the complex groundfield to the case of an algebraically closed groundfield of characteristic p. The final answer turns out to be essentially 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 4 classes by their Kodaira dimension, as in the complex case. The 4 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.
There is a long list of awards and honors besides the above, including
He was elected President of the International Mathematical Union in 1995 and served from 1995 to 1999.
His current area of work is pattern theory.
He is color blind.