[論文レビュー] Direct systems and the knot monopole Floer homology

Zhenkun Li|arXiv (Cornell University)|Jan 20, 2019

Geometric and Algebraic Topology被引用数 4

ひとこと要約

この論文は、3次元多様体内の絡み目補間の境界におけるストラップの直接系を用いて、絡み目モノポールフローリングホモロジーのマイナス版の候補を構成する。直接極限をとり、シーベルト面を活用することで、アレクサンダー次数と次数を1つ下げるU写像が得られ、閉じた3次元多様体におけるトレヴィアの計算が明示的に行われる。

ABSTRACT

In this paper we construct a possible candidate for the minus version of knot monopole Floer homology. We use a direct system which was introduced by Etnyre, Vela-Vick and Zarev. If $K \subset Y$ is a knot then we can construct a direct system based on a sequence of sutures on $\partial{Y(K)}$ and the direct limit is of our interests. We proved that a Seifert surface of the knot will induce an Alexander grading and there is a $U$ map on the direct limit shifting the degree down by 1. We also prove some other basic properties and compute the case of an unknot inside an oriented closed $3$-manifold.

研究の動機と目的

• 3次元多様体における絡み目モノポールフローリングホモロジーのマイナス版の候補を定義すること。
• 絡み目補間の境界におけるストラップの系列に基づく直接系を活用すること。
• シーベルト面が直接極限上にアレクサンダー次数を誘導することを示すこと。
• 直接極限上に次数を1つ下げるU写像を定義すること。
• 閉じた向き付け可能な3次元多様体におけるトレヴィアの場合にこの構成を適用し、整合性を検証すること。
• エトニエ、ベラ・ヴィック、ザレフのsuturedフローリングホモロジーにおける直接系に関する研究手法を活用すること。

提案手法

• 絡み目補間の境界 ∂Y(K) 上のストラップの系列を用いて直接系を構成する。
• この系の直接極限をマイナスフローリングホモロジーの候補として定義する。
• シーベルト面の存在を用いて、直接極限上にアレクサンダー次数を誘導する。
• 直接極限上に、アレクサンダー次数を1つ下げるU写像を定義する。
• この構成を、閉じた向き付け可能な3次元多様体におけるトレヴィアの場合に適用し、整合性を確認する。
• エトニエ、ベラ・ヴィック、ザレフのsuturedフローリングホモロジーにおける直接系に関する研究手法を活用する。

実験結果

リサーチクエスチョン

• RQ1 ストラップの直接系を用いて、絡み目モノポールフローリングホモロジーのマイナス版を構成できるか？
• RQ2 シーベルト面は直接極限における次数構造にどのように影響を与えるか？
• RQ3 直接極限の構成においてU写像は果たす役割は何か？
• RQ4 最も単純な絡み目であるトレヴィアの場合、この構成はどのように振る舞うか？
• RQ5 直接系は、フローリングホモロジーが満たすべき期待される性質を満たすwell-definedな不変量をもたらすか？

主な発見

• ∂Y(K) 上のストラップの系の直接極限は、絡み目モノポールフローリングホモロジーのマイナス版の候補を提供する。
• シーベルト面は直接極限上にアレクサンダー次数を誘導し、ホモロジーを2重次数付きにする。
• U写像は直接極限上で作用し、アレクサンダー次数を1つ下げる。これはフローリングホモロジーで要求される性質そのものである。
• この構成は、次数シフト性質を含む期待される代数的構造を満たす。
• 閉じた向き付け可能な3次元多様体におけるトレヴィアの場合、直接極限は標準的なトレヴィアのマイナスフローリングホモロジーと同型である。
• この方法は、ストラップ構造と直接極限を用いて、絡み目モノポールフローリングホモロジーを体系的に定義・計算する手段を提供する。