[論文レビュー] The number of master integrals is finite

Alexander V. Smirnov, Alexey Petukhov|arXiv (Cornell University)|Apr 23, 2010

advanced mathematical theories参考文献 1被引用数 5

ひとこと要約

この論文は、代数幾何学およびD-加群理論の道具を用いて、与えられたフェイニマン図におけるマスターレイアウトの数が常に有限であることを証明している。統合部分積分（IBP）関係の解の空間が、有限生成で特徴的であるD-加群を形成することを示すことにより、マスターレイアウトのベクトル空間が有限次元であることが確立され、量子場理論の計算における長年の経験的仮定が解消された。

ABSTRACT

For a fixed Feynman graph one can consider Feynman integrals with all possible powers of propagators and try to reduce them, by linear relations, to a finite subset of integrals, the so-called master integrals. Up to now, there are numerous examples of reduction procedures resulting in a finite number of master integrals for various families of Feynman integrals. However, up to now it was just an empirical fact that the reduction procedure results in a finite number of irreducible integrals. It this paper we prove that the number of master integrals is always finite.

研究の動機と目的

• 任意のフェイニマン図におけるマスターレイアウトの数が常に有限であることを厳密に証明し、量子場理論における経験的仮定を解消すること。
• 代数幾何学を用いて、統合部分積分（IBP）関係によるフェイニマン積分の簡約の数学的基盤を確立すること。
• IBP関係の解の空間が有限次元ベクトル空間を形成することを示し、これによりマスターレイアウトの有限性が保証されること。
• 標準的なフェイニマン積分に対して一般に成り立つ、構成的でないが普遍的な証明を提供すること。この証明は、すべての既知のループ図の族に適用可能である。

提案手法

• 関数体F内の解の空間Sとしてマスターレイアウトを定式化し、すべてのIBP関係の核として定義する。
• IBP関係を多項式環上に作用するリー代数gとして表現し、積分の空間を多項式環上のD-加群としてモデル化する。
• 特徴的D-加群理論を適用し、商加群 (g−χ(g))D[X]∖D[X]⊗D[X]F が有限次元であることを示す。
• リー代数gのD-加群への作用が局所的に有限であることから、特徴的多様体がg-軌道の余接束上にあることを示す。
• D-加群理論の定理を活用：有限生成で特徴的なD-加群は、点射影（π⁺_pt）による商が有限次元である。
• 右および左D-加群のテンソル積を適用し、補題3を用いて解の空間の有限性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 任意のフェイニマン図におけるマスターレイアウトの数は常に有限であるのか、あるいは一部の場合は無限である可能性があるか？
• RQ2 IBP簡約が有限なマスターレイアウト基底を生成するという経験的成功は、数学的に正当化可能か？
• RQ3 一般条件下で、IBP関係の解の空間は有限次元ベクトル空間を形成するか？
• RQ4 明示的な構成を用いずに、抽象的な代数幾何学を用いてマスターレイアウトの有限性を確立できるか？

主な発見

• 標準的なフェイニマン積分に対して、マスターレイアウトの数は常に有限であり、IBP関係の解の空間が有限次元ベクトル空間であるためである。
• マスターレイアウトの空間は、有限生成で特徴的なD-加群に対応しており、これにより次元の有限性が保証される。
• この証明は、IBP関係のリー代数の局所的有限作用および関連D-加群の特徴的性質に依存している。
• D-加群の特徴的多様体は、群の軌道の余接束上にある。これは有限個の軌道を意味し、したがって次元の有限性が導かれる。
• この結果は非構成的である：有限性は確認されるが、境界や明示的なマスターレイアウトの値は得られない。
• この定理は、有限温度場理論における無限和を含む「特異」積分には適用されない。