Владимир Воеводский: Математик және Филдс жүлдесінің иесі
Vladimir Voevodsky
Владимир Воеводский: Ресейлік-американ математигі, Филдс жүлдесінің иегері. Гомотопия теориясы, мотивтік когомология, Милнор болжамы және математиканың жаңа негіздері.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Владимир Александрович Воеводский (/v//ɔj//ɛ/'/v//ɒ//d//s//k//i/, Влади́мир Алекса́ндрович Воево́дский; 4 маусым 1966 – 30 қыркүйек 2017) – ресейлік-американдық математик. Ол алгебралық сан түрлері үшін гомотопия теориясын жасау және мотивтік когомологияны формулирлеу жұмысы үшін 2002 жылы Филдс медалімен марапатталды. Ол сонымен қатар Милнордың болжамын және мотивтік Блох-Като болжамдарын дәлелдеуімен, математиканың унивалентті негіздері мен гомотопиялық типтер теориясымен де танымал.
Vladimir Alexandrovich Voevodsky (/v//ɔj//ɛ/'/v//ɒ//d//s//k//i/, Влади́мир Алекса́ндрович Воево́дский; 4 June 1966 – 30 September 2017) was a Russian American mathematician. His work in developing a homotopy theory for algebraic varieties and formulating motivic cohomology led to the award of a Fields Medal in 2002. He is also known for the proof of the Milnor conjecture and motivic Bloch–Kato conjectures and for the univalent foundations of mathematics and homotopy type theory.
Ерте өмір және білім
Владимир Воеводскийдің әкесі, Александр Воеводский, Ресей Ғылым академиясының Ядролық зерттеулер институтындағы Жоғары энергетикалық лептондар зертханасының жетекшісі болған. Оның анасы Татьяна – химияшы болған.
Vladimir Voevodsky's father, Aleksander Voevodsky, was head of the Laboratory of High Energy Leptons in the Institute for Nuclear Research at the Russian Academy of Sciences. His mother Tatyana was a chemist.
Жұмыс
Воеводскийдің жұмысы алгебралық геометрия мен алгебралық топологияның қиылысында болды. Фабиен Морельмен бірге Воеводский схемалар үшін гомотопия теориясын енгізді. Ол сондай-ақ қазіргі кезде дұрыс деп есептелетін мотивтік кохомологияның түрін тұжырымдады және бұл жаңа құралды Милнордың Milnor K теориясын оның этальдік кохомологиясына қатысты Милнордың болжамын дәлелдеу үшін пайдаланды. Осы еңбектері үшін ол Қытайдың Пекин қаласында өткен 24-ші Халықаралық математиктер конгресінде Филдс медалімен марапатталды. 1998 жылы ол Берлинде өткен Халықаралық математиктер конгресінде пленарлық лекция оқыды (A1 Гомотопия теориясы). Ол (Андрей Суслинмен және Эрик М. Фридландермен) циклдар, трансферлер және мотивтік гомология теориясын егжей-тегжейлі дамытатын «Циклдар, трансферлер және мотивтік гомология теориялары» атты еңбекті жазды. 2002 жылдан бастап Воеводский Нью-Джерси штатының Принстон қаласындағы Жоғары оқу институтының профессоры болды. 2009 жылдың қаңтар айында Александр Гротендик құрметіне өткен Жоғары ғылыми зерттеулер институтындағы конференцияда Воеводский Блох-Катоның толық болжамдарын дәлелдегенін жариялады. 2009 жылы ол Мартин Лёфтың типтік теориясының симплициалды жиынтықтардағы біртекті моделін құрастырды. Бұл типтер теориясындағы маңызды жетістіктерге және Воеводский соңғы жылдары жұмыс істеген математиканың жаңа біртекті негіздерін дамытуға әкелді. Ол Coq кітапханасы UniMath-те біртекті идеяларды қолдана отырып жұмыс істеді. 2016 жылдың сәуірінде Гетеборг университеті Воеводскийге құрметті докторлық атағын берді.
Voevodsky's work was in the intersection of algebraic geometry with algebraic topology. Along with Fabien Morel, Voevodsky introduced a homotopy theory for schemes. He also formulated what is now believed to be the correct form of motivic cohomology, and used this new tool to prove Milnor's conjecture relating the Milnor K theory of a field to its étale cohomology. For the above, he received the Fields Medal at the 24th International Congress of Mathematicians held in Beijing, China. In 1998 he gave a plenary lecture (A1 Homotopy Theory) at the International Congress of Mathematicians in Berlin. He coauthored (with Andrei Suslin and Eric M. Friedlander) Cycles, Transfers and Motivic Homology Theories, which develops the theory of motivic cohomology in some detail. From 2002, Voevodsky was a professor at the Institute for Advanced Study in Princeton, New Jersey. In January 2009, at an anniversary conference in honor of Alexander Grothendieck, held at the Institut des Hautes Études Scientifiques, Voevodsky announced a proof of the full Bloch–Kato conjectures. In 2009, he constructed the univalent model of Martin Löf type theory in simplicial sets. This led to important advances in type theory and in the development of new univalent foundations of mathematics that Voevodsky worked on in his final years. He worked on a Coq library UniMath using univalent ideas. In April 2016, the University of Gothenburg awarded an honorary doctorate to Voevodsky.
Өлім және мұра
Воеводский 2017 жылдың 30 қыркүйегінде Нью-Джерси штатының Принстон қаласындағы үйінде 51 жасында аневризмадан қайтыс болды. Ол Диана Ясмин Воеводская және Наталья Далия Шалаби есімді қыздарын қалдырды.
Voevodsky died on 30 September 2017 at his home in Princeton, New Jersey, aged 51, from an aneurysm. He was survived by his daughters, Diana Yasmine Voevodsky and Natalia Dalia Shalaby.