On Periods and $L$-functions for $\mathbf{GL}_4 \times \mathbf{GL}_2$

《GL4 × GL2 的周期与 L-函数》技术摘要

问题陈述
本文在相对朗兰兹纲领的框架下，探讨了自守周期与 L-函数特殊值之间的关系。具体而言，文章研究了 GL4（或 GU2,2）的尖点自守表示 π 与 GL2 的尖点自守表示 σ 的张量积的中心 L-值非零性问题。研究焦点在于与表示 ρ = ∧² ⊗ std₂（次数为 12）相关的 L-函数，以及与球面簇 X = (GL2 × GL2) \ (GL4 × GL2) 相关的表示 ρX = ∧² ⊗ std₂ ⊕ std₄ ⊕ std₄∨（次数为 20）。

核心问题在于为这些 L-函数建立积分表示，并证明其中间值的非零性等价于特定自守周期的非零性：广义 Shalika 周期 SψS 和线性周期 PGL2×GL2。这项工作旨在为 GSpin6 × GSpin3 的全局 Gan–Gross–Prasad 猜想以及 Wan–Zhang 关于强 tempered 球面簇的猜想提供证据。

方法论
作者采用“加倍法”和 theta 对应技术来构建新的积分表示。

1. 新的积分表示：

   • 作者定义了一个涉及 GL4（或 GU2,2）上的尖点形式 φ、GL2 上的尖点形式 σ，以及基于 σ 相对于 Klingen 抛物子群 P(1,2) 在 GSp4 上构造的归一化非退化 Eisenstein 级数 E*P(1,2) 的 Zeta 积分 Z(s, φ, fs)。
   • 通过展开，该积分被证明计算了部分 L-函数 LS(s, π ⊗ σ, ∧² ⊗ std₂)。
   • 利用 Whittaker 函数的显式公式（遵循 Stade 等人的工作）进行 Archimedean 计算，将局部 Zeta 积分与局部 L-因子联系起来。

2. Siegel–Weil 公式与 Garrett 拉回公式：

   • 通过 Garrett 拉回公式（推广至相似群）重新解释该积分，将 GSp4 上的 Klingen Eisenstein 级数与 GSp6 上的退化 Siegel Eisenstein 级数联系起来。
   • 应用 Siegel–Weil 公式（由 Kudla–Rallis 和 Yamana 推广至相似群），将 Eisenstein 级数在中心点 s=1/2 处的值与对偶约化对 (O(V), Sp6) 相关的 theta 积分联系起来。
   • 该过程将 L-值与子群上的周期联系起来，具体为广义 Shalika 周期和 GL2 × det GL2 上的周期。

3. (GL4, GL4) 的 Theta 对应：

   • 为了解决线性周期（与次数为 20 的 L-函数相关）的问题，作者引入了双变量 Zeta 积分 J(s, z, φ, fs, η)。
   • 该积分包含对偶对 (GL4, GL4) 的 theta 提升 Θz(π)。参数 z 使得该积分能够计算乘积 L(s, π ⊗ σ, ∧² ⊗ std₂) L(z+1/2, π, std₄)。
   • 建立了涉及对偶对 (GSOH6, Sp4) 和 (GSOH2 × GL4, GSp4) 的“跷跷板”恒等式。
   • 利用 Shimizu–Jacquet–Langlands 对应，将 GL2 上的 theta 积分与四元数代数上的尖点形式联系起来，并利用正交群的拉回公式将积分展开为线性周期。

主要贡献与结果

• 新的积分表示： 本文为 GL4 × GL2 和 GU2,2 × GL2 上的 ∧² ⊗ std₂ L-函数提供了新的积分表示（定理 3.5）。
• 次数 12 的中心值与 Shalika 周期：
  • 对于处处无分歧的表示，作者证明了中心 L-值 L(1/2, π ⊗ σ, ∧² ⊗ std₂) 的非零性等价于广义 Shalika 周期 SψS 的非零性（定理 6.15）。
  • 这一结果确认了 Gan–Gross–Prasad 关于 GSpin6 × GSpin3 的猜想 1.2(1) 在无分歧情形下的成立。
• 次数 20 的中心值与线性周期：
  • 作者建立了与球面对 (GL4 × GL2, GL2 × GL2) 相关的 L-函数中心值与线性周期 PGL2×GL2 之间的关系。
  • 具体而言，他们证明了如果 L(1/2, π ⊗ σ, ρX) ≠ 0，则 PGL2×GL2|π⊗σ ≢ 0（定理 B / 推论 7.31）。
  • 反之方向依赖于 L(3/2, π ⊗ σ, ∧² ⊗ std₂) 的非零性，并假设 π 位于来自 GL4 的 theta 对应的像中（这等价于 L(1/2, π, std₄) ≠ 0）。
• 极点分析： 本文推导出部分 L-函数 LS(s, π ⊗ σ, ∧² ⊗ std₂) 在 s=1 处至多有一个单极点，且仅当中心特征的乘积满足特定二次条件时才会出现（命题 8.1）。

意义与主张
本文声称为 GSpin6 × GSpin3 群的 Wan–Zhang 猜想和 Gan–Gross–Prasad 猜想提供了新的证据。通过构建显式的积分表示并利用 (GL4, GL4) 的 theta 对应，作者成功地将次数 12 L-函数的分析“升级”到了次数 20 的情形。

作者指出，他们关于无分歧表示的结果尤为清晰，得出了 L-值非零性与周期非零性之间的等价关系。他们承认，将这些结果推广到一般的分歧情形需要 π 到 GL4 内形式的 Jacquet–Langlands 提升的显式公式（类似于 Shimizu 关于 GL2 的公式），这仍然是一个未解决的技术障碍。此外，虽然该方法与先前文献中定理 1.1(2) 的证明平行，但使用 (GL4, GL4) theta 对应使得作者能够处理线性周期与 Shalika 周期之间的差异，从而在 π 参与 theta 对应的条件下，有效地将球面周期与中心 L-值联系起来。

这项工作还突出了潜在的算术应用，表明所构造的 Zeta 积分可用于从与 GSp4 相关的 Shimura 簇的 Eisenstein 上同调构建新的欧拉系，尽管这在文中是作为前瞻性方向提出的，而非已完成的结果。