[논문 리뷰] Modularity Lifting Theorems beyond the Taylor-Wiles Method. II

Frank Calegari, David Geraghty|arXiv (Cornell University)|2012. 09. 27.

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

한 줄 요약

이 논문은 고전적인 Taylor-Wiles 방법을 초월하여, 자동형 양식이 코homology에 여러 차수에 걸쳐 기여하는 일반적인 코homological 맥락으로 모듈러리티 상승 정리들을 확장한다. 특정 가환군 표현의 존재를 가정할 때, 모든 타원곡선은 잠재적으로 모듈러리이며 Sato-Tate 추측을 만족함을 증명한다.

ABSTRACT

In a previous paper [CG], we showed how one could generalize Taylor-Wiles modularity lifting theorems [Wil95, TW95] to contexts beyond those in which the automorphic forms in question arose from the middle degree cohomology of Shimura varieties, in particular, to contexts in which the relevant automorphic forms contributed to cohomology in exactly two degrees. In this sequel, we extend our method to the general case in which Galois representations are expected to occur in cohomology, contingent on the (as yet unproven) existence of certain Galois representations with the expected properties. As an application, we prove the following result (conditional on the conjectures mentioned above): If E is an elliptic curve over an arbitrary number field, then E is potentially modular, and the Sato-Tate conjecture holds for E.

연구 동기 및 목표

• 자동형 양식이 한정된 차수보다 더 많은 차수에 걸쳐 코homology에 기여하는 코homological 맥락으로 모듈러리티 상승 정리를 일반화하는 것.
• Taylor-Wiles 방법의 한계를 메우기 위해 다중 차수 코homological 기여에 적용 가능한 프레임워크를 개발하는 것.
• 특정 가환군 표현의 존재를 추측하는 조건 하에 임의의 수체 위의 타원곡선의 잠재적 모듈러리티를 확립하는 것.
• 특정 가환군 표현의 존재를 조건으로 하여 수체 위의 타원곡선에 대한 Sato-Tate 추측을 증명하는 것.

제안 방법

• 자동형 양식이 정확히 두 차수에 걸쳐 코homology에 기여하는 설정으로 Taylor-Wiles 방법을 일반화한다.
• 다중 차수 코homology에서 유래하는 가환군 표현을 수용할 수 있는 새로운 모듈러리티 상승 프레임워크를 도입한다.
• 예상되는 국소적 성질과 전역 적합성을 갖춘 가환군 표현의 존재를 추측에 기반으로 한다.
• 다중 차수 코homological 설정에 적응된 변형 이론과 패치 기법을 사용한다.
• 이러한 정교한 방법을 수체 위의 타원곡선에 적용하여 가환군 표현과 자동형 양식을 연결한다.
• 중간 차수의 Shimura 다양체 기여가 없는 상황에서 가환군 표현과 자동형 표현 간의 호환성을 확립한다.

실험 결과

연구 질문

• RQ1 자동형 양식이 한정된 차수보다 더 많은 차수에 걸쳐 코homology에 기여하는 맥락으로 모듈러리티 상승 정리를 확장할 수 있는가?
• RQ2 다중 차수에 걸친 코homological 기여를 처리하기 위해 Taylor-Wiles 방법에 어떤 수정이 필요한가?
• RQ3 어떤 조건에서 수체 위의 타원곡선과 관련된 가환군 표현이 모듈러리임을 보일 수 있는가?
• RQ4 특정 가환군 표현의 존재가 타원곡선에 대한 Sato-Tate 추측의 증명에 어떻게 기여하는가?
• RQ5 자동형 코homological 양식은 중간 차수를 초월하여 타원곡선의 모듈러리티에 어떤 역할을 하는가?

주요 결과

• 논문은 자동형 코homological 양식이 여러 차수에 걸쳐 코homology에 기여하는 데 적용 가능한 일반적인 모듈러리티 상승 프레임워크를 확립한다.
• 일부 가환군 표현의 존재를 가정할 경우, 임의의 수체 위의 모든 타원곡선이 잠재적으로 모듈러리임을 증명한다.
• 동일한 추측적 가정 하에, 수체 위의 모든 타원곡선에 대해 Sato-Tate 추측이 성립함을 보였다.
• 기존 Taylor-Wiles 접근법의 한계를 극복하기 위해 비중간 차수 코homological 맥락으로 확장함으로써 방법을 확장한다.
• 결과는 특정 국소적 및 전역 적합성 조건을 갖춘 가환군 표현의 존재에 조건을 두며, 이는 아직 증명되지 않았지만 추측된다.