[论文解读] Towards Functoriality Of Spinor L-functions

Bernhard Heim|ArXiv.org|Aug 25, 2008

Advanced Algebra and Geometry参考文献 32被引用 3

一句话总结

本文建立了从 (GL(2), GSp(4)) 到 GSp(6) 的自守形式的函子性提升的尖形式判别准则，证明了三度自守 L 函数源于此类提升。通过动机论与解析方法（包括 Hodge 型计算与 L-群同态），确认了其与 Deligne、Andrianov、Panchishkin 和 Yoshida 关于临界值与函数方程的猜想相容。

ABSTRACT

The object of this work is the spinor L-function of degree 3 and certain degeneration related to the functoriality principle. We study liftings of automorphic forms on the pair of symplectic groups $( ext{GSp}(2), ext{GSp}(4))$ to $ ext{GSp}(6)$. We prove cuspidality and demonstrate the compatibility with conjectures of Andrianov, Panchishkin, Deligne and Yoshida. This is done on a motivic and analytic level. We discuss an underlying torus and L-group homomorphism and put our results in the context of the Langlands program.

研究动机与目标

• 建立从 GL(2) × GSp(4) 上自守形式到 GSp(6) 的函子性提升，特别针对三度自守 L 函数。
• 证明提升后的表示是尖形式，并仅出现特定权，排除其他形式可能性。
• 展示该提升与 Deligne、Andrianov、Panchishkin 和 Yoshida 关于函数方程与临界值算术的深层猜想相容。
• 为理解 L 函数作为自守形式所附动机的张量积提供动机论与解析框架。
• 表明 II 型 Miyawaki 猜想可被解释为一个椭圆模形式与一个二度 Siegel 模形式的提升，而非两个椭圆形式的提升。

提出的方法

• 利用 Langlands 函子性原理，定义从 GL(2) × GSp(4) 上自守表示到 GSp(6) 上自守表示的映射，其权分别为 k−2 与 k。
• 应用 L-群同态，并将诱导的 L 函数分析为卷积 L 函数形式 L(s, π₁ × π₂, ρ₁ ⊗ ρ₂) = L(s, π₁ ⨂ π₂, ρ₃)。
• 通过 Künneth 公式运用 Hodge 型计算，确定动机 M(h) ⊗ M(G) 的可能 Hodge 分解，并与目标动机 M(F) 的 Hodge 分解进行比较。
• 利用动机的 Betti 实现与分解 H_B(M) ⊗ C = ⊕ H^{p,q}(M)，以约束可能的权与类型。
• 应用自守 L 函数理论与积分表示，借鉴 Furusawa、Heim 与 Böcherer 的结果。
• 通过 Hecke 特征值的显式计算验证提升，表明对权 14 的 F₁₄ 有 λ₂(F₁₄) = τ(2) · λ₂(G)。

实验结果

研究问题

• RQ1 三度自守 L 函数在 GSp(6) 上是否可作为来自 GL(2) × GSp(4) 上自守形式的函子性提升？
• RQ2 与该提升相容的精确权与 Hodge 型为何？哪些被排除？
• RQ3 三度自守 L 函数的函数方程与临界值是否与 Deligne、Andrianov、Panchishkin 与 Yoshida 的猜想相容？
• RQ4 II 型 Miyawaki 猜想是否可被解释为一个椭圆模形式与一个二度 Siegel 模形式的提升，而非两个椭圆形式的提升？
• RQ5 动机张量积 M(h) ⊗ M(G) 是否同构于一个三度 Siegel 奇点形式 F 的动机 M(F)，这对模性意味着什么？

主要发现

• 从 GL(2) × GSp(4) 到 GSp(6) 的提升是尖形式，且仅可能为权 k−2 与 k，排除了所有其他形式的权组合。
• Hodge 型计算确认，当 k = K−2 且 l = K 时，动机 M(h) ⊗ M(G) 的张量积与三度 Siegel 奇点形式 F 的动机 M(F) 的 Hodge 型一致。
• 三度自守 L 函数的函数方程与临界值与 Deligne、Andrianov、Panchishkin 与 Yoshida 的猜想相容。
• Hecke 特征值 λ₂(F₁₄) = τ(2) · λ₂(G) = −24 · λ₂(G) 得到验证，为该提升提供了强有力的数值证据。
• 提升表示的 L 函数被确认为 GL(2) × GSp(4) 的自守 L 函数，证实了猜想的 L 函数恒等式。
• 动机方法确认，GL(2) 与 GSp(4) 上自守形式所附动机的张量积同构于 GSp(6) 上一个 Siegel 奇点形式的动机，支持模性。