[論文レビュー] Finite quotients of groups of I-type

Fabienne Chouraqui, Eddy Godelle|arXiv (Cornell University)|Jan 16, 2013

Geometric and Algebraic Topology参考文献 8被引用数 7

ひとこと要約

この論文は、非退化かつ対称な集合論的解としてのYang-Baxter方程式から生じるI型群に対して、Coxeter群がArtin-Tits群において果たす役割を模倣する有限商群 $W(X,S)$ を構成する。技術的条件 $(\mathcal{C})$ の下で、$W(X,S)$ は位数 $2^n$ の有限群であり、Garsideモノイド構造から導かれる表示を持つ。また、$1 \to N(X,S) \to G(X,S) \to W(X,S) \to 1$ という標準的な完全系列が存在し、$N(X,S)$ はランク $n$ の自由アーベル群である。これは、I型Garsideモノイドの有限生成群を提供し、D. Bessisが提起した問いに答えている。

ABSTRACT

To every group of $I$-type, we associate a finite quotient group that plays the role that Coxeter groups play for Artin-Tits groups. Since groups of I-type are examples of Garside groups, this answers a question of D. Bessis in the particular case of groups of I-type. Groups of $I$-type are related to finite set theoretical solutions of the Yang-Baxter equation.

研究の動機と目的

• D. Bessisが提起した、Garside群に対してCoxeter群が果たす役割を果たす有限商群の同定に関する未解決問題に応えること。
• 集合論的解としてのYang-Baxter方程式に付随するGarsideモノイドの有限生成群を提供すること。
• 集合論的解 $(X,S)$ の構造群 $G(X,S)$ の有限商 $W(X,S)$ を構成し、バターン群における対称群に類似した役割を果たすこと。
• 技術的条件 $(\mathcal{C})$ の下で $W(X,S)$ を特徴づけ、それが生成された部分群であり、表示を与えること。

提案手法

• Garside元 $\Delta$ が生成元の集合 $\mathbf{X}$ に作用するものとして、その作用によって誘導される準同型を通じて、構造群 $G(X,S)$ から $W(X,S)$ を定義する。
• 生成群法を用いて、Garsideモノイド $M(X,S)$ がその除因子集合に作用するのを、$\mathbf{X}$ への群作用へと持ち上げ、有限商を得る。
• Garside構造を用いて、Garside元 $\Delta$ の像を用いて $W(X,S)$ 上に長さ関数を定義し、最大長さが $n$ であることを保証する。
• 性質 $(\mathcal{C})$ の下で、群 $W(X,S)$ が $2^n$ 個の元を持つ表示を持ち、$w_0^2 = 1$ を満たすことを証明する。ここで $w_0$ は最大長さ $n$ の唯一の元である。
• 計算ツール（例：GAP）を用いて、例における $W(X,S)$ の位数と構造（特に可解クラスと指数）を検証する。
• 商写像の核を用いて、$1 \to N(X,S) \to G(X,S) \to W(X,S) \to 1$ という完全系列を確立する。ここで $N(X,S)$ はランク $n$ の自由アーベル群である。

実験結果

リサーチクエスチョン

• RQ1 すべてのI型群に対して、Artin-Tits群におけるCoxeter群が果たす役割を果たす有限商群を構成できるか？
• RQ2 有限商 $W(X,S)$ がGarsideモノイド $M(X,S)$ の生成された部分群となる条件は何か？
• RQ3 与えられた集合論的解 $(X,S)$ に対して、有限商 $W(X,S)$ の構造と位数は何か？
• RQ4 群 $W(X,S)$ はGarside元 $\Delta$ やモノイド上の長さ関数とどのように関係するか？
• RQ5 群論的性質（例：可解クラス、指数）は $W(X,S)$ にどのような影響を及ぼし、解 $(X,S)$ に依存してどのように変化するか？

主な発見

• 有限商 $W(X,S)$ の位数は、解 $(X,S)$ における集合 $X$ の濃度 $n$ に対して正確に $2^n$ である。これは、バターン群における対称群の役割を一般化する。
• 標準的な完全系列 $1 \to N(X,S) \to G(X,S) \to W(X,S) \to 1$ が存在し、$N(X,S)$ はランク $n$ の自由アーベル群である。これにより、$W(X,S)$ がアーベル核をもつ有限商群であることが示される。
• 性質 $(\mathcal{C})$ の下で、$W(X,S)$ はGarsideモノイド $M(X,S)$ の生成された部分群である。これは、商写像がモノイドレベルで分解可能であることを意味する。
• $W(X,S)$ には、$\mathbf{X}$ 上で最大長さ $n$ を持つ唯一の元 $w_0$ が存在し、$w_0^2 = 1$ を満たす。したがって $w_0$ は生成元を置換する対合である。
• $W(X,S)$ は可解クラスが高々 $n-1$ の2群であり、解が自明な場合に限りアーベル群となる。このとき $W(X,S) \cong (\mathbb{Z}_2)^n$ である。それ以外の場合は非アーベルかつ非巡回群である。
• 非自明な例（例：$n=4$）では、$W(X,S)$ の位数は $48 = 2^4 \cdot 3^2$ であり、中心が4つの元を持つ。これは、単純なアーベル群を超えるより豊かな構造を示している。