[논문 리뷰] Kato conjecture and motivic cohomology over finite fields

Uwe Jannsen, Shuji Saito|ArXiv.org|2009. 10. 15.

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

한 줄 요약

이 논문은 특이점의 해소를 가정할 때, 유한체 위의 Gersten-Bloch-Ogus 유형 복합체에 대한 Kato의 추측을 증명하며, 매끄럽고 사영적인 스킴에 대해 Kato 호모로지가 차수 4 이하에서 영이 됨을 확립한다. 이 결과를 응용하여 표준 추측 하에 유한 계수를 가진 모티브 코homology 군의 유한성을 증명한다.

ABSTRACT

For an arithmetical scheme X, K. Kato introduced a certain complex of Gersten-Bloch-Ogus type whose component in degree a involves Galois cohomology groups of the residue fields of all the points of X of dimension a. He stated a conjecture on its homology generalizing the fundamental exact sequences for Brauer groups of global fields. We prove the conjecture over a finite field assuming resolution of singularities. Thanks to a recently established result on resolution of singularities for embedded surfaces, it implies the unconditional vanishing of the homology up to degree 4 for X projective smooth over a finite field. We give an application to finiteness questions for some motivic cohomology groups over finite fields.

연구 동기 및 목표

• 유한체 위의 스킴에 대해 잔여체의 갈루아 코hom로 구성된 복합체의 호모로지에 대한 Kato의 추측을 증명한다.
• 특이점의 해소를 가정할 때, 매끄럽고 사영적인 스킴에 대해 Kato 호모로지가 차수 4 이하에서 영이 됨을 확립한다.
• 영이 되는 결과를 이용하여, 유한 계수를 가진 모티브 코homology 군의 유한성 문제를 다룬다.
• 에테일 사이클 사상과 모티브 코hom로지 사이의 관계를 규명하고, 코homological 추측 하에 동치 또는 정확한 수열을 증명한다.

제안 방법

• 유한체 위의 스킴에 대한 호모로지 이론 $H$를 이용하여, 각 점에서의 잔여체의 갈루아 코호몰로지로 Kato 복합체 $KC_H(X)$를 구성한다.
• 모티브 코호몰로지와 에테일 코호몰로지 사이의 관계를 분석하고 사이클 사상을 분석하기 위해 레벨 스펙트럴 시리즈를 적용한다.
• 지오메트릭 차원에 대한 귀납법과 국소화 수열을 이용하여, 유한성 결과를 매끄러운 경우로 줄인다.
• 고차 호모로지 군을 제어하기 위해 Bloch-Kato 추측 $\mathbf{(BK)_{q+1,\ell}}$과 특이점의 해소를 활용한다.
• 고차 호모로지 군과 에테일 코호몰로지의 스펙트럴 시리즈를 분석하여, $E^1$-항과 $E^\infty$-항을 비교한다.
• 사이클 사상을 통해 Kato 호모로지, 고차 호모로지 군, 에테일 코호몰로지 군을 연결하는 정확한 수열을 확립한다.

실험 결과

연구 질문

• RQ1 매끄럽고 사영적인 스킴에 대해 유한체 위에서 Kato의 추측이 Gersten 복합체의 호모로지에 대해 성립하는가?
• RQ2 매끄럽고 사영적인 스킴에 대해 유한체 위에서 Kato 호모로지 $KH^{{\text{ét}}}_a(X,\mathbb{Z}/n\mathbb{Z})$의 영이 되는 행동은 어떠한가?
• RQ3 유한체 위의 스킴에 대해, 어떤 조건에서 유한 계수를 가진 모티브 코호몰로지 군이 유한한가?
• RQ4 Bloch-Kato 추측의 맥락에서, 에테일 사이클 사상은 고차 호모로지 군과 어떻게 관련되는가?
• RQ5 특이점의 해소가 모티브 코호몰로지의 유한성과 영이 되는 결과를 증명하는 데 어떤 역할을 하는가?

주요 결과

• 특이점의 해소를 가정할 때, Kato의 추측은 유한체 위에서 증명되며, Kato 복합체의 호모로지가 $a \neq 0$ 인 차수에서는 영이 된다.
• 특이점의 해소에 대한 최근 진전(특히 표면에 대한) 덕분에, 매끄럽고 사영적인 스킴에 대해 유한체 위에서 Kato 호모로지가 차수 4 이하에서 무조건적으로 영이 된다.
• 유한체 위에서 차원 $d$를 가진 매끄러운 스킴 $X$에 대해, Bloch-Kato 추측이 $q+1$에 대해 성립한다면, $r > d$ 및 $t \leq q$ 일 때 에테일 사이클 사상 $\rho^{r,t}_X$ 는 동형이다.
• 만약 $r = d$ 이면, $KH^{{\text{ét}}}_a(X,\mathbb{Z}/n\mathbb{Z})$, 고차 호모로지 군 $\mathrm{CH}^d(X,t;\mathbb{Z}/n\mathbb{Z})$, 에테일 코호몰로지 군 사이에 장정확한 수열이 존재한다.
• 특이점의 해소 가정 $\mathbf{(RS)_d}$와 Bloch-Kato 추측 $\mathbf{(BK)_{q+2,\ell}}$ 하에, 모든 $t \leq q$ 에 대해 모티브 코호몰로지 군 $\mathrm{CH}^d(X,t;\mathbb{Z}/n\mathbb{Z})$ 는 유한하다.
• 지오메트릭 차원에 대한 귀납법을 통해, 국소화 수열과 에테일 코호몰로지의 유한성을 이용하여, 유한 계수를 가진 모티브 코호몰로지 군의 유한성이 유도된다.