Vladimir Voevodsky - Vladimir Voevodsky

Vladimir Voevodsky
VladimirVoevodsky.jpg
Voevodsky en 2011
Nació
Vladimir Alexandrovich Voevodsky

(4 de junio de 1966 )4 de junio de 1966
Moscú , Unión Soviética
Fallecido 30 de septiembre de 2017 (30 de septiembre de 2017)(51 años)
Princeton, Nueva Jersey , Estados Unidos
Nacionalidad Ruso , americano
alma mater Universidad Estatal de Moscú Universidad de
Harvard
Premios Medalla Fields (2002)
Carrera científica
Los campos Matemáticas
Instituciones Instituto de estudios avanzados
Asesor de doctorado David Kazhdan

Vladimir Alexandrovich Voevodsky ( / v Ɔɪ del del ɛ v ɒ d s k i / ; ruso : Владимир Александрович Воеводский , junio 4, 1966 hasta septiembre 30, 2017 ) fue un ruso - estadounidense matemático . Su trabajo en el desarrollo de una teoría de homotopía para variedades algebraicas y en la formulación de cohomología motívica lo llevó 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 Teoría del tipo de homotopía .

Temprana edad y educación

El padre de Vladimir Voevodsky, Aleksander Voevodsky, era director 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. Voevodsky asistió a la Universidad Estatal de Moscú por un tiempo, pero se vio obligado a irse sin un diploma por negarse a asistir a clases y reprobar académicamente. Recibió su Ph.D. en matemáticas de la Universidad de Harvard en 1992 después de ser recomendado sin siquiera postularse, luego de varias publicaciones independientes, fue asesorado allí por David Kazhdan .

Mientras era un estudiante de primer año, su asesor George Shabat le dio una copia del Programa Esquisse d'un (presentado unos meses antes por Alexander Grothendieck al CNRS ). Aprendió el idioma francés "con el único propósito de poder leer este texto" y comenzó su investigación sobre algunos de los temas allí mencionados.

Trabajo

El trabajo de Voevodsky estaba 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 . Por lo anterior, recibió la Medalla Fields en el 24º Congreso Internacional de Matemáticos realizado en Beijing , China .

En 1998 dio una conferencia plenaria ( A 1 -Teoría de la Homotopía ) en el Congreso Internacional de Matemáticos en Berlín . 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 en 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 trabajó Voevodsky en sus últimos años. Trabajó en una biblioteca Coq UniMath usando ideas univalentes.

En abril de 2016, la Universidad de Gotemburgo otorgó un doctorado honoris causa a Voevodsky.

Muerte y legado

Voevodsky murió el 30 de septiembre de 2017 en su casa de Princeton, de un aneurisma . Le sobreviven sus hijas Diana Yasmine Voevodsky y Natalia Dalia Shalaby.

Trabajos seleccionados

Notas

Referencias

Otras lecturas

  • Puede encontrar más información sobre su trabajo en su sitio web.

enlaces externos