[論文レビュー] A Note on the Bar-Natan Skein Module

Marta Asaeda, Charles Frohman|ArXiv.org|Feb 13, 2006

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

ひとこと要約

本稿では、球面、ドット、表面の圧縮に関するBar-Natanのスキーン関係を含む、マーク付き曲面の同値類のモジュールとしての、3次元多様体のための新しいスキーンモジュール—Bar-Natanスキーンモジュール—を導入する。主な貢献は、Seifert被覆空間のモジュール構造を完全に計算し、それは水平曲面の同値類およびそれらのドット付き対応物の直和に同型であることを示しており、その生成子と関係式は被覆の位相から明示的に導出される。

ABSTRACT

We introduce a new skein module for three manifolds based on properly embedded surfaces and their relations introduced by D.Bar-Natan, and modified by M.Khovanov. We compute the structure of the modules for some manifolds, including Seifert fibred manifolds.

研究の動機と目的

• Bar-Natanのトゥールとコーボリズム関係に基づく、3次元多様体のための新しいスキーンモジュールを定義し、その性質を研究すること。
• 可縮曲面を有する3次元多様体の文脈において、Bar-Natanスキーンモジュールの構造を理解すること。
• Seifert被覆空間に対してモジュールを明示的に計算し、その生成子と関係式を同定すること。
• 可縮曲面および水平曲面の同値類を用いて、モジュールにフィルトレーションと次数を定義し、その構造を分析すること。

提案手法

• Bar-Natanスキーン関係による、マーク付き曲面の同値類の自由モジュールの商としてBar-Natanスキーンモジュールを定義する。
• 2番目のスキーン関係を用いて曲面を圧縮し、可縮状態に還元することで、モジュールが可縮純粋状態によって張られることを証明する。
• 成分数によるフィルトレーションを導入し、graded成分を用いて状態の線形独立性を分析する。
• Seifert被覆空間の被覆構造を用いて、水平曲面からホモロジー不変量への写像を定義し、ホモロジー上のモノドロミー作用を用いる。
• 写像 $ H_1(H)^ ho \oplus \mathbb{Z} $ を通じて不変量の集合を構成し、水平曲面の同値類を可除元に同定する。
• 各 $ \varphi_i $ を価値関数として定義し、graded商における持ち上げられた状態の線形独立性を検証することで、垂直成分と水平成分の間の同型を証明する。

実験結果

リサーチクエスチョン

• RQ1 Seifert被覆3次元多様体におけるBar-Natanスキーンモジュールの構造は何か？ また、$ S^3 $ 上のモジュールとはどのように異なるか？
• RQ2 スキーン関係は、特に圧縮可能性とドットの配置に関連して、マーク付き曲面の線形スパンをどのように制約するか？
• RQ3 モジュールの背後にある代数的構造を明らかにするために、フィルトレーションや次数を導入できるか？
• RQ4 水平曲面はモジュールの生成に果たす役割は何か？ また、その同値類はホモロジー不変量にどのように符号化されるか？
• RQ5 垂直成分と水平成分の間に、標準的な同型が存在するか？ そのような同型が存在する場合、どのような条件下で成立するか？

主な発見

• $ S^3 $ におけるBar-Natanスキーンモジュール $ BN(M,R) $ は、空の曲面によって生成される1次元である。
• モジュールは可縮純粋状態によって張られており、任意の圧縮可能な曲面は2番目のスキーン関係により、可縮状態の和に還元可能である。
• 2つの平行な曲面 $ S_0 $ と $ S_1 $ に対して、$ S_0 $ または $ S_1 $ に1つのドットがある状態は $ P_0 = -P_1 $ を満たし、$ S_0 $ の genus が 0 より大きい場合、両方にドットがある状態は0である。
• 水平曲面 $ H $ を持つSeifert被覆空間 $ M $ に対して、$ BN_h(M,R) $ は $ f \in P(I(H)) $ に関する直和として、$ f^k $ と $ d_f $ の張る空間に同型である。ここで $ f^k $ は $ k $ 個の平行コピーを表し、$ d_f $ は1つのドット付きコピーを表す。
• 垂直成分 $ BN_v(M,R) $ は、モノドロミー作用を用いたフィルトレーションと次数の議論により、底面 $ F $ 上のスキーンモジュール $ SBN(F,R) $ に同型である。
• 全モジュール $ BN(M,R) $ は $ BN_v(M,R) \oplus BN_h(M,R) $ に分解され、水平部分は水平曲面の同値類およびそのドット付きバージョンによって生成される。