[논문 리뷰] Serre-Tate theory for Shimura varieties of Hodge type

Ananth N. Shankar, Zhou Rong|arXiv (Cornell University)|2016. 12. 19.

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

한 줄 요약

이 논문은 Hodge 유형의 슈미라 다양체에 대해 세르-테이트 이론을 일반화한다. 형식적 이웃에서 μ-일반적인 점의 구조는 '이동한 캐스케이드'를 지니며, G-자기동형사상의 완전한 확장으로 특징지어지는 표준적 리프팅이 존재하고, CM 점들이 밀도를 이룬다. 이 결과들은 G-구조와 Fontaine–Laffaille 이론을 사용하여 비-PEL, 비-일반적인 설정으로 고전적 표준 리프팅과 형식적 군 구조를 일반화한다.

ABSTRACT

We study the formal neighbourhood of a point in $μ$-ordinary locus of an integral model of a Hodge type Shimura variety. We show that this formal neighbourhood has a structure of a shifted cascade. Moreover we show that the CM points on the formal neighbourhood are dense and that the identity section of the shifted cascade corresponds to a lift of the abelian variety which has a characterization in terms of its endomorphisms in analogy with the Serre-Tate canonical lift of an ordinary abelian variety.

연구 동기 및 목표

• 일반적인 아벨 다양체를 초월하여 Hodge 유형의 슈미라 다양체로 세르-테이트 이론을 확장하는 것.
• μ-일반적인 점의 형식적 이웃이 '이동한 캐스케이드' 구조로 기술되는 것을 특징짓는 것.
• G-구조를 가진 p-나누어떨어지는 군의 표준 리프팅이 존재하고, 모든 G-자기동형사상을 확장하는 것을 증명하는 것.
• μ-일반적인 점의 형식적 이웃에서 CM 점들의 밀도를 확립하는 것.
• 군론적 도구와 p-진 호지 이론을 사용하여 비-일반적, 비-PEL 슈미라 다양체로 고전적 형식적 토러스 구조를 일반화하는 것.

제안 방법

• PEL 유형이 아닌 경우로의 변형 이론을 일반화하기 위해 F-크리스털에 G-구조를 도입하고 사용하는 것.
• Fontaine–Laffaille 이론을 적용하여 슈미라 다양체의 $\mathcal{O}_L$-점과 p-나누어떨어지는 군을 분석하는 것.
• 정수 모델의 미세함을 이용하여 국소적 성질을 $\mathcal{O}_L$-점 조건으로 환원하는 것.
• p-나누어떨어지는 군의 기울기 필터를 반복적으로 수정하여 형식적 이웃에 '이동한 캐스케이드' 구조를 구성하는 것.
• 기울기 필터를 유지하는 것을 목적으로 $p^{\lambda_k' - \lambda_{k-1}'}$에 의한 곱셈을 통한 p-나누어떨어지는 형식적 군 $\mathscr{H}(k)$를 정의하고 분석하는 것.
• 터전점 위의 섬유를 연결하고 섬유 내에서의 터전점의 밀도를 보여주기 위해 $\zeta_1$과 $\eta_1$의 호모모르피즘을 사용하는 것.

실험 결과

연구 질문

• RQ1 Hodge 유형의 슈미라 다양체에서 G-구조를 가진 p-나누어떨어지는 군에 대해 세르-테이트 표준 리프팅을 일반화할 수 있는가?
• RQ2 Hodge 유형의 슈미라 다양체에서 μ-일반적인 점의 형식적 이웃은 형식적 토러스와 유사한 구조를 갖는가?
• RQ3 p-진 설정에서 μ-일반적인 점의 형식적 이웃에서 CM 점들이 밀도를 이룬다 할 수 있는가?
• RQ4 헤지 다각형이 기울기 0과 1이 아닌 경우, G-구조를 가진 p-나누어떨어지는 군의 변형 공간은 어떻게 기술할 수 있는가?
• RQ5 비-일반적, 비-PEL 맥락에서 G-자기동형사상은 표준 리프팅을 특징짓는 데 어떤 역할을 하는가?

주요 결과

• Hodge 유형의 슈미라 다양체에서 μ-일반적인 점 $x$의 형식적 이웃 $\widehat{U}_x$는 유일한 '이동한 부분캐스케이드' 구조를 지닌다.
• 모든 G-자기동형사상을 $\mathcal{A}_x$의 리프팅으로 확장하는 유일한 $\mathcal{O}_L$-점 $\tilde{x}$가 $\widehat{U}_x$ 내에 존재하며, 이는 세르-테이트 표준 리프팅을 일반화한다.
• Def_{(a,b)}(\mathcal{O}_L)에서 터전점 $x$ 위의 섬유 $F_x$는 p-나누어떨어지는 형식적 군의 코셋이므로, 터전점의 밀도를 이룬다.
• $\eta_1: \operatorname{Def}_{(a,b)} \to \operatorname{Def}(\mathscr{G}_{(a,b)})$ 는 포함관계 $\operatorname{Def}_{(a,b)} \subset \operatorname{Def}(\mathscr{G}_{(a,b)})$ 를 통해 인수화되며, 필터의 호환성을 보장한다.
• p-나누어떨어지는 군이 두 기울기를 가질 경우, 이동한 캐스케이드는 p-나누어떨어지는 형식적 군으로 축소되며, 이는 두 기울기 경우에 알려진 결과를 복원한다.
• CM 점들의 밀도는 p-나누어떨어지는 형식적 군의 구조와 섬유 내 터전점의 행동을 통해 $\widehat{U}_x$ 내에서 확립된다.