[논문 리뷰] A comparison theorem for MW-motivic cohomology

Baptiste Calmès, Jean Fasel|arXiv (Cornell University)|2017. 08. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 3인용 수 7

한 줄 요약

이 논문은 특성 ≠ 2인 무한 perfect field의 유한 생성 확대인 체 L에 대해 bidegree (n,n)에서 Milnor-Witt K-이론과 MW-모티브릭 코homology 사이의 비교 isomorphism을 수립한다. Sheaf 이론적 방법으로 universal morphism Φ를 구성하고, transfer 호환성과 degree 1에서의 코homological 계산을 통해 이가 isomorphism임을 증명함으로써, 모든 n ∈ ℤ와 이러한 체 L에 대해 H_MW^{n,n}(L, ℤ) ≅ K^MW_n(L)임을 보인다.

ABSTRACT

We prove that for a finitely generated field over an infinite perfect field k, and for any integer n, the (n,n)-th MW-motivic cohomology group identifies with the n-th Milnor-Witt K-theory group of that field

연구 동기 및 목표

• bidegree (n,n)에서 MW-모티브릭 코hom로지와 Milnor-Witt K-이론 사이의 비교 isomorphism을 수립하기 위해.
• 유한 생성 체 확대 L/k에 대해 universal morphism Φ: K^MW_*(L) → ⊕_n H_MW^{n,n}(L, ℤ)가 isomorphism임을 증명하기 위해.
• 기존의 Nesterenko-Suslin-Totaro isomorphism을 일반 motivic cohomology에 대해 증명한 것을 MW-모티브릭 설정으로 확장하기 위해.
• morphsim Φ가 전이를 존중함을 확인하여 체 확대와의 호환성을 확보하고, isomorphism 증명을 가능하게 하기 위해.
• MW-설정에서의 acyclicity 실패로 인해 핵심적인 역할을 하는 degree 1에서의 복합체의 코homology를 계산하기 위해.

제안 방법

• sheaf의 사상 G_m^∧n → H_MW^{n,n}을 통해, K^MW_*(L) → ⊕_n H_MW^{n,n}(L, ℤ)의 gradation된 ring homomorphism Φ를 구성함.
• H_MW^{n,n}이 엄격한 A^1-불변성을 지닌다는 사실을 이용하여, 이전 연구에서 확립된 linе의 universal 성질을 보장함.
• Φ가 left inverse를 구성하고, G_m^∧1에 관련된 복합체의 직접적인 코homological 계산을 통해 degree 1에서의 isomorphism을 검증함으로써, Φ가 isomorphism임을 증명함.
• 유한 체 확대에 대한 추적 맵을 존중함을 보여주어 전이 호환성을 확립함. Chow-Witt group의 성질과 프로젝션 공식을 활용함.
• 분리 가능 및 순수하게 비가역적 확대에 대해 귀납법과 분해 기법을 적용하여 문제를 기본 사례로 환원함.
• Φ가 K^MW_0(L)-선형임을 활용하고, sheaf θ_F의 전성으로 인해 K-이론과 모티브릭 코homology 양쪽에서 전이 맵과의 호환성을 검증함.

실험 결과

연구 질문

• RQ1 유한 생성 체 확대 L/k에 대해 universal morphism Φ: K^MW_*(L) → ⊕_n H_MW^{n,n}(L, ℤ)가 isomorphism인지 여쭙기 위해.
• RQ2 MW-모티브릭 코homology가 bidegree (n,n)에서 체 확대의 맥락에서 Milnor-Witt K-이론과 어떻게 관련되어 있는지 여쭤보기 위해.
• RQ3 MW-complex에서의 acyclicity 실패를 어떻게 극복하여 degree 1에서의 isomorphism을 증명할 수 있는지 여쭤보기 위해.
• RQ4 morphsim Φ가 유한 MW-correspondence의 범주에서 유한 대응과 전이를 존중하는가 여쭤보기 위해.
• RQ5 비교 isomorphism이 일반 motivic cohomology에 대한 Nesterenko-Suslin-Totaro 결과를 어느 정도 일반화하는가 여쭤보기 위해.

주요 결과

• 모든 n ∈ ℤ와 char(k) ≠ 2인 유한 생성 체 확대 L/k에 대해, morphism Φ: K^MW_n(L) → H_MW^{n,n}(L, ℤ)는 isomorphism이다.
• degree 1에서의 isomorphism은 G_m^∧1에 관련된 복합체의 코homology를 직접 계산함으로써 확립되었으며, 이 복합체는 acyclic하지 않지만 제어 가능한 코homology를 지닌다.
• Φ는 유한 체 확대에 대해 전이를 존중한다. 이는 분리 가능 및 순수하게 비가역적 사례로 분해하여 증명한 핵심 기술적 결과이다.
• 순수하게 비가역적 확대의 경우, p_ε의 작용과 Φ의 K^MW_0(L)-선형성 덕분에 추적 결함 t(α)의 pullback이 0이 된다.
• 분리 가능 확대의 경우, K-이론과 모티브릭 코homology에서 추적과 전이의 교환 법칙을 만족하는 다이어그램의 교차성으로 인해 Φ의 추적 맵에 대한 호환성이 도출된다.
• 주요 결과는 Nesterenko-Suslin-Totaro isomorphism을 일반화하며, Milnor-Witt K-이론에서 Milnor K-이론으로의 忘却 map이 모티브릭 코homology isomorphism과 함께 교환 다이어그램을 이룬다.