[論文レビュー] Admissible sequences, preprojective modules, and reduced words in the Weyl group of a quiver

Mark Kleiner, Allen Pelley|ArXiv.org|Jun 30, 2006

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

ひとこと要約

この論文は、向きのないサイクルを含まないクーヴィーのパス代数上の前射的加群、(+)-適切な頂点列、およびワイル群内の簡約語の間の正確な対応関係を確立する。(+)-適切な列がある前射的加群を消滅させる最短列であるための必要十分条件として、対応する単純反射の積がワイル群における簡約語であること、すなわち、ワイル群が無限大であるための必要十分条件として、対応する単純対称一般化カルタン行列に付随するコックスター要素のすべてのべきが簡約語であること、を証明する。

ABSTRACT

This paper studies connections between the preprojective modules over the path algebra of a finite connected quiver without oriented cycles, the (+)-admissible sequences of vertices, and the Weyl group. For each preprojective module, there exists a unique up to a certain equivalence shortest (+)-admissible sequence annihilating the module. A (+)-admissible sequence is the shortest sequence annihilating some preprojective module if and only if the product of simple reflections associated to the vertices of the sequence is a reduced word in the Weyl group. These statements have the following application that strengthens known results of Howlett and Fomin-Zelevinsky. For any fixed Coxeter element of the Weyl group associated to an indecomposable symmetric generalized Cartan matrix, the group is infinite if and only if the powers of the element are reduced words.

研究の動機と目的

• クーヴィー表現論における前射的加群、(+)-適切な列、ワイル群元の間の構造的対応関係を確立すること。
• ある前射的加群を消滅させるための(+)-適切な列が最短である条件を明確にすること。
• ハウレットとフォミン＝ツェレヴィンスキーの既知の結果を強化し、単純対称一般化カルタン行列に付随するワイル群の無限大性を、コックスター要素の簡約語性の性質によって特徴づけること。

提案手法

• 非分解的加群に限らない、すべての前射的加群に対して、前射的加群を消滅させる最短(+)-適切な列に関する一意性および最小性の結果を拡張する。
• 列に属する頂点に対応する単純反射の合成により、列からワイル群への群準同型を定義する。
• クーヴィーの頂点集合の半順序集合構造と列の同値関係を用いて、簡約語の条件を分析する。
• アウスランダー＝ライテン理論およびコックスター群論の結果、特にコックスター可換要素の概念を応用する。
• 列を完全な部分列に分解する標準的分解を用いて、対応する群語の簡約性を検証する。
• 向きのないサイクルを含まないクーヴィーは、与えられた頂点列が(+)-適切であるための唯一の向きを持つことを利用する。

実験結果

リサーチクエスチョン

• RQ1 いつ、(+)-適切な列が、ある前射的加群を消滅させる最短列となるか？
• RQ2 ワイル群内の語の簡約性と、ある列によって消滅される前射的加群の存在との間の正確な関係は何か？
• RQ3 単純対称一般化カルタン行列に付随するワイル群が無限大であるための条件は何か？
• RQ4 簡約語の性質が、アウスランダー＝ライテンクーヴィーの前射的成分の構造にどのように関係するか？
• RQ5 ある列に付随するワイル群元の逆元が、コックスター可換要素であるのはいつか？

主な発見

• 任意の前射的加群 $ M $ に対して、$ M $ を消滅させる最短(+)-適切な列 $ S_M $ は同値を除いて一意であり、$ M $ は $ S_M $ によって一意に決定される。
• (+)-適切な列 $ S $ が、ある前射的加群を消滅させる最短列であるための必要十分条件は、対応する単純反射の積 $ w(S) $ がワイル群における簡約語であることである。
• ワイル群 $ \tilde{\rm W} $ が無限大であるための必要十分条件は、コックスター要素 $ c $ のすべてのべきが簡約語であることである。これはハウレットとフォミン＝ツェレヴィンスキーの結果を強化する。
• 基になるグラフ $ \Gamma $ がタイプ A, D, E でない限り、任意の(+)-適切な列 $ S $ に対して、対応する語 $ w(S) $ は簡約語であり、$ S \sim S_M $ を満たす前射的加群 $ M $ が存在する。
• 任意のコックスター要素 $ c = \sigma_{v_n} \cdots \sigma_{v_1} $ に対して、$ w(S_M) $ の逆元はワイル群における $ c $-可換要素である。
• 列 $ S $ が簡約語 $ w(S) $ を生成するための必要十分条件は、$ S $ が部分列 $ T_i $ に分解可能であり、各 $ w(T_i) $ が簡約語であり、かつ各 $ T_i $ の台が単調に減少するようにネストされていることである。