[논문 리뷰] The Tate conjecture for K3 surfaces in odd characteristic

Keerthi Madapusi Pera|arXiv (Cornell University)|2013. 01. 27.

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

한 줄 요약

이 논문은 비자명한 특성의 유한 생성 체 위의 K3 곡면에 대해 타이트 추측을 증명하기 위해, Kuga-Satake 아벨 다양체를 구성함으로써, K3 곡면 위의 인수들을 종결형으로 표현하고, 이는 추측을 아벨 다양체의 종결형에 대한 개선된 형태로 환원하며, 이는 정수 모델의 슈뮈르 다양체와 크리스탈린 호환성을 사용하여 증명된다. 이 방법은 또한 비자명한 특성에서 입체 4차 곡면의 코디멘션-2 사이클에 대한 타이트 추측을 증명한다.

ABSTRACT

We show that the classical Kuga-Satake construction gives rise, away from characteristic 2, to an open immersion from the moduli of primitively polarized K3 surfaces (of any fixed degree) to a certain regular integral model for a Shimura variety of orthogonal type. This allows us to attach to every polarized K3 surface in odd characteristic an abelian variety such that divisors on the surface can be identified with certain endomorphisms of the attached abelian variety. In turn, this reduces the Tate conjecture for K3 surfaces over finitely generated fields of odd characteristic to a version of the Tate conjecture for certain endomorphisms on the attached Kuga-Satake abelian variety, which we prove. As a by-product of our methods, we also show that the moduli stack of primitively polarized K3 surfaces of degree 2d is quasi-projective and, when d is not divisible by p^2, is geometrically irreducible in characteristic p. We indicate how the same method applies to prove the Tate conjecture for co-dimension 2 cycles on cubic fourfolds.

연구 동기 및 목표

• 비자명 특성의 유한 생성 체 위의 K3 곡면에 대한 타이트 추측을 증명하기 위해.
• 비자명 특성에서 K3 곡면의 인수들과 Kuga-Satake 아벨 다양체의 종결형 사이의 기하적 대응관계를 확립하기 위해.
• 이 방법을 확장하여 비자명 특성에서 입체 4차 곡면의 코디멘션-2 사이클에 대한 타이트 추측을 증명하기 위해.
• 정수 $p^2$로 나누어지지 않을 때 특성 $p$에서 프라임티브로 극화된 K3 곡면의 모듈리 스택이 준구성적이고 기하학적으로 기약임을 보여주기 위해.

제안 방법

• 기본적인 Kuga-Satake 구성의 비자명 특성으로의 확장을 통해, 기저 체의 유한 분리 가능한 확장 위에서 Kuga-Satake 아벨 다양체를 구성하기 위해.
• K3 곡면의 가닥에 대해 Kuga-Satake 구성의 정수 크리스탈린 호환성을 증명하여, 옥토드럴 슈뮈르 다양체로의 주기 지도가 에탈레임을 보장하기 위해.
• 에탈레 주기 지도와 토렐리 정리를 사용하여 Kuga-Satake 지도가 열린 매립임을 보이고, 인수들을 특성 0으로 올릴 수 있도록 하기 위해.
• 특성 0에서의 레프셰츠 (1,1) 정리를 활용하여 K3 곡면 위의 인수들을 Kuga-Satake 아벨 다양체의 특수 종결형과 식별하기 위해.
• 옥토드럴 슈뮈르 다양체의 정수 캐논리컬 모델 이론을 적용하여 Kuga-Satake 대응관계를 $\mathbb{Z}[2^{-1}]$로 내림리프팅하기 위해.
• 입체 4차 곡면에 대한 방법을 확장하기 위해, 서명 $(21,2)$의 슈뮈르 다양체로의 Kuga-Satake 지도를 구성하기 위해, 자기 dual 람다 $M'$와 수준 구조를 사용하여 에탈레임을 보장하기 위해.

실험 결과

연구 질문

• RQ1 비자명 특성에서 K3 곡면에 대한 타이트 추측을 Kuga-Satake 아벨 다양체의 종결형에 대한 진술로 환원할 수 있는가?
• RQ2 Kuga-Satake 구성은 비자명 특성에서 극화의 옥토드럴 보완을 아벨 다양체의 종결형 대수에 자연스러운 포함으로 유도하는가?
• RQ3 특성 $p$에서 차수 $2d$인 프라임티브로 극화된 K3 곡면의 모듈리 스택이 $p^2 \nmid d$일 때 기하학적으로 기하학적으로 기약인가?
• RQ4 K3 곡면에 사용된 동일한 방법을 입체 4차 곡면의 코디멘션-2 사이클에 대한 타이트 추측을 증명하는 데에 적응할 수 있는가?
• RQ5 입체 4차 곡면에 대한 $\mathbb{Z}_{(p)}$ 위에서 Kuga-Satake 주기 지도가 슈뮈르 다양체로의 지도가 에탈레인가?

주요 결과

• 비자명 특성에서 유한 생성 체 위의 K3 곡면에 대해 타이트 추측이 성립하며, $\ell$-adic 채르니 클래스 지도가 동형임을 보였다.
• Kuga-Satake 구성은 자연스러운 포함 $\langle\xi\rangle^\perp \hookrightarrow \operatorname{End}(A)$를 유도하며, 이는 K3 곡면 위의 인수들을 아벨 다양체의 특수 종결형과 식별한다.
• 특성 $p$에서 차수 $2d$인 프라임티브로 극화된 K3 곡면의 모듈리 스택은 $p^2 \nmid d$일 때 준구성적이고 기하학적으로 기하학적으로 기약이다.
• 비자명 특성에서 입체 4차 곡면의 코디멘션-2 사이클에 대한 타이트 추측이 성립하며, $\ell$-adic 사이클 클래스 지도가 동형임을 보였다.
• 입체 4차 곡면에 대한 Kuga-Satake 주기 지도는 에탈레이며, 적절한 수준의 구조를 가질 경우 정수 모델의 슈뮈르 다양체로의 유도 지도는 열린 매립이다.
• 정수 크리스탈린 호환성은 일반적인 경우로의 전파와 함께, 일반적인 경우로의 전파를 통해 정수 밀도의 주장으로 확립되었다.