[论文解读] Alexander and Markov theorems for virtual doodles

Neha Nanda, Mahender Singh|arXiv (Cornell University)|Jun 12, 2020

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

一句话总结

本文为任意亏格的闭合定向曲面上的图 doodle 建立了亚历山大定理和马克洛夫定理的虚拟类比。引入了虚拟对称群作为对称群的自然推广，证明了每个虚拟 doodle 都是某个虚拟对称群的闭包，且虚拟 doodle 的同伦类与在马克洛夫移动下虚拟对称群的共轭类一一对应，将经典结果推广至高亏格曲面。

ABSTRACT

Study of certain isotopy classes of a finite collection of immersed circles without triple or higher intersections on closed oriented surfaces can be thought of as a planar analogue of virtual knot theory where the genus zero case corresponds to classical knot theory. Alexander and Markov theorems for the genus zero case are known where the role of groups is played by twin groups, a class of right angled Coxeter groups with only far commutativity relations. The purpose of this paper is to prove Alexander and Markov theorems for higher genus case where the role of groups is played by a new class of groups called virtual twin groups which extends twin groups in a natural way.

研究动机与目标

• 将二维球面上图 doodle 的经典亚历山大定理与马克洛夫定理推广至高亏格曲面。
• 引入虚拟对称群作为对称群在建模虚拟 doodle 同伦类方面的自然推广。
• 通过平面中的辫子过程，建立虚拟对称群的拓扑实现。
• 为虚拟 doodle 图形定义高斯数据，并将其与虚拟对称群表示联系起来。
• 证明虚拟 doodle 同伦类与在马克洛夫移动下虚拟对称群的共轭类之间存在双射关系。

提出的方法

• 将虚拟对称群 $VT_n$ 定义为对称群 $T_n$ 的抽象扩张，通过引入额外生成元 $\rho_i$ 来建模虚拟交叉。
• 构建虚拟对称群的拓扑模型，即 $\mathbb{R} \times [0,1]$ 中 $n$ 条弧的配置，允许出现虚拟交叉。
• 使用辫子过程将任意虚拟 doodle 图形转化为闭合的虚拟对称群图形，同时在同伦下保持高斯数据不变。
• 应用一系列虚拟 Reidemeister 移动（$VR_1, VR_2, VR_3$）与马克洛夫移动（$MVR_1, MVR_2$），以及经典移动（$R_1, R_2$）来关联图形。
• 证明两个虚拟对称群图形表示同伦的虚拟 doodle 当且仅当其对应的虚拟对称群通过 $M0$–$M5$ 移动相互关联。
• 利用从 $VT_n$ 到对称群 $S_n$ 的满射，将其核定义为纯虚拟对称群，其作用类似于经典情形下的纯对称群。

实验结果

研究问题

• RQ1 二维球面上图 doodle 的亚历山大定理能否推广至高亏格曲面？
• RQ2 在高亏格情形下，虚拟 doodle 的对称群被何种代数结构所取代？
• RQ3 虚拟交叉如何影响亏格 $g \geq 1$ 的曲面上 doodle 的同伦分类？
• RQ4 是否存在类似于经典虚拟纽结的马克洛夫型定理，适用于虚拟 doodle？
• RQ5 虚拟 doodle 同伦类能否被虚拟对称群的共轭类完全刻画？

主要发现

• 引入了虚拟对称群 $VT_n$，作为对称群 $T_n$ 的自然扩展，通过生成元 $\rho_i$ 建模虚拟交叉。
• 每个在亏格 $g$ 的闭合定向曲面上的虚拟 doodle 都是某个虚拟对称群的闭包，推广了经典亚历山大定理。
• 两个虚拟 doodle 同伦当且仅当其对应的虚拟对称群图形通过 $M0$–$M5$ 移动相互关联，确立了虚拟马克洛夫定理。
• 虚拟 doodle 图形的高斯数据唯一确定其对应的虚拟对称群，至多相差 $M0$ 与 $M2$ 移动，确保了代数不变性。
• 辫子过程可将任意虚拟 doodle 图形转化为闭合的虚拟对称群图形，同时保持同伦类不变，从而实现代数分类。
• 纯虚拟对称群（作为 $VT_n \to S_n$ 满射的核）在作用上类似于经典情形下的纯对称群。