[论文解读] On a conjecture of Jacquet

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

Advanced Algebra and Geometry参考文献 21被引用 25

一句话总结

本文通过扩展早期方法，结合改进的 Ramanujan 估计、扩展的 Siegel–Weil 公式与 seesaw 恒等式，证明了关于数域上 GL2 的三个 cuspidal 自守表示的三重乘积 L 函数中心值非零的 Jacquet 猜想。关键结果表明：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.

研究动机与目标

• 证明 Jacquet 猜想，即三重乘积 L 函数中心值非零与四元数代数上三重线性形式非零的存在性之间的关系。
• 将此前在 Q 上对全纯新形式的结果推广至一般数域及 GL2 的任意 cuspidal 表示。
• 通过 seesaw 恒等式、L 函数的积分表示以及扩展的 Siegel–Weil 公式，确立该猜想的有效性。
• 通过利用 Kim–Shahidi 的最新 Ramanujan 估计改进，克服早期依赖 Ramanujan 猜想与相似群形式的限制。

提出的方法

• 通过 GSp6 上的 Eisenstein 系列与可分解数据，使用全局 zeta 积分表示三重乘积 L 函数。
• 应用 GSp6 与 (GL2)³ 之间的 seesaw 对偶性，将 L 函数与四元数代数上的三重周期联系起来。
• 运用相似群的扩展 Siegel–Weil 公式，将 L 函数的中心值与 GSp6 上的 theta 提升及自守形式联系起来。
• 使用具有梅雷omorphic 继承与残差正规化的归一化 Eisenstein 系列 E∗(g, s, Φs)，其中 bG(s) = ζk(2s+2)ζk(4s+2)。
• 在有限与阿基米德位处应用局部 zeta 积分 Zv(s, Wψ,v, Φs,v)，通过 Kim–Shahidi 的 Ramanujan 估计确保归一化积分的全纯性。
• 利用余不变空间 S(V(A)³)H(A) ≅ Π(V) 与对迷向空间的 theta 积分化正则化，定义全局 theta 提升。

实验结果

研究问题

• RQ1 在何种条件下，GL2(A) 的 cuspidal 表示 πi 的中心值 L(1/2, π₁⊗π₂⊗π₃) 非零？
• RQ2 当四元数代数上的非零三重周期积分存在时，何时能推出三重乘积 L 函数的非零性？
• RQ3 如何将 seesaw 恒等式与扩展的 Siegel–Weil 公式应用于数域上 Jacquet 猜想的完全一般性证明？
• RQ4 改进的 Ramanujan 估计在消除基于 Q 上全纯新形式的早期证明限制中起到何种作用？
• RQ5 能否使用全局 zeta 积分表示，将 GSp6 上的自守形式与四元数群上的三重泛函联系起来？

主要发现

• 中心值 L(1/2, π₁⊗π₂⊗π₃) 非零当且仅当存在一个域 k 上的四元数代数 B 及自守形式 fᵦⁱ ∈ πᵦⁱ，使得三重线性积分 ∫_{Z(A)B×(k)\B×(A)} f₁ᵇ(b)f₂ᵇ(b)f₃ᵇ(b) d×b ≠ 0。
• 该证明通过用 Kim–Shahidi 的改进估计替代 Ramanujan 猜想的依赖，推广了此前在 Q 上对全洁新形式的结果。
• 以精细化方式应用相似群的扩展 Siegel–Weil 公式，确保全局 theta 提升非零当且仅当 L 函数中心值非零。
• 在阿基米德位处，有限个 Whittaker 函数与截面的组合确保局部 zeta 积分在 s = 0 处和为 1，从而实现全局控制。
• 当根数 ǫ(1/2, π₁⊗π₂⊗π₃) = −1 时，由函数方程可知中心 L 值为零，与不变三重线性形式的缺失一致。
• 当三重周期非零时，恒等式 L(1/2, π₁⊗π₂⊗π₃) · Z∗(F, Φ) = 2ζk(2)² · I(f₁ᵇ, f₂ᵇ, f₃ᵇ)² 成立，将 L 值与自守周期联系起来。