[论文解读] Finite Order Invariants of Legendrian, Transverse, and Framed Knots in Contact 3-manifolds

Vladimir Tchernov|ArXiv.org|Jul 19, 1999

Geometric and Algebraic Topology参考文献 9被引用 7

一句话总结

本文在一类广泛的接触3-流形中，建立了Legendrian、横截和框架化扭结的有限阶不变量群（取值于任意阿贝尔群）之间的典范同构。此外，本文在 $S^1 \times S^2$ 和非可定向曲面的 $S^1$-纤维化中构造了具体例子——其中Legendrian同伦的扭结作为框架化扭结同痕，却能被有限阶不变量区分，即使其补集为越轨的。

ABSTRACT

We show that for a big class of contact manifolds the groups of order $\leq n$ invariants (with values in an arbitrary Abelian group) of Legendrian, of transverse and of framed knots are canonically isomorphic. On the other hand for an arbitrary cooriented contact structure on $S^1 imes S^2$ with the nonzero Euler class of the contact bundle we construct examples of Legendrian homotopic Legendrian knots $K_1$ and $K_2$ such that they realize isotopic framed knots but can be distinguished by finite order invariants of Legendrian knots in $S^1 imes S^2$. We construct similar examples for a big class of contact manifolds $M$ such that $M$ is a total space of a locally trivial $S^1$-fibration over a nonorientable surface. We show that in some of these examples the complements of $K_1$ and of $K_2$ are overtwisted.

研究动机与目标

• 研究接触3-流形中Legendrian、横截和框架化扭结的有限阶不变量之间的关系。
• 确定有限阶不变量是否能够区分那些Legendrian同伦且作为框架化扭结同痕的Legendrian扭结。
• 在特定接触流形中构造显式反例，表明尽管存在拓扑等价性，此类不变量仍能检测出差异。
• 将同构结果推广至非可定向曲面上的 $S^1$-纤维化。
• 分析所构造例子中扭结补集的几何性质，特别是其是否为越轨的。

提出的方法

• 在一类广泛的接触3-流形中，建立Legendrian、横截和框架化扭结的有限阶不变量群之间的典范同构。
• 利用阿贝尔群值不变量的代数结构，结合接触拓扑中有限阶不变量的理论。
• 在 $S^1 \times S^2$ 中构造了Legendrian扭结的显式例子，其接触丛的Euler类非零，这些扭结Legendrian同伦且作为框架化扭结同痕。
• 应用接触几何与辛几何的技术，特别是 $S^1 \times S^2$ 和 $S^1$-纤维化的接触结构分类。
• 分析所构造例子中扭结补集的性质，利用越轨接触拓扑的判别准则证明其为越轨。
• 将定理 3.0.6 推广至非可定向曲面上的 $S^1$-纤维化情形，确保同构结果在更广的设定下依然成立。

实验结果

研究问题

• RQ1 在一类广泛的接触3-流形中，Legendrian、横截和框架化扭结的有限阶不变量群是否具有典范同构？
• RQ2 有限阶不变量能否区分那些Legendrian同伦且作为框架化扭结同痕的Legendrian扭结？
• RQ3 是否存在此类可区分的Legendrian扭结，其补集为越轨的？
• RQ4 有限阶不变量群之间的同构关系是否可推广至非可定向曲面上的 $S^1$-纤维化？
• RQ5 接触丛的Euler类在这些可区分不变量的存在中起什么作用？

主要发现

• 在一类广泛的接触3-流形中，Legendrian、横截和框架化扭结的有限阶不变量群之间存在典范同构。
• 在 $S^1 \times S^2$ 中构造了Legendrian同伦但接触丛Euler类非零的扭结显式例子，这些扭结作为框架化扭结同痕，却能被有限阶不变量区分。
• 在部分例子中，Legendrian扭结的补集为越轨，表明越轨性并不妨碍不变量的检测能力。
• 同构结果被推广至非可定向曲面上的 $S^1$-纤维化，将先前的同构结果推广至更广的接触流形类别。
• 该构造提供了一类例子，表明即使在拓扑与框架化同痕等价下，有限阶不变量仍能检测出Legendrian扭结之间的非平凡差异。
• 本文证实，有限阶不变量对Legendrian同痕类型仍具有敏感性，即使在越轨接触结构中亦然，这挑战了越轨性会限制此类不变量的传统观点。