stringtranslate.com

Владимир Воеводский

Владимир Александрович Воеводский ( / v ɔɪ ɛ ˈ v ɒ d s k i / , русский : Влади́мир Алекса́ндрович Воево́дский ; 4 июня 1966 — 30 сентября 2017) был российско - американским математиком . Его работа по разработке гомотопической теории для алгебраических многообразий и формулировке мотивных когомологий привела к присуждению ему медали Филдса в 2002 году. Он также известен доказательством гипотезы Милнора и мотивных гипотез Блоха–Като и однозначными основаниями математики и теории гомотопических типов .

Ранняя жизнь и образование

Отец Владимира Воеводского, Александр Воеводский, был заведующим Лабораторией лептонов высоких энергий в Институте ядерных исследований Российской академии наук . Его мать Татьяна была химиком. [1] Воеводский некоторое время учился в Московском государственном университете , но был отчислен без диплома за отказ посещать занятия и неуспеваемость. [1] Он получил докторскую степень по математике в Гарвардском университете в 1992 году после того, как был рекомендован даже без подачи заявления и без формальной степени колледжа, после нескольких независимых публикаций; [1] там его консультировал Дэвид Каждан .

Когда он был на первом курсе бакалавриата, его научный руководитель Жорж Шабат дал ему копию " Esquisse d'un Programme " (представленную несколькими месяцами ранее Александром Гротендиком в CNRS ). Он выучил французский язык "с единственной целью - иметь возможность читать этот текст" и начал свои исследования по некоторым из упомянутых там тем. [2]

Работа

Работа Воеводского находилась на пересечении алгебраической геометрии с алгебраической топологией . Вместе с Фабьеном Морелем Воеводский ввел гомотопическую теорию для схем . Он также сформулировал то, что сейчас считается правильной формой мотивных когомологий , и использовал этот новый инструмент для доказательства гипотезы Милнора, связывающей K-теорию Милнора поля с его этальными когомологиями . [3] За вышесказанное он получил медаль Филдса на 24-м Международном конгрессе математиков, состоявшемся в Пекине , Китай . [4]

В 1998 году он прочитал пленарный доклад ( A 1 -Теория гомотопии ) на Международном конгрессе математиков в Берлине . [5] Он является соавтором (совместно с Андреем Суслиным и Эриком М. Фридлендером ) книги «Циклы, трансферы и теории мотивной гомологии» , в которой довольно подробно излагается теория мотивных когомологий.

С 2002 года Воеводский был профессором Института перспективных исследований в Принстоне, штат Нью-Джерси .

В январе 2009 года на юбилейной конференции в честь Александра Гротендика , состоявшейся в Институте высших научных исследований , Воеводский объявил о доказательстве полной гипотезы Блоха–Като .

В 2009 году он построил унивалентную модель теории типов Мартина-Лёфа в симплициальных множествах . Это привело к важным достижениям в теории типов и в разработке новых унивалентных оснований математики, над которыми Воеводский работал в последние годы своей жизни. Он работал над библиотекой Coq UniMath, используя унивалентные идеи. [1] [6]

В апреле 2016 года Гетеборгский университет присвоил Воеводскому почетную докторскую степень. [7]

Смерть и наследие

Воеводский умер 30 сентября 2017 года в своем доме в Принстоне, штат Нью-Джерси , в возрасте 51 года от аневризмы . [1] [8] У него остались дочери, Диана Ясмин Воеводски и Наталья Далия Шалаби. [1]

Избранные произведения

Примечания

  1. ^ abcdef Ремейер, Джули (6 октября 2017 г.). «Владимир Воеводский, революционный математик, умер в возрасте 51 года». New York Times .
  2. ^ См. автобиографическую историю в Воеводский, Владимир. "Унивалентные основания" (PDF) . Институт перспективных исследований .
  3. ^ Морель, Ф. (1998). «Доказательство Воеводского гипотезы Милнора». Бюллетень Американского математического общества . 35 (2): 123–144. doi : 10.1090/S0273-0979-98-00745-9 . ISSN  0273-0979.
  4. ^ Вторую медаль на том же конгрессе получил Лоран Лаффорг.
  5. ^ Воеводский, Владимир (1998). "A1-гомотопическая теория" (PDF) .В: Труды Международного конгресса математиков . Т. 1. С. 579–604.
  6. ^ UniMath: Эта библиотека coq направлена ​​на формализацию значительной части математики с использованием унифицированной точки зрения, Univalent Mathematics, 2017-10-07 , получено 2017-10-07
  7. ^ "Лауреат премии Филдса Владимир Воеводский — новый почетный доктор факультета информационных технологий". 30 июня 2016 г.
  8. ^ "IAS: Владимир Воеводский, лауреат Филдсовской премии, умер в возрасте 51 года". 30 сентября 2017 г. Получено 30 сентября 2017 г.
  9. ^ Weibel, Charles A. (2002). «Обзор циклов, трансферов и мотивных теорий гомологии Владимира Воеводского, Андрея Муслина и Эрика М. Фридлендера» (PDF) . Bull. Amer. Math. Soc. (NS) . 39 (1): 137–143. doi : 10.1090/s0273-0979-01-00930-2 .
  10. ^ Конспект лекций по мотивным когомологиям в книжном магазине AMS
  11. ^ Обзор: Заметки лекций по мотивным когомологиям, Европейское математическое общество

Ссылки

Дальнейшее чтение

Внешние ссылки