[论文解读] Root polytopes, parking functions, and the HOMFLY polynomial

Tamás Kálmán, Hitoshi Murakami|arXiv (Cornell University)|May 21, 2013

Geometric and Algebraic Topology参考文献 10被引用 5

一句话总结

本文建立了特殊交错链图的三种数学对象之间的深层组合等价性：HOMFLY多项式的首项、由Seifert图导出的三角化根多面体的$h$-向量，以及该Seifert图平面对偶图上的停车函数枚举。关键贡献是为任意本性链的HOMFLY多项式最大$z$-次幂部分提供了统一公式，通过根多面体和停车函数将扭结不变量与离散几何和组合数学联系起来。

ABSTRACT

We show that for a special alternating link diagram, the following three polynomials are essentially the same: a) the part of the HOMFLY polynomial that corresponds to the leading term in the Alexander polynomial; b) the $h$-vector for a triangulation of the root polytope of the Seifert graph and c) the enumerator of parking functions for the planar dual of the Seifert graph. These observations yield formulas for the maximal $z$-degree part of the HOMFLY polynomial of an arbitrary homogeneous link as well. Our result is part of a program aimed at reading HOMFLY coefficients out of Heegaard Floer homology.

研究动机与目标

• 理解HOMFLY多项式在何种意义上‘度量’了内在的、与图示无关的不变量。
• 在扭结理论、离散几何（根多面体）与组合学（停车函数）之间建立组合桥梁。
• 为任意本性链的HOMFLY多项式最大$z$-次幂部分提供一个公式。
• 证明对于特殊交错链，其HOMFLY多项式首项与Seifert图的三角化根多面体的$h$-向量，以及其对偶图的停车函数枚举三者完全相等。

提出的方法

• 对于连通平面二部图$G$，将根多面体$Q_G$定义为所有边$ev$对应的向量$\mathbf{e} + \mathbf{v}$的凸包，其中$E$和$V$为颜色类。
• 利用在平面对偶图$G^*$中以固定顶点$r_0$为根的生成树形（spanning arborescences）来定义$Q_G$的规范三角剖分。
• 在三角剖分中的极大单形与图$G$的生成树之间建立一一对应，从而将三角剖分的$h$-向量与图的组合结构联系起来。
• 在平面对偶图$G^*$上定义停车函数，并证明其枚举函数与根多面体三角剖分的$h$-向量完全一致。
• 利用HOMFLY多项式首项在链图星积下的乘法性质，将一般情形约化为特殊交错成分的情形。
• 通过中位构造（median construction）为每个连通平面二部图$G$关联一个正向特殊交错链$L_G$，从而实现图论数据向扭结不变量的转化。

实验结果

研究问题

• RQ1 本性链的HOMFLY多项式首项能否通过Seifert图以组合方式表达？
• RQ2 根多面体三角剖分的$h$-向量与HOMFLY多项式首次幂部分之间是否存在直接对应？
• RQ3 Seifert图平面对偶图上的停车函数是否枚举了与$h$-向量及HOMFLY多项式首项相同的组合数据？
• RQ4 任意本性链的HOMFLY多项式首部分是否可通过其特殊交错成分的首部分的乘法公式重构？
• RQ5 在Heegaard Floer同调框架下，根多面体与停车函数在扭结不变量背景下如何相互作用？

主要发现

• 对于特殊交错链图，HOMFLY多项式的首项、Seifert图根多面体三角剖分的$h$-向量，以及其对偶图的停车函数枚举三者作为多项式完全相等。
• 根多面体$Q_G$的三角剖分通过在对偶图$G^*$中的生成树形构造，该三角剖分所导出的$h$-向量与HOMFLY多项式的首项完全一致。
• 对偶图$G^*$上的停车函数数量等于$Q_G$三角剖分中极大单形的数量，且该数量与HOMFLY多项式首项的首项系数完全匹配。
• 任意本性链的HOMFLY多项式首部分在星积下具有乘法性，从而可分解为各特殊交错成分贡献的乘积。
• 该构造提供了一个明确的、与图示无关的公式，仅基于Seifert图及其对偶图，即可表达HOMFLY多项式最大$z$-次幂部分。
• HOMFLY首项、$h$-向量与停车函数枚举三者之间的等价性，精确成立于特殊交错图情形，并可通过分解推广至一般本性链。