[논문 리뷰] The global structure of moduli spaces of polarized p-divisible groups

Eva Viehmann|ArXiv.org|2007. 03. 28.

Advanced Algebra and Geometry참고 문헌 17인용 수 16

한 줄 요약

이 논문은 특성 $p > 2$인 대수적으로 닫힌 체 위에서 극화된 $p$-나누어떨어지는 군의 모듈리 공간의 전반적인 기하적 구조를 규명한다. 유리수 딜로뉴의 모듈러와 폴라리제이션의 구조를 유지하는 심플렉틱 스미리티의 군 $J$의 작용을 이용하여, 모듈리 공간 $ olimits_{ ext{red}}$가 등차원적임을 증명하고, 그 차원을 명시적으로 계산하며, 연결 성분의 집합이 $ olimits_{ ext{red}}$와 동형임을 보이며, $J$의 기약 성분에 대한 작용이 추이적임을 밝힌다.

ABSTRACT

We study the global structure of moduli spaces of quasi-isogenies of polarized p-divisible groups introduced by Rapoport and Zink. Using the corresponding results for non-polarized p-divisible groups from a previous paper, we determine their dimensions and their sets of connected components and of irreducible components.

연구 동기 및 목표

• 모듈리 공간의 전반적인 기하적 구조를 $ olimits_{ ext{red}}$에서의 극화된 $p$-나누어떨어지는 군에 대해 규명한다.
• 임의의 $p$-나누어떨어지는 군에 대해 감소된 모듈리 공간 $ olimits_{ ext{red}}$의 차원을 계산한다.
• $\mathcal{M}_{\text{red}}$의 연결 성분 집합을 $p$-진 일반선형군과 $\mathbb{Z}$의 언어로 묘사한다.
• $J$의 기약 성분 집합에 대한 작용이 추이적임을 증명한다.
• 유리수 딜로뉴 모듈러와 심플렉틱 구조를 이용하여 비극화된 경우의 결과를 극화된 설정으로 일반화한다.

제안 방법

• 극화에 의해 유도되는 완전한 대칭형 페어링을 지닌, $p$-나누어떨어지는 군 $\mathbb{X}$의 유리수 딜로뉴 모듈러 $(N, F)$를 기본 불변량으로 사용한다.
• $J = \{g \in G(L) \mid g \circ F = F \circ g\}$는 $L = \mathrm{Quot}(W)$ 위에서 일반 심플렉틱 군 $G$ 내에서 $F$의 중심자로 정의된다.
• $\mathcal{M}_{\text{red}}$의 모듈리 공간에서의 $J$의 작용은 $N$ 내의 자기쌍대 격자에 대한 작용을 통해 분석되며, 주로 안정자와 연결 성분에 초점을 맞춘다.
• $J$-등변 전성사 $\pi: \mathcal{M}_{\text{red}} \to \pi_0(\mathcal{M}_{\text{red}})$를 구성하고, $\pi$의 핵이 $J \cap K$, $J \cap M$, $J \cap U$를 포함함을 보여, 성분에 대한 $J$의 작용이 추이적임을 밝힌다.
• 차원 공식은 기울기가 $\lambda_j = m_j/(m_j + n_j)$인 단순 이소크리스탈의 분해를 이용하여 유도되며, $\sum \frac{(m_j - 1)(n_j - 1)}{2} + \sum_{j < j'} m_j n_{j'} + m$의 공식을 적용한다. 여기서 $m = \left\lfloor \frac{1}{2} \sum \min\{m_j, n_j\} \right\rfloor$이다.
• 등차원성과 연결 성분의 구조 증명은 자기쌍대 격자들의 명시적 가닥(예: $\mathbb{A}^1$ 내의 아핀 직선)을 이용하여 서로 다른 불변량을 가진 격자들이 같은 연결 성분에 속함을 보여, 연결 성분 내에 존재함을 입증한다.

실험 결과

연구 질문

• RQ1 감소된 모듈리 공간 $\mathcal{M}_{\text{red}}$의 차원은 무엇인가?
• RQ2 $\mathcal{M}_{\text{red}}$의 연결 성분은 어떻게 매개화되는가?
• RQ3 $\mathcal{M}_{\text{red}}$의 기약 성분 집합에 대한 군 $J$의 작용은 추이적인가?
• RQ4 $\mathcal{M}_{\text{red}}$의 기약 성분 집합의 구조는 $N$의 이소크리스탈 분해에 대해 어떻게 기술되는가?
• RQ5 $\mathcal{M}_{\text{red}}$의 전반적인 기하학은 유리수 딜로뉴 모듈러와 그 심플렉틱 구조와 어떻게 관련되는가?

주요 결과

• $\mathcal{M}_{\text{red}}$는 등차원적이며, 차원은 $\frac{1}{2}\left(\sum_j \frac{(m_j - 1)(n_j - 1)}{2} + \sum_{j < j'} m_j n_{j'} + m\right)$이다. 여기서 $m = \left\lfloor \frac{1}{2} \sum_j \min\{m_j, n_j\} \right\rfloor$이다.
• $\pi_0(\mathcal{M}_{\text{red}})$의 연결 성분 집합은 $\left(\mathrm{GL}_{h}(\mathbb{Q}_p)/\mathrm{GL}_{h}(\mathbb{Z}_p)\right) \times \mathbb{Z}$와 동형이며, 여기서 $h = \mathrm{ht}(\mathbb{X}_{\text{m}})$는 $\mathbb{X}$의 승수 부분군의 높이다.
• $\mathcal{M}_{\text{red}}$의 기약 성분 집합에 대한 $J$의 작용은 추이적이며, 이는 모든 기약 성분이 $J$-동치임을 의미한다.
• $\mathcal{M}_{\text{red}}$의 등차원성은 기약 성분 집합에 대한 $J$-작용의 추이성에 의해 유도되며, 동시에 차원 공식을 통해 독립적으로 확인된다.
• 증명은 $J \cap K$, $J \cap M$, $J \cap U$가 모두 $\mathcal{M}_{\text{red}}$의 동일한 연결 성분에 속함을 보이며, 이는 $J$-불변 전사사상 $\pi: \mathcal{M}_{\text{red}} \to \pi_0(\mathcal{M}_{\text{red}})$가 $\pi_1(G) \cong \pi_0(\mathcal{M}_{\text{red}})$의 전단사 사상을 유도함을 의미한다.
• $\mathbb{A}^1$ 내의 아핀 직선을 이용한 자기쌍대 격자들의 연결 가닥의 구성은, 결정식의 $p$-진 값이 다른 격자들(예: 0과 1)이 같은 연결 성분에 속함을 보여, 항등원을 포함하는 성분의 연결성을 확인한다.