[論文レビュー] Matroids, motives and conjecture of Kontsevich

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

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

ひとこと要約

この論文は、有限体 $\mathbb{F}_q$ 上でのグラフの辺空間におけるキルヒホッフ多項式の零点集合の補集合上の $\mathbb{F}_q$-有理点の個数が $q$ に関して多項式であるというコンツェビッチの予想を反証する。マトロイド表現スキームとミネフの普遍性定理を用いて、これらのスキームが $\mathbb{Z}$ 上で可能なすべての算術的性質を生成することを示し、したがってそのゼータ関数が有理関数に制限されないことを示し、予想を否定するとともに、このようなグラフの補集合のモチビック類が $\mathbb{Z}$ 上の完全なモチビック環を生成することを確立する。

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$ に関して多項式であるかどうかを検証すること。
• この予想が示唆するように、このようなスキームが混合タットモチーフ型に制限されるかどうかを特定すること。
• マトロイド表現空間と関連付けることによって、これらのスキームの算術的性質の完全な一般性を確立すること。
• このようなグラフ補集合のモチビック類が $\mathbb{Z}$ 上の完全なモチビック環を生成することを証明すること。

提案手法

• グラフ $G$ に対して $Y_G$ を $\mathbb{A}^E$ 内のキルヒホッフ多項式 $P_G$ の零点集合の補集合として定義し、その点数関数 $[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]$ が多項式であることと同値であることを示す。
• ミネフの普遍性定理を適用し、任意の $\mathbb{Z}$ 上のスキームをマトロイドの表現スキームに埋め込む。
• $n > 1$ に対して $q^n - q$ を生成元とする $\mathbb{Z}[q]$ 内の飽和した乗法的系 $\mathsf{S}$ を構成し、$\mathsf{R} = \mathsf{S}^{-1}\mathbb{Z}[q]$ を定義し、$\mathcal{Q}$ 上の有理関数を扱う。
• 木に関する帰納法と $I_v$、$D$、$R_v$ などの操作を用い、$[Y_G]$ が生成する $\mathsf{R}$-加群が完全なモチビック環 $\operatorname{Mot}$ に一致することを証明する。
• 点数関数が素数で消失する場合（例：$X = \{px = 0\} \subset \mathbb{A}^1_\mathbb{Z}$）には $[X]$ は有理関数でないことを用いて、一般には $[Y_G]$ が多項式でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての有限グラフ $G$ に対して、キルヒホッフ多項式の零点集合の補集合上の $\mathbb{F}_q$-有理点の個数は $q$ に関して多項式か？
• RQ2 このようなグラフ補集合のモチビック類は $\mathbb{Z}$ 上の完全なモチビック環を生成できるか？
• RQ3 これらのスキームの算術的性質は、コンツェビッチの予想が示唆するように、混合タットモチーフ型に制限されるか？
• RQ4 ミネフの普遍性が示唆するように、任意の $\mathbb{Z}$ 上のスキームをマトロイドの表現スキームに埋め込むことができるか？
• RQ5 点数関数 $Y_G$ と $X_G$ の正確な関係は何か？ そしてそれらはモチビッククラスとどのように関係するか？

主な発見

• コンツェビッチの予想は誤りである：マトロイドスキームを用いた反例の構成により、$[Y_G]$ が一般には $q$ に関して多項式でない有限グラフ $G$ が存在することが示された。
• $\mathsf{R}$-加群としての $[Y_G]$ の生成する部分は、完全なモチビック環 $\operatorname{Mot}$ に一致する。これは、これらのスキームが $\mathbb{Z}$ 上で可能なすべての算術的性質を実現することを意味する。
• 補集合 $Y_G$ のモチビック類は、完全なモチビック環 $\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}$ の点数関数は有理関数でない。これは、すべてのモチビッククラスが有理関数でないことを示し、したがって予想が無効であることを証明する。
• 証明は、$[X_G]$ が生成する $\mathsf{R}$-加群と $[Y_G]$ が生成する $\mathsf{R}$-加群が等しく、両方とも $\operatorname{Mot}$ に一致することを示すことに依拠している。これは、グラフの操作に関する帰納法と包含除法の原理を用いる。