[论文解读] Virtual strings and their cobordisms

Vladimir Turaev|arXiv (Cornell University)|Nov 12, 2003

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

一句话总结

本文将虚拟弦作为曲面上传值自交点的组合模型，发展了代数不变量——特别是多项式 $ u $ 和基矩阵——以研究其同伦与 cobordism 类。研究证明同伦不变量的群构成一个无限维李群，并在同伦类的自由交换群上构造了一个李 cobracket，将虚拟弦与虚拟纽结通过 skein 代数和霍普夫代数结构联系起来。

ABSTRACT

A virtual string is a scheme of self-intersections of a closed curve on a surface. We study algebraic invariants of strings as well as two equivalence relations on the set of strings: homotopy and cobordism. We show that the homotopy invariants of strings form an infinite dimensional Lie group. We also discuss connections between virtual strings and virtual knots.

研究动机与目标

• 将虚拟弦形式化为表示曲面上传值自交点的组合对象。
• 通过代数不变量定义并研究虚拟弦上的同伦与 cobordism 等价关系。
• 在虚拟弦的同伦不变量群上建立李代数与李群结构。
• 通过多项式不变量与 skein 代数同构，将虚拟弦与虚拟纽结联系起来。
• 利用多项式 $ u $ 与基矩阵发展 sliceness 的障碍，并探索其与 3-流形拓扑的联系。

提出的方法

• 将秩为 $ m $ 的虚拟弦定义为一个带 $ 2m $ 个不同点的定向圆周，这些点被划分为 $ m $ 个有序对（箭头），表示自交点。
• 引入多项式不变量 $ u $，它由弦的基矩阵导出，用于检测同伦与 cobordism 的障碍。
• 在由同伦类生成的自由交换群上构造一个李 cobracket，对偶于同伦不变量上的李代数结构。
• 通过边界为 3-流形定义弦的 cobordism，并引入“slice 弦”的概念：即在可缩 3-流形中，其边界为奇异圆盘的弦。
• 使用基矩阵 $ T(eta) = (G, s, b) $ 定义亏格与 sliceness 障碍，其中 $ |b(e,f)| \leq \#(G) - 2 $ 为约束条件。
• 在开弦上建立关于闭弦李余代数的 comodule 结构，当 $ R \supset \mathbb{Q} $ 时，可通过 $ \operatorname{Exp}\mathcal{A}^* $ 作用于其上，实现代数自同态群作用。

实验结果

研究问题

• RQ1 哪些本原基矩阵可实现为某个虚拟弦 $ \alpha $ 的 $ T_{\bullet}(\alpha) $？存在何种约束？
• RQ2 二级障碍是否能检测出具有双曲基矩阵的非 slice 弦？
• RQ3 所有 slice 弦是否都是稳定 ribbon？即，一个 slice 弦与一个 ribbon 弦的乘积是否同伦于一个 ribbon 弦？
• RQ4 每个虚拟弦是否同伦于某个排列 $ \sigma $ 对应的 $ \alpha_\sigma $ 类型弦，或在 cobordism 意义下？
• RQ5 开弦的乘法是否在同伦意义下或在 cobordism 意义下可交换？

主要发现

• 虚拟弦的 $ \mathbb{Z} $-值同伦不变量群构成一个李代数，其可积分化为一个无限维李群。
• 由虚拟弦同伦类生成的自由交换群自然赋予一个李 cobracket，使其成为一个李余代数。
• 虚拟纽结的 skein 代数与由虚拟弦同伦类生成的多项式代数同构，通过映射到 $ \mathbb{Q}[z] $ 系数实现。
• 若一个弦在可缩 3-流形中边界为奇异圆盘，则其为 slice 弦；sliceness 的障碍由多项式 $ u $ 与基矩阵不变量给出。
• 开虚拟弦的模成为闭弦李余代数上的 comodule，当 $ R \supset \mathbb{Q} $ 时，群 $ \operatorname{Exp}\mathcal{A}^* $ 通过代数自同态作用于其上。
• 该构造给出了一类在柱面流形上取值于 $ \mathbb{Q}[z,t] $ 的纽结的同胚不变量，推广了经典不变量。