[論文レビュー] Link invariants via counting surfaces

Michael Brandenbursky|arXiv (Cornell University)|Sep 3, 2012

Geometric and Algebraic Topology参考文献 17被引用数 6

ひとこと要約

この論文は、リンクのガウス図において、指定された genus と2つの境界成分を持つ可定向曲面の個数を数えることで、無限個のリンク不変量を計算する明示的なガウス図式の公式を導入する。この表面の個数と、変数 $a$ についての HOMFLYPT 多項式の1階微分の $a=1$ における値との間の直接的な関係を確立し、先行研究のコンウェイ多項式への一般化を提供するとともに、ヴァーチャルリンクのための新しい不変量を提示し、キシノのねじれ結びが非古典的であることを示す新しい証明も与える。

ABSTRACT

A Gauss diagram is a simple, combinatorial way to present a knot. It is known that any Vassiliev invariant may be obtained from a Gauss diagram formula that involves counting (with signs and multiplicities) subdiagrams of certain combinatorial types. These formulas generalize the calculation of a linking number by counting signs of crossings in a link diagram. Until recently, explicit formulas of this type were known only for few invariants of low degrees. In this paper we present simple formulas for an infinite family of invariants in terms of counting surfaces of a certain genus and number of boundary components in a Gauss diagram. We then identify the resulting invariants with certain derivatives of the HOMFLYPT polynomial.

研究の動機と目的

• コンウェイ多項式を超えて、HOMFLYPT 多項式から導かれる不変量へとガウス図式の公式を拡張すること。
• 2つの境界成分を持つ可定向曲面の個数と、$a=1$ における HOMFLYPT 多項式の1階微分の係数との間の組合せ的対応を確立すること。
• 1つの境界成分を持つ不変量の表面個数に関する先行研究を、2つの境界成分を持つ場合に一般化すること。
• 不可約矢印図を定義し、それらを用いて不変量を単純化し、計算量を低減すること。
• 長さのヴァーチャルリンクのための新しい不変量を定義し、それらを用いてキシノのねじれ結びが非古典的であることを証明すること。

提案手法

• 論文は、リンクのガウス図の中で、$n$本の矢印と2つの境界成分を持つ特定の組合せ的型の部分図（矢印図）を数えることで、ガウス図式の公式を構成する。
• 1つの境界成分を持つ上昇・下降矢印図を定義し、それらを2つの境界成分を持つ図に拡張することで、2つの境界成分を持つ曲面をモデル化する。
• 不変量は、矢印の向きによる符号と交差数を用いた、ガウス図内に埋め込まれたこれらの図の符号付き和として定義される。
• Chmutov-Khoury-Rossi の1つの境界成分を持つ不変量に関する研究を、修正された構成により2つの境界成分の場合に一般化する。
• 矢印を1つでも取り除けば図が非連結になるような不可約矢印図を導入し、公式における項の数を削減する。
• 不変量が Reidemeister 移動に対して不変であることを示し、代数的恒等式を通じて既知の多項式不変量と関係づけることで、不変量であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ガウス図式の公式を、$a=1$ における HOMFLYPT 多項式の $a$ についての1階微分に関連する不変量を計算できるようにどのように拡張できるか？
• RQ2 ガウス図の中で、2つの境界成分を持つ可定向曲面の個数を数えることの幾何的位相的解釈は何か？
• RQ3 不可約矢印図を用いることで、冗長な部分図を排除し、より単純なが等価な不変量を定義できるか？
• RQ4 これらの新しい不変量は、ヴァーチャルリンクの設定における既存のアレクサンダー多項式およびコンウェイ多項式とどのように比較できるか？
• RQ5 これらの新しい不変量は、キシノのねじれ結びのような非古典的ヴァーチャルリンクを区別できるか？

主な発見

• 論文は、$a=1$ における HOMFLYPT 多項式の $a$ についての1階偏微分の係数を、2つの境界成分を持つ曲面の個数を数えることで計算する無限個のガウス図式の公式を構成した。
• これらの不変量は、$c_k$ をコンウェイ多項式の係数、$`\operatorname{lk}`$ をリンク数とする $`\sum_{k=0}^{n-1} c_k(L_1) c_{n-k-1}(L_2) \cdot \operatorname{lk}(L_1,L_2)`$ に等しいことが示された。
• 不可約矢印図を用いて定義された不変量は、すべての図を用いて定義されたものと等価であることが証明され、計算量が著しく削減された。
• キシノのねじれ結びが非古典的であることを示す新しい証明が、その不変量を計算し、古典的結びのそれと異なることを示すことによって得られた。
• 1つの境界成分を持つ不変量に関する先行研究を一般化し、コンウェイ多項式を長さのヴァーチャルリンクに新しい非自明な方法で拡張した。