[논문 리뷰] Minimal modularity lifting for GL2 over an arbitrary number field

David J. Hansen|arXiv (Cornell University)|2012. 09. 24.

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

한 줄 요약

이 논문은 임의의 수체 위에서 두차원의 홀수 갈루아 표현에 대해, 모듈러리티 승격 정리(모듈러리티 승격 정리)를 제시한다. 이는 타일러-와일즈 방법을 모듈러의 복합체로 일반화함으로써 달성된다. 주요 결과는 추측 3.1이 성립할 경우 갈루아 변형 환 $ R_{\bar{\rho}}^{\text{min}} $이 국소화 히히 알제브라 $ \mathbf{T}_{\frak{m}} $과 동형이며, 코homology $ H^d(Y, \mathcal{O})_{\frak{m}} $가 $ \textbf{T}_{\frak{m}} $ 위에서 자유 모듈러로 확장된다는 것이다. 이는 전체 실수 또는 CM 체를 초월한 모듈러리티 결과를 가능하게 한다.

ABSTRACT

We prove a modularity lifting theorem for minimally ramified deformations of two-dimensional odd Galois representations, over an arbitrary number field. The main ingredient is a generalization of the Taylor-Wiles method in which we patch complexes rather than modules.

연구 동기 및 목표

• 전통적인 방법이 코homological 및 평탄성 제약 조건으로 인해 실패하는 전체 실수 또는 CM 수체를 초월한 모듈러리티 승격 정리의 확장을 위해.
• 클래식한 타일러-와일즈 방법이 $ \mathbf{T}_{\frak{m}} $가 $ \mathcal{O} $-평탄해야 한다는 조건을 요구하고, 두 연속된 차수에서의 코homology에 국한되므로, 이를 극복하기 위해.
• 모듈러를 직접 패치하는 대신 모듈러의 복합체를 패치하여, 임의의 수체로 타일러-와일즈 방법을 일반화하기 위해.
• 코homological 추측(추측 3.1) 하에 $ R_{\bar{\rho}}^{\text{min}} \xrightarrow{\sim} \mathbf{T}_{\frak{m}} $임을 증명하기 위해, $ \mathbf{T}_{\frak{m}} $가 $ \mathcal{O} $- torsion을 포함하더라도 가능하게 하기 위해.

제안 방법

• 자유 $ S_{\infty} $-모듈러의 복합체 $ F_{\infty}^{\bullet} $를 구성하여, 이는 끝이 $ \leq r $인 범위에 놓여지며, 여기서 $ r $은 수체 $ F $의 비실수 자리의 수이다.
• 사상 $ \phi_{\infty}: R_{\infty} \twoheadrightarrow R $와 아이디얼 $ \mathfrak{a} \subset S_{\infty} $를 구성하여, $ H \simeq H_{\infty}/\mathfrak{a}H_{\infty} $가 $ R_{\infty} $-모듈러로서 동형임을 보인다.
• 공식 2.1.1의 교환 대수 결과를 적용하여, $ H^{\ast}(F_{\infty}^{\bullet}) $의 $ S_{\infty} $-지지의 차원이 $ 1 + q - r $ 이상임을 보인다. 여기서 $ q = \dim_k H^1_{\emptyset}(F, \mathrm{ad}^0\bar{\rho}(1)) $이다.
• 오스큘란더-부크스바움 공식을 사용하여, $ H_{\infty} $가 $ R_{\infty} $ 위에서 자유임을 유도한다. 이는 $ S_{\infty} $-깊이가 $ 1 + q - r $ 이상임을 보여주면 된다. 이는 쌍대성과 $ H_{\infty}^{\ast} $의 $ R_{\infty} $-모듈러스처를 통해 확립된다.
• 일관된 히히 알제브라 시스템 $ \mathbf{T}_{Q_n} $과 코homology 복합체 $ C_n^\bullet $를, $ Y_0(Q_n) $의 합동 부분군에서 계수를 $ S_n = \mathcal{O}[(\mathbb{Z}/p^n)^q] $로 하는 방식으로 구성하여, 정리 2.2.1의 조건을 만족시키도록 한다.
• 복합체 $ C_n^\bullet $가 패치 조건을 충족함을 검증한다. 이는 히히 작용과 비에이젠슈타인 소수에서의 국소화와의 호환성 포함되며, 주요 패치 정리의 적용을 가능하게 한다.

실험 결과

연구 질문

• RQ1 코homology가 많은 차수에서 비영이 되는 경우에도, 임의의 수체 위에서 GL2에 대한 모듈러리티 승격 정리를 확립할 수 있는가?
• RQ2 히히 알제브라 $ \mathbf{T}_{\frak{m}} $에 $ \mathcal{O} $-torsion이 존재할 경우, 클래식한 타일러-와일즈 방법이 실패하는가? 그리고 새로운 패치 기법으로 이를 극복할 수 있는가?
• RQ3 모듈러가 아니라 복합체를 패치함으로써, 최소 수준이 아니거나 $ \mathcal{O} $-평탄성이 없는 경우에도 모듈러리티 승격을 달성할 수 있는가?
• RQ4 $ \mathbf{T}_{\frak{m}} $가 $ \mathcal{O} $-평탄하지 않다는 가정 없이도 $ R_{\bar{\rho}}^{\text{min}} \xrightarrow{\sim} \mathbf{T}_{\frak{m}} $를 증명할 수 있는가?
• RQ5 코homological 추측 하에 $ H^d(Y, \mathcal{O})_{\frak{m}} $가 $ \mathbf{T}_{\frak{m}} $ 위에서 자유 모듈러로 나타날 수 있는가?

주요 결과

• 추측 3.1이 성립할 경우 갈루아 변형 환 $ R_{\bar{\rho}}^{\text{min}} $은 국소화 히히 알제브라 $ \mathbf{T}_{\frak{m}} $과 동형이다.
• 동일한 추측적 조건 하에 최고 차수 코homology $ H^d(Y, \mathcal{O})_{\frak{m}} $는 $ \mathbf{T}_{\frak{m}} $ 위에서 자유 모듈러이다.
• 패치 방법은 자유 $ S_{\infty} $-모듈러의 복합체 $ F_{\infty}^{\bullet} $를 구성하며, 이는 최대 $ r $개의 연속된 차수에 놓여져 있으며, 여기서 $ r $은 수체 $ F $의 비실수 자리의 수이다.
• $ H_{\infty} $의 $ S_{\infty} $-깊이가 정확히 $ 1 + q - r $임을 오스큘란더-부크스바움 공식을 통해 보였다. 여기서 $ q = \dim_k H^1_{\emptyset}(F, \mathrm{ad}^0\bar{\rho}(1)) $이다.
• $ F_{\infty}^{\bullet} $는 길이 $ r $의 $ H_{\infty} $의 자유 해체를 제공하므로, $ \mathrm{projdim}_{S_{\infty}}(H_{\infty}) = r $이다. 이는 깊이 추론에 필수적이다.
• 구성에 의해 $ F_{\infty}^{\bullet} $의 모든 차수에서 $ H^{i}(F_{\infty}^{\bullet}) = 0 $이며, 최고 차수를 제외한 나머지는 0이므로, $ F_{\infty}^{\bullet} $는 $ H_{\infty} $의 해체이며, 모듈러 $ H_{\infty} $는 $ R_{\infty} $ 위에서 자유이다.