[논문 리뷰] Lissite de la courbe de Hecke de GL(2) aux points Eisenstein critiques

Joël Bellaïche, Gaëtan Chenevier|ArXiv.org|2004. 05. 21.

Advanced Algebra and Geometry참고 문헌 1인용 수 4

한 줄 요약

이 논문은 GL(2)에 대한 Coleman-Mazur eigencurve의 임계 Eisenstein 점에서의 매끄러움을 증명하고, p-adic zeta 값들을 이용하여 이러한 점에서의 무게 사상의 etaleness를 판단하는 기준을 수립한다. 주요 결과는 p-adic L-함수의 영이 아닌 성질과 매끄러움 및 etaleness를 연결하며, 관련된 의사특성의 체적 분해(locus)과 p-adic Hodge 이론에 기반한다.

ABSTRACT

Let p be a prime number and C be the p-adic tame level 1 eigencurve introduced by Coleman-Mazur. We prove that C is smooth at the evil Eisenstein points and we give necessary and sufficient conditions for etaleness of the map to the weight space at these points in terms of p-adic zeta values. A key step is the determination at these points of the schematic reducibility locus of the pseudo-character carried by C restricted to a decomposition group at p. Then, the smoothness appears to be a consequence of the fact that the Dirichlet L-functions only have simple zeros at integers.

연구 동기 및 목표

• 임계 Eisenstein 점에서의 Coleman-Mazur eigencurve의 매끄러움을 확립하는 것. 여기서는 관련 갈루아 표현이 분해 가능하고, Dirichlet 특성과 코시클로omic 특성의 변형에 대응한다.
• 이러한 임계 Eisenstein 점에서 eigencurve에서 무게 공간으로의 무게 사상이 etale가 되는 필요 및 충분 조건을 결정하는 것.
• p에서의 분해군에 제한된 eigencurve의 의사특성의 체적 분해(locus)를 분석하여, 이것이 근본적인 점임을 보이는 것.
• p-adic L-값, 특히 임계 정수에서의 p-adic zeta 함수의 영이 아닌 성질과 매끄러움 및 etaleness를 연결하는 것.
• Mazur-Wiles 및 Bloch-Kato 추측의 기법을 사용하여 최대 아이디얼의 최소 생성수를 세일머 그룹 차원과 연결하는 것.

제안 방법

• p에서의 분해군 D에 제한된 eigencurve의 의사특성 T를 연구하고, Kisin 이론을 통해 그 체적 분해(locus)를 결정하는 것.
• Coleman의 고전성 정리의 극한 케이스를 이용하여, 임계 Eisenstein 점 x에서 T|D의 분해성 locus가 x 위의 무게 사상의 섬광과 동형임을 보이는 것.
• 지역 환에서의 최대 아이디얼이 주 아이디얼임을 보여, T의 전역 분해성 locus가 점 x임을 보이는 것.
• Mazur-Wiles 기법을 사용하여 최대 아이디얼의 최소 생성수를 세일머 그룹 차원에 따라 유계함수로 제한하는 것.
• 최대 아이디얼이 주 아이디얼임과 동시에 p-adic zeta 함수 ζ_p(w*)가 임계 정수에서 단순 근 또는 영이 아님을 동시에 만족하는 것과 동치임을 보이는 것.
• 무게 사상이 x에서 etale임과 동시에 그 사상의 차수(도수)가 1임이 동치임을 적용하여, 이는 정확히 ζ_p(w*) ≠ 0일 때 성립함을 보이는 것.

실험 결과

연구 질문

• RQ1 Galoua 표현이 분해 가능한 임계 Eisenstein 점에서 Coleman-Mazur eigencurve는 매끄럽게 되는가?
• RQ2 무슨 조건에서 이러한 점에서의 무게 사상이 etale가 되는가?
• RQ3 p-adic 분해군에서의 의사특성의 체적 분해(locus)는 eigencurve의 기하학과 어떻게 관련되는가?
• RQ4 p-adic L-값의 영이 아닌 성질과 eigencurve의 매끄러움/etaleness 사이의 연결 고리는 무엇인가?
• RQ5 임계 Eisenstein 점에서 최대 아이디얼의 주 아이디얼 성질이 p-adic zeta 값에 대한 추측으로 환원될 수 있는가?

주요 결과

• 임계 Eisenstein 점에서 eigencurve는 매끄럽다. 이는 해당 점에서의 국소 환의 최대 아이디얼이 주 아이디얼이기 때문이다.
• 임계 Eisenstein 점 x에서 무게 사상이 etale임과 동시에 p-adic zeta 값 ζ_p(w*)가 0이 아닐 때 정확히 동치이다.
• 해당 점에서 의사특성 T|D의 체적 분해(locus)는 무게 사상의 x 위의 섬광과 동형이며, 이는 근본적인 점이다.
• 점 x에서 eigencurve의 매끄러움은 Dirichlet L-함수가 정수에서 단순 근만을 가진다는 사실에 기반하며, 이는 Bloch-Kato 추측과 함께 사용된다.
• 최대 아이디얼의 최소 생성수는 특정 세일머 그룹의 차원에 의해 유계이며, 아이디얼이 주 아이디얼임은 정확히 ζ_p(w*) ≠ 0일 때 성립한다.
• 무게 사상의 차수(도수)가 1임과 동시에 ζ_p(w*) ≠ 0임이 동치이며, 이는 x에서의 etaleness와 동치이다.