排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
We study the question: given a morphism in the category pro-(Poi nted. Homotopy) where the domain and range are inverse sequences of well-pointed CW complexes, and given that ? induces an isomorphism {Xn}→{Yn} in pro-(Homotopy), what additional hypotheses force ? to be an isomorphism in pro-(Pointed Homotopy)? Conjecture. If the dimensions of the Yn's are bounded, then ? is an isomorphism in pro-(Pointed Homotopy). We first prove the special case of this conjecture in which dim Yn?d<∞ for all n, and , Yn being the universal cover of Yn. Then we deal with the general case: we show that there are certain elements of each π1Yn with the properties: (i) these elements commute if and only if ? is an isomorphism in pro-(Pointed Homotopy); (ii) if dim Yn?d<∞ for all n, then powers of these elements commute. While (i) and (ii) are not incompatible, this result puts severe restrictions on the nature of any possible counter-example to the conjecture.Our method also gives pro-homotopy analogues of the well-known fact that if a K(π, 1) is N-dimensional, then π is torsion-free and contains no abelian subgroup of rank>N. The latter theorems apply to inverse sequences {Yn} of CW complexes where dim Yn is finite but not necessarily bounded, hence in particular to infinite-dimensional shape-aspherical compacta. 相似文献
1