[논문 리뷰] CM liftings of K3 surfaces over finite fields and their applications to the Tate conjecture

Kazuhiro Ito, Tetsushi Ito외 1명|arXiv (Cornell University)|2018. 09. 25.

Advanced Algebra and Geometry참고 문헌 26인용 수 7

한 줄 요약

이 논문은 유한체 위의 유한 높이를 가진 모든 K3 표면이 복소 multiplication(CM)을 가진 특성 0 상승을 갖는다는 것을 증명한다. 이를 위해 정수 캐논리컬 모델을 가진 직교 쇼이마 다양체와 쿠가-사타케 사상이 사용된다. 이 결과와 무카이 및 부스킨의 호지 추측에 관한 작업을 결합하면, 특성 2와 3를 포함한 모든 특성에서 유한체 위의 임의의 K3 표면의 제곱에서의 고차원-2 사이클에 대한 테이트 추측이 증명된다.

ABSTRACT

We give applications of integral canonical models of orthogonal Shimura varieties and the Kuga-Satake morphism to the arithmetic of K3 surfaces over finite fields. We prove every K3 surface of finite height over a finite field admits a characteristic 0 lifting whose generic fiber is a K3 surface with complex multiplication. Combined with the results of Mukai and Buskin, we prove the Tate conjecture for the square of a K3 surface over a finite field. To obtain these results, we construct an analogue of Kisin's algebraic group for a K3 surface of finite height, and construct characteristic 0 liftings of the K3 surface preserving the action of tori in the algebraic group. We obtain these results for K3 surfaces over finite fields of any characteristics, including those of characteristic 2 or 3.

연구 동기 및 목표

• 유한체 위의 유한 높이를 가진 K3 표면에 대해 특성 0 상승이 복소 multiplication(CM)을 갖는다는 것을 증명하는 것.
• 임의의 유한체 위의 K3 표면의 제곱에서 고차원-2 사이클에 대한 테이트 추측을 증명하는 것.
• 기술적 과제가 발생하는 특성 2와 3를 포함한 모든 특성으로 이러한 결과를 확장하는 것.
• 유한 높이를 가진 K3 표면에 대해 키신 유형의 대수적 군을 구성하고, 이를 통해 상승 중 허지의 구조를 제어하는 것.
• 특성 2에서 쿠가-사타케 사상의 에탈리티 증명에서 오류를 정정하기 위해 정수 비교 정리(정수 비교 정리)를 사용하는 것.

제안 방법

• 각 $ \overline{\mathbb{F}}_q $ 위의 준-편광 K3 표면에 대해, 쇼이마 다양체의 키신의 구성과 유사하게 $ \mathbb{Q} $ 위의 대수적 군 $ I $ 를 구성한다.
• 각 최대 토러스 $ T \subset I $ 에 대해, $ T(\mathbb{Q}) $ 가 단순공학 코homology에 작용하는 것을 유지하면서 특성 0 상승을 구성하고, $ \mathbb{Q} $-허지의 구조를 유지한다.
• 직교 쇼이마 다양체의 정수 캐논리컬 모델을 사용하여 $ T(\mathbb{Q}) $ 가 코homology에 작용하는 것이 유리성을 보장한다.
• Bhatt-Morrow-Scholze의 정수 비교 정리를 적용하여 소특성(2와 3)에서 발생하는 기술적 과제를 다룬다.
• 쿠가-사타케 사상과 그 정정된 에탈리티를 특성 2에서 $ F $-크리스털을 사용하여 직교 쇼이마 다양체에서 다룬다.
• 일반성자에서 $ T(\mathbb{Q}) $ 의 작용을 이용하여, 각 원소가 $ X \times X $ 위의 고차원-2 대수적 사이클에 의해 유도됨을 보이며, 무카이 및 부스킨의 호지 추측 결과를 활용한다.

실험 결과

연구 질문

• RQ1 유한체 위의 유한 높이를 가진 모든 K3 표면은 복소 multiplication(CM)을 가진 특성 0 상승을 갖는가?
• RQ2 모든 특성에서, 특히 특성 2와 3에서, 유한체 위의 K3 표면의 제곱에서 고차원-2 사이클에 대한 테이트 추측을 증명할 수 있는가?
• RQ3 표면에 연결된 대수적 군의 토러스 작용을 유지하는 특성 0 상승을 어떻게 구성할 수 있는가?
• RQ4 직교 쇼이마 다양체의 정수 캐논리컬 모델은 상승 중 허지의 구조의 유리성을 어떻게 제어하는가?
• RQ5 현대적 $ p $-진 코homology 도구를 사용하여 특성 2에서 쿠가-사타케 사상의 에탈리티 증명에서 오류를 어떻게 정정할 수 있는가?

주요 결과

• 유한체 $ \mathbb{F}_q $ 위의 유한 높이를 가진 모든 K3 표면은, 가능하면 $ \mathbb{F}_q $ 를 유한 확장으로 바꾼 후, 일반성자가 복소 multiplication(CM)을 갖는 특성 0 상승을 갖는다.
• 임의의 K3 표면 $ X $ 가 유한체 $ \mathbb{F}_q $ 위에 있을 때, $ X \times X $ 에서 고차원-2 대수적 사이클에 대한 테이트 추측은 특성에 관계없이 성립한다.
• Bhatt-Morrow-Scholze의 정수 비교 정리를 사용함으로써, 특성 2와 3를 포함한 모든 특성에서 CM 상승의 구성이 유효하다.
• $ T(\mathbb{Q}) $ 의 각 원소가 일반성자에서 $ X \times X $ 위의 고차원-2 대수적 사이클에 의해 유도됨을 보이며, K3 표면의 곱에 대한 호지 추측 결과를 활용한다.
• 특성 2에서 쿠가-사타케 사상의 에탈리티 증명에서 오류는 직교 쇼이마 다양체 위의 $ F $-크리스털과 정수 비교 정리를 사용하여 정정된다.
• 결과는 특성 $ p \geq 5 $ 인 모든 유한체로 확장되며, 이 경우 뉴에드-오거스 이론도 적용 가능하지만, 주요 방법은 모든 특성에서 균일하게 유지된다.