[論文レビュー] "Set-theoretical" solutions of the quantum Yang-Baxter equation and a class of Garside groups

Fabienne Chouraqui|arXiv (Cornell University)|Nov 25, 2008

Algebraic structures and combinatorial models参考文献 13被引用数 4

ひとこと要約

この論文は、非退化で、自己同型的かつブレッドな集合論的量子ヤン・バクスター方程式の解と、特定のクラスの二次的で表形式の提示を持つガルサイ群の間の一対一対応を確立する。主な結果は、そのような解が、その構造群がΔ-純ガルサイであるときにかつそのときに限り、非可約であるということであり、代数的構造と群の幾何学的・ホモロジー的性質を結びつける。

ABSTRACT

We establish a one-to-one correspondence between structure groups of non-degenerate, involutive and braided "set-theoretical" solutions of the quantum Yang-Baxter equation and Garside groups with a certain presentation. Moreover, we show that the solution is indecomposable if and only if its structure group is a $Δ-$pure Garside group.

研究の動機と目的

• 非退化で、自己同型的かつブレッドな集合論的量子ヤン・バクスター方程式の解と、特定の提示を持つガルサイ群の間の一対一対応を確立すること。
• そのような解が非可約である条件を、関連する構造群の代数的構造の観点から特徴づけること。
• そのような解の構造群が常にガルサイ群であり、生成元の右最小公倍元がガルサイ元をなすことの証明。
• その構造群の（ cohomo）ロジカル次元が、元となる有限集合 X の濃度によって上から有界であることを示すこと。
• 表形式のモノイドを定義し、それらの解と群を記述するための組合せ的枠組みとして分析すること。

提案手法

• 有限集合 X によって生成され、表形式に表現可能な二次的関係を持つモノイドとして表形式モノイドを定義する。
• 表形式モノイド間の t-同型を導入し、それによって構造群の同型の観点から解を分類する。
• デルノワのガルサイ群の基準を用いて、非退化で、自己同型的かつブレッドな解の構造群がガルサイ群であることを証明する。
• 生成元の右最小公倍元がガルサイ元をなすことの証明により、[8] の意味でのガルサイ群であることが示される。
• 定義関係を用いて、語長および変換の鎖長に関する帰納法により、モノイドの右消去法則を証明する。
• 置換解の構造を用いて具体的な例を構成し、ガルサイ元 Δ が中心的生成元として確かに成立することを検証する。

実験結果

リサーチクエスチョン

• RQ1 非退化で、自己同型的かつブレッドな集合論的量子ヤン・バクスター方程式の解に対応する構造群の正確な代数的特徴づけは何か？
• RQ2 このような解がガルサイ群を生じる条件は何か？ また、その対応を双対的（一対一）に定式化できるか？
• RQ3 解の非可約性は、その構造群のガルサイ性とどのように関係するか？
• RQ4 そのような解の構造群の（ cohomo）ロジカル次元は何か？ そして、元となる集合のサイズによってどのように有界化されるか？
• RQ5 構造群の提示を表形式によって組合せ的に記述可能か？ また、t-同型のもとで保存される不変量は何か？

主な発見

• 非退化で、自己同型的かつブレッドな集合論的量子ヤン・バクスター方程式の解の同型類と、特定の条件を満たす t-同型類をもつガルサイ表形式モノイドの間には、一対一対応が存在する。
• そのような解の構造群は常にガルサイ群であり、生成元の右最小公倍元がガルサイ元をなす。
• その構造群の（ cohomo）ロジカル次元は、元となる有限集合 X の濃度によって上から有界である。
• 解が非可約であることは、ピカンチンが定義した意味でのΔ-純ガルサイ構造の構造群であることと同値である。
• そのような解に対応するモノイドは右消去法則を満たすことが、語長および変換鎖長に関する帰納法により、定義関係を用いて証明された。
• 置換解の場合、ガルサイ元 Δ はすべての生成元に対して共通のべき $x_i^3$ に一致し、群の中心はΔによって生成される巡回群である。