[论文解读] On Algebraic Expressions of Sigma Functions for (n,s) Curves

Atsushi Nakayashiki|ArXiv.org|Mar 14, 2008

Advanced Numerical Analysis Techniques参考文献 11被引用 13

一句话总结

本论文通过代数积分，建立了一种(n,s)-曲线的多变量σ函数的代数表达式，直接将其中的级数展开与无穷远处的间隙序列所决定的Schur函数联系起来。关键贡献在于，通过素函数和代数微分形式的迭代积分，给出了σ函数的公式，证明了其展开式的首项即为Schur函数，且不依赖于Riemann的消去定理或孤立子解退化性的先前结果。

ABSTRACT

An expression of the multivariate sigma function associated with a (n,s)-curve is given in terms of algebraic integrals. As a corollary the first term of the series expansion around the origin of the sigma function is directly proved to be the Schur function determined from the gap sequence at infinity.

研究动机与目标

• 将Klein对超椭圆σ函数的代数公式推广至(n,s)-曲线。
• 建立σ函数的级数展开与Schur函数之间的直接联系，避免依赖Buchstaber、Enolski和Leykin的先前结果。
• 在X×X上构造一个模仿σ函数变换性质的素函数，并作为σ函数公式的构建模块。
• 证明σ函数级数展开的首项是受无穷远处间隙序列决定的Schur函数。
• 提供一种通过代数积分直接表达σ函数的公式，避免求解微分方程或分析theta除子的奇点。

提出的方法

• 利用双线性微分形式ω̂的代数积分，在X×X上构造一个素函数，该形式推广了椭圆曲线情形下Klein的公式。
• 将素函数定义为Ẽ(p₁,p₂) = (x(p₂)−x(p₁))/√(f_y(p₁)f_y(p₂)) × exp(½ ∑ᵢ ∫_{p₁⁽ⁱ⁾}^{p₂⁽ⁱ⁾} ∫_{p₁}^{p₂} ω̂)，其中p⁽ⁱ⁾为x-映射下的原像。
• 利用Frobenius–Stickelberger广义加法公式，将两点函数推广至N点函数，从而在X^N上构造σ函数。
• 通过涉及素函数和代数积分的行列式公式，将σ函数表示为X^N上的对称多值全纯函数。
• 将该公式应用于超椭圆情形（n=2），以恢复Klein的经典结果，验证了一致性。
• 利用孤立子理论中的次数滤子，证明σ函数展开系数是曲线系数λ_ij的齐次多项式。

实验结果

研究问题

• RQ1 能否通过代数积分，将Klein对椭圆σ函数的代数公式推广至(n,s)-曲线？
• RQ2 对于(n,s)-曲线，σ函数的级数展开的首项是否为由无穷远处间隙序列决定的Schur函数？
• RQ3 σ函数与Schur函数之间的联系能否独立于Buchstaber等人关于Riemann消去定理的结果来建立？
• RQ4 在X×X上，具有与σ函数的拟周期性及零点性质相同特征的素函数的结构是什么？
• RQ5 如何通过代数积分直接表达σ函数，而无需求解微分方程或分析theta除子的奇点？

主要发现

• 通过涉及素函数和代数微分形式ω̂的迭代积分的行列式公式，(n,s)-曲线的σ函数被表达为X^N上的对称多值全纯函数。
• 证明了σ函数在原点附近的级数展开的首项即为由无穷远处间隙序列所定义的分拆对应的Schur函数。
• 展开系数是(n,s)-曲线定义方程系数λ_ij的齐次多项式，其次数由孤立子理论中的次数滤子确定。
• 该公式在超椭圆情形下恢复了Klein的经典结果，确认了在高亏格情形下的推广一致性。
• 素函数Ẽ(p₁,p₂)被构造为X×X上的多值函数，其单值性性质与σ函数相同，可作为基本构建模块。
• 该方法避免了依赖文献[11]中错误的公式(4)，并提供了不借助准周期解退化性假设的、自包含的Schur函数关系推导。