[论文解读] Constructions of global integrals in the exceptional groups

David Ginzburg, Joseph Hundley|arXiv (Cornell University)|Aug 5, 2011

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

一句话总结

本文提出了一套系统框架，用于在例外群中构造自守L函数的全局积分表示，利用幂零轨道和极大抛物子群定义傅里叶系数与梅雅辛斯特列斯级数。关键贡献是建立了一个维数条件，将自守表示的盖尔范德-基里洛夫维数与幂零轨道联系起来，从而预测此类积分何时为欧拉型，且在F4和E6中显式构造了两个新的欧拉型积分。

ABSTRACT

Motivated by known examples of global integrals which represent automorphic L-functions, this paper initiates the study of a certain two-dimensional array of global integrals attached to any reductive algebraic group, indexed by maximal parabolic subgroups in one direction and by unipotent conjugacy classes in the other. Fourier coefficients attached to unipotent classes, Gelfand-Kirillov dimension of automorphic representations, and an identity which, empirically, appears to constrain the unfolding process are presented in detail with examples selected from the exceptional groups. Two new Eulerian integrals are included among these examples.

研究动机与目标

• 开发一种系统化方法，用于在例外群中构造表示自守L函数的全局积分。
• 在基于幂零轨道与抛物子群的统一框架下，将兰金-塞尔伯格方法与兰兰德斯-沙希迪方法统一并推广。
• 识别此类积分成为欧拉型的条件，特别是通过盖尔范德-基里洛夫维数的维数等式。
• 在例外群F4和E6中提供新的欧拉型积分的显式构造。
• 探讨θ函数与韦伊表示在涉及自守形式的展开过程中的作用。

提出的方法

• 该方法利用例外群中幂零轨道的分类，定义抛物子群P_O = M_O U_O和U_O(A)/U_O(F)上的特征χ_U_O。
• 对于M_O中ψ_U_O的稳定化子C的主系称表示π，以及由τ诱导的梅雅辛斯特列斯级数E_τ(g,s)，全局积分为∫_{C(F)\C(A)} ∫_{U_O(F)\U_O(A)} φ_π(g) E_τ(ug,s) ψ_U_O(u) du dg。
• 通过幂零根的结构和韦伊表示的作用，分析展开过程，尤其在涉及θ函数的情形。
• 关键技术工具是利用盖尔范德-基里洛夫维数推导出一个必要维数条件：dim C + dim U_O = dim π + dim E_τ(·,s)，该条件限制了τ的选择。
• 在F4和E6中进行显式计算，利用海森堡群结构和θ函数分析涉及韦伊表示的积分展开。
• 该方法包含一个基于积分展开为Whittaker积分的欧拉性判别准则，证明其等价于维数条件。

实验结果

研究问题

• RQ1 在何种条件下，形如∫ φ_π(g) E_τ(ug,s) ψ_U_O(u) du dg 的全局积分是欧拉型的？
• RQ2 如何利用维数条件 dim C + dim U_O = dim π + dim E_τ(·,s) 预测例外群中欧拉型积分的存在性？
• RQ3 θ函数与韦伊表示在涉及非一般表示的全局积分展开中起什么作用？
• RQ4 该框架能否被推广以在已知例子之外的例外群中构造新的欧拉型积分？
• RQ5 为何自守形式的傅里叶系数通常不是自守的？这与普遍包络代数中心的谱有何关联？

主要发现

• 本文在例外群F4和E6中构造了两个新的欧拉型全局积分，为所提框架提供了显式例子。
• 识别出维数条件 dim C + dim U_O = dim π + dim E_τ(·,s) 为全局积分成为欧拉型的必要条件，且该条件决定了τ的可能选择。
• 证明了全局积分展开为Whittaker积分等价于该维数条件，从而提供了欧拉性的判别准则。
• 在涉及θ函数的情形，积分展开为涉及韦伊表示的配对，且通过特征χ_{-2a}(x) = ψ(-2ax) 显式计算了海森堡群的作用。
• 分析表明，自守形式的傅里叶系数通常不是自守的，原因在于z-有限性的失败，这一结论通过假设在与梅雅辛斯特列斯级数的配对中具有z-有限性而导出矛盾得到证实。
• 该方法成功将兰金-塞尔伯格方法与兰兰德斯-沙希迪方法推广至例外群，通过将二者统一于幂零轨道与抛物子群的框架之下。