[论文解读] Bessel models for lowest weight representations of GSp(4,R)

Ameya Pitale, Ralf Schmidt|ArXiv.org|Sep 2, 2008

Advanced Algebra and Geometry参考文献 9被引用 24

一句话总结

本论文通过显式求解线性一阶偏微分方程组，推导出闭式贝塞尔函数，建立了 GSp(4,R) 最低权与最高权表示的分裂与非分裂贝塞尔模型的存在性与唯一性准则。关键贡献是为 GSp(4)×GL(2) 的 L-函数（L-函数的度为 8）构造了适用于向量值 Siegel 模形式的积分表示，该成果得益于这些显式的阿基米德贝塞尔函数。

ABSTRACT

We prove uniqueness and give precise criteria for existence of split and non-split Bessel models for a class of lowest and highest weight representations of the groups GSp(4,R) and Sp(4,R) including all holomorphic and anti-holomorphic discrete series representations. Explicit formulas for the resulting Bessel functions are obtained by solving systems of differential equations. The formulas are applied to derive an integral representation for a global $L$-function on GSp(4)xGL(2) involving a vector-valued Siegel modular form of degree 2.

研究动机与目标

• 确定 GSp(4,R) 与 Sp(4,R) 的最低权与最高权表示的贝塞尔模型的存在与唯一性条件。
• 通过求解复化李代数作用于最低权向量所产生的线性一阶偏微分方程组，推导出贝塞尔函数的显式公式。
• 将所得的阿基米德贝塞尔函数应用于构造 GSp(4) × GL(2) 的全局 L-函数 L(s, π_F × τ_f) 的积分表示。
• 通过提供显式的阿基米德分量，将 Furusawa 的方法推广至向量值 Siegel 模形式。

提出的方法

• 求解由复化李代数作用于最低权向量所导出的线性一阶偏微分方程组。
• 利用双陪集分解（27）处理非分裂情形，（97）处理分裂情形，以参数化群作用。
• 应用微分方程，将贝塞尔函数显式表示为 Whittaker 函数 W_{l/2, ir/2}(4πλD^{1/2}x) 的线性组合，其中 x = (ζ² + ζ⁻²)/2。
• 利用模型变换技术与 K-型分解，将贝塞尔函数与标准自守形式关联。
• 通过结合阿基米德部分与非阿基米德部分，利用 [2]、[5] 和 [6] 中的已知结果，构造全局积分表示。
• 通过将阿基米德积分 Z_∞(s) 与非阿基米德处的 Euler 乘积因子结合，推导出全局 L-函数公式。

实验结果

研究问题

• RQ1 GSp(4,R) 的最低权表示在何种条件下允许存在非分裂贝塞尔模型？
• RQ2 此类表示在何种条件下存在分裂贝塞尔模型？中心特征与 K-型维数在此中起何作用？
• RQ3 如何从复化李代数作用于最低权向量出发，推导出贝塞尔函数的显式公式？
• RQ4 当 Siegel 模形式为向量值时，GSp(4) × GL(2) 的阿基米德 L-函数积分结构如何？
• RQ5 显式贝塞尔函数如何促成度为 8 的全局 L-函数的积分表示的构造？

主要发现

• 非分裂贝塞尔模型存在的充要条件是：T(R) ≅ C× 上的特征标 Λ，当限制到单位圆周时，对应于整数 m，且满足 |m| 小于最小 K-型的维数。
• 对于所考虑的所有最低权表示，分裂贝塞尔模型均不存在，原因在于相关 PDE 系统缺乏中增长解。
• 贝塞尔函数的显式公式表示为 Whittaker 函数 W_{l/2, ir/2}(4πλD^{1/2}x) 的线性组合，其中 x = (ζ² + ζ⁻²)/2。
• 阿基米德 L-函数积分 Z_∞(s) 表示为系数 c_{k,j} 与有理函数 Q_{k,j}(s) 的和，其结果与 Γ-函数、π、D 及 2 的幂次相乘。
• 全局 L-函数满足 Z(s,Λ) = κ_N Z_∞(s) L(3s+1/2, π_F × τ_f) / [ζ(6s+1) L(3s+1, τ_f × AI(Λ))], 其中局部因子 κ_N 显式依赖于级别 N 与二次域 L。
• 该结果将 Furusawa 的方法推广至度为 2 的向量值 Siegel 模形式，贝塞尔函数公式使 n = 3,5,7,9 时的构造成为可能。