[论文解读] Universal elliptic functions

Yoshihiro Ônishi|arXiv (Cornell University)|Mar 15, 2010

Algebraic Geometry and Number Theory参考文献 5被引用 7

一句话总结

本文建立了最一般形式的椭圆曲线（Weierstrass型，系数为 μ₁ 至 μ₆）的通用椭圆σ函数 σ(u) 的幂级数展开。证明了 σ(u) 在 ℤ[μ₁/2, μ₂, μ₃, μ₄, μ₆] 上是 Hurwitz 整的，即其 uⁿ/n! 展开式中所有系数均属于该环，且仅在 2 处存在对 ℤ[μ₁, ..., μ₆] 上整性的障碍。该结果与椭圆曲线的深层算术性质相关，并支持向高亏格曲线的推广。

ABSTRACT

For the elliptic curve defined by the most general form $y^2 + (μ_1 x + μ_3) y = x^3 + μ_2 x^2 + μ_4 x + μ_6$, we show the power series expansion of Weierstsass sigma function $σ(u)$ at the origin is of Hurwitz integral over $\mathbb{Z}[μ_1/2, μ_2, μ_3, μ_4, μ_6]$. Namely, the coefficient $c_n$ of any term $c_n u^n/n!$ of the expansion belongs to $\mathbb{Z}[μ_1/2, μ_2, μ_3, μ_4, μ_6]$. The last section contains several first terms of $n$-plication equation of the curve.

研究动机与目标

• 分析在系数 μ₁ 至 μ₆ 定义的最一般椭圆曲线上，σ(u) 在 u=0 处的幂级数展开。
• 确定该展开式中系数的精确整性性质，特别是识别出 2 的作用。
• 建立一种不同于 Weierstrass 递推关系的方法，该方法可推广至高亏格曲线。
• 利用 σ 函数展开推导出曲线坐标函数的显式 n 等分公式。
• 阐明为何 σ(u) 属于 ℤ[μ₁/2, μ₂, μ₃, μ₄, μ₆]，但一般不属于 ℤ[μ₁, μ₂, μ₃, μ₄, μ₆]

提出的方法

• 使用在无穷远点的算术局部参数 t = -x/y 参数化曲线，并将 x(u) 和 y(u) 表示为 t 的幂级数。
• 定义全纯微分 ω₁ = dx / (2y + μ₁x + μ₃)，并推导其在 t 中的展开式，表明其属于 (1 + tℤ[μ₁, μ₂, μ₃, μ₄, μ₆][[t]])dt。
• 引入基本二形式 Ω(x,y,z,w) = -(y + w + μ₁z + μ₃)/((z - x)(2y + μ₁x + μ₃)) dx，用于通过留数理论推导 σ 函数。
• 应用基本微分形式与局部参数的理论，计算 σ(u) 在 u=0 处的幂级数，证明其系数属于 ℤ[μ₁/2, μ₂, μ₃, μ₄, μ₆]。
• 通过比较两边的幂级数展开，推导出 n 等分多项式 ψₙ(u) = σ(nu)/σ(u)^{n²}。
• 通过坐标函数与微分形式的递推展开，系统地计算 σ 函数与 n 等分公式中的系数。

实验结果

研究问题

• RQ1 为何 σ(u) 的系数属于 ℤ[μ₁/2, μ₂, μ₃, μ₄, μ₆]，但一般不属于 ℤ[μ₁, μ₂, μ₃, μ₄, μ₆]？
• RQ2 σ(u) 在 u=0 处的幂级数展开中，系数的精确整性条件是什么？为何仅 2 是唯一的障碍？
• RQ3 σ 函数的展开如何与椭圆曲线的算术结构相关联，特别是在 Mazur-Tate 关于 p-adic L 函数的结果背景下？
• RQ4 本文所用方法能否如作者目标所示推广至高亏格曲线？
• RQ5 对于奇数与偶数 n，n 等分多项式 ψₙ(u) 的显式形式为何？其系数属于哪个环？

主要发现

• σ(u) 的平方在 ℤ[μ₁, μ₂, μ₃, μ₄, μ₆] 上是 Hurwitz 整的，即其幂级数展开中所有系数均属于该环。
• σ(u) 本身在 ℤ[μ₁/2, μ₂, μ₃, μ₄, μ₆] 上是 Hurwitz 整的，其形式为 cₙuⁿ/n!，且 cₙ ∈ ℤ[μ₁/2, μ₂, μ₃, μ₄, μ₆]。
• σ(u) 的系数中唯一出现在分母中的素数是 2，这与曲线的算术性质及 Mazur-Tate 的结果相关。
• 对于奇数 n，n 等分多项式 ψₙ(u) 的系数属于 ℤ[μ₁, μ₂, μ₃, μ₄, μ₆]，其中 C₁ 至 C₆ 的显式公式以 n 和 μᵢ 表示。
• 对于偶数 n，n 等分多项式 ψₙ(u) 的系数也属于 ℤ[μ₁, μ₂, μ₃, μ₄, μ₆]，C₁ 至 C₅ 的显式表达式已给出，表明相同的整性性质。
• 所用方法与 Weierstrass 递推有本质不同，且设计为可推广至高亏格曲线，为通用 σ 函数提供了新方法。