[论文解读] Monodromy of A-hypergeometric functions

Frits Beukers|arXiv (Cornell University)|Jan 3, 2011

Nonlinear Waves and Solitons参考文献 16被引用 18

一句话总结

该论文提出一种组合方法，通过梅林-巴恩斯积分和局部级数展开计算A-超几何系统的单值群，避免了复杂的几何拓扑。在非共振条件下，证明了单值群存在唯一的不变埃尔米特形式（至多相差一个标量），其符号由三角剖分上的三角函数乘积决定。

ABSTRACT

Using Mellin-Barnes integrals we give a method to compute a relevant subgroup of the monodromy group of an A-hypergeometric system of differential equations. Presumably this group is the full monodromy group of the system. This article is a major rewrite of an article posted 2 years ago.

研究动机与目标

• 开发一种不依赖于复杂几何路径变形的A-超几何系统单值群的组合计算方法。
• 通过A-矩阵的正则剖分所关联的局部解表征单值群。
• 在非共振系统下，建立唯一（至多相差一个标量）的不变埃尔米特形式存在的证明。
• 为利用梅林-巴恩斯积分计算单值群生成元提供实用算法，当其构成解基时。
• 在经典系统如Appell F2和E(3,6)上验证该方法，通过共轭关系与已有结果一致。

提出的方法

• 利用A-矩阵正则剖分对应的级数展开获得局部单值性。
• 通过多维梅林-巴恩斯积分作为局部解之间的桥梁，构建全局单值群。
• 应用假设4.5：梅林-巴恩斯积分构成解基，从而实现纯组合构造。
• 在第6节中采用一种方法，利用剖分数据和留数理论计算单值群矩阵。
• 依赖于盒子算子与环I_A之间的对应关系，以定义微分系统H_A(α)。
• 通过共轭关系将结果与现有单值群生成元进行比较，验证了在Appell F2和E(3,6)上的结果与先前工作的一致性。

实验结果

研究问题

• RQ1 能否在不进行显式路径变形的情况下，通过组合方法计算A-超几何系统的单值群？
• RQ2 当梅林-巴恩斯积分构成解基时，单值群的结构如何？
• RQ3 对于具有实参数的非共振A-超几何系统，是否存在唯一的不变埃尔米特形式？
• RQ4 不变埃尔米特形式的符号如何与剖分数据和收敛方向相关联？
• RQ5 通过该方法计算的单值群生成元在已知情形下是否与经典方法的生成元共轭？

主要发现

• 该方法成功计算了E(3,6)系统的82个单值群矩阵，尽管生成元集合不同，但与已有结果一致。
• 对于Appell F2系统，计算得到的单值群矩阵与Kato (1981)中的结果共轭，证实了群的等价性。
• E(3,6)系统具有梅林-巴恩斯解基，已通过B-多面体包含6个特定格点得到验证。
• 对于非共振A-超几何系统，若参数为实数，则存在唯一的不变埃尔米特形式，其符号与Picard、Terada及Deligne-Mostow的已知结果一致。
• 符号由三角剖分上πγ_i^I正弦乘积的符号决定，与猜想一致。
• 该方法通过利用剖分和梅林-巴恩斯积分的组合数据避免了几何复杂性，实现了可算法化的计算。