[论文解读] Homology and cohomology intersection numbers of GKZ systems

Yoshiaki Goto, Saiei-Jaeyeong Matsubara-Heo|arXiv (Cornell University)|Jun 14, 2020

Algebraic structures and combinatorial models被引用 7

一句话总结

该论文通过正则三角剖分的组合学方法，计算了正则Holonomic GKZ系统中的同调交形式，推导出上同调交数的洛朗级数公式。证明了这些数值关于参数有理依赖性，并验证了Beukers与Verschoor关于单值变换不变Hermitian形式的符号的猜想。

ABSTRACT

We describe the homology intersection form associated to regular holonomic GKZ systems in terms of the combinatorics of regular triangulations. Combining this result with the twisted period relation, we obtain a formula of cohomology intersection numbers in terms of a Laurent series. We show that the cohomology intersection number depends rationally on the parameters. We also prove a conjecture of F. Beukers and C. Verschoor on the signature of the monodromy invariant hermitian form. This is a continuation of the previous work arXiv:1904.00565.

研究动机与目标

• 通过正则三角剖分描述正则Holonomic GKZ系统的同调交形式。
• 利用扭曲周期关系和洛朗级数展开，推导上同调交数的公式。
• 建立上同调交数关于系统参数的有理依赖性。
• 证明F. Beukers与C. Verschoor关于单值变换不变Hermitian形式符号的猜想。
• 扩展并完成先前工作[22]中关于Euler型积分的扭曲同调基的框架。

提出的方法

• 利用扭曲de Rham同调与扭曲同调上同调理论，定义GKZ系统上的交形式。
• 应用扭曲周期关系，通过对偶性将同调与上同调交形式联系起来。
• 利用矩阵A的正则三角剖分来描述扭曲同调基的结构。
• 通过指数因子和三角剖分的组合不变量，推导出同调交形式的矩阵公式。
• 通过函数 $ H_{A_{ au},{f k}}(\beta) $（由三角剖分上的三角函数乘积定义）将上同调交数表示为洛朗级数。
• 使用矩阵恒等式 $ I_{\tau,h} = \operatorname{diag}(e^{2\pi\sqrt{-1}{}^{t}\tilde{\bf k}A_{\sigma}^{-1}\delta}) U \operatorname{diag}(H_{A_{\sigma},{\bf k}}(\delta)) U^{*} \operatorname{diag}(e^{-2\pi\sqrt{-1}{}^{t}\tilde{\bf k}A_{\sigma}^{-1}\delta}) $ 计算交矩阵。

实验结果

研究问题

• RQ1 如何通过正则三角剖分的组合学方法，描述正则Holonomic GKZ系统的同调交形式？
• RQ2 上同调交数的显式公式如何以洛朗级数展开形式表达？
• RQ3 上同调交数是否关于GKZ系统的参数有理依赖？
• RQ4 Beukers与Verschoor关于单值变换不变Hermitian形式符号的猜想是否正确？
• RQ5 文献[22]中构造的扭曲同调圈与交形式计算有何关系？

主要发现

• 同调交形式完全由矩阵A的正则三角剖分的组合学特性所描述。
• 上同调交数通过函数 $ H_{A_{\tau},{f k}}(\delta) $ 表示为洛朗级数，该函数结合了三角剖分上的三角函数乘积。
• 上同调交数关于参数 $ \delta $ 有理依赖，这由最终公式中矩阵元素的有理依赖性所证明。
• 公式 $ I_{\sigma,h} = \operatorname{diag}(e^{2\pi\sqrt{-1}{}^{t}\tilde{\bf k}A_{\sigma}^{-1\delta}}) U \operatorname{diag}(H_{A_{\sigma},{\bf k}}(\delta)) U^{*} \operatorname{diag}(e^{-2\pi\sqrt{-1}{}^{t}\tilde{\bf k}A_{\sigma}^{-1}\delta}) $ 完整地计算了交矩阵。
• 本文确认了Beukers与Verschoor关于单值变换不变Hermitian形式符号的猜想，通过所推导的交形式确立了其正确性。