[論文レビュー] Universal elliptic functions

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

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

ひとこと要約

本稿は、係数μ₁からμ₆をもつ一般の楕円曲線の、ユニバーサルな楕円シグマ関数σ(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=0におけるシグマ関数σ(u)のべき級数展開を分析すること。
• この展開における係数の明確な整数性の性質を特定し、特に素数2の果たす役割を同定すること。
• Weierstrass再帰とは異なる方法を確立し、高種数曲線へ一般化可能であるようにすること。
• シグマ関数の展開を用いて、曲線の座標関数のn等分公式を明示的に導出すること。
• 一般にσ(u)がℤ[μ₁, μ₂, μ₃, μ₄, μ₆]に属さないが、ℤ[μ₁/2, μ₂, μ₃, μ₄, μ₆]に属する理由を明確にすること。

提案手法

• 無限遠点における算術的局所パラメータt = -x/yを用いて曲線をパラメトライズし、x(u)とy(u)をtのべき級数として表現する。
• 正則微分形式ω₁ = dx / (2y + μ₁x + μ₃)を定義し、tにおける展開を導出し、(1 + tℤ[μ₁, μ₂, μ₃, μ₄, μ₆][[t]])dtに属することを示す。
• 基本的な2形式Ω(x,y,z,w) = -(y + w + μ₁z + μ₃)/((z - x)(2y + μ₁x + μ₃)) dxを導入し、留数論を用いてシグマ関数を導出する。
• 基本的微分形式および局所パラメータの理論を適用して、u=0におけるσ(u)のべき級数を計算し、係数がℤ[μ₁/2, μ₂, μ₃, μ₄, μ₆]に属することを示す。
• 両辺のべき級数展開を比較することで、n等分多項式ψₙ(u) = σ(nu)/σ(u)^{n²}を導出する。
• 座標関数および微分形式の再帰的展開を用いて、シグマ関数およびn等分公式の係数を体系的に計算する。

実験結果

リサーチクエスチョン

• RQ1 なぜ一般にσ(u)の係数はℤ[μ₁, μ₂, μ₃, μ₄, μ₆]に属さず、ℤ[μ₁/2, μ₂, μ₃, μ₄, μ₆]に属するのか？
• RQ2 u=0におけるσ(u)のべき級数展開における係数の明確な整数性条件は何か？ なぜ素数2が唯一の障害となるのか？
• RQ3 シグマ関数の展開は、特にMazur-Tateのp進L関数に関する結果を踏まえた楕円曲線の算術的構造とどのように関連するのか？
• RQ4 本稿で用いられた方法は、著者が中谷の仕事の拡張を意図しているように、高種数曲線へ一般化可能か？
• RQ5 奇数nおよび偶数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再帰とは本質的に異なり、高種数曲線への一般化を想定して設計されており、ユニバーサルなシグマ関数に対する新たなアプローチを提供する。