La Medalla Fields de 2002 fue otorgada a Vladimir Voevodsky por sus contribuciones al desarrollo de la teoría de homotopía para variedades algebraicas y la formulación de la cohomología motivica. Su trabajo unió la geometría algebraica y la topología, proporcionando nuevos marcos analíticos que permitieron la resolución de conjeturas de larga data dentro de la comunidad matemática.
Educación temprana y camino a Harvard
Nacido en 1966 en Moscú, Voevodsky asistió a la Universidad Estatal Lomonósov de Moscú, específicamente a la Facultad de Mecánica y Matemáticas. Fue expulsado de esta institución sin un diploma debido al ausentismo persistente y al fracaso académico. A pesar de esta falta de un título universitario formal, produjo investigación matemática independiente que condujo a su admisión en la Universidad de Harvard. Recomendado por David Kazhdan, completó su doctorado allí en 1992.
Contribuciones a la geometría algebraica
Voevodsky centró su investigación en la intersección de la geometría algebraica y la topología. En colaboración con Fabien Morel, introdujo una teoría de homotopía para esquemas. Su desarrollo de la cohomología motivica proporcionó las herramientas necesarias para probar la conjetura de Milnor, que vincula la K-teoría de Milnor de un cuerpo con su cohomología étale. En 2009, anunció una prueba de las conjeturas completas de Bloch-Kato en una conferencia de aniversario en el Institut des Hautes Études Scientifiques.
Teoría de tipos y fundamentos matemáticos
A partir de 2002, Voevodsky ocupó una cátedra en el Instituto de Estudios Avanzados en Princeton, Nueva Jersey. Durante este período, cambió su enfoque hacia los fundamentos de las matemáticas. En 2009, construyó un modelo univalente de la teoría de tipos de Martin-Löf utilizando conjuntos simpliciales. Esta iniciativa tenía como objetivo avanzar en la verificación de pruebas asistida por computadora, lo que llevó a su trabajo en la biblioteca UniMath utilizando el asistente de pruebas Coq.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Años finales y legado
En reconocimiento a su impacto en el campo, la Universidad de Gotemburgo otorgó a Voevodsky un doctorado honoris causa en abril de 2016. Falleció el 30 de septiembre de 2017 en su casa de Princeton, a los 51 años, tras un aneurisma. Sus restos fueron enterrados en el cementerio de Khimki. Le sobreviven dos hijas, Diana Yasmine Voevodsky y Natalia Dalia Shalaby.
Datos rápidos
- Nacimiento: 1966, Moscú - Fallecimiento: 2017, Princeton - Medalla Fields: 2002 - Ciudadanía: Estados Unidos, Unión Soviética - Doctorado: Universidad de Harvard, 1992 - Empleador principal: Instituto de Estudios Avanzados - Doctorado honoris causa: Universidad de Gotemburgo, 2016
Preguntas frecuentes
### ¿Cuál es la importancia de la conjetura de Milnor?
Relaciona la K-teoría de Milnor de un cuerpo con su cohomología étale, un problema que Voevodsky resolvió utilizando sus herramientas recién desarrolladas en cohomología motivica.
### ¿Qué son los fundamentos univalentes?
Es un marco para los fundamentos de las matemáticas que desarrolló Voevodsky, que implica la construcción de un modelo univalente de la teoría de tipos de Martin-Löf en conjuntos simpliciales.