[논문 리뷰] 2-adic integral canonical models and the Tate conjecture in characteristic 2

Wansu Kim, Keerthi Madapusi Pera|arXiv (Cornell University)|2015. 12. 08.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 10

한 줄 요약

이 논문은 E. 라우의 딜레르드니 디스플레이를 통한 2-나누어지는 군의 분류와 키신의 p-진 호지 이론을 이용하여, 초특수 수준인 2-진 수체에서 아벨 유형의 시무라 다양체에 대한 2-진 정수 캐논리컬 모델을 구축한다. 핵심 기여는 이전 방법으로는 실패했던 특성 2에서 K3 곡면에 대한 테이트 추측을 증명하는 데 있다.

ABSTRACT

We use E. Lau's classification of 2-divisible groups using Dieudonné displays to construct integral canonical models for Shimura varieties of abelian type at 2-adic places where the level is hyperspecial. We apply this to prove the Tate conjecture for K3 surfaces in characteristic 2.

연구 동기 및 목표

• 이전 연구를 확장하여, 초특수 수준인 2-진 수체에서 아벨 유형의 시무라 다양체에 대한 정수 캐논리컬 모델을 완성하는 것.
• 특성 2에서 이전에 열려 있었던, 유한 생성 체 위의 K3 곡면에 대한 테이트 추측을 확립하는 것.
• 디엘레르드니 디스플레이를 통한 2-진 환에서의 2-나누어지는 군의 라우 분류를 p-진 호지 이론과 산술 기하학에 적용하는 것.
• 키신의 랭글랜즈-라포르트 추측에 대한 증명을 2-진 수체로 확장하여 이론의 보다 넓은 적용 가능성을 확보하는 것.
• 향후 평균 콜름스 추측과 p-진 자동형 함수에 대한 연구를 위한 기초 도구를 제공하는 것.

제안 방법

• 디엘레르드니 디스플레이를 이용하여 2-진 환의 넓은 범주에서 2-나누어지는 군의 분류를 이용하여 2-진 수체에서의 정수 캐논리컬 모델을 구축한다.
• 갈루아 표현과 크리스탈린 코homology와의 호환성을 확보하기 위해 키신의 p-진 호지 이론적 구성 방법을 적용한다.
• 프로베니우스 승수를 갖는 환 $\mathfrak{S} = W[[u]]$ 위의 브뤼엘-키신 모듈을 이용하여 p-진 갈루아 표현을 모델링한다.
• 크리스탈린 표현에서 $\mathbb{Z}_p$-격자에서 브뤼엘-키신 모듈로의 완전 충실한 텐서 함자를 이용하여 기하학과 갈루아 이론을 연결한다.
• 변형 이론과 국소 모델 이론을 활용하여 일반 부분에서 $\ell$-진 코호몰로지와 드 라함 코호몰로지 사이의 등급을 확장한다.
• 모듈리 공간 $\tilde{\mathsf{M}}^{\mathrm{sm}}_{2d}$의 정규성에 기반하여 일반 섬유에서 정수 모델으로의 등급을 확장한다.

실험 결과

연구 질문

• RQ1 초특수 수준인 2-진 수체에서 아벨 유형의 시무라 다양체에 대한 정수 캐논리컬 모델을 구축할 수 있는가?
• RQ2 특성 2에서 유한 생성 체 위의 K3 곡면에 대한 테이트 추측은 성립하는가?
• RQ3 디엘레르드니 디스플레이를 통한 라우의 2-나누어지는 군 분류를 이용하여 p-진 호지 이론을 2-진 정수 모델로 확장할 수 있는가?
• RQ4 특성 2에서 주어진 주기 함수나 변형 이론이 알려져 있지 않은 상황에서도 K3 곡면에 대한 테이트 추측은 성립하는가?
• RQ5 이러한 정수 모델을 이용하여 랭글랜즈-라포르트 추측을 2-진 수체로 확장할 수 있는가?

주요 결과

• 논문은 초특수 수준인 2-진 수체에서 아벨 유형의 시무라 다양체에 대한 2-진 정수 캐논리컬 모델을 구축하여 이론의 빈자리인 점을 메운다.
• 특성 2에서 유한 생성 체 위의 K3 곡면에 대한 테이트 추측이 증명되며, 이는 이전에 증명되지 않은 상태였다.
• 이론은 모듈리 공간 $\tilde{\mathsf{M}}^{\mathrm{sm}}_{2d}$의 일반 부분에서 $\ell$-진 코호몰로지와 드 라함 코호몰로지 사이의 등급을 확장하는 데 의존한다.
• 라우의 딜레르드니 디스플레이 분류와 키신의 p-진 호지 이론 간의 호환성을 이용하여 정수성과 갈루아 작용과의 호환성을 보장한다.
• 이 결과는 키신의 랭글랜즈-라포르트 추측에 대한 증명을 2-진 수체로 확장하여 이전의 제약 조건을 제거한다.
• 논문은 아르틴의 피카르 랭크 일정성 결과와 매끄러운 부분에서의 추측의 타당성을 바탕으로, 초특수 K3 곡면에 대해서도 테이트 추측이 성립함을 확립한다.