[논문 리뷰] Cycle classes for p-adic étale Tate twists and the image of p-adic regulators

Kanetomo Sato|arXiv (Cornell University)|2010. 04. 08.

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

한 줄 요약

이 논문은 p-진 에테ール 테이트 회전의 값으로 코흐 및 사이클 클래스 사상들을 구축하여, p-진 에테ール 코homology와 갈루아 코hom로지의 유한 부분 사이의 연결을 확립한다. 단수성-무게 추측과 큰 p 및 r에 대해, p-진 에테ール 테이트 회전의 필터링의 계수 부분이 갈루아 코hom로지의 유한 부분과 일치함을 증명하며, 이는 반순수 환원의 경우에 p-진 점 추측을 확장한다.

ABSTRACT

In this paper, we construct Chern class maps and cycle class maps with values in p-adic étale Tate twists [S2]. We also relate the p-adic étale Tate twists with the finite part of Bloch-Kato. As an application, we prove that the integral part of p-adic regulator maps has values in the finite part of Galois cohomology under certain assumptions.

연구 동기 및 목표

• 산술 체계에 대해 p-진 에테ール 테이트 회전의 값으로 코흐 및 사이클 클래스 사상들을 정의하기 위해.
• 이러한 계수에 대해 에테ール 코hom로지의 호모토피 불변성 부족을 해결하기 위해 로그-극 변형을 도입하여.
• 폰타인-얀센 추측을 통해 p-진 에테ール 테이트 회전을 갈루아 코hom로지의 유한 부분과 연결하기 위해.
• p-진 점 추측을 반순수 환원의 경우로 확장하기 위해.
• 적절한 가정 하에 p-진 정규화 사상의 정수 부분이 갈루아 코호몰로지의 유한 부분에 떨어짐을 확립하기 위해.

제안 방법

• 유한체 $\mathbb{Z}/p^n$-층의 유도 범주에서 $\mathfrak{T}_n(r)_X$로 p-진 에테ール 테이트 회전을 구성하고, 곱 구조와 함의성 구조를 갖춘다.
• 수평 정규 교차 분할에 沿한 로그-극 변형을 도입하여 p-진 호모토피 불변성의 유사체를 복원한다.
• p-진 호모토피 불변성 결과(보조정리 4.3)와 반순수성 성질(정리 6.5)을 로그-극 변형에 대해 증명한다.
• Dold-Thom 동형과 $\mathfrak{T}_n(r)_X$의 곱 구조를 사용하여 코흐 클래스 사상 $c_{r,m}$을 정의한다.
• 블로흐의 구성과 유사하게 새로운 계수 체계에 기반하여 사이클 클래스 사상 $\mathrm{cl}_X^{r,m}$을 정의한다.
• 폰타인-얀센 추측(히요도, 카토, 츠지에 의해 증명됨)을 이용하여 $H^i(X, \mathfrak{T}_{\mathbb{Q}_p}(r)_X)$를 갈루아 코호몰로지와 연결하고 필터링 $F^\bullet$을 정의한다.

실험 결과

연구 질문

• RQ1 높은 차수의 차우 군이 곱 구조를 갖지 않기 때문에, p-진 에테ール 테이트 회전의 값으로 코흐 및 사이클 클래스 사상들을 어떻게 정의할 수 있는가?
• RQ2 호모토피 불변성이 없음에도 불구하고, $\mathfrak{T}_n(r)_X$-계수에 대해 에테ール 코호몰로지에 대해 p-진 호모토피 불변성의 유사체를 확립할 수 있는가?
• RQ3 어떤 조건에서 $\mathrm{gr}_F^1 H^i(X, \mathfrak{T}_{\mathbb{Q}_p}(r)_X)$가 유한 부분 $H^1_f(K, H^{i-1}(X_{\overline{K}}, \mathbb{Q}_p(r)))$와 일치하는가?
• RQ4 반순수 환원의 경우에 p-진 정규화 사상의 이미지는 갈루아 코호몰로지의 유한 부분과 어떻게 관련되는가?
• RQ5 p-진 에테ール 테이트 회전 코호몰로지가 산술 기하학에서 갈루아 코호몰로지의 유한 부분을 어느 정도 반영하는가?

주요 결과

• Dold-Thom 동형과 $\mathfrak{T}_n(r)_X$의 곱 구조를 사용하여 코흐 클래스 사상 $c_{r,m}: K_m(X) \to H^{2r-m}_{\acute{e}t}(X, \mathfrak{T}_n(r)_X)$가 구성된다.
• 로그-극 테이트 회전에 대한 p-진 호모토피 불변성 결과를 활용하여 사이클 클래스 사상 $\mathrm{cl}_X^{r,m}: \mathrm{CH}^r(X,m) \to H^{2r-m}_{\acute{e}t}(X, \mathfrak{T}_n(r)_X)$가 구성된다.
• 단수성-무게 추측과 큰 $p$ 및 $r$ 조건 하에, 계수 부분 $\mathrm{gr}_F^1 H^i(X, \mathfrak{T}_{\mathbb{Q}_p}(r)_X)$가 유한 부분 $H^1_f(K, H^{i-1}(X_{\overline{K}}, \mathbb{Q}_p(r)))$와 동형임을 보였다.
• 제시된 가정 하에 p-진 정규화 사상 $\mathrm{reg}_p^{2r-i-1,r}$의 정수 부분이 갈루아 코호몰로지의 유한 부분 $H^1_f(K, H^i(\overline{V}, \mathbb{Q}_p(r)))$에 떨어진다.
• 로그 심토믹 코호몰로지와 갈루아 코호몰로지의 기하 부분을 연결하는 랑거와 네코바르의 결과에 대해 비분기 형태를 제공한다.
• 로그 구조와 p-진 호드 이론을 통해 정의된 사상의 호환성에 의해, 심토믹, 크리스탈린, 갈루아 코호몰로지 간의 핵심 다이어그램의 교환성을 확립하였다.