[논문 리뷰] Moduli stacks of two-dimensional Galois representations

Ana Caraiani, Matthew Emerton외 2명|arXiv (Cornell University)|2019. 08. 19.

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

한 줄 요약

이 논문은 $p$-진 국소체에 대해 두 차원의 mod $p$ Galois 표현의 모듈리 스택을 구축하며, Breuil–Kisin 모듈러스와 에탈리 $\varphi$-모듈러스를 사용해 이러한 표현을 매개화한다. 핵심 결과는 모듈리 스택의 기약 성분이 Serre 무게로 자연스럽게 레이블링되며, 이는 $\mathrm{GL}_2$에 대한 Serre의 추측의 무게 부분을 기하학적으로 실현한다는 것이다. 스택의 기하학은 mod $p$ Galois 표현의 표현론적 구조를 반영하며, 일반점들은 Serre 무게에 의해 결정되는 특성의 확장에 대응한다.

ABSTRACT

We construct moduli stacks of two-dimensional mod p representations of the absolute Galois group of a p-adic local field, and relate their geometry to the weight part of Serre's conjecture for GL(2).

연구 동기 및 목표

• 모듈리 스택을 두 차원의 mod $p$ Galois 표현에 대해 $p$-진 국소체 위에서 구축하여 잔여 표현이 변할 수 있도록 한다.
• 이 모듈리 스택의 기하학이 $\mathrm{GL}_2$에 대한 Serre의 추측의 무게 부분과 어떻게 관련되어 있는지 규명한다.
• Serre 무게와 그것이 mod $p$ Galois 표현에서 차지하는 역할을 이해하기 위한 기하학적 프레임워크를 제공한다.
• 모듈리 스택이 차원 $[K:\mathbf{Q}_p]$인 등차원적이고 일반적으로 감소된 성질을 지닌다는 것을 증명하며, Kisin의 작업에 영감을 받은 해소를 사용한다.
• 특수 섬유의 변형 링과 모듈리 스택의 기하학 사이의 연결 고리를 확립하며, 특히 잠재적으로 Barsotti–Tate 표현에 대해 다룬다.

제안 방법

• 모듈리 스택을 구축하기 위해, mod $p$ Galois 표현을 매개화하기 위해 Breuil–Kisin 모듈러스와 에탈리 $\varphi$-모듈러스를 사용한다.
• $\overline{\mathbf{F}}_p$ 위에서 두 차원의 mod $p$ Galois 표현의 모듈리 스택 $\mathcal{Z}$를 구성하며, 이가 유한 유형의 대수적 스택임을 보인다.
• Kisin의 형식적 변형 설정에서의 구성에 영감을 받은 부분적 해소를 도입한다.
• 스택의 기약 성분을 Serre 무게 $\overline{\sigma}$로 레이블링하며, $\mathcal{Z}(\overline{\sigma})$ 위의 $\overline{\mathbf{F}}_p$-점이 정확히 $\overline{\sigma}$를 Serre 무게로 가지는 표현 $\overline{r}: G_K \to \mathrm{GL}_2(\overline{\mathbf{F}}_p)$임을 보인다.
• 패치된 모듈러스 이론과 사이클 클래스 $Z^\prime_{\otimes_{v|p}\overline{\sigma}_v}(\overline{\rho})$를 적용하여 스택의 기하학과 기하학적 Breuil–Mézard 추측을 연결한다.
• 해소를 통해 모듈리 스택이 일반적으로 감소된다는 것을 증명하며, 이를 통해 희생적으로 잠재적으로 Barsotti–Tate 변형 링의 특수 섬유가 동일하게 일반적으로 감소된다는 것을 유도한다.

실험 결과

연구 질문

• RQ1 잔여 표현이 변할 수 있도록 두 차원의 mod $p$ Galois 표현에 대한 모듈리 스택을 어떻게 구성할 수 있는가?
• RQ2 이러한 모듈리 스택의 기하학은 $\mathrm{GL}_2$에 대한 Serre의 추측의 무게 부분과 어떤 방식으로 관련되어 있는가?
• RQ3 Serre 무게는 mod $p$ Galois 표현의 모듈리 스택의 기약 성분을 레이블링하는 데 어떤 역할을 하는가?
• RQ4 모듈리 스택이 일반적으로 감소된다는 것을 보일 수 있으며, 이는 변형 링의 기하학에 어떤 함의를 갖는가?
• RQ5 기약 성분의 일반점들은 어떤 관계로 관계된 특성의 확장과 관련되어 있으며, 관계된 관계는 관계된 관계에 의해 결정되는가?

주요 결과

• 모듈리 스택 $\mathcal{Z}$는 $\overline{\mathbf{F}}_p$ 위에서 유한 유형의 대수적 스택이며, 차원 $[K:\mathbf{Q}_p]$인 등차원적이다.
• $\mathcal{Z}$의 기약 성분은 자연스럽게 Serre 무게 $\overline{\sigma}$로 레이블링되며, $\mathcal{Z}(\overline{\sigma})$ 위의 $\overline{\mathbf{F}}_p$-점은 정확히 $\overline{\sigma}$를 Serre 무게로 가지는 표현 $\overline{r}: G_K \to \mathrm{GL}_2(\overline{\mathbf{F}}_p)$이다.
• 기약 성분의 일반점들은 해당 Serre 무게에 의해 결정되는 관계에 따라 관계된 특성의 확장에 대응한다.
• Kisin의 구성에 영감을 받은 부분적 해소를 통해 모듈리 스택이 일반적으로 감소된다는 것이 입증되었다.
• 이 결과는 희생적으로 잠재적으로 Barsotti–Tate 변형 링의 특수 섬유도 일반적으로 감소된다는 것을 의미한다.
• Serre 무게에 관련된 사이클 클래스 $\mathcal{C}_{\overline{\sigma}}$는 유효하며, 기하학적 Breuil–Mézard 추측은 사이클 $Z^\prime_{\otimes_{v|p}\overline{\sigma}_v}(\overline{\rho})$가 $\overline{\sigma}_v \in W(\overline{r})$일 때에만 비영이 되는 방식으로 성립한다.