[논문 리뷰] The work of Vladimir Voevodsky

Christophe Soulé|arXiv (Cornell University)|2002. 12. 01.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 4

한 줄 요약

이 논문은 바르샤바 비외드스키(Vladimir Voevodsky)의 대표적인 업적인, 모티브(cohomology) 이론과 A¹-호모토피 이론을 활용한 갈루아 코hom로지의 밀너 추측(Milnor conjecture)에 대한 증명을 요약한다. 밀너 K-이론을 2로 나눈 것과 갈루아 코hom로지 간의 동형사상이 존재한다는 것을 입증함으로써, 오랫동안 미해결이었던 문제를 해결하였고, 이는 모티브 호모토피 이론이 산술 대수기하학의 핵심 도구로 자리매김하게 되는 데 기여하였다.

ABSTRACT

Vladimir Voevodsky was born in 1966. He studied at Moscow State University and Harvard university. He is now Professor at the Institute for Advanced Study in Princeton. Among his main achievements are the following: he defined and developed motivic cohomology and the ${\mathbf A}^1$-homotopy theory of algebraic varieties; he proved the Milnor conjectures on the $K$-theory of fields. This article is a brief introduction to this work, for which Voevodsky was awarded the Fields Medal.

연구 동기 및 목표

• 밀너 K-이론을 2로 나눈 것과 Z/2 계수 갈루아 코호몰로지 사이의 관계를 규명하는 밀너 추측을 증명하기 위해.
• 모노드 코호몰로지 이론을 정규화된 대수기하학적 이론으로서, 단순 코호몰로지 이론과 유사한 성질을 갖는 체계를 개발하기 위해.
• A¹-호모토피 이론을 대수기하학의 기본 이론으로 정립하여, 고전적 호모토피 이론과 유사한 기초를 마련하기 위해.
• 새로운 코호몰로지 도구를 통해 대수기하학의 K-이론과 이차형식 이론의 깊은 추측을 해결하기 위해.
• 그로텐디크의 비전을 실현하기 위해, 산술과 위상수학을 통합하는 모티브 이론을 구축하기 위해.

제안 방법

• 비외드스키는 Beilinson과 Lichtenbaum의 예측에 따르는 성질을 만족하는, 단순 코호몰로지 이론의 대수기하학적 유사체로서 motivic cohomology 군 H^{p,q}(X, Z)를 정의하였다.
• Morel과 함께 개발한 대수기하학의 A¹-호모토피 이론을 활용하여, 구간 [0,1] 대신 아핀선 A¹을 사용해 호모토피 동치를 정의하였다.
• Kummer 특성 χ_a의 cup 곱을 통해 Galois symbol h_n: K_n^M(F)/2K_n^M(F) → H^n(F, Z/2)를 구성하였다.
• 고차원의 이차형식 초곡면에서의 계산 곤란 문제를 해결하기 위해, 대수적 K-이론 대신 더 계산 가능성이 높은 모티브 코호몰로지를 도입하였다.
• 핵심적인 코호몰로지 연산을 가능하게 하기 위해, 모티브 스틴로드 대수를 계산하였다.
• Suslin이 Bloch의 정의를 수정한 모티브 코호몰로지 정의를 활용하여, 완전하고 일관된 이론 체계를 확립하였다.

실험 결과

연구 질문

• RQ1 모든 1/2 ∈ F 이며 모든 n ≥ 1에 대해, Galois symbol h_n: K_n^M(F)/2K_n^M(F) → H^n(F, Z/2)가 동형사상인가?
• RQ2 모티브 코호몰로지가 대수적 K-이론과 갈루아 코호몰로지에 대한 계산 가능한 프레임워크를 제공할 수 있는가?
• RQ3 A¹-호모토피 이론은 고전적 위상수학과 유사한 대수기하학의 호모토피 이론적 기초를 제공할 수 있는가?
• RQ4 밀너 추측은 F에서 2가 아닌 임의의 소수 p에 대해 일반화될 수 있으며, 그러한 일반화에 필요한 도구는 무엇인가?
• RQ5 모티브 코호몰로지 군은 매끄러운 다양체에서 카우프 군과 대수기하학적 사이클 사이에 어떤 관계를 가지는가?

주요 결과

• 밀너 추측이 증명됨: 모든 n ≥ 1 및 1/2 ∈ F인 모든 체 F에 대해 Galois symbol h_n은 동형사상이다.
• Z/2-대수 ⊕_n H^n(F, Z/2)는 차수 1 원소들에 의해 생성되며, 절대 갈루아 군의 깊은 구조적 성질을 드러낸다.
• 모티브 코호몰로지 H^{2n,n}(X, Z)는 선형 동치에 대한 몫을 취한 차원 n 사이클의 초군 CH^n(X)과 동형이다.
• 한 점에 대해 H^{n,n}(point, Z) = K_n^M(F)이 성립하여, 모티브 코호몰로지와 밀너 K-이론 간의 직접적 연결 고리를 확립하였다.
• 모티브 스틴로드 대수를 계산함으로써, 증명에 필수적인 도구를 확보하였고, 모티브 호모토피 이론 분야에 새로운 길을 열었다.
• A¹-호모토피 이론은 A¹이 수축 가능해지는 대수기하학적 다양체의 호모토피 범주를 제공하여, 대수기하학에 위상수학적 방법을 적용할 수 있게 하였다.