[論文レビュー] Some addition formulae for Abelian functions for elliptic and hyperelliptic curves of cyclotomic type

J. C. Eilbeck, Shigeki Matsutani+1 more|arXiv (Cornell University)|Mar 27, 2008

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

ひとこと要約

本稿では、単位根を用いて追加の自己同型を誘発する特殊なモジュラスを有する、巡回型の楕円曲線および超楕円曲線におけるアーベル関数の新しい多項式加法公式を提示する。主な貢献は、特に1次元の等調和的・レミスカット的曲線、および5乗根の単位根対称性を持つ2次元曲線といった、対称的条件のもとでのみ有効な明示的加法法則の導出である。これは、古典的なヴァイエルシュトラスの公式を、巡回的構造を持つ高 genus への一般化として実現する。

ABSTRACT

We discuss a family of multi-term addition formulae for Weierstrass functions on specialized curves of genus one and two with many automorphisms. In the genus one case we find new addition formulae for the equianharmonic and lemniscate cases, and in genus two we find some new addition formulae for a number of curves, including the Burnside curve.

研究の動機と目的

• 楕円曲線および超楕円曲線において、自己同型が強化された状況下でのヴァイエルシュトラス $σ$ および $π$ 関数の明示的加法公式の開発。
• 1次元および2次元のアーベル関数に対して、2変数および3変数の古典的加法法則（例：$\wp(u) - \wp(v)$ の形）を、モジュラスを適切に選択して巡回的対称性（単位根）を誘発する場合に一般化すること。
• これらの公式を、特に複素単位根に関連する自己同型群や対称性が明確に現れる形で提示すること。
• 高 genus のアーベル関数に関して、コンprehensiveなハンドブックが存在しない現状を補うために、巡回的自己同型を持つ曲線の公式の体系的コンプリレーションを開始すること。
• 3次元曲線などの他の特殊な曲線（例：$3a$ 乗根の作用を持つ三角曲線）における多項式加法公式の構造を調査すること。

提案手法

• 曲線のモジュラスを0に設定することで、単位根に関連する対称性を持つ曲線が得られるという、追加の自己同型を利用した加法公式の導出。
• 1次元では古典的なヴァイエルシュトラス $σ$ および $π$ 関数とその対数微分を用い、2次元では多変数 $σ$ および $π_{ij}$ 関数に一般化。
• 既知の恒等式（例：2変数公式 $-\frac{\sigma(u+v)\sigma(u-v)}{\sigma(u)^2\sigma(v)^2} = \wp(u) - \wp(v)$）を、$\zeta$ を単位根として $\sigma(u + \zeta^j v)$ を含む多項式形に拡張。
• 空間 $\Gamma(J, \mathcal{O}(3\Theta^{[2]}))$ の構造を解析し、$\sigma$ 関数の対称的組み合わせを $\wp_{ij}$, $\wp_{ijk}$ およびその微分の多項式として表現することで、高 genus の公式を構築。
• 単位根のガロア群の作用を用いて、ヤコビアン上に自己同型 $[\zeta^j]$ を定義し、これにより $\sigma$-関数の変換された引数間の対称的関係を導出。
• 対称的有理関数の展開と、既知の $\wp$-テンソルおよびその微分の基底への係数一致により、明示的公式を計算。例として、3次元の場合の $C_{30}$ 項の計算を示す。

実験結果

リサーチクエスチョン

• RQ1 単位根によって誘発される追加の自己同型を持つ場合、アーベル関数の加法公式はどのように変化するか？
• RQ2 等調和的（$g_2=0$）およびレミスカット的（$g_3=0$）な1次元曲線において、どのような新しい多項式加法公式が得られるか？
• RQ3 5乗根の単位根対称性を持つ2次元超楕円曲線（例：$y^2 = x^5 + \mu_{10}$）に対して、明示的加法公式を導出できるか？
• RQ4 $[\zeta^j]$ の作用下での $\sigma$-関数の対称的構造はどのように変化するか？また、商 $\sigma(u + \zeta^j v)/\sigma(u)^5\sigma(v)^5$ においてどのような多項式関係が生じるか？
• RQ5 3次元曲線に4乗根の単位根作用がある場合、多項式加法公式の構造はどのようになっており、対称的成分にどのように分解できるか？

主な発見

• 1次元の等調和的ケース（$g_2=0$）において、本稿では新しい加法公式を導出：$-\frac{\sigma(u\pm v)\sigma(u\pm\zeta v)\sigma(u\pm\zeta^2 v)}{\sigma(u)^3\sigma(v)^3} = \pm\frac{1}{2}(\wp'(u) \pm \wp'(v))$。これは $g_2=0$ のときのみ有効である。
• 曲線 $y^2 = x^5 + \mu_{10}$ の2次元ケースにおいて、5項加法公式を提示：$\frac{\sigma(u+v)\sigma(u+[\zeta]v)\cdots\sigma(u+[\zeta^4]v)}{\sigma(u)^5\sigma(v)^5}$。これは $\wp_{ij}(u)$, $\wp_{ij}(v)$, $\wp_{ijk}(u)$, $\wp_{ijk}(v)$ の多項式であり、$\zeta = \exp(2\pi i/5)$ である。
• 4乗根の単位根作用を持つ3次元曲線において、対称的3変数公式を導出：$\frac{\sigma(u+v+w)\sigma(u+[\zeta]v+[\zeta^2]w)\cdots}{\sigma(u)^3\sigma(v)^3\sigma(w)^3} = \sum_{i,j,k} c_{ijk} U_i(u)V_j(v)W_k(w)$。ここで $U_i, V_j, W_k$ は $\Gamma(J, \mathcal{O}(3\Theta^{[2]}))$ の基底関数である。
• 3次元公式の主要項 $C_{30}$ を明示的に計算した結果、$\wp_{13}(u)\partial_3 Q_{1333}(v)\wp_{111}(w)$, $\wp_{11}(u)\wp_{11}(v)\wp_{11}(w)$ および他のテンソル積の組み合わせが含まれており、$u,v,w$ の置換に対して完全に対称的であることが判明。
• これらの公式は、一般の場合に標準的加法法則に還元されないため、古典的結果の非自明な拡張であることが示された。これは、特定の巡回的対称性条件のもとでのみ成り立つ。
• 本稿では、$\mu_{10} \neq 0$ による追加の自己同型（例：2次元曲線）が、アーベル関数の環に新しい代数的構造をもたらし、新しい種類の対称的恒等式を可能にすることが示された。