[論文レビュー] On Algebraic Expressions of Sigma Functions for (n,s) Curves

Atsushi Nakayashiki|ArXiv.org|Mar 14, 2008

Advanced Numerical Analysis Techniques参考文献 11被引用数 13

ひとこと要約

本稿では、(n,s)-曲線の多変数シグマ関数について、代数的積分を用いて代数的表現を確立し、無限遠点におけるギャップ列を通じてその級数展開とシュール関数を直接結びつける。主な貢献は、シグマ関数を素関数と代数的微分形式の反復積分で表す公式を提示し、リーマンの消滅定理やソリトン解の退化に関する先行研究に依存せずに、展開の最初の項がシュール関数であることを証明することにある。

ABSTRACT

An expression of the multivariate sigma function associated with a (n,s)-curve is given in terms of algebraic integrals. As a corollary the first term of the series expansion around the origin of the sigma function is directly proved to be the Schur function determined from the gap sequence at infinity.

研究の動機と目的

• ハイパーエリプティックなシグマ関数のクラインの代数的公式を(n,s)-曲線へ一般化すること。
• シグマ関数の級数展開とシュール関数との直接的な関係を確立し、ブーツターバー、エノルスキー、レイキンらの先行研究に依存しないこと。
• シグマ関数の変換性と零点性を模倣するX×X上に定義された素関数を構成し、シグマ関数の公式の構築の基盤とすること。
• 原点まわりのシグマ関数の級数展開における最初の項が、無限遠点におけるギャップ列によって定まるシュール関数であることを証明すること。
• 微分方程式を解いたり、theta除数の特異性を解析したりする必要がない、代数的積分を用いたシグマ関数の公式を提供すること。

提案手法

• 双線形微分形式ω̂の代数的積分を用いて、楕円曲線に対するクラインの公式を一般化したX×X上に素関数を構成する。
• 素関数をẼ(p₁,p₂) = (x(p₂)−x(p₁))/√(f_y(p₁)f_y(p₂)) × exp(½ ∑ᵢ ∫_{p₁⁽ⁱ⁾}^{p₂⁽ⁱ⁾} ∫_{p₁}^{p₂} ω̂) として定義する。ここでp⁽ⁱ⁾はx写像による前像である。
• フロベニウス＝スティッケルベルガーの一般化された加法公式を用いて2点関数をN点関数へ拡張し、X^N上でのシグマ関数の構成を可能にする。
• 素関数と代数的積分を含む行列式による公式を通じて、X^N上に対称的で多価な正則関数としてシグマ関数を導出する。
• 超楕円的ケース(n=2)に公式を適用し、クラインの古典的結果を回復し、一貫性を確認する。
• ソリトン理論からの次数フィルトレーションを用いて、シグマ関数の展開係数が曲線の係数に関する同次多項式であることを示す。

実験結果

リサーチクエスチョン

• RQ1 クラインの楕円曲線のシグマ関数に対する代数的公式を、代数的積分を用いて(n,s)-曲線へ一般化できるか？
• RQ2 (n,s)-曲線のシグマ関数の級数展開における最初の項が、無限遠点におけるギャップ列によって定まるシュール関数であるか？
• RQ3 シュール関数との関係を、リーマンの消滅定理に関するブーツターバー他らの結果に依存せずに確立できるか？
• RQ4 シグマ関数の準周期性および零点性を模倣するX×X上の素関数の構造は何か？
• RQ5 微分方程式を解いたり、theta除数の特異性を解析したりする必要がない、代数的積分を用いたシグマ関数の直接的表現は何か？

主な発見

• (n,s)-曲線のシグマ関数は、素関数と代数的微分形式ω̂の反復積分を含む行列式による公式を通じて、X^N上に対称的で多価な正則関数として表現される。
• 原点まわりのシグマ関数の級数展開における最初の項が、無限遠点におけるギャップ列によって定まる分割に対応するシュール関数であることが証明された。
• 級数展開の係数は、(n,s)-曲線の定義方程式の係数λ_ijに関する同次多項式であり、ソリトン理論からの次数フィルトレーションによって次数が決定される。
• 公式は楕円曲線に対するクラインの古典的結果を回復し、超楕円的ケースで一貫性を確認したほか、高(genus)の(n,s)-曲線へ一般化された。
• 素関数Ẽ(p₁,p₂)は、シグマ関数と同じモノドロミー性質を持つX×X上の多価関数として構成され、基本的な構築要素として機能する。
• 本手法は[11]における誤った公式(4)に依存せず、準周期的解の退化を仮定しない、シュール関数との関係の直接的かつ自己完結的な導出を提供する。