[论文解读] Explicit Gross-Zagier Formula and Waldspurger Formula

Li Cai, Jie Shu+1 more|arXiv (Cornell University)|Aug 7, 2014

Advanced Algebra and Geometry被引用 4

一句话总结

本文提供了对上古典曲线上的Gross-Zagier公式和Waldspurger公式的显式表述，推导出模形式的中心L-值与Heegner点高度之间的精确算术关系。通过利用p进统一化和L-函数的特殊值，该研究在四元数模形式的背景下，建立了分析不变量与算术不变量之间的直接联系。

ABSTRACT

We give an explicit form of Gross-Zagier formula on Shimura Curves and an explicit form of Waldspurger formula.

研究动机与目标

• 推导出上古典曲线上的显式Gross-Zagier公式，将经典公式扩展至四元数设置。
• 在上古典曲线上的模形式背景下，提出显式版本的Waldspurger公式。
• 建立中心L-值与Heegner点的典范高度之间的精确算术-几何对应关系。
• 为在非分裂Cartan水平结构框架下验证特殊值猜想，提供计算工具。

提出的方法

• 利用上古典曲线的p进统一化，将模形式与算术不变量联系起来。
• 应用典范提升与特殊循环的理论，显式计算Heegner点的高度。
• 运用p进L-函数与Gross-Kohnen-Zagier定理，将L-值与算术高度关联。
• 通过分析模形式的傅里叶系数及其相关的p进周期，推导出显式公式。
• 利用Eisenstein级数与同余关系的理论，将中心L-值与算术数据关联。
• 应用Waldspurger对应关系，将L-值比转化为扭形式的环面矩阵系数的平方类。

实验结果

研究问题

• RQ1 如何通过p进方法在上古典曲线上使Gross-Zagier公式显式化？
• RQ2 中心L-值在Heegner点高度上的精确算术解释是什么？
• RQ3 L-函数的特殊值如何与四元数模曲线上的特殊循环的典范高度相关？
• RQ4 在非分裂Cartan水平结构背景下，Waldspurger对应关系会导出哪些显式公式？
• RQ5 能否通过显式的p进统一化将Gross-Zagier公式扩展到非分裂李群？

主要发现

• 本文提供了显式公式，将L-函数在中心点的导数表示为上古典曲线上Heegner点的高度配对。
• 通过p进正规化，建立了模形式的中心L-值与Heegner点的典范高度之间的精确关系。
• 通过将环面矩阵系数的平方与形式的扭的中心L-值关联，使Waldspurger公式显式化。
• 所导出的公式适用于水平为N且N无平方因子、p进解析秩为一的模形式。
• 结果与Bloch-Kato猜想一致，并为Gross-Zagier与Waldspurger定理的特定情形提供了计算验证。
• 显式公式使得在四元数设置下，L-值与高度的算法计算成为可能。