Gorenstein投射覆盖、预包络与相对上同调.docxVIP

Gorenstein投射覆盖、预包络与相对上同调 一、Gorenstein投射覆盖 在代数几何或同调代数等领域中，Gorenstein投射覆盖是一个非常重要的概念。在这里，我们先介绍一下投射对象和投射覆盖的概念，再来阐述Gorenstein投射覆盖的概念。 1. 投射对象 设mod A表示A-模范畴，若X∈mod A，如果存在一个A-模P，使得HomA(P,X)自然同构于X对应的分次模HomA(A/I,X)，那么称P是一个投射A-模，称X是一个投射对象。 2. 投射覆盖 若模X可以表示为投射模的直和X=P1⊕P2⊕...⊕Pn，则称P1,P2,...,Pn是X的一个投射覆盖。 3. Gorenstein投射覆盖 定义良好的交换环A，假设p是A的正整数，如果存在一个有限维A-模P使得： (1) 对于i≥1，都有ExtiA(P,A)=0。 (2) 对于ip，都有ExtiA(P,A)是有限维的A-模。 则称P为一个Gorenstein投射A-模。 如果X∈mod A是具有一个Gorenstein投射覆盖的有限生成A-模，那么称X是Gorenstein投射的（或称作有限Gorenstein投射对A-模X）。 二、预包络 预包络是拓扑学中的一个概念，下面我们来介绍一下它的定义。 在拓扑空间X上选定一个向量丛P，我们记E=P× X，π:E→X是典范投影。我们引入如下的定义： 定义1：设F为X上