[논문 리뷰] Critical values of Rankin-Selberg L-functions for GL(n) x GL(n-1) and the symmetric cube L-functions for GL(2)

A. Raghuram|arXiv (Cornell University)|2013. 12. 20.

Advanced Algebra and Geometry참고 문헌 19인용 수 7

한 줄 요약

이 논문은 어떤 수체수 F에 대해 GL(n) × GL(n−1)에 대한 Rankin-Selberg L함수의 임계값에 대한 조건 없는 대수성 결과를 주기 관계와 최근의 비영 가정에 대한 진전을 이용하여 수립한다. 이러한 결과들을 활용하여 GL(2) 자동형 형태의 대칭 세제곱 L함수에 대한 새로운 조건 없는 대수성 정리를 증명하며, 이는 이전의 조건부 또는 특수 케이스 결과들을 확장한다.

ABSTRACT

In a previous article we had proved an algebraicity result for the central critical value for L-functions for GL(n) x GL(n-1) over Q assuming the validity of a nonvanishing hypothesis involving archimedean integrals. The purpose of this article is to generalize that result for all critical values for L-functions for GL(n) x GL(n-1) over any number field F. Binyong Sun has recently proved that nonvanishing hypothesis and so the results of this article are unconditional. Using such results for the case of GL(3) x GL(2), new unconditional algebraicity results for the special values of symmetric cube L-functions for GL(2) over F have been proved.

연구 동기 및 목표

• GL(n) × GL(n−1)에 대한 Rankin–Selberg L함수의 임계값에 대한 이전의 조건부 대수성 결과를 어떤 수체수 F에 대해 모든 임계값으로 일반화하는 것.
• GL(3) × GL(2) 케이스를 활용하여 GL(2) 촉체 자동형 표현의 대칭 세제곱 L함수에 대한 조건 없는 대수성 결과를 수립하는 것.
• 공형적 설정에서 무게 μ와 λ 사이의 호환성 조건을 해결하여, 대수적 관계를 가진 임계 L값의 존재를 보장하는 것.
• 갈루아 작용에 대해 호환되는 자동형 주기 p^ε(Π)와 p^ε,η∞(μ + m, λ)를 정의하고 활용하는 것.
• 강한 순수 무게 개념을 도입하고 아르히메데스 성분을 신중히 분석함으로써, 복소 포함을 포함한 임의의 수체수로 프레임워크를 확장하는 것.

제안 방법

• Raghuram–Shahidi [37]의 주기 관계를 이용하여 GL(n)에서의 공형 자동형 표현 Π에 대해 갈루아-등변 주기 p^ε(Π)를 정의한다.
• Sun [44]의 비영 가정에 대한 최신 증명을 적용함으로써 주요 결과를 조건 없는 것으로 만든다.
• 정수 j의 존재를 통해 무게 μ와 λ 사이의 호환성 조건을 구현한다. 이는 Hom_{G_{n-1}}(M_{μ^v}, M_{λ+j}) ≠ 0를 만족하는 것이다.
• Π와 Σ의 아르히메데스 성분에서 유도된 부호 데이터 ε와 η에 따라 의존하는 아르히메데스 주기 p^ε,η∞(μ + m, λ)를 구성한다.
• 자동형 L함수 이론과 그 유한 부분 L_f(s, Π × Σ)를 갈루아 작용을 통해 주기와 가우스 합과 연결하여 적용한다.
• 대칭 거듭제곱 전이와 공형 표현의 구조를 이용하여 대칭 세제곱 L함수 케이스를 GL(3) × GL(2) 설정으로 환원한다.

실험 결과

연구 질문

• RQ1 무게 μ와 λ에 대해 어떤 조건이 성립할 경우, 임계값 L(1/2 + m, Π × Σ)이 주기로 대수적인가?
• RQ2 임의의 수체수에서 GL(2)에 대한 대칭 세제곱 L함수의 대수성은 조건 없이 확립될 수 있는가?
• RQ3 자동형 주기의 관점에서 GL(n) × GL(n−1)에 대한 Rankin–Selberg L함수의 임계값의 정확한 갈루아 등변성은 무엇인가?
• RQ4 갈루아 코너제에 대해 아르히메데스 주기 p^ε,η∞(μ + m, λ)는 어떻게 행동하며, 대수성 진술에서 그 역할은 무엇인가?
• RQ5 Hodge–Tate 무게를 갖는 π에 대해 L(s, Sym³(π) ⊗ χ)의 임계 범위는 무엇이며, GL(3) × GL(2) 케이스와의 관계는 어떻게 되는가?

주요 결과

• 논문은 어떤 수체수 F에서 정규 대수적 촉체 자동형 표현 Π (GL(n)에서)과 Σ (GL(n−1)에서)에 대해, 임계값 L(1/2 + m, Π × Σ)이 유한 주기와 아르히메데스 주기의 곱으로 대수적임을 증명한다.
• 임계값은 갈루아 등변성 성질을 만족한다: 임의의 σ ∈ Aut(ℂ)에 대해, 정규화된 L값의 갈루아 코너제는 공액 표현의 정규화된 L값과 같다.
• GL(2)의 경우, 대칭 세제곱 L함수 L(s, Sym³(π) ⊗ χ)의 임계값은 무게 조건 −2a − b ≤ m ≤ −a − 2b를 만족할 경우 주기로 대수적이다.
• 임계 집합은 μ = (a, b)가 강한 순수 무게일 경우, 반정수에서의 구간 [−2a − b, −a − 2b]로 명시적으로 특성화된다.
• 이 방법은 대칭 세제곱 케이스를 대칭 거듭제곱 전이와 무게의 호환성으로 인해 GL(3) × GL(2) Rankin–Selberg 설정으로 성공적으로 환원한다.
• 요구 조건을 만족하는 정수 j의 존재는 임계 L값의 대수성을 보장하며, 이 조건은 F가 완전 허수체가 아니거나 적절한 무게 제약 조건이 만족될 경우 성립한다.