首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Resolutions for metrizable compacta in extension theory
Authors:Leonard R Rubin  Philip J Schapiro
Institution:Department of Mathematics, University of Oklahoma, 601 Elm Ave., Rm. 423, Norman, Oklahoma 73019 ; Department of Mathematics, Langston University, Langston, Oklahoma 73050
Abstract:We prove a $K$-resolution theorem for simply connected CW- complexes $K$ in extension theory in the class of metrizable compacta $X$. This means that if $K$ is a connected CW-complex, $G$ is an abelian group, $n\in \mathbb N _{\geq 2}$, $G=\pi _{n}(K)$, $\pi _{k}(K)=0$ for $0\leq k<n$, and $\operatorname{extdim} X\leq K$ (in the sense of extension theory, that is, $K$ is an absolute extensor for $X$), then there exists a metrizable compactum $Z$ and a surjective map $\pi :Z\rightarrow X$ such that:

(a) $\pi $ is $G$-acyclic,

(b) $\dim Z\leq n+1$, and

(c) $\operatorname{extdim} Z\leq K$.

This implies the $G$-resolution theorem for arbitrary abelian groups $G$ for cohomological dimension $\dim _{G} X\leq n$ when $n\in \mathbb N_{\geq 2}$. Thus, in case $K$ is an Eilenberg-MacLane complex of type $K(G,n)$, then (c) becomes $\dim _{G} Z\leq n$.

If in addition $\pi _{n+1}(K)=0$, then (a) can be replaced by the stronger statement,

(aa) $\pi $ is $K$-acyclic.

To say that a map $\pi $ is $K$-acyclic means that for each $x\in X$, every map of the fiber $\pi ^{-1}(x)$ to $K$ is nullhomotopic.

Keywords:Bockstein basis  Bockstein inequalities  \v{C}ech cohomology  cell-like map  cohomological dimension  CW-complex  dimension  Edwards-Walsh resolution  Eilenberg-Mac\  Lane complex  $G$-acyclic resolution  inverse sequence  $K$-acyclic resolution  Moore space  shape of a point  simplicial complex
点击此处可从《Transactions of the American Mathematical Society》浏览原始摘要信息
点击此处可从《Transactions of the American Mathematical Society》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号