Vladimir Alexandrovich Voevodsky ( / vɔɪɛˈvɒdski / , ‹ Ver Tfd › 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 la cohomología motívica condujo a la concesión de una 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 la teoría de tipos de homotopía .
El padre de Vladimir Voevodsky, Aleksander Voevodsky, fue director del Laboratorio de Leptones de Alta Energía en el Instituto de Investigación Nuclear de la Academia Rusa de Ciencias . Su madre Tatiana era química. [1] Voevodsky asistió a la Universidad Estatal de Moscú durante un tiempo, pero fue expulsado sin diploma por negarse a asistir a clases y reprobar académicamente. [1] Recibió su doctorado en matemáticas de la Universidad de Harvard en 1992 después de ser recomendado sin siquiera postularse y sin un título universitario formal, luego de varias publicaciones independientes; [1] fue asesorado allí por David Kazhdan .
Durante su primer año de universidad, su tutor George Shabat le entregó una copia de “ Esquisse d’un Programme ” (presentado unos meses antes por Alexander Grothendieck al CNRS ). Aprendió francés “con el único propósito de poder leer este texto” y comenzó a investigar sobre algunos de los temas allí mencionados. [2]
El trabajo de Voevodsky se encontraba 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 Pekín , China . [4]
En 1998 dio una conferencia plenaria ( A 1 -Homotopy Theory ) en el Congreso Internacional de Matemáticos en Berlín . [5] Fue 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 de 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 al 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. [1] [6]
En abril de 2016, la Universidad de Gotemburgo otorgó un doctorado honorario 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]
Medios de comunicación de Commons
Citas de Wikiquote