[論文レビュー] Braids, Transversal links and the Khovanov-Rozansky Theory

Hao Wu|ArXiv.org|Aug 2, 2005

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

ひとこと要約

本稿は、標準接触3次元球面におけるトランバーサルリンクの自己自己リンク数に対する新たな上界を、Khovanov-Rozanskyコホモロジー理論を用いて確立する。トランバーサルリンクに対して、系列の不変量 $\psi_n$ を導入し、$n$ が無限に多くで非消滅する場合に最大自己自己リンク数を検出できることを証明するとともに、これらの不変量が非古典的であり、準正則ブレイドに対して感度を示すことを示す。

ABSTRACT

We establish some inequalities about the Khovanov-Rozansky cohomologies of braids. These give new upper bounds of the self-linking numbers of transversal links in standard contact $S^3$ which is sharper than the well known bound given by the HOMFLY polynomial. We also introduce a sequence of transversal link invariants, and discuss some of their properties.

研究の動機と目的

• $S^3$ におけるトランバーサルリンクの自己自己リンク数に対する、HOMFLY多項式が与えるものよりも鋭い上界を導出すること。
• $H_n$ Khovanov-Rozanskyコホモロジー理論を用いて、トランバーサルリンク不変量の系列 $\psi_n$ を構成すること。
• $\psi_n$ の消滅とトランバーサル安定化の関係を調査し、$\psi_n$ がいつ最大自己自己リンク数を検出するかを特定すること。
• 特に準正則ブレイドおよびレジェンドリアン絡み目の不変量との関係において、$\psi_n$ 不変量の非古典的性質を探索すること。

提案手法

• すべてのマークフ・移動に関して不変となるように、$H(B)$ の次数をずらして修正されたコホモロジー $\hat{H}(B)$ を定義する。
• コホモロジー次数のサポートから、数値不変量 $\hat{g}_{\min}(L)$, $\hat{g}_{\max}(L)$, $g^{(n)}_{\min}(L)$, および $g^{(n)}_{\max}(L)$ を導出する。
• 定理1.1における次数の境界を用いて、巻き数、ブレイド指数、自己自己リンク数の間の不等式を導出する。
• 行列因子化に基づくKhovanov-Rozanskyホモロジーを用いて、次数 $(0, -(n-1)sl(L))$ の不変量 $\psi_n(L) \in H_n(\overline{L})$ を構成する。
• $\psi_n(L)$ がスカラー倍を除いてトランバーサル同相下で不変であり、$n=2$ の場合にPlamenevskayaの $\psi$ 不変量を一般化することを証明する。
• プッシュオフの議論を適用し、$\psi_n$ の不変性を用いて、自己自己リンク数と $g^{(n)}_{\max}(\overline{L})$ の漸近的挙動との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 Khovanov-Rozanskyコホモロジー理論は、HOMFLY多項式よりも、トランバーサルリンクの自己自己リンク数に対するより鋭い上界を提供できるか？
• RQ2 $\psi_n(L)$ の系列が、最大自己自己リンク数 $SL(L)$ をいつ検出するか？
• RQ3 $\{\psi_n\}$ の系列は非古典的トランバーサル絡み目の不変量であるか、すなわち滑らか型と自己自己リンク数によって決定されないか？
• RQ4 トランバーサル安定化において $\psi_n(L)$ の挙動はいかなるものか？また、ブレイド語に負の交差が含まれる場合とどう関係するか？
• RQ5 準正則トランバーサルブレイドに対して $\psi_n$ 不変量はどのように振る舞い、その非消滅はどのような意味を持つのか？

主な発見

• トランバーサルリンク $L$ の自己自己リンク数は、$sl(L) \leq 2\hat{g}_{\min}(L)$ を満たし、HOMFLY多項式よりも鋭い境界を与える。
• トランバーサルリンク $L$ に対して、$\psi_n(L) \neq 0$ が無限に多くの $n$ で成り立つならば、$SL(L) = sl(L) = -\limsup_{n\to\infty} \frac{g^{(n)}_{\max}(\overline{L})}{n-1}$ が成り立ち、$\psi_n$ が最大自己自己リンク数を検出することを示す。
• 任意の準正則トランバーサルブレイド $L$ に対して、すべての $n \geq 2$ で $\psi_n(L) \neq 0$ であるため、最大自己自己リンク数は $g^{(n)}_{\max}(\overline{L})$ の漸近的挙動によって検出可能である。
• $\sigma_i$ は含むが $\sigma_i^{-1}$ を含まないブレイド語 $\mu$ に対して、$H_n(\mu)$ 内で $[\varphi_n(\mu)] = 0$ であるため、$\psi_n(L) = 0$ となる。ここで $L$ はこのようなブレイドによって表されるトランバーサルリンクである。
• もし $L$ がトランバーサル安定化であるならば、すべての $n \geq 2$ で $\psi_n(L) = 0$ となる。これは、不変量が非安定化されたリンクを検出できることを示唆する。
• $\psi_2(L)$ は $H_2(\overline{L}) \cong \mathcal{H}(L) \otimes_{\mathbb{Z}} \mathbb{Q}$ の下でPlamenevskayaの元々の $\psi(L)$ と同型であり、従来の研究と整合性が確認される。