[論文レビュー] 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

ひとこと要約

この論文は、正則トライアングルレーションの組合せ論を用いて、正則ホロノミックなGKZ系のホモロジー交差形式を計算し、コhomology交差数をローレンツ級数としての公式を導出する。これらの数がパラメータに関して有理的であることを証明し、BeukersとVerschoorによるモノドロミー不変ヘルミート形式の符号に関する予想を確認する。

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.

研究の動機と目的

• 正則ホロノミックなGKZ系のホモロジー交差形式を正則トライアングレーショングラフの観点から記述すること。
• ねじれ周期関係とローレンツ級数展開を用いて、コホモロジー交差数の公式を導出すること。
• コホモロジー交差数が系のパラメータに関して有理的であることを確立すること。
• F. BeukersとC. Verschoorが提起した、モノドロミー不変ヘルミート形式の符号に関する予想を証明すること。
• Euler型積分のねじれホモロジー基底に関する先行研究[22]で提唱された枠組みを拡張・完成すること。

提案手法

• GKZ系における交差形式を定義するために、ねじれde Rhamおよびねじれホモロジー・コホモロジー理論を用いる。
• ねじれ周期関係を適用して、双対性を介してホモロジーとコホモロジー交差形式を結びつける。
• 行列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 正則ホロノミックなGKZ系のホモロジー交差形式は、正則トライアングレーショングラフを用いてどのように組合せ論的に記述できるか？
• RQ2 コホモロジー交差数の明示的公式は、ローレンツ級数展開を用いてどのように表されるか？
• RQ3 コホモロジー交差数はGKZ系のパラメータに関して有理的依存性を示すか？
• RQ4 BeukersとVerschoorが提起した、モノドロミー不変ヘルミート形式の符号に関する予想は正しいか？
• RQ5 先行研究[22]で構成されたねじれホモロジーサイクルは、交差形式の計算とどのように関係するか？

主な発見

• ホモロジー交差形式は、行列Aの正則トライアングレーショングラフの組合せ論的性質によって完全に記述される。
• コホモロジー交差数は、トライアングレーショングラフ上での三角関数の積を組み合わせた関数 $ H_{A_{ au},{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によるモノドロミー不変ヘルミート形式の符号に関する予想は、導出された交差形式によって正当化され、正しさが確立された。