推出

本文用范畴的语言给推出以一般的描述,并讨论其初步性质.     

局部化扩张的Casacuberta问题

设(?)为范畴,称(?)中的态f:A→B与对象X是正交的,若f~*:(?)(BX)→(?)(A,X)为双射.对(?)中的态簇S,记S~⊥={X∈(?)|X与S中的每个态正交}.同理,对(?)中的对象簇D可定义D~⊥.偶对(S,D)称为正交偶,如果S~⊥=D,D~⊥=S.称函子E:(?)→(?)为局部化函子,如果存在自然变换η:I→E(I为恒等函子),使得对任意X∈(?),η_(EX)=E_(ηx)且η_(EX)为等价.此时也称(E,η)为幂等对.令S_E={f∈(?)|Ef为等价},D_E={X∈(?)|η_x:X→EX为等价}.由文献[1],(S_E,D_E)为(?)上的正交偶.设(?)’为(?)的满子范畴,(E’,η’)为(?)’上的幂等对,称局部化函子E:(?)→(?)为E’在(?)上的扩张,如果S_(E’)(?)S_E,D_(E’)(?)D_E.设E_1,E_2均为E’在(?)上的扩张,如果D_(E1)(?)D_(E2),则记E_1≤E_2如果函子E满足(S_E,D_E)=(D_E~⊥,D_E~(⊥⊥))(这里运算“⊥”是关于范畴(?)的),显然E为E’的扩张,称为E’在(?)上的最小扩张.如果(S_E,D_E)=(S_E~(⊥⊥),S_E~⊥),这时E也是E’的扩张,称为E’在(?)上的最大扩张.由文献[1],命题2.2,对E’在(?)上的任一扩张E,有最小扩张≤E≤最大扩张.下设(?),(?),(?)_0分别表示点标单连通CW复形,点标幂零连通CW复形与点标连通CW复形的同伦范畴,P为某一素数集,则(?),(?),(?)_0上分别存在P-局部化函子,分别记之为L_p     

拉回

本文继续文章[4]的讨论,在一般的范畴中定义拉回,并证明其一些性质(如果在该范畴中存在的话).     

关于广义的E-M复形

所谓E—M复形(或E—M空间),是指只有一个同伦群不退化的复形(或空间),由S.Eilenberg和S.MacLane最先引入[5],并给出几何实现的方法,通常对这种仅第n个同伦群π非退化的复形记K(π,n),其同调记H(π,n;G).由于这类复形及其同调在代数拓扑中有着重要的大量应用,因此引起了广泛的重视和研究.这些研究集中在其应用和同调的计算中,并得到了不少满意的结果.例如,H~q(π,n;G)的每个元素对应一个(π,G;n,q)型的上调运算,即将E—M上调群与上调运算沟通起来,使其计算和构造的研究互相帮助,并进而导至第二上调运算与只有两个同伦群非退化的复形的上调的关系的研究.E—M上调又与阻碍理论联系密切,亦是表示阻碍类的重要途径.     

纤维化又是上纤维化的刻划定理

1974年,Milgram首先发现,纤维化序列K(Q/Z,n)→K(Z,n 1)→K(Q,n 1)(n≥1)又是上纤维化序列,注意到K(Q,n 1)=K(Z,n 1)_0,即K(Z,n 1)→K(Q,n 1)是单连通空间K(Z,n 1)的有理化(0-局部化).1981年,Schiffman将Milgram的例子推广到一般的单连通空间,即证明了:对于单连通空间X,局部化纤维化序列F→X→Xp又是上纤维化序列,这里Xp是X的p-局部化,p为素数或0.1983年,Alons再将Schiffman的结果推广到幂零空间,即证明了:对于幂零空间X,如果Xp是单连通的,则局部化纤维化序列F→X→Xp又是上纤维化序列.同时,Alonso也给出了纤维化序列又是上纤维化序列的充分必要条件.定理1纤维化序列F→E→B又是上纤维化序列,即诱导映射EUCF→B是同伦等价,当且仅当存在一族素数P,使得同调群(?)(F)和(?)(ΩB)中一个为P-局部的,另一个为P’-挠群,这里P’为P的余集.     

关于推出与拉回的一些性质

本文继文章[2],[3]之后,讨论有关推出与拉回的一些性质.