[논문 리뷰] On the weights of mod $p$ Hilbert modular forms

Toby Gee|arXiv (Cornell University)|2006. 01. 21.

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

한 줄 요약

이 논문은 모듈러리티 승격 정리와 $p$-진 호드 기하학을 이용하여 부자연수 $p$에 대한 힐베르트 모듈러 형식의 가능한 무게에 관한 뷜샤르드, 다이아몬드, 제르비의 추측의 중요한 케이스를 증명한다. 정규 무게의 경우, 모듈러 형식이 표현에 의해 유도됨과 동시에 그 무게가 추측된 집합 $W(\overline{\rho})$에 속해 있음을 조건들, 즉 $p \geq 5$ 및 $\overline{\rho}$가 $F(\zeta_p)$ 위에서 기약임을 포함하여 증명한다. 이 결과는 희생자 추측을 전체 실수 체로 확장하여 무게 측면에서 성립시킨다.

ABSTRACT

We prove many cases of a conjecture of Buzzard, Diamond and Jarvis on the possible weights of mod $p$ Hilbert modular forms, by making use of modularity lifting theorems and computations in $p$-adic Hodge theory.

연구 동기 및 목표

• 전체 실수 체의 맥락에서 부자연수 $p$에 대한 힐베르트 모듈러 형식의 가능한 무게에 관한 부자연수드, 다이아몬드, 제르비의 추측을 증명하기 위해.
• 주어진 부자연수 갈루아 표현 $\overline{\rho}$에 대해 올바른 무게 집합 $W(\overline{\rho})$를 규명함으로써 세르의 모듈러리티 추측을 힐베르트 모듈러 형식으로 확장하기 위해.
• $p$-진 호드 기하학과 변형 이론을 통해 모듈러 형식의 무게와 국소 갈루아 표현 $\overline{\rho}$ 사이의 정확한 대응을 설정하기 위해.
• 정규 및 비정규 케이스, 그리고 추가적인 승격 가정이 있는 부분적으로 정규 케이스에서 추측의 무게 부분을 해결하기 위해.

제안 방법

• 키신과 지의 모듈러리티 승격 정리를 사용하여 특정 국소 변형 유형을 가진 갈루아 표현의 모듈러리티를 증명한다.
• 브뤼일 모듈러와 강력히 나누어지는 모듈러를 통한 유한 평탄한 군 스킴 이론을 적용하여 $p$ 위의 자리에서 국소 갈루아 표현을 분석한다.
• 각 자리 $v|p$ 에서 $\overline{\rho}|_{G_{F_v}}$ 에 대해 특정 유형 $\tau_{\vec{a},\vec{b},J}$ 의 잠재적으로 바르사otti-테이트 승격을 조합적 호환 조건을 사용하여 구성한다.
• 호드-테이트 무게와 호르몬의 작용을 통해 정의된 부분집합 $J \subset \Sigma_v$ 를 통한 표현과 무게 사이의 호환성 개념에 의존한다.
• 수학적 약속을 기하학적 약속이 아닌 산술적 약속을 사용하여, 변형 유형과 정의된 양자수 대수에서의 자동형식을 연결함으로써 $R = T$ 정리를 활용한다.
• 부분체 위에서의 $\mathrm{GL}_2(\mathcal{O}_F/p)$ 의 기약 표현 $\sigma_{\vec{a},\vec{b}}$ 의 구조를 $p$ 위의 자리들에 대한 텐서 곱으로 표현하고, 국소 랭글랜드스 유형 조건을 통해 $\overline{\rho}$ 와의 호환성을 분석한다.

실험 결과

연구 질문

• RQ1 주어진 부자연수 갈루아 표현 $\overline{\rho}$ 와 관련된 힐베르트 모듈러 형식의 모듈러 형식의 무게로 나타날 수 있는 무게 $\sigma$ 는 무엇인가?
• RQ2 국소 갈루아 표현 유형과 $p$-진 호드 기하학을 통해 가능한 무게 집합 $W(\overline{\rho})$ 는 어떻게 특징지을 수 있는가?
• RQ3 만약 $\overline{\rho}$ 가 정규 무게 $\sigma$ 에 대해 모듈러라면, 어떤 조건에서 정규 무게 $\sigma$ 가 $W(\overline{\rho})$ 에 속하는가?
• RQ4 변형 이론적 방법을 사용하여 부자연수 및 부분적으로 정규 무게에 대해 부자연수드, 다이아몬드, 제르비의 추측을 검증할 수 있는가?
• RQ5 $\overline{\rho}|_{G_{F(\zeta_p)}}$ 가 기약임을 보장하는 조건이 모듈러리티 승격 결과 적용에 있어 어떤 역할을 하는가?

주요 결과

• 만약 $\overline{\rho}$ 가 정규 무게 $\sigma$ 에 대해 모듈러라면, $\sigma \in W(\overline{\rho})$ 임을 확인하여 정규 케이스에서 추측의 한 방향을 확인한다.
• 반대로, $\sigma \in W(\overline{\rho})$ 가 정규이자 비정규일 경우, $\overline{\rho}$ 는 무게 $\sigma$ 에 대해 모듈러이며, 이 경우 전체 대응 관계를 확립한다.
• 유형 $I$ 의 부분적으로 정규 무게 $\sigma$ 에 대해, 만약 $\overline{\rho}$ 가 유형 $I$ 의 부분적으로 정규 모듈러 승격을 가진다면, $\overline{\rho}$ 는 무게 $\sigma$ 에 대해 모듈러이며, 이 결과를 이 경우로 확장한다.
• 이 증명은 각 자리 $v|p$ 에서 특정 유형 $\tau_{\vec{a},\vec{b},J}$ 의 잠재적으로 바르사otti-테이트 변형을 브뤼일 모듈러와 유한 평탄한 군 스킴을 통한 국소 분석을 통해 구성하는 데 의존한다.
• $\sigma^{v}_{\vec{a},\vec{b}}$ 와 $\overline{\rho}|_{G_{F_v}}$ 사이의 호환성은 부분집합 $J$ 를 통해 결정되며, 이는 호드-테이트 무게와 호르몬 작용의 세밀한 분석을 통해 확립된다.
• 결과는 $p \geq 5$, $\overline{\rho}$ 가 모듈러임, $\overline{\rho}|_{G_{F(\zeta_p)}}$ 가 기약임을 조건으로 하며, 이 중 후자 두 조건은 $R = T$ 정리를 적용하기 위해 필수적이다.