[논문 리뷰] Automorphy of Symm^5(GL(2)) and base change

Luís Dieulefait|arXiv (Cornell University)|2012. 08. 20.

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

한 줄 요약

이 논문은 잔여 표현의 적합성과 기본 확장 하에서의 이미지 적합성을 보장하는 새로운 안전한 체인 구조를 사용하여, Q 위의 GL(2)에서의 수준 1 히케 고유형식의 5번째 대칭거듭제곱의 자동성성을 확립한다. 이와 동시에, 이러한 대칭거듭제곱에 대해 임의의 전체 실수 수체로의 기본 확장을 증명하며, 자동성 강화 정리와 잔여 표현의 적합성을 활용한다.

ABSTRACT

We prove that for any Hecke eigenform f of level 1 and arbitrary weight there is a self-dual cuspidal automorphic form $π$ of $GL_6(\Q)$ corresponding to $\Symm^5 (f)$, i.e., such that the system of Galois representations attached to $π$ agrees with the 5-th symmetric power of the one attached to f. We also improve the base change result that we obtained in a previous work: for any newform f, and any totally real number field F (no extra assumptions on f or F), we prove the existence of base change relative to the extension $F/\Q$. Finally, we combine the previous results to deduce that base change also holds for $\Symm^5(f)$: for any Hecke eigenform f of level 1 and any totally real number field F, the automorphic form corresponding to $\Symm^5 (f)$ can be base changed to F.

연구 동기 및 목표

• 모든 수준 1의 코어스형식 f에 대해 Symm⁵(f)와 관련된 6차원 갈루아 표현의 자동성성을 확립하기.
• GL(2) 신형식의 기본 확장 결과를 임의의 전체 실수 수체에서의 그들의 5번째 대칭거듭제곱으로 확장하기.
• 동치, 비틀림, 갈루아 수반을 통해 갈루아 표현들을 연결하는 '안전한 체인' 기법을 개발하고 적용하여 자동성을 전파하기.
• 기본 확장과 비틀림 하에서 잔여 이미지 적합성과 국소 조건이 유지됨을 보장하여 자동성 강화 정리를 적용할 수 있도록 하기.
• 이전 연구 결과와 새로운 A.L.T. 개선 사항을 조합하여, 수준이나 무게 제한 없이 Symm⁵(f)의 기본 확장을 증명하기.

제안 방법

• 수준 1 코어스형식에 관련된 2차원 갈루아 표현들 사이의 동치 관계로 구성된 '안전한 체인'을 구축하며, 유한 순서의 특성자와 갈루아 수반을 통한 비틀림을 허용한다.
• 잔여 모듈러성과 큰 잔여 이미지(6-초과 크기) 조건을 사용하여 [BLGGT]의 자동성 강화 정리의 가정을 충족시키며, 특히 부록 B에 있는 강화된 형태를 활용한다.
• 잔여 소수 p > 5를 확보하여 잔여 가역성 문제를 피하고, 6차원 대칭거듭제곱 표현의 기약성을 유지한다.
• 전체 실수 체 F로의 기본 확장을 적용하기 위해 GF로의 제한 하에서 국소 조건과 잔여 이미지 성질(6-초과 크기 포함)이 유지됨을 확인한다.
• F 위에서 알려진 대칭거듭제곱과 텐서곱의 자동성(예: Symm²(f₁)⊗f₀)을 활용하며, 힐베르트 모듈러 형식의 함수성 결과를 적용한다.
• 비틀림을 통해 세르 무게를 2 ≤ k ≤ p+1 범위로 축소하여 국소 조건과 이미지 크기를 유지하고, 킨의 2-진 모듈러리 강화 정리를 적용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 수준 1 코어스형식 f에 대해 갈루아 표현들 사이의 동치 관계 체인을 통해 Symm⁵(f)의 자동성성을 확립할 수 있는가?
• RQ2 GL(2) 신형식의 기본 확장 결과가 임의의 전체 실수 수체에서의 그들의 5번째 대칭거듭제곱으로까지 확장되는가?
• RQ3 동치 관계 체인의 양방향에서 자동성 강화 정리를 적용하여 모듈러성을 전파할 수 있는가?
• RQ4 잔여 갈루아 이미지에 대한 조건(예: 6-초과 크기)이 대칭거듭제곱 설정에서 자동성 강화 정리의 적용 가능성을 보장하는가?
• RQ5 비틀림과 갈루아 수반을 통해 안전한 체인 구축 과정에서 자동성과 국소 조건을 유지할 수 있는가?

주요 결과

• 모든 수준 1 코어스형식 f에 대해 그 5번째 대칭거듭제곱은 자동적이다. 즉, GL₆(𝔸ℚ) 위의 자기쌍대 코어스형식 π가 존재하여 π는 Symm⁵(f)에 대응한다.
• 임의의 전체 실수 수체 F로의 수준 1 신형식 f에 대해 기본 확장이 성립한다. 즉, Symm⁵(f)의 기본 변경된 자동형식이 F 위에 존재한다.
• Symm⁵(f)의 자동성은 임의의 두 수준 1 코어스형식을 연결하는 안전한 체인을 통해 확립되며, 각 연결은 동치와 A.L.T. 적용을 통해 자동성을 유지한다.
• 체인의 기저 사례는 잔여 이미지가 A₅와 사영적으로 동형인 수준 1 코어스형식 f₀를 구성함으로써 확립되며, 이는 잔여 자동성과 A.L.T. 를 통한 올림프로 이어진다.
• 임의의 전체 실수 수체 F에 대해 GF로 제한한 후에도 6차원 대칭거듭제곱 표현의 잔여 이미지는 여전히 6-초과 크기로 유지되어 자동성 강화 정리의 적용 가능성을 보장한다.
• 이 증명은 [BLGGT]의 정리 4.2.1의 강화된 형태에 의존하며, T. 지와 공동으로 부록 B에서 증명되었으며, 이는 더 일반적인 설정에서도 A.L.T. 적용이 가능하게 한다.