[論文レビュー] Reflection group presentations arising from cluster algebras

Michael Barot, Bethany Marsh|White Rose Research Online (University of Leeds, The University of Sheffield, University of York)|Dec 10, 2011

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

ひとこと要約

本稿では、有限型のクラスタ代数の任意のシードを用いて、標準的なコクセター表示を一般化した、有限結晶学的反映群の新しい群表示を提示する。シードの図の無弦サイクルから得られる追加の関係を導入し、その結果得られる群が対応する反映群と同型であることを証明する。単純型の場合には同伴基底および準カルタン行列との関係も示す。

ABSTRACT

We give a presentation of a finite crystallographic reflection group in terms of an arbitrary seed in the corresponding cluster algebra of finite type and interpret the presentation in terms of companion bases in the associated root system.

研究の動機と目的

• 有限型クラスタ代数の任意のシードを用いて、有限結晶学的反映群の均一な群表示を提供すること。
• シードに付随する図の無弦サイクルに由来する関係を組み込むことで、標準的なコクセター表示を一般化すること。
• 選んだシードにかかわらず、提示された群と標準的な反映群との同型性を確立すること。
• この群表示をクラスタ代数の根系における同伴基底および準カルタン同伴の理論と結びつけること。
• 単純型の場合に、この表示が符号付きグラフおよび拡張コクセター群から得られるものと一致することを示すこと。

提案手法

• 有限型クラスタ代数のシードに付随する図Γを定義し、辺の重みがカルタン行列に類似たデータを符号化するようにする。
• 頂点ごとに生成元 s_i を持ち、関係式 s_i² = e、(s_i s_j)^{m_ij} = e、および無弦サイクルに対するサイクル関係を持つ群 W(Γ) を構成する。
• 頂点 i と j の間の重みが (0, 1, 2, 3) のとき、m_ij の値をそれぞれ (2, 3, 4, 6) に設定する。
• 特別なサイクル関係を導入する：すべての重みが 1 であるか、w₀ = 2 である無弦サイクルに対して、(s_{i0} s_{i1} ... s_{i_{d-1}})^2 = e が成り立つ。
• シードの変異が群構造を保存することを用いて、W(Γ) のシード変異に関する不変性を証明する。
• 単純型の場合に、符号付きグラフの局所的スイッチング操作を用いて、同伴基底および符号付きグラフを介した既知の表示と同等であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 有限結晶学的反映群を、カルタン行列を持つ初期シードに限らず、有限型クラスタ代数の任意のシードを用いて表示できるか？
• RQ2 シードの図にサイクルが含まれる場合、標準的なコクセター関係に加えて、どのような追加関係が必要か？
• RQ3 図の無弦サイクルから得られる新しい関係は、根系およびクラスタ代数の同伴基底とどのように関係するか？
• RQ4 単純型の場合に、この表示は符号付きグラフおよび拡張コクセター群から得られるものと一致するか？
• RQ5 この表示によって定義される群は、シードの変異に対して不変であり、クラスタ代数のすべてのシードにおいて一貫性を保っているか？

主な発見

• 任意のシードの図に基づく生成元と関係式によって定義される群 W(Γ) は、クラスタ代数のディンキン図に対応する標準的な反映群と同型である。
• シードのカルタン対応がカルタン行列である場合、この表示は古典的なコクセター表示に還元される。
• カルタン行列でないシードの場合、特にすべての辺の重みが 1 であるか、1 つの重みが 2 である場合に、無弦サイクルに由来する追加関係が含まれる。
• 単純型の場合、この群表示は局所的スイッチングを用いた符号付きグラフから得られるものと一致し、これは補題 6.10 および [5, 定理 6.10] との対応関係によって示される。
• 群 W(Γ) はシードの変異に対して不変であり、これはクラスタ代数のすべてのシードにおいて表示が一貫していることを意味する。
• W(Γ) の生成元は、根系の同伴基底に対応する反射に対応し、これによりクラスタ代数の表現論的構造（クラスタティルト代数）と関連づけられる。