[论文解读] Binomial Residues

Eduardo Cattani, Alicia Dickenstein+1 more|arXiv (Cornell University)|Mar 28, 2000

Polynomial and algebraic computation被引用 12

一句话总结

本文引入了二项式余数——通过沿二项式子簇奇异的超几何积分定义的有理函数——作为Lawrence型A-超几何系统有理解的积分表示。关键结果表明，给定次数的二项式余数空间（模去某一变量的多项式）的维数，等于该系统参数矩阵A所关联的拟阵的欧拉示性数。

ABSTRACT

A binomial residue is a rational function defined by a hypergeometric integral whose kernel is singular along binomial divisors. Binomial residues provide an integral representation for rational solutions of A-hypergeometric systems of Lawrence type. The space of binomial residues of a given degree, modulo those which are polynomial in some variable, has dimension equal to the Euler characteristic of the matroid associated with A.

研究动机与目标

• 开发Lawrence型A-超几何系统有理解的积分表示。
• 刻画固定次数的二项式余数空间（模去某一变量的多项式贡献）。
• 将该商空间的维数与系统参数矩阵A的组合不变量联系起来。
• 通过欧拉示性数建立超几何积分与拟阵理论之间的联系。

提出的方法

• 将二项式余数定义为核沿二项式子簇奇异的超几何积分。
• 利用Lawrence型A-超几何系统的结构来约束被积函数的形式。
• 分析此类余数空间（模去某一给定变量的多项式）。
• 应用拟阵理论工具，计算与参数矩阵A相关的拟阵的欧拉示性数。
• 通过将积分的上同调性质与拟阵的拓扑不变量关联，建立维数公式。

实验结果

研究问题

• RQ1 给定次数的二项式余数空间（模去某一变量的多项式贡献）的维数是多少？
• RQ2 二项式余数如何与Lawrence型A-超几何系统的有理解相关？
• RQ3 与矩阵A相关的拟阵的欧拉示性数能否被实现为积分余数空间的维数？
• RQ4 二项式子簇在塑造超几何积分核的结构中起什么作用？

主要发现

• 给定次数的二项式余数空间（模去某一变量的多项式）的维数等于与A相关的拟阵的欧拉示性数。
• 二项式余数为Lawrence型A-超几何系统有理解提供了完整的积分表示。
• 该维数公式本质上依赖于系统组合结构，由A的拟阵编码。
• 该构造将超几何积分理论与拟阵不变量（特别是欧拉示性数）联系起来。