[論文レビュー] Motives associated to sums of graphs

Spencer Bloch|ArXiv.org|Oct 7, 2008

semigroups and automata theory参考文献 4被引用数 15

ひとこと要約

この論文は、$ n \geq 3 $ 個の頂点を持つ連結グラフで、多重辺やタドプルを含まないもの（自己同型因子で重み付けされたもの）のすべてについて、グラフハイパーサーフェス類の和が、代数的多様体のグロテンディーク環におけるアフィン直線によって生成される部分環に属することを証明している。この結果は、量子場理論におけるフェニマン振幅の構造的性質を示しており、個々のグラフモチーフが混合テートでない場合でも、そのような和がテート環におけるモチーフ的周期であることを示している。

ABSTRACT

The Feynman amplitude associated to a graph is a period of a certain motive. The sum of these motive classes over all connected graphs with no multiple edges or tadpoles and n vertices is defined in the Grothendieck ring of varieties. This sum is shown to lie in the subring generated by the affine line. It follows from work of Belkale and Brosnan that motives of individual graphs do not lie in this subring.

研究の動機と目的

• グラフハイパーサーフェスを用いた量子場理論におけるフェニマン振幅のモチーフ的構造を調査すること。
• 固定された $ n $ 個の頂点を持つすべての連結グラフについてのグラフモチーフの和が、$ \mathbb{Z}[\mathbb{A}^1] \subset K_0(\mathrm{Var}_k) $ の部分環に属するかどうかを解明すること。
• フェニマン振幅が複数ゼータ値の和であるというブロードハースト＝クライマー予想に証拠を提供すること。
• エッジの削除と縮約の操作が、グロテンディーク環におけるグラフハイパーサーフェスのモチーフ的クラスに与える影響を分析すること。
• 完全グラフ $ \Gamma_n $ の非退化なエッジ集合上での定義される和 $ S_n $ が、モチーフ的にテート的であることを確立すること。

提案手法

• すべての連結 $ n $ 頂点グラフ（多重辺やタドプルを含まないもの）について、自己同型群の位数の逆数を重みとして用い、グロテンディーク環 $ K_0(\mathrm{Var}_k) $ 内のクラス $ [X_\Gamma] $ の重み付き和 $ S_n $ を定義する。
• クレモナ変換によって誘導される $ X_\Gamma $ と $ X_\Gamma^\vee $ の双対性を用い、ハイパーサーフェスとその双対を関連付ける。
• 射影空間のトーリックな層化を用いて $ X_\Gamma^\vee $ を層化し、エッジ部分集合ごとの和としてそのクラスを表現する。
• エッジの縮約と削除に関する帰納法を用い、再帰的公式 $ \Psi_{\Gamma/e} = \Psi_\Gamma|_{A_e=0} $ および $ \Psi_{\Gamma-e} = \partial_{A_e}\Psi_\Gamma $ を適用する。
• 完全グラフ $ \Gamma_n $ に対して、$ \Gamma_n $ にエッジを追加して得られるグラフ $ \Gamma $ について、$ [X_\Gamma^\vee] \in \mathbb{Z}[\mathbb{A}^1] $ であることを、繰り返しコーン構造を用いて示す。
• コーン構造をとる多様体のクラスは $ \mathbb{Z}[\mathbb{A}^1] $ に属すること、および退化したエッジ集合は線形部分空間にしか寄与せず、それも $ \mathbb{Z}[\mathbb{A}^1] $ に属することを用いる。

実験結果

リサーチクエスチョン

• RQ1 すべての連結 $ n $ 頂点グラフ（多重辺やタドプルを含まないもの）について、グラフハイパーサーフェス類の和が、$ \mathbb{Z}[\mathbb{A}^1] \subset K_0(\mathrm{Var}_k) $ の部分環に属するか。
• RQ2 個々のグラフモチーフが混合テートでない場合でも、フェニマン振幅のモチーフ的構造が、このような和を通じて理解可能か。
• RQ3 エッジの削除と縮約の操作が、グロテンディーク環におけるグラフハイパーサーフェスのモチーフ的クラスにどのように影響するか。
• RQ4 追加のエッジが加えられたとき、グラフ $ \Gamma $ の双対ハイパーサーフェス $ X_\Gamma^\vee $ は、より小さいグラフのコーンであるか。
• RQ5 層化と縮約の技法を用いて、和 $ S_n $ を $ \mathbb{Z}[\mathbb{A}^1] $ のクラスの和として表現できるか。

主な発見

• すべての連結 $ n $ 頂点グラフ（多重辺やタドプルを含まないもの）について、自己同型群の位数の逆数を重みとしたグラフハイパーサーフェス類の和 $ S_n $ は、$ \mathbb{Z}[\mathbb{A}^1] \subset K_0(\mathrm{Var}_k) $ に属する。
• 完全グラフ $ \Gamma_n $ に $ r $ 個のエッジを追加して得られる任意のグラフ $ \Gamma $ について、$ [X_\Gamma^\vee] \in \mathbb{Z}[\mathbb{A}^1] $ である。これは、$ X_\Gamma^\vee $ が $ X_{\Gamma_n}^\vee $ を基本として繰り返しコーン構造を持つことによる。
• 多様体のコーンのクラスは $ \mathbb{Z}[\mathbb{A}^1] $ に属する。なぜなら、それは点とアフィン空間との積に分解可能だからである。
• 退化したエッジ集合（例えば孤立頂点を残すもの）は、線形部分空間にしか寄与せず、それらも $ \mathbb{Z}[\mathbb{A}^1] $ に属する。
• 和 $ S_n $ は、非退化なペア $ (\vec{e}, \vec{f}) $ に関する和に $ \mathbb{Z}[\mathbb{A}^1] $ に関して合同であり、これは商 $ \Gamma_n / \vec{f} $ に関する和に再表現可能であり、それぞれがテート条件を満たす。
• 最終的な結果は帰納法により得られる：各縮約 $ \Gamma_n / \vec{f} $ に対して、商における非退化な $ \vec{e} $ の和は $ \mathbb{Z}[\mathbb{A}^1] $ に属するので、$ S_n \in \mathbb{Z}[\mathbb{A}^1] $ である。