[論文レビュー] On the singular braid monoid

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

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

ひとこと要約

この論文は、特異ブ raid 開口群におけるガリスドの基礎的結果——特にグリーディ正規形の存在と単語問題の解法——を確立する。これは、ブレイン＝コ＝リーのブレイン群の提示を特異的状況に拡張したものである。主な貢献は、特異ブレイン群が基本的単語 $\Delta$ を介してガリスド構造を備えていることを証明し、$\Delta$ が特異的生成子 $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.

研究の動機と目的

• 特異的ブレイン群 $SB_n$ におけるガリスド理論の拡張——特にグリーディ正規形の存在と単語問題の可解性——を実現すること。
• 生成子 $a_{ts}$ と $b_{ts}$ を用いた、特異的ブレイン群におけるビルマン＝コ＝リー提示の類似物を確立すること。
• 特異的ブレイン群における基本的単語 $\Delta$ が、ブレイン群におけるそれと同様に、特異的生成子 $x_i$ と $\Delta x_i \doteq x_{n-i} \Delta$ の形で可換することを示すこと。
• 正規化と可除性関係を用いた、正の同値関係に基づく構成的でガリスド風の単語問題の解法を提供すること。これにより、従来の手法に伴う技術的複雑性を回避する。

提案手法

• ブレイン群におけるガリスドの元来の議論を特異的ブレイン群に適応し、逆元を含まない生成子 $\sigma_i, x_i$ を持つ正の特異的ブレイン群 $SB_n^+$ に焦点を当てる。
• 任意の生成子 $a_{ts}$ で始まるか終わる任意の単語と正の同値であることが示される基本的単語 $\delta$ を導入する。$\delta \equiv a_{n(n-1)}a_{(n-1)(n-2)}\cdots a_{21}$ である。これにより、可除性に基づく正規形の構成が可能になる。
• マリチェフの法則と単語長に関する帰納法を用いて、正の単語におけるキャンセルおよび簡約規則を証明する。特に $\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}$ 間の可換性関係を証明し、$1\leq s<t<n$ の範囲で $a_{ts}\delta \doteq \delta a_{(t+1)(s+1)}$ および $b_{ts}\delta \doteq \delta b_{(t+1)(s+1)}$ が成り立つことを示す。これはビルマン＝コ＝リーの結果を一般化する。
• ブレイン群のビルマン＝コ＝リー提示の関係が、特異的ブレイン群の関係から導かれることが示され、そのフレームワークの拡張が正当化される。
• 幾何的直観と記号的操作を用いて、特異的ブレイン群がガリスド性質を備えていることを検証する。特に、左および右可除性に基づくグリーディ正規形の存在が確認される。

実験結果

リサーチクエスチョン

• RQ1 特異的ブレイン群 $SB_n$ は、基本的単語 $\Delta$ とグリーディ正規形を備えたガリスド構造を有するか？
• RQ2 ブレイン群と同様に、ガリスド風のアルゴリズムを用いて $SB_n$ における単語問題を解くことができるか？
• RQ3 生成子 $a_{ts}$ と $b_{ts}$ を用いた、特異的ブレイン群におけるビルマン＝コ＝リー提示の類似物は存在するか？
• RQ4 特異的ブレイン群における基本的単語 $\delta$ と特異的生成子 $x_i$ の間にはどのような関係があるか？$x_i \delta \doteq \delta x_{n-i}$ を満たすか？
• RQ5 ビルマン＝コ＝リーの提示における関係は、特異的ブレイン群の定義関係から導かれるか？

主な発見

• 特異的ブレイン群 $SB_n$ はグリーディ正規形を備え、ガリスド理論がこの特異的状況に拡張されることを示した。
• 基本的単語 $\delta$ は、任意の生成子 $a_{ts}$ で始まるか終わる任意の単語と正の同値である。これにより、可除性に基づく正規形の構成が可能になる。
• 基本的単語 $\delta$ は生成子 $a_{ts}$ および $b_{ts}$ と可換であり、$1\leq s<t<n$ の範囲で $a_{ts}\delta \doteq \delta a_{(t+1)(s+1)}$ および $b_{ts}\delta \doteq \delta b_{(t+1)(s+1)}$ を満たす。これはブレイン群における可換性関係を一般化する。
• $SB_n$ における単語問題は、$\sigma_i$、$x_i$ およびそれらの組み合わせを含む正の単語におけるキャンセルおよび簡約規則を用いて、ガリスド風のアルゴリズムで解ける。
• ビルマン＝コ＝リーのブレイン群の提示は、特異的ブレイン群に拡張され、そのすべての関係が特異的ブレイン群の定義関係から導かれる。
• 特異的ブレイン群はガリスド性質を継承する：任意の元は一意な正規形を持ち、基本的単語 $\delta$ はガリスド元として機能し、単語問題の可解性と正規形の存在を保証する。