[論文レビュー] Sheaves on Graphs, Their Homological Invariants, and a Proof of the Hanna Neumann Conjecture

Joel Friedman|arXiv (Cornell University)|May 1, 2011

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

ひとこと要約

本稿では、グラフ上の層とそのホモロジー的不変量、特に『最大超過』——グラフの拡張に類似したが、ベッチ数および$L^2$ベッチ数と深く関係する新しい不変量——を導入する。この枠組みを用いて、著者たちはガロア対称性と被覆写像に関する帰納的議論を活用し、特定の層、すなわち$\rho$-カーネルと呼ばれる層が最大超過を零に持つことを示すことにより、強化されたハナ・ニューマン予想を証明する。

ABSTRACT

In this paper we establish some foundations regarding sheaves of vector spaces on graphs and their invariants, such as homology groups and their limits. We then use these ideas to prove the Hanna Neumann Conjecture of the 1950's; in fact, we prove a strengthened form of the conjecture. We introduce a notion of a sheaf of vector spaces on a graph, and develop the foundations of homology theories for such sheaves. One sheaf invariant, its "maximum excess," has a number of remarkable properties. It has a simple definition, with no reference to homology theory, that resembles graph expansion. Yet it is a "limit" of Betti numbers, and hence has a short/long exact sequence theory and resembles the $L^2$ Betti numbers of Atiyah. Also, the maximum excess is defined via a supermodular function, which gives the maximum excess much stronger properties than one has of a typical Betti number. Our sheaf theory can be viewed as a vast generalization of algebraic graph theory: each sheaf has invariants associated to it---such as Betti numbers and Laplacian matrices---that generalize those in classical graph theory. We shall use "Galois graph theory" to reduce the Strengthened Hanna Neumann Conjecture to showing that certain sheaves, that we call $ρ$-kernels, have zero maximum excess. We use the symmetry in Galois theory to argue that if the Strengthened Hanna Neumann Conjecture is false, then the maximum excess of "most of" these $ρ$-kernels must be large. We then give an inductive argument to show that this is impossible.

研究の動機と目的

• 有限グラフ上の層のホモロジー理論を構築し、古典的な代数的グラフ理論を一般化すること。
• 層の『最大超過』を定義・研究すること。これは、超モジュラルかつ準ベッチ数的性質を有するベッチ数の極限として定義される。
• 強化されたハナ・ニューマン予想を、特定の$\rho$-カーネル層の最大超過の消失に還元すること。
• ガロア対称性と帰納的議論を用いて、最大超過が非ゼロであると矛盾に至ることを示し、予想を証明すること。
• グラフ理論を一般化し、組合せ的群論および位相幾何学のための新規な道具を提供する枠組みを確立すること。

提案手法

• 頂点および辺にベクトル空間を割り当て、制限写像を備えた層を定義し、インシデント行列の一般化としてのグラフ上の層を定式化する。
• 被覆写像による引き戻しの下での第一ベッチ数の極限として『最大超過』を定義し、ガロア準同型写像に関して不変であることを示す。
• ガロアグラフ理論を用いて、最大超過が引き戻しにおいてスケーリングされることを示し、群の対称性を活用して可能な値を制約する。
• $\rho$-カーネルを、自由群の交差から生じるグラフ間の層の全射の核として構成し、共通のカーレイ図形上での層として解釈する。
• 完全系列からの三角不等式を適用し、層コホモロジー群の次元を関連づけ、予想の不等式と結びつける。
• 被覆写像に関する二つの帰納的議論を用いて、一般の$\rho$-カーネルの最大超過が非ゼロであれば、それが大きすぎるものであると示し、対称性から導かれる境界と矛盾することを示す。

実験結果

リサーチクエスチョン

• RQ1 グラフ上のホモロジー的不変量は、ベッチ数やラプラシアンといった古典的グラフ不変量を一般化できるか？
• RQ2 グラフ上の層の最大超過は$L^2$ベッチ数に類似した性質を示し、有限ベッチ数の極限として計算可能か？
• RQ3 強化されたハナ・ニューマン予想は、特定の$\rho$-カーネル層の最大超過の消失に還元可能か？
• RQ4 ガロア対称性は、$\rho$-カーネルの最大超過がガロア群の位数の倍数であることを強制するのか？非ゼロであれば、それが消失しなければならないことを示唆するか？
• RQ5 被覆写像に関する帰納的議論により、$\rho$-カーネルにおける大きな非ゼロ最大超過を除外できるか？

主な発見

• グラフ上の層の最大超過は、被覆写像による引き戻しの下での第一ベッチ数の極限として定義され、超モジュラル性を有する。
• 自由群の交差から生じる$\rho$-カーネルの最大超過は消える。これは、強化されたハナ・ニューマン予想の成立を示唆する。
• 最大超過はガロア引き戻しに関して不変であり、非ゼロであればガロア群の位数の大きな倍数であることが示唆される。
• この大きな値が不可能であることを示すために、二つの異なる帰納的議論を用いて矛盾を導いた。
• グラフ上の層の枠組みは、古典的な代数的グラフ理論を一般化し、群論および位相幾何学のための新規な道具を提供する。
• 完全なホモロジー理論に依存しない：証明は層と最大超過のみを用いて可能であるが、ホモロジー理論が重要な洞察を提供している。