dlt;ngt;型路代数预投射模的垂直范畴的刻划.pdfVIP

Y≤2i 932 ×内 容摘要 Oeigle，Renzing，Sholfied将垂直范畴的概念引进了路代数的表 示论中，在涉及路代数的表示理论的归纳证明中，垂直范畴一直是 路代数的不可分解模X的垂直范畴鼻1给出定性的证明。本文主要 关心：当X是Euclidean型路代数A的不可分解预投射模或预入射 模时，』-的模在A的AR-箭图中的分布情况如何?文中就E，， 行≥4型的情况展开深入细致讨论，给出Ⅳ1的分布情况的精细刻 划。讨论J1的另一意义在于讨论完备例外序列。这是一个涉及几 何，量子群，李理论的重要概念。 本文在第二章的定理2-3中，讨论了APR倾斜过程前后垂直 范畴的变化与联系。因为同一底图不同箭向的Euclidean同型路代 数均可经过一系列APR倾斜过程互相转化得到。这就为我们在第 三章的讨论提供了强有力的工具。第三章是论文的主体部分。我 们分成并=T-／户(f)，i是扩张顶点和非扩张顶点．，打一2或，≤月一2 的各种情况，分别讨论了工1n尹，Ⅳ1n灾，X1nQ。难点在于 多次应用APR．倾斜过程的众多性质和较繁杂的组合分析。最后对 各种情况举例说明。 Tame型路代数倾斜过程垂直范畴 ＼／，7关键词： 第一章Tame型路代数 我们总假设k为代数闭域，代数A总指连通的基的带单位元 l的有限维结合代数。用A．mod表示所有有限维右A-mod构成的 模范畴。我们不区分一个模和它的同构类，不区分一个不可分解 {P(j)}昌是所有不可分解投射A一模集合，{I(f)}兰是所有不可分解 入射A_模的集合．s“f)}_是所有单A一模的集合，这里s(f)= 唐：x斗z。 1．1Tame型遗传代数设五=(△o，△．，s，e)为有向箭图，其中△。为 箭图的顶点集，△，为箭集，s，e：△，斗△。是两个映射。对于给定 的箭口∈△】，口：i哼，为从顶点i到J的箭，s(a)=f，e(a)=j，s(a) 称为a的起点，e(a)称为口的终点。在箭图k五中～条长度为，的 路指的是P=(Xl∞，…，口，IY)，这里q是箭，且对于所有的 l≤i≤，一1，满足e(aj)=S(ai+Io我们称X是路P的起点，Y是路P 的终点，分别记为“p)X，e(p)可。对于每个顶点x，我们定义从 x到它自身的长度为0的路，记为e，=(xJ x)。用k五表示箭图五的 路代数，它以五的非零路作为k．向量空间的基。定义基的乘法为 如下： 岬式慧瑟i怒 k五的乘法由基的乘法线性扩张而成。著名的Gabriel定理告诉我 们：代数闭域上任意一个基的遗传代数均同构于一个路代数【G】。 o～们点， l～一t 一2—2，鼠…州㈨ } } 茸型(7个点) 1——2——3L一2——1 2 最型 (8个点) l一一3—4L3—2—1 图l 一个有向箭图△称为Euelidea型，如果它忘掉箭向后的底图是 互，怠，订≥4或豆，挖=6,7，8(见图1)设五是Euclidean型的有向 箭图，则其路代数A=眍称为Euclidean型的路代数，又称Tame 型路代数。-没17,『=n+l，代数A=k五的双线形型(又称Euclidean 型)定义为口，卢=∑o：flif,·∑q《P)尼t∥口=(q，a2，…，口¨)， ∥=(届，以，…晟。∈Ⅳ”1。对应的二次型为q(a)=％口=王口J2． 。曼口邪)％(p)。设五是有n+1个点的Euclidean型箭图t令 占=(‘，最，…￡+，)∈N”1，其中正为如图1