[논문 리뷰] Syntomic cohomology and Beilinson's Tate conjecture for $K_2$

Masanori Asakura, Kanetomo Sato|arXiv (Cornell University)|2009. 04. 23.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 3

한 줄 요약

이 논문은 $p$-진 필드 위의 타원 표면에 대해 $K_2$의 에탈 코homology에 대한 신택믹 코homology의 경계를 설정하며, 신택믹 코homology의 이미지가 형식적 아이zen슈타인 급수 공간에 포함됨을 증명한다. 이는 갈루아 불변 에탈 코homology의 랭크에 대한 새로운 상한을 제공하며, 특정 경우에서 베일린스킨의 테이트 추측을 $K_2$에 대해 검증하고, $\mathbb{Q}_p$ 위의 특정 $K3$ 표면에서 토파스 0-사이클의 유한성을 증명한다. 핵심 혁신은 타이트 커브 위에서의 $p$-진 호지 이론적 계산과 신택믹 및 에탈 코homology를 연결하는 포텐트-메싱 이론의 활용에 있다.

ABSTRACT

In this paper, we study an analogue of the Tate conjecture for $K_2$ of U, the complement of split multiplicative fibers in an elliptic surface. A main result is to give an upper bound of the rank of the Galois fixed part of the etale cohomology $H^2(\bar{U},Q_p(2))$. As an application, we give an elliptic K3 surface $X$ over a p-adic field for which the torsion part of the Chow group $CH_0(X)$ of 0-cycles is finite. This would be the first example of a surface $X$ over a p-adic field whose geometric genus is non-zero and for which the torsion part of $CH_0(X)$ is finite.

연구 동기 및 목표

• 심틱 코호몰로지와 형식적 아이젠슈타인 급수를 이용하여 $H^2_{\text{ét}}(\overline{U}, \mathbb{Q}_p(2))^{G_K}$ 의 랭크에 대한 새로운 상한을 설정한다.
• 상한을 포화시키기 위해 충분한 $K_2$-기호를 구성함으로써 특정 경우에서 베일린스킨의 테이트 추측을 $K_2$에 대해 검증한다.
• 좋은 환원을 갖는 $\mathbb{Q}_p$ 위의 $K3$ 표면 $X$에 대해 차우 군 $\mathrm{CH}_0(X)_{\text{tors}}$ 의 토파스 부분군의 유한성을 증명한다.
• 모듈라 곡선에서의 베일린스킨의 아이젠슈타인 기호 정리에 대해 $p$-진 호지 이론을 통해 임의의 타원 표면으로 확장한다.

제안 방법

• 분리된 스플릿 승법성 섬유를 따라 로그 극을 갖는 신택믹 코호몰로지를 사용하여 $H^2_{\text{syn}}(\mathscr{X}(\mathscr{D}), \mathscr{S}_{\mathbb{Z}_p}(2))$ 에서 $\mathscr{X}$ 위의 전역 로그 2-형식으로의 사상 정의.
• $\mathrm{E}(\mathscr{X}, \mathscr{D})_{\mathbb{Z}_p}$ 를 $\Gamma(\mathscr{X}, \Omega^2_{\mathscr{X}/R}(\log \mathscr{D}))$ 의 부분공간으로 정의.
• 타이트 커브 위에서의 세밀한 $p$-진 호지 이론적 계산을 통해 신택믹 코호몰로지 사상의 이미지가 $\mathrm{E}(\mathscr{X}, \mathscr{D})_{\mathbb{Z}_p}$ 안에 있음을 증명.
• 포텐트-메싱 이소모피즘을 활용하여 신택믹 코호몰로지를 에탈 코호몰로지와 연결함으로써 부등식 $\dim_{\mathbb{Q}_p} c_{\text{ét}}(K_2(U)\otimes \mathbb{Q}_p) \leq \mathrm{rank}_{\mathbb{Z}_p} \mathrm{E}(\mathscr{X}, \mathscr{D})_{\mathbb{Z}_p}$ 를 도출.
• 레지우럴 사상 $K_1(X)^{(2)} \otimes \mathbb{Q}_\ell \to \mathrm{NS}(Y)_{\mathbb{Q}_\ell}$ 의 상사성과 $H^3(X, \mathbb{Q}_\ell/\mathbb{Z}_\ell(2))$ 의 나누어떨어짐 성질을 이용하여 $\mathrm{CH}_0(X)_{\text{tors}}$ 의 유한성을 증명.
• 호크시لد-세르 스펙트럴 시퀀스와 드레니의 프로베니우스 추적의 독립성 정리를 적용하여 갈루아 불변 코호몰로지 군의 나누어떨어짐 성질을 보인다.

