[论文解读] General Presentations of Algebras

Harm Derksen, Jiarui Fei|arXiv (Cornell University)|Nov 25, 2009

Advanced Topics in Algebra参考文献 19被引用 10

一句话总结

本文将 Kac 和 Schofield 关于路径代数的典范分解与子表示的结果推广至含关系代数，通过引入一般表示的概念。文中为表示 f: P₁ → P₀ 定义了一个新的类似 Ext 的空间 E(f,g)，并证明了典范分解与子表示定理的类比结果。关键贡献在于构造了一个单纯复形，用于控制刚性表示的典范分解，该复形在无环quiver情形下恢复了簇复形，并将倾斜理论推广至表示设定。

ABSTRACT

For any finite dimensional basic associative algebra, we study the presentation spaces and their relation with the representation spaces. We prove two propositions about a general presentation, one on its subrepresentations and the other on its canonical decomposition. As a special case, we consider rigid presentations. We show how to complete a rigid presentation and study the number of nonisomorphic direct summands and different complements. Based on that, we construct a simplicial complex governing the canonical decompositions of rigid presentations and provide some examples.

研究动机与目标

• 将路径代数的一般表示理论推广至含关系代数，通过研究一般表示。
• 为表示 f: P₁ → P₀ 定义一个新的类似 Ext 的空间 E(f,g)，以推广含关系代数背景下 Ext¹ 的概念。
• 证明 Kac 的典范分解定理与 Schofield 的子表示定理在一般表示下的类比结果。
• 研究刚性表示及其补全，将经典倾斜理论推广至表示设定。
• 构建一个单纯复形 S(A)，用于控制刚性表示的典范分解，该复形推广了簇复形。

提出的方法

• 将一般表示定义为固定投射表示 P₀, P₁ 的 Hom(P₁, P₀) 中的元素。
• 通过涉及 Hom 与 Ext 空间的复形，引入空间 E(f,g)，作为 Ext¹(V,W) 的推广。
• 证明一般表示在 Hom(P₁, P₀) 中呈现一般表示（定理 2.3），从而证明使用一般表示空间的合理性。
• 利用 E(f,g) 的消失性与 Schofield 结果的推广，建立一般表示具有子表示的判别准则。
• 证明刚性表示的典范分解定理（定理 4.4），表明一般表示可分解为两两之间 Ext 为零的不可约直和。
• 从刚性表示的集合构造单纯复形 S(A)，其中面对应于两两正交的刚性直和的分解。

实验结果

研究问题

• RQ1 能否通过一般表示的概念，将路径代数的一般表示理论推广至含关系代数？
• RQ2 在含关系代数中，表示的 Ext¹ 的正确推广是什么？它如何控制子表示与分解？
• RQ3 一般表示的典范分解行为如何？在何种条件下可保证此类分解？
• RQ4 经典倾斜理论能否推广至刚性表示？对于一个近乎极大刚性表示，其非同构补全有多少个？
• RQ5 刚性表示空间的几何与组合结构是什么？它与簇复形有何关系？

主要发现

• Hom(P₁, P₀) 中的一般表示可呈现代数的一般表示，建立了表示空间与表示空间之间的桥梁。
• 空间 E(f,g) 推广了 Ext¹，且控制子表示：当且仅当 E(f,g) = 0 时，一般表示 f 包含与 g 同构的子表示。
• 一般表示 f 可分解为不可约直和的典范分解，当且仅当对应的维向量为 Schur 根，且在 ext(α,β) = 0 意义下两两正交。
• 对于刚性表示（E(f,f) = 0），存在一个极大刚性表示的补全，且此类补全中非同构不可约直和的个数等于 quiver 的顶点数。
• 控制刚性表示典范分解的单纯复形 S(A) 在无环 quiver 情形下同构于簇复形，且在突变与 AR-平移下保持不变。
• AR-平移 τ 在 S(A) 上诱导一个单纯同构，且在顶点 v 处的突变保持单纯结构，满足 S(µvA) 同构于 S(A)。