[논문 리뷰] Higher-level canonical subgroups for p-divisible groups

Joseph Rabinoff|arXiv (Cornell University)|2009. 10. 17.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 6

한 줄 요약

이 논문은 혼합 특성수 $(0,p)$의 완비 랭크-1 비율환에서 $p$-나누어지지 않는 군의 고차수 캐논칼 하위군의 존재를 보장하는 허세 불변량에 대한 일반적인 상한을 제시한다. 이 상한은 군의 높이와 차원에 관계없이 적용되며, 트로피컬 기하학과 진크의 디스플레이 이론을 이용하여 유도된다. 이는 타원곡선의 고전적 결과를 일반화하며, $p$-진 아큐멘터티브 형식에 대한 응용을 가능하게 한다.

ABSTRACT

Let R be a complete rank-1 valuation ring of mixed characteristic (0,p), and let K be its field of fractions. A g-dimensional truncated Barsotti-Tate group G of level n over R is said to have a level-n canonical subgroup if there is a K-subgroup of G ensor_R K with geometric structure (\Z/p^n\Z)^g consisting of points "closest to zero". We give a nontrivial condition on the Hasse invariant of G that guarantees the existence of the canonical subgroup, analogous to a result of Katz and Lubin for elliptic curves. The bound is independent of the height and dimension of G.

연구 동기 및 목표

• 타원곡선을 초월하여 고차원 아벨 다양체 및 $p$-나누어지지 않는 군으로 캐논칼 하위군 이론을 확장하기.
• 모든 높이와 차원에 대해 동일한 상한을 갖는 허세 불변량에 대한 균일한, 차원과 높이에 무관한 상한을 확립하기.
• 트로피컬 대수기하학과 진크의 디스플레이를 이용한 기하학적이고 내재된 캐논칼 하위군의 구성 방법 제공.
• 힐베르트 및 시겔 모듈라 다양체에서의 초수렴성 $p$-진 아큐멘터티브 형식에 대한 향후 응용 지원하기.

제안 방법

• 진크의 디스플레이 이론을 활용해 버스히베이션 사상의 탄성공간에서 명시적인 계산 수행.
• 트로피컬 대수기하학을 적용하여 $p$- torsion 점들의 구조와 $p$-진 위상에서 원점으로부터의 거리 분석.
• 허세 불변량을 $ H(G) = \min\{ \operatorname{ord}(\det(\mathrm{d}V)^\sim), 1 \} $ 로 정의하며, 여기서 $ \mathrm{d}V $ 는 버스히베이션의 탄성사상이다.
• $ \rho $-하위군 $ G^\circ[p^n]_{\leq \rho} $ 는 $ p $-진 노름이 $ \rho $ 이하인 점들의 집합으로, $ K $-하위군을 이룬다.
• 노에테리안 근사와 완비화 기법을 활용해 잔여체에서의 군 스킴을 완비 국소환으로 올리기.
• 허세 불변량 조건 하에 $ \rho = p^{-\epsilon} $ 인 $ \rho $-하위군으로서의 수준-$n$ 캐논칼 하위군을 구성한다.

실험 결과

연구 질문

• RQ1 혼합 특성수 비율환에서 정의된 $ p $-나누어지지 않는 군이 수준-$ n $ 캐논칼 하위군을 갖기 위한 허세 불변량의 조건은 무엇인가?
• RQ2 모든 높이와 차원에 대해 캐논칼 하위군의 존재가 균일하게 보장될 수 있는가?
• RQ3 트로피컬 기하학과 진크의 디스플레이를 어떻게 조합하여 내재적이고 기하학적인 캐논칼 하위군을 구성할 수 있는가?
• RQ4 군의 구조에 무관하게 캐논칼 하위군의 존재를 보장하는 최적의 허세 불변량 상한은 무엇인가?
• RQ5 이 구성은 임의의 환원 유형을 가진 아벨 다양체의 가속으로 확장될 수 있는가?

주요 결과

• 논문은 허세 불변량 $ H(G) > \frac{1}{2} $ 이면, 혼합 특성수 $(0,p)$의 완비 랭크-1 비율환에서 정의된 임의의 $ p $-나누어지지 않는 군 $ G $ 에 대해 수준-$ n $ 캐논칼 하위군이 존재함을 증명한다.
• 상한 $ H(G) > \frac{1}{2} $ 는 $ G $ 의 높이와 차원에 관계없이 적용되며, 모든 $ p $-나누어지지 않는 군에 대해 일반적으로 적용 가능하다.
• 캐논칼 하위군은 $ \rho = p^{-\epsilon} $ 인 $ \rho $-하위군 $ G^\circ[p^n]_{\leq \rho} $ 로 구성되며, 이는 체의 분수체 $ K $ 상에서 정의된다.
• 이 구성은 기하학적이며 내재적이며, 수준 구조나 잔여체가 완전하다는 가정을 필요로 하지 않는다.
• 이전의 키신, 라이, 고렌-카사에이의 접근과 달리 시무라 다양체나 정수적 구조에 의존하지 않는다.
• 결과적으로 이는 일반적인 PEL 유형의 시무라 다양체에서 $ p $-진 아큐멘터티브 형식으로의 초수렴성 방법 확장에 기초를 마련한다.