[論文レビュー] Theory of Heat Equations for Sigma Functions

J. C. Eilbeck, John Gibbons+2 more|arXiv (Cornell University)|Nov 22, 2017

Advanced Differential Equations and Dynamical Systems参考文献 11被引用数 12

ひとこと要約

本稿は、高 genus の超楕円曲線上のシグマ関数の熱方程式理論を展開し、古典的なワイエルシュトラスおよびフロベニウス＝シュティーカーバーガーの結果を一般化する。再帰関係によって一意にシグマ関数を決定する熱作用素の体系を確立し、関数の不変性を証明するとともに、変数に関しては重み40まで、係数に関しては重み35までの明示的級数展開を提供する。

ABSTRACT

We consider the heat equations satisfied by the sigma function associated with a planar curve, extending and developing earlier pioneering work of Buchstaber and Leykin. These heat equations lead to useful {\em linear} recursive relations for the coefficients of power series expansion of the sigma function. In particular we exhibit explicit results for curves of genus 3, and give a new constructive proof of an explicit expression for the main matrix in the theory for {\em any} hyperelliptic curve. We also state and prove a new explicit formula for the eigenvalues of the linear operators associated with this matrix, as well as other practical formulae.

研究の動機と目的

• ワイエルシュトラスのシグマ関数の古典的熱方程式理論を、高 genus の超楕円曲線へ一般化すること。
• 長年の未解決問題である、シグマ関数の表現における定数因子を決定すること、これは従来、genus 1 および 2 の場合にのみ分かっていた。
• 熱作用素の制約を用いて、シグマ関数の級数展開の係数に対する体系的な再帰関係を提供すること。
• シグマ関数の定義における不変でない成分の相殺によって、シグマ関数がシンプレクティック基底変換に対して不変であることを証明すること。
• 判別式超曲面に接する熱作用素を用いた、シグマ関数の完全な代数的枠組みを確立すること。

提案手法

• 曲線のモジュライ空間上の微分作用素から構成された代数的熱作用素を用いて、主要な熱方程式を導出する。
• シグマ関数級数の項を分類し、再帰関係による簡約を追跡するための相対的重み系を導入する。
• 作用素 R_j および S_j を用いて、非負の相対的重みを持つ項を、より低い重みの成分へ体系的に簡約する。
• あるインデックスが負である場合に係数が消えるという条件を用いて、係数 b(ℓ,m,n₂,…,n₁₂) の再帰的構造を定義する。
• 全定数を固定し、解の一意性を保証するために、正規化条件 b(1,0,0,…,0) = 1 を実装する。
• R₁₀, R₇, S₃,₄, T₃,₄⁽⁰⁾ などの明示的再帰関係を構築し、変数 u_j に関して重み40までの係数を計算する。

実験結果

リサーチクエスチョン

• RQ1 ワイエルシュトラスのシグマ関数の古典的熱方程式形式主義を、高 genus の超楕円曲線へどのように一般化できるか？
• RQ2 (2,q)-曲線および(3,4)-曲線のシグマ関数級数展開の係数を支配する再帰関係は何か？
• RQ3 genus 1 や 2 を超える曲線に対して、シグマ関数の表現における定数因子を代数的にどのように決定できるか？
• RQ4 判別式超曲面は、それ自身に接する熱作用素の定義において果たす役割は何か？
• RQ5 正規化条件と熱方程式の制約から、シグマ関数を一意に再構成できるか？

主な発見

• (2,7)-曲線のシグマ関数は、変数 u_j に関して重み40までの級数展開が可能であり、係数は再帰関係によって決定される。
• j = 0,3,4,6,7,10 に対して、熱方程式系 (L_j - H_j)σ(u) = 0 の解は一意に1次元であり、正規化 b(1,0,0,…,0) = 1 によって一意に固定される。
• 係数 b(1,0,0,0,0,0,0,0) は 1 に設定され、他のすべての係数は R₁₀, R₇, R₆, S₃,₄, T₃,₄⁽⁰⁾, R₃⁽⁰⁾ の関係を用いて再帰的に計算される。
• 再帰関係により、簡約の鎖が終了するか、相対的重みが減少し、すべての係数の有限計算が保証される。
• シグマ関数展開の最初のいくつかの項が明示的に計算され、μ₂, μ₅, μ₆, μ₃ の寄与が含まれており、変数 u_j に関しては次数11までの項が含まれる。
• この手法により、シグマ関数 σ(u) がシンプレクティック基底変換に対して不変であることが確認され、theta 関数と定数因子における不変でない成分が正確に相殺される。