[论文解读] Non-Reidemeister Knot Theory and Its Applications in Dynamical Systems, Geometry, and Topology

Vassily Olegovich Manturov|arXiv (Cornell University)|Jan 21, 2015

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

一句话总结

本文在 knot 理论中提出了一种新框架，用基于水平三切线和自由 $k$-辫群的不变量替代传统的 Reidemeister 移动，从而为动力系统、辫子和几何对象构建图像值不变量。其核心贡献是一条一般性定理，证明了 $k$-优良性质（例如三维空间中的共线性）可通过临界时刻产生稳定且可计算的不变量，该理论在拓扑学、几何学和动力系统中有广泛应用。

ABSTRACT

Classical knot theory deals with {\em diagrams} and {\em invariants}. By means of horizontal {\em trisecants}, we construct a new theory of classical braids with invariants valued in {\em pictures}. These pictures are closely related to diagrams of the initial object. The main tool is the notion of {\em free $k$-braid group}. In the simplest case, for free $2$-braids, the word problem and the conjugacy problem can be solved by finding the minimal representative, which can be thought of as a graph, and is unique, as such. We prove a general theorem about invariants of dynamical systems which are valued in such groups and hence, in pictures. We describe various applications of the above theory: invariants of weavings (collections of skew lines in $\R^{3}$), and many other objects in geometry and topology. In general, provided that for some topological objects (considered up to isotopy, homotopy etc) some easy axioms (coming from some dimensional constraints) hold, one can construct similar dynamical systems and picture-valued invariants.

研究动机与目标

• 开发一种不依赖 Reidemeister 移动的纽结与辫子不变量方法，基于几何构型而非图示移动。
• 建立一个基于粒子构型 $k$-优良性质的动力系统不变量的一般性框架。
• 将经典纽结与辫子理论扩展至包含组合图像和自由 $k$-辫群值不变量。
• 将该理论应用于新几何对象，如编织结构、$\mathbb{R}P^3$ 中的射影直线以及球面上的测地线构型。
• 为自由 $2$-辫群中的字问题与共轭问题提供系统性解法，方法是通过最小代表图。

提出的方法

• 在配置空间 $\Sigma^n$ 中定义 $n$ 个粒子集合上的 $k$-优良性质，满足继承性与传递闭包条件。
• 识别临界时刻 $t \in [0,1]$，此时 $k$ 个粒子满足 $k$-优良性质 $\mathcal{P}$，形成临界构型的多重指标。
• 为每个动力系统 $D$ 关联一个类型 $\tau(D)$，即每组 $k$ 个粒子的有序临界时间序列。
• 将自由 $k$-辫群 $G_n^k$ 构造为由三切线交叉与大边约化导出的生成元与关系群。
• 通过大边约化（移除方向相反的相邻交叉）计算唯一最小代表图，作为自由 $2$-辫群的完全不变量。
• 将该框架应用于多种几何设定：$\mathbb{R}^3$ 中的斜线（编织结构）、$\mathbb{R}P^3$ 中的射影直线，以及 $S^2$ 上的测地线，在适当的非退化条件下。

实验结果

研究问题

• RQ1 是否可以构建以组合图像为值而非数值或代数不变量的动力系统不变量？
• RQ2 在自由 $k$-辫群的背景下，粒子构型的 $k$-优良性质在何种条件下能产生稳定且可计算的不变量？
• RQ3 如何利用水平三切线理论在不依赖 Reidemeister 移动的情况下为经典辫子与纽结定义不变量？
• RQ4 在何种拓扑与几何约束下，自由 $k$-辫群构造能为编织结构或测地线构型等对象产生非平凡不变量？
• RQ5 是否能通过大边图论约化方法，算法性地解决自由 $2$-辫群中的字问题与共轭问题？

主要发现

• 对于自由 $2$-辫群，通过迭代大边约化得到的唯一最小代表图可解字问题与共轭问题。
• 愉悦动力系统 $D$ 的类型 $\tau(D)$——即 $k$-元组有序临界时间的序列——在同伦下构成完全不变量。
• 当 $k=3$ 时，该理论可为 $\mathbb{R}^3$ 中的编织结构（斜线集合）和 $\mathbb{R}P^3$ 中的射影直线提供不变量，当直线变为水平时会引入额外关系。
• 该框架可推广至高维构型：在 $\mathbb{R}P^{m+2}$ 中的 $m$-维平面，理论适用于 $k=2m+1$，且 $k$-优良性质由公共割线定义。
• 在 $2$-球面上，当排除对径点且测地线由点对唯一确定时，理论成立，确保三重重叠的一致性。
• 当定义判别空间的等式对应于 $k$-优良性质时，可通过该方法研究其基本群。