Resolutions for metrizable compacta in extension theory

Authors:
Leonard R. Rubin and Philip J. Schapiro

Journal:
Trans. Amer. Math. Soc. **358** (2006), 2507-2536

MSC (2000):
Primary 55P55, 54F45

Published electronically:
May 26, 2005

MathSciNet review:
2204042

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We prove a -resolution theorem for simply connected CW- complexes in extension theory in the class of metrizable compacta . This means that if is a connected CW-complex, is an abelian group, , , for , and (in the sense of extension theory, that is, is an absolute extensor for ), then there exists a metrizable compactum and a surjective map such that:

(a) is -acyclic,

(b) , and

(c) .

This implies the -resolution theorem for arbitrary abelian groups for cohomological dimension when . Thus, in case is an Eilenberg-MacLane complex of type , then (c) becomes .

If in addition , then (a) can be replaced by the stronger statement,

(aa) is -acyclic.

To say that a map is -acyclic means that for each , every map of the fiber to is nullhomotopic.

**[Dr1]**A. N. Dranishnikov,*On a problem of P. S. Aleksandrov*, Mat. Sb. (N.S.)**135(177)**(1988), no. 4, 551–557, 560 (Russian); English transl., Math. USSR-Sb.**63**(1989), no. 2, 539–545. MR**942139****[Dr2]**A. N. Dranishnikov,*On homological dimension modulo 𝑝*, Mat. Sb. (N.S.)**132(174)**(1987), no. 3, 420–433, 446 (Russian); English transl., Math. USSR-Sb.**60**(1988), no. 2, 413–425. MR**889602****[Dr3]**A. N. Dranishnikov,*Homological dimension theory*, Uspekhi Mat. Nauk**43**(1988), no. 4(262), 11–55, 255 (Russian); English transl., Russian Math. Surveys**43**(1988), no. 4, 11–63. MR**969565**, 10.1070/RM1988v043n04ABEH001900**[Dr4]**A. N. Dranishnikov,*𝐾-theory of Eilenberg-Mac Lane spaces and cell-like mapping problem*, Trans. Amer. Math. Soc.**335**(1993), no. 1, 91–103. MR**1153012**, 10.1090/S0002-9947-1993-1153012-8**[Dr5]**A. N. Dranishnikov,*Rational homology manifolds and rational resolutions*, Topology Appl.**94**(1999), no. 1-3, 75–86. Special issue in memory of B. J. Ball. MR**1695349**, 10.1016/S0166-8641(98)00026-1**[Dr6]**A. Dranishnikov,*Cohomological dimension theory of compact metric spaces*, preprint.**[DD]**A. Dranishnikov and J. Dydak,*Extension dimension and extension types*, Tr. Mat. Inst. Steklova**212**(1996), no. Otobrazh. i Razmer., 61–94; English transl., Proc. Steklov Inst. Math.**1 (212)**(1996), 55–88. MR**1635023****[Dy]**Jerzy Dydak,*Cohomological dimension theory*, Handbook of geometric topology, North-Holland, Amsterdam, 2002, pp. 423–470. MR**1886675****[DW]**Jerzy Dydak and John J. Walsh,*Complexes that arise in cohomological dimension theory: a unified approach*, J. London Math. Soc. (2)**48**(1993), no. 2, 329–347. MR**1231719**, 10.1112/jlms/s2-48.2.329**[Ed]**R. D. Edwards,*A theorem and question related to cohomological dimension and cell-like maps*, Notices of the Amer. Math. Soc.**25**(1978), A-259.**[Hu]**Sze-tsen Hu,*Homotopy theory*, Pure and Applied Mathematics, Vol. VIII, Academic Press, New York-London, 1959. MR**0106454****[JR]**Rolando Jimenez and Leonard R. Rubin,*An addition theorem for 𝑛-fundamental dimension in metric compacta*, Topology Appl.**62**(1995), no. 3, 281–297. MR**1326827**, 10.1016/0166-8641(94)00063-9**[KY1]**Akira Koyama and Katsuya Yokoi,*A unified approach of characterizations and resolutions for cohomological dimension modulo 𝑝*, Tsukuba J. Math.**18**(1994), no. 2, 247–282. MR**1305817****[KY2]**Akira Koyama and Katsuya Yokoi,*Cohomological dimension and acyclic resolutions*, Topology Appl.**120**(2002), no. 1-2, 175–204. In memory of T. Benny Rushing. MR**1895491**, 10.1016/S0166-8641(01)00015-3**[Ku]**V. I. Kuz′minov,*Homological dimension theory*, Uspehi Mat. Nauk**23**(1968), no. 5 (143), 3–49 (Russian). MR**0240813****[Le]**Michael Levin,*Acyclic resolutions for arbitrary groups*, Israel J. Math.**135**(2003), 193–203. MR**1997043**, 10.1007/BF02776057**[Ma]**Sibe Mardešić,*Extension dimension of inverse limits*, Glas. Mat. Ser. III**35(55)**(2000), no. 2, 339–354. MR**1812562****[MR]**Sibe Mardešić and Leonard R. Rubin,*Cell-like mappings and nonmetrizable compacta of finite cohomological dimension*, Trans. Amer. Math. Soc.**313**(1989), no. 1, 53–79. MR**962284**, 10.1090/S0002-9947-1989-0962284-0**[MS1]**Sibe Mardešić and Jack Segal,*Shape theory*, North-Holland Mathematical Library, vol. 26, North-Holland Publishing Co., Amsterdam-New York, 1982. The inverse system approach. MR**676973****[MS2]**Sibe Mardešić and Jack Segal,*Stability of almost commutative inverse systems of compacta*, Topology Appl.**31**(1989), no. 3, 285–299. MR**997496**, 10.1016/0166-8641(89)90025-4**[Ru1]**Leonard R. Rubin,*Cell-like maps, dimension and cohomological dimension: a survey*, Geometric and algebraic topology, Banach Center Publ., vol. 18, PWN, Warsaw, 1986, pp. 371–376. MR**925877****[Ru2]**Leonard R. Rubin,*Cohomological dimension and approximate limits*, Proc. Amer. Math. Soc.**125**(1997), no. 10, 3125–3128. MR**1423333**, 10.1090/S0002-9939-97-04141-5**[Ru3]**Leonard R. Rubin,*A stronger limit theorem in extension theory*, Glas. Mat. Ser. III**36(56)**(2001), no. 1, 95–103. MR**1842828****[RS]**Leonard R. Rubin and Philip J. Schapiro,*Cell-like maps onto noncompact spaces of finite cohomological dimension*, Topology Appl.**27**(1987), no. 3, 221–244. MR**918533**, 10.1016/0166-8641(87)90088-5**[Sh]**E. V. Shchepin,*Arithmetic of dimension theory*, Uspekhi Mat. Nauk**53**(1998), no. 5(323), 115–212 (Russian); English transl., Russian Math. Surveys**53**(1998), no. 5, 975–1069. MR**1691185**, 10.1070/rm1998v053n05ABEH000072**[Sp]**Edwin H. Spanier,*Algebraic topology*, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1966. MR**0210112****[Wa]**John J. Walsh,*Dimension, cohomological dimension, and cell-like mappings*, Shape theory and geometric topology (Dubrovnik, 1981) Lecture Notes in Math., vol. 870, Springer, Berlin-New York, 1981, pp. 105–118. MR**643526**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
55P55,
54F45

Retrieve articles in all journals with MSC (2000): 55P55, 54F45

Additional Information

**Leonard R. Rubin**

Affiliation:
Department of Mathematics, University of Oklahoma, 601 Elm Ave., Rm. 423, Norman, Oklahoma 73019

Email:
lrubin@ou.edu

**Philip J. Schapiro**

Affiliation:
Department of Mathematics, Langston University, Langston, Oklahoma 73050

Email:
pjschapiro@lunet.edu

DOI:
http://dx.doi.org/10.1090/S0002-9947-05-03747-5

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

Received by editor(s):
March 13, 2002

Received by editor(s) in revised form:
May 11, 2004

Published electronically:
May 26, 2005

Article copyright:
© Copyright 2005
American Mathematical Society