[논문 리뷰] On motivic cohomology with Z/l coefficients

Vladimir Voevodsky|arXiv (Cornell University)|2008. 05. 28.

Advanced Algebra and Geometry참고 문헌 8인용 수 23

한 줄 요약

이 논문은 임의의 소수 $ l $ 에 대해 밀너 K-이론과 유한 계수를 가진 엘라-코호몰로지 사이의 동형사상이 존재하는 블로흐-카토 추측을 증명한다. 모티브 코hom로지, 일반화된 로스트 모티브, 그리고 모티브 차수 정리를 사용하여 분할 다양체를 구성하고, 모든 $ n $ 에 대해 노름 잔여 준동형사상이 동형임을 입증함으로써, $ l > 2 $ 를 포함한 모든 $ l $ 에 대해 추측의 증명을 완성한다. 이 작업은 이전의 $ \mathbb{Z}/2 $-계수 결과를 대칭 거듭제곱 연산과 임bedded 단체적 스킴을 통해 임의의 $ \mathbb{Z}/l $-계수로 확장한다.

ABSTRACT

In this paper we give a proof of the Bloch-Kato conjecture relating motivic cohomology and etale cohomology. It is a corrected version of the paper with the same title which posted earlier.

연구 동기 및 목표

• 모든 소수 $ l $ 에 대해 밀너 K-이론과 $ \mathbb{Z}/l $-계수를 가진 엘라-코호몰로지 사이의 블로흐-카토 추측을 증명하는 것.
• 이전에 $ l=2 $ 에서 증명된 밀너의 추측을 홀수 소수 $ l>2 $ 로 확장하는 것. 이 경우 분할 다양체의 기하학적 모델이 더 명시적이지 않다.
• 모티브 코호몰로지와 대칭 거듭제곱 연산을 사용하여 $ \nu_{n} $-다양체의 모티브에서 일반화된 로스트 모티브를 직접 합성원으로 구성하는 것.
• 모르피즘에서의 모티브 차수 정리(모티브 설정으로 일반화된 고전적 차수 공식)를 수립하는 것.
• 로스트 모티브 이론와 순환 체 확장의 모티브를 하나의 프레임워크인 일반화된 로스트 모티브로 통합하는 것.

제안 방법

• 기호 $ \underline{a} = (a_1, \dots, a_n) $ 와 관련된 임베디드 단체적 스킴 위에서 테이트 모티브로부터 일반화된 로스트 모티브를 구성한다.
• 대칭 거듭제곱 연산과 밀너 연산 $ Q_i $ 를 연결하는 정리 3.8을 사용하여 핵심 이차수에서 모티브 코호몰로지를 제어한다.
• 모티브 차수 정리(정리 4.4)를 적용하여 일반화된 로스트 모티브가 $ \nu_n $-분할 다양체의 모티브의 직접 합성원임을 보인다.
• 스펙트럴 시퀀스와 모티브 호모로지 계산을 사용하여 단체적 스킴과 그에 관련된 다양체의 코호몰로지를 분석한다.
• 이중성 결과(Corollary 5.17)와 모티브 매갈리스 호모로지의 퇴화 정리를 활용하여 코호몰로지 계산을 단순화한다.
• $ \tilde{H}^{p,q}({\cal X}, \mathbb{Z}/l) $ 와 그 엘라-대응체의 구조를 사용하여 낮은 이차수에서의 동형사상을 증명한다.

실험 결과

연구 질문

• RQ1 홀수 소수 $ l $ 에 대해 $ \mathbb{Z}/2 $-계수에서 $ \mathbb{Z}/l $-계수로 블로흐-카토 추측을 어떻게 확장할 수 있는가?
• RQ2 $ l $ 에 대해 소수인 차수를 가진 영점 사이클이 없는 다양체에 대해 고전적 차수 공식의 모티브 해석은 무엇인가?
• RQ3 $ l > 2 $ 에 대해, 펠테르 형식과 같은 명시적인 기하학적 모델이 없는 상황에서 일반화된 로스트 모티브는 어떻게 구성할 수 있는가?
• RQ4 대칭 거듭제곱 함자와 밀너 연산은 유한 계수를 가진 모티브 코호몰로지를 어떻게 연결하는가?
• RQ5 임베디드 단체적 스킴과 그 모티브 코호몰로지는 분할 다양체와 모티브의 구조를 어떻게 제어하는가?

주요 결과

• 모든 $ n $ 과 임의의 소수 $ l $ 에 대해 노름 잔여 준동형사상 $ K_n^M(k)/l \to H^n_{\text{ét}}(k, \mu_l^{⊗ n}) $ 는 동형사상이며, 이는 블로흐-카토 추측을 증명한다.
• 일반화된 로스트 모티브는 상응하는 기호에 연결된 임베디드 단체적 스킴에 대한 $ \nu_n $-분할 다양체의 모티브에서 직접 합성원으로 존재한다.
• 모티브 차수 정리(정리 4.4)는 특정 차수에서 $ l $- torsion 이 없는 모티브로의 $ \nu_n $-다양체에서의 모르피즘의 차수가 반드시 $ l $ 에 의해 나누어떨어져야 한다고 보여준다.
• 기호 $ \underline{a} $ 와 관련된 임베디드 단체적 스킴 $ \mathcal{X}_{\underline{a}} $ 의 모티브 코호몰로지는 일반화된 로스트 모티브의 구조를 제어한다.
• $ \text{Hom}(\mathbb{Z}_{(l)}, M_{l-1}(1)[1]) \to \text{Hom}(\mathbb{Z}_{(l)}, \mathbb{Z}_{(l)}(1)[1]) $ 는 단사함수이며, 이는 핵심 코호몰로지 계산에서 단사성을 암시한다.
• 정리 6.18은 $ \nu_{n-1} $-다양체가 일반 분할 다양체임을 확인한다. 즉, 기호가 영이 되는 체에서 차수가 $ l $ 과 서로소인 영점 사이클을 가진다.