[論文レビュー] Determinant Expressions for Hyperelliptic Functions (with an Appendix by Shigeki Matsutani)

Yoshihiro Ônishi|ArXiv.org|May 23, 2001

Algebraic Geometry and Number Theory参考文献 11被引用数 19

ひとこと要約

本稿は、任意の genus の超楕円曲線へ、楕円関数の古典的行列式恒等式を一般化する。特異な $\sigma$-関数およびその導関数の組み合わせを、曲線上の座標関数 $x(u)$ と $y(u)$ の導関数から構成される行列の行列式として表現する。主な貢献は、フェイの公式と楕円関数の古典的恒等式を回復・拡張する統一的な行列式公式を、ジャコビアンではなく曲線そのものに注目することで得た点である。

ABSTRACT

In this paper we give quite pretty generalization of the formula of Frobenius-Stickelberger to all hyperelliptic curves. The formula of Kiepert type is also obtained by limiting process from this generalization. In Appendix a determinant expression of D.G. Cantor is also given.

研究の動機と目的

• 楕円関数の古典的行列式公式を、任意の genus の超楕円曲線へ一般化すること。
• フェイの公式と古典的恒等式を統一的に含む、$\sigma$-関数およびその導関数の組み合わせの行列式表現を提供すること。
• グレントの哲学にインspiredされ、ジャコビアン多様体ではなく曲線そのものに注目することで、より自然な一般化を実現すること。
• 序論に記載された (0.3) および (0.4) を自然に一般化する行列式公式を、すべての超楕円曲線に対して有効とするものとして確立すること。

提案手法

• 曲線の普遍アーベル被覆への超楕円関数の定義を、アーベル写像を用いて曲線上の点を $\mathbb{C}^g$ のベクトルに同定することで行う。
• 座標関数 $x(u)$ および $y(u)$ の多項式 $x^k$ と $yx^k$ の導関数を成分とする行列を構成する。
• 二項係数を含む微分作用素 $\left(\frac{d}{dx}\right)^k$ を用いて行列の成分を構築し、テイラー展開の構造を反映させる。
• 列の再順序付けとスケーリングを施し、階乗と $y(u)$ の導関数を含む形に行列式を変形し、洗練された行列式表現を得る。
• 行列の構造を活用して、$1!2!\cdots(r!)$ のような項を因数分解し、基底変換により行列式を $\sigma$-関数の積と関連付ける。
• genus 1 および genus 2 における既知の恒等式との比較により公式の妥当性を検証し、付録で帰納法と組合せ恒等式を用いて一般ケースを証明する。

実験結果

リサーチクエスチョン

• RQ1 楕円関数の古典的行列式恒等式は、任意の genus の超楕円曲線へ一般化可能か？
• RQ2 フェイの公式と高genus曲線における古典的恒等式 (0.3) および (0.4) を統一する行列式公式は存在するか？
• RQ3 ジャコビアン多様体ではなく、曲線そのものに注目することで、このような一般化が達成可能か？
• RQ4 $\sigma$-関数の性質を捉えるために、行列式行列の正確な構造は何か？
• RQ5 組合せ係数および $x(u)$ と $y(u)$ の導関数は、どのようにして $\sigma(nu)/\sigma(u)^{n^2}$ の洗練された表現を生成するか？

主な発見

• 本稿は、任意の genus $g \geq 1$ の超楕円曲線に対して、$\sigma(nu)/\sigma(u)^{n^2}$ の一般行列式公式を確立した。
• この行列式表現は genus 1 において古典的恒等式 (0.3) および (0.4) と一致し、すべての genus に一般化される。
• 行列式は $x^k$ および $yx^k$ の導関数から構成される行列の列の再順序付けとスケーリングにより得られ、二項係数および階乗項を含む係数を有する。
• 最終的な行列式形態は、$y(u)$ に作用する微分作用素の行列に階乗でスケーリングされたものと等価であり、$y^{(k)}(u)/k!$ を含む洗練された表現を導く。
• 導出過程により、古典的状況における符号因子 $(-1)^{n-1}$ と階乗積 $1!2!\cdots(n-1)!$ が、一般設定において自然に再現されることを確認した。
• 付録では、列の操作と組合せ恒等式を用いて、定理 A.1 の行列式恒等式を完全に証明し、主結果の妥当性を裏付けた。