函子范畴与k-范畴.pdfVIP

2010年第5期 《福建师范大学福清分校学报》 总第 101期 JOURNALOFFUQINGBRANCHOFFUJIANNORMALUNIVERSITY SumNo．101 函子范畴与k一范畴 冯 清 ，一，范馨香 ，一，陈清华s (1．福建师范大学福清分校数学与计算机科学系，福建福清 350300； 2．福建师范大学协和学院，福建福州 350108；3．福建师范大学数计学院，福建福州 350007) 摘 要：证明了k上小范畴(G-范畴)的函子范畴zCj~k_E．小范畴(G-范畴)． 关键词：函子范畴；k上小范畴；k上G_范畴 中图分类号：O154．1 文献标志码：A 文章编号：1008—3421(2010)05-009-04 范畴理论是近代代数学重要的组成部分，近年的发展赋予了它们更加丰富的内容。函子范畴 是范畴理论发展的一个重要分支，在范畴论中，研究范畴之问的关系，一个基本的手段是通过函子 实现的。两个范畴间的函子所具有的范畴结构，我们称之为函子范畴。其中的对象是函子，而态射 则为函子间的自然变换。函子范畴的重要性在于：一方面，许多常见的范畴是函子范畴，如G一集范 畴 是【某类特殊的函子范畴。另一方面，根据Yoneda嵌人定理，任意给定范畴可嵌入一个函子范畴。 最近C．Cibils等在文[2】中给出K_LG一范畴、K上G一分次范畴、范畴上的模等一系列相关概念，并且把 代数上的许多重要理论推广到范畴上。本文把两者结合起来，考虑G一范畴的函子范畴的保持问题。 1 预备知识 为引用方便，对重要的相关定义作简单的回顾。 定义1．1 设 是一个小范畴， 黾范畴，定义范畴 称之为函子范畴)： Obj~={TIT： 为共变函子l，Home(T，T)={T： T为 自然变换l，合成是 自然变换的合成。 定义1．2 设G是群，A是集合，G在A上有一个作用 ·：G×A—A；(g，a) g·a，满足 (1)(gh)·a=g· (h·a)，(2)ea·-a，其中g，h∈G，a∈A，e为G中单位元，则称集合A为一个G—set(G一集)。 定：L1-3 设c是群，定义G一集范畴(记为G—set)： Obj(G—set)={AIA为G一集)，HomG (A，B)={e：A—B为映射IO(g·a)=g·0(a)，g∈G，a∈A)，合成是 映射的合成。 有了如上定义，下面给出函子范畴中一个重要的例子。 例子1．4 设G是群，群G的单对象范畴仍记为G，是集合范畴，G—set是G一集范畴，则函子范畴 与范畴G—set同构。 证明 定义p‘： 。一G—set，P‘(F)=F(G)，P‘(11)=-qc。首先证明(P(F)=F(G)∈G—set，事实上，定 义 ·：GxF(G)一F(G)，g·a=F(g)(a)，g∈G，a∈F(G)．，并且满足 (1)(Sh)·a=Fh)(a)=(F(g)F(}1))(a)=F((F (h)(a))=g·(F(h)(a))=g·(h·a)。(2)e·a=F(e)(a)：a(因为F(e)=1 ，所以F(G)是G一集，接下来证明P‘(11)： 收稿 日期：2010-06—20 作者简介：冯 清(1982一)，女，福建平潭人，助教，硕士研究生。 陈清华(1962一)，男，福建莆田人，教授。硕士生导师。研究方向：代数表示论。 基金项目：福建省 自然科学基金资助项 目(2010J01001)；福建瘩教育厅基金资助项 目(JA06008，JB07187)；福建师范大学福清分校 科技研究项 目(ky2010012) 10 福建师范大学福清分校学报 2010年9月 提 范畴G-set~的态射，也就是证明 G(g·a)=g·11G(a)。事实上，任给g∈G，g：G G是范畴G中态射， 11：F_÷H是 自然变换，因此在集合范畴 中有H(g)·~GqCF(g)。因此任意a∈F(G)，H( ·11G(a)=G·F (曲(a)，即g·qc(a)=xlc(g·a)。最后容易验证p是‘函子范畴 到G—set范畴间的共变函子。 另一方面，定义 ：G—se卜 G ((A，·))