[论文解读] Mutual braiding and the band presentation of braid groups

H. R. Morton, M. Rampichini|ArXiv.org|Jul 2, 1999

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

一句话总结

本文提出了一种组合准则，用于检测闭辫子及其轴是否互为辫子，使用辫子群的带生成元表示法。研究证明，互辫性对应于辫子字中的一系列带关系与移动，从而为纤维化链环（特别是单位圆周）中的这一几何条件提供了判定程序。

ABSTRACT

This paper is concerned with detecting when a closed braid and its axis are 'mutually braided' in the sense of Rudolph. It deals with closed braids which are fibred links, the simplest case being closed braids which present the unknot. The geometric condition for mutual braiding refers to the existence of a close control on the way in which the whole family of fibre surfaces meet the family of discs spanning the braid axis. We show how such a braid can be presented naturally as a word in the `band generators' of the braid group discussed by Birman, Ko and Lee in their recent account of the band presentation of the braid groups. In this context we are able to convert the conditions for mutual braiding into the existence of a suitable sequence of band relations and other moves on the braid word, and derive a combinatorial method for deciding whether a braid is mutually braided.

研究动机与目标

• 表征闭辫子及其轴在Rudolph意义下互为辫子的条件。
• 从纤维曲面与张紧轴的圆盘相交的方式，研究互辫性的几何条件。
• 重新表述辫子群，使用Birman、Ko与Lee引入的带生成元。
• 基于带生成元表示中的关系，推导出判定互辫性的组合算法。
• 将该方法具体应用于纤维化链环，重点研究表示单位圆周的闭辫子。

提出的方法

• 使用辫子群的带生成元表示，其中生成元对应连接辫子的带。
• 将互辫性的几何条件转化为带生成元表示中字的条件。
• 应用带关系——对应于带表示中辫子的同伦移动的特定移动。
• 引入一系列移动，包括带关系和其他同伦移动，以变换辫子字。
• 利用纤维曲面及其与张紧圆盘相交的结构，定义互辫性条件。
• 将拓扑条件简化为带生成元系统中辫子字上的纯组合问题。

实验结果

研究问题

• RQ1 在带生成元表示中，哪些组合条件对应于闭辫子及其轴的互辫性？
• RQ2 如何利用纤维曲面与张紧圆盘的关系来表征互辫性的几何条件？
• RQ3 能否利用辫子群的带生成元表示来构建判定互辫性的算法程序？
• RQ4 互辫性与链环的纤维化性质之间存在何种关系，特别是对于单位圆周？
• RQ5 在带生成元系统中，哪些移动对应于保持互辫性条件的同伦？

主要发现

• 闭辫子及其轴的互辫性等价于在带生成元表示中存在特定的带关系与同伦移动序列。
• 本文提供了一套完整的组合判定程序，仅依赖于带生成元字及其允许的变换。
• 对于纤维化链环，特别是表示单位圆周的闭辫子，该方法可有效测试互辫性条件。
• 几何条件——即纤维曲面与轴的张紧圆盘的交合方式——完全由带生成元系统中的字结构所捕捉。
• 该方法成功地将拓扑条件转化为带生成元字上的有限算法过程。
• 研究结果应用于单位圆周情形，表明仅通过带关系与带表示中的移动即可检测互辫性。