[논문 리뷰] Beilinson's Tate conjecture for $K_2$ and finiteness of torsion zero-cycles on elliptic surface

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

Algebraic Geometry and Number Theory인용 수 1

한 줄 요약

이 논문은 타원 곡면에서 분할된 곱셈성 섬유의 여집합인 $U$에 대해 에테ール 코homology $H^2(\bar{U}, \bar{\bbQ}_p(2))$의 갈루아 고정부분의 질량에 대한 상계를 확립하며, $K_2$에 대한 타이트 타입의 추측으로 향하는 핵심 단계를 제공한다. 그 결과, 기하학적 종수가 0이 아닌 $p$-진 필드 위의 타원 K3 곡면에서 $CH_0(X)$의 토퍼션 부분이 유한한 첫 번째 알려진 예를 구성한다.

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.

연구 동기 및 목표

• 타원 곡면에서 분할된 곱셈성 섬유의 여집합인 $U$에 대해 $K_2$에 대한 타이트 추측의 유사체를 개발하기 위해.
• Galileo 고정부분의 질량에 대한 상계를 $H^2(\bar{U}, \bar{\bbQ}_p(2))$에 설정하기 위해.
• $CH_0(X)$의 토퍼션 부분의 유한성을 증명하기 위해 이 상계를 $p$-진 필드 위의 특정 타원 곡면에 적용하기 위해.
• $CH_0(X)$의 토퍼션 부분이 유한한, 기하학적 종수가 0이 아닌 $p$-진 필드 위의 표면에 대해 첫 번째 예를 구성하기 위해.

제안 방법

• 열린 표면 $U$의 에테ール 코homology $H^2(\bar{U}, \bar{\bbQ}_p(2))$를 분석하며, 갈루아 불변 부분공간에 초점을 맞춘다.
• $K$-이론과 갈루아 코hom로의 기법을 적용하여, 모티브 스펙트럴 시퀀스를 통해 $K_2(U)$를 에테ール 코homology와 연결한다.
• 분할된 곱셈성 섬유의 구조를 이용해 코homological 기여를 제어하고 고정부분에 대한 상한을 유도한다.
• 이 상한을 네론-테이트 높이 쌍화와 표면 $X$의 쇼우 군 $CH_0(X)$의 구조에 적용한다.
• 코homological 상한을 활용하여, $p$-진 필드 위의 명시적 타원 K3 곡면을 구성하며, 이 경우 $CH_0(X)$의 토퍼션은 유한하다.

실험 결과

연구 질문

• RQ1 타원 곡면에서 분할된 곱셈성 섬유의 여집합인 $U$에 대해 $H^2(\bar{U}, \bar{\bbQ}_p(2))$의 갈루아 고정부분의 구조는 어떻게 되는가?
• RQ2 이 맥락에서 $K_2$에 대한 타이트 추측의 유사체를 확립할 수 있는가?
• RQ3 고정부분에 대한 코homological 상한은 압축된 표면 $X$의 $CH_0(X)$의 토퍼션 부분의 유한성을 암시하는가?
• RQ4 $CH_0(X)$의 토퍼션 부분이 유한한, 기하학적 종수가 0이 아닌 $p$-진 필드 위의 타원 K3 곡면이 존재하는가?

주요 결과

• $H^2(\bar{U}, \bar{\bbQ}_p(2))$의 갈루아 고정부분의 질량에 대한 상한이 확립되었으며, 이는 $K_2$ 타이트 추측의 핵심이다.
• 이 상한은 $p$-진 필드 위의 특정 타원 곡면에서 $CH_0(X)$의 토퍼션 부분이 유한하다는 것을 암시한다.
• 기하학적 종수가 0이 아닌 $p$-진 필드 위의 타원 K3 곡면에 대해, $CH_0(X)$의 토퍼션 부분이 유한한 명시적 예가 구성되었다.
• 이 예는 기하학적 종수가 0이 아닌 $p$-진 필드 위의 표면 중에서 $CH_0(X)$의 토퍼션 부분이 유한한 것으로 알려진 첫 번째 사례이다.