[論文レビュー] A Categorification of the HOMFLY-PT Polynomial with a Spectral Sequence to Knot Floer Homology

Nathan Dowlin|arXiv (Cornell University)|Mar 4, 2017

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

ひとこと要約

この論文は、絡み目のフローエルホモロジーから出発するスペクトル系列を構成し、HOMFLY-PT多項式をカテゴライズ化する。このスペクトル系列のE₂頁は、HOMFLY-PT多項式をその重み付きオイラー特徴とする三重に重み付けされたリンク不変量であり、スペクトル系列は絡み目のフローエルホモロジーに収束する。E₂頁はU- torsionを除いたHOMFLY-PTホモロジーと同型であることが示され、HOMFLY-PTから絡み目のフローエルホモロジーへの予想されたスペクトル系列に強い証拠を提供する。

ABSTRACT

Let $E_{k}^{F}(D)$ be the spectral sequence induced by the oriented cube of resolutions on knot Floer homology. We prove that $E_{2}^{F}(D)$ is a triply graded link invariant whose graded Euler characteristic is the HOMFLY-PT polynomial and that the higher pages are link invariants. By construction, the spectral sequence converges to knot Floer homology. We show that the rank of the torsion-free part of $E_{2}^{F}(D)$ is the rank of HOMFLY-PT homology.

研究の動機と目的

• 絡み目のフローエルホモロジーから出発するスペクトル系列を構築し、HOMFLY-PT多項式をカテゴライズ化すること。
• このスペクトル系列のE₂頁が、HOMFLY-PT多項式をその重み付きオイラー特徴とする三重に重み付けされたリンク不変量であることを証明すること。
• E₂頁がU- torsionを除いたHOMFLY-PTホモロジーと同型であることを示し、HOMFLY-PTから絡み目のフローエルホモロジーへの予想されたスペクトル系列を支持すること。
• スペクトル系列の高次の頁がすべてリンク不変量であることを示し、E∞頁が構成上絡み目のフローエルホモロジーに一致することを示すこと。

提案手法

• 交差をフィルトレーションとして用いることで、絡み目のフローエルホモロジーに沿った向き付けられた解消の立方体を用いてスペクトル系列を構成する。
• E₁頁を0-微分に関する複体のホモロジーとして定義し、E₂頁を誘導された辺写像のホモロジーとして定義する。
• 1つの交差に重み0、他の交差に重み1を割り当てることでフィルトレーションを定義し、スペクトル系列を誘導する。
• 普遍係数定理を適用し、ベースポイントフィルター付きホモロジーを分析することで、空でないサイクルと空のサイクルからの寄与を分解する。
• 既知のHOMFLY-PTホモロジーの不変性およびU-乗法がすべての解消において一貫していることを利用して、HOMFLY-PTホモロジーと比較する。
• E₂頁の torsion を含まない部分が、2つの3重重み付けのうち2つを保ちながらHOMFLY-PTホモロジーと同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 向き付けられた解消の立方体から誘導されるスペクトル系列のE₂頁が、HOMFLY-PT多項式をカテゴライズ化するか？
• RQ2 E₂頁は三重に重み付けされたリンク不変量か？ また、その重み付きオイラー特徴がHOMFLY-PT多項式か？
• RQ3 E₂頁がU- torsionを除いたHOMFLY-PTホモロジーと同型か？
• RQ4 スペクトル系列の高次の頁はすべてリンク不変量のままであるか？ また、スペクトル系列は絡み目のフローエルホモロジーに収束するか？
• RQ5 E₂頁の torsion を含まない部分が、3重重み付けのうち2つを保ちながらHOMFLY-PTホモロジーと同一視可能か？

主な発見

• スペクトル系列のE₂頁は、HOMFLY-PT多項式をその重み付きオイラー特徴とする三重に重み付けされたリンク不変量である。
• スペクトル系列の高次の頁はすべてリンク不変量であり、E∞頁は構成上絡み目のフローエルホモロジーに一致する。
• E₂頁はU- torsionを除いたHOMFLY-PTホモロジーと同型であり、水平および垂直の重み付けを保つ。
• E₂頁の torsion を含まない部分のランクは、HOMFLY-PTホモロジーのランクに等しい。
• E₂頁の削減版は、次元の不等式を満たす：その次元は、削減されたHOMFLY-PTホモロジーの次元以上である。
• E₂頁の torsion 部分は、写像コーン T → U·T のホモロジーに寄与し、削減理論における余分な次元を説明する。