[論文レビュー] Multi-variable sigma-functions: old and new results

Victor Matveevich Buchstaber, V. Z. Enolski+1 more|arXiv (Cornell University)|Oct 25, 2018

Algebraic Geometry and Number Theory参考文献 4被引用数 6

ひとこと要約

本稿は、双曲的代数曲線上の多変数シグマ関数の統一的θ関数的表現を構築し、ヤコビアン変数と曲線パラメータの両方を独立変数として扱う。第一種および第二種周期積分の明示的表現を半整数特性を持つθ定数の言語で導出し、ローゼンハインとクライン型の公式を一般化するとともに、曲線パラメータ上に作用するζ関数およびπ関数の微分作用素を構成する。生成関数の完全な導出を種数1および2の曲線について行い、関連するリー代数の微分作用素の閉形式での交換関係を導出する。

ABSTRACT

We consider multi-variable sigma function of a genus $g$ hyperelliptic curve as a function of two group of variables -jacobian variables and parameters of the curve. In the theta-functional representation of sigma-function, the second group arises as periods of first and second kind differentials of the curve. We develop representation of periods in terms of theta-constants. For the first kind periods, generalizations of Rosenhain type formulae are obtained, whilst for the second kind periods theta-constant expressions arepresented which are explicitly related to the fixed co-homology basis.We describe a method of constructing differentiation operators for hyperelliptic analogues of $ζ$- and $\wp$-functions on the parameters of the hyperelliptic curve. To demonstrate this method, we gave the detailed construction of these operators in the cases of genus 1 and 2.

研究の動機と目的

• 多変数シグマ関数の取り扱いを統一し、ヤコビアン変数と曲線パラメータの両方を独立変数として含めること。
• 第一種および第二種完全アーベル積分を半整数特性を持つθ定数の言語で明示的に表現すること。
• 第一種周期のローゼンハイン型公式を高種数ハイパーオーバル曲線に一般化し、第二種周期のクラインの公式を高種数ハイパーオーバル曲線に拡張すること。
• ハイパーオーバル曲線のζ関数およびπ関数に作用する微分作用素$L_k$を構成し、シグマ関数の動的系的記述を可能にすること。
• 導出した作用素および周期表現を用いて、ハイパーオーバルアーベル関数の体上のリー代数の微分作用素の交換関係を確立すること。

提案手法

• ヤコビアン変数とリーマン行列パラメータ（曲線モジュライ）の両方を変数とするシグマ関数のθ関数的表現を用いる。
• 正則および有理型微分形式の周期を半整数特性を持つθ定数の言語で表現し、ローゼンハインおよびクラインの古典的結果を一般化する。
• フロベニウス＝スティッケルベルガー法を適用し、非完全従属フレームにおける熱型方程式系を導出し、非完全従属接続を介してシグマ関数を定義する。
• 曲線パラメータ上に作用する微分作用素$L_k$を構成し、シグマ関数の対数微分から導出され、π関数および不変量$\lambda_{2k}$の言語で表現する。
• 導出した作用素を用いて、リー代数$\operatorname{Der}(F_2)$における交換関係を計算し、座標$u_1, u_3$および不変量への作用を通じて一貫性を検証する。
• 既知のζ関数およびπ関数の表現を用いて、種数1および2における明示的計算を実施し、微分作用素の構造およびその交換関係の正当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 種数$g$のハイパーオーバル曲線上の第一種および第二種微分形式の周期は、半整数特性を持つθ定数の言語でどのように明示的に表現できるか？
• RQ2 第一種周期のローゼンハインの公式は、高種数ハイパーオーバル曲線にどのように一般化できるか？
• RQ3 第二種周期のクラインの公式は、種数3の非ハイパーオーバル曲線から高種数ハイパーオーバル曲線にどのように拡張できるか？
• RQ4 ハイパーオーバル曲線のパラメータ上に作用する微分作用素$L_k$の構造は何か？ また、アーベル関数体上のリー代数の微分作用素をどのように生成するか？
• RQ5 リー代数$\operatorname{Der}(F_2)$における微分作用素$L_k$の明示的交換関係は何か？ また、それらはどのように基本的なシグマ関数の構造から導出されるか？

主な発見

• 本稿は、ローゼンハインの第一種周期の公式を高種数ハイパーオーバル曲線に一般化し、半整数特性を持つθ定数の有理関数として表現する。
• 第二種周期の明示的表現を、導出された偶数特性θ定数の言語で得ており、クラインの種数3の公式を任意の種数$g$のハイパーオーバル曲線に拡張する。
• 種数1および2において、曲線パラメータ上に作用する微分作用素$L_k$を構成し、$L_0, L_1, L_2, L_3, L_4, L_6$はすべてπ関数および不変量$\lambda_{2k}$の言語で明示的に与えられる。
• 作用素$L_k$間の交換関係が導出され、座標$u_1$および$u_3$への作用を計算することで検証され、π関数の積および不変量を含む明示的係数が得られる。
• リー代数$\operatorname{Der}(F_2)$の構造は完全に特定され、$[L_0, L_k] = kL_k$および$[L_1, L_2] = \wp_{1\cdot 2}L_1 - L_3$などの関係が確認され、系の代数的閉包性が裏付けられる。
• 導出により、シグマ関数が非完全従属フレームにおける熱方程式系の解として完全に決定されることを確認し、その係数が曲線のモジュライおよび不変量に依存することが示される。