[論文レビュー] Preprojective representations of valued quivers and reduced words in the Weyl group of a Kac-Moody algebra

Mark Kleiner, Allen Pelley|ArXiv.org|Aug 24, 2006

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

ひとこと要約

本稿は、重み付きクーヴァーの前射影的表現とKac-Moody代数のワイル群における削減済み語の間の対応を確立し、コックスター元 $ c $ が無限ワイル群を生成するための必要十分条件として、すべての $ c^m $ が削減済み語であること、すなわち $ \ell(c^m) = |m|n $ がすべての $ m \in \mathbb{Z} $ に対して成り立つこと、を示している。主な貢献は、カルタン行列の対称性仮定を撤廃することで、前射影的加群に関連する標準的(+)-適切な系列を用いて、組合せ論的および表現論的手法によりワイル群の要素の削減性を特徴づけることにある。

ABSTRACT

This paper studies connections between the preprojective representations of a valued quiver, the (+)-admissible sequences of vertices, and the Weyl group by associating to each preprojective representation a canonical (+)-admissible sequence. A (+)-admissible sequence is the canonical sequence of some preprojective representation if and only if the product of simple reflections associated to the vertices of the sequence is a reduced word in the Weyl group. As a consequence, for any Coxeter element of the Weyl group associated to an indecomposable symmetrizable generalized Cartan matrix, the group is infinite if and only if the powers of the element are reduced words. The latter strengthens known results of Howlett, Fomin-Zelevinsky, and the authors.

研究の動機と目的

• カルタン行列の対称性仮定を撤廃することで、無限ワイル群に関する先行研究を一般化すること。
• 重み付きクーヴァーの前射影的表現と(+)-適切な系列の間の標準的対応を確立すること。
• コックスター元が無限ワイル群を生成する条件を、そのべきの削減性によって特徴づけること。
• 重み付きクーヴァーおよび可対称化一般化カルタン行列の設定において、前射影的加群および適切な系列の理論を拡張すること。
• コックスター可-sortable要素を介して、表現論、ワイル群の組合せ論、クラスタ構造を統一的に結びつけるフレームワークを提供すること。

提案手法

• 各前射影的表現 $ M $ に対して、その集合 $ \frak{S} $ 内の標準的(+)-適切な系列 $ S_M $ を関連付ける。
• 系列 $ S $ に対して、$ S $ に含まれる頂点に対応する基本反射の合成として $ w(S) \in \mathcal{W} $ を定義し、系列からワイル群の要素への写像を構成する。
• $ M \cong N $ であるための必要十分条件が $ w(S_M) = w(S_N) $ であること、すなわち、非分解的前射影的加群の同型類とワイル群の要素との間に一対一対応が成立することを証明する。
• すべての $ i < s $ に対して $ \sigma_{x_i} \cdots \sigma_{x_{s-1}}(e_{x_s}) > 0 $ が成り立つことにより、$ w(S) $ の削減性を特徴づけ、根格子における正の性質と削減語長を関連付ける。
• 文献[11]および[12]の結果を応用し、重み付きクーヴァーを介して、対称的から可対称化一般化カルタン行列へ理論を拡張する。
• 基礎となるグラフが $ A_n, B_n, \dots, G_2 $ 型のディンキン図形でない限り、すべての $ w(S) $ は削減済みであり、すべての $ S \in \frak{S} $ に対してそのような加群が存在することを用いる。

実験結果

リサーチクエスチョン

• RQ1 可対称化一般化カルタン行列のワイル群に属するコックスター元 $ c $ が、$ \mathcal{W}(A) $ を無限に生成するのはいつか？
• RQ2 重み付きクーヴァーの前射影的表現と、対応するワイル群要素の削減語性との間の明確な関係は何か？
• RQ3 どの条件下で、(+)-適切な系列 $ S $ が、ある非分解的前射影的加群 $ M $ に対して $ S_M $ として現れるか？
• RQ4 $ w(S) $ の削減性と、$ S \sim S_M $ を満たす前射影的加群 $ M $ の存在性との関係は何か？
• RQ5 対称的カルタン行列を超えて、コックスター元のべきの削減性による無限ワイル群の特徴づけを拡張できるか？

主な発見

• コックスター元 $ c $ が無限ワイル群 $ \mathcal{W}(A) $ を生成するための必要十分条件は、すべての $ m \in \mathbb{Z} $ に対して $ \ell(c^m) = |m|n $ が成り立つことである。ここで $ \ell $ はワイル群における語長を表す。
• ワイル群の要素 $ w(S) \in \mathcal{W} $ が削減済みであるための必要十分条件は、$ S \sim S_M $ を満たす前射影的 $ k(\Gamma,\Lambda) $-加群 $ M $ が存在することである。これにより完全な特徴づけが得られた。
• 基礎となるグラフが $ A_n, B_n, C_n, D_n, E_6, E_7, E_8, F_4, G_2 $ 型のディンキン図形でない任意の重み付きクーヴァーに対して、すべての $ w(S) $ は削減済みであり、すべての $ S \in \frak{S} $ に対してそのような加群が存在する。
• 前射影的加群とワイル群要素との間の対応 $ w(S_M) $ は双対的である。すなわち、$ M \cong N $ であることと $ w(S_M) = w(S_N) $ であることは同値である。
• 本結果は、ハウレットおよびフォミン–ツェレヴィンスキーの先行定理を、カルタン行列の対称性仮定を撤廃することで強化したものである。
• 理論はコックスター可-sortable要素へ自然に拡張可能であり、今後、前射影的表現、クラスタ構造、非交差分割を結びつける。