[論文レビュー] Indecomposable representations for extended Dynkin quivers

Dirk Kussin, Hagen Meltzer|ArXiv.org|Dec 15, 2006

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

ひとこと要約

本稿では、傾き理論と既知のドメスティックな正規代数に関する結果を用いて、任意の体上での拡張されたディンキン・クイバーの分解不能な前プロジェクティヴおよび前インジェクティヴ表現を明示的に構成する体系的な手法を提示する。代数的に閉じた体の場合、すべての分解不能表現を完全に分類する。特に、$;{D}_n$ および $;{E}_6$ の場合におけるランク3の最も複雑な前プロジェクティヴ・モジュールに対して明示的な行列記述を与える。

ABSTRACT

We describe a method for an explicit determination of indecomposable preprojective and preinjective representations for extended Dynkin quivers by vector spaces and matrices. This method uses tilting theory and the explicit knowledge of indecomposable modules over the corresponding canonical algebra of domestic type.

研究の動機と目的

• 任意の体上での拡張されたディンキン・クイバーの分解不能な前プロジェクティヴおよび前インジェクティヴ表現の明示的で行列に基づく記述を提供すること。
• 既知のケースを超えて、特に固定された向きを持つ $;{D}_n$ および $;{E}_6$ クイバーの分解不能モジュールの分類を拡張すること。
• 傾き理論とドメスティックな正規代数の構造を活用して、すべての分解不能表現を体系的に生成すること。
• 底体が代数的に閉じている場合に、すべての分解不能表現の完全な分類を提供すること。
• 特に $;{E}_6$ の場合におけるランク3の最も複雑な前プロジェクティヴ・モジュールの明示的な行列形を提示すること。

提案手法

• 傾き理論を用いて、拡張されたディンキン・クイバーの表現をドメスティックな正規代数の表現に関連づける。特に、$\operatorname{End}(T) \simeq A^{\mathrm{op}}$ を満たす傾きモジュール $T$ を用いる。
• $\operatorname{Ext}^1_\Lambda(T,M) = 0$ を満たす分解不能な前プロジェクティヴ $\Lambda$-モジュール $M$ に対して、函手 $\operatorname{Hom}_{\Lambda}(T, -)$ を適用し、分解不能な $A^{\mathrm{op}}$-モジュールを導出する。
• 先行研究 [11, 9] で得られたドメスティックな正規代数上の分解不能モジュールの明示的行列記述を、傾き函手の入力として用いる。
• 得られた拡張されたディンキン・クイバー $\Gamma$ の表現のベクトル空間に基底を構成し、行列乗算により誘導される線形写像を計算する。
• 傾き函手の作用と正規代数モジュールの既知の行列構造を合成することで、得られた表現の写像の行列形を導出する。
• 双対性を適用して、前プロジェクティヴ表現から前インジェクティヴ表現を導出し、クイバーの分類を完了する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、正規代数や傾き理論といった代数的構造を用いて、拡張されたディンキン・クイバーの分解不能な前プロジェクティヴ表現を明示的に構成できるか。
• RQ2 $\widetilde{E}_6$ の場合におけるランク3の最も複雑な分解不能な前プロジェクティヴ表現の構造は何か。
• RQ3 任意の体上での拡張されたディンキン・クイバーのすべての分解不能表現を記述する一様な方法を開発できるか。
• RQ4 傾き函手 $\operatorname{Hom}_\Lambda(T, -)$ は、ドメスティックな正規代数上の分解不能モジュールを、拡張されたディンキン・クイバーのパス代数の分解不能表現にどのように変換するか。
• RQ5 底体が代数的に閉じている場合、分解不能表現の完全な分類は何か。

主な発見

• 底体が代数的に閉じている場合、本稿では拡張されたディンキン・クイバーのすべての分解不能表現について完全な明示的行列記述を提供する。
• $\widetilde{D}_n$ クイバーで固定された向きを持つ場合、本稿で提示された手法を用いて、すべての分解不能な前プロジェクティヴ表現が明示的に構成される。
• $\widetilde{E}_6$ の場合におけるランク3の最も複雑な分解不能な前プロジェクティヴ表現は、明示的な行列形で完全に記述されている。
• 本手法により、$\widetilde{D}_n$ クイバーに対して、特定の行列ブロック $A$, $B$, $C$, $D$, $E$, $G$ を持つ系列 $N_m$ の分解不能表現が得られ、それらの次元と要素が明確に定義されている。
• $\widetilde{E}_6$ の場合、ランク3のモジュールの第二の系列が構成され、特徴的な行列パターンを持つ新たな分解不能表現の族が得られる。
• この構成は完全にアルゴリズム的であり、正規代数上の既知の行列構造に依存しており、すべての分解不能な前プロジェクティヴ・モジュールを体系的に生成可能である。