[论文解读] Virtual knot theory on a group

Arnaud Mortier|arXiv (Cornell University)|Mar 13, 2014

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

一句话总结

本文提出了一种使用带有群元素装饰的 Gauss 图形（该群配备一个取值于 Z/2 的同态）的统一框架，用于虚拟 knot 理论，推广了经典与虚拟 knot 不变量。该框架建立了此类图形与任意曲面上虚拟 knot 图形之间的一一对应关系，推广了 Grishanov-Vassiliev 不变量，并通过保持对称性的映射和有限型不变量的不变性准则，为非同伦零的虚拟 knot 定义了 Whitney 指标。

ABSTRACT

Given a group endowed with a Z/2-valued morphism we associate a Gauss diagram theory, and show that for a particular choice of the group these diagrams encode faithfully virtual knots on a given arbitrary surface. This theory contains all of the earlier attempts to decorate Gauss diagrams, in a way that is made precise via symmetry-preserving maps. These maps become crucial when one makes use of decorated Gauss diagrams to describe finite-type invariants. In particular they allow us to generalize Grishanov-Vassiliev's formulas and to show that they define invariants of virtual knots.

研究动机与目标

• 开发一种在任意曲面上使用群值装饰 Gauss 图形的虚拟 knot 理论的一般性框架。
• 统一并推广先前将 Gauss 图形用拓扑数据（如同调类或曲面结构）装饰的尝试。
• 在满足 π=π₁(Σ) 且 w=w₁(Σ) 的条件下，建立带有群装饰的 Gauss 图形与曲面 Σ 上虚拟 knot 图形之间的一一对应关系，且保持 Reidemeister 移动不变性。
• 在新框架中推广 Grishanov-Vassiliev 对有限型不变量的公式。
• 通过 h₁-装饰图形导出的不变量，为非同伦零的虚拟 knot 定义 Whitney 指标。

提出的方法

• 将曲面 Σ 上的虚拟 knot 图形定义为四价图，其真实交叉点被嵌入到 Σ 上的实线丛中。
• 引入由群 π 装饰的 Gauss 图形，受 Reidemeister 移动和由 Z/2-值同态 w:π→F₂ 决定的额外“共轭移动”约束。
• 当 π=π₁(Σ) 且 w=w₁(Σ) 时，建立此类装饰 Gauss 图形与曲面 Σ 上虚拟 knot 图形之间的一一对应关系。
• 当 π 为阿贝尔群且 w 为平凡同态时，引入阿贝尔 Gauss 图形，并在这些条件下证明其与一般框架的等价性。
• 通过保持对称性的单射映射推广有限型不变量，特别是将 Goussarov-Polyak-Viro 不变量推广到此设定。
• 定义 w-轨道的不变性准则，并将其应用于构造新不变量，包括非同伦零虚拟 knot 的 Whitney 指标和 writhe 数。

实验结果

研究问题

• RQ1 如何通过群值装饰和 Z/2-值同态，推广 Gauss 图形以编码任意曲面上的虚拟 knot？
• RQ2 在何种条件下，装饰 Gauss 图形理论能忠实编码曲面 Σ 上的虚拟 knot 类型？
• RQ3 在此框架中，有限型不变量如何被推广？对称性保持映射在此推广中扮演何种角色？
• RQ4 能否为非同伦零的虚拟 knot 定义 Whitney 指标？其与经典不变量的关系如何？
• RQ5 从 h₁-装饰图形导出的不变量 v_l 和 v_r 在 Reidemeister 移动下如何变化？它们代表什么？

主要发现

• 当 π=π₁(Σ) 且 w=w₁(Σ) 时，建立了满足 w:π→F₂ 的群装饰 Gauss 图形与曲面 Σ 上虚拟 knot 图形之间的一一对应关系。
• 该理论通过保持对称性的映射，推广了早期使用 H₁(Σ)-装饰的 Gauss 图形方法。
• 利用所提出的框架，将 Grishanov-Vassiliev 对平面链不变量的公式推广至虚拟 knot。
• 为非同伦零的虚拟 knot 定义了 Whitney 指标为 v_r - v_l，其在 Reidemeister 移动下表现如同经典 Whitney 指标。
• 证明了 v_r + v_l 是一个虚拟 knot 不变量，类似于总 writhe 数。
• 通过 w-不变性准则证明了 v_l 和 v_r 在 R₂ 和 R₃ 移动下的不变性，并通过变化表完全刻画了其在 R-I 移动下的行为。