[论文解读] On the singular braid monoid

V. V. Vershinin|arXiv (Cornell University)|Sep 20, 2003

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

一句话总结

本文確立了Garside在單純結帶單獨的基礎結果——特別是貪心正規形式的存在性與字問題的解法——適用於單純結帶單獨，並將Birman-Ko-Lee對結帶群的陳述推廣至此單純設定。主要貢獻在於證明單純結帶單獨透過一個基本字$Δ$具有Garside結構，該基本字以受控方式與單純生成元$x_i$交換，從而實現字問題與正規形式的演算法解法。

ABSTRACT

Garside's results and the existense of the greedy normal form for braids are shown to be true for the singular braid monoid. An analogue of the presentation of J. S. Birman, K. H. Ko and S. J. Lee for the braid group is also obtained for this monoid.

研究动机与目标

• 將Garside對結帶群的理論——特別是貪心正規形式的存在性與字問題的可解性——推廣至單純結帶單獨$SB_n$。
• 透過生成元$a_{ts}$與$b_{ts}$，建立單純結帶單獨的Birman-Ko-Lee陳述之類比，推廣結帶群的結構。
• 證明單純結帶單獨中的基本字$Δ$在行為上類似於其在結帶群中的角色，特別是透過$Δ x_i \doteq x_{n-i} \Delta$與單純生成元$x_i$交換。
• 提供一種構造性、類似Garside的字問題解法，使用正等價與可除性關係，避免先前方法的技術複雜性。

提出的方法

• 將Garside對結帶群的原始論證適用于單純結帶單獨，專注於正單純結帶單獨$SB_n^+$，其生成元為$\sigma_i, x_i$，且關係中不包含逆元。
• 引入一個基本字$\delta$，定義為$\delta \equiv a_{n(n-1)}a_{(n-1)(n-2)}\cdots a_{21}$，並證明其與任何以生成元$a_{ts}$起始或結束的字正等價，從而支持可除性論證。
• 使用Malcev規則並對字長進行數學歸納，證明正字的消去與簡化規則，特別是針對$\sigma_i A \doteq \sigma_k B$、$\sigma_i A \doteq x_k B$與$x_i A \doteq x_k B$的情況，從而確立唯一正規形式。
• 證明基本字$\delta$與生成元$a_{ts}$、$b_{ts}$之間的交換關係，顯示$a_{ts}\delta \doteq \delta a_{(t+1)(s+1)}$與$b_{ts}\delta \doteq \delta b_{(t+1)(s+1)}$對$1\leq s<t<n$成立，推廣Birman-Ko-Lee的結果。
• 證明結帶群的Birman-Ko-Lee陳述關係可由單純結帶單獨的關係導出，從而驗證其框架的推廣。
• 應用幾何直覺與符號運算，驗證單純結帶單獨繼承Garside性質，包括透過左與右可除性實現的貪心正規形式。

实验结果

研究问题

• RQ1 單純結帶單獨$SB_n$是否具有Garside結構，包括基本字$\Delta$與貪心正規形式？
• RQ2 是否能使用類似Garside的演算法解決$SB_n$中的字問題，類比於結帶群？
• RQ3 是否存在單純結帶單獨的Birman-Ko-Lee陳述類比，使用生成元$a_{ts}$與$b_{ts}$？
• RQ4 單純結帶單獨中的基本字$\delta$如何與單純生成元$x_i$互動，且是否滿足$x_i \delta \doteq \delta x_{n-i}$？
• RQ5 Birman-Ko-Lee陳述的關係是否可由單純結帶單獨的定義關係導出？

主要发现

• 單純結帶單獨$SB_n$具有貪心正規形式，將Garside理論推廣至此單純設定。
• 基本字$\delta$與任何以給定生成元$a_{ts}$起始或結束的字正等價，從而支持基於可除性的正規形式構造。
• 基本字$\delta$透過$a_{ts}\delta \doteq \delta a_{(t+1)(s+1)}$與$b_{ts}\delta \doteq \delta b_{(t+1)(s+1)}$（對$1\leq s<t<n$）與生成元$a_{ts}$、$b_{ts}$交換，推廣結帶群的交換關係。
• $SB_n$中的字問題可透過類似Garside的演算法解決，包含涉及$\sigma_i$、$x_i$及其組合的正字之消去與簡化規則。
• Birman-Ko-Lee對結帶群的陳述已推廣至單純結帶單獨，且其所有關係均可由單純結帶單獨的定義關係導出。
• 單純結帶單獨繼承Garside性質：每個元素具有唯一正規形式，且基本字$\delta$作為Garside元素，確保字問題可解與正規形式存在。