[논문 리뷰] Automorphic L-functions and functoriality

Freydoon Shahidi|ArXiv.org|2003. 04. 22.

Advanced Algebra and Geometry인용 수 6

한 줄 요약

이 논문은 수체 위에서의 Langlands Functoriality에 대한 새로운 사례를 Langlands-Shahidi 방법과 역정리들을 결합하여 증명하며, 자명표현 및 외부 제곱 변환에 대한 약한 및 강한 함수적 전이를 제시한다. 이는 재구성된 $ L $-함수와 Eisenstein 시리즈를 통해 자동형 $ L $-함수를 이용하여 Ramanujan 및 Selberg 추측에 대한 날카로운 경계를 도출하며, $ q_v^{-1/9} < |\alpha_v|, |\beta_v| < q_v^{1/9} $ 및 $ \lambda_1(\Gamma) \geq 0.238 $ 를 포함한다.

ABSTRACT

This is a report on the global aspects of the Langlands-Shahidi method which in conjunction with converse theorems of Cogdell and Piatetski-Shapiro has recently been instrumental in establishing a significant number of new and surprising cases of Langlands Functoriality Conjecture over number fields. They have led to striking new estimates towards Ramanujan and Selberg conjectures.

연구 동기 및 목표

• 수체 위에서 자동형 $ L $-함수에 대한 Langlands Functoriality의 새로운 사례를 확립하기 위해.
• 임계표현의 대칭 제곱 및 외부 제곱 변환에 대한 약한 및 강한 함수적 전이를 증명하기 위해.
• 자동형 $ L $-함수와 Langlands-Shahidi 방법을 이용하여 Ramanujan 및 Selberg 추측에 대한 정량적 추정치를 도출하기 위해.
• 전역 $ L $-함수와 상호연결 연산자들을 통해 대칭 제곱 및 외부 제곱 사상의 함수적 성질을 보여주기 위해.
• Langlands-Shahidi 방법의 적용 가능성을 $ \mathrm{Spin}(10) $, $ E_6^{sc} $, $ E_7^{sc} $ 등을 포함한 준정칙 및 비정칙 군으로 확장하기 위해.

제안 방법

• 수체 위의 재구성군의 포화 유도에서 얻어진 Eisenstein 시리즈를 이용해 전역 $ L $-함수를 구성하기 위해 Langlands-Shahidi 방법을 사용한다.
• Cogdell과 Piatetski-Shapiro의 역정리를 적용하여 자동형 표현의 텐서곱 및 대칭 제곱의 자동형성을 도출한다.
• 전역 상호연결 연산자 $ M(s,\pi) = \otimes_v A(s,\pi_v,w_0) $ 를 활용하여 $ L $-함수를 표준 및 표준-변형 $ L $-함수와 연결한다.
• 무산성 부분군의 리 대칭 $ {}^L \mathfrak{n} $ 위에 작용하는 $ L $-군 $ {}^L M $ 과 그 작용을 이용하여 고정표현을 기약 표현들 $ r_i $ 로 분해한다.
• 특정 쌍 $ (\mathbf{G}, \mathbf{M}) $, 즉 $ \mathrm{SL}_5 $, $ \mathrm{Spin}(10) $, $ E_6^{sc} $, $ E_7^{sc} $ 에 대해 방법을 적용하여 대칭 및 외부 제곱 변환에 대한 함수성의 성립을 증명한다.
• 기저 교체 및 국소 결과를 활용하여 주요 사례, 예를 들어 $ \mathrm{Sym}^3(\pi) $ 및 $ \Lambda^2(\Pi) $ 에서 약한 함수성을 강한 함수성으로 향상시킨다.

실험 결과

연구 질문

• RQ1 Langlands-Shahidi 방법과 역정리를 결합할 경우, $ \pi $ 가 $ \mathrm{GL}_2(\mathbb{A}_F) $ 의 임계표현일 때 $ \mathrm{Sym}^3(\pi) $ 와 $ \mathrm{Sym}^4(\pi) $ 에 대해 약한 함수성이 유도되는가?
• RQ2 Langlands-Shahidi 방법을 통해 $ \mathrm{GL}_4 $-임계표현의 외부 제곱 $ \Lambda^2 $-전이가 약하게 자동형임을 보일 수 있는가?
• RQ3 이 방법을 통해 $ \mathrm{GL}_2 $-임계형식의 헤케 고유값 $ \alpha_v, \beta_v $ 에 대한 정량적 경계를 도출할 수 있으며, 이는 Ramanujan 및 Selberg 추측과 어떻게 비교되는가?
• RQ4 $ \mathrm{Sp}_{2n}(\mathbb{C}) \hookrightarrow \mathrm{GL}_{2n}(\mathbb{C}) $ 의 표준 포함 사상 $ i $ 는 $ \mathrm{SO}_{2n+1}(\mathbb{A}_F) $ 의 일반 임계표현에 대해 약하게 함수적인가?
• RQ5 이 방법을 준정칙 군을 이용하여 Asai 전이 및 기타 비내재적 전이의 존재성을 증명하기 위해 확장할 수 있는가?

주요 결과

• 임계표현 $ \pi $ 의 대칭 세제곱 $ \mathrm{Sym}^3(\pi) $ 는 임의의 $ \mathrm{GL}_2(\mathbb{A}_F) $ 의 임계표현에 대해 자동형이며, 사상 $ \mathrm{Sym}^3: \mathrm{GL}_2(\mathbb{C}) \to \mathrm{GL}_4(\mathbb{C}) $ 는 함수적이며 비내재적이다.
• 임계표현의 외부 제곱 $ \Lambda^2 $-전이는 약하게 함수적이며, 거의 모든 자리에서 $ \mathrm{GL}_6(\mathbb{A}_F) $ 에서 자동형 형식을 유도한다.
• $ \mathrm{Sym}^4(\pi) $ 는 $ \mathrm{GL}_5(\mathbb{A}_F) $ 에서 자동형이며, $ \pi $ 가 이황형, 테트라헤드랄형 또는 옥타헤드랄형이 아닐 경우에만 임계표현이다.
• 모든 수체 $ F $ 에 대해, $ \mathrm{GL}_2 $-임계형식의 헤케 고유값 $ \alpha_v, \beta_v $ 는 $ q_v^{-1/9} < |\alpha_v|, |\beta_v| < q_v^{1/9} $ 를 만족한다. 이는 이전의 경계를 향상시킨다.
• $ F = \mathbb{Q} $ 인 경우, Ramanujan 경계는 $ p^{-7/64} \leq |\alpha_p|, |\beta_p| \leq p^{7/64} $ 로 향상되며, Selberg 고유값 추측은 $ \lambda_1(\Gamma) \geq 975/4096 \approx 0.238 $ 로 강화된다.
• 표준 포함 사상 $ i: \mathrm{Sp}_{2n}(\mathbb{C}) \to \mathrm{GL}_{2n}(\mathbb{C}) $ 는 약하게 함수적이며, $ \mathrm{SO}_{2n+1}(\mathbb{A}_F) $ 의 일반 임계표현의 상은 거의 모든 자리에서 $ \mathrm{GL}_{2n}(\mathbb{A}_F) $ 에서 자동형 표현으로 나타난다.