[논문 리뷰] On the automorphy of $l$-adic Galois representations with small residual image

Jack A. Thorne|arXiv (Cornell University)|2011. 07. 29.

Advanced Algebra and Geometry참고 문헌 16인용 수 77

한 줄 요약

이 논문은 CM 체 위에서 $l$-adic 갈루아 표현에 대한 새로운 자동형성 상승 정리들을 수립한다. 이는 잔여 표현의 이미지에 대해 이전의 '크다(CRT)' 조건을 제거하고, 더 약한 조건인 '적합한(adequate)' 이미지 조건을 도입함으로써 달성된다. 이 방법은 테일러-와일즈 패치링 기법을 개선하고 국소적 변형 문제를 정교화하여, 이전 정리가 실패하는 경우—특히 잔여 이미지가 작거나 '크다' 조건을 만족하지 못하는 경우—에도 자동형성 결과를 도출할 수 있게 한다.

ABSTRACT

We prove new automorphy lifting theorems for essentially conjugate self-dual Galois representations into $GL_n$. Existing theorems require that the residual representation have 'big' image, in a certain technical sense. Our theorems are based on a strengthening of the Taylor-Wiles method which allows one to weaken this hypothesis.

연구 동기 및 목표

• 자기표현의 '크다' 이미지 조건에 의해 제한되는 기존의 자동형성 상승 정리의 범위를 초월하여 $\mathrm{GL}_n$ 갈루아 표현에 대한 자동형성 상승 정리를 확장하기 위해.
• 잔여 갈루아 표현의 이미지에 대한 가정을 '크다'에서 더 유연한 조건인 '적합한'으로 약화시키되, 여전히 테일러-와일즈 패치링 방법이 작동할 수 있도록 하기 위해.
• 적합한 이미지 조건 하에서 보편 변형 링의 유한성을 증명하여 잠재적 자동형성 및 무게 변경 응용 가능성을 확보하기 위해.
• 최소 및 일반적인 자동형성 상승 정리를 일반화하여, 특히 제라흐티의 일반적 경우를 더 넓은 설정으로 확장하기 위해.
• 보편 변형 링에 대한 유한성 결과를 증명함으로써 향후 랑글랜드 프로그램 응용을 위한 기초를 마련하기 위해.

제안 방법

• 테일러-와일즈 패치링 방법이 작동할 수 있도록 충분한 조건을 유지하는 '적합한' $\mathrm{GL}_n(k)$ 부분군의 개념을 도입한다. 이는 '크다' 조건보다 더 약한 조건이다.
• 이전 연구들과는 달리, $l$ 위의 자리에서 새로운 국소적 변형 문제를 정의하여 더 일반적인 분기 유형을 允허한다.
• 적합한 이미지 가정 하에서 타일러-와일즈 시스템의 존재를 이용해 테일러-와일즈 방법의 패치링 함수를 구성한다.
• $\ell$-adic $\mathrm{GL}_n$의 부드러운 표현 이론을 사용하여 자동형성 측면의 국소 계산을 수행하며, 특히 이와하이라 고정 벡터에 초점을 맞춘다.
• 패치된 고유다양체 방법을 통해 히케 모듈을 구성하고, 갈루아 변형과 자동형성 형태를 연결한다.
• 적합한 이미지 조건 하에서 보편 변형 링 $R^\mathrm{univ}_{\mathcal{S}}$ 의 유한성을 증명한다. 이를 위해 가솔브르 CM 확장으로의 기저 전환을 사용한다.

실험 결과

연구 질문

• RQ1 자기표현의 잔여 이미지가 '크다'가 아닐 경우에도 $\mathrm{GL}_n$ 갈루아 표현에 대한 자동형성 상승 정리를 확장할 수 있는가?
• RQ2 테일러-와일즈 패치링 방법이 성공하기 위해 필요한 잔여 이미지의 최소 조건은 무엇인가?
• RQ3 일반적 및 최소 자동형성 상승 정리는 원래의 가정을 초월해 일반화될 수 있는가?
• RQ4 보편 변형 링 $R^\mathrm{univ}_{\mathcal{S}}$ 가 $\mathcal{O}$ 위에서 유한한가?
• RQ5 일반적인 경우, 예를 들어 $l \geq 2(n+1)$ 인 특성에서 절대적 기약 표현의 경우 '적합한' 조건이 성립하는가?

주요 결과

• 논문은 잔여 갈루아 표현의 이미지가 적합하고 $\zeta_l \not\in F$ 이면, 보편 변형 링 $R^\mathrm{univ}_{\mathcal{S}}$ 가 $\mathcal{O}$-모듈로 유한하다고 증명한다.
• 특성 $l \geq 2(n+1)$ 인 $n$차원 절대 기약 표현의 경우 이미지는 적합하므로, 새로운 정리는 많은 자연스러운 경우에 적용 가능하다.
• 보편 변형 링 $R = \mathbb{T}$ 가 알려져 있지 않은 경우에도, 적합한 이미지 조건 하에서 최소 자동형성 상승 정리가 성립함을 증명한다.
• 새로운 변형 조건을 사용하여 일반적 자동형성 상승 정리를 이용해 무게 변경을 허용하도록 확장한다.
• 보편 변형 링 $R^\mathrm{univ}_{\mathcal{S}}$ 의 유한성은 가솔브르 CM 확장 $M/F$ 로의 기저 전환을 통해 증명되며, 이 경우 변형 문제의 해석이 더 수월해진다.
• 적합한 이미지 조건 하에서 타일러-와일즈 시스템의 구성은 보조 소수의 존재에 의존하며, 이는 제어된 프로베누스 및 분기 행동을 갖는다.