[논문 리뷰] Automorphic lifts of prescribed types

Toby Gee|arXiv (Cornell University)|2008. 10. 10.

Advanced Algebra and Geometry참고 문헌 14인용 수 4

한 줄 요약

이 논문은 변형 링의 구조 결과와 모듈라리티 승격 기법을 사용하여, $p$를 제외한 자리에서 주어진 국소 유형을 갖는 잔여 mod $p$ 갈루아 표현을 승격하는 자동형 Galois 표현의 존재성을 확립한다. $n$-차원 자동형 Galois 표현에 대한 수준 상승 및 수준 강하 정리들을 증명하고, 세르 무게 추측을 일반화하기 위한 프레임워크를 제공한다.

ABSTRACT

We prove a variety of results on the existence of automorphic Galois representations lifting a residual automorphic Galois representation. We prove a result on the structure of deformation rings of local Galois representations, and deduce from this and the method of Khare and Wintenberger a result on the existence of modular lifts of specified type for Galois representations corresponding to Hilbert modular forms of parallel weight 2. We discuss some conjectures on the weights of $n$-dimensional mod $p$ Galois representations. Finally, we use recent work of Taylor to prove level raising and lowering results for $n$-dimensional automorphic Galois representations.

연구 동기 및 목표

• 주어진 잔여 mod $p$ 갈루아 표현에 대해 $p$를 제외한 자리에서 특정 국소 유형을 갖는 자동형 갈루아 표현의 존재성을 확립하는 것.
• 카레와 윈텐버거의 방법을 평행 무게 2의 힐베르트 모듈러 형식으로 확장하여, 표준 가정 하에 전체적으로 수준 강하 결과를 증명하는 것.
• 특히 힐베르트 모듈러 형식의 맥락에서 $n$-차원 mod $p$ 갈루아 표현에 대한 세르 무게 추측을 일반화하는 것.
• 테일러의 최근 작업을 활용하여 $n$-차원 자동형 갈루아 표현에 대한 수준 상승 및 수준 강하 정리를 증명하는 것.
• 수체에서 $p$에 대해 무분할인 $n$-차원 갈루아 표현의 맥락에서 향후 $R=T$ 정리들을 위한 프레임워크를 제공하는 것.

제안 방법

• 모든 $l \neq p$ 인 자리에서 mod $p$ 갈루아 표현의 국소 변형 링의 구조를 분석하여, 키신의 $l=p$ 경우 작업 기법을 적응한다.
• 카레와 윈텐버거의 방법을 적용하여 평행 무게 2의 힐베르트 모듈러 형식에 대해 특정 유형의 모듈러 승격 표현의 존재를 증명한다.
• 일반화된 변형 링 $R_{\tau}^{univ}$ 와 그 감소를 사용하여 $\mathcal{O}$ 위에서의 유한성을 보이며, 추적 생성과 나카야마의 보조정리를 활용한다.
• 구바와 히다의 헤이크 대수에 관한 결과를 적용하여 $R_{\tau}^{univ}$ 가 $\mathcal{O}$ 위에서 유한함을 확보하고, 자동형 승격의 존재를 보장한다.
• 테일러의 최근 $R=T$ 정리 작업을 활용하여 $n$-차원 갈루아 표현에 대한 수준 상승 및 수준 강하 결과를 유도한다.
• 지정된 국소 유형 $\tau_v$ 를 갖는 자리 $v \in Y$ 를 가진 변형 문제 $\mathcal{S}$ 를 구성하고, 일반화된 변형 링을 사용하여 $\overline{\rho}$ 를 자동형 표현 $\pi$ 로 승격시킨다.

실험 결과

연구 질문

• RQ1 잔여 갈루아 표현 $\overline{\rho}$ 가 $\mathrm{GL}_n$ 에 대해 $\overline{\mathbb{F}}_l$ 위에 있고, $v \notin \{p\}$ 인 자리에서 특정 국소 유형을 갖는 모듈러 승격 표현을 가질 수 있는 조건은 무엇인가?
• RQ2 일반적인 조건 하에, 일반적인 승격이 존재한다고 가정할 때, 평행 무게 2의 힐베르트 모듈러 형식에 대해 수준 강하 결과를 전체적으로 확립할 수 있는가?
• RQ3 $n$-차원 mod $p$ 갈루아 표현에 가능한 세르 무게는 무엇이며, 기존의 추측을 어떻게 일반화할 수 있는가?
• RQ4 $n$-차원 자동형 갈루아 표현으로의 수준 상승 및 수준 강하 정리들이 2차원의 경우를 초월하여 얼마나 일반화될 수 있는가?
• RQ5 일반화된 변형 링 $R_{\tau}^{univ}$ 가 $\mathcal{O}$ 위에서 유한함을 보장하여 자동형 승격의 구성이 가능한 조건은 무엇인가?

주요 결과

• 일반화된 변형 링 $R_{\tau}^{univ}$ 는 $\mathcal{O}$-모듈로서 순서가 1 이상이며, 이는 특정 국소 유형을 갖는 자동형 승격 표현의 존재를 보장한다.
• 힐베르트 모듈러 형식의 평행 무게 2에 대해, 테일러-와일즈 가정과 일반 승격의 존재를 가정할 경우, $p$ 를 제외한 모든 자리에서 수준 강하가 성립한다.
• 만약 $p$ 가 완전히 분해되고 테일러-와일즈 가정이 성립하는 경우, 버즈드, 다이아몬드, 저지의 세르 무게 추측은 전체적으로 증명된다.
• 논문은 $\dim(R_{\tau}^{univ}) \geq 1$ 이라는 결과를 증명하며, 이는 합동식 $\mu_\pi \equiv n \pmod{2}$ 와 변형 링의 구조로부터 유도된다.
• 테일러의 최근 $R=T$ 정리 작업에 기반하여, $n$-차원 자동형 갈루아 표현에 대한 수준 상승 및 수준 강하 정리가 확립된다.
• $(R_{\tau}^{univ})^{\text{red}}$ 는 $\mathcal{O}$ 위에서 유한하다. 이는 $(R_{\mathcal{S}}^{\text{univ}})^{\text{red}}$ 위에서 유한하기 때문이며, 이는 $\mathcal{O}$ 위에서 유한한 헤이크 대수 $\mathbb{T}$ 와 동형이기 때문이다.