[论文解读] Bessel models for GSp(4): Siegel vectors of square-free level

Ameya Pitale, Ralf Schmidt|arXiv (Cornell University)|Jul 12, 2012

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

一句话总结

本文确定了在 $p$-进域 $F$ 上，非球对称、Iwahori-球对称表示的 Bessel 模型的显式测试向量，并推导出闭式公式，这些表示在平方自由水平的 Siegel 同余子群 $P_1$ 下具有非零不变向量。通过 Hecke 算子和 zeta 积分，证明了在特定对角元 $h(0,m_0)$ 处 Bessel 函数的取值非零，从而在除一种例外分裂情形外的所有情况下提供了规范测试向量；在该例外情形中，另一个元素充当测试向量。

ABSTRACT

We determine test vectors and explicit formulas for all Bessel models for those Iwahori-spherical representations of GSp(4) over a p-adic field that have non-zero vectors fixed under the Siegel congruence subgroup.

研究动机与目标

• 确定 ${\rm GSp}_4(F)$ 的不可约、非阿基米德、Iwahori-球对称表示的 Bessel 模型的显式测试向量，这些表示是非球对称的，但在 $P_1$ 下具有非零不变向量。
• 推导 ${\rm GSp}_4(F)$ 上相应 Bessel 函数的显式公式，特别关注平方自由水平的 Siegel 向量。
• 在标准候选向量失效的情况下（尤其是例外分裂情形）解决测试向量问题。
• 通过 Hecke 算子和 zeta 积分，统一处理一维与二维 $P_1$-不变子空间的处理。

提出的方法

• 作者使用两个 Hecke 算子 $T_{1,0}$ 和 $T_{0,1}$，通过涉及 $P_1$ 和对角矩阵的双陪集定义，作用于 $P_1$-不变向量空间。
• 他们在所有 13 类 Iwahori-球对称表示上计算了这些算子的特征值，特别关注其中七类非球对称类型。
• 使用 ${\rm GL}_2$ 积分公式（引理 4.3）推导出特定群元素上 Bessel 函数取值的递推关系。
• 对于 IIa 型分裂 Bessel 模型中的例外情形，采用 zeta 积分与参数模向量理论来识别非零点。
• 构造了对角取值的生成函数（命题 6.1），将 Bessel 函数在对角子群上的行为联系起来。
• 通过特征值分析与对称性确立了 Bessel 函数在 $h(0,m_0)$ 处的非零性，例外情形则通过 zeta 积分技术处理。

实验结果

研究问题

• RQ1 对于哪些具有 $P_1$-不变向量的 ${\rm GSp}_4(F)$ 的 Iwahori-球对称表示存在 Bessel 模型？$P_1$-不变子空间的结构如何？
• RQ2 在非球对称、$P_1$-不变的情形下，Bessel 模型的显式测试向量是什么，特别是当 $P_1$-不变子空间为一维或二维时？
• RQ3 为何标准候选向量 $h(0,m_0)$ 在 IIa 型例外分裂情形中不构成测试向量？它被什么取代？
• RQ4 $T_{1,0}$ 和 $T_{0,1}$ Hecke 算子如何作用于 $P_1$-不变向量？其特征值如何用于识别测试向量？
• RQ5 能否构造 Bessel 函数在对角元素上取值的生成函数？它揭示了函数的全局行为的哪些信息？

主要发现

• 在所有一维 $P_1$-不变情形中，唯一的 $P_1$-不变向量即为测试向量，且满足 $B(h(0,m_0)) \neq 0$。
• 在二维 $P_1$-不变情形（类型 IIIa 和 IVb）中，$T_{1,0}$ 与 $T_{0,1}$ 的公共特征向量均满足 $B(h(0,m_0)) \neq 0$，因此均为有效测试向量。
• 在未分支 $\Lambda$ 的 IIa 型例外分裂情形中，Bessel 函数在 $h(0,m_0)$ 处为零，但在另一元素 $h(1,0)$ 处非零。
• 命题 6.1 中的生成函数为 $B$ 在对角元素上的取值提供了完整的生成函数，支持全局应用。
• zeta 积分与参数模向量技术在例外分裂情形中至关重要，因为标准 Hecke 方法在此失效。
• 中心特征标与 $\Lambda$ 的分歧条件被证明是相关情形下 Bessel 模型存在的充要条件。