Voevodsky, Vladimir

Voevodsky, Vladimir
Name	Vladimir Voevodsky
Birth date	1966-06-22
Birth place	Moscow, Russian SFSR
Death date	2017-09-30
Death place	Princeton, New Jersey, U.S.
Nationality	Russian
Fields	Mathematics
Alma mater	Moscow State University; Harvard University
Doctoral advisor	Alexander Beilinson
Known for	Motivic cohomology, A^1-homotopy theory, proof of Milnor conjecture
Awards	Fields Medal, Shaw Prize, Packard Fellowship

Contents

Voevodsky, Vladimir Vladimir Voevodsky was a Russian mathematician noted for foundational advances in algebraic geometry and algebraic topology. He developed motivic cohomology and A^1-homotopy theory and proved major conjectures such as the Milnor conjecture, reshaping work in K-theory, algebraic geometry, and homotopy theory. He held positions at Harvard University and the Institute for Advanced Study and was awarded major honors including the Fields Medal.

Early life and education

Born in Moscow in 1966, he studied at Moscow State University where he encountered mentors and peers from the Russian mathematical tradition including contacts with mathematicians associated with Steklov Institute of Mathematics and influences traceable to figures linked to Israel Gelfand and Sergei Novikov. After undergraduate work in Moscow State University, he entered graduate study at Harvard University under the supervision of Alexander Beilinson, interacting with scholars from Princeton University, Massachusetts Institute of Technology, Institute for Advanced Study, and research groups linked to Grothendieck’s legacy and trajectories from Jean-Pierre Serre and Alexander Grothendieck.

Voevodsky’s career included appointments at Harvard University, visiting positions at the Institute for Advanced Study, and collaborations with researchers from Princeton University, ETH Zurich, University of Chicago, Columbia University, University of California, Berkeley, and University of Bonn. He introduced and developed frameworks that connected ideas from Alexander Grothendieck’s program, André Weil’s insights, Jean-Pierre Serre’s cohomological methods, and concepts appearing in Quillen’s algebraic K-theory and Adams spectral sequence work. His papers established new links between Milnor K-theory, etale cohomology, Bloch’s higher Chow groups, and constructions used by Beilinson, Bloch, Deligne, and Soulé. Collaborations and dialogues with scholars such as Dan Grayson, Marc Levine, Fabien Morel, and Andrei Suslin catalyzed progress across homotopy theory, algebraic cycles, and K-theory.

Voevodsky pioneered A^1-homotopy theory and formalized motivic cohomology as a candidate for the sought-after “cohomology theory” in algebraic geometry paralleling singular cohomology in topology. His constructions built on ideas from Grothendieck’s motives program, extensions proposed by Alexander Beilinson and Pierre Deligne, and techniques from étale cohomology and Milnor K-theory. He proved the Milnor conjecture relating Galois cohomology and Milnor K-theory, connecting results of John Milnor, methods of Vladimir Milnor’s namesake conjectures, and groundwork by Andrei Suslin and Maxim Kontsevich. His development of motivic complexes and the motivic stable homotopy category influenced subsequent work by Morel, Levine, Suslin, Totaro, Voelkel, and researchers at IHES and Max Planck Institute for Mathematics. The techniques employed spectral sequences analogous to the Adams spectral sequence and drew on analogies with Brown–Peterson cohomology and Morava K-theory in stable homotopy theory.

Voevodsky received the Fields Medal for 2002, the Shaw Prize in Mathematical Sciences, a Clay Research Award, and fellowships such as the Packard Fellowship. He was elected to academies including the National Academy of Sciences and honored by institutions such as Harvard University, the Institute for Advanced Study, and the European Mathematical Society. His work was recognized in major prize citations alongside laureates like Pierre Deligne, Maxim Kontsevich, Edward Witten, and Michael Atiyah for transformative contributions across algebraic geometry and topology.

In later years he focused on formal verification and the application of computer proof assistants to mathematics, engaging with projects connected to Coq, Lean (proof assistant), Homotopy Type Theory, and collaborations in the broader proof-assistant community including researchers from Microsoft Research, Carnegie Mellon University, Institute for Advanced Study, and University of Cambridge. His influence persists through students and collaborators at institutions such as Harvard University, Princeton University, ETH Zurich, and University of Chicago, and through concepts bearing on the work of Jacob Lurie, Peter Scholze, Mikhail Kapranov, and Dennis Gaitsgory. Voevodsky’s foundational contributions continue to shape research programs in algebraic geometry, algebraic K-theory, and homotopy theory, inspiring conferences at venues like International Congress of Mathematicians and workshops at Simons Center for Geometry and Physics and Mathematical Sciences Research Institute.