[論文レビュー] Questions on surface braid groups

Paolo Bellingeri, Eddy Godelle|arXiv (Cornell University)|Mar 29, 2005

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

ひとこと要約

本稿は、表面 braids 群 $B_n(\Sigma_{g,p})$ の最初の正の群提示を提供し、ガーシド理論を応用して $B_2(\Sigma_{1,0})$ の特別な場合における共役問題を解けるようにする。著者らはトーラス上のブレードモノイドの完全提示を確立し、標準的なブレード関係および表面固有の交換関係を正の形で符号化できることを示し、境界および genus を持つ表面におけるブレード群におけるアルゴリズム的解法の道筋を切り開く。

ABSTRACT

We provide new group presentations for surface braid groups which are positive. We study some properties of such presentations and we solve the conjugacy problem in a particular case.

研究の動機と目的

• 表面ブレード群 $B_n(\Sigma_{g,p})$ の正の群提示を構成すること。これは、従来、非正の提示しか知られていなかった。
• ガーシド理論—古典的ブレード群で成功した枠組み—を、正のモノイド提示を提供することによって表面ブレード群へと拡張すること。
• 特に、2本のストランドを持つトーラス上のブレード群 $B_2(\Sigma_{1,0})$ における共役問題を調査すること。
• 表面ブレード群の特定のモノイド提示が完全であるかどうかを、アルゴリズム的可解性を保証するための立方体条件に従って特定すること。

提案手法

• 標準的なブレード移動と表面ループに対応する生成子 $\sigma_1,\dots,\sigma_{n-1}$ および $\delta_1,\dots,\delta_{2g+p-1}$ を用いて、$B_n(\Sigma_{g,p})$ の正の群提示を構築する。
• 3種類の関係を導入する：ブレード関係、非隣接ブレードと表面ループの間の可換関係、表面のハンドルに対する歪可換関係。
• 古典的ブレードモノイドから新しい提示へのモノイド準同型を定義し、生成子の変更を通じて新しい提示が正しい群構造を捉えていることを示す。
• デホロイの立方体条件を用いて、特に $B_2(\Sigma_{1,0})$ に対してモノイド提示の完全性をテストし、標準形および語問題・共役問題の可解性を確認する。
• $B_2(\Sigma_{1,0})$ の提示をテストケースとして用い、完全な正のモノイド構造により語問題と共役問題を解く。
• 文献に既存の提示（例：定理 A.1）と新しい提示を比較し、一貫性と正しさを検証する。

実験結果

リサーチクエスチョン

• RQ1 任意の genus $g$ および境界成分数 $p$ に対して、$B_n(\Sigma_{g,p})$ の正の群提示を構成できるか？
• RQ2 $B_2(\Sigma_{1,0})$ に対して、モノイド提示 $\langle a,b,c \mid a^2b=ba^2, b^2a=ab^2, a^2c=ca^2, b^2c=cb^2, a^2b^2=c^2, b^2a^2=c^2 \rangle^+$ は完全か？
• RQ3 モノイド提示 $\langle a,b \mid ab^2=b^2a, ba^2=a^2b \rangle^+$ は完全か？また、立方体条件を満たすか？
• RQ4 $B_n(\Sigma_{g,p})$ の正の提示により、$B_2(\Sigma_{1,0})$ の共役問題を解けるか？
• RQ5 立方体条件は、表面ブレード群のモノイド提示の完全性を検証するために効果的に適用可能か？

主な発見

• 本稿は、生成子 $\sigma_1,\dots,\sigma_{n-1}, \delta_1,\dots,\delta_{2g+p-1}$ および特定のブレード関係、可換関係、歪可換関係を用いた、$B_n(\Sigma_{g,p})$ の完全な正の群提示を提供する。
• $B_2(\Sigma_{1,0})$、すなわち2本のストランドを持つトーラス上のブレード群における共役問題が、正のモノイド構造を用いて解かれた。
• $B_2(\Sigma_{1,0})$ のモノイド提示は立方体条件のもとで完全であることが示され、標準形の存在およびアルゴリズム的可解性が確認された。
• 生成子 $a,b,c$ と関係 $a^2b=ba^2$, $b^2a=ab^2$, $a^2c=ca^2$, $b^2c=cb^2$, $a^2b^2=c^2$, $b^2a^2=c^2$ を持つ $B_2(\Sigma_{1,0})$ の提示は、追加の関係 $b^2a^2=c^2$ が追加されない限り完全ではない。
• モノイド提示 $\langle a,b \mid ab^2=b^2a, ba^2=a^2b \rangle^+$ は完全であるとは認められておらず、その完全性はガーシド理論的技法を拡張する上で重要な未解決問題と特定された。
• 著者らは、定理 A.1 に示された $B_n(\Sigma_{g,p})$ の標準提示が、生成子の変更により新しい正の提示と同値であることを確認し、構成の正当性を裏付けた。