[论文解读] Indecomposable representations for extended Dynkin quivers

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

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

一句话总结

本论文提出了一种系统方法，通过倾斜理论和对国内型态代数的已知结果，显式构造任意域上扩展Dynkin箭图的不可约预投影和预内射表示。对于代数闭域，它完全分类了所有不可约表示；特别是，它为 $;{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.

研究动机与目标

• 为任意域上的扩展Dynkin箭图提供不可约预投影和预内射表示的显式、基于矩阵的描述。
• 将不可约模的分类扩展至已知情况之外，特别是针对固定方向的 $;{D}_n$ 和 $;{E}_6$ 箭图。
• 利用倾斜理论和国内型态代数的结构，系统地生成所有不可约表示。
• 当基域为代数闭域时，提供所有不可约表示的完整分类。
• 为 $;{E}_6$ 情况下最复杂的秩3预投影模提供显式矩阵形式。

提出的方法

• 利用倾斜理论，通过一个倾斜模 $T$ 使得 $\operatorname{End}(T) \simeq A^{\mathrm{op}}$，将扩展Dynkin箭图的表示与国内型态代数的表示联系起来。
• 对满足 $\operatorname{Ext}^1_\Lambda(T,M) = 0$ 的不可约预投影 $\Lambda$-模 $M$ 应用函子 $\operatorname{Hom}_{\Lambda}(T, -)$，以获得不可约 $A^{\mathrm{op}}$-模。
• 将先前工作 [11, 9] 中关于国内型态代数上不可约模的显式矩阵描述作为倾斜函子的输入。
• 为所得扩展Dynkin箭图 $\Gamma$ 的表示的向量空间构造基，并通过矩阵乘法计算诱导的线性映射。
• 通过组合倾斜函子的作用与典型代数模的已知矩阵结构，推导出所得表示中映射的矩阵形式。
• 应用对偶性，从预投影表示获得预内射表示，从而完成对箭图的分类。

实验结果

研究问题

• RQ1 如何利用典型代数和倾斜理论等代数结构，显式构造扩展Dynkin箭图的不可约预投影表示？
• RQ2 在 $\widetilde{E}_6$ 情况下，最复杂的秩3不可约预投影表示的结构是什么？
• RQ3 能否开发一种统一方法，描述任意域上扩展Dynkin箭图的所有不可约表示？
• RQ4 倾斜函子 $\operatorname{Hom}_\Lambda(T, -)$ 如何将国内型态代数上的不可约模转化为扩展Dynkin箭图的路径代数表示？
• RQ5 当基域为代数闭域时，不可约表示的完整分类是什么？

主要发现

• 当基域为代数闭域时，本文提供了扩展Dynkin箭图所有不可约表示的完整显式矩阵描述。
• 对于固定方向的 $\widetilde{D}_n$ 箭图，所有不可约预投影表示均通过所提方法显式构造。
• 在 $\widetilde{E}_6$ 情况下，最复杂的秩3不可约预投影表示已通过显式矩阵形式完全描述。
• 该方法为 $\widetilde{D}_n$ 箭图生成了一系列不可约表示 $N_m$，其具有特定维数和元素的矩阵块 $A$、$B$、$C$、$D$、$E$ 和 $G$。
• 对于 $\widetilde{E}_6$ 情况，构造了第二系列秩3模，产生了一类具有不同矩阵模式的新不可约表示族。
• 该构造完全为算法化，依赖于典型代数上的已知矩阵结构，从而能够系统地生成所有不可约预投影模。