[논문 리뷰] Symmetric power functoriality for Hilbert modular forms

James Newton, Jack A. Thorne|arXiv (Cornell University)|2022. 12. 07.

Advanced Algebra and Geometry인용 수 5

한 줄 요약

이 논문은 전체 실수 체 위의 GL₂에서의 귀납적 자동형 표현에 대해 대칭 제곱 릿지의 존재를 확립하며, 모든 비-CM, 정규 대수적 힐버트 모듈러 형식에 대해 n차 대칭 제곱이 GLₙ에 대한 귀납적 자동형 표현으로 올라간다는 것을 증명한다. 증명은 가환 표현, 자동형성 뿌리 올림 정리, 수준 증가 합동을 통한 귀납법을 사용하며, 최종적으로 모든 n ≥ 1에 대해 대칭 제곱 함성 법칙을 확인한다.

ABSTRACT

Let $F$ be a totally real field. We prove the existence of all symmetric power liftings of those cuspidal automorphic representations of $\mathrm{GL}_2(\mathbf{A}_F)$ associated to Hilbert modular forms of regular weight.

연구 동기 및 목표

• 비-CM, 정규 대수적 힐버트 모듈러 형식에 대해 전체 실수 체 위에서 대칭 제곱 릿지의 존재를 확립한다.
• 소수 분해를 기반으로 한 귀납 전략을 사용하여 모든 n ≥ 1에 대해 대칭 제곱 함성 법칙을 확장한다.
• GL₂에서의 RAESDC 자동형 표현의 대칭 제곱이 GLₙ에서 귀납적 자동형 표현으로 올라간다는 것을 증명한다.
• 자동형성 뿌리 올림에서 잔여 가역성의 장애를 극복하기 위해 적절한 아이자이스타인 급수를 구성하고 수준 증가 합동을 사용한다.

제안 방법

• RAESDC 자동형 표현과 관련된 가환 표현을 사용하여 자동형성 문제를 가환 이론 문제로 변환한다.
• 지표가 가역적인 가환 표현과 스테인버그 국소 성분을 가진 잔여 표현에 대해 자동형성 뿌리 올림 정리를 적용한다.
• 핵심 함의를 활용한다: SP_r + SP_{p−r} + LR_{p+r} + TP_r ⇒ SP_{p+r}, 여기서 p ≥ 5는 소수이고 0 < r < p이다.
• 유니터리 군에서의 내재적 릿지를 사용하여 대칭 제곱 가환 표현을 자동형으로 실현한다.
• 수준 증가 합동(LR_m)과 텐서곱 함성 법칙(TP_r)을 사용하여 자동형 형식 간의 합동을 구성한다.
• 기존의 RAESDC 표현에 대한 결과를 활용하여 휘어진 변환과 기본 체 전이를 통해 일반 경우를 정규 대수적 경우로 감소시킨다.

실험 결과

연구 질문

• RQ1 GL₂에서의 비-CM, 정규 대수적 힐버트 모듈러 형식의 n차 대칭 제곱은 GLₙ에서 귀납적 자동형 표현으로 올라갈 수 있는가?
• RQ2 버트랑의 정리를 기반으로 한 귀납 전략을 사용하여 모든 n ≥ 1에 대해 대칭 제곱 함성 법칙을 확립할 수 있는가?
• RQ3 대칭 제곱에서 유도된 잔여 가역적인 가환 표현에 대해 자동형성 뿌리 올림 정리는 어느 정도 적용될 수 있는가?
• RQ4 수준 증가 합동과 텐서곱 함성 법칙을 사용하여 필요한 자동형 릿지를 구성할 수 있는가?

주요 결과

• 논문은 모든 n ≥ 1에 대해, 전체 실수 체 AF 위의 비-CM, 정규 대수적 RAESDC 자동형 표현 π에 대해, GLₙ(AF)에서의 대칭 제곱 Sym^{n−1}π가 귀납적 자동형 표현으로 존재함을 증명한다.
• 이전 결과와 새로운 LR_n 및 TP_r 사례를 기반으로, 모든 n ≥ 1에 대해 대칭 제곱 릿지의 존재가 조건 없이 확립된다.
• 정규 무게의 힐버트 모듈러 형식에 대해, 조건 없이 대칭 제곱 함성 법칙이 성립하며, 이는 휘어진 변환과 기본 체 전이를 통해 달성된다.
• 증명은 소수 분해 n = p + r(여기서 p ≥ 5는 소수)를 기반으로 한 귀납 전략에 의존하며, 스테인버그 국소 성분을 가진 가환 표현에 대해 자동형성 뿌리 올림 정리를 적용한다.
• 저자들은 힐버트 모듈러 형식과 관련된 가환 표현의 대칭 제곱이 자동형임을 확인하며, 국소 랑랜드 매개변수의 대칭 제곱과 일치하는 국소 성분을 가짐을 밝힌다.