[논문 리뷰] On a conjecture of Jacquet

Michael Harris, Stephen S. Kudla|ArXiv.org|2001. 11. 21.

Advanced Algebra and Geometry참고 문헌 21인용 수 25

한 줄 요약

이 논문은 향상된 라만두잔 경계를 활용해, 이전의 방법을 확장함으로써 수체 k 위의 GL2에 대한 세 촉점형 자동형 표류의 삼중곱 L함수의 중심값이 0이 아님을 증명한다. 이는 확장된 시겔-바일 공식과 시즈레드 이중성의 응용을 통해 가능해졌으며, 이는 최근의 라만두잔 경계 향상 덕분이다. 핵심 결과는 L(1/2, π₁⊗π₂⊗π₃) ≠ 0이 되는 것과 정확히 동치인 조건으로, k 위의 허수 대수 B와 πᵦⁱ에 속하는 자동형 형식 fᵦⁱ ∈ πᵦⁱ가 존재하여, 삼중선형 적분 ∫_{Z(A)B×(k)\B×(A)} f₁ᵇ(b)f₂ᵇ(b)f₃ᵇ(b) d×b ≠ 0이 되는 것이다.

ABSTRACT

In this note, we prove in full generality a conjecture of Jacquet concerning the nonvanishing of the triple product L-function at the central point. Let $\kay$ be a number field and let $π_i$, $i=1$, 2, 3 be cuspidal automorphic representations of $GL_2(\A)$ such that the product of their central characters is trivial. Then the central value $L(\frac12,π_1\otimesπ_2\otimesπ_3)$ of the triple product L--function is nonzero if and only if there exists a quaternion algebra $B$ over $\kay$ and automorphic forms $f_i^B\in π_i^B$, such that the integral of the product $f_1^B f_2^B f_3^B$ over the diagonal $Z(\Bbb A) B^ imes(\kay) B^ imes(\Bbb A)$ is nonzero, where $π_i^B$ is the representation of $B^ imes(\A)$ corresponding to $π_i$. In a previous paper, we proved this conjecture in the special case where $\kay=\Q$ and the $π_i$'s correspond to a triple of holomorphic newforms. Recent improvement on the Ramanujan bound due to Kim and Shahidi, results about the local L-factors due to Ikeda and Ramakrishnan, results of Chen-bo Zhu and Sahi about invariant distributions and degenerate principal series in the complex case, and an extension of the Siegel--Weil formula to similitude groups allow us to carry over our method to the general case.

연구 동기 및 목표

• GL2의 세 촉점형 자동형 표류에 대한 삼중곱 L함수의 중심값이 0이 아니라는 것과 허수 대수 위에서의 비영인 삼중선형 형식의 존재성 사이의 관계를 밝혀내는 자크의 추측을 증명하는 것.
• 이전에 유리수 위에서 정수형 새로운 형식에 대해 얻어진 결과를 일반 수체와 임의의 GL2 촉점형 표현으로 확장하는 것.
• 시즈레드 이중성, L함수의 적분 표현, 그리고 확장된 시겔-바일 공식을 사용하여 추측의 타당성을 확립하는 것.
• 이전의 증명에서 라만두잔 추측과 유사군 표현에 의존하는 제약 조건을 제거하기 위해 최근의 라만두잔 경계 향상 결과를 활용하는 것.

제안 방법

• GSp6에서의 아이젠스타인 급수와 인수분해 가능한 자료를 통한 삼중곱 L함수의 전역 제타 적분 표현을 사용한다.
• GSp6와 (GL2)³ 사이의 시즈레드 이중성을 적용하여 L함수를 허수 대수 위의 삼중선형 주기와 연결한다.
• 유사군에 대한 확장된 시겔-바일 공식을 적용하여 L함수의 중심값을 GSp6 위의 스털링 라이프팅과 자동형 형식과 연결한다.
• 해석적 계속성과 잔여치 정규화를 갖춘 정규화된 아이젠스타인 급수 E∗(g, s, Φs)를 사용하며, bG(s) = ζk(2s+2)ζk(4s+2)로 정의된다.
• 유한 및 무한 자리에서 국소 제타 적분 Zv(s, Wψ,v, Φs,v)를 적용하여, 김-샤히디의 라만두잔 경계를 통해 정규화된 적분의 전체성을 확보한다.
• 등급 공간 S(V(A)³)H(A) ≅ Π(V)와 비퇴사 공간에 대한 스털링 적분의 정규화를 통해 전역 스털링 라이프팅을 정의한다.

실험 결과

연구 질문

• RQ1 GL2(A)의 촉점형 표현 πi에 대해 중심값 L(1/2, π₁⊗π₂⊗π₃)이 언제 0이 아닐까?
• RQ2 허수 대수 위에서 비영인 삼중선형 주기 적분이 존재할 경우, 언제 삼중곱 L함수의 비영성과 관련이 있을까?
• RQ3 시즈레드 이중성과 확장된 시겔-바일 공식을 어떻게 적용하여 수체 위에서 자크의 추측을 일반적으로 증명할 수 있을까?
• RQ4 향상된 라만두잔 경계는 이전에 Q 위의 정수형 새로운 형식에 기반한 증명에서의 제약 조건을 어떻게 제거하는가?
• RQ5 전역 제타 적분 표현을 사용하여 GSp6 위의 자동형 형식을 허수군의 삼중선형 함수형식과 연결할 수 있을까?

주요 결과

• 중심값 L(1/2, π₁⊗π₂⊗π₃)이 0이 아니라는 것은 정확히 동치 조건으로, 수체 k 위의 허수 대수 B와 πᵦⁱ에 속하는 자동형 형식 fᵦⁱ ∈ πᵦⁱ가 존재하여, 삼중선형 적분 ∫_{Z(A)B×(k)\B×(A)} f₁ᵇ(b)f₂ᵇ(b)f₃ᵇ(b) d×b ≠ 0이 되는 것이다.
• 이전에 Q 위에서 정수형 새로운 형식에 대해 얻어진 결과를, 라만두잔 추측에 의존하는 대신 김-샤히디의 향상된 경계로 대체함으로써 일반화하였다.
• 유사군에 대한 확장된 시겔-바일 공식을 정교하게 적용하여, 전역 스털링 라이프팅이 L함수 중심값이 0이 아닐 때 정확히 비영이 되도록 보장하였다.
• 무한 자리에서는 유한 개의 월리커 함수와 절단을 사용하여, s = 0에서 국소 제타 적분의 합이 1이 되도록 하여 전역 제어를 가능하게 하였다.
• 근본 번호 ǫ(1/2, π₁⊗π₂⊗π₃) = −1일 경우, 함수방정식에 의해 중심 L값이 0이 되며, 이는 불변 삼중선형 형식의 부재와 일치한다.
• 삼중선형 주기가 비영일 경우, 항등식 L(1/2, π₁⊗π₂⊗π₃) · Z∗(F, Φ) = 2ζk(2)² · I(f₁ᵇ, f₂ᵇ, f₃ᵇ)² 가 성립하며, 이는 L값과 자동형 주기 사이의 연결 고리를 제공한다.