[论文解读] Motives associated to sums of graphs

Spencer Bloch|ArXiv.org|Oct 7, 2008

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

一句话总结

本文证明了在所有具有 $ n \geq 3 $ 个顶点、无重边或环的连通图上，图超曲面类在代数几何范畴的格罗滕迪克环中的和（按自同构因子加权）属于由仿射直线生成的子环。该结果揭示了量子场论中费曼振幅的结构性质，表明尽管单个图动机并非混合 Tate 类，此类和仍为塔环中的 motivic 周期。

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.

研究动机与目标

• 通过图超曲面研究量子场论中费曼振幅的 motivic 结构。
• 解决如下问题：对于固定 $ n $ 个顶点的所有连通图，其图动机类的和是否属于子环 $ \mathbb{Z}[\mathbb{A}^1] \subset K_0(\mathrm{Var}_k) $。
• 为布罗德赫斯特-克雷默猜想提供证据，即费曼振幅是多重 zeta 值的和。
• 分析图超曲面在边删除与收缩操作下的行为，特别是在格罗滕迪克环中的表现。
• 确立和 $ S_n $（在完全图 $ \Gamma_n $ 的非退化边集上定义）为 motivic 塔类。

提出的方法

• 将 $ S_n $ 定义为所有无重边或环的 $ n $-顶点连通图的加权和（权重为 $ n!/|\mathrm{Aut}(\Gamma)| $），其类 $ [X_\Gamma] $ 属于格罗滕迪克环 $ K_0(\mathrm{Var}_k) $。
• 利用由克雷莫纳变换诱导的 $ 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 $ 是通过向 $ \Gamma_n $ 添加边得到时，类 $ [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 即使单个图动机并非混合 Tate 类，是否仍能通过此类和理解费曼振幅的 motivic 结构？
• RQ3 边删除与收缩操作如何影响格罗滕迪克环中图超曲面的 motivic 类？
• RQ4 当向图 $ \Gamma $ 添加更多边时，其对偶超曲面 $ X_\Gamma^\vee $ 是否为更小图的锥？
• RQ5 是否能通过分层与收缩技术，将和 $ S_n $ 表示为 $ \mathbb{Z}[\mathbb{A}^1] $ 中类的和？

主要发现

• 所有无重边或环的连通 $ n $-顶点图的图超曲面类之和 $ S_n $（按 $ n!/|\mathrm{Aut}(\Gamma)| $ 加权）属于 $ \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 $ 模 $ \mathbb{Z}[\mathbb{A}^1] $ 同余于对非退化对 $ (\vec{e}, \vec{f}) $ 的和，后者可重写为对商图 $ \Gamma_n / \vec{f} $ 的和，每个商图均满足塔条件。
• 最终结果由归纳法得出：对每个收缩图 $ \Gamma_n / \vec{f} $，其上非退化 $ \vec{e} $ 的和属于 $ \mathbb{Z}[\mathbb{A}^1] $，因此 $ S_n \in \mathbb{Z}[\mathbb{A}^1] $。