[论文解读] Matroids, motives and conjecture of Kontsevich

Prakash Belkale, Patrick Brosnan|ArXiv.org|Dec 20, 2000

Advanced Combinatorial Mathematics参考文献 13被引用 4

一句话总结

本文否定了康采维奇关于图边空间中基尔霍夫多项式零点集补集上 $\mathbb{F}_q$-有理点数是 $q$ 的多项式的猜想。通过拟阵表示方案与 Mnëv 的普遍性定理，作者证明这些方案在 $\mathbb{Z}$ 上可生成所有可能的算术行为，从而表明此类方案的 zeta 函数并非受限于有理函数，因此否定了该猜想，并确立了此类图补集的 motivic 类在 $\mathbb{Z}$ 上生成整个 motivic 环。

ABSTRACT

Let G be a finite connected graph. The Kirchhoff polynomial of G is a certain homogeneous polynomial whose degree is equal to the first betti number of G. These polynomials appear in the study of electrical circuits and in the evaluation of Feynman amplitudes. Motivated by work of D. Kreimer and D. J. Broadhurst associating multiple zeta values to certain Feynman integrals, Kontsevich conjectured that the number of zeros of a Kirchhoff polynomial over the field with q elements is always a polynomial function of q. We show that this conjecture is false by relating the schemes defined by Kirchhoff polynomials to the representation spaces of matroids. Moreover, using Mnev's universality theorem, we show that these schemes essentially generate all arithmetic of schemes of finite type over the integers.

研究动机与目标

• 研究有限域上图边空间中基尔霍夫多项式零点集补集的算术性质。
• 检验康采维奇猜想：该补集上 $\mathbb{F}_q$-点数是否为 $q$ 的多项式。
• 确定此类方案是否如猜想所暗示的那样，受限于混合 Tate 型动机。
• 通过将其与拟阵表示空间关联，确立这些方案的算术性质完全普遍。
• 证明此类图补集的 motivic 类在 $\mathbb{Z}$ 上生成整个 motivic 环。

提出的方法

• 将 $Y_G$ 定义为基尔霍夫多项式 $P_G$ 在 $\mathbb{A}^E$ 中零点集的补集，并研究其点计数函数 $[Y_G](q) = \#Y_G(\mathbb{F}_q)$。
• 利用斯坦利的重述方法，通过其对偶多项式 $Q_G = \sum_T \prod_{e \in T} x_e$ 定义 $X_G = \mathbb{A}^E \setminus V(Q_G)$，并证明 $[X_G]$ 为多项式当且仅当 $[Y_G]$ 为多项式。
• 应用 Mnëv 的普遍性定理，将任意 $\mathbb{Z}$-上的概形嵌入到拟阵的表示方案中。
• 在 $\mathbb{Z}[q]$ 中构造一个由 $q^n - q$（$n > 1$）生成的饱和乘法系统 $\mathsf{S}$，并定义环 $\mathsf{R} = \mathsf{S}^{-1}\mathbb{Z}[q]$ 以处理 $\mathcal{Q}$ 上的有理函数。
• 通过在森林上归纳，并利用 $I_v$、$D$ 和 $R_v$ 等操作，证明由 $[Y_G]$ 生成的 $\mathsf{R}$-模等于整个 motivic 环 $\operatorname{Mot}$。
• 利用如下事实：若某概形在素数上消失（例如 $X = \{px = 0\} \subset \mathbb{A}^1_\mathbb{Z}$），则其点计数函数非有理函数，从而证明 $[Y_G]$ 一般情况下不可能为多项式。

实验结果

研究问题

• RQ1 对于所有有限图，基尔霍夫多项式零点集补集上 $\mathbb{F}_q$-有理点数是否为 $q$ 的多项式？
• RQ2 此类图补集的 motivic 类是否能生成 $\mathbb{Z}$ 上的整个 motivic 环？
• RQ3 这些方案的算术性质是否如康采维奇猜想所暗示的那样，受限于混合 Tate 动机的性质？
• RQ4 如 Mnëv 的普遍性所暗示，任意 $\mathbb{Z}$-上的概形是否可嵌入到拟阵的表示方案中？
• RQ5 点计数函数 $Y_G$ 与 $X_G$ 之间的精确关系为何？它们如何与 motivic 类关联？

主要发现

• 康采维奇猜想为假：存在有限图 $G$，使得 $[Y_G]$ 不是 $q$ 的多项式，此结论通过拟阵方案构造反例得以证明。
• 所有图 $G$ 的 $[Y_G]$ 生成的 $\mathsf{R}$-模等于整个 motivic 环 $\operatorname{Mot}$，意味着这些方案在 $\mathbb{Z}$ 上实现了所有可能的算术行为。
• 补集 $Y_G$ 的 motivic 类生成整个 motivic 环 $\operatorname{Mot}$，意味着 $Y_G$ 的算术性质具有最大程度的普遍性。
• 对于森林 $F$，有 $[Z_F] \in \mathbb{Z}[q]$，且当 $G = K_s - F$ 且 $s > r$ 时，有 $[X_G] \in \mathbb{Z}[q]$，表明该猜想在特殊情况下成立。
• 概形 $X = \{px = 0\} \subset \mathbb{A}^1_\mathbb{Z}$ 的点计数函数非有理函数，证明并非所有 motivic 类均为有理函数，从而否定了该猜想。
• 证明依赖于证明由 $[X_G]$ 生成的 $\mathsf{R}$-模等于由 $[Y_G]$ 生成的模，且两者均等于 $\operatorname{Mot}$，方法为对图运算进行归纳并应用容斥原理。