Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Applications of simplicial $ M$-sets to proper and strong shape theories

Author: L. J. Hernández Paricio
Journal: Trans. Amer. Math. Soc. 347 (1995), 363-409
MSC: Primary 55N05; Secondary 55P55, 55Q07
MathSciNet review: 1267224
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: In this paper we have tried to reduce the classical classification problems for spaces and maps of the proper category and of the strong shape category to similar problems in the homotopy category of simplicial sets or in the homotopy category of simplicial $ M$-sets, which $ M$ is the monoid of proper selfmaps of the discrete space $ \mathbb{N}$ of nonnegative integers.

Given a prospace (prosimplicial set) $ Y$, we have constructed a simplicial set $ {\overline {\mathcal{P}} ^R}Y$ such that the Hurewicz homotopy groups of $ {\overline {\mathcal{P}} ^R}Y$ are the Grossman homotopy groups of $ Y$. For the case of the end prospace $ Y = \varepsilon X$ of a space $ X$, we obtain Brown's proper homotopy groups; and for the Vietoris prospace $ Y = VX$ (introduced by Porter) of a compact metrisable space $ X$, we have Quigley's inward groups. The simplicial subset $ {\overline {\mathcal{P}} ^R}Y$ of a tower $ Y$ contains, as a simplicial subset, the homotopy limit $ {\lim ^R}Y$. The inclusion $ {\lim ^R}Y \to {\overline {\mathcal{P}} ^R}Y$ induces many relations between the homotopy and (co)homology invariants of the prospace $ Y$.

Using the functor $ {\overline {\mathcal{P}} ^R}$ we prove Whitehead theorems for proper homotopy, prohomotopy, and strong shape theories as a particular case of the standard Whitehead theorem. The algebraic condition is given in terms of Brown's proper groups, Grossman's homotopy groups and Quigley's inward groups, respectively. In all these cases an equivalent cohomological condition can be given by taking twisted coefficients.

The "singular" homology groups of $ {\overline {\mathcal{P}} ^R}Y$ provide homology theories for the Brown, Grossman and Quigley homotopy groups that satisfy Hurewicz theorems in the corresponding settings. However, there are other homology theories for the homotopy groups above satisfying other Hurewicz theorems.

We also analyse the notion of $ \overline {\mathcal{P}} $-movable prospace. For a $ \overline {\mathcal{P}} $-movable tower we prove easily (without $ {\lim ^1}$ functors) that the strong homotopy groups agree with the Čech homotopy groups and the Grossman homotopy groups are determined by the Čech (or strong) groups by the formula $ ^G{\pi_q} = \overline{\mathcal{P}} \check{\pi}_q$. This implies that the algebraic condition of the Whitehead theorem can be given in terms of strong (Čech) groups when the condition of $ \overline {\mathcal{P}} $-movability is included.

We also study homology theories for the strong (Steenrod) homotopy groups which satisfy Hurewicz theorems but in general do not agree with the corresponding Steenrod-Sitnikov homology theories.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 55N05, 55P55, 55Q07

Retrieve articles in all journals with MSC: 55N05, 55P55, 55Q07

Additional Information

Keywords: Model category, proper homotopy, prohomotopy, strong snape category, monoid, $ M$-set, simplicial $ M$-set, Edwards-Hastings embedding, Brown's $ \mathcal{P}$ functor, proper realization, proper singular functor, Brown's proper homotopy groups, Grossman's homotopy groups, Quigley's inward groups, strong homotopy groups, Čech homotopy groups, Steenrod-Sitnikov homology
Article copyright: © Copyright 1995 American Mathematical Society

American Mathematical Society