[논문 리뷰] Generalized Serre--Tate Ordinary Theory

Adrian Vasiu|arXiv (Cornell University)|2002. 08. 28.

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

한 줄 요약

이 논문은 추가 구조를 지닌 아벨 다양체, 특히 크리스탈린 히지클 사이클을 포함하여 세르-테이트 이론을 일반화한다. 이는 고전적인 일반 아벨 다양체의 변형 이론을 확장하며, 이러한 대상에 대한 표준 승화 이론을 수립하고, $D_l^{\bf H}$ 유형의 일부 쇤마 다양체에 대해 '좋은' 정수 모델을 구성하는 데 응용한다. 주요 기여는 복소 곱셈과 히지클 사이클을 갖는 일반 아벨 다양체에 대한 통합된 변형론적 기초를 제공하는 것이다.

ABSTRACT

We study a generalization of Serre--Tate theory of ordinary abelian varieties and their deformation spaces. This generalization deals with abelian varieties equipped with additional structures. The additional structures can be not only an action of a semisimple algebra and a polarization, but more generally the data given by some ``crystalline Hodge cycles'' (a $p$-adic version of a Hodge cycle in the sense of motives). Compared to Serre--Tate ordinary theory, new phenomena appear in this generalized context. We give an application of this theory to the existence of ``good'' integral models of those Shimura varieties whose adjoints are products of simple, adjoint Shimura varieties of $D_l^{\bf H}$ type with $l\ge 4$.

연구 동기 및 목표

• 일반 아벨 다양체의 고전적 세르-테이트 이론을 반단순 대수의 작용, 극화, 크리스탈린 히지클 사이클 등의 추가 구조를 포함하도록 확장하기.
• 특히 일반적인 경우에서, 이러한 일반화된 구조를 갖춘 $p$-나누어지지 않은 군과 아벨 다양체에 대한 변형 이론 개발하기.
• 고전적 일반 아벨 다양체의 표준 승화 개념을 일반화된 맥락으로 확장하여, 이러한 맥락에서 표준 승화의 존재를 확립하기.
• 이 일반화된 이론을 사용하여, 그 쌍대가 $l \neq 3$ 인 단순하고 쌍대 $D_l^{\bf H}$ 유형 쇤마 다양체의 곱인 쇤마 다양체에 대해 '좋은' 정수 모델을 구성하기.
• 변형 공간의 이해를 위해 $F$-크리스털과 뉴턴 다각형 이론을 사용하는 프레임워크 제공하기.

제안 방법

• 모티브 이론에서 히지클 사이클의 $p$-진 유사체로 간주되는 크리스탈린 히지클 사이클을 추가 구조로 포함하여 고전적 세르-테이트 변형 이론을 일반화하기.
• 특히 일반적인 경우에서, 추가 구조를 갖춘 아벨 다양체의 변형 함자를 모델링하기 위해 $F$-크리스털과 $p$-나누어지지 않은 군을 사용하기.
• 나누어지지 않은 군의 변형 공간을 통해 표준 승화 구조를 수립하여, 고전 결과를 일반화된 맥락으로 확장하기.
• 재수성 군 스킴과 형식적 리 군 이론을 활용하여 일반화된 대상의 자동사상 군과 변형 모듈리의 분석하기.
• 관련된 $p$-진 호지 이론적 자료를 분석하고 표준 승화를 통한 정수 모델 구축을 통해 일반화된 이론을 쇤마 다양체에 적용하기.
• 뉴턴 다각형 이론과 표준 승화의 구조를 활용하여 변형 공간을 제어하고 모델의 정수성을 확보하기.

실험 결과

연구 질문

• RQ1 크리스탈린 히지클 사이클, 극화, 반단순 대수의 작용 등의 추가 구조를 갖춘 아벨 다양체에 대해 세르-테이트 이론을 어떻게 일반화할 수 있는가?
• RQ2 특히 일반적인 경우에서, 이러한 일반화된 맥락에서 $p$-나누어지지 않은 군과 아벨 다양체의 변형 성질은 어떠한가?
• RQ3 이 일반화된 프레임워크에서 표준 승화가 존재하는가? 그리고 이는 변형 공간과 관련된 $F$-크리스털의 구조와 어떻게 연관되는가?
• RQ4 이 일반화된 이론을 사용하여 $l \neq 3$ 인 $D_l^{\bf H}$ 유형의 쇤마 다양체에 대해 '좋은' 정수 모델을 구성할 수 있는가?
• RQ5 크리스탈린 히지클 사이클은 뉴턴 다각형과 변형 공간의 $p$-진 호지 이론적 구조와 어떻게 상호작용하는가?

주요 결과

• 일반화된 세르-테이트 이론은 크리스탈린 히지클 사이클을 갖춘 일반 아벨 다양체에 대해 표준 승화를 수립하며, 이는 고전 결과를 더 넓은 대상의 범주로 확장한다.
• 이러한 아벨 다양체의 변형 공간은 해당 $F$-크리스털에 의해 제어되며, 일반적인 경우에서 표준 승화의 존재는 변형 함자의 자명성과 동치이다.
• 이 이론은 그 쌍대가 $l \neq 3$ 인 단순하고 쌍대 $D_l^{\bf H}$ 유형 쇤마 다양체의 곱인 쇤마 다양체에 대해 '좋은' 정수 모델을 체계적으로 구성하는 데 기여한다.
• 프레임워크는 크리스탈린 히지클 사이클이 존재하더라도, 아벨 다양체가 일반적이라면 표준 승화의 존재를 방해하지 않는다는 것을 보여준다.
• 이러한 아벨 다양체에 관련된 $p$-나누어지지 않은 군의 변형 공간은 형식적으로 매끄럽고 프로표현 가능하며, 양호한 기하학적 성질을 보장한다.
• 이 이론은 $p$-진 호지 사이클과 $F$-크리스털의 시각에서 복소 곱셈, 표준 승화, 정수 모델의 연구를 통합한다.