[論文レビュー] On Relations of Hyperelliptic Weierstrass al Functions

Shigeki Matsutani|ArXiv.org|Jan 14, 2002

Algebraic and Geometric Analysis参考文献 3被引用数 4

ひとこと要約

本稿は、任意の genus の非退化な超楕円曲線上で、リーマン・セータ関数を用いない明示的で、theta 関数を含まない超楕円 Weierstrass al-関数の関係式を、残差計算と行列代数を用いて導出する。主な結果として、分岐点における al-関数の2階微分公式（定理3.1）と、2つの有限分岐点における al-関数の双対性に基づく関係式（定理4.1）を提示する。両者とも、$f'(b_r)$ や $F(b_r)$ といった曲線の不変量のみを用いて明示的に表現されており、超楕円的解の sine-Gordon 方程式に対する幾何学的根拠に基づく、簡素化されたアプローチを提供する。

ABSTRACT

We study relations of the Weierstrass's hyperelliptic al-functions over a non-degenerated hyperelliptic curve $y^2 = f(x)$ of arbitrary genus $g$ as solutions of sine-Gordon equation using Weierstrass's local parameters, which are characterized by two ramified points. Though the hyperelliptic solutions of the sine-Gordon equation had already obtained, our derivations of them are simple; they need only residual computations over the curve and primitive matrix computations.

研究の動機と目的

• リーマン・セータ関数を一切用いない、超楕円的 sine-Gordon 方程式の解の導出を簡素化すること。
• 解を、$f'(b_r)$ や $F(b_r)$ といった曲線の不変量を用いて明示的に表現し、局所パラメータと留数理論のみを用いること。
• Weierstrass パラメータ $u^{(r)}$ と $v$-座標を用いて、分岐点における Weierstrass al-関数の間の新しい明示的関係を確立すること。
• 超楕円的 sine-Gordon 方程式の解が、曲線自体における初等的な代数的・微分的計算によって導出可能であることを示すこと。

提案手法

• 曲線のアフィン構造に基づく、Weierstrass の局所パラメータ $u^{(r)}$ と $v$-座標を用いて、al-関数をパラメトライズする。
• 曲線上の有理型微分形式に対する留数計算を適用し、分岐点および有限点における留数を計算することで、微分的恒等式を導出する。
• $g \times g$ 行列 $\mathcal{W}^{(r)}$ と $\mathcal{Y}$ を、多項式の商と $y_i$-値から構成し、al-関数の微分を表現する。
• 偏微分 $\partial / \partial v_r$ をアフィン座標 $x_i$ で表現し、その後チェイン・ルールと留数恒等式を適用することで、主要な微分的関係を導出する。
• 主な公式の簡略化を可能にするために、$\oint \frac{f(x)}{(x-a_1)^2(x-a_2)^2F(x)^2}dx = 0$ という contour 積分恒等式を用いて、交差項の留数が消えることを証明する。
• リーマン・セータ関数やヤコビアンの均一化を一切用いず、曲線のデータ（係数 $\lambda_j$、分岐点 $b_r$、$F(x)$）のみに依存する。

実験結果

リサーチクエスチョン

• RQ1 超楕円的 sine-Gordon 方程式の解は、リーマン・セータ関数を用いずに導出可能か？
• RQ2 超楕円曲線上の有限分岐点における Weierstrass al-関数の間には、どのような明示的微分的関係が存在するか？
• RQ3 al-関数の微分は、曲線の多項式係数と分岐点のみを用いて、直接的にどのように表現できるか？
• RQ4 Weierstrass パラメータ $u^{(r)}$ と $v$-座標は、sine-Gordon 方程式の解の導出を簡素化するために果たす役割は何か？

主な発見

• 関数 $\log \operatorname{al}_r(u^{(r)})$ の $u_1^{(r)}$ と $u_g^{(r)}$ に関する2階微分は、$\frac{\partial^2}{\partial u_1^{(r)}\partial u_g^{(r)}}\log\operatorname{al}_r(u^{(r)}) = \frac{1}{2}\left(\frac{\operatorname{al}_r^2(u^{(r)})}{\gamma_r^2} - \frac{f'(b_r)\gamma_r^2}{\operatorname{al}_r^2(u^{(r)})}\right)$ を満たし、局所的な微分的恒等式を確立する。
• 比 $\frac{\operatorname{al}_r(v)}{\operatorname{al}_s(v)}$ は、2階偏微分方程式 $\frac{\partial^2}{\partial v_1\partial v_2}\log\frac{\operatorname{al}_r}{\operatorname{al}_s} = \frac{1}{2(a_r - a_s)}\left(f'(a_r)\frac{\gamma_r^2\operatorname{al}_s^2}{\gamma_s^2\operatorname{al}_r^2} + f'(a_s)\frac{\gamma_s^2\operatorname{al}_r^2}{\gamma_r^2\operatorname{al}_s^2}\right)$ を満たし、分岐点間の双対性を表現する。
• 導出プロセスはリーマン・セータ関数を完全に回避し、曲線のアフィンデータに基づく留数計算と行列代数のみに依存しており、従来の手法に比べて著しく簡素化されている。
• $\frac{f(x)}{(x-b_r)^2F(x)^2}dx$ の $\infty$ における留数は $-2$、$(b_r,0)$ における留数は $2\frac{f'(b_r)}{F(b_r)^2}$ であり、これらは主な微分的恒等式の検証に不可欠である。
• 交差項の留数和 $\sum_{k \neq l} \frac{2y_k y_l (a_2 - a_1)}{F'(x_k)F'(x_l)(x_l - a_1)(x_k - a_2)(x_k - a_1)(x_l - a_2)(x_l - x_k)}$ は、対称性と contour 積分恒等式により消える。