[论文解读] A template method for Fourier coefficients of Langlands Eisenstein series

Dorian Goldfeld, Stephen D. Miller+1 more|arXiv (Cornell University)|Jul 27, 2020

Advanced Algebra and Geometry参考文献 10被引用 6

一句话总结

本文提出了一种'模板方法'，通过在 GL(n,R) 上使用 Borel Eisenstein 系列以及在 adeles 上的 Chevalley 群，利用初等线性代数计算更一般的 Langlands Eisenstein 系列的首项 Fourier 系数。其关键贡献在于引入了一个典范归一化的 Whittaker 函数，避免了 Jacquet 积分表示中的消失问题，并提供了 Γ-因子和 π 的幂的显式公式，从而在高秩自守形式中实现精确控制。

ABSTRACT

This paper introduces the template method for computing the first coefficient of Langlands Eisenstein series on $\GL(n,\mathbb R)$ and more generally on Chevalley groups over the adele ring of $\mathbb Q.$ In brief, the first coefficient of Borel Eisenstein series can be used as a template to compute the first coefficient of more general Eisenstein series by elementary linear algebra calculations.

研究动机与目标

• 开发一种系统方法，用于计算 GL(n,R) 和 Q 的 adele 环上 Chevalley 群上的 Langlands Eisenstein 系列的首项 Fourier 系数。
• 解决文献中缺乏对 archimedean Whittaker 函数的直接计算的问题，此前该问题依赖于 Shahidi 函数的间接推导。
• 提供 Fourier 系数中 Γ-因子和 π 的幂的显式公式，这对高秩自守形式中的解析应用至关重要。
• 建立 Whittaker 函数的典范归一化，避免在负 Weyl 单元中消失，并简化 Fourier 展开的定义。

提出的方法

• 该方法将 Borel Eisenstein 系列的首项 Fourier 系数作为模板，利用其已知结构，通过根系和 Langlands 参数上的线性代数计算更一般 Eisenstein 系列的系数。
• 引入一个典范归一化的 Whittaker 函数，其在负 Weyl 单元中非零且渐近行为简单，克服了 Jacquet 积分表示的局限性。
• 该构造依赖于 Langlands 参数 α = (α₁, α₂, α₃) ∈ ℂ³ 且满足 ∑αᵢ = 0，这些参数参数化了 GL(3,R) 上不变微分算子环的特征函数。
• 对于 GL(3)，使用特征函数 I(g,α) = y₁¹⁻ᵃ³ y₂¹⁺ᵃ¹ 作为基本构建块，其 Laplace 特征值为 1 − (α₁² + α₂² + α₃²)/2。
• 该方法可推广至更高秩群，如 GL(4)、SL(4) 和例外群如 E₈，利用抛物诱导和根系数据（如 Satake 参数、余根和基本权）。
• 通过标准 L-函数的函数方程，利用已知的 Euler 因子，直接从归一化的 Whittaker 函数推导出局部 L-因子。

实验结果

研究问题

• RQ1 能否仅通过线性代数和根系数据，直接从 Borel Eisenstein 系列计算一般 Langlands Eisenstein 系列的首项 Fourier 系数？
• RQ2 何种典范归一化方式可使 Whittaker 函数避免在 Jacquet 积分表示中消失，并具有可处理的渐近行为？
• RQ3 在 archimedean 情况下，特别是高秩情形，如何显式推导出 Fourier 系数中 Γ-因子和 π 的幂？
• RQ4 一般 Eisenstein 系列的 Fourier 系数的局部因子在多大程度上模仿了 Borel 系列的结构？
• RQ5 在根系参数和 L-函数的术语下，SL(4) 和例外群如 E₈ 上 Eisenstein 系列的 Fourier 系数的精确结构是什么？

主要发现

• 本文通过一个不恒为零的典范归一化 Whittaker 函数，直接计算了 archimedean Whittaker 函数的 Γ-因子和 π 的幂，解决了关键的技术障碍。
• 对于 GL(3)，首项 Fourier 系数被证明与 L*(s+1,π)⁻¹ 成比例，其 Γ-因子由归一化的 Whittaker 函数显式导出。
• 在 SL(4) 情形下，(3,1) 抛物子群的 Fourier 系数为 L*(s+1,φ)⁻¹，其中 φ 是 GL(2) 上的尖形式；而 (2,2) 抛物子群的系数为 L*(s+1,φ₁×φ₂)⁻¹。
• 对于 E₈ 的 D₇ 抛物子群，系数为 L*(s+1,π,Spin)⁻¹L(2s+1,π,Stan)⁻¹，其中 L-函数分别关联于 64 维的自旋表示和 14 维的 'Stan' 表示。
• 该方法成功计算了 E₈ 上 Eisenstein 系列的 Fourier 系数，使用 E₇ 和 D₇ 抛物子群，结果以标准和伴随 L-函数的形式表达。
• 该框架使得对函数方程中 Γ-因子的显式控制成为可能，这对诸如 [GSHW19] 中的应用至关重要，其中需要精确的解析行为。