[論文レビュー] The dual braid monoid

David Bessis|ArXiv.org|Jan 18, 2001

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

ひとこと要約

本稿では、有限コクセター系に付随するアーティン群のための新たなガーディアンモノイド構造として、単純生成集合 $S$ の代わりにすべての反転 $T$ を用いるデュアルブレードモノイドを導入する。デュアルブレードモノイドは、古典的正ブレードモノイドと同様に埋め込み性とノーマルフォームといった主要な代数的性質を共有しており、型 $A$ ではビルマン＝コ＝リーのモノイドを回復する。これにより、反転群の対称性を用いたブレード群の研究のための新たな代数的・幾何的枠組みが提供される。

ABSTRACT

We construct a new monoid structure for Artin groups associated with finite Coxeter systems. This monoid shares with the classical positive braid monoid a crucial algebraic property: it is a Garside monoid. The analogy with the classical construction indicates there is a ``dual'' way of studying Coxeter systems, where the pair (W,S) is replaced by (W,T), with T the set of all reflections. In the type A case, we recover the monoid constructed by Birman-Ko-Lee

研究の動機と目的

• 古典的コクセター系 $(W,S)$ を、すべての反転の集合 $T$ を用いた $(W,T)$ に置き換えることにより、有限実反転群およびそのブレード群の代替代数的枠組みを構築すること。
• 単純反転ではなく反転に基づく、デュアルブレード関係を用いた新しい正ブレードモノイド（いわゆるデュアルブレードモノイド）を構成すること。
• デュアルブレードモノイドがガーディアンモノイドであることを証明し、埋め込み性、ノーマルフォーム、語問題の解法可能性といった重要な構造的性質を保証すること。
• 複素化された超平面配置における正則ベクトルに関連する局所モノイドを用いた、デュアルブレードモノイドの幾何的解釈を確立すること。
• 型 $A$ において、デュアルブレードモノイドがビルマン、コ、リーによって構成されたモノイドと一致することを示し、二つの異なるブレード群構造の統合を達成すること。

提案手法

• デュアルブレードモノイドは、反転集合 $T$ から導かれるデュアルブレード関係を用いた正の提示によって定義され、ガーディアン元 $\Delta$ 以下の要素の集合に前モノイド構造をもたらす。
• この構成は、モノイド内にガーディアン元 $\Delta$ が存在し、$P = \{m \in M \mid m \prec \Delta\}$ がガーディアン前モノイドをなすことに依存しており、自由モノイド構成 $\mathbf{M}(P)$ を用いて全モノイドを回復可能である。
• 本稿では、ガーディアン前モノイドの公理を満たすことで、デュアルブレードモノイドがガーディアンモノイドであることを証明する。特に、生成元のペアに対する左および右の最小公倍数と最大公約数の存在が鍵となる。
• 重要な技術的道具として、コクセター元 $c$ がガーディアン元の候補として用いられ、$c$ の因子の集合に整礎順序が入った $(P_c, \prec)$ が可除順序においてラティスであることが示された。
• 幾何的解釈では、複素化された反転空間内の正則ベクトル $v$ に対して局所モノイド $M_v$ を関連付ける。$v$ が実チャネルにあるとき $M_v$ は古典的ブレードモノイドと同型であり、$v$ が特別なストラトムにあるときにはデュアルブレードモノイドと同型である。
• 例外型（例：$H_3$, $I_2$）についてはケース・バイ・ケースでの検証を実施し、必要に応じてコンピュータ支援証明を用いる。一方、古典型 $A$、$B$、$D$ については一般論を提示する。

実験結果

リサーチクエスチョン

• RQ1 単純反転 $S$ の代わりに、すべての反転 $T$ を用いて、アーティン群のための新たな正ブレードモノイドを構成可能か？
• RQ2 この新規モノイド（いわゆるデュアルブレードモノイド）は、埋め込み性とノーマルフォームの存在を含め、ガーディアン性質を満たすか？
• RQ3 デュアルブレードモノイドは、古典的正ブレードモノイドおよび型 $A$ におけるビルマン＝コ＝リーのモノイドとどのように関係するか？
• RQ4 複素化された超平面配置および局所モノドロミー構造を用いた場合、デュアルブレードモノイドの幾何的解釈は何か？
• RQ5 デュアルブレードモノイドは、例外型を含むすべての有限コクセター型において、代数的および幾何的に特徴付け可能か？

主な発見

• デュアルブレードモノイドはガーディアンモノイドであるため、アーティン群への埋め込み性が保証され、単射性が得られる。
• デュアルブレードモノイドは、ガーディアン元 $\Delta$ に関する左最大公約数分解に基づくノーマルフォームを備えており、語問題のアルゴリズム的解法が可能である。
• 型 $A_n$ において、デュアルブレードモノイドはビルマン、コ、リーによって構成されたモノイドと同型であるため、二つの異なる構成法が同一の代数的対象を表していることが統合される。
• デュアルブレードモノイドは、コクセター元の固有空間に対応する特別なストラトムにある正則ベクトル $v$ の場合、局所モノイド $M_v$ として幾何的に現れる。
• $B$ 型および $D$ 型において、コクセター元 $c$ の因子集合にラティス構造が存在することを示し、これらのケースで一般理論が正当化されることを確認した。
• $\Delta$ による共役による誘導される図形自己同型は有限位数を持ち、$\Delta^d$ はアーティン群において中心的である。これはガーディアン群の主要な構造的特徴である。