[論文レビュー] Floer homology and embedded bipartite graphs

Yuanyuan Bao|arXiv (Cornell University)|Jan 26, 2014

Geometric and Algebraic Topology参考文献 11被引用数 7

ひとこと要約

本稿は、$S^3$ 内のバランスドな二部グラフへとヘーガード・フローリングホモロジーを一般化し、グラフの図式における「カウフマン状態」を通じてオイラー乗数の組み合わせ的記述を導入する。主な貢献は、グラフ補集合のサーチャー・フローリングホモロジーのオイラー乗数に対する状態和の公式であり、カウフマンの多項式構成を拡張し、特に3価グラフに対する $\mathfrak{gl}(1|1)$-アレクサンダー多項式のような量子不変量と結びつけるものである。

ABSTRACT

We generalize the construction of the Heegaard Floer homology for a singular knot to that for a balanced bipartite graph. For a given graph, we provide a combinatorial description of the Euler characteristic of its Heegaard Floer homology by using the "Kauffman states" on a graph diagram.

研究の動機と目的

• $S^3$ 内の特異なねじれ結び目からバランスドな二部グラフへのヘーガード・フローリングホモロジーの拡張。
• グラフ補集合のサーチャー・フローリングホモロジーのオイラー乗数の組み合わせ的記述の提供。
• カウフマンのアレクサンダー多項式の状態和定義を空間的二部グラフへ一般化すること。
• 状態和不変量が量子不変量、特に3価グラフに対する $\mathfrak{gl}(1|1)$-アレクサンダー多項式とどのように関係するかを特定すること。
• 図式的状態和構成を通じて、フローリング理論的不変量と量子群不変量との間の関係を確立すること。

提案手法

• グラフの頂点と辺に変数を割り当てることで、2つのチェイン複体 $\mathrm{CFG}^{\mathcal{V}}$ と $\mathrm{CFG}^{\mathcal{E}}$ を構成する。
• $S^3$ 内のグラフの補集合に対するヘーガード図を定義し、それを縁の縁がメリジアンであるサージャー多様体とみなす。
• アリシャヒとエフテハリーのサージャー・フローリングホモロジーの精緻化を用い、頂点または辺に変数を割り当ててチェイン複体を構成する。
• 図式上の「カウフマン状態」を、各頂点および交差における局所的解消の割り当てとして定義し、リンク状態モデルに類似させる。
• オイラー乗数を、状態のアレクサンダー格付けへの寄与に基づく重みをもつ、すべてのカウフマン状態における符号付き状態和として計算する。
• 状態和の公式と、グラフ補集合の基本群の提示から導かれるフォックス微分作用素行列の行列式との対応関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 ヘーガード・フローリングホモロジーを $S^3$ 内の特異なねじれ結び目からバランスドな二部グラフへどのように拡張できるか。
• RQ2 バランスドな二部グラフの補集合に対するサーチャー・フローリングホモロジーのオイラー乗数の組み合わせ的構造は何か。
• RQ3 オイラー乗数の状態和の公式は、カウフマンのアレクサンダー多項式の元来の構成とどのように関係するか。
• RQ4 二部グラフに対する状態和不変量は、$\mathfrak{gl}(1|1)$-アレクサンダー多項式のような量子不変量と関係づけられるか。
• RQ5 状態和が満たす代数的または図式的関係は何か。また、$U_q(\mathfrak{sl}(n))$-不変量の村上・大塚・山田関係式と比較してどうなるか。

主な発見

• サーチャー・フローリングホモロジー $\widehat{\mathrm{HFG}}(G)$ のオイラー乗数は、グラフ図式上のすべてのカウフマン状態における状態和として与えられる。
• 状態和の公式は、グラフ補集合の基本群の提示から得られるフォックス微分作用素行列の行列式と一致する。
• $\theta_n$-カーブに対しては、状態和は古典的なアレクサンダー多項式を回復する。
• 出力源や流入源のない3価グラフに対する状態和不変量は、ヴィロが定義した $\mathfrak{gl}(1|1)$-アレクサンダー多項式と等価である。
• $n \geq 2$ のとき、状態和は $U_q(\mathfrak{sl}(n))$-不変量の村上・大塚・山田関係式に類似した関係を満たしており、より深い量子群との関係を示唆している。