Vladimir Alexandrovich Voevodsky ( / v ɔɪ ɛ ˈ v ɒ d s k i / , ruso : Влади́мир Алекса́ндрович Воево́дский ; 4 de junio de 1966 - 30 de septiembre de 2017) fue un matemático ruso - estadounidense . Su trabajo en el desarrollo de una teoría de homotopía para variedades algebraicas y la formulación de cohomología motívica le valió la medalla Fields en 2002. También es conocido por la prueba de la conjetura de Milnor y las conjeturas motívicas de Bloch-Kato y por los fundamentos univalentes de las matemáticas y Teoría del tipo de homotopía .
El padre de Vladimir Voevodsky, Aleksander Voevodsky, era jefe del Laboratorio de Leptones de Alta Energía en el Instituto de Investigación Nuclear de la Academia de Ciencias de Rusia . Su madre Tatyana era química. [1] Voevodsky asistió a la Universidad Estatal de Moscú durante un tiempo, pero se vio obligado a abandonarla sin un diploma por negarse a asistir a clases y fracasar académicamente. [1] Recibió su doctorado. en matemáticas de la Universidad de Harvard en 1992 después de ser recomendado sin siquiera postularse, luego de varias publicaciones independientes; [1] Allí fue asesorado por David Kazhdan .
Mientras cursaba el primer año de licenciatura, su asesor George Shabat le entregó una copia del " Programa Esquisse d'un " (presentado unos meses antes por Alexander Grothendieck al CNRS ). Aprendió el idioma francés "con el único fin de poder leer este texto" e inició sus investigaciones sobre algunos de los temas allí mencionados. [2]
El trabajo de Voevodsky estuvo en la intersección de la geometría algebraica con la topología algebraica . Junto con Fabien Morel , Voevodsky introdujo una teoría de homotopía para esquemas . También formuló lo que ahora se cree que es la forma correcta de cohomología motívica y utilizó esta nueva herramienta para probar la conjetura de Milnor que relaciona la teoría K de Milnor de un campo con su cohomología étale . [3] Por lo anterior recibió la Medalla Fields en el 24° Congreso Internacional de Matemáticos celebrado en Beijing , China . [4]
En 1998 pronunció una conferencia plenaria ( Teoría de la homotopía A 1 ) en el Congreso Internacional de Matemáticos en Berlín . [5] Es coautor (con Andrei Suslin y Eric M. Friedlander ) de Cycles, Transfers and Motivic Homology Theories , que desarrolla la teoría de la cohomología motívica con cierto detalle.
Desde 2002, Voevodsky fue profesor en el Instituto de Estudios Avanzados de Princeton, Nueva Jersey .
En enero de 2009, en una conferencia de aniversario en honor a Alexander Grothendieck , celebrada en el Institut des Hautes Études Scientifiques , Voevodsky anunció una prueba de las conjeturas completas de Bloch-Kato .
En 2009, construyó el modelo univalente de la teoría de tipos de Martin-Löf en conjuntos simpliciales . Esto condujo a importantes avances en la teoría de tipos y en el desarrollo de nuevos fundamentos univalentes de las matemáticas en los que Voevodsky trabajó en sus últimos años. Trabajó en una biblioteca Coq UniMath utilizando ideas univalentes. [ dieciséis]
En abril de 2016, la Universidad de Gotemburgo otorgó un doctorado honoris causa a Voevodsky. [7]
Voevodsky murió el 30 de septiembre de 2017 en su casa de Princeton, Nueva Jersey , a los 51 años, a causa de un aneurisma . [1] [8] Le sobrevivieron sus hijas, Diana Yasmine Voevodsky y Natalia Dalia Shalaby. [1]