[논문 리뷰] Arithmeticity for periods of automorphic forms

Wee Teck Gan, A. Raghuram|arXiv (Cornell University)|2012. 07. 19.

Advanced Algebra and Geometry참고 문헌 33인용 수 11

한 줄 요약

이 논문은 재구성된 군 G의 수체 F 위에서의 임의의 극점 자동형 상 representation π가 (H,χ)-주기를 비자명하게 가지는 것과 그 Galois-공액 representation σπ가 (H,σχ)-주기를 비자명하게 가지는 것이 동치임을 증명함으로써 자동형 주기의 산술성을 확립한다. 이는 코homological 조건 하에서 성립한다. 주요 결과는 고전적 산술성 정리들을 일반화하며, ℂ의 자동형에 의한 주기 비자명성의 불변성에 대한 추측을 확인한다.

ABSTRACT

A cuspidal automorphic representation πof a group G is said to to be distinguished with respect to a subgroup H if the integral of f along H is nonzero for a cusp form f in the space of π. Such period integrals are related to (non)vanishing of interesting L-values and also to Langlands functoriality. This article discusses a general principle, labelled arithmeticity, which roughly states that "πis H-distinguished if and only if any Galois conjugate of πis H-distinguished." We study this principle via several examples; starting with GL(2) and leading up to more complicated situations where the ambient group is a higher GL(n) or a classical group.

연구 동기 및 목표

• Galois 공액에 의한 자동형 주기의 전역 산술성 원리를 확립하기 위해.
• L-함수와 주기의 고전적 산술성 결과를 고계수 군과 일반화된 주기 적분으로 확장하기 위해.
• 코homological 및 함자론적 방법을 통해 ℂ의 자동형에 의한 주기 비자명성의 불변성에 대한 추측을 검증하기 위해.
• Cohomological 표현의 Galois 공액에 관한 Clozel의 정리(정리 3.1)를 고전군으로 일반화하기 위해.
• L-함수 비자명성과 함자론적 전이를 통해 주기 적분의 모티브적 해석을 제공하기 위해.

제안 방법

• 코homological 기준을 사용하여 극점 자동형 상 표현 π의 Galois-공액 표현 σπ를 정의한다.
• Clozel의 정리(정리 3.1)와 그 일반화(정리 9.5)를 적용하여 σπ가 여전히 코homological이자 극점임을 보장한다.
• 고전군(예: GSpin(2n+1), U(n), U(n)×U(n-1))에서의 함자론적 전이를 통해 (H,χ)-주기의 비자명성을 특성화한다.
• 로컬 유일성과 L-패킷 내의 유일한 일반 표현 성질을 이용해 전역적으로 σπ가 일반임을 유도한다.
• 전역 내림내림 이론과 전역 Gross-Prasad 추측을 활용하여 σπ가 비자명 주기를 상속함을 보인다.
• Gross의 모티브적 L-함수에 대한 추측을 통해 주기 비자명성과 임계 L-값을 연결한다.

실험 결과

연구 질문

• RQ1 코homological 자동형 상 표현 π에 대해 전역 (H,χ)-주기가 비자명하다면, 그 Galois 공액 표현 σπ가 (H,σχ)에 대해 동일하게 비자명한가?
• RQ2 특히 SO(2n+1), U(2n+1), U(n)×U(n-1)와 같은 고전군에 대해, GL(n)을 초월하여 주기의 산술성이 어느 정도 유지되는가?
• RQ3 함자론적 전이와 L-함수 성질을 통해 (H,χ)-주기의 비자명성이 자동형 Aut(ℂ)에 대해 불변인 방식으로 특성화될 수 있는가?
• RQ4 전역적으로 일반인 표현 π의 Galois 공액 σπ가 전역적으로 일반인 상태로 유지되는 조건은 무엇인가?
• RQ5 코homological 및 함자론적 도구와 결합된 전역 Gross-Prasad 추측은 주기의 산술성에 어떻게 기여하는가?

주요 결과

• G = GL₂/F인 경우, 극점 코homology 공간에 유리수 구조가 존재하므로 Whittaker 주기의 산술성이 성립한다.
• GL₂/F의 경우, Manin과 Shimura의 임계 L-값에 대한 산술성 정리에 의해 (GL₁,χ)-주기의 산술성이 도출된다.
• GL₂n/F의 경우, Shalika 주기의 비자명성은 GSpin(2n+1)에서의 함자론적 전이를 통해 특성화되며, Galois 공액에 의해 이 성질이 유지된다.
• E/F가 이차적일 때 GL(n)/E의 경우, GL(n)/F 주기는 unitary 군 U(n)에서의 함자론적 전이를 통해 특성화되며, 코homological 가정 하에 산술성 조건이 성립한다.
• GL(n)×GL(n−1)의 경우, Gross-Prasad 주기의 비자명성은 전역 내림내림과 L-함수 비자명성 기준을 통해 Galois 공액에 대해 유지됨을 보였다.
• SO(2n+1) 및 U(2n+1)와 같은 고전군의 경우, π가 전역적으로 일반적이며 코homological이라면 σπ 역시 전역적으로 일반적이며, 이는 이러한 경우 Whittaker 주기의 산술성을 증명한다.