[论文解读] The Local Langlands Conjecture for GSp(4)

Wee Teck Gan, Shuichiro Takeda|arXiv (Cornell University)|Jun 7, 2007

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

一句话总结

本文证明了在特征为零的非阿基米德局部域上，对辛群 GSp(4) 的局部兰道兰德猜想，建立了从 GSp(4)(F) 的不可约光滑表示到兰道兰德对偶群 GSp(4)∨ 的有限对一满射映射。关键结果是对 L-包的完整刻画，包括泛性条件、与中心特征标和相似特征标的相容性，以及泛性与非泛性超临界表示的 γ-因子和普兰切尔测度的匹配。

ABSTRACT

We prove the local Langlands conjecture for $GSp_4(F)$ where $F$ is a non-archimedean local field of characteristic zero.

研究动机与目标

• 建立 GSp(4)(F) 的局部兰道兰德对应，其中 GSp(4)(F) 是特征为零的非阿基米德局部域上的半单代数群。
• 定义从 GSp(4)(F) 的不可约光滑表示到取值于兰道兰德对偶群 GSp(4)∨ 的 L-参数的满射有限对一映射。
• 验证该对应保持关键不变量：中心特征标与相似特征标、L-因子、ε-因子以及普兰切尔测度。
• 通过分量群 Aϕ 刻画 L-包中的泛性与离散系列表示。
• 证明全局 theta 提升的像在局部对应下精确对应于满足特定 L-函数与周期条件的自守表示。

提出的方法

• 利用 GLₙ 的局部兰道兰德对应与自守形式理论，构造 L-参数映射 L: Π(GSp₄) → Φ(GSp₄)。
• 通过 GSp₄ 与 GSO(V) 之间的全局 theta 对应，关联自守表示并验证局部 L-参数的性质。
• 对非泛性超临界表示应用普兰切尔测度理论，作为缺失的 γ-因子理论的替代。
• 利用 theta 对应的函子性，推导出全局提升的标准 L-函数可分解为 ζ^S(s) · L^S(s, π, std)，并与像的外平方 L-函数相联系。
• 验证当且仅当伴随 L-因子 L(s, Ad ∘ φ) 在 s = 1 处全纯时，L-包包含一个泛表示。
• 利用哈里森-泰勒、亨尼亚特以及亚当斯-巴尔巴斯关于 GLₙ 与实群的局部兰道兰德对应的成果，将对应关系推广至 GSp₄。

实验结果

研究问题

• RQ1 是否存在一个自然的满射有限对一映射，从 GSp₄(F) 的不可约光滑表示到取值于 GSp₄∨(C) 的 L-参数？
• RQ2 在什么条件下 L-包中的表示是泛的？这如何由分量群 Aϕ 决定？
• RQ3 表示的中心特征标与相似特征标如何与对应的 L-参数关联？
• RQ4 在表示理论侧与 L-参数侧之间，能否对表示对的局部 γ-因子与 L-因子实现匹配，特别是对非泛性超临界表示？
• RQ5 全局 theta 提升的像在自守 L-函数与周期条件方面，其精确刻画是什么？

主要发现

• GSp₄(F) 的局部兰道兰德对应被确立为一个满射有限对一映射 L: Π(GSp₄) → Φ(GSp₄)，其唯一性由性质 (i)、(iii)、(v) 和 (vi) 在 r ≤ 2 时确定。
• 一个表示 π 是离散系列表示当且仅当其 L-参数 φπ 不通过 GSp₄(C) 的任何真 Levi 子群分解。
• L-映射的纤维 Lϕ 由分量群 Aϕ 的不可约特征标参数化，Aϕ 要么是平凡群，要么是 ℤ/2ℤ；平凡特征标对应于该包中唯一的泛表示。
• L-参数 φπ 的相似特征标通过局部类域理论等于表示 π 的中心特征标 ωπ。
• 对于泛表示或非超临界表示，π × σ 的 γ-因子、L-因子与 ε-因子与 φπ ⊗ φσ 的因子匹配，从而与沙赫迪与阿廷的因子定义相容。
• 对于非泛性超临界表示，普兰切尔测度 μ(s, π ⋉ σ, ψ) 表示为四个涉及 L-参数的对偶与对称平方的 γ-因子的乘积，为缺失的 γ-因子理论提供了替代方案。