[論文レビュー] A hitchhiker's guide to Khovanov homology

Paul Turner|arXiv (Cornell University)|Sep 23, 2014

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

ひとこと要約

この論文は、過去15年間におけるコホノフホモロジーの進化について、包括的で個人的なガイドとして機能する。リンクホモロジー、カテゴライズ化された量子不変量、およびそれらが幾何学、位相幾何学、数学的物理と結びつける点について要約している。論文は、リンクコボルディズム上の関手によるコホノフホモロジーの構成を提示し、奇数コホノフホモロジー、sl(N)-ホモロジーといった変種を検討し、シンプレクティック幾何学、インスタントンフローコホモロジー、導来カテゴリ、およびトポロジカル量子場理論との深い関係を調査している。

ABSTRACT

These notes from the 2014 summer school Quantum Topology at the CIRM in Luminy attempt to provide a rough guide to a selection of developments in Khovanov homology over the last fifteen years.

研究の動機と目的

• 2000年から2014年までのコホノフホモロジーの主要な進展を、分野に新しく入門する研究者向けにナビゲーション可能な概要を提供すること。
• コホノフホモロジーの関手的構造と、リンクコボルディズムおよび同相変換における不変性を明確にすること。
• 奇数コホノフホモロジー、リー理論、sl(N)-ホモロジーといった主要な変種と、それらのカテゴライズ化された不変量を調査すること。
• コホノフホモロジーと他の数学的構造との深い関係、特にシンプレクティック幾何学、ゲージ理論、導来カテゴリについて探求すること。
• アンクノット検出やコヒュージョン不変量といった応用を強調し、分野における未解決の問題を提示すること。

提案手法

• F2 上のベクトル空間の圏への、向き付けられたリンクとコボルディズムの圏からの、双次数付き関手としてコホノフホモロジーを構成する。
• ブール格子上の局所係数系を用いた、解消の立方体構成により、チェイン複体を定義する。
• 関手的性質を適用して、表面 Σ に対して双次数 (0, χ(Σ)) のリンクコボルディズム写像を定義する。
• 符号を修正した微分を用いて、Z 上の Z-次数付きホモロジー理論として奇数コホノフホモロジーを導入する。
• 行列式因子とカテゴライズ化された量子群を用いた、sl(N)-ホモロジーおよびHOMFLYPT-ホモロジーへの一般化をレビューする。
• シンプレクティック位相幾何学（ラグランジュフローコホモロジー）、ゲージ理論（インスタントンホモロジー）、および整合的層の導来カテゴリを通じた幾何的解釈を調査する。

実験結果

リサーチクエスチョン

• RQ1 コホノフホモロジーはジョーンズ多項式をどのようにカテゴライズ化するのか。その関手的性質は何か。
• RQ2 奇数コホノフホモロジーの構造的および計算的特徴は何か。偶数版とはどのように異なるか。
• RQ3 sl(N)-ホモロジーおよびHOMFLYPT-ホモロジーといったさまざまな一般化は、元々の構成をどのように拡張するか。
• RQ4 コホノフホモロジーの背後にある幾何的または物理的解釈は何か。ゲージ理論やシンプレクティック位相幾何学とどのように関係するか。
• RQ5 コホノフホモロジーはホモトピー型または導来不変量として実現可能か。そのトポロジカル不変量への影響は何か。

主な発見

• コホノフホモロジーは、双次数付き F2-ベクトル空間値の関手的リンク不変量であり、不連続な和集合について Kh(L) ≅ Kh(L1) ⊗ Kh(L2) が成り立つ。
• 理論は、1つの交差でのみ異なる3つのリンクのホモロジーを関係付ける skein 精密三角形を満たし、双次数のずれは交差の符号によって決定される。
• コホノフホモロジーはアンクノットを検出する：Kh(L) ≅ F2 ⊕ F2 ならば、L はアンクノットである。これはインスタントンフローコホモロジーを用いて示された。
• 奇数コホノフホモロジーは、符号を修正した微分を用いて Z 上の Z-次数付きホモロジー理論を提供し、ジョーンズ多項式をカテゴライズ化する。
• シンプレクティック幾何学は、ラグランジュフローコホモロジーを用いた図示のないリンク不変量の構成を提供し、コホノフホモロジーと同型であると予想されている。
• 因子化ホモロジーと整合的層の導来カテゴリは、コホノフ型不変量の代替的構成を提供し、トポロジーと代数的幾何学、ホモトピー論を結びつける。