[論文レビュー] Periods of Feynman Diagrams and GKZ D-Modules

Emad Nasrollahpoursamami|arXiv (Cornell University)|May 16, 2016

Polynomial and algebraic computation参考文献 13被引用数 3

ひとこと要約

この論文は、フェニマン振幅が相関関数の相対モチーフの周期であることを示し、それらに関連するD-加群がGKZ D-加群と同型であることを示すことによって、その事実を確立している。幾何的正則化法を提示し、次元正則化および解析的正則化を一般化しており、振幅のローレンツ展開係数が周期であることを証明している。極は2連結部分グラフおよびトーリック多様体とマトロイドポリトープからのコhomologicalデータによって決定される。

ABSTRACT

We study differential equations for Feynman amplitudes and we show that the corresponding D-module is isomorphic to a GKZ D-modules. We show that the sheaf of solutions to the D-module is isomorphic to a certain relative homology and the amplitudes are periods of a relative motive. Using these ideas, we develop a method of regularization which specializes to dimensional regularization and analytic regularization.

研究の動機と目的

• D-加群と周期積分を用いたフェニマン振幅の幾何的・代数的枠組みを確立すること。
• フェニマン振幅を支配する微分方程式がGKZ超幾何的系の特別な場合であることを示すこと。
• コhomologicalデータを用いて次元正則化および解析的正則化を一般化する正則化法を開発すること。
• 2連結部分グラフおよびホモロジー的不変量を用いて次元正則化における振幅の極の位置と構造を特徴づけること。
• 振幅のローレンツ展開係数が、代数的コhomologyおよびベッチコhomologyを用いて計算可能な相対モチーフの周期であることを証明すること。

提案手法

• グラフに付随するベクトル空間 $\mathfrak{V}_{\Gamma}$ 上に、GKZ D-加群と同型である正則な正則D-加群を構成する。
• グラフのシマンジク多項式からニュートン多面体とパラメーターベクトルを特定し、振幅をGKZ系の解として実現する。
• トーリック幾何を用いて、解の層が相対コhomology群 $H^n(U_v, U_v \cap D)$ と同型となるような射影多様体 $\mathbb{P}_{\Sigma}$ を構築する。
• 振幅を $\Psi^{-D/2-\epsilon} e^{-Q/\Psi}$ を含む積分表現によって定義する。ここで $\Psi$ と $Q$ はそれぞれ第一および第二のシマンジク多項式である。
• コhomologyの生成子と関係式を用いて、振幅の $\epsilon$-展開を計算し、極が $D/2 \ell_\gamma - |E(\gamma)| \in \mathbb{Z}_{\geq 0}$ を満たす場合に生じることを示す。
• 文献 [AB01] および [HLYZ15] の結果を応用し、カルビ・ヤウの場合を越えて相対コhomology構成を一般化し、グラフィカルマトロイドおよびポリトープと関連付ける。

実験結果

リサーチクエスチョン

• RQ1 D-加群理論を用いてフェニマン振幅を相対モチーフの周期としてどのように記述できるか？
• RQ2 振幅関数の明確なD-加群構造は何か？ そしてそれはGKZ系とどのように関係するか？
• RQ3 トーリック多様体のコhomologicalデータからどのように次元正則化を体系的に導出できるか？
• RQ4 $\epsilon$-展開における極の位置と構造は、何によって決定されるか？
• RQ5 ローレンツ展開の係数は、代数的およびベッチコhomology類とどのように関係するか？

主な発見

• フェニマン振幅のD-加群はGKZ D-加群と同型であり、振幅は正則系の偏微分方程式系の解である。
• 解の層は相対コhomology $H^n(U_v, U_v \cap D)$ と同型であり、振幅が相対モチーフの周期であることが示される。
• 次元正則化における振幅の極は、任意の2連結部分グラフ $\gamma$ に対して $D/2 \ell_\gamma - |E(\gamma)| \in \mathbb{Z}_{\geq 0}$ を満たす場合に正確に現れる。ここで $\ell_\gamma$ は第一ベッチ数である。
• $\epsilon$-展開における最低次の係数 $A_{-n}(D/2)$ は、代数的相対コhomology類とベッチホモロジー類とのペアリングから生じる。
• $\epsilon$-展開係数は、モチーフ $H^n(U_v, U_v \cap D)$ の周期であり、収束する $K(\alpha_i, P_a)$ 積分の有理数線形結合として計算可能である。
• 本手法は、次元正則化および解析的正則化を一般化する明示的かつ構成的な正則化スキームを提供しており、極と留数はすべてグラフ論的およびコhomologicalデータによって完全に特徴づけられる。