# Daniel Quillen
Daniel Gray Quillen (1940–2011) was an American mathematician who founded higher algebraic K-theory and homotopical algebra, the framework of model categories, and who won the [Fields Medal](https://www.edgepedia.org/fields-medal) in 1978 as "the prime architect of the higher algebraic K-theory, a new tool that successfully employed geometric and topological methods and ideas to formulate and solve major problems in algebra, particularly ring theory and module theory."[1](https://www.mathunion.org/imu-awards/fields-medal/fields-medals-1978) In a succession of papers between 1967 and 1977 he created mathematics that continues to shape research across algebra, geometry, and topology.[2](https://www.ams.org/journals/notices/201210/rtx121001392p.pdf) He was born in June 1940 in Orange, New Jersey, and died on 30 April 2011 in [Gainesville, Florida](https://www.edgepedia.org/gainesville-florida).[3](https://mathshistory.st-andrews.ac.uk/Biographies/Quillen/) Daniel Quillen was elected to the National Academy of Sciences in 1978.[17](https://www.nasonline.org/directory-entry/daniel-g-quillen-ylu2ge/)
| Fact | Detail |
|---|---|
| Born | June 1940, Orange, New Jersey (sources give 22 or 27 June)[1](https://www.mathunion.org/imu-awards/fields-medal/fields-medals-1978) • [3](https://mathshistory.st-andrews.ac.uk/Biographies/Quillen/) |
| Died | 30 April 2011, Gainesville, Florida[3](https://mathshistory.st-andrews.ac.uk/Biographies/Quillen/) |
| Training | Harvard Ph.D. 1964, advisor Raoul Bott[4](https://mathgenealogy.org/id.php?id=13325) |
| Posts | MIT from 1964; Waynflete Professor of Pure Mathematics, Magdalen College, Oxford, 1984–2006[2](https://www.ams.org/journals/notices/201210/rtx121001392p.pdf) • [3](https://mathshistory.st-andrews.ac.uk/Biographies/Quillen/) |
| Known for | Higher algebraic K-theory (plus- and Q-constructions), model categories, rational homotopy theory, formal groups, and cobordism[1](https://www.mathunion.org/imu-awards/fields-medal/fields-medals-1978) • [5](https://www.maths.ed.ac.uk/~v1ranick/confer/quillenlms.pdf) |
| Honors | Cole Prize in Algebra 1975; Fields Medal 1978[3](https://mathshistory.st-andrews.ac.uk/Biographies/Quillen/) • [6](https://www.ias.edu/scholars/daniel-g-quillen) |
| Signature work | "Higher algebraic K-theory: I" (1972 Seattle proceedings); "Homotopical algebra"; "Rational homotopy theory" |
| Honor | Elected to the National Academy of Sciences, 1978[17](https://www.nasonline.org/directory-entry/daniel-g-quillen-ylu2ge/) |
## Life and career
Quillen's education carried him from Newark Academy, a private secondary school, to Harvard, where he went a year before finishing high school and stayed for his undergraduate degree and doctorate.[2](https://www.ams.org/journals/notices/201210/rtx121001392p.pdf) His Ph.D., awarded by Harvard in 1964, was written under [Raoul Bott](https://www.edgepedia.org/raoul-bott); the dissertation was "Formal Properties of Over-Determined Systems of Linear Partial Differential Equations."[4](https://mathgenealogy.org/id.php?id=13325) Immediately on completing it he took a post at MIT, where he remained until his move to Oxford.[2](https://www.ams.org/journals/notices/201210/rtx121001392p.pdf)
Early in 1982 he decided that Oxford was where he wanted to be, drawn especially by the presence of [Michael Atiyah](https://www.edgepedia.org/michael-atiyah); he spent 1982–83 there on leave, and moved permanently from MIT to Oxford as Waynflete Professor. The AMS memorial article dates the permanent move to 1985; the Oxford obituary and the London Mathematical Society obituary give 1984.[2](https://www.ams.org/journals/notices/201210/rtx121001392p.pdf) • [7](https://people.maths.ox.ac.uk/tillmann/Quillen-obit.pdf) • [5](https://www.maths.ed.ac.uk/~v1ranick/confer/quillenlms.pdf) He held the chair at Magdalen College from 1984 to 2006.[3](https://mathshistory.st-andrews.ac.uk/Biographies/Quillen/) He died on 30 April 2011, aged 70, from complications of the final stages of Alzheimer's disease.[3](https://mathshistory.st-andrews.ac.uk/Biographies/Quillen/) • [5](https://www.maths.ed.ac.uk/~v1ranick/confer/quillenlms.pdf) He left his wife Jean, whom he married when both were students at Harvard, and their six children.[5](https://www.maths.ed.ac.uk/~v1ranick/confer/quillenlms.pdf)
## Algebraic K-theory
[Algebraic K-theory](https://www.edgepedia.org/algebraic-k-theory) assigns groups to rings, measuring their linear-algebraic structure. One starting point of his refoundation, as he explained it in 1969–70, was his calculation of the homology of the classifying space BGL∞(Fp).[8](https://math.mit.edu/documents/obituaries/quillen_daniel.pdf) The plus construction, which he used in his 1970 ICM talk and which came from a suggestion of Sullivan, realizes the group completion concretely.[2](https://www.ams.org/journals/notices/201210/rtx121001392p.pdf) • [8](https://math.mit.edu/documents/obituaries/quillen_daniel.pdf) He came to the 1972 Battelle conference in Seattle with two successful constructions of higher algebraic K-theory: the plus-construction, achieved before the conference, and the Q-construction, unveiled at it. He eventually settled on the Q-construction as his preferred definition, and his definitive treatment was written for the 1972 Seattle conference proceedings.[2](https://www.ams.org/journals/notices/201210/rtx121001392p.pdf) • [8](https://math.mit.edu/documents/obituaries/quillen_daniel.pdf)
His paper "Higher algebraic K-theory: I" introduced devissage and localization theorems, each generalizing a known result for the Grothendieck group, and together enabling substantial computation.[9](https://www.sas.rochester.edu/mth/sites/doug-ravenel/otherpapers/Quillen-Higher-I.pdf) According to Friedlander and Grayson's memorial article in the AMS Notices, in 1976 he published his proof of Serre's conjecture, that projective modules over polynomial rings are free; it was his only paper on algebraic K-theory after the 1972 Seattle treatment.[2](https://www.ams.org/journals/notices/201210/rtx121001392p.pdf)
## Rational homotopy theory and model categories
In "Homotopical algebra" Quillen axiomatized a very general notion of homotopy applicable in diverse categories: a model category carries three classes of maps, fibrations, cofibrations, and weak equivalences, satisfying certain axioms, and a homotopy category is obtained by localizing with respect to the weak equivalences.[10](https://www.sas.rochester.edu/mth/sites/doug-ravenel/otherpapers/quillen-rational.pdf) Segal's obituary notes that this idea, formed while he was still in his twenties, is now the basis of a whole area of algebraic geometry.[5](https://www.maths.ed.ac.uk/~v1ranick/confer/quillenlms.pdf) According to MacTutor, the same body of work includes André–Quillen cohomology and the [cotangent complex](https://www.edgepedia.org/cotangent-complex), and showed that the rational homotopy category can be modeled by differential graded Lie algebras or by commutative differential graded algebras.[3](https://mathshistory.st-andrews.ac.uk/Biographies/Quillen/)
## Formal groups, cobordism and the Adams conjecture
Quillen observed that the complex cobordism ring serves as the base of the universal formal group, a fresh computation of the cobordism ring that avoided the Adams spectral sequence.[2](https://www.ams.org/journals/notices/201210/rtx121001392p.pdf) The link he discovered between formal group laws and cobordism theory dominates the field of stable homotopy to this day.[5](https://www.maths.ed.ac.uk/~v1ranick/confer/quillenlms.pdf) Around 1970, in what Segal calls an amazing burst of activity, he created algebraic K-theory in the form now used, proved Serre's conjecture, and proved the Adams conjecture on the stable homotopy groups of spheres, simultaneously with Sullivan.[5](https://www.maths.ed.ac.uk/~v1ranick/confer/quillenlms.pdf) The Journal of K-Theory's legacy editorial records how the Adams conjecture problem played a role in creating the K-theory theory, showing how problem solving and theory building were intermingled in his work.[11](https://doi.org/10.1017/is013007022jkt238)
## Honors
The American Mathematical Society awarded him the Cole Prize in Algebra in 1975 for his paper "Higher algebraic K-theories."[3](https://mathshistory.st-andrews.ac.uk/Biographies/Quillen/) He was a plenary speaker at the International Congress of Mathematicians in Vancouver in August 1974, lecturing on higher algebraic K-theory.[3](https://mathshistory.st-andrews.ac.uk/Biographies/Quillen/) He received the Fields Medal at the 1978 congress in Helsinki for contributions to algebraic K-theory.[12](https://www.britannica.com/biography/Daniel-Gray-Quillen) • [6](https://www.ias.edu/scholars/daniel-g-quillen)
## Later work and legacy
In the 1980s he made at least three further contributions: the invention of the "determinant line" of an elliptic partial differential operator as a tool in index theory, together with the Quillen metric on it; the concept of a "superconnection" in differential geometry and analysis, now basic tools in index theory and quantum field theory; and the Loday–Quillen theorem relating [cyclic homology](https://www.edgepedia.org/cyclic-homology) to algebraic K-theory.[2](https://www.ams.org/journals/notices/201210/rtx121001392p.pdf) • [5](https://www.maths.ed.ac.uk/~v1ranick/confer/quillenlms.pdf)
The Journal of K-Theory dedicated a 2013 issue to his legacy, comprising about seven essays on his major contributions, including model categories, rational homotopy theory, formal group laws, and complex cobordism, the Adams conjecture, higher algebraic K-theory, Serre's problem, and cyclic homology.[11](https://doi.org/10.1017/is013007022jkt238) A 2013 survey in the same journal traces the genesis and development of higher algebraic K-theory and points to later developments including motivic cohomology.[13](https://www.cambridge.org/core/journals/journal-of-k-theory/article/abs/quillens-work-in-algebraic-ktheory/6574623BED60422FE06AABF908A61A1D) Another essay summarizes "Homotopical algebra" and the developments in model category theory since.[14](https://www.cambridge.org/core/journals/journal-of-k-theory/article/abs/quillen-model-categories/26BF694CBA89C17F10E23FC3926F00C1)
## Working style
MacTutor describes a somewhat retiring life-style: he appeared rarely in public, and then almost invariably with some extraordinary new theorem or idea in hand.[3](https://mathshistory.st-andrews.ac.uk/Biographies/Quillen/) Andrew Ranicki, who met him at IHES in 1973–74, was impressed by his seriousness of purpose and independence of mind, allied with a winning personal modesty; asked how MIT could have matched his Oxford offer, Quillen answered that they would have had to cut his MIT salary by two-thirds.[15](https://webhomes.maths.ed.ac.uk/~v1ranick/confer/quillenmemory.pdf) Throughout his career he kept detailed notebooks giving a day-to-day record of his research, begun early in his career to tame the disorder of simultaneous ideas.[16](https://www.claymath.org/online-resources/quillen-notebooks/)
## References
1. International Mathematical Union, "Fields Medals 1978." https://www.mathunion.org/imu-awards/fields-medal/fields-medals-1978
2. Eric Friedlander and Daniel Grayson, "Daniel Quillen, 1940–2011," AMS Notices. https://www.ams.org/journals/notices/201210/rtx121001392p.pdf
3. MacTutor History of Mathematics, "Daniel Quillen (1940–2011)." https://mathshistory.st-andrews.ac.uk/Biographies/Quillen/
4. The Mathematics Genealogy Project, Daniel Gray Quillen. https://mathgenealogy.org/id.php?id=13325
5. Graeme Segal, "Daniel Quillen," London Mathematical Society obituary. https://www.maths.ed.ac.uk/~v1ranick/confer/quillenlms.pdf
6. Institute for Advanced Study, "Daniel G. Quillen." https://www.ias.edu/scholars/daniel-g-quillen
7. Oxford Mathematics, "Daniel Quillen" (obituary). https://people.maths.ox.ac.uk/tillmann/Quillen-obit.pdf
8. MIT Mathematics, memorial text for Daniel Quillen. https://math.mit.edu/documents/obituaries/quillen_daniel.pdf
9. Daniel Quillen, "Higher algebraic K-theory: I." https://www.sas.rochester.edu/mth/sites/doug-ravenel/otherpapers/Quillen-Higher-I.pdf
10. Daniel Quillen, "Rational Homotopy Theory." https://www.sas.rochester.edu/mth/sites/doug-ravenel/otherpapers/quillen-rational.pdf
11. "The Legacy of Daniel Quillen," Journal of K-Theory. https://doi.org/10.1017/is013007022jkt238
12. Encyclopaedia Britannica, "Daniel Gray Quillen." https://www.britannica.com/biography/Daniel-Gray-Quillen
13. "Quillen's work in algebraic K-theory," Journal of K-Theory 11(3), 2013, pp. 527–547. https://www.cambridge.org/core/journals/journal-of-k-theory/article/abs/quillens-work-in-algebraic-ktheory/6574623BED60422FE06AABF908A61A1D
14. "Quillen model categories," Journal of K-Theory. https://www.cambridge.org/core/journals/journal-of-k-theory/article/abs/quillen-model-categories/26BF694CBA89C17F10E23FC3926F00C1
15. Andrew Ranicki, "Memories of Dan Quillen." https://webhomes.maths.ed.ac.uk/~v1ranick/confer/quillenmemory.pdf
16. Clay Mathematics Institute, "Quillen Notebooks." https://www.claymath.org/online-resources/quillen-notebooks/
17. Daniel G. Quillen. National Academy of Sciences, Member Directory. https://www.nasonline.org/directory-entry/daniel-g-quillen-ylu2ge/
---
*Topic: Encyclopedia › Physical world and mathematics › Physical and mathematical scientists › Mathematicians and statisticians › Topologists and geometers*
*Initially written Sep 21, 2026 · Reviewed: Sep 25, 2026 · Edited: Sep 25, 2026 · Last review: Sep 25, 2026*
*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*
License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license