2002년 필즈상은 대수다양체의 호모토피 이론 발전과 동기 코호몰로지의 정식화에 기여한 블라디미르 보예보츠키(Vladimir Voevodsky)에게 수여되었습니다. 그의 연구는 대수기하학과 위상수학을 연결하여 수학계의 오랜 난제들을 해결할 수 있는 새로운 분석적 틀을 제공했습니다.
초기 교육과 하버드행
1966년 모스크바에서 태어난 보예보츠키는 모스크바 국립대학교 역학수학부에 재학했습니다. 그는 잦은 결석과 학업 부진으로 인해 학위를 받지 못한 채 퇴학당했습니다. 정식 학사 학위가 없음에도 불구하고 독자적인 수학 연구를 수행하여 하버드 대학교에 입학했습니다. 데이비드 카즈단(David Kazhdan)의 추천으로 1992년 그곳에서 박사 학위를 받았습니다.
대수기하학에 대한 기여
보예보츠키는 대수기하학과 위상수학의 교차점에 연구를 집중했습니다. 파비앙 모렐(Fabien Morel)과 협력하여 스킴에 대한 호모토피 이론을 도입했습니다. 그가 발전시킨 동기 코호몰로지는 체의 밀너 K-이론과 에탈 코호몰로지를 연결하는 밀너 추측을 증명하는 데 필요한 도구를 제공했습니다. 2009년, 고등과학연구소(IHES) 기념 학회에서 블로흐-카토 추측의 완전한 증명을 발표했습니다.
유형 이론과 수학의 기초
2002년부터 보예보츠키는 뉴저지주 프린스턴의 고등연구소(IAS)에서 교수직을 맡았습니다. 이 시기에 그는 수학의 기초로 연구 방향을 전환했습니다. 2009년, 단체 집합(simplicial sets)을 사용하여 마르틴-뢰프 유형 이론의 단가 모델을 구축했습니다. 이 이니셔티브는 컴퓨터 보조 증명 검증을 발전시키기 위한 것으로, 증명 보조기 Coq를 사용하는 UniMath 라이브러리 연구로 이어졌습니다.
말년과 유산
해당 분야에 미친 영향을 인정받아 2016년 4월 예테보리 대학교에서 명예 박사 학위를 받았습니다. 2017년 9월 30일 프린스턴 자택에서 동맥류로 51세의 나이에 세상을 떠났습니다. 유해는 힘키 묘지에 안장되었습니다. 유족으로는 두 딸 다이애나 야스민 보예보츠키(Diana Yasmine Voevodsky)와 나탈리아 달리아 샬라비(Natalia Dalia Shalaby)가 있습니다.
요약 정보
- 출생: 1966년, 모스크바 - 사망: 2017년, 프린스턴 - 필즈상: 2002년 - 국적: 미국, 소련 - 박사 학위: 하버드 대학교, 1992년 - 주요 소속: 고등연구소 - 명예 박사: 예테보리 대학교, 2016년
독자 질문
### 밀너 추측의 중요성은 무엇인가요?
이는 체의 밀너 K-이론과 에탈 코호몰로지를 연결하는 것으로, 보예보츠키가 새로 개발한 동기 코호몰로지 도구를 사용하여 해결한 문제입니다.
### 단가 기초(Univalent foundations)란 무엇인가요?
보예보츠키가 개발한 수학 기초를 위한 틀로, 단체 집합 내에서 마르틴-뢰프 유형 이론의 단가 모델을 구축하는 것을 포함합니다.