[論文レビュー] Representations of quivers via reflection functors

Henning Krause|arXiv (Cornell University)|Apr 9, 2008

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

ひとこと要約

この論文は、反転ファンクターを用いて、クーヴィア表現の自己完備的入門を提供し、ガブリエルの定理を用いて有限表現型のクーヴィアを分類する。線形代数と反転ファンクターを用いて、ディンキン型およびエウクラティック型クーヴィアの表現を分析し、クロネッカークーヴィアとクラインの四元群の表現を詳細に研究することで、有限次元代数の表現理論における基礎的結果を確立する。

ABSTRACT

These are the notes for a course on representations of quivers for second year students in Paderborn in summer 2007. My aim was to provide a basic introduction without using any advanced methods. It turns out that a good knowledge of linear algebra is sufficient for proving Gabriel's theorem. Thus we classify the quivers of finite representation type and study their representations using reflection functors. Further material has been added after giving this course in Bielefeld in summer 2010. This includes a discussion of regular representations and wild phenomena. In particular, two classical examples are covered: representations of the Kronecker quiver and representations of the Klein four group.

研究の動機と目的

• 高度な道具を用いずに、線形代数のみに依拠して、初心者向けのクーヴィア表現の入門を提供すること。
• ガブリエルの定理と反転ファンクターを用いて、有限表現型のクーヴィアを分類すること。
• クーヴィア表現理論における正規表現とワイルド現象を研究すること。
• 2つの古典的例（クロネッカークーヴィアとクラインの四元群）を分析すること。
• クーヴィア表現の圏における準同型、部分表現、完全系列に関する基礎的結果を確立すること。

提案手法

• クーヴィアの表現は、頂点にベクトル空間を割り当て、矢印に線形写像を割り当てることで定義され、Rep(Q,k) という圏を形成する。
• 表現間の準同型は、矢印の写像と可換となる線形写像の族であり、Hom(X,Y) というベクトル空間を形成する。
• 反転ファンクターは、シンクおよびソースにおける表現の反転を可能にし、頂点における反転を介して、あるクーヴィアの表現を別のクーヴィアの表現に変換する。
• 次元ベクトルとパス代数を用いて、有限次元表現およびその分解を分析する。
• 完全系列は、核、余核、像の構成を用いて調べられ、可換図式にスネイク補題を適用する。
• 理論はクロネッカークーヴィアおよびクラインの四元群の表現の分類に応用され、タームおよびワイルド表現型の例を示す。

実験結果

リサーチクエスチョン

• RQ1 どのクーヴィアが、唯一の非分解有限次元表現を有限個しか持たないか？
• RQ2 反転ファンクターは、異なるクーヴィアの表現をどのように関連付けることができるか？
• RQ3 クロネッカークーヴィアおよびクラインの四元群の表現は、表現型の観点からどのように特徴づけられるか？
• RQ4 クーヴィア表現の圏における完全系列がいつ分裂するか？
• RQ5 正規表現はエウクラティック型クーヴィアにどのように現れ、表現理論において果たす役割は何か？

主な発見

• 有限表現型のクーヴィアは、ガブリエルの定理により、ディンキン図形 A_n、D_n、および E_6、E_7、E_8 に分類される。
• 反転ファンクターは、頂点における反転を介して、異なるクーヴィアの表現を変換する手法を提供し、重要な構造的性質を保存する。
• クロネッカークーヴィアはターム表現型を示し、非分解表現が1次元パラメータ空間でパラメータ化される。
• クラインの四元群は、ワイルド表現型を示し、その非分解表現は有限個の離散的パラメータでは分類できない。
• クーヴィア表現の圏における完全系列は、Ext^1 が消える場合にかつその場合に限り分裂し、この性質は特定の拡張において保存される。
• 有限次元クーヴィア表現の圏はアーベル圏であり、核、余核、像は各頂点で点ごとに定義される。