Филдсовская премия 2002 года была присуждена Владимиру Воеводскому за его вклад в развитие теории гомотопий для алгебраических многообразий и формулировку мотивной когомологии. Его работа объединила алгебраическую геометрию и топологию, предоставив новые аналитические рамки, которые позволили разрешить давние гипотезы в математическом сообществе.
Раннее образование и путь в Гарвард
Воеводский родился в 1966 году в Москве и учился в Московском государственном университете имени М. В. Ломоносова, на механико-математическом факультете. Он был отчислен из этого учебного заведения без диплома из-за систематических пропусков занятий и академической неуспеваемости. Несмотря на отсутствие формального высшего образования, он проводил независимые математические исследования, которые привели к его зачислению в Гарвардский университет. По рекомендации Дэвида Каждана он получил там докторскую степень в 1992 году.
Вклад в алгебраическую геометрию
Воеводский сосредоточил свои исследования на пересечении алгебраической геометрии и топологии. В сотрудничестве с Фабьеном Морелем он ввел теорию гомотопий для схем. Его разработка мотивной когомологии предоставила необходимые инструменты для доказательства гипотезы Милнора, которая связывает K-теорию Милнора поля с его этальной когомологией. В 2009 году на юбилейной конференции в Институте высших научных исследований (IHES) он объявил о доказательстве полных гипотез Блоха-Като.
Теория типов и основания математики
Начиная с 2002 года, Воеводский занимал профессорскую должность в Институте перспективных исследований в Принстоне, штат Нью-Джерси. В этот период он переключил свое внимание на основания математики. В 2009 году он построил унивалентную модель теории типов Мартина-Лёфа с использованием симплициальных множеств. Эта инициатива была направлена на развитие компьютерной проверки доказательств, что привело к его работе над библиотекой UniMath с использованием системы Coq.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Последние годы и наследие
В знак признания его влияния на эту область, Гётеборгский университет присвоил Воеводскому почетную докторскую степень в апреле 2016 года. Он скончался 30 сентября 2017 года в своем доме в Принстоне в возрасте 51 года в результате аневризмы. Его останки были захоронены на Химкинском кладбище. У него остались две дочери, Диана Ясмин Воеводская и Наталья Далия Шалаби.
Краткие факты
- Рождение: 1966, Москва - Смерть: 2017, Принстон - Филдсовская премия: 2002 - Гражданство: США, СССР - Докторская степень: Гарвардский университет, 1992 - Основное место работы: Институт перспективных исследований - Почетная докторская степень: Гётеборгский университет, 2016
Вопросы читателей
### В чем заключается значимость гипотезы Милнора?
Она связывает K-теорию Милнора поля с его этальной когомологией — проблема, которую Воеводский решил, используя свои недавно разработанные инструменты мотивной когомологии.
### Что такое унивалентные основания?
Это разработанная Воеводским система оснований математики, включающая построение унивалентной модели теории типов Мартина-Лёфа в симплициальных множествах.