[논문 리뷰] Uniform behavior of families of Galois representations on Siegel modular forms and the Endoscopy Conjecture

Luís Dieulefait|ArXiv.org|2003. 04. 27.

Advanced Algebra and Geometry참고 문헌 8인용 수 3

한 줄 요약

이 논문은 체수 2의 시겔 측두형식에 부착된 갈로아 표현에 대해, 무게 $k > 3$ 이며 다중도 1이고 준안정 환원을 갖는 경우에 대해, 일관된 원칙을 수립한다: 만약 일관된 가닥의 $
ell$-adic 표현 중 하나가 홀수 소수 $
ell_0$ 에서 기약가능하다면, 나머지 모든 표현들도 기약가능하다. 세르의 모듈라성 추측(이제 정리로 간주됨)과 결합하여, 이는 엔도스코피 추측을 증명하며, 기약성 성분들이 트위스트를 통해 고전적 모듈라 형식에서 유래됨을 보여준다.

ABSTRACT

We prove the following uniformity principle: if one of the Galois representations in the family attached to a genus two Siegel cusp form of weight $k>3$, "semistable" and with multiplicity one, is reducible (for an odd prime $p$),then all the representations in the family are reducible. This, combined with Serre's conjecture (which is now a theorem) gives a proof of the Endoscopy Conjecture.

연구 동기 및 목표

• 체수 2의 시겔 측두형식에 부착된 일관된 가닥의 갈로아 표현의 기약성에 대한 일관성 원칙을 수립하기.
• 레벨 1 형식에 대한 이전의 기약성 및 큰 이미지 결과를 일반적인 준안정 케이스로 확장하기.
• 일부 소수에서의 기약성으로부터 일관된 가닥 전체에서의 기약성을 유도하기.
• 일관성 원칙과 세르의 추측(이제 정리)을 결합하여 준안정 케이스에서 엔도스코피 추측이 성립함을 보여주기.

제안 방법

• 테일러의 결과를 활용하여, 홀수 차원의 두 차원 갈로아 표현에 대해, Fontaine-Mazur 추측과 해석적 $L$-함수의 해석적 계속성을 다룸.
• $p$-진 호드 기하학을 적용하여, 관성 작용을 분석하고, 리비트의 준안정 두 차원 표현 결과를 더 높은 무게로 확장함.
• 체보타레프 밀도 정리와 갈로아 군 이론을 활용하여 국소적 기약성에서 전지구적 일관성을 유도함.
• 절대 기약성의 부재를 다루기 위해, 정의 체가 아닌 특성 다항식의 체를 사용함.
• 4차원 갈로아 표현의 성분들로부터 두 차원 표현의 일관된 가닥을 구성함.
• 세르의 추측(이제 정리)을 적용하여 두 차원 성분의 모듈라성을 유도함으로써, 이들이 고전적 모듈라 형식에서 유래됨을 증명함.

실험 결과

연구 질문

• RQ1 일관된 가닥의 $
  ell$-adic 갈로아 표현 중 하나의 기약성이 다른 모든 표현의 기약성으로 이어지는 조건은 무엇인가?
• RQ2 시겔 모듈라 형식에 부착된 4차원 심플렉틱 갈로아 표현의 일관된 가닥에 대해, 기약성의 일관성이 성립하는가?
• RQ3 기약성의 일관성과 세르의 모듈라성 추측의 조합이 엔도스코피 추측에 어떻게 기여하는가?
• RQ4 일관성 결과에서 조건 $
  ell_0 > 4k - 5$ 는 어느 정도 제거될 수 있는가?
• RQ5 준안정성은 일관된 가닥 전체에 걸쳐 기약성이 일관된 성질이 되도록 보장하는 데 어떤 역할을 하는가?

주요 결과

• 체수 2의 시겔 측두형식에 부착된 $
  ell_0$-adic 갈로아 표현이 무게 $k > 3$ 이고, 어떤 홀수 소수 $
  ell_0 \nmid N$ 에서 기약가능하다면, 일관된 가닥의 모든 표현들이 기약가능하다.
• 이전의 제약 조건 $
  ell_0 > 4k - 5$ 를 제거한 후, 모든 소수 $
  ell_0 > 2$ 에 대해 일관성 결과가 성립한다.
• 형식이 사이토-쿠로카와 유형이 아닌 경우, 기약가능한 성분은 동일한 결정자를 가진 두 개의 기약 두 차원 표현이어야 한다.
• 갈로아 표현의 두 차원 성분들이 세르의 추측에 의해 모듈라임이 증명되었으며, 이는 무게 2와 $2k-2$ 의 고전적 모듈라 형식에서 기인함을 보여준다.
• 준안정 케이스에서 엔도스코피 추측이 증명됨: 4차원 갈로아 표현의 기약 성분들은 트위스트를 통해 모듈라이다.
• 최근 스카린과 어바니의 연구를 통해 비준안정 케이스로도 확장되었으며, 이러한 가닥에 대해 엔도스코피 추측이 일반적으로 성립함을 확인함.