실험 결과

연구 질문

• RQ1 타원 표면이 $\mathbb{Q}_p$ 위에 있을 때, 신택믹 코호몰로지가 $H^2_{\text{ét}}(\overline{U}, \mathbb{Q}_p(2))^{G_K}$ 의 랭크에 대한 새로운 상한을 제공할 수 있는가?
• RQ2 심틱 코호몰로지 사상의 이미지가 형식적 아이젠슈타인 급수 공간 $\mathrm{E}(\mathscr{X}, \mathscr{D})_{\mathbb{Z}_p}$ 에 포함되는가? 이는 모듈라 곡선을 넘어서 베일린스킨 정리를 확장하는가?
• RQ3 어떤 조건에서 에탈 채르 클래시 맵 $c_{\text{ét}}: K_2(U) \otimes \mathbb{Q}_p \to H^2_{\text{ét}}(\overline{U}, \mathbb{Q}_p(2))^{G_K}$ 가 전사가 되는가? 이는 $K_2$에 대한 베일린스킨의 테이트 추측을 검증하는가?
• RQ4 좋은 환원과 분리된 승법성 섬유를 갖는 $\mathbb{Q}_p$ 위의 $K3$ 표면 $X$ 에 대해 토파스 부분군 $\mathrm{CH}_0(X)_{\text{ tors}}$ 는 유한한가?
• RQ5 레지우럴 사상의 상사성과 코호몰로지 군의 나누어떨어짐 성질로부터 $\mathrm{CH}_0(X)_{\text{tors}}$ 의 유한성이 도출될 수 있는가?

주요 결과

• 심틱 코호몰로지 사상 $H^2_{\text{syn}}(\mathscr{X}(\mathscr{D}), \mathscr{S}_{\mathbb{Z}_p}(2)) \to \Gamma(\mathscr{X}, \Omega^2_{\mathscr{X}/R}(\log \mathscr{D}))$ 의 이미지는 형식적 아이젠슈타인 급수 공간 $\mathrm{E}(\mathscr{X}, \mathscr{D})_{\mathbb{Z}_p}$ 에 포함되어 있으며, 이는 핵심적인 기하학적 제약 조건을 설정한다.
• 부등식 $\dim_{\mathbb{Q}_p} c_{\text{ét}}(K_2(U)\otimes \mathbb{Q}_p) \leq \mathrm{rank}_{\mathbb{Z}_p} \mathrm{E}(\mathscr{X}, \mathscr{D})_{\mathbb{Z}_p}$ 는 갈루아 불변 에탈 코호몰로지의 랭크에 대한 새로운 상한을 제공하며, 일부 경우에서 분리된 승법성 섬유의 수보다 엄밀히 작다.
• 벡터 공간 $c_{\text{ét}}(K_2(U)\otimes \mathbb{Q}_p)$ 의 차원이 상한과 일치하는 예시에서, 베일린스킨의 테이트 추측이 $K_2$에 대해 검증되었으며, 이는 에탈 채르 클래시 맵의 전사성을 의미한다.
• 좋은 환원과 분리된 승법성 섬유를 갖는 $\mathbb{Q}_p$ 위의 $K3$ 표면 $X$ 에 대해 토파스 부분군 $\mathrm{CH}_0(X)_{\text{tors}}$ 는 유한하며, 이는 기존의 유한성 결과를 $p$-진 필드로 확장한다.
• 레지우럴 사상 $K_1(X)^{(2)} \otimes \mathbb{Q}_\ell \to \mathrm{NS}(Y)_{\mathbb{Q}_\ell}$ 는 전사이며, 거의 모든 $\ell$ 에 대해 $H^3(X, \mathbb{Q}_\ell/\mathbb{Z}_\ell(2))$ 는 나누어떨어지며, 이 두 성질이 함께 $\mathrm{CH}_0(X)_{\text{tors}}$ 의 유한성을 암시한다.
• 유한성의 증명은 프로베니우스 추적의 독립성(드레니의 정리)과 갈루아 불변 코호몰로지의 나누어떨어짐 성질에 기반하며, $H^1(\mathbb{Q}_p, H^2(\overline{X}, \mathbb{Q}_\ell/\mathbb{Z}_\ell(2))) \simeq N_\ell \otimes \mathbb{Q}_\ell/\mathbb{Z}_\ell$ 는 거의 모든 $\ell$ 에 대해 나누어진다.