Vladimir Voyevodski

Vladimir Alexandrovich Voevodsky ( ; , 4 Haziran 1966 - 30 Eylül 2017) bir Rus - Amerikalı matematikçiydi. Cebirsel varyeteler için bir homotopi teorisi geliştirme ve motifsel kohomolojiyi formüle etme çalışmaları, 2002'de Fields Madalyası ödülüyle sonuçlandı. Ayrıca Milnor varsayımının ve motifsel Bloch-Kato varsayımlarının ispatı ve matematiğin ve homotopi tip teorisinin tek değerlikliğin temelleri ile tanınır.Vladimir Voevodsky'nin babası Aleksander Voevodsky, Rusya Bilimler Akademisi Nükleer Araştırma Enstitüsü'nde Yüksek Enerji Leptonları Laboratuvarı'nın başındaydı. Annesi Tatyana bir kimyacıydı. Voevodsky bir süre Moskova Devlet Üniversitesi'ne gitti, ancak derslere katılmayı reddettiği ve akademik olarak başarısız olduğu için diplomasız ayrılmak zorunda kaldı. Birkaç bağımsız yayını takiben hiç başvurmadan David Kazhdan tarafından tavsiye edildikten sonra 1992'de Harvard Üniversitesi'nden matematik alanında; doktora derecesini aldı.İlk yıl lisans öğrencisiyken, danışmanı George Shabat tarafından kendisine (Alexander Grothendieck tarafından birkaç ay önce CNRS'ye sunulan) Esquisse d'un Programının bir kopyası verildi. Fransızcayı "sadece bu metni okuyabilecek" kadar öğrendi ve burada bahsedilen bazı temalar üzerinde araştırmalarına başladı.Voevodsky'nin çalışması cebirsel geometri ile cebirsel topolojinin kesişme noktasındaydı. Fabien Morel ile birlikte Voevodsky, şemalar için bir homotopi teorisi geliştirdi. Ayrıca, şu anda motifsel kohomolojinin doğru formu olduğuna inanılan şeyi formüle etti ve bu yeni aracı, Milnor varsayımını bir cismin Milnor K-teorisi ile ilişkilendiren  onun étale kohomolojisiyle kanıtlamak için kullandı. Yukarıdakiler için Çin'in Pekin kentinde düzenlenen 24. Uluslararası Matematikçiler Kongresi'nde Fields Madalyası aldı.1998'de Berlin'deki Uluslararası Matematikçiler Kongresi'nde genel bir konferans (A1-Homotopi Teorisi) verdi. Motifsel kohomoloji teorisini bazı ayrıntılarıyla geliştiren Döngüler, Transferler ve Motifsel Homoloji Teorileri [Cycles, Transfers and Motivic Homology Theories] (Andrei Suslin ve Eric M. Friedlander ile birlikte) yazdı.Voevodsky, Ocak 2009'da Alexander Grothendieck onuruna Institut des hautes études scientifiques'te düzenlenen bir yıl dönümü konferansında, Bloch-Kato varsayımlarının eksiksiz bir kanıtını açıkladı.2009'da Martin-Löf tipi teorinin tek değerlikli modelini basit kümeler halinde kurdu. Bu, tip teorisinde ve Voevodsky'nin son yıllarında üzerinde çalıştığı matematiğin yeni Tek değerlikliğin temelleri (Univalent foundations) geliştirilmesinde önemli ilerlemelere yol açtı. Tek değerlikli fikirleri kullanarak bir Coq kütüphanesi UniMath üzerinde çalıştı.Voevodsky 30 Eylül 2017'de Princeton'daki evinde anevrizmadan öldü. Ardında kızları Diana Yasmine Voevodsky ve Natalia Dalia Shalaby'yi bırakmıştır.Voevodsky Vladimir, Suslin Andrei ve Friedlander Eric M. (2000). Döngüler, transferler ve motive edici homoloji teorileri (Cycles, transfers, and motivic homology theories) . Matematik Çalışmaları Annals Cilt. 143. Princeton University Press.Mazza Carlo, Voevodsky Vladimir ve Weibel Charles A. Motifsel kohomoloji üzerine ders notları (Lecture notes on motivic cohomology) . Clay Mathematics Monographs, Cilt. 2. American Mathematical Soc., 2011