[論文レビュー] An integral lift, starting in odd Khovanov homology, of Szabó's spectral sequence

Simon Beier|arXiv (Cornell University)|May 10, 2012

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

ひとこと要約

本稿は、mod 2 Khovanov homology の代わりに奇数 Khovanov homology から出発して、Szabó のスペクトル系列の積分的上昇を構成する。超立方体の解像度における n 次元面によってインdex付けられた高次の微分を備えた ℤ 上のフィルター付き鎖複体を定義することにより、新しい絡み目のホモロジーへ収束するスペクトル系列を確立し、普遍係数定理を用いて Szabó の mod 2 ホモロジーを回復する。

ABSTRACT

Ozsváth, Rasmussen and Szabó constructed odd Khovanov homology. It is a link invariant which has the same reduction modulo 2 as (even) Khovanov homology. Szabó introduced a spectral sequence with mod 2 coefficients from mod 2 Khovanov homology to another link homology. He got his spectral sequence from a chain complex with a filtration. We give an integral lift of Szabó's complex that provides a spectral sequence from odd Khovanov homology to a link homology, from which one can get Szabó's link homology with the Universal Coefficient Theorem. Szabó has constructed such a lift independently (unpublished).

研究の動機と目的

• Szabó のスペクトル系列の積分的上昇を提供すること、これは元々 mod 2 Khovanov ホモロジーから出発する。
• E²項が ℤ 上の奇数 Khovanov ホモロジーであるが、mod 2 ではないスペクトル系列を定義すること。
• mod 2 への還元が Szabó のスペクトル系列を回復する整数上の絡み目の不変量複体を構築すること。
• 結果として得られるホモロジー理論が、奇数 Khovanov ホモロジーおよび Szabó の mod 2 ホモロジーの両方よりも、より多くの情報を含む可能性があることを示すこと。
• 奇数 Khovanov ホモロジーまたは Szabó の mod 2 ホモロジーだけでは区別できない絡み目を区別するためのフレームワークを提供すること。

提案手法

• 解像度の超立方体における n 次元面を用いて、Szabó の mod 2 微分を整数係数へと上昇させることで、ℤ 上の鎖複体を構成する。
• 微分 dₙ を定義し、(h, δ)-重次数を (n, -2) だけシフトさせる。d₁ は奇数 Khovanov 微分に一致する。
• 頂点における外代数間の準同型を、方向性データとエッジの割り当て（タイプ X または Y）を用いて定義する。
• d∘d=0 を満たすために、パスの合成と sp(𝒞, b⁰) および sp(𝒞, d⁰) を含む符号規則を用いて符号条件を検証する。
• 普遍係数定理を用いて、整数複体から Szabó の mod 2 ホモロジーを回復する。
• リーディメイスター移動の不変性と、解像度全体にわたる符号の一貫性を用いて、結果として得られるスペクトル系列およびホモロジーが絡み目の不変量であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Szabó の mod 2 スペクトル系列は、奇数 Khovanov ホモロジーから出発する積分的スペクトル系列へと上昇可能か？
• RQ2 結果として得られる積分的スペクトル系列は、奇数 Khovanov ホモロジーよりも多くの情報を含む絡み目のホモロジー理論を生成するか？
• RQ3 この構成は、奇数 Khovanov ホモロジーまたは Szabó の mod 2 ホモロジーだけでは区別できない絡み目を区別できるか？
• RQ4 構成における弧の方向やエッジ割り当てタイプ（X または Y）の選択に依存しないか？
• RQ5 スペクトル系列は、E²項（奇数 Khovanov ホモロジー）や極限（Szabó の mod 2 ホモロジー）よりも、どれほど細かい不変量を検出できるか？

主な発見

• 奇数 Khovanov ホモロジー over ℤ から出発する Szabó のスペクトル系列の積分的上昇が存在し、E²項は Kh′(L) に同型である。
• スペクトル系列は ℤ 上の新しい絡み目のホモロジー Ȟ(L) へ収束し、普遍係数定理を用いて Szabó の mod 2 ホモロジー Ȟ(L; ℤ₂) を回復する。
• 構成は弧の方向やエッジ割り当てタイプ（X または Y）の選択に依存せず、リーディメイスター移動の不変性を保証する。
• 微分 dₙ は n 次元面の和として定義され、各項は解像度の位相的型と、sp(𝒞, b⁰) および sp(𝒞, d⁰) を含む符号規則によって決定される。
• d∘d=0 の証明は、パスの合成における符号の一貫性に依存し、整数設定における Szabó の mod 2 論法の洗練された版を用いる。
• 結果として得られるスペクトル系列およびホモロジーは絡み目の不変量であり、奇数 Khovanov ホモロジーまたは Szabó の mod 2 理論よりも、より強力な不変量を提供する可能性がある。