[논문 리뷰] Toroidal compactifications of integral models of Shimura varieties of Hodge type

Keerthi Madapusi Pera|arXiv (Cornell University)|2012. 11. 07.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 히오지 유형의 슈미라 다양체의 정수 모델에 대한 토리oidal 및 최소 컴팩티피케이션을 구축하며, 문제를 정수 모델 자체의 이해로 환원한다. 이 컴팩티피케이션들이 초특수 수준 소수에서 정규성을 가짐을 입증하고, p-진 균일화 하에서 히오지 사이클의 새로운 유리성 성질을 이용하여, 중심에 대해 무라모토-타이트 그룹이 비가역적인 아벨 다양체의 전반적인 양호한 균열에 관한 요리 모리타의 추측에 대한 새로운 증명을 제시한다.

ABSTRACT

We construct projective toroidal compactifications for integral models of Shimura varieties of Hodge type. We also construct integral models of the minimal (Satake-Baily-Borel) compactification. Our results essentially reduce the problem to understanding the integral models themselves. As such, they cover all previously known cases of PEL type, as well as all cases of Hodge type involving parahoric level structures. At primes where the level is hyperspecial, we show that our compactifications are canonical in a precise sense. We also provide a new proof of Y. Morita's conjecture on the everywhere good reduction of abelian varieties whose Mumford-Tate group is anisotropic modulo center. Along the way, we demonstrate an interesting rationality property of Hodge cycles on abelian varieties with respect to p-adic analytic uniformizations.

연구 동기 및 목표

• 히오지 유형의 슈미라 다양체의 정수 모델에 대해 토리oidal 및 최소(Satake-Baily-Borel) 컴팩티피케이션을 구축하는 것.
• 이러한 정수 모델의 컴팩티피케이션 문제를 모델 자체의 이해로 환원함으로써 이전에 알려진 모든 PEL 유형의 경우를 포함하는 것.
• 레벨 구조가 초특수일 경우에 해당 컴팩티피케이션의 정규성(canonicality)을 확립하는 것.
• 중심에 대해 비가역적인 무라모토-타이트 그룹을 가진 아벨 다양체의 전반적인 양호한 균열에 관한 요리 모리타의 추측에 대한 새로운 증명을 제공하는 것.
• p-진 해석적 균일화에 대해 아벨 다양체 위의 히오지 사이클의 유리성 성질을 확립하는 것.

제안 방법

• 심플렉틱 임bedding을 통해 히오지 유형의 슈미라 데이터 $(G,X)$ 를 시겔 슈미라 데이터 $(\operatorname{GSp}(V), \operatorname{S}^\pm(V))$ 에 통합하여, 시겔 모듈리 공간에서의 정수 모델을 이전하는 데 사용한다.
• 정수 모델 $\mathcal{S}_K$ 를 일반 섬유 $\operatorname{Sh}_K(G,X)$ 에서의 시겔 정수 모델 $\mathcal{S}_{{K}^{\dagger}}$ 의 정규화로 정의한다.
• 로그란지미 드뢰니 이론과 p-진 해석적 균일화를 적용하여 p-진 체 위에서의 히오지 사이클 및 그 유리성 성질을 분석한다.
• 강한 해석 기하학과 p-진 지수 함수를 이용하여 균일화된 공간의 국소환에서 함수의 로그의 정수성과 유계성(boundedness)을 증명한다.
• 정규화의 유한성과 기저 환의 노에테리안 성질을 이용하여, 균일화된 공간 위의 특정 해석 함수들이 국소환의 정수 원소로 올라간다는 것을 보인다.
• 강한 해석 기하학에서 유한한 사상 이론을 적용하여, 관련 함수들의 정수 폐쇄의 유한성과 따라서 그 함수들의 정수성( integrality)을 유도한다.

실험 결과

연구 질문

• RQ1 히오지 유형의 슈미라 다양체의 정수 모델에 대해 토리oidal 및 최소 컴팩티피케이션을 구성할 수 있는가?
• RQ2 레벨 구조가 초특수일 경우에 구성된 컴팩티피케이션이 정규적인가?
• RQ3 p-진 균일화 하에서의 히오지 사이클의 유리성은 국소환에서의 정수성 또는 유계성을 의미하는가?
• RQ4 컴팩티피케이션의 구성은 정수 모델 자체의 이해로 환원될 수 있는가?
• RQ5 이 새로운 방법은 중심에 대해 비가역적인 무라모토-타이트 그룹을 가진 아벨 다양체의 양호한 균열에 관한 요리 모리타의 추측을 증명하는 데 기여하는가?

주요 결과

• 논문은 히오지 유형의 슈미라 다양체의 정수 모델에 대해 토리oidal 및 최소 컴팩티피케이션을 구성하며, 문제를 정수 모델 자체의 이해로 환원한다.
• 레벨이 초특수일 경우에 해당 컴팩티피케이션은 정규적이며, 심플렉틱 임bedding의 선택과 무관하게 정확한 의미에서 정의된다.
• 요리 모리타의 추측에 대해 전반적인 양호한 균열에 관한 새로운 증명이 제시된다: 중심에 대해 비가역적인 무라모토-타이트 그룹을 가진 아벨 다양체에 대해.
• 흥미로운 유리성 성질이 입증된다: p-진 균일화에서 함수의 로그가 해석적이라면, 그 함수의 어떤 거듭제곱이 국소환의 최대 이상수에 속한다.
• 이 구성은 이전에 알려진 모든 PEL 유형의 경우를 포함하며, GSpin 군에서 유래하는 비-PEL 사례를 포함하여 PEL 설정을 초월한 이론을 확장한다.
• 이 방법은 p-진 해석적 기법에 의존하며, p-진 지수의 수렴성과 강한 해석 기하학에서의 정규화의 유한성을 이용하여, 히오지 사이클의 정수성을 증명한다.