[논문 리뷰] Sch\\'emas en groupes et poids de Diamond-Serre

Xavier Caruso|arXiv (Cornell University)|2007. 05. 09.

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

한 줄 요약

이 논문은 제이(2007)의 preprint에서 mod $p$ 힐베르트 모듈러 형식의 계수에 관한 잘못된 진술을 $p$-진 호지 이론을 통해 수정한다. 기존 서술에서 오류가 발생한 바, 이를 해결하기 위해 클래스 $J$-군의 개념을 재정의하여 오류를 수정하고, 제3.3.1조의 수정된 버전을 도출하며, 크리스탈린 및 브뤼엘 모듈을 사용하여 이를 증명함으로써, 전체 실수 체에 대한 모듈라리티 추측 프레임워크 내에서 후속 결과의 타당성을 확보한다.

ABSTRACT

This note is a correction of (statement and proof of) proposition 3.3.1 of Toby Gee's preprint intitled *On the weights of mod p Hilbert modular forms*. The aim is to compare Galois representations arising from extensions of some group schemes (over the ring of integers of a p-adic field) endowed with a descent data, and extensions of some crystalline representations with given Hodge-Tate weights. The main tool of the proof is the theory of Breuil.

연구 동기 및 목표

• 제이의 mod $p$ 힐베르트 모듈러 형식에 관한 preprint의 제3.3.1조에서 발생한 심각한 오류를 수정하기 위해.
• 오류가 발생한 진술을 수정하기 위해, 인덱스 이동을 도입하여 클래스 $J$-군의 개념을 재정의하기 위해.
• 모듈 이론적 기법과 $p$-진 호지 이론을 사용하여, 수정된 제3.3.1조의 완전하고 올바른 증명을 제공하기 위해.
• 이 조건에 의존하는 제이의 작업에서 후속 결과의 타당성을 확보하기 위해.
• 크리스탈린 표현, $E$-군, 브뤼엘 모듈 간의 상호작용이 다이애몬드-서어 무게의 맥락에서 어떻게 작용하는지 명확히 하기 위해.

제안 방법

• 제이의 피드백에 기반하여, 색인 이동을 도입하여 클래스 $J$ 조건을 재정의함으로써, 수정된 제3.3.1조의 진술을 재유도하기 위해.
• 필터, 프로베니우스, 모노드로미 구조를 갖춘 $E[u]$-모듈을 사용하여, 범주 $\text{E-BrMod}_{\text{dd}}^{p-2}$ 내의 모듈 $\mathcal{C}$ 를 구성하기 위해.
• 소스 모듈 $\mathcal{M}$ 과 $\mathcal{N}$ 에서 $\mathcal{C}$ 로의 사상 $f_{\mathcal{M}}$ 과 $f_{\mathcal{N}}$ 을 $u$-거듭제곱과 무게 이동을 사용하여 정의하기 위해.
• 레마 5.8과 5.9의 합동식과 부등식을 활용하여, 모듈 구조와 필터가 잘 정의되어 있음을 보장하기 위해.
• 사상들이 프로베니우스, 모노드로미, 갈루아 작용과 가환함을 입증하여, 이들이 범주 내에서 유효한 사상임을 확인하기 위해.
• 브뤼엘 모듈 이론과 크리스탈린 표현 이론을 활용하여, 수정된 모듈 구조가 원래 갈루아 표현과 어떻게 관련되어 있는지 밝혀내기 위해.

실험 결과

연구 질문

• RQ1 원래 버전이 잘못되어 있는 바, 제이의 preprint에서 제3.3.1조의 올바른 서술은 무엇인가요?
• RQ2 클래스 $J$-군의 정의에 색인 이동을 도입함으로써, 원래 진술의 오류는 어떻게 해결되나요?
• RQ3 수정된 제3.3.1조는 $p$-진 호지 이론과 모듈 범주 프레임워크를 사용하여 증명될 수 있나요?
• RQ4 갈루아 표현과 무게 사이의 수정된 대응을 실현하는 데 모듈 $\mathcal{C}$ 는 어떤 역할을 하나요?
• RQ5 사상 $f_{\mathcal{M}}$ 과 $f_{\mathcal{N}}$ 은 범주 $\text{E-BrMod}_{\text{dd}}^{p-2}$ 의 구조와 어떻게 호환되는가요?

주요 결과

• 문헌 [6]의 제3.3.1조 원래 진술은 클래스 $J$-군의 정의 오류로 인해 잘못되었다.
• 제이의 제안에 따라, 색인 이동을 도입하여 클래스 $J$-군을 재정의함으로써, 수정된 진술이 도출되었다.
• 적절한 프로베니우스, 필터, 모노드로미 구조를 갖춘 잘 정의된 모듈 $\mathcal{C}$ 가 범주 $\text{E-BrMod}_{\text{dd}}^{p-2}$ 내에 구성됨으로써, 수정된 진술이 증명되었다.
• 사상 $f_{\mathcal{M}}$ 과 $f_{\mathcal{N}}$ 이 범주 내에서 유효함이 입증되어, 핵심 다이어그램 (6)의 가환성이 확보되었다.
• 레마 5.8과 5.9의 합동식과 부등식을 활용하여, 특히 $\lambda_i$ 를 포함한 모든 항이 필요한 경우에 잘 정의되고 영이 아님을 보장하였다.
• 수정된 결과는 제이의 후속 작업에서 이 조건을 사용한 바와 일치하므로, [6]의 주요 정리들이 수정된 서술에 기반해도 여전히 타당함을 의미한다.