[论文解读] Algebraic theta functions and Eisenstein-Kronecker numbers

Kenichi Bannai, Shinichi Kobayashi|ArXiv.org|Sep 5, 2007

Advanced Mathematical Identities参考文献 21被引用 7

一句话总结

本文利用Mumford的代数theta函数理论，构建了一个双变量p进测度，插值Eisenstein-Kronecker数，从而实现了对虚二次域上Hecke特征标p进L函数的构造。关键贡献在于通过来自Kronecker theta函数的生成函数，实现了L函数特殊值的p进插值，将经典结果推广至CM情形。

ABSTRACT

In this paper, we give an overview of our previous paper concerning the investigation of the algebraic and $p$-adic properties of Eisenstein-Kronecker numbers using Mumford's theory of algebraic theta functions.

研究动机与目标

• 将cyclotomic p进L函数的构造方法推广至虚二次域，借助代数theta函数。
• 为CM椭圆曲线上的Hecke特征标建立一个插值Eisenstein-Kronecker数的p进测度。
• 将Yager、Manin-Vishik和Katz的双变量p进L函数构造方法推广至CM情形。
• 利用theta函数和形式群，提供L函数特殊值的几何与代数框架。

提出的方法

• 将Eisenstein-Kronecker数定义为格点上的求和，包含指数特征标与复共轭幂次。
• 引入Kronecker theta函数作为Eisenstein-Kronecker数的生成函数，其与雅可比theta函数的差异在于一个指数因子。
• 利用Mumford的代数theta函数理论，证明该生成函数在Q上代数，在W上p进。
• 通过乘法群的形式群中theta函数的幂级数展开，构造p进测度。
• 应用p进测度与W[[T]]中幂级数之间的标准对应关系，定义插值Eisenstein-Kronecker数的测度。
• 将测度限制在(Z_p^×)^2上，并利用分布公式计算其对L值的插值性质。

实验结果

研究问题

• RQ1 Eisenstein-Kronecker数如何被解释为虚二次域上Hecke特征标L函数的特殊值？
• RQ2 能否构造一个双变量p进测度，以插值Eisenstein-Kronecker数并由此得到p进L函数？
• RQ3 Kronecker theta函数在实现Eisenstein-Kronecker数的代数与p进性质中起到何种作用？
• RQ4 theta函数的代数与p进结构如何与p进L函数的构造相关联？

主要发现

• Eisenstein-Kronecker数的生成函数由Kronecker theta函数给出，该函数通过Mumford理论在代数与p进意义下均成立。
• 构造了一个p进测度μ_{z₀,w₀}，通过theta函数在形式群中的幂级数展开，实现对Eisenstein-Kronecker数的插值。
• 该测度满足插值性质：∫ x^{b-1}y^a dμ_{z₀,w₀}(x,y) = (-1)^{a+b-1}(b-1)! e^*_{a,b}(z₀,w₀)/A^a，仅差一个归一化因子。
• 定义测度μ_φ为Hecke特征标的求和，插值Hecke L函数的临界值，与Yager的插值公式一致。
• 通过[BK2]中发展的非p整幂级数的广义分布理论，该构造可推广至奇异情形。
• 该方法通过相同的测度框架，恢复了Manin-Vishik和Katz的双变量p进L函数。