[논문 리뷰] Exterior Powers of Barsotti-Tate Groups

Mohammad Hadi Hedayatzadeh|arXiv (Cornell University)|2010. 09. 13.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 다양한 기저, 특히 체와 국소 노에테르 스킴를 포함하여, 차원이 1 이하인 $\pi$-가환 ${\cal O}$-모듈로와 $p$-가환 군에 대해 외부 곱의 존재성과 기저 전환 호환성을 확립한다. 주요 기여는 높이와 차원을 유지하는 보편적 외부 곱의 구성이며, 명시적인 공식이 존재한다: $p$-가환 군 $G$의 높이가 $h$이고 차원이 $d \leq 1$일 경우 $\operatorname{ht}(\bigwedge^r G) = \binom{h}{r}$ 및 $\dim(\bigwedge^r G) = \binom{d-1}{r-1}$이다. 이 결과들은 산술기하학에서의 고전적 구성들을 일반화하며, Weil 쌍대성과 딜랑드 모듈러스를 연구하는 데 프레임워크를 제공한다.

ABSTRACT

Let $ \CO $ be the ring of integers of a non-Archimedean local field and $ π$ a fixed uniformizer of $ \CO $. We establish three main results. The first one states that the exterior powers of a $ π$-divisible $ \CO $-module scheme of dimension at most 1 over a field exist and commute with algebraic field extensions. The second one states that the exterior powers of a $p$-divisible group of dimension at most 1 over arbitrary base exist and commute with arbitrary base change. The third one states that when $ \CO $ has characteristic zero, then the exterior powers of $ π$-divisible groups with scalar $ \CO $-action and dimension at most 1 over a locally Noetherian base scheme exist and commute with arbitrary base change. We also calculate the height and dimension of the exterior powers in terms of the height of the given $p$-divisible group or $ π$-divisible $ \CO $-module scheme.

연구 동기 및 목표

• 체 위에서 차원이 1 이하인 $\pi$-가환 ${\cal O}$-모듈로에 대해 외부 곱의 존재성을 확립한다.
• 이 구성의 범위를 임의의 기저 스킴 위의 $p$-가환 군으로 확장하여, 임의의 기저 전환과의 호환성을 보장한다.
• 기저 ${\cal O}$가 특성 0을 가지며, 국소 노에테르 기저 위에서 스칼라 ${\cal O}$-행동을 지닌 $\pi$-가환 ${\cal O}$-모듈로에 대해 이 이론을 일반화한다.
• 외부 곱의 높이와 차원이 원래 군의 불변량에 따라 어떻게 표현되는지 계산한다.
• $R$-모듈로 스킴와 $p$-가환 군의 맥락에서 외부 곱의 범주론적 보편 성질을 제공한다.

제안 방법

• $R$-모듈로 스킴의 범주에서 외부 곱의 보편 성질을, 교대 $R$-다중선형 사상의 언어로 형식화한다.
• $R$-다중선형 딜랑드 이론과 디스플레이 이론을 적용하여 문제를 모듈로 이론어휘로 변환한다.
• 기저 전환과 위임 제약 기법을 사용하여 외부 곱이 임의의 기저 전환과 호환됨을 증명한다.
• 보편 성질을 통한 외부 곱의 구성과 관련 딜랑드 모듈로 및 디스플레이를 통한 검증을 수행한다.
• 분지된 디스플레이 이론과 다중선형 사상 이론을 활용하여 $\pi$-가환 ${\cal O}$-모듈로의 경우를 다룬다.
• 카르티에 대칭성과 알려진 예시(예: 타원곡선의 Weil 쌍대성)와의 비교를 통해 구성의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 차원이 1 이하인 $\pi$-가환 ${\cal O}$-모듈로에 대해, 체 위에서 외부 곱이 존재하는가? 그리고 대수적 체 확장과 가환하는가?
• RQ2 임의의 기저 스킴 위에서 차원이 1 이하인 $p$-가환 군에 대해 외부 곱을 구성할 수 있으며, 임의의 기저 전환과 호환되는가?
• RQ3 기저 환 ${\cal O}$가 특성 0을 가지며, 군이 스칼라 ${\cal O}$-행동을 지닐 경우, 외부 곱의 행동은 어떻게 되는가?
• RQ4 원래의 $p$-가환 군 $G$의 불변량에 비해 외부 곱 $\bigwedge^r G$의 높이와 차원은 어떻게 관련되는가?
• RQ5 타원 곡선의 Weil 쌍대성은 그 $p$-가환 군의 두 번째 외부 곱을 통해 보편 교대 사상으로서 실현되는가?

주요 결과

• $p$-가환 군 $G$의 $r$-번째 외부 곱 $\bigwedge^r G$는 높이 $h$와 차원 $d \leq 1$를 가지며, 높이는 $\binom{h}{r}$, 차원은 $\binom{d-1}{r-1}$이다.
• 체 위에서 차원이 1 이하인 $\pi$-가환 ${\cal O}$-모듈로에 대해 외부 곱이 존재하며, 대수적 체 확장과 가환한다.
• 임의의 기저 스킴 위에서 차원이 1 이하인 $p$-가환 군에 대해 외부 곱이 존재하며, 임의의 기저 전환과 호환된다.
• 기저 ${\cal O}$가 특성 0을 가지며, 국소 노에테르 기저 위에서 스칼라 ${\cal O}$-행동과 차원 $\leq 1$를 지닌 $\pi$-가환 ${\cal O}$-모듈로에 대해 외부 곱이 존재하며, 임의의 기저 전환과 가환한다.
• 타원 스킴의 $p$-가환 군의 두 번째 외부 곱은 $\mu_{p^\infty}$와 동형이며, Weil 쌍대성은 이를 보편 교대 사상으로 실현한다.
• $p$-가환 군이 기울기 $0$과 $\frac{1}{n-m}$을 가질 경우, 외부 곱 $\bigwedge^r G$는 명시적인 중복도를 지닌 기울기 분해를 유도한다.