[論文レビュー] Sigma Functions for Telescopic Curves

Takanori Ayano|arXiv (Cornell University)|Jan 3, 2012

Polynomial and algebraic computation参考文献 12被引用数 5

ひとこと要約

本稿は、$ t-1 $ 個の式で定義されるテレスコピック曲線—正の整数の列 $ (a_1, \dots, a_t) $ を用いてミウラの標準形で表される代数曲線で、$ \gcd(a_1,\dots,a_t) = 1 $ を満たすもの—のシグマ関数の明示的構成を提示する。この方法により、第一コホモロジー群 $ H^1(C, \mathbb{C}) $ のシンプレクティック基底 $ \{du_i, dr_i\}_{i=1}^g $ が構成され、これにより $ (n,s) $-曲線に限らない広範な曲線クラスにおけるシグマ関数の明示的計算が可能になる。

ABSTRACT

In this paper, we consider the sigma functions for algebraic curves expressed by a canonical form using a finite sequence $(a_1,...,a_t)$ of positive integers whose greatest common divisor is equal to one (Miura [13]). The idea is to express a non-singular algebraic curve by affine equations of $t$ variables whose orders at infinity are $(a_1,...,a_t)$. We construct a symplectic basis of the first cohomology group and the sigma functions for telescopic curves, i.e., the curves such that the number of defining equations is exactly $t-1$ in the Miura canonical form. The largest class of curves for which such construction has been obtained thus far is $(n,s)$-curves ([3][15]), which are telescopic because they are expressed in the Miura canonical form with $t=2$, $a_1=n$, and $a_2=s$, and the number of defining equations is one.

研究の動機と目的

• $ (n,s) $-曲線に限らないより広いクラスの代数曲線へのシグマ関数理論の拡張を図ること。
• $ t-1 $ 個の式でミウラの標準形に表されるテレスコピック曲線のシグマ関数の明示的構成を提供すること。
• これらの曲線に対して、第一コホモロジー群 $ H^1(C, \mathbb{C}) $ のシンプレクティック基底 $ \{du_i, dr_i\}_{i=1}^g $ を確立すること。
• クラインおよびブフシュターバー・ナカヤシキのシグマ関数構成法を、高次元のテレスコピック曲線へ一般化すること。
• 先行研究でカバーされていない曲線、特に非$ (n,s) $-型曲線を含む、文献における空白を埋めるために、シグマ関数を構成すること。

提案手法

• ミウラの標準形を用いて、無 Singular な代数曲線を $ t $ 変数のアフィン方程式として、無限遠点における所定の次数 $ (a_1, \dots, a_t) $ を持つ形で表現する。
• $ B(A_t) $ の最小基底に属さない単項式の集合 $ V(A_t) $ を定義し、$ M \in V(A_t) $ に対して $ F_M(X) = X^M - X^L - \sum \lambda_N X^N $ という定義多項式を構成し、グレブナー基底の条件を満たすようにする。
• 段階的最小公倍数 $ d_i = \gcd(a_1, \dots, a_i) $ による包含鎖 $ d_i \mid d_{i-1} $ を用いてテレスコピック列の概念を導入し、これにより $ \sharp V(A_t) = t-1 $ が保証される。
• 無限遠点におけるギャップ列の構造と留数定理を用いて、正則1形式 $ \{du_i\}_{i=1}^g $ を構成する。
• 極と留数を制御した第二種微分形式 $ \{dr_i\}_{i=1}^g $ を構成し、シンプレクティック条件 $ du_i \circ dr_j = \delta_{ij} $ を満たすようにする。
• $ \{du_i, dr_i\}_{i=1}^g $ が積分の留数によって定義される交線形式を通じて、$ H^1(C, \mathbb{C}) $ のシンプレクティック基底をなしていることを検証する。

実験結果

リサーチクエスチョン

• RQ1 $ (n,s) $-曲線でない代数曲線に対し、シグマ関数を明示的に構成できるか？
• RQ2 列 $ (a_1, \dots, a_t) $ にどのような条件を課すと、定義式の数が正確に $ t-1 $ 個になるか？ これにより体系的な構成が可能になる。
• RQ3 ミウラの標準形を用いて、このような曲線の第一コホモロジー群のシンプレクティック基底をどのように構成できるか？
• RQ4 グレブナー基底構造が定義式の存在と一意性を保証するために果たす役割は何か？
• RQ5 正則微分形式と第二種微分形式は、どのようにしてシンプレクティックペアリング条件を満たすか？

主な発見

• 本稿は、テレスコピック曲線に対して、$ du_i \circ dr_j = \delta_{ij} $、$ du_i \circ du_j = 0 $、$ dr_i \circ dr_j = 0 $ を満たすシンプレクティック基底 $ \{du_i, dr_i\}_{i=1}^g $ を構成した。
• テレスコピック曲線では、定義式の数が正確に $ t-1 $ 個である。これは、$ t=2 $ のときの $ (n,s) $-曲線の場合を一般化するものである。
• 定義多項式 $ \{F_M\}_{M \in SV(A_t)} $ のグレブナー基底性に依存しており、これにより商環 $ R = \mathbb{C}[X]/I $ が一意に定義される。
• $ B(A_t) $ に属さない単項式の集合 $ V(A_t) $ は、$ A_t $ がテレスコピックであるとき、有限かつサイズが $ t-1 $ であることが示された。
• 定義多項式 $ F_M $ の先行項がグレブナー基底をなしており、標準単項式 $ \{X^N \mid N \in B(A_t)\} $ が商環の基底をなす。
• 曲線の genus $ g $ は、無限遠点におけるギャップ値の数、すなわち $ \sharp (\mathbb{N} \setminus \langle A_t \rangle) $ に等しく、これは $ B(A_t) $ と $ V(A_t) $ の構造を通じて確認された。