[论文解读] An explicit formula for the determinant of the Abelian integral matrix

A. A. Glutsuk|ArXiv.org|Apr 7, 2000

advanced mathematical theories被引用 3

一句话总结

本文为次数为 $ n+1 $ 的一般多项式哈密顿系统的阿贝尔积分矩阵的行列式提供了显式公式，证明其为一个首一多项式，次数为 $ n^2 $，其根恰好为哈密顿系统的临界值。行列式被证明与 $ \prod_{i=1}^{n^2}(t - a_i) $ 成正比，比例常数 $ C(H) $ 以齐次部分 $ H $ 的系数表示，通过特殊函数和对称函数恒等式显式计算得出。

ABSTRACT

We consider a polynomial h(x,y) in two complex variables of degree n+1>1 with a generic higher homogeneous part. The rank of the first homology group of its nonsingular level curve h(x,y)=t is n*n. To each 1- form in the variable space and a generator of the homology group one associates the (Abelian) integral of the form along the generator. The Abelian integral is a multivalued function in t. For a fixed canonic tuple of n*n monomial 1- forms we consider the multivalued square matrix function in t whose elements are the Abelian integrals of the forms along the generators. Its determinant does not depend on the choice of the generators in the homology group (up to change of sign, which corresponds to change of generator system that reverses orientation). In 1999 Yu.S.Ilyashenko proved that the determinant of the Abelian integral matrix is a polynomial in t of degree n*n whose zeroes are the critical values of h. We give an explicit formula for the determinant.

研究动机与目标

• 推导阿贝尔积分矩阵行列式中常数 $ C(H) $ 的显式表达式，该常数此前已知为以哈密顿系统的临界值为根的 $ t $ 的多项式。
• 解决行列式对同调基选择的依赖性，证明其仅在符号意义下不变，并计算精确的归一化因子。
• 将 $ C(H) $ 表示为次数为 $ n+1 $ 的哈密顿齐次部分 $ H $ 的系数的函数，利用矩阵构造和特殊函数。
• 建立 $ C(H) $ 为 $ H $ 的双值函数，其分支沿判别式超曲面 $ S $，并利用 $ \Gamma $-函数和 $ B $-函数恒等式进行计算。

提出的方法

• 定义一组 $ n^2 $ 个单项微形式 $ \omega_j = y x^{l(j)} y^{m(j)} dx $，索引为满足 $ 0 \leq l,m \leq n-1 $ 的 $ (l,m) $。
• 构造阿贝尔积分矩阵 $ I_{j,r}(t) = \int_{\alpha_r} \omega_j $，其中 $ \alpha_r $ 是 $ H_1(h(x,y)=t, \mathbb{Z}) $ 的生成元。
• 通过 $ \varepsilon $-变形曲线的形变论证，将积分与贝塔函数关联，即 $ I_j = \int_0^1 x^{l(j)} (1-x)^{m(j)} dx $。
• 将所有 $ I_j $ 的乘积表示为 $ B $-函数的乘积，然后利用恒等式 $ B(a,b) = \Gamma(a)\Gamma(b)/\Gamma(a+b) $ 转换为 $ \Gamma $-函数。
• 应用高斯-勒让德乘法公式于 $ \Gamma $-函数，以计算在有理数点处的 $ \Gamma $-值的对称乘积。
• 推导出行列式为 $ \det(I_{j,r})(t) = C(H) \prod_{i=1}^{n^2}(t - a_i) $，其中 $ C(H) $ 通过 $ \Gamma $-乘积恒等式和归一化常数显式计算得出。

实验结果

研究问题

• RQ1 行列式 $ \det(I_{j,r})(t) = C(H) \prod_{i=1}^{n^2}(t - a_i) $ 中常数 $ C(H) $ 的精确值是什么？
• RQ2 阿贝尔积分矩阵的行列式如何依赖于同调基的选择？这种依赖性能否被消除以获得一个典范表达式？
• RQ3 行列式能否显式地用哈密顿齐次部分 $ H $ 的系数表示？
• RQ4 常数 $ C(H) $ 的代数结构是什么？其在 $ H $ 的退化行为下如何表现？
• RQ5 阿贝尔积分乘积 $ \prod_{j=1}^{n^2} I_j $ 是否存在闭式表达式？它如何与特殊函数关联？

主要发现

• 阿贝尔积分矩阵的行列式是 $ t $ 的首一多项式，次数为 $ n^2 $，其根恰好为哈密顿系统 $ h $ 的临界值 $ a_i $。
• 行列式中的常数 $ C(H) $ 显式计算为 $ \Gamma $-函数的乘积与 $ n+1 $ 的幂的乘积，其推导基于高斯-勒让德公式。
• 常数 $ C(H) $ 的表达式为 $ C(H) = (n+1)^{-n^2} \cdot \frac{\left( \prod_{l=0}^{n-1} \Gamma\left(\frac{l+1}{n+1}\right) \right)^n \left( \prod_{l=0}^{n-1} \Gamma\left(\frac{l+1}{n+1}+1\right) \right)^n}{\prod_{l,m=0}^{n-1} \Gamma\left(\frac{l+m+2}{n+1}+1\right)} $，其可简化为 $ n $ 的有理函数。
• 行列式是单值的，且在同调基选择下仅在符号意义下不变，从而证实了伊利亚申科的猜想。
• $ C(H) $ 是 $ H $ 的双值函数，其分支沿判别式超曲面 $ S $，并可表示为 $ H $ 的系数的齐次多项式。
• 最终 $ C(H) $ 的公式通过变形至一个模型曲线并利用贝塔函数和伽马函数计算积分得到，通过单位根进行精确归一化。