[論文レビュー] An invariant of tangle cobordisms

Mikhail Khovanov|ArXiv.org|Jul 28, 2002

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

ひとこと要約

この論文は、以前はtangle図式に対して定義されていた Mikhail Khovanov のカテゴライズされたtangle不変量が、tangle cobordismの不変量へと拡張されることを確立している。cobordismの映像に対し、bimoduleの複体間のchain mapを割り当てることで、この構成はホモトピー圏において符号を除いてwell-definedなファンクターを定める。これは、R^4におけるすべての31個のRoseman-Carter-Saitoの映像移動に関して不変であることを示している。主な結果は、符号を除いて複体の位相的不変性であり、これはリンクcobordismに関してJacobssonの結果を一般化するものである。

ABSTRACT

We prove that the construction of our previous paper math.QA/0103190 yields an invariant of tangle cobordisms.

研究の動機と目的

• Khovanovのtangle不変量をR^4におけるtangle cobordismへと拡張すること。
• cobordismの映像に対し、bimodule複体間のchain mapのファンクター的割り当てを定義すること。
• この割り当てが、ホモトピー圏においてすべての31個の映像移動に関して符号を除いて不変であることを証明すること。
• Jacobssonのリンクcobordism不変量をtangleの設定へと一般化すること。
• bimoduleの性質と複体構造の可逆性を用いた、短く代数的な証明を提供すること。

提案手法

• Khovanovの以前の構成に基づき、各tangle図式に対してH^n-双模体の複体を割り当てる。
• tangle cobordism（tangle図式の映像として表現される）ごとに、そのような複体間のchain mapを定義する。
• 環H^nおよびその双模体の代数的構造を用いて、誘導される写像が符号を除いてwell-definedであることを示す。
• braidsおよびUターンに関連する複体の可逆性を活用し、写像における符号の曖昧さを制御する。
• Corollary 2およびCorollary 5を適用して、同相なcobordismに割り当てられる任意の2つの写像が、符号の違いを除いて同一であることを示す。
• 局所的および半局所的な構造の分析と、双模体の準同型の性質を用いて、すべての31個の映像移動における不変性を検証する。

実験結果

リサーチクエスチョン

• RQ1 Khovanovのtangle不変量は、R^4におけるtangle cobordismへとファンクター的に拡張可能か？
• RQ2 すべての映像移動に関して、複体上の誘導写像は符号を除いてwell-definedか？
• RQ3 bimodule構造と可逆性を用いて、この構成の不変性を代数的に証明できるか？
• RQ4 この構成は、cobordismの映像におけるReidemeister移動および高さのシフトに関してどのように振る舞うか？
• RQ5 特別な場合としてリンクが与えられたとき、この不変量はJacobssonのリンクcobordism不変量に還元されるか？

主な発見

• この構成は、各tangle cobordismに対して、ホモトピー圏において符号を除いて一意なwell-definedなchain mapをbimodule複体間に対応付ける。
• 不変量はすべての31個の映像移動に関して保存され、唯一の曖昧さはグローバルな符号の変更である。
• braidsを含むcobordismに関しては、誘導される写像は同型であり、任意の2つの写像は符号の違いを除いて同一である。
• この割り当てはcobordismの水平的および垂直的合成を尊重し、符号の曖昧さは合成においても保存される。
• 証明は、braidsに関連する複体の可逆性および双模体圏におけるHom群の構造に依存している。
• この構成はJacobssonの結果を一般化しており、このような不変量がZ[c]上に存在するという予想を支持するが、これは未解決のままである。