[論文レビュー] Parametric Feynman integrals and determinant hypersurfaces

Paolo Aluffi, Matilde Marcolli|arXiv (Cornell University)|Jan 14, 2009

Algebraic and Geometric Analysis参考文献 16被引用数 9

ひとこと要約

本稿は、アフィン空間における行列式超曲面の補集合上での周期として、パラメトリックフェニマン積分の幾何的再定式化を提案し、そのモチーフ的性質を正則交差除部分集合を含むペアの相対コホモロジーと結びつける。3ループのグラフが組合せ的条件を満たす場合、関連するモチーフが混合テイトであることを示し、このような積分が混合テイトモチーフの周期であるかどうかを調べる新たな道筋を提供する。

ABSTRACT

The purpose of this paper is to show that, under certain combinatorial conditions on the graph, parametric Feynman integrals can be realized as periods on the complement of the determinant hypersurface in an affine space depending on the number of loops of the Feynman graph. The question of whether the Feynman integrals are periods of mixed Tate motives can then be reformulated (modulo divergences) as a question on a relative cohomology being a realization of a mixed Tate motive. This is the cohomology of the pair of the determinant hypersurface complement and a normal crossings divisor depending only on the number of loops and the genus of the graph. We show explicitly that this relative cohomology is a realization of a mixed Tate motive in the case of three loops and we give alternative formulations of the main question in the general case, by describing the locus of intersection of the divisor with the determinant hypersurface complement in terms of intersections of unions of Schubert cells in flag varieties. We also discuss different methods of regularization aimed at removing the divergences of the Feynman integral.

研究の動機と目的

• パラメトリックフェニマン積分が混合テイトモチーフの周期として実現可能かどうかを、幾何的再解釈によって調査すること。
• これらの積分のモチーフ的性質を、行列式超曲面の補集合とグラフの位相から定義される除部分集合の相対コホモロジーに関連付けること。
• 混合テイト性の問題を、ループ数と genus にのみ依存するアフィン空間内の特定の局所的集合の混合テイト性の確認に還元できることを示すこと。
• 行列式超曲面フレームワークと整合する正則化スキームを提供し、モチーフ的構造を保存すること。

提案手法

• 単体から行列空間への線形写像 $\tau_\Gamma$ を用いて、パラメトリックフェニマン積分を $\mathbb{A}^{\ell^2}$ 内の行列式超曲面 $\hat{\mathcal{D}}_{\ell}$ の補集合上での周期として表現する。
• ループ数 $\ell$ と genus $g$ を持つグラフの位相的データを捉える、$\mathbb{A}^{\ell^2}$ 内の正則交差除部分集合 $\hat{\Sigma}_{\ell,g}$ を定義し、すべての $\hat{\Sigma}_\Gamma$ をその中に埋め込む。
• モチーフ的問題を、ペア $(\mathbb{A}^{\ell^2} \setminus \hat{\mathcal{D}}_{\ell}, \hat{\Sigma}_{\ell,g} \setminus (\hat{\mathcal{D}}_{\ell} \cap \hat{\Sigma}_{\ell,g}))$ の相対コホモロジーが混合テイトモチーフを実現するかどうかとして定式化する。
• 包含除算技術を用いて、問題を代数的多様体のグロテンディーク群における特定のストラタの混合テイト性の確認に還元する。
• 行列式超曲面 $\hat{\mathcal{D}}_{\ell}$ を $\hat{\mathcal{D}}_{\ell,\epsilon} = \{\det(x) = \epsilon\}$ に置き換える変形正則化を適用し、正則拡張を保証するとともに、代数的 $\epsilon$ に対してモチーフ的構造を保存する。
• 再帰的群に関する結果を活用し、$\mathrm{SL}_n$ が混合テイトモチーフであることを示し、変形された積分が混合テイト世界に留まることを裏付ける。

実験結果

リサーチクエスチョン

• RQ1 パラメトリックフェニマン積分は、$\mathbb{A}^{\ell^2}$ 内の行列式超曲面の補集合上での周期として実現可能か？
• RQ2 ペア $(\mathbb{A}^{\ell^2} \setminus \hat{\mathcal{D}}_{\ell}, \hat{\Sigma}_{\ell,g} \setminus (\hat{\mathcal{D}}_{\ell} \cap \hat{\Sigma}_{\ell,g}))$ の相対コホモロジーが、どのような条件下で混合テイトモチーフの実現となるか？
• RQ3 行列式超曲面フレームワークにおける変形正則化 $\hat{\mathcal{D}}_{\ell,\epsilon}$ を用いることで、フェニマン積分のモチーフ的性質は保存されるか？
• RQ4 一般問題は、$\ell$ と $g$ のみに依存する固定除部分集合 $\hat{\Sigma}_{\ell,g}$ の混合テイト性の確認に還元可能か？

主な発見

• 1PIグラフで3ループかつ組合せ的条件を満たすすべてのグラフについて、モチーフ $\mathfrak{m}(\mathbb{A}^9 \setminus \hat{\mathcal{D}}_3, \hat{\Sigma}_{3,0} \setminus (\hat{\mathcal{D}}_3 \cap \hat{\Sigma}_{3,0}))$ は混合テイトである。
• グロテンディーク多様体の群における $[\hat{\Sigma}_{3,0} \setminus (\hat{\mathcal{D}}_3 \cap \hat{\Sigma}_{3,0})]$ 及びそのストラタの明示的公式が導出され、条件を満たす任意の3ループグラフに対してそのクラスを構成可能である。
• ループ数 $\ell = 3$ の場合、相対コホモロジーが混合テイトモチーフの実現であることが示され、これにより、このようなフェニマン積分が発散を除き混合テイトモチーフの周期であることが確認された。
• 代数的 $\epsilon$ に対して、$\hat{\mathcal{D}}_{\ell,\epsilon}$ を用いた変形正則化は混合テート性を保存する。これは、$\mathrm{SL}_n$ が既に混合テイトモチーフであることが知られているためである。
• すべてのこのような積分が混合テイトモチーフの周期であるかどうかの問題は、$g=0$ の場合に限って $\hat{\Sigma}_{\ell,g} \setminus (\hat{\mathcal{D}}_{\ell} \cap \hat{\Sigma}_{\ell,g})$ の混合テイト性を確認する問題に還元可能であり、これはすべての genus に対して十分である。