[论文解读] Floer homology and embedded bipartite graphs

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

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

一句话总结

本文将赫加德-弗洛尔同调从奇异结推广到 $S^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$ 中的平衡双色图。
• 为图补集的缝合弗洛尔同调的欧拉示性数提供组合描述。
• 将开夫曼对亚历山大多项式的态和定义推广至空间双色图。
• 将态和不变量与量子不变量（特别是三价图的 $\mathfrak{gl}(1|1)$-亚历山大多项式）联系起来。
• 通过图示态和构造，建立弗洛尔理论不变量与量子群不变量之间的联系。

提出的方法

• 通过为图的顶点和边分配变量，构造两个链复形 $\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$-曲线，该态和恢复了经典的亚历山大多项式。
• 无源无汇的三价图的态和不变量等价于维罗定义的 $\mathfrak{gl}(1|1)$-亚历山大多项式。
• 当 $n \geq 2$ 时，该态和满足类似于 $U_q(\mathfrak{sl}(n))$-不变量的村上-大槻-山田关系，暗示了更深层的量子群联系。