[論文レビュー] 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

ひとこと要約

本稿は、特殊な交代的リンク図に対して、3つの数学的対象の間の深いつながりを確立する。それらは、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$ の各辺 $ev$ に対して、$\mathbf{e} + \mathbf{v}$ のベクトルの凸包としてルートポリトープ $Q_G$ を構成する。ここで $E$ と $V$ は色分けされた類である。
• 固定頂点 $r_0$ を根とする平面的双対グラフ $G^*$ のスパニングアーボレスレンスを用いて、$Q_G$ の標準的三角形分割を定義する。
• 三角形分割の最大単体とグラフのスパニングツリーの間の一対一対応を確立し、三角形分割の $h$-ベクトルとグラフの組合せ論を結びつける。
• 平面的双対グラフ $G^*$ 上のパーキング関数を定義し、その列挙子がルートポリトープ三角形分割の $h$-ベクトルと一致することを示す。
• HOMFLY多項式の先頭項がリンク図のスタープロダクトに関して乗法的であることを利用し、一般ケースを特殊な交代的成分に還元する。
• 中間構成を用いて、各連結平面二部グラフ $G$ に対して正の特殊な交代的リンク $L_G$ を関連付ける。これにより、グラフ論的データをねじれ不変量に翻訳できる。

実験結果

リサーチクエスチョン

• RQ1 同次リンクのHOMFLY多項式の先頭項は、Seifert図を用いて組合せ的に表現可能か？
• RQ2 ルートポリトープ三角形分割の $h$-ベクトルとHOMFLY多項式の先頭次数部分との間に直接的な対応があるか？
• RQ3 Seifert図の平面的双対グラフ上のパーキング関数は、$h$-ベクトルおよびHOMFLY多項式の先頭項が表す同一の組合せ的データを列挙するか？
• RQ4 任意の同次リンクのHOMFLY多項式の先頭部分は、スタープロダクトによる乗法的公式を用いて、個々の特殊な交代的成分の先頭部分から再構成可能か？
• RQ5 特にヘーガード・フローホモロジーの枠組みにおいて、ルートポリトープとパーキング関数はどのように相互作用するか？

主な発見

• 特殊な交代的リンク図に対して、HOMFLY多項式の先頭項、Seifert図のルートポリトープ三角形分割の $h$-ベクトル、および平面的双対グラフ上のパーキング関数の列挙子は、すべて多項式として等しい。
• ルートポリトープ $Q_G$ の三角形分割は、双対グラフ $G^*$ のスパニングアーボレスレンスを用いて構成され、この三角形分割により得られる $h$-ベクトルはHOMFLY多項式の先頭項と一致する。
• 双対グラフ $G^*$ 上のパーキング関数の数は、$Q_G$ の三角形分割における最大単体の数に等しく、この数はHOMFLY多項式の先頭次数項の先頭係数と一致する。
• 任意の同次リンクのHOMFLY多項式の先頭部分は、スタープロダクトに関して乗法的であり、個々の特殊な交代的成分からの寄与に分解可能である。
• この構成により、Seifert図とその双対のみを用いて、HOMFLY多項式の最大 $z$-次数部分の明示的で図に依存しない公式が得られる。
• HOMFLY先頭項、$h$-ベクトル、パーキング関数列挙子の間の同値性は、正確に特殊な交代的図に対して成立し、一般の同次リンクへの拡張は分解によって達成される。