[논문 리뷰] Modularity lifting results in parallel weight one and applications to the Artin conjecture: the tamely ramified case

Payman L Kassaei, Shu Sasaki외 1명|Research Portal (King's College London)|2012. 04. 03.

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

한 줄 요약

이 논문은 전적으로 실수인 수체 위에서 $p$에서의 타인 분할을 갖는 갈루아 표현에 대해 병렬 무게 1에서 새로운 모듈러리티 승격 정리들을 수립한다. 유한 기울기 초수렴 힐베르트 모듈러 형식이 특수 피보터의 일반적 위치를 거의 모두 포함하는 영역으로 강력한 자동 해석적 계속성을 증명함으로써, 프로젝티브 이미지가 $A_5$이고 $F$에서 분할되지 않은 5를 갖는 $\mathrm{Gal}(\overline{\mathbb{Q}}/F)$-표현에 대해 강력 아르틴 추측의 새로운 사례를 확립한다. 핵심 기여는 타인 분할 설정에서의 모듈러리티 승격을 가능하게 하는 정밀한 해석적 계속성 결과이다.

ABSTRACT

We extend the modularity lifting result of the arXiv:1111.2804 to allow Galois representations with some ramification at p. We also prove modularity mod 2 and 5 of certain Galois representations. We use these results to prove many new cases of the strong Artin conjecture over totally real fields in which 5 is unramified. As an ingredient of the proof, we provide a general result on the automatic analytic continuation of overconvergent p-adic Hilbert modular forms of finite slope which substantially generalizes a similar result in arXiv:1111.2804.

연구 동기 및 목표

• 전적으로 실수인 수체 위에서 $p$에서의 타인 분할을 갖는 갈루아 표현에 대해 병렬 무게 1에서 모듈러리티 승격 결과를 일반화하는 것.
• 프로젝티브 이미지가 $A_5$이고 $F$에서 분할되지 않은 5를 갖는 $\mathrm{Gal}(\overline{\mathbb{Q}}/F)$-표현에 대해 강력 아르틴 추측의 새로운 사례를 확립하는 것.
• 유한 기울기 초수렴 힐베르트 모듈러 형식에 대해 날카로운 해석적 계속성 결과를 증명하여 이전 영역을 초월하는 것.
• 힐베르트 모듈러 곡면에서의 모 $p$ 특수 피보터에서의 기하학적 장애를 극복하기 위해 분할과 그 교차를 분석하는 것.
• 유한 가 soluble 확장 $L/F$에서의 $\rho_{f_T} = \rho_\iota|_{\mathrm{Gal}(\overline{\mathbb{Q}}/L)} \otimes \chi_T^{-1}$를 만족하는 초수렴 고유형식과 그에 상응하는 특성의 일관된 체계를 구성하여 고전 형식으로의 자동형 변환을 이루는 것.

제안 방법

• 모든 유한 기울기 초수렴 힐베르트 모듈러 형식이 힐베르트 모듈러 곡면의 특수 피보터에서 코드미니멈 0과 1인 분할의 일반적 위치 위의 튜브들의 합집합으로 정의된 영역 $\Sigma$로 해석적으로 계속된다는 것을 증명한다.
• Atkin-Lehner 대칭 $w$를 이용한 붙임 기법을 통해 형식을 $\Sigma$에서 $\Sigma \cup w^{-1}(\Sigma)$로 계속시키며, 분할 교차의 기하학적 성질을 이용해 연결 성분을 제어한다.
• 문헌 [15]의 결과를 활용해 특수 피보터 $\overline{Y}$의 분할을 분석하여 $\Sigma \cup w^{-1}(\Sigma)$의 여집합이 최소한 코드미니멈 2를 갖는다는 것을 보장한다. 이는 Koecher 원리의 적용을 가능하게 한다.
• 강체 해석 기하학적 Koecher 원리를 적용하여 붙인 형식을 전체 힐베르트 모듈러 곡면 $\mathfrak{Y}_{\rm rig}$로 계속시키며, 고전성의 증명을 이룬다.
• 모듈러리티 승격 정리를 이용해 $L/F$의 유한 가 soluble 확장에서 $\rho_{f_T} = \rho_\iota|_{\mathrm{Gal}(\overline{\mathbb{Q}}/L)} \otimes \chi_T^{-1}$를 만족하는 초수렴 고유형식 $\{f_T\}$과 관련 특성 $\chi_T$의 체계를 구성한다.
• 자기형 변환을 이용해 원래 갈루아 표현 $\rho_\iota$가 $\mathrm{Res}_{L/\mathbb{Q}}GL_{2,L}$에서의 병렬 무게 1 고전 형식에서 유래됨을 보이며, 따라서 $\mathrm{Res}_{F/\mathbb{Q}}GL_{2,F}$에서도 그렇다는 것을 보인다.

실험 결과

연구 질문

• RQ1 병렬 무게 1에서의 모듈러리티 승격 정리가 전적으로 실수인 수체 위에서 $p$에서의 타인 분할을 갖는 갈루아 표현으로 확장될 수 있는가? 이는 이전의 분할되지 않은 경우를 초월하여 가능할까?
• RQ2 유한 기울기 초수렴 힐베르트 모듈러 형식이 해석적으로 계속될 수 있는 최적의 영역은 무엇이며, 이는 이전 결과와 어떻게 비교되는가?
• RQ3 해석적 계속성과 붙임 기법이 전적으로 실수 수체 $F$의 전적으로 양성 단위의 비자명한 작용을 다룰 수 있도록 적응될 수 있는가?
• RQ4 프로젝티브 이미지가 $A_5$이고 $p=5$에서 타인 분할을 갖는 $p$-진 갈루아 표현이 존재할 경우, $5$가 분할되지 않은 전적으로 실수 수체에서 모듈러성은 성립하는가?
• RQ5 이러한 표현들에 대해 강력 아르틴 추측이 $p$-진 해석적 계속성과 내림 기법을 통해 검증될 수 있는가?

주요 결과

• 논문은 새로운 자동 해석적 계속성 결과를 수립한다: 모든 유한 기울기 초수렴 힐베르트 모듈러 형식은 힐베르트 모듈러 곡면의 특수 피보터에서 코드미니멈 0과 1인 분할의 일반적 위치 위의 튜브들의 합집합으로 정의된 영역 $\Sigma$로 계속된다는 것을 보였다.
• 이 영역 $\Sigma$는 이전의 계속 영역보다 상당히 크며, [15]에서 연구된 특수 피보터의 분할을 이용해 정의되며, 더 강력한 승격 정리를 가능하게 한다.
• 작성자들은 $\Sigma \cup w^{-1}(\Sigma)$의 여집합이 $p$로 환원할 때 코드미니멈 최소 2를 갖는다는 것을 증명하였으며, 이는 Koecher 원리를 적용하여 형식을 전체 공간으로 계속시키는 데에 유리하다.
• 이 해석적 계속성을 바탕으로, 프로젝티브 이미지가 $A_5$이고 $p=5$에서 타인 분할을 갖는 특정 갈루아 표현들이 모듈러적임을 증명하였으며, 이는 전적으로 실수 수체에서 $5$가 분할되지 않은 경우 강력 아르틴 추측의 새로운 사례를 증명한다.
• 모듈러리티 승격 결과를 적용하여 잔여 표현 $\overline{\rho}_\iota$ mod 5가 유한 가 soluble 기저 변경과 내림을 통해 병렬 무게 1의 고전 힐베르트 모듈러 형식에서 유래됨을 보였다.
• 논문은 이러한 표현에 대응하는 아르틴 $L$-함수는 강력 아르틴 추측이 예측한 바와 같이 전체 함수임을 확인하였으며, 이는 표현이 병렬 무게 1의 해석적 힐베르트 총형식에서 유래됨을 실현함으로써 이루어졌다.