Strong homology of inverse systems of spaces. II

Recently the authors have defined a coherent prohomotopy category of topological spaces CPHTop [5]. In the present paper, which is a sequel to Part I [6], the authors define a strong homology functor H^s:CPHTop→Ab. The results of this paper are essential for the construction of a Steenrod-Sitnikov homology theory for arbitrary spaces.     

Exploring uses of persistent homology for statistical analysis of landmark-based shape data

A method for the use of persistent homology in the statistical analysis of landmark-based shape data is given. Three-dimensional landmark configurations are used as input for separate filtrations, persistent homology is performed, and persistence diagrams are obtained. Groups of configurations are compared using distances between persistence diagrams combined with dimensionality reduction methods. A three-dimensional landmark-based data set is used from a longitudinal orthodontic study, and the persistent homology method is able to distinguish clinically relevant treatment effects. Comparisons are made with the traditional landmark-based statistical shape analysis methods of Dryden and Mardia, and Euclidean Distance Matrix Analysis.     

On projections and limit mappings of inverse systems of compact spaces

A compactificaton αX of a completely regular space X is “determined” by a subset F of C¹(X) if αX is the smallest compactificaton of X to which each element of F extends, and is “generated” by F if the evaluation map $\text{e}{}_{\mathrm{F}}\text{:X →}\text{R}{}^{\mathrm{n}}\text{,n = |F|}$, is an embedding and $\text{αX =}\text{e}{}_{\mathrm{F}}\text{(X)}$. Evidently, if F either determines or generates αX, then every elements of F has an extension to αX; whenever F satisfies this latter condition, the set of all such extensions is denoted F^α.A major results of our previous paper is that F determines αX if and only if F^α separates points of αX ? X. A major result of the present paper is that F generates αX if and only if F^α separates points of αX.     

Special manifolds and shape fibrator properties

Our main interest in this paper is further investigation of the concept of (PL) fibrators (introduced by Daverman [R.J. Daverman, PL maps with manifold fibers, J. London Math. Soc. (2) 45 (1992) 180-192]), in a slightly different PL setting. Namely, we are interested in manifolds that can detect approximate fibrations in the new setting. The main results state that every orientable, special (a new class of manifolds that we introduce) PL n-manifold with non-trivial first homology group is a fibrator in the new category, if it is a codimension-2 fibrator (Theorem 8.2) or has a non-cyclic fundamental group (Theorem 8.4). We show that all closed, orientable surface S with χ(S)<0 are fibrators in the new category.     

Strong shape theory and resolutions

It is shown that the strong shape theory of compact metrizable spaces extends to a theory for all topological spaces. The extension resembles the inverse systems approach to shape theory of Marde?i? and Segal. Fundamental roles are played by the Steenrod homotopy theory of Edwards and Hastings and the theory of ANR-resolutions due to Marde?i?.     

Strong centers of attraction for multi-valued dynamical systems on noncompact spaces

In this article, we introduce the notions of strong centers of attraction for multi-valued dynamical systems on arbitrary metric spaces. And we obtain strong centers of attraction for multi-valued dynamical systems.     

UNIFORM VIETORIS-BEGLE THEOREMS

Abstract

In this paper we generalize the well-known Vietoris-Begle theorem to uniform spaces. We formulate two uniform versions: one for the ?ech cohomology based on all finite uniform coverings and one for the ?ech cohomology based on all uniform coverings.     

Fréchetness of inverse limits and products

Let X be a Suslin-Borel set in a compact space. It is proved that X is either σ-scattered or contains a compact perfect set. If X is first countable, the result remains valid when X is a Suslin-Borel set in a Prohorov space. It is also proved that every first countable Prohorov space is a Baire space.     

A characterization of inverse limits of Q-bundle maps

In this paper we prove that a surjection between metric compacta is a hereditary shape equivalence if and only if it is an inverse limit of trivial Q-bundle maps. This result was conjectured by T.B. Rushing. Near-homeomorphisms are instrumental to the proof.     

Linearization of proper group actions

We prove that if G is a locally compact group acting properly (in the sense of R. Palais) on a space X that is metrizable by a G-invariant metric, then X can be embedded equivariantly into a normed linear G-space E endowed with a linear isometric G-action which is proper on the complement E?{0}. If, in addition, G is a Lie group then E?{0} is a G-equivariant absolute extensor. One can make this equivariant embedding even closed, but in this case the non-proper part of the linearizing G-space E may be an entire subspace instead of {0}.     

A nonaspherical cell-like 2-dimensional simply connected continuum and related constructions

We prove the existence of a 2-dimensional nonaspherical simply connected cell-like Peano continuum (the space itself was constructed in one of our earlier papers). We also indicate some relations between this space and the well-known Griffiths' space from the 1950s.     

Three geometric applications of quandle homology

In this paper we describe three geometric applications of quandle homology. We show that it gives obstructions to tangle embeddings, provides the lower bound for the 4-move distance between links, and can be used in determining periodicity of links.     

REMARKS ON UNIVERSAL COEFFICIENT THEOREMS FOR GENERALIZED HOMOLOGY THEORIES

Abstract

New proofs of universal coefficient theorems for generalized homology theories (cf. ∮ 2, ∮ 3) including L. G. Brown's result, relating Brown-Douglas-Fillmore's Ext (X) with complex K-theory are presented. They are all based on a theorem asserting the existence of a chain functor for a generalized homology theory (cf. ∮ 1), which was originally designed for the construction of strong homology theories on strong shape categories.     

Realizing modules over the homology of a DGA

Let A be a DGA over a field and X a module over H_∗(A). Fix an A_∞-structure on H_∗(A) making it quasi-isomorphic to A. We construct an equivalence of categories between A_n+1-module structures on X and length n Postnikov systems in the derived category of A-modules based on the bar resolution of X. This implies that quasi-isomorphism classes of A_n-structures on X are in bijective correspondence with weak equivalence classes of rigidifications of the first n terms of the bar resolution of X to a complex of A-modules. The above equivalences of categories are compatible for different values of n. This implies that two obstruction theories for realizing X as the homology of an A-module coincide.     

On the universal coefficients formula for shape homology

In this paper it is investigated whether various shape homology theories satisfy the Universal Coefficients Formula (UCF). It is proved that pro-homology and strong homology satisfy UCF in the class FAB of finitely generated abelian groups, while they do not satisfy UCF in the class AB of all abelian groups. Two new shape homology theories (called UCF-balanced) are constructed. It is proved that balanced pro-homology satisfies UCF in the class AB, while balanced strong homology satisfies UCF only in the class FAB.     

The coshape invariant and continuous extensions of functors

The coshape invariant and continuous extensions of group-valued covariant and contravariant functors, defined on the category of pairs of spaces with the homotopy type of a pair of finite CW-complexes, are constructed.     

Intrinsic characterization of Alexander-Spanier cohomology groups of compactifications

In this paper we construct a uniform Alexander-Spanier cohomology functor from the category of pairs of uniform spaces to the category of abelian groups. We show that this functor satisfies all Eilenberg-Steenrod axioms on the category of pairs of precompact uniform spaces, is precompact uniform shape invariant and intrinsically, in terms of uniform structures, describes the Alexander-Spanier cohomology groups of compactifications of completely regular spaces.     

Graph homology: Koszul and Verdier duality

We show that Verdier duality for certain sheaves on the moduli spaces of graphs associated to differential graded operads corresponds to the cobar-duality of operads (which specializes to Koszul duality for Koszul operads). This in particular gives a conceptual explanation of the appearance of graph cohomology of both the commutative and Lie types in computations of the cohomology of the outer automorphism group of a free group. Another consequence is an explicit computation of dualizing sheaves on spaces of metric graphs, thus characterizing to which extent these spaces are different from oriented orbifolds. We also provide a relation between the cohomology of the space of metric ribbon graphs, known to be homotopy equivalent to the moduli space of Riemann surfaces, and the cohomology of a certain sheaf on the space of usual metric graphs.