[论文解读] Shtukas and the Taylor expansion of $L$-functions

Zhiwei Yun, Wei Zhang|arXiv (Cornell University)|Dec 8, 2015

Advanced Algebra and Geometry参考文献 11被引用 4

一句话总结

本论文通过将 PGL2 上一个无ramified的 cuspidal 自守表示 π 的基改变 L 函数的 r 阶中心导数与具有 r 个修正的秩二 Drinfeld Shtuka 模堆栈上的 Heegner–Drinfeld 循环的 π-同调分量的自相交数联系起来，建立了 Gross–Zagier 和 Waldspurger 公式的函数域类比。该结果利用 shtuka 模空间上的几何与谱方法，将经典的 L 函数公式推广到函数域设定下的高阶导数。

ABSTRACT

We define the Heegner--Drinfeld cycle on the moduli stack of Drinfeld Shtukas of rank two with $r$-modifications for an even integer $r$. We prove an identity between (1) The $r$-th central derivative of the quadratic base change $L$-function associated to an everywhere unramified cuspidal automorphic representation $π$ of $PGL_{2}$; (2) The self-intersection number of the $π$-isotypic component of the Heegner--Drinfeld cycle. This identity can be viewed as a function-field analog of the Waldspurger and Gross--Zagier formula for higher derivatives of $L$-functions.

研究动机与目标

• 将 Gross–Zagier 和 Waldspurger 公式推广到函数域设定下 L 函数的高阶中心导数。
• 定义并研究具有 r 个修正的 Drinfeld Shtuka 模堆栈上的 Heegner–Drinfeld 循环。
• 建立基改变 L 函数的 r 阶中心导数与循环的 π-同调分量的自相交数之间的精确恒等式。
• 将 L 函数导数的几何解释扩展至首项以外的情形，即使当 r 不是 L 函数在 s = 1/2 处的零点阶数时亦成立。

提出的方法

• 定义在有限域上曲线 X 上的秩二具有 r 个修正的 Drinfeld Shtuka 的模堆栈 Shtr_G。
• 将 Heegner–Drinfeld 循环构造为与自守表示 π 兼容的 Shtr_G 上的循环。
• 利用相对迹公式与谱分解，将自守 L 函数与几何不变量联系起来。
• 应用上同调谱分解与交集理论，计算 π-同调分量的自相交数。
• 通过迹公式在分析侧（L 函数导数）与几何侧（交集数）之间建立比较。
• 利用 L 值的超正性结果与函数方程，确保最终恒等式中的非退化性与正性。

实验结果

研究问题

• RQ1 Gross–Zagier 和 Waldspurger 公式能否在函数域设定下推广至高阶导数？
• RQ2 在 shtuka 模空间上是否存在一个几何对象，其自相交数可计算 L 函数的 r 阶中心导数？
• RQ3 基改变 L 函数的 r 阶导数能否完全用 shtuka 模堆栈上的交集理论表达？
• RQ4 Heegner–Drinfeld 循环的几何构造是否对任意 r 均给出统一公式，而不受零点阶数影响？

主要发现

• 基改变 L 函数 L(πF′, s) 的 r 阶中心导数等于 Heegner–Drinfeld 循环在 Shtr_G 上的 π-同调分量的自相交数。
• 该恒等式对任意偶数 r 成立，且即使当 r 不是 L 函数在 s = 1/2 处的零点阶数时也适用。
• 模堆栈 Shtr_G 允许一个到 X^r 的纤维化，这使得循环的构造与谱分解成为可能。
• L(πF′, s) = L(πF′, 1−s) 的函数方程在归一化的 L 函数 L(πF′, s) 中得以保持，且中心值为超正。
• 证明依赖于通过函数方程与单位酉自对偶表示建立的 L 值超正性，确保了中心导数的正性。
• 该结果为函数域情形下高阶 L 函数导数提供了几何解释，提示了数域情形下中心导数可能具有几何意义，尽管目前尚无此类模空间。