[论文解读] Entirety of cuspidal Eisenstein series on loop groups

Howard Garland, Stephen D. Miller+1 more|arXiv (Cornell University)|Apr 17, 2013

Advanced Mathematical Identities参考文献 13被引用 6

一句话总结

本文建立了由 ℚ 上有限维 Chevalley 群上的尖形式诱导的环群上的尖 Eisenstein 系列的绝对收敛性，证明其在复平面整个区域上关于谱参数 ν 是整函数。与有限维情形不同，在后者中此类级数仅在右半平面收敛且具有极点，作者通过尖形式的指数衰减估计以及环群设定中 Iwasawa 分量的增长控制，实现了整个解析延拓。

ABSTRACT

In this paper, we prove the entirety of loop group Eisenstein series induced from cusp forms on the underlying finite dimensional group, by demonstrating their absolute convergence on the full complex plane. This is quite in contrast to the finite-dimensional setting, where such series only converge absolutely in a right half plane (and have poles elsewhere coming from $L$-functions in their constant terms). Our result is the $\Q$-analog of a theorem of A. Braverman and D. Kazhdan from the function field setting, who previously showed the analogous Eisenstein series are finite sums.

研究动机与目标

• 建立环群上尖 Eisenstein 系列向整个复平面的解析延拓。
• 克服在环群设定中，于自然‘奇点墙’之后出现的亚纯延拓失败问题。
• 证明绝对收敛性在整个复平面上成立，与有限维情形中仅在右半平面收敛的情况形成对比。
• 为 Braverman 与 Kazhdan 在函数域中证明此类级数为有限和的结果，提供一个数域类比。
• 在数域设定中开发新工具以处理快速衰减问题，其中尖形式虽呈多项式衰减但非紧支集，与函数域情形不同。

提出的方法

• 使用环群上尖形式的指数衰减估计，特别是 Iwasawa 分解分量中的估计。
• 对环群离散子群中经典与中心方向的对角 Iwasawa 分量应用增长估计。
• 将 Maass-Selberg 型关系适配至环群设定，尽管作者依赖收敛性论证而非谱论。
• 通过从环群极大抛物子群的 Levi 分量上的尖形式诱导构造 Eisenstein 系列。
• 利用 ℚ 上 Chevalley 群的结构来定义诱导 Eisenstein 系列并分析其收敛性质。
• 使用 Iwasawa 分解及环群在对称空间上的作用，以控制级数项的增长。

实验结果

研究问题

• RQ1 能否证明环群上尖 Eisenstein 系列对所有复值谱参数 ν 的绝对收敛性？
• RQ2 在数域设定中，何种解析机制使得这些级数能实现整个延拓，即使尖形式在紧支集外不消失？
• RQ3 环群上 Eisenstein 系列的收敛行为与有限维情形有何不同，后者仅在右半平面收敛？
• RQ4 数域设定中尖形式的指数衰减能否用于证明 Eisenstein 系列在整个复平面上的绝对收敛性？
• RQ5 是否存在 Braverman 与 Kazhdan 在函数域中证明此类 Eisenstein 系列为有限和结果的数域类比？

主要发现

• 在 ℚ 上 Chevalley 群 $ G $ 的环群上，尖 Eisenstein 系列 $ E_{\phi,\nu} $ 对所有 $ \nu \in \mathbb{C} $ 绝对收敛，证明其为 $ \nu $ 的整函数。
• 该结果与有限维情形形成根本性差异：在后者中，此类级数仅在右半平面绝对收敛，且其常数项中包含由 L-函数引起的极点。
• 证明依赖于尖形式在尖点处的指数衰减，其强度超过经典自守形式中已知的多项式衰减。
• 作者推导出环群设定中对角 Iwasawa 分量的增长估计，这对控制级数在无穷远处的收敛性至关重要。
• 该工作首次给出了无限维群上整 Eisenstein 系列的已知实例，将自守形式的范围拓展至有限维李群之外。
• 该结果是 Braverman 与 Kazhdan 在函数域中所证定理的 $ \mathbb{Q} $-类比，后者证明在该设定中此类级数为有限和，原因在于尖形式具有紧支集。