[논문 리뷰] On 2-torsion in motivic cohomology

Vladimir Voevodsky|ArXiv.org|2001. 07. 15.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 32

한 줄 요약

이 논문은 베일린스킨-리히텐바움 추측의 2-local 판정을 증명하여, 모든 체 $ k $ 와 $ n \geq 0 $ 에 대해 동역학적 코homology 군 $ H^{n+1}_{ ext{ét}}(Spec(k), Χ_{(2)}(n)) $ 가 영이 됨을 확립한다. 이는 밀너 추측 — 즉, 노름 잔여 호모모르피즘 $ K_*^M(k)/2 \to H^*(k, \mathbb{Z}/2) $ 가 동형사상임 — 을 해결하며, Galois 코hom로지와 동역학적 호모토피 이론에서 중심적인 문제를 $ l = 2 $ 에서 해결한다.

ABSTRACT

In this paper we prove the 2-local part of the Beilinson-Lichtenbaum conjectures on tosion in motivic cohomology. In particular we prove the Milnor conjecture relating Milnor's K-theory and the Galois cohomology with Z/2-coefficients. This paper is a new version of the previously distributed preprint "The Milnor Conjecture".

연구 동기 및 목표

• 동역학적 코homology에 대한 일반화된 힐베르트 90 추측의 2-local 판정을 증명하기.
• $ \mathbb{Z}/2 $-계수 사례에서 노름 잔여 호모모르피즘의 전사성과 단사성을 확립하기.
• $ l = 2 $ 에서의 밀너 추측을 해결하기 — 즉, 모듈로 2의 밀너 K-이론과 $ \mathbb{Z}/2 $-계수 에탈 코hom로지 사이의 동형사상 존재를 제안하기.
• 블로흐-카토 추측의 일반화된 사례를 뒷받침하는 기초적 증거를 제공하기 — 특히 $ l = 2 $ 사례를 증명함으로써.

제안 방법

• 베일린스킨과 리히텐바움의 동역학적 코homology 프레임워크를 사용하여, 자리스키와 에탈 동역학적 코homology 간의 비교를 특히 중시한다.
• 노름 2차형과 그 동역학적 구조를 분석하기 위해 노름 2차형과 그 동역학적 구조를 적용한다.
• 지정된 심플리셜 셰이브의 코homology 군을 계산하기 위해 스펙트럴 시퀀스와 하이퍼코hom로지 기법을 사용한다.
• 유리점과 0-사이클을 코homological 장벽과 연결하기 위해 체흐 심플리셜 스킴 구축법을 적용한다.
• 체흐 복합체 위에 콘 구조를 적용하여 새로운 대상 $ \widetilde{C}(X) $ 를 정의하며, 그 코homology 는 $ n $ 과 서로소인 0-사이클의 존재를 감지한다.
• 체수의 확장의 차수에 의해 곱해지는 것이 $ \widetilde{C}(Y) $ 의 코homology 를 소멸시킴으로써, 동역학적 코homology 에서의 소멸 결과를 이끌어낸다.

실험 결과

연구 질문

• RQ1 모든 체 $ k $ 와 $ n \geq 0 $ 에 대해 동역학적 코homology 군 $ H^{n+1}_{\text{ét}}(Spec(k), \mathbb{Z}_{(2)}(n)) $ 는 영인가?
• RQ2 모든 특성 $ \neq 2 $ 인 체 $ k $ 에 대해 노름 잔여 호모모르피즘 $ K_*^M(k)/2 \to H^*(k, \mathbb{Z}/2) $ 는 동형사상인가?
• RQ3 베일린스킨-리히텐바움 추측의 2-torsion 사례는 노름 2차형과 그 동역학적 구조를 포함하는 계산으로 환원될 수 있는가?
• RQ4 체흐 심플리셜 스킴 $ \check{C}(X) $ 는 $ n $ 과 서로소인 0-사이클을 감지하는 데 어떤 역할을 하는가?
• RQ5 체흐 복합체 위에 적용된 콘 구조는 다양체 위에 유리점이나 0-사이클의 존재에 대한 장벽을 어떻게 제공하는가?

주요 결과

• 일반화된 힐베르트 90 추측의 2-local 판정이 성립한다: 모든 체 $ k $ 와 $ n \geq 0 $ 에 대해 $ H^{n+1}_{\text{ét}}(Spec(k), \mathbb{Z}_{(2)}(n)) = 0 $ 이다.
• 노름 잔여 호모모르피즘 $ K_*^M(k)/2 \to H^*(k, \mathbb{Z}/2) $ 는 동형사상이며, $ l = 2 $ 에서의 밀너 추측을 확인한다.
• $ \mathbb{Z}/2 $-계수를 가진 스무스 스킴 $ X $ 의 동역학적 코homology 는 $ \widetilde{C}(X) $ 의 코homology 를 통해 2와 서로소인 0-사이클의 존재를 감지한다.
• 만약 다양체 $ Y $ 가 차수 $ n $ 의 체 확장 위에 유리점을 가진다면, $ n \cdot \widetilde{H}^{*,*}(\widetilde{C}(Y), \mathbb{Z}) = 0 $ 이며, 이는 동역학적 코homology 에서의 토판성을 암시한다.
• 자리스키 동역학적 코hom로지에서 에탈 동역학적 코hom로지로의 자연스러운 사상은 $ \mathbb{Z}/2 $-계수에서 낮은 차수에서 동형사상이다. 이는 베일린스킨-리히텐바움 추측을 지지한다.
• 증명은 $ l = 2 $ 사례에서 노름 잔여 호모모르피즘의 단사성이 전사성에 의해 유도됨을 보여주며, 전체 추측의 검증을 단순화한다.