[论文解读] Braids, Transversal links and the Khovanov-Rozansky Theory

Hao Wu|ArXiv.org|Aug 2, 2005

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

一句话总结

该论文利用Khovanov-Rozansky上同调理论，为标准接触3-球中的正则链的自链接数建立了新的上界。论文引入了一组正则链的不变量序列 $\psi_n$，证明当 $\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.

研究动机与目标

• 推导出比HOMFLY多项式提供的更紧的 $S^3$ 中正则链自链接数的上界。
• 利用 $H_n$ Khovanov-Rozansky上同调理论，构造正则链不变量序列 $\psi_n$。
• 研究 $\psi_n$ 的消失性与正则链稳定化之间的关系，并确定 $\psi_n$ 在何种情况下可检测到最大自链接数。
• 探讨 $\psi_n$ 不变量的非经典性质，特别是其与拟正则辫及Legendrian链不变量的关系。

提出的方法

• 通过调整 $H(B)$ 的分次，定义一个修改后的上同调 $\hat{H}(B)$，使其在所有Markov移动下保持不变。
• 从上同调分次支撑中引入数值不变量 $\hat{g}_{\min}(L)$、$\hat{g}_{\max}(L)$、$g^{(n)}_{\min}(L)$ 和 $g^{(n)}_{\max}(L)$。
• 利用定理1.1中的分次界，推导出 writhe、辫指数与自链接数之间的不等式关系。
• 利用基于矩阵因子化的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$，有 $\psi_n(L) \neq 0$ 对所有 $n \geq 2$ 成立，意味着最大自链接数由 $g^{(n)}_{\max}(\overline{L})$ 的渐近行为所检测。
• 若辫词 $\mu$ 包含 $\sigma_i$ 但不包含 $\sigma_i^{-1}$，则在 $H_n(\mu)$ 中有 $[\varphi_n(\mu)] = 0$，因此由该辫表示的正则链 $L$ 满足 $\psi_n(L) = 0$。
• 若 $L$ 是正则稳定化链，则对所有 $n \geq 2$ 有 $\psi_n(L) = 0$，表明这些不变量可检测非稳定化链。
• 在 $H_2(\overline{L}) \cong \mathcal{H}(L) \otimes_{\mathbb{Z}} \mathbb{Q}$ 下，不变量 $\psi_2(L)$ 同构于Plamenevskaya原始的 $\psi(L)$，确认与先前工作的相容性。