[论文解读] An identity for sums of polylogarithm functions

Steven J. Miller|arXiv (Cornell University)|Apr 22, 2008

Analytic Number Theory Research参考文献 21被引用 9

一句话总结

本文推导出负整数指标的多 polylogarithm 函数线性组合的恒等式，将其表示为简单的有理函数。关键结果将这些组合与 Eulerian 数以及全纯尖点新形式的 Satake 参数联系起来，从而能够显式计算 L-函数在中心点附近的 1-水平密度中的低阶项，揭示了诸如具有与不具有复乘法的族之间的算术差异。

ABSTRACT

We derive an identity for certain linear combinations of polylogarithm functions with negative exponents, which implies relations for linear combinations of Eulerian numbers. The coefficients of our linear combinations are related to expanding moments of Satake parameters of holomorphic cuspidal newforms in terms of the moments of the corresponding Fourier coefficients, which has applications in analyzing lower order terms in the behavior of zeros of L-functions near the central point.

研究动机与目标

• 推导出负整数 r 的 polylogarithm 函数 Li_{-r}(x) 线性组合的恒等式。
• 将这些组合与全纯尖点新形式的 Satake 参数的 Eulerian 数及矩联系起来。
• 为计算 L-函数 1-水平密度中的低阶校正项提供一个可处理的公式。
• 揭示零点统计中的算术依赖性，特别是区分具有与不具有复乘法的族。

提出的方法

• 使用生成函数以及从 k 的二次和一次多项式乘积中导出的系数 a_{\ell,i} 和 b_{\ell,i}。
• 通过归纳法和显式计算证明，特定的 Li_{-r}(x) 线性组合等于形式为 x^\ell(1+x)/(1-x)^{2\ell+1} 的有理函数。
• 依赖于 Li_{-r}(x) 用 Eulerian 数和有理函数表示的闭式表达。
• 引入在数论背景下自然出现的系数 c_{m,r}，尤其在新形式的 Fourier 系数矩中出现。
• 在 1-水平密度的显式公式中交换对 m 和 r 的求和，利用 polylogarithm 恒等式简化表达式。
• 用已知或猜想的分布（例如 Sato-Tate）替换 Satake 参数的高阶矩，从而以紧凑形式表示低阶项。

实验结果

研究问题

• RQ1 如何将负指数的 polylogarithm 函数线性组合简化为有理函数？
• RQ2 此类组合与 Eulerian 数或 Satake 参数矩之间有何联系？
• RQ3 这些恒等式如何帮助计算 L-函数在中心点附近的 1-水平密度中的低阶项？
• RQ4 这些项以何种方式反映算术结构，例如椭圆曲线族中的复乘法？
• RQ5 该恒等式是否能通过捕捉非普遍的、依赖算术的校正项，从而改进 L-函数零点分布的模型？

主要发现

• 该恒等式指出，Li_{-2\ell}(x) 到 Li_0(x) 的特定线性组合等于 (2\ell)!/2 * x^\ell(1+x)/(1-x)^{2\ell+1}，其中 |x|<1。
• 类似地，Li_{-2\ell-1}(x) 到 Li_0(x) 的线性组合等于 (2\ell+1)! * x^\ell(1+x)/(1-x)^{2\ell+2}。
• 这些恒等式通过有理函数展开中的系数匹配，暗示了 Eulerian 数之间的关系。
• 线性组合中的系数 a_{\ell,i} 和 b_{\ell,i} 出现在全纯尖点新形式的 Satake 参数矩展开中。
• 当应用于 1-水平密度时，该恒等式允许将 r≥3 的求和重写为涉及矩 M_\ell 的生成函数 g_M(x) 的紧凑表达式。
• 所得公式将区分具有与不具有复乘法的族的低阶校正项分离出来，打破了随机矩阵理论中观察到的普遍性。