[논문 리뷰] Weight elimination in two dimensions when $p=2$

Xiyuan Wang|arXiv (Cornell University)|2017. 11. 22.

Advanced Algebra and Geometry참고 문헌 7인용 수 5

한 줄 요약

이 논문은 [GLS14, GLS15]의 결과를 $ p = 2 $의 경우로 확장하여, 순위 두 개의 유니터리 군에서 mod 2 Galois 표현에 대한 Serre의 추측의 무게 제거 방향을 완성한다. 이는 이전 증명에서 $ p > 2 $ 조건에 의존하는 분야 확장의 논리적 장치를 회피하는 새로운 국소 보조정리에 기반한다. 구체적으로, 만약 mod 2 Galois 표현이 무게 $ a $에 대해 모듈라이즈되면, $ a $는 명시적으로 정의된 집합 $ W^{\text{explicit}}(\overline{r}) $에 속함을 보여주며, 이는 이전 증명에서 $ p > 2 $ 조건을 초월하는 데 성공한다.

ABSTRACT

We prove the `weight elimination' part of the weight part of Serre's conjecture for mod 2 Galois representations for rank two unitary groups, by modifying the results in arXiv:1203.2552 and arXiv:1309.0527.

연구 동기 및 목표

• 이전 증명에서 $ p > 2 $ 조건을 사용한 [GLS14, GLS15]의 무게 제거 결과를 $ p = 2 $의 경우로 확장한다.
• 이전 증명에서 사용된 분야 확장 보조정리의 $ p > 2 $ 조건을 제거한다.
• 특정 수체 조건 하에서 $ p = 2 $일 때, Serre의 무게 집합 $ W^{\text{explicit}}(\overline{r}) $ 가 모든 모듈라 무게를 포함함을 확인한다.
• Serre의 추측의 국소 비교를 완성하기 위해 $ p = 2 $일 때 $ W^{\text{cris}}(\overline{\rho}) \subseteq W^{\text{explicit}}(\overline{\rho}) $ 를 확립한다.

제안 방법

• Liu08에서 사용된 $ p > 2 $ 의존적 분야 확장 논리 대신 $ p = 2 $에 적합한 버전으로 대체하는 새로운 국소 보조정리(보조정리 2.1)를 증명한다.
• Kisin 모듈러와 크리스탈린 리프트의 프레임워크를 활용하여, 크리스탈린 리프트의 Hodge-Tate 무게에서 유도되는 Serre 무게 집합 $ W^{\text{cris}}(\overline{\rho}) $ 를 정의한다.
• $ B_{\text{dR}}^{+} $, $ A_{\text{cris}} $, 및 de Rham 주기 링 이론을 사용하여 $ p=2 $에서 $ p $-진 Galois 표현의 Hodge-Tate 구조를 분석한다.
• $ p $-진 Hodge 이론의 기계장치를 적용하며, $ p^n $-번째 단위근의 일관된 체계 선택 및 $ t = -\log([\uline{\epsilon}]) $ 원소의 정의를 통해 $ W(R) $ 위의 필터링을 제어한다.
• [BLGG13]의 글로벌 모듈라리티 추론을 재검토하여, 보조정리 2.1.11의 증명이 $ p = 2 $에서도 유효함을 확인한다. 이는 [Tho17]의 결과를 활용한다.
• 특수한 수정된 버전의 [GLS15, Prop. 6.3.1]을 통해 $ p = 2 $일 때 $ W^{\text{explicit}}(\overline{\rho}) $ 가 오직 관성 표현 $ \overline{\rho}|_{I_K} $ 에만 의존함을 증명한다.

실험 결과

연구 질문

• RQ1 Serre의 추측에서 mod 2 Galois 표현에 대한 무게 제거 방향을 $ p = 2 $의 경우로 확장할 수 있는가?
• RQ2 $ p = 2 $일 때 포함관계 $ W^{\text{cris}}(\overline{\rho}) \subseteq W^{\text{explicit}}(\overline{\rho}) $ 가 성립하는가?
• RQ3 [GLS14, GLS15]에서 사용된 분야 확장 보조정리가 $ p = 2 $일 때도 유효한가?
• RQ4 2-진 자동성상승 정리가 존재하지 않는다는 점을 감안할 때, 순위 두 개의 유니터리 군에 대한 글로벌 모듈라리티 결과가 $ p = 2 $에서 성립하는가?
• RQ5 $ p = 2 $일 때 $ W^{\text{explicit}}(\overline{r}) $ 가 오직 관성 표현 $ \overline{r}|_{I_K} $ 에만 의존하는가?

주요 결과

• 논문은 $ p = 2 $일 때 $ W^{\text{cris}}(\overline{\rho}) \subseteq W^{\text{explicit}}(\overline{\rho}) $ 를 증명하여, Serre의 추측의 무게 부분에 필요한 국소 비교를 완성한다.
• 주요 글로벌 결과인 정리 6.2는 $ F/F^+ $ 가 유한한 자리에서 무분할이고, $ F^+ $ 에서 2를 나누는 모든 자리가 $ F $ 에서 분할되며, $ [F^+ : \mathbb{Q}] $ 가 짝수일 때, 만약 $ \overline{r} $ 가 무게 $ a $ 에 대해 모듈라라이즈되면 $ a \in W^{\text{explicit}}(\overline{r}) $ 임을 확인한다.
• 논문은 $ p = 2 $일 때 $ W^{\text{explicit}}(\overline{\rho}) $ 가 오직 $ \overline{\rho}|_{I_K} $ 에만 의존함을 보여주는 Proposition 5.5에서 입증한다.
• [BLGG13, Lem. 2.1.11]의 증명이 $ p = 2 $에서도 유효함이 확인되어, 글로벌 무게 제거 결과가 $ p = 2 $로 확장될 수 있다.
• 새로운 국소 보조정리(Lemma 2.1)는 $ p > 2 $ 의존적 분야 확장 논리 장치를 성공적으로 대체하여, 무게 제거 결과를 $ p = 2 $로 확장할 수 있게 하였다.
• 결과적으로, $ W^{\text{explicit}}(\overline{r}) \subseteq W(\overline{r}) \subseteq W^{\text{cris}}(\overline{r}) \subseteq W^{\text{explicit}}(\overline{r}) $ 의 포함 사슬에서 $ p = 2 $에서 체인을 완성하였으며, 첫 번째 포함관계는 여전히 열려있다. 이는 2-진 자동성상승 정리의 부재로 인해 아직 해결되지 않았기 때문이다.