τ-rigid对象和rigid对象.pdf

第 55卷 第 1期 厦门大学学报 (自然科学版) Vo1．55 NO．1 2016年 1月 JournalofXiamenUniversity (NaturalScience) Jan．2016 一 rigid对象和 rigid对象 邱 晓 龙 (厦 门大学数学科学学院，福建 厦门 361005) 摘要：对于一个 cluster_倾斜三元组( ，fj， )，讨论了 。年中的rrigid对象与 中的rigid对象之间的关系，并给出了 中的r-rigid对象可提升到 中的rigid对象的充要条件． 关键词 ：support-r一倾斜对；三角范畴；c1uster-倾斜对象；rigid对象 中图分类号 ：O154．1 文献标志码：A 文章编号 ：0438—0479(2016)01—0082—04 Keller等口]给出了代数闭域上的 2-CY三角范畴 然要问，在一般三角范畴的前提下，范畴等价 (1)能 中的 cluster一倾斜对象的概念．Cluster一倾斜对象充 否诱导一一对应 (2)，或者退一步地 ， 中的 rigid对 当了联系三角范畴和 Abel范畴的一个桥梁．设 ( ， 象能否与 rood—B中的r—rigid模相互对应． T，B)是 一 个 cluster一倾 斜 三 元 组，即 T 是 的 cluster一倾斜对象 ，B是T的 自同态代数 ，则有 Abel范 1 预备知识 畴等价 B／add(TIl1)竺 rood—B． (1) 首先记 JXJ为对 象 x 的不可分解直和项 的个 上面的范畴等价诱导了 中的cluster一倾斜对象 数．设 B是代数闭域 k上的有限维代数 ，记 rood—B为 和 rood—B 中的倾斜对象 的对应_2]，但这个对应不是 代数 B 的有限生成右模范畴．由文献E33可知 ，如果模 一 一 的，这个现象主要体现在每个几乎完全 的倾斜 B一 M ∈rood—B 满足 HomB(M ，rM )=：=0，则 M 称为 r— 模有一个或者两个补，而三角范畴中每个几乎完全 的 rigid一模 ；进一步地 ，r—rigid一模 M 满足 lM I—lBl，则 cluster一倾斜对象都有两个补．于是 ，Adachi等E给出 称 M 是 倾斜模．给定 r—rigid一模 M 和投射模 P，如 了模范畴中 support—r一倾斜对的概念 ，并证 明每个几 果 HomB(P，M)一0，则 (M ，P)称 为 r—rigid一对 ；若 乎完全的 support—r一倾斜对都有两个补，同时还证 明 r—rigid一对 (M ，P)满足 lM l+lPl— lB1，则 (M ，P) 上面的范畴等价诱导 了下述一一对应 称为 support—f一倾斜对．易知 ，任意 z-一rigid一对 (M ，P) { 中的cluster～倾斜对象)一 总有 IM I+ IPl≤IBI． {rood—B 中的support—r一倾斜对)， (2) 从现在开始 ，总假设 是代数闭域 k上一个带 在这个一一对应中，把左边的对象称为右边对象通过 Serre对偶 H 的三角范畴，因此 有 AR一变换 r === 范畴等价 (1)中等价 函子 的提升．显然 ， 中作为 H [一1]．对 中任意两个对象 X，y，记从 X 到 y的 cluster一倾斜对象的直和项 的 rigid一对象与 rood—B 中 态射集为 (X，y)．给定 的子范畴 ，称态射 厂：C 作为 support—r一倾