[논문 리뷰] Automorphy lifting for small l

Luís Dieulefait, Toby Gee|arXiv (Cornell University)|2012. 09. 23.

Advanced Algebra and Geometry참고 문헌 5인용 수 6

한 줄 요약

이 논문은 소수 $ l $ 에 대한 자동형성 상승 정리(automorphy lifting theorem)를 확립하며, 이는 이전 결과를 일반화하여 조건 $ l \geq 2(n+1) $ 를 완화하여 잔여 Galois 표현의 적당성 가정(adequacy hypothesis)으로 대체한다. 기본 체 변경(base change), Hida 이론, [BLGG11] 및 [BLGGT10]의 결과를 활용하여, 정칙적이고 극성된, $ n $ 차원의 Galois 표현 $ r $ 이 잔여 표현이 적당하고, 또는 일반적으로 또는 잠재적으로 대각화 가능한 자동형성일 경우 잠재적으로 대각화 가능한 자동형성이 있음을 증명한다.

ABSTRACT

We prove a slight generalization of Theorem 4.2.1 of [BLGGT10], which weakens the assumption that $l\ge 2(n+1)$ to an adequacy hypothesis.

연구 동기 및 목표

• 이전 결과의 일반화: [BLGGT10]의 정리 4.2.1을 소수 $ l \geq 2(n+1) $ 라는 조건을 완화하여 잔여 Galois 표현의 적당성 가정으로 대체함으로써 일반화한다.
• 이전에 요구된 것보다 더 약한 조건 하에서 $ l $-adic Galois 표현의 잠재적 대각화 가능성과 자동형성의 확립.
• 특히 $ \operatorname{Symm}^5(\operatorname{GL}(2)) $ 와 기본 체 변경의 맥락에서, 자동형성 상승 정리의 적용 범위를 작은 소수 $ l $ 로 확장한다.
• Theorem A.4.1 of [BLGG11]과 Theorem 2.3.1 of [BLGGT10]을 통합하여 증명을 단순화하고, 특수한 수정 없이도 유일한 흐름을 확보한다.

제안 방법

• CM 체 $ F $ 를 $ \overline{F}^{\ker \overline{r}}(\zeta_l) $ 와 선형적으로 서로소인 가역적 확장으로 대체함으로써 기본 체 변경을 적용하여, $ F^+ $ 에서 분할되는 소수를 확보한다.
• Hida 이론을 적용하여 일반적으로 자동형성인 잔여 표현의 경우를 잠재적으로 대각화 가능한 경우로 환원한다.
• BLGGT10의 Lemma 1.4.3(1)과 GG12의 Lemma 3.1.4를 활용하여 Hida 가족이 모든 $ l $-adic 자리에서 잠재적으로 대각화 가능한 $ l $-adic Galois 표현을 포함함을 보장한다.
• BLGG11의 Theorem A.4.1을 사용하여, 모든 $ v|l $ 에서 $ r|_{G_{F_v}} $ 와 일치하는 정칙적이고, 극성된, 단순형 자동형 표현 $ (\pi, \chi) $ 의 $ l $-adic 실현을 구성한다.
• BLGGT10의 Theorem 2.3.1을 적용하여 $ r $ 이 잠재적으로 대각화 가능한 자동형성이며, 수준이 잠재적으로 $ l $ 과 서로소임을 결론짓는다.
• 잔여 표현의 적당성과 $ \zeta_l \notin F $ 라는 조건을 바탕으로, 상승의 타당성을 보장한다.

실험 결과

연구 질문

• RQ1 자동형성 상승 정리가 $ l \geq 2(n+1) $ 라는 조건 없이 작은 소수 $ l $ 로 확장될 수 있는가?
• RQ2 정칙적이고 극성된 Galois 표현이 잠재적으로 대각화 가능한 자동형성이 되기 위한 조건은 무엇인가?
• RQ3 잔여 Galois 표현의 이미지가 $ l $ 에서 적당할 경우, 자동형성 상승에서 더 강력한 조건 $ l \geq 2(n+1) $ 를 어떻게 대체할 수 있는가?
• RQ4 Hida 이론은 자동형성 상승 과정에서 잠재적 대각화 가능성을 보장하는 데 얼마나 활용될 수 있는가?
• RQ5 기본 체 변경은 자동형성 상승 정리의 증명 구조를 단순화하는 데 어떤 역할을 하는가?

주요 결과

• 자동형성 상승 정리는 잔여 표현의 적당성 조건 $ \overline{r}(G_{F(\zeta_l)}) $ 가 적당할 경우에만 성립하며, 이는 $ l \geq 2(n+1) $ 라는 조건이 필요하지 않다는 점에서 더 약한 가정 하에 성립한다.
• 잔여 표현의 적당성과 자동형성 조건이 만족될 경우, $ (r, \mu) $ 가 잠재적으로 대각화 가능한 자동형성이며, 수준이 잠재적으로 $ l $ 과 서로소임을 확인한다.
• 증명 과정에서 BLGG11의 Theorem A.4.1을 활용하여, 모든 $ v|l $ 에서 $ r $ 과 국소적으로 일치하는 일관된 자동형 표현 $ (\pi, \chi) $ 를 구성한다.
• Hida 이론의 활용으로 일반적으로 자동형성인 경우를 잠재적으로 대각화 가능한 경우로 환원할 수 있으며, 이는 Hida 가족 내에 적합한 점이 존재함을 보장한다.
• BLGG11의 Theorem A.4.1과 BLGGT10의 Theorem 2.3.1을 조합함으로써, 특수한 수정 없이도 깔끔하고 통합된 증명을 얻을 수 있다.
• 조건 $ \zeta_l \notin F $ 는 필수적이며, $ \mu_l $ 에 대한 Galois 작용이 비자명함을 보장함으로써 적당성 가정을 뒷받침한다.