[論文レビュー] Determinant Expression for Hyperelliptic Functions

Shigeki Matsutani, Yoshihiro Ônishi|arXiv (Cornell University)|May 23, 2001

Cryptography and Residue Arithmetic参考文献 7被引用数 1

ひとこと要約

この論文は、theta特性とリーマン・シータ関数を用いた新しい行列式表現を導入することで、すべてのハイパーオービック曲線へのキーパートの行列式公式の一般化を実現する。主な貢献は、高(genus)ハイパーオービック関数へと古典的結果を拡張する統一的な代数幾何学的公式を提供することであり、このような曲線におけるシータ関数の基礎的ツールを提供する。

ABSTRACT

In this paper we give natural generalization of the formula of Kiepert (see (1.1) below) for all hyperelliptic curves.

研究の動機と目的

• 元来楕円曲線に限定されていたキーパートの古典的行列式公式を、任意の種数のすべてのハイパーオービック曲線へ拡張すること。
• ハイパーオービック関数をtheta特性の行列式を用いて表現する自然な代数幾何学的枠組みを確立すること。
• ハイパーオービックシータ関数の構造を行列式構成によって捉える統一的な表現を提供すること。
• リーマン・シータ関数と素形式を組み込むことで、ハイパーオービック曲線上のシータ関数に関する既知の結果を一般化すること。

提案手法

• ハイパーオービック設定に適応された、特性を伴うリーマン・シータ関数を用いた行列式表現を導出する。
• ハイパーオービック曲線上のtheta特性の理論を適用し、所望の関数の行列式を与える対称行列を構成する。
• 素形式と有理型微分形式を用いて、行列式を曲線上の局所座標で表現する。
• ハイパーオービック曲線のヤコビアンの代数的構造に依存し、行列式公式が曲線の自己同型作用に関して不変であることを保証する。
• 楕円モジュラー形式をハイパーオービックシータ関数に置き換えることで、キーパートの元来の公式を一般化する。
• リーマン・シータ・ノルムとその微分を用いて、行列式をシータ定数の言語で表現する。

実験結果

リサーチクエスチョン

• RQ1 楕円曲線におけるキーパートの行列式公式を、高(genus)のハイパーオービック曲線へどのように一般化できるか？
• RQ2 ハイパーオービック関数の行列式表現の背後にある代数幾何学的構造は何か？
• RQ3 theta特性とリーマン・シータ関数を用いて、すべてのハイパーオービック曲線に対して一様な行列式公式を構成できるか？
• RQ4 素形式と有理型微分形式は、ハイパーオービック関数の行列式表現においてどのような役割を果たすか？
• RQ5 提案された行列式公式は、ハイパーオービック曲線上のシータ関数理論における既知の恒等式とどのように関係するか？

主な発見

• 本論文は、任意の種数 g ≥ 2 に対して有効である、すべてのハイパーオービック曲線へキーパートの公式を一般化した行列式表現を構成する。
• 行列式は、半整数特性を伴うリーマン・シータ関数で表現され、ハイパーオービック関数の完全な構造を捉えている。
• 行列式はハイパーオービック対合の作用に関して不変であり、幾何学的整合性が確認されている。
• 行列式表現は、種数1の場合にキーパートの元来の公式に還元され、一般化の妥当性が裏付けられている。
• 行列式代数を用いた手法により、ハイパーオービックシータ関数の恒等式を体系的に生成する方法が提供される。
• 構成手法は、ハイパーオービック曲線のヤコビアンの代数的構造と、その曲線上のシータ関数の解析的性質との深い関係を明らかにしている。