[论文解读] Legendrian mirrors and Legendrian isotopy

Lenhard Ng|ArXiv.org|Aug 28, 2000

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

一句话总结

本文通过证明在标准接触R³中，并非所有具有零Maslov指标的Legendrian扭结都与它们的镜像Legendrian同痕，从而解决了Fuchs与Tabachnikov提出的问题。利用Chekanov的微分graded代数（DGA）不变量，作者构造了一个光滑类型为6₂、Thurston-Bennequin不变量为−7的Legendrian扭结，并证明其DGA同调代数与镜像的DGA同调代数不构同，从而通过代数不变量证明了非同痕性。

ABSTRACT

We resolve a question of Fuchs and Tabachnikov by showing that there is a Legendrian knot in standard contact three-space with zero Maslov number which is not Legendrian isotopic to its mirror. The proof uses the differential graded algebras of Chekanov.

研究动机与目标

• 解决接触拓扑中一个长期存在的问题：是否每个Legendrian扭结都与它的镜像Legendrian同痕？
• 证明Legendrian扭结的镜像操作并不保持Legendrian同痕类，即使在Maslov指标为零的情况下也如此。
• 应用Chekanov的微分graded代数不变量作为区分Legendrian同痕类的工具。
• 通过构造一个具体的反例，使用一个光滑类型为6₂、Thurston-Bennequin不变量为−7的Legendrian扭结。
• 证明一个Legendrian扭结及其镜像的DGA同调代数不构同，从而证明非同痕性。

提出的方法

• 本文使用在Z/2Z上定义的Chekanov微分graded代数（DGA）不变量，其生成元对应Legendrian扭结前视图中的交叉点。
• DGA由图1所示投影到xy平面的Legendrian扭结K构造，包含11个生成元a₁至a₁₁，每个生成元被赋予一个次数。
• DGA上的微分∂通过基于扭结图的组合规则计算，每个生成元的显式公式均已提供。
• 镜像扭结M(K)通过将图关于x轴反射得到，这会反转微分中单项式的顺序。
• 关键论证在于比较在K和M(K)的同调代数中，是否存在元素x ∈ H₁和y ∈ H₋₁使得xy = 1。
• 通过商代数构造与次数分析，导出矛盾，证明1 ∉ H₋₁(K) · H₁(K)，并使用到两个次数分别为−1和1的生成元的自由代数的映射。

实验结果

研究问题

• RQ1 在标准接触R³中，每个Legendrian扭结是否都与它的镜像Legendrian同痕？
• RQ2 当扭结的Maslov指标为零时，Chekanov DGA不变量能否区分一个Legendrian扭结与其镜像？
• RQ3 在同调群H₋₁与H₁的乘积中存在单位是否意味着镜像操作下的同痕不变性？
• RQ4 能否构造一个Legendrian扭结，使其DGA同调代数不构同于其镜像的DGA同调代数？
• RQ5 是否存在一个反例，表明每个Legendrian扭结可能在反转方向后仍与它的镜像同痕？

主要发现

• 光滑类型为6₂、Thurston-Bennequin不变量为−7且Maslov指标为0的Legendrian扭结K，不与它的镜像M(K)Legendrian同痕。
• K的Chekanov DGA在H₋₁(K) · H₁(K)中有一个单位，具体为1 = a₁₀ · (a₅a₃) 或 a₁₀ · a₁₁。
• M(K)的Chekanov DGA由于镜像操作下单项式顺序反转，在H₋₁(M(K)) · H₁(M(K))中也有一个单位。
• 然而，通过商代数在两个次数分别为−1和1的生成元上的构造与反证法，证明了1 ∉ H₋₁(K) · H₁(K)。
• 矛盾源于：在商代数中，任何次数为−1的元素必须至少包含一个α，因此其乘积不可能等于1。
• 因此，K与M(K)的同调代数不构同，从而证明K与M(K)不Legendrian同痕。