[论文解读] 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.

研究动机与目标

• 为初学者提供无需高级工具的奎弗表示入门介绍，仅依赖线性代数。
• 使用加布里埃尔定理与反射函子对有限表示型奎弗进行分类。
• 研究奎弗表示理论中的正则表示与野生现象。
• 分析两个经典例子：克罗内克奎弗与克莱因四元群。
• 在奎弗表示范畴中建立关于态射、子表示与正合序列的基础性结果。

提出的方法

• 奎弗的表示被定义为在顶点上分配向量空间、在箭头上分配线性映射，形成一个范畴 Rep(Q,k)。
• 表示之间的态射是与箭头映射可交换的线性映射族，构成一个向量空间 Hom(X,Y)。
• 反射函子被构造为在汇点与源点处反射表示，通过在某一顶点处反射，将一个奎弗的表示变换到另一个奎弗的表示。
• 该方法使用维数向量与路径代数来分析有限维表示及其分解。
• 通过核、余核与像的构造研究表示范畴中的正合序列，并在交换图中应用蛇形引理。
• 该理论被应用于对克罗内克奎弗与克莱因四元群的表示进行分类，展示了其 tame 与 wild 表示型的特征。

实验结果

研究问题

• RQ1 哪些奎弗仅有有限多个不可约有限维表示？
• RQ2 反射函子如何用于关联不同奎弗的表示？
• RQ3 克罗内克奎弗与克莱因四元群的表示在表示型上具有何种特征？
• RQ4 奎弗表示范畴中的正合序列在何种条件下可裂？
• RQ5 正则表示如何在欧几里得型奎弗中出现，其在表示理论中扮演何种角色？

主要发现

• 根据加布里埃尔定理，有限表示型的奎弗被分类为狄诺金图 A_n、D_n 以及 E_6、E_7、E_8。
• 反射函子提供了一种方法，可在某一顶点处反射的奎弗之间变换表示，同时保持关键结构性质。
• 克罗内克奎弗表现出 tame 表示型，其不可约表示由一维参数空间参数化。
• 克莱因四元群的表示型为 wild，意味着其不可约表示无法通过有限个离散参数进行分类。
• 奎弗表示范畴中的正合序列当且仅当 Ext^1 为零时可裂，且该性质在某些扩张下保持不变。
• 有限维奎弗表示的范畴是阿贝尔范畴，其核、余核与像在每个顶点处逐点定义。