[논문 리뷰] Remarks on Serre's modularity conjecture

Luís Dieulefait|arXiv (Cornell University)|2006. 03. 17.

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

한 줄 요약

이 논문은 특성 2의 모듈러리티 승격 정리에 의존하지 않고, 임의의 무게를 가진 홀수 수준의 갈루아 표현에 대해 세르의 모듈러리티 추측을 증명한다. 키신의 모듈러리티 승격 결과와 무게 2 호환 체계를 통한 새로운 '분열 제거' 기법을 사용하여, 일반적인 홀수 수준의 경우를 수준 3의 경우로 감소시키며, 이는 스호프의 소수 도수를 가진 아벨 다양체에 대한 모듈러리티 결과를 통해 해결된다. 핵심 기여는 특성 2의 복잡성을 피하는 보편적인 감소 전략을 개발하여 잔여 표현을 통해 모듈러리티를 전파할 수 있도록 한 것이다.

ABSTRACT

In this article we give a proof of Serre's conjecture for the case of odd level and arbitrary weight. Our proof does not depend on any generalization of Kisin's modularity lifting results to characteristic 2 (moreover, we will not consider at all characteristic 2 representations at any step of our proof). The key tool in the proof is a very general modularity lifting result of Kisin, which is combined with the methods and results of previous articles on Serre's conjecture by Khare, Wintenberger, and the author, and modularity results of Schoof for semistable abelian varieties of small conductor. Assuming GRH, infinitely many cases of even level will also be proved.

연구 동기 및 목표

• Q 위의 모든 홀수 수준, 두 차원, 기약 갈루아 표현에 대해 임의의 무게를 가진 세르의 모듈러리티 추측을 확립하는 것.
• 특성 2의 모듈러리티 승격 정리에 의존하지 않는 모듈러리티 전파 전략을 개발하는 것.
• 무게 2 호환 체계를 사용한 새로운 '분열 제거' 과정을 통해 일반적인 홀수 수준의 경우를 수준 3의 경우로 감소시키는 것.
• 일반화된 리만 가설(GRH) 하에 짝수 수준의 추가 사례를 증명하는 것.
• 특성 2의 장애물 없이 키신의 모듈러리티 승격 정리가 보편적으로 적용 가능한지 확인하는 것.

제안 방법

• 호환 체계를 통해 분열을 감소시킨 후 잔여 표현에 대해 키신의 모듈러리티 승격 정리([Ki4])를 적용하는 것.
• 무게 2 호환 체계를 사용하여 원래 수준의 분열을 큰 소수로 이동시켜 분열 유형을 제어하는 것.
• 반복적인 '분열 제거' 과정을 통해 수준을 단일 소수로 감소시키며, 궁극적으로 수준 3에 도달하는 것.
• 카루소의 갈루아 표현과 호환 체계에 대한 결과를 활용하여 키신의 정리 적용 조건을 검증하는 것.
• 수준 3의 경우를 스호프의 도수 3을 나누는 정적 아벨 다양체의 모듈러리티 결과([Sc2])로 감소시키는 것.
• 기저 변경과 합동 체인을 사용하여 소수 수준, 소수 무게의 사례에서부터 고수준, 고무게 표현으로의 모듈러리티 전파를 수행하는 것.

실험 결과

연구 질문

• RQ1 특성 2의 모듈러리티 승격 정리에 의존하지 않고도 세르의 모듈러리티 추측을 모든 홀수 수준 표현에 대해 증명할 수 있는가?
• RQ2 호환 체계와 분열 제어를 통해 갈루아 표현의 수준을 단일 소수로 체계적으로 감소시킬 수 있는가?
• RQ3 세르의 추측의 수준 3 사례는 알려진 소수 도수를 가진 아벨 다양체의 모듈러리티 결과로 감소시킬 수 있는가?
• RQ4 특성 2의 장애물 없이 키신의 모듈러리티 승격 정리가 얼마나 보편적으로 적용될 수 있는가?
• RQ5 GRH의 가정은 어떤 방식으로 증명 범위를 특정 짝수 수준 사례로 확장하는가?

주요 결과

• 세르의 모듈러리티 추측은 Q 위의 모든 홀수 수준, 두 차원, 기약 갈루아 표현에 대해 임의의 무게에서 증명된다.
• 세르의 추측의 수준 3 사례는 도수 3을 나누는 정적 아벨 다양체의 스호프의 모듈러리티 결과로 감소된다.
• 증명은 특성 2의 모듈러리티 승격 정리를 완전히 피함으로써, 2가 분열하는 수체수에 대해서도 적용 가능하다.
• GRH를 가정할 경우, 임의의 홀수 소수 p에 대해 수준 2p, 무게 2의 정적 표현에 대해서도 추측이 증명된다.
• '분열 제거' 기법은 모듈러리티 전파를 위한 보편적인 도구로 입증되었으며, 원래 추측을 초월한 일반화 가능성도 있다.
• 이 방법은 키신의 모듈러리티 승격 정리가 호환 체계와 분열 이동을 함께 사용할 경우, 임의의 홀수 수준 사례를 유한한 기저 사례 집합으로 감소시키는 데 충분함을 확인한다.