[논문 리뷰] Crystalline representations of G_Qp^a with coefficients

Hui June Zhu|ArXiv.org|2008. 07. 07.

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

한 줄 요약

이 논문은 $p$-진체 $E$에 계수를 가진 $
\mathrm{Gal}(\overline{\mathbb{Q}}_{p^a}/\mathbb{Q}_{p^a})$의 크리스탈린 표현에 대해 Fontaine-Laffaille 유형의 상응관계를 수립하며, $\sigma$-불변 허지-테이트 가중치가 $p-1$ 미만일 때 갈로아-안정 래티스와 강력히 나누어지는 $\varphi$-래티스 사이의 전단사성을 증명한다. 2차원 크리스탈린 표현과 그 모듈로 $p$ 축소를 분류하며, Deligne, Fontaine-Serre, Edixhoven의 결과를 이 조건 하에서 힐베르트 모듈라 형식으로 일반화한다.

ABSTRACT

This paper studies crystalline representations of G_K with coefficients of any dimension, where K is the unramified extension of Q_p of degree a. We prove a theorem of Fontaine-Laffaille type when σ-invariant Hodge-Tate weight less than p-1, which establishes the bijection between Galois stable lattices in crystalline representations and strongly divisible ϕ-lattice. In generalizing Breuil's work, we classify all reducible and irreducible crystalline representations of G_K of dimensional 2, then describe their mod p reductions. We generalize some results (of Deligne, Fontaine-Serre, and Edixhoven) to representations arising from Hilbert modular forms when σ-invariant Hodge-Tate weight less than p-1.

연구 동기 및 목표

• 계수 체에 포함된 $p$-진체 $E$를 가진 크리스탈린 표현으로 Fontaine-Laffaille 이론을 확장하여 고차원 및 계수 적응 설정으로 일반화된 고전적 상응관계를 수립한다.
• 모든 기약 및 비기약 2차원 크리스탈린 표현 $G_{\mathbb{Q}_{p^a}}$를 분류하고 그 모듈로 $p$ 축소를 기술한다.
• $\sigma$-불변 허지-테이트 가중치가 $p-1$ 미만일 조건 하에서 힐베르트 모듈라 형식에서 유래하는 갈로아 표현의 모듈로 $p$ 축소에 대해 Deligne, Fontaine-Serre, Edixhoven의 결과를 일반화한다.
• 지정된 허지 다각형 $\mathbf{k}$를 가진 크리스탈린 표현의 동형류와 $\mathrm{GL}_d(\mathcal{O}_K)/\sim_{\sigma,\mathbf{k}}$ 사이의 구조적 전단사성에 의해 크리스탈린 표현을 구성한다.

제안 방법

• 지정된 허지-테이트 가중치를 가진 필터링된 $\varphi$-모듈과 그 작용을 통해 각 행렬 $A \in \mathrm{GL}_d(\mathcal{O}_K)$가 주어진 허지 다각형 $\mathbf{k}$를 가진 크리스탈린 표현을 정의하는 전단사 함수 $\Theta: \mathrm{GL}_d(\mathcal{O}_K)/\sim_{\sigma,\mathbf{k}} \to \mathrm{Rep}_{\mathrm{cris}/E}^{\mathbf{k}}(G_K)$를 구성한다.
• 통합된 강력히 나누어지는 $\varphi$-래티스를 정의하고, $\sigma$-불변 변형을 가진 뉴턴 다각형과 허지 다각형을 사용하여 필터링된 $\varphi$-모듈의 구조를 분석한다.
• 통합된 Wach 모듈과 그 연속성 성질을 적용하여 모듈로 $p$ 축소를 올리고, 특히 2차원 경우에서 축소에 대한 $\varphi$-작용을 연구한다.
• Wach 모듈의 모듈로 $p$ 축소에 대한 $\varphi$-작용을 이용하여, $\mathbb{F}_p((\pi))$ 내에 비자명한 $\varphi$-불변 부분모듈이 존재하지 않음을 보여, 기약성을 증명한다.
• 모듈로 $p$ 축소의 행렬식을 사용하여 관련된 특성 $\omega_{2a}^{\sum k_j p^j}$를 식별하며, 갈로아 표현이 모듈로 $p$ 순환 특성의 변형과 연결됨을 보여준다.
• 기저 교체를 통해 표현의 모듈로 $p$ 축소를 직접 합으로 나타내며, $\overline{V}|_{I_K} \cong \omega_{2a}^{\sum k_j p^j} \oplus \omega_{2a}^{p^a \sum k_j p^j}$ 를 보여준다.

실험 결과

연구 질문

• RQ1 계수 체가 $p$-진체 $E$인 크리스탈린 표현에 대해 Fontaine-Laffaille 유형의 상응관계가 성립하는 조건은 무엇인가?
• RQ2 모든 2차원 크리스탈린 표현 $G_{\mathbb{Q}_{p^a}}$는 어떻게 분류할 수 있으며, 그 모듈로 $p$ 축소는 무엇인가?
• RQ3 언제 크리스탈린 표현의 모듈로 $p$ 축소가 래티스의 선택에 관계없이 허지-테이트 가중치에만 의존하는가?
• RQ4 Deligne, Fontaine-Serre, Edixhoven의 결과는 $\sigma$-불변 허지-테이트 가중치 조건 $< p-1$ 하에서 힐베르트 모듈라 형식에서 유래한 갈로아 표현으로 어떻게 일반화되는가?

주요 결과

• 지정된 허지 다각형 $\mathbf{k}$를 가진 크리스탈린 표현과 연결된 전단사 함수 $\Theta: \mathrm{GL}_d(\mathcal{O}_K)/\sim_{\sigma,\mathbf{k}} \to \mathrm{Rep}_{\mathrm{cris}/E}^{\mathbf{k}}(G_K)$를 명시적으로 구성하며, $\mathrm{GL}_d(\mathcal{O}_K)$의 행렬이 허지 다각형 $\mathbf{k}$를 가진 크리스탈린 표현에 어떻게 대응되는지 명확히 한다.
• $\sigma$-불변 허지-테이트 가중치가 $p-1$ 미만일 때, 함자 $\mathbf{D}_{\mathrm{cris}}^*$ 는 크리스탈린 표현 내 갈로아-안정 래티스와 관련된 필터링된 $\varphi$-모듈 내 강력히 나누어진 $\varphi$-래티스 사이의 전단사성을 유도한다.
• 지표 $\mathrm{ord}_p(\vec{v}) > 0$를 가진 2차원 크리스탈린 표현 $V_{{\vec{k}},\vec{v},\vec{1}}$ 에 대해 모듈로 $p$ 축소는 $\overline{V}_{{\vec{k}},\vec{v},\vec{1}} \cong \overline{V}_{{\vec{k}},{\vec{0}},\vec{1}}$ 를 만족하며, 이 조건 하에서 $\vec{v}$ 에 대한 독립성을 보여준다.
• 모듈로 $p$ 축소 $\overline{V}_{{\vec{k}},{\vec{0}},\vec{1}}$ 는 $\mathbb{F}_p((\pi))^{\mathrm{sep}}$ 위의 에탈 $(\varphi,\Gamma)$-모듈로서 기약이다. 이는 $\varphi^a$의 특성 방정식이 $\mathbb{F}_p((\pi))$ 내에 해가 존재하지 않음을 보여 증명된다.
• $\overline{V}_{{\vec{k}},{\vec{0}},\vec{1}}$ 의 관성 부분군 $I_K$ 위로의 제약은 $\omega_{2a}^{\sum k_j p^j} \oplus \omega_{2a}^{p^a \sum k_j p^j}$ 와 동형이며, 모듈로 $p$ 갈로아 표현이 두 특성의 합임을 명시적으로 규명한다.