[논문 리뷰] The weight part of Serre's conjecture for GL(2)

Toby Gee, Tong Liu외 1명|arXiv (Cornell University)|2013. 09. 02.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 14

한 줄 요약

이 논문은 Kisin 모듈을 통해 두 차원의 격자형 표현의 줄임을 분석함으로써, 임의의 전체 실수 필드 위의 GL(2)에 대한 세르의 추측의 무게 부분을 확립한다. 특히, 가짜-바르소티-타이트 표현이라고 불리는 표현의 한 클래스에 초점을 맞춘다. 주요 결과는 두 개의 p진 호지 이론적 정의된 세르의 무게가 동일하다는 것이며, p > 2일 때 타일러-와일즈 가정 하에 추측을 완성한다.

ABSTRACT

Let p > 2 be prime. We use purely local methods to determine the possible reductions of certain two-dimensional crystalline representations, which we call "pseudo-Barsotti-Tate representations", over arbitrary finite extensions of the p-adics. As a consequence, we establish (under the usual Taylor-Wiles hypothesis) the weight part of Serre's conjecture for GL(2) over arbitrary totally real fields.

연구 동기 및 목표

• 임의의 전체 실수 필드 위의 GL(2)에 대한 세르의 추측의 무게 부분을 해결함으로써, 이전 결과에서 요구하던 p에 대한 비분할 조건을 확장한다.
• 모듈로 p 갈루아 표현과 관련된 두 개의 p진 호지 이론적 정의된 세르의 무게가 동일하다는 것을 확립한다.
• 임의의 p진 분할을 가진 상황에서 격자형 표현의 줄임에 대한 국소 이론을 개발한다.
• 새로운 표현 클래스인 가짜-바르소티-타이트 표현을 통해 Kisin 모듈을 이용한 세르의 무게의 완전한 국소 특성화를 제공한다.
• [GLS14]의 이전 결과를 수정하고 일반화함으로써 색인 오류를 수정하고, 분해 정리들을 분할된 기저 필드로 확장한다.

제안 방법

• 저자들은 잠재적으로 바르소티-타이트 표현을 일반화하는 새로운 종류의 격자형 표현인 가짜-바르소티-타이트 표현을 도입하고 연구한다.
• 특히 그들의 구조와 확장 클래스에 중점을 두어, 이러한 표현의 모듈로 p 줄임을 Kisin 모듈을 통해 분석한다.
• 이 방법은 임의의 유한 확장 Q_p 위에서의 명시적 Kisin 모듈을 구성하는 데 의존하며, 이는 임의의 분할을 가진 경우에도 적용된다.
• 핵심 기술적 도구는 $(\varphi, \hat{G})$-모듈을 사용하여 줄임을 분류하고, 비분할성과 비분할 확장 클래스를 증명하는 것이다.
• 비분할 확장으로의 기저 전환을 통해 Kisin 모듈의 구조를 단순화함으로써, 일부 줄임이 확장 후에 분할됨을 보여준다.
• 특히 $H^1(G_K, k_E)$ 위의 제약 사상에 기반한 코homological 기법을 적용하여, 확장 클래스가 반드시 비분할이어야 한다는 것을 보이고, 이를 바탕으로 원하는 분류를 이끌어낸다.

실험 결과

연구 질문

• RQ1 p에서 임의의 분할을 가진 전체 실수 필드 위의 힐버트 모듈러 형식과 관련된 모듈로 p 갈루아 표현으로부터 나타날 수 있는 세르의 무게의 집합은 무엇인가?
• RQ2 분할된 기저 필드가 존재하는 상황에서, 격자형과 잠재적으로 바르소티-타이트 유형을 통한 두 개의 p진 호지 이론적 정의된 세르의 무게는 어떻게 관련되어 있는가?
• RQ3 순수하게 국소 방법을 사용하여, 임의의 전체 실수 필드 위의 GL(2)에 대한 세르의 추측의 무게 부분을 증명할 수 있는가?
• RQ4 Q_p의 분할된 확장 위에서 가짜-바르소티-타이트 표현에 대응하는 Kisin 모듈의 구조는 어떠한가?
• RQ5 기저 전환을 통해 비분할 확장으로의 비분할 표현의 줄임은 어떻게 행동하는가? 이는 세르의 무게 분류에 어떤 영향을 미치는가?

주요 결과

• 논문은 임의의 전체 실수 필드에 대해 두 가지 세르의 무게 정의—격자형 표현을 통한 정의와 잠재적으로 바르소티-타이트 유형을 통한 정의—가 동일하다는 것을 증명한다.
• 가짜-바르소티-타이트 표현의 줄임이 비분할임과 그에 대응하는 Kisin 모듈이 비분할임이 동치임을 보이며, 이러한 줄임은 비분할 코homology 클래스로 분류됨을 밝힌다.
• 비분할 줄임의 Kisin 모듈은 차수 p의 비분할 확장으로 기저 전환을 하면 분할됨을 보이며, 이를 통해 확장 클래스의 비분할성을 유도할 수 있다.
• 타일러-와일즈 가정 하에, 임의의 전체 실수 필드 위의 GL(2)에 대해 세르의 무게 분류가 완성되며, 무게는 전적으로 국소 p진 호지 이론에 의해 결정된다.
• 특히 [GLS14]의 정리 4.22 및 Kisin 모듈 기저와 프로베니우스 작용에 관련된 공식들에서 발생한 색인 오류를 수정하는 수정사항을 제시한다.