现代科技综述知识文库：路代数.pdf

现代科技综述系列—— 路路代代数数 科技是人类区别于动物的重要文明之一， 是人类对自然规律研究 利用的学科。 本文提供对科技基本概念 “路代数” 的解读，以供大家了解。 路路代代数数 代数领域中构造代数的基本方法之一。 具有直观性。 由于帽瑞塔(Morita) 的等价理论，路代数与代数闭域上 的有限维代数紧密相关，即路代数模掉一个容许理想 所得的商代数的表示范畴是有限维代数的表示理论的 主要研究对象。 路代数的表示在代数表示论中占有重要的地位。 许多重要的数学问题，如线性代数中矩阵的标准型问 题 几何中的一些问题等都与路代数的表示等价。 假定已知一个箭袋(quiver)，换句话说，给了一个有向 图Q ，我们再固定一个域K，考虑所有由有限长路(这 里路有起点 终点的)为基所构成的K上向量空间KQ ， 定义乘法为路的自然相连接(两条不可连接的路定义其 乘法为0) 。 这样便得一个域K上的结合代数，称之为路代数。 路代数产生，于是在20世纪70年代初。 当时，皮特·伽布利欧(P ．Gabriel)试图将不同的代数 几何问题归结为线性代数问题，他引入路代数及其表 示，并证明代数闭域上的任何有限维代数都Moritat等 价于一个路代数模掉一个容许理想(admissible ideal)所 得的商代数。 于是，有限维代数的表示就归结为路代数的商代数的 表示。 而后者可用一簇与路代数的顶点一样多的向量空间及 与箭向一样多的线性变换以及这些线性变换之间应满 足的一些关系来描述。 这样有限维路代数表示有限型的判别定理就由伽布利 欧用箭袋完全刻划了，这个定理的另一个转理想的证 明后来由贝恩斯坦(I．N ． ernstein)等给出，这里我们 称KQ是表示有限型的，是指在同构意义下，它的不可 分解的表示只有有限多个。 伽布利欧的定理表明：一个有限维路代数KQ是表示有 限型的，当且仅当Q看作图时是有限个Dynkin 图的不相 交并。 于是，每个不可分解表示由其维数向量唯一确定。 在此之后，德拉波(V ．Dlab) 林格尔(C ．M ．Ringel) 于1978年推广这一结果，并研究了驯服型(tame) 的路代 数，这类代数是表示无限型的。 他们证明一个连通路代数是驯服型的当且仅当Q看作图 时是扩张Dynkin 图。 在他们的研究中，驯服型路代数的表示范畴的结构得 到深刻的刻划，他们证明该范畴由预投射分支、预内 射分支 若干个管(tube)组成。 林格尔还对路代数的另一表示型，即野型(wild)路代数 作了详细研究。 我们知道，野型路代数是指既不是有限型也不是驯服 型路的代数，对野型路代数表示范畴的研究是一个十 分困难的问题。 然而，林格尔1978年研究表明，有限维野型路代数除 了预投射 预内射分支外，还有正则分支，且正则分 支都具有形状(即形如正半平面上的格点之集合) 。 因此，与驯服型代数不同，它没有管状分支。 这是首次对野型路代数的表示所作的精确描述。 在对路代数的表示范畴的“宏观”研究得到了一些结果 的基础上，到了20世纪80年代，人们开始了对路代数 进行“局部”的研究，这里主要指的是对野型路代数的 分支及其模以及态映的研究。 首先，为了度量路代数的表示范畴的分支的增长状 况，德拉波 林格尔曾引入增长数(growth number) 的 概念，并用考克斯特矩阵(coxeter matrix) 的最大特征根 来确定它。 证明有限型路代数的增长数是零，驯服型的是1，而野 型的则大于1。 本文作者确定增长数较小的野型路代数。 最近，路代数的理论以及增长数被德拉波 林格尔用 于刻划半单曾于1990代数