[論文レビュー] The dimensions and Euler characteristics of M. Kontsevich's graph complexes

Thomas Willwacher, Marko Živković|arXiv (Cornell University)|Jan 20, 2014

Topological and Geometric Data Analysis参考文献 12被引用数 6

ひとこと要約

本稿は、M. コンツェビッチの通常のグラフ複体の次数付き次元の生成関数を提供し、各ループ次数におけるオイラー乗数の計算を可能にする。また、多重辺を含むグラフをこれらの複体から省いても、コhomology的情報が失われないことを証明し、構造と計算を単純化する。

ABSTRACT

We provide a generating function for the (graded) dimensions of M. Kontsevich's graph complexes of ordinary graphs. This generating function can be used to compute the Euler characteristic in each loop order. Furthermore, we show that graphs with multiple edges can be omitted from these graph complexes.

研究の動機と目的

• M. コンツェビッチが導入した通常のグラフ複体の次数付き次元の生成関数を導出すること。
• 生成関数を用いて、各ループ次数（すなわち、種数または第一ベッチ数）におけるこれらのグラフ複体のオイラー乗数を計算すること。
• 多重辺を含むグラフがコホモロジーに寄与しないことを証明し、それらを省くことができることを示すこと。
• 重複するグラフ型を排除することで、コホモロジー的データを変更せずにグラフ複体の構造を単純化すること。
• 変形理論および数理物理学において中心的な役割を果たすグラフ複体のコホモロジーを研究するための計算的ツールを提供すること。

提案手法

• 多重辺を含まない、無向で3価以上である頂点を持つグラフの同型類の空間の次数付き次元を符号化する生成関数を構築すること。
• 生成関数を用いて、各ループ次数（つまり、種数または第一ベッチ数）におけるオイラー乗数を計算すること。
• 群わい的および組合せ論的技法を用いて、グラフ上の自己同型群の作用を分析し、偶数対称性と奇数対称性を区別すること。
• 微分複体における寄与が消えることを示すことで、多重辺を含むグラフがコホモロジーに自明に寄与することを証明すること。
• 既知のグラフコホモロジーの結果、特に $ H^0( ext{GC}_2) o rak{grt}_1 $ の同型を用いてフレームワークを検証すること。
• 明示的な計算と再帰的公式（表2において示される）を用いて、生成関数およびコホモロジー次元の検証を行うこと。

実験結果

リサーチクエスチョン

• RQ1 コンツェビッチの通常のグラフ複体の次数付き次元の生成関数は何か？
• RQ2 これらの複体のオイラー乗数は、各ループ次数においてどのように計算できるか？
• RQ3 グラフ複体のコホモロジーを計算する際に、多重辺を含むグラフは必要か？
• RQ4 多重辺を含むグラフを省いても、そのコホモロジカル構造に変更を加えずに複体を単純化できるか？
• RQ5 対称性（偶数対称性 vs. 奇数対称性）は、複体およびそのコホモロジーを定義する上で果たす正確な役割は何か？

主な発見

• 各頂点数および辺数に対して、通常のグラフ複体の次数付き次元を計算できる生成関数が導出された。
• 生成関数を用いることで、グラフ複体の各ループ次数におけるオイラー乗数を計算できるようになった。
• 多重辺を含むグラフは、複体のコホモロジーに寄与せず、安全に複体から省くことができる。
• 表2に示される明示的な数値データにより、生成関数および得られた次元計算が検証された。ここには、さまざまな頂点数および辺数における次元が示されている。
• 計算に考慮すべきグラフの数を減らすことで、グラフコホモロジーの研究が単純化された。
• フレームワークにより、次元およびオイラー乗数を体系的に計算する方法が提供され、グラフコサイクルおよびそのコホモロジカル意義のさらなる研究を支援する。