[論文レビュー] On the Yang-Baxter equation and left nilpotent left braces

Ferran Cedó, Tatiana Gateva-Ivanova+1 more|Edinburgh Research Explorer|Jan 26, 2016

Finite Group Theory Research参考文献 6被引用数 3

ひとこと要約

本稿は、左ブラケットとそれらに関連する構造群を用いて、ヤン・バクスター方程式の有限非退化的自己同型解の構造を調査する。構造群がエンゲル群にはなり得ないことを証明し、エンゲルでない多ℤ群の豊富なクラスを提供するとともに、有限解が有限ブラケットおよびブレード群に埋め込めることが示された。

ABSTRACT

We study non-degenerate involutive set-theoretic solutions (X,r) of the Yang-Baxter equation, we call them simply solutions. We show that the structure group G(X,r) of a finite non-trivial solution (X,r) cannot be an Engel group. It is known that the structure group G(X,r) of a finite multipermutation solution (X,r) is a poly-Z group, thus our result gives a rich source of examples of braided groups and left braces G(X,r) which are poly-Z groups but not Engel groups. We also show that a finite solution of the Yang-Baxter equation can be embedded in a convenient way into a finite brace and into a finite braided group. For a left brace A, we explore the close relation between the multipermutation level of the solution associated with it and the radical chain $A^{(n+1)}=A^{(n)}* A$ introduced by Rump.

研究の動機と目的

• ヤン・バクスター方程式の有限非退化的自己同型的集合論的解に関連する構造群の群論的性質を理解すること。
• 特に左ブラケットの文脈において、このような構造群がエンゲル群であるための条件を調査すること。
• 有限解が有限ブラケットおよび有限ブレード群に埋め込めるようにすることにより、実現可能な代数的構造のクラスを豊かにすること。
• 解の多重置換レベルとランプによって定義された左ブラケットにおけるラジカル鎖の関係を明確にすること。

提案手法

• 構造群 $G(X,r)$ に標準的な左ブラケット構造を適用する。ここで、加法群は基底 $X$ を持つ自由アーベル群であり、乗法群は左乗法写像 $\mathcal{L}_a$ によって作用する。
• 元が $X$ に自明に作用する要素を特定するため、ホモモーティズム $\mathcal{L}: G \to \operatorname{Sym}_X$ の核として、ソクル $\operatorname{Soc}(G)$ を用いる。
• $n = [G : \operatorname{Soc}(G)]$ に対して、構造群 $G(X,r)$ 内に理想 $I = \{ng \mid g \in G(X,r)\}$ を構成し、$I$ が乗法群および左作用写像に関して不変であることを示す。
• 商 $G/I$ を用いて、位数 $n^m$（$m = |X|$）の有限左ブラケットを構成し、$X \to G/I$ が単射であることを証明し、$X$ がブラケットに埋め込まれることを示す。
• ジャコブソン・ラジカル環と随伴群の結果を適用し、両側ブラケットとラジカル環の同値性を活用して群論的性質を分析する。
• 左ブラケット $A$ におけるラジカル鎖 $A^{(n+1)} = A^{(n)} * A$ を用い、解の多重置換レベルとブラケットの冪零構造を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 有限非自明解 $(X,r)$ の構造群 $G(X,r)$ はエンゲル群になり得るか？
• RQ2 解の多重置換レベルと関連する左ブラケット $A$ のラジカル鎖 $A^{(n)}$ の関係は何か？
• RQ3 有限解はどのようにして有限ブラケットおよび有限ブレード群に埋め込めるか？
• RQ4 特に多ℤ群としての性質と関連して、多重置換解の構造群の群論的性質は何か？
• RQ5 $G(X,r)$ がエンゲル群になれない構造的障害は存在するか？ もし存在するならば、その障害はこのような解の代数的性質をどのように明らかにするか？

主な発見

• 任意の有限非自明解 $(X,r)$ の構造群 $G(X,r)$ はエンゲル群にはなり得ない。
• 有限の多重置換解は多ℤ群の構造群を与えるが、これらはエンゲル群ではないため、このような例の豊富なソースを提供する。
• すべての有限解 $(X,r)$ は、$n = [G : \operatorname{Soc}(G)]$ に対して $nG$ で生成される理想 $I$ を用いた商 $G(X,r)/I$ を通じて有限左ブラケットに埋め込める。
• 商 $G(X,r)/I$ は位数 $n^m$（$m = |X|$）の有限左ブラケットであり、この商における $X$ の像は $X$ と同型であるため、埋め込みは単射である。
• 解の多重置換レベルは、関連する左ブラケット $A$ のラジカル鎖 $A^{(n)}$ の長さと直接関係している。
• 構造群 $G(X,r)$ は、$X$ 上の自由アーベル群と $\mathcal{L}_a$ の作用から、自然な左ブラケット構造を引き継ぎ、$\mathcal{L}_a$ が加法群の自己同型であることを満たす。