[论文解读] On Period Relations for Automorphic L-functions II

Fabian Januszewski|arXiv (Cornell University)|Apr 14, 2016

Advanced Algebra and Geometry参考文献 37被引用 12

一句话总结

本文通过在任意特征 0 域上使用余调和诱导泛函的有理结构与硬对偶性，建立了在具有 Shalika 模型的全实数域上 GL(2n) 自守表示的标准 L 函数的特殊值的周期关系。关键结果在有理因子意义下确认了 Deligne 的临界值猜想，且在自守基变换与伽罗瓦等变性下，周期与预测的代数结构一致。

ABSTRACT

We study Hecke algebras for pairs $({\mathfrak g},K)$ over arbitrary fields $E$ of characteristic $0$, define the Bernstein functor and give another definition of the Zuckerman functor over $E$. Building on this and the author's previous work on rational structures on automorphic representations, we show that hard duality remains valid over $E$ and apply this result to the study of rationality properties of Sun's cohomologically induced functionals. Our main application are period relations for the special values of standard $L$-functions of automorphic representations of $\mathrm{GL}(2n)$ admitting Shalika models.

研究动机与目标

• 建立在具有 Shalika 模型的全实数域上 GL(2n) 自守表示的标准 L 函数的有理性与周期关系。
• 将自守表示的有理结构方法扩展至 Rankin-Selberg 卷积之外的标准 L 函数情形。
• 验证与这类自守表示相关联的猜想动机的 L 函数临界值的 Deligne 猜想。
• 证明在余调和诱导下，阿代尔 zeta 积分在无限成分上产生 Q(Π)-有理泛函。
• 建立特殊值比的伽罗瓦等变性，确认其与周期预期算术结构的一致性。

提出的方法

• 在任意特征 0 域上，利用 Bernstein 与 Zuckerman 范函构造余调和诱导泛函的有理结构。
• 对一般基上的 Hecke 代数应用硬对偶性，以控制 Casselman-Wallach 表示上泛函的有理性。
• 利用 Bernstein 范函的基变换性质与代数 Borel-Bott-Weil 定理，关联不同域上的上同调。
• 在 Q(μ) 上使用相对李代数上同调，分析标准模底层结构。
• 推导 zeta 积分的显式公式，并证明余调和诱导态射的非零性准则。
• 应用紧致群与有限维表示的有理模型理论，控制全局周期关系中的算术条件。

实验结果

研究问题

• RQ1 具有 Shalika 模型的 GL(2n) 自守表示的标准 L 函数的特殊值是否满足 Deligne 猜想所预测的周期关系？
• RQ2 在临界点处的阿代尔 zeta 积分是否能在表示的无限成分上产生 Q(Π)-有理泛函？
• RQ3 L(s,Π⊗χ) 的全局周期关系是否与 Aut(C/Q) 作用下的预期伽罗瓦等变性兼容？
• RQ4 周期 Ω±(Π) 在有限阶 Hecke 特征标作用下的扭变行为如何？是否与预测的代数结构一致？
• RQ5 有理性域 Q(Π) 与周期公式中 √−1 的贡献之间的确切关系为何，特别是在 n 为奇数时？

主要发现

• 周期关系成立：L(1/2 + k, Π) ∈ (2πi)^{m·k} · Q(Π) · Ω_{(-1)^k}(Π)，其中 m = n·r_F，确认了临界值的 Deligne 猜想。
• 在临界点处计算的阿代尔 zeta 积分在 Π_∞ 上产生 Q(Π)-有理泛函，即使不假设强 Gelfand 性质亦成立。
• 全局周期关系具有伽罗瓦等变性：比值 L(s₀,Π⊗χ)/(G(χ̄)^n (2πi)^{j₀r_F n} Ω_{(-1)^{j₀}sgn χ}) 属于 Q(Π,χ)。
• 对每个临界半整数 s₀ = 1/2 + j₀，周期 Ω±(Π) 由 π₀((F⊗Q R)^×) 的 2^{r_F} 个特征标索引，与阿代尔位置数一致。
• 与 Π 相关联的猜想动机 M(Π) 的 Hodge 数满足 h_{v}^{p,q} = 1 于 (p,q) = (μ_{k,v} - k + 2n, μ_{2n+1−k,v} + k − 1)，且 d_v^± = n，确认了预期的 Hodge 结构。
• 比值 Ω_{(-1)^j sgn χ}/(2πi)^{r_F n² c_{(-1)^{j+n} sgn χ}} 属于 Q(Π)^×，这等价于对秩 1 Artin 动机的 Deligne 猜想。