[논문 리뷰] Serre's conjecture over F_9

Jordan S. Ellenberg|ArXiv.org|2001. 07. 20.

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

한 줄 요약

이 논문은 소수 3와 5에서 특정 국소 조건을 만족하는 mod 9 군집표현에 대해 세르의 추측을 기하적 방법을 통해 증명한다. 이 방법은 힐버트 모듈라 표면 위의 가역 점에 기반한다. 주요 결과로는 𝔽₉ 위에서의 홀수 갈루아 표현의 모듈라리티를 확립하며, 이를 따름으로써 3와 5에서 양호한 일반적 감소를 갖는 힐베르트-블룸엔탈 아벨 곡면의 모듈라리티를 증명한다.

ABSTRACT

In this paper, we show that an odd Galois representation rhobar: Gal(Qbar/Q) --> GL_2(F_9) satisfying certain local conditions at 3 and 5 is modular. Our main tool is an idea of Taylor, which reduces the problem to that of exhibiting points on a Hilbert modular surface which are defined over a solvable extension of Q, and which satisfy certain reduction properties. As a corollary, we show that Hilbert-Blumenthal abelian surfaces over Q with good ordinary reduction at 3 and 5 are modular.

연구 동기 및 목표

• 3와 5에서 국소 조건을 만족하는 mod 9 갈루아 표현에 대해 세르의 추측을 증명하는 것.
• 테일러와 스키너-와일즈의 모듈라리티 상승 기법을 𝔽₉의 경우로 확장하는 것.
• 3와 5에서 양호한 일반적 감소를 갖는 힐베르트-블룸엔탈 아벨 곡면의 모듈라리티를 확립하는 것.
• 일부 힐베르트 모듈라 표면이 가역 확장 위에서 조밀한 점의 집합을 갖는다는 것을 보이며, '성질 S'라는 개념을 도입하는 것.

제안 방법

• 갈루아 표현의 모듈라리티를, 유리수의 가역 확장 위에서 변형된 힐베르트 모듈라 표면 위에 유리점이 존재하는 것으로 환원한다.
• 테일러의 순환 내림 기법을 적용하여, 가역 확장에서 유도된 모듈라 형식을 다시 ℚ로 내림한다.
• 스킨너와 와일즈의 정리를 적용하여 모듈라 표현을 상승시키고, 3-진 갈루아 표현의 모듈라리티를 확립한다.
• 랑글랜즈–탐넬 정리와 다이아몬드의 모듈라리티 상승 정리의 개선판을 사용하여 3-진 및 5-진 성분을 다룬다.
• 주어진 mod 9 갈루아 표현을 실현하는 3- torsion을 갖는 힐베르트-블룸엔탈 아벨 곡면을 가역 확장 F/ℚ 위에 구성한다.
• 갈루아 표현이 Dₚ-구별되고 일반적이 되도록 3과 5에서의 타원형 군에 조건을 부과하여 내림을 가능하게 한다.

실험 결과

연구 질문

• RQ1 GL₂(𝔽₉)가 비가역일 때, 세르의 추측을 𝔽₉의 경우로 확장할 수 있는가?
• RQ2 작은 판별식을 갖는 필드에 대응하는 힐베르트 모듈라 표면은 가역 확장 위에서 조밀한 점의 집합을 갖는가(성질 S)?
• RQ3 갈루아 표현의 3과 5에서 어떤 국소 조건이 𝔽₉ 위에서의 모듈라리티를 가능하게 하는가?
• RQ4 갈루아 표현 기법을 통해 3와 5에서 양호한 일반적 감소를 갖는 힐베르트-블룸엔탈 아벨 곡면의 모듈라리티를 확립할 수 있는가?
• RQ5 GL₂(𝔽ₚ)의 가역성과 성질 S에 의존하는 기법들이 작은 유한체를 초월해 어떻게 일반화될 수 있는가?

주요 결과

• 논문은 갈루아 표현 ρ̄: Gal(ℚ̄/ℚ) → GL₂(𝔽₉)가 홀수일 때, D₃ 위에서 상삼각행렬이고 특정 타원형 조건을 만족하는 특성일 경우, 그리고 I₅의 이미지가 SL₂(𝔽₉)에 포함되고 PSL₂(𝔽₉)에서 홀수 차수일 경우에 모듈라리티가 성립함을 증명한다.
• 표현의 모듈라리티는 이 표현이 가역 확장 F/ℚ 위에서 힐베르트-블룸엔탈 아벨 곡면의 3- torsion으로 실현되며, 그 곡면 자체가 모듈라리티를 갖는 것으로서 확립된다.
• 핵심 기하적 통찰은 일부 변형된 힐베르트 모듈라 다양체가 가역 확장 위에서 조밀한 점의 집합을 갖는다는 점이며, 이 성질을 논문은 '성질 S'라고 부른다.
• 따름정리로, 3와 5에서 양호한 일반적 감소를 갖는 모든 힐베르트-블룸엔탈 아벨 곡면 A/ℚ은 어떤 N에 대해 J₀(N)의 몫이므로, 모듈라리티를 갖는다.
• 증명은 3-진 갈루아 표현에 순환 내림 기법을 적용하며, 이는 3-진 표현이 정리 3.1과 모듈라리티 상승 정리에 의해 모듈라 표현으로 상승된다는 사실에 기반한다.
• 결과는 비가역 경우인 세르의 추측에 대한 증거를 제공하지만, 저자들은 이러한 기법이 더 큰 유한체로 일반화될 수는 없을 것으로 경고하며, 고계수 다양체에서는 성질 S가 희귀하기 때문에 그러한 일반화가 어려울 수 있음을 지적한다.