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?.     

Fibrant extensions of free G-spaces

We show that any equivariant fibrant extension of a compact free G-space is also free. This result allows us to prove that the orbit space of any equivariant fibrant compact space E is also fibrant, provided that E has only one orbit type.     

Local n-connectivity and approximate lifting

This paper proves that if p:E→Y is an approximate fibration where E is a locally compact separable metric ANR, each point inverse is an FANR, and Y is finite dimensional, then Y is an ANR.     

Approximate fibrations and bundle maps on Hilbert cube manifolds

This paper is concerned with parameterized families of approximate fibrations from a compact Hilbert cube manifold M to a compact polyhedron B. The main result shows how to straighten out certain of these families to be nearly like a product. As an application of this technique, it is shown that an approximate fibration p:M → B can be approximated arbitrarily closely by bundle maps if and only if p is homotopic via approximate fibrations to a bundle map. Another result is that the space of bundle maps from M to B is locally n-connected for each n ? 0.     

Proper shape over finite coverings

A proper shape is presented using an intrinsic definition and only finite coverings of open sets with compact boundary. For locally compact separable metric spaces with compact spaces of quasicomponents, it is shown: If X and Y have the same proper shape over finite coverings then their end points compactifications FX and FY have the same shape.     

Strong pro-fibrations and ANR objects in pro-categories

The notions of pro-fibration and approximate pro-fibration for morphisms in the pro-category pro-Top of topological spaces were introduced by S. Mardeši? and T.B. Rushing. In this paper we introduce the notion of strong pro-fibration, which is a pro-fibration with some additional property, and the notion of ANR object in pro-Top, which is approximately an ANR-system, and we consider the full subcategory ANR of pro-Top whose objects are ANR objects. We prove that the category ANR satisfies most of the axioms for fibration category in the sense of H.J. Baues if fibrations are strong pro-fibrations and weak equivalences are morphisms inducing isomorphisms in the pro-homotopy category pro-H(Top) of topological spaces. We give various applications. First of all, we prove that every shape morphism is represented by a strong pro-fibration. Secondly, the fibre of a strong pro-fibration is well defined in the category ANR, and we obtain an isomorphism between the pro-homotopy groups of the base and total systems of a strong pro-fibration, and hence obtain the pro-homotopy sequence of a strong pro-fibration. Finally, we also show that there is a homotopy decomposition in the category ANR.     

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.     

Equivariant strong shape

In this paper we propose a construction of the equivariant strong shape for compact metrizable G-spaces using an equivariant version of so-called cotelescopes and the concept of a fibrant G-space.     

Strong Homology Groups of Continuous Maps

In this paper, we define coherent morphisms of chain maps and homology groups of morphisms of this type. We construct strong homology groups of continuous maps of compact metric spaces and prove that for each continuous map f : X?→?Y , there exists a long exact homological sequence. Moreover, we show that for each inclusion i : A?→?X of compact metric spaces, there exists an isomorphism $ {{\bar{H}}_n}(i)\approx {{\bar{H}}_n}\left( {X,A} \right) $ .     

Fibrant Extensions and Conditions of Movability

The concept of a fibrant extension of compacta can be used in the study of some properties related to different conditions of movability. For example, "empty" strong shape components of a given compact metric space X correspond to those path components of a fibrant extension X of X which do not intersect X. The fibrant extension X can be constructed as a cotelescope of an ANR-sequence associated with X. Using this representation of X, we prove the following: If a continuum is movable and virtually pointed 1-movable, then it is pointed movable. As a corollary, we get immediately that movable continua, which do not have "empty" strong shape components, are pointed movable. In particular, continua, both fibrant and movable, are of this kind. In fact, they are locally path connected approximate polyhedra. This revised version was published online in June 2006 with corrections to the Cover Date.     

FUNCTORIAL PROPERTIES OF THE HOPF INVARIANT I

Abstract

Homotopy operations Θ: [ΣY, U] → [ΣY, V] which are natural in Y are considered. In particular a technique used in the definition of the Hopf invariant (as treated by Berstein-Hilton) shows that any fibration p: E → B with fiber V, when provided with a homotopy section of Ωp, determines such a homotopy operation [ΣY, E] → [ΣY, V]. More generally, starting from a track class of homotopies α º f ? β º g we adapt this fibration technique to construct a homotopy operation [ΣY, M(f,g)] → [ΣY, F _α * F _β] called a Hopf invariant. The intervening fibration in the definition of this Hopf invariant arises via the fiberwise join construction.     

Lipschitz compact operators

We introduce the notion of Lipschitz compact (weakly compact, finite-rank, approximable) operators from a pointed metric space X into a Banach space E. We prove that every strongly Lipschitz p-nuclear operator is Lipschitz compact and every strongly Lipschitz p-integral operator is Lipschitz weakly compact. A theory of Lipschitz compact (weakly compact, finite-rank) operators which closely parallels the theory for linear operators is developed. In terms of the Lipschitz transpose map of a Lipschitz operator, we state Lipschitz versions of Schauder type theorems on the (weak) compactness of the adjoint of a (weakly) compact linear operator.     

Homotopy monomorphisms and H-splitting in loop space fibrations

Let be a fibration, the holonomy action of this fibration and the connecting map. It is shown that if the fibre F admits an H-structure ν such that ρ?ν○(1×∂) (principal fibrations of all kinds satisfy such a condition), then i is a monomorphism if and only if it is weak monomorphism, the latter is equivalent to that Ωp has a homotopy right inverse Γ. If in addition Γ is an H-map, then ΩE has the same H-type as ΩB×ΩF.     

2-Categorical aspects of strong shape

For every pair (C,K) of groupoid enriched categories, we define two related categories S(C,K) and SS(C,K). In the case (C,K)=(TOP,ANR) they are isomorphic, respectively, to the classical shape category Sh(TOP) of Mardeši? and Segal and to the strong shape category of topological spaces SSh(1)(TOP) of height 1, defined by Lisicá and Mardeši?. Moreover, for (C,K)=(CM,ANR), where CM is the category of compact metric spaces, there is an isomorphism SSh(CM)≅SS(CM,ANR). A new characterization of topological strong shape equivalences is also given.     

The evaluation subgroup of a fibre inclusion

Let be a fibration of simply connected CW complexes of finite type with classifying map . We study the evaluation subgroup Gn(E,X;j) of the fibre inclusion as an invariant of the fibre-homotopy type of ξ. For spherical fibrations, we show the evaluation subgroup may be expressed as an extension of the Gottlieb group of the fibre sphere provided the classifying map h induces the trivial map on homotopy groups. We extend this result after rationalization: We show that the decomposition G_∗(E,X;j)⊗Q=(G_∗(X)⊗Q)⊕(π_∗(B)⊗Q) is equivalent to the condition Q(h_?)=0.     

Restrictions on symplectic fibrations

Moduli spaces of stable pseudoholomorphic curves can be defined parametrically, i.e., over total spaces of symplectic fibrations. This imposes several restrictions on the spectral sequence of a symplectic fibration. We prove, among others, that under certain assumptions the spectral sequence collapses at E₂. In the appendix, we prove nontriviality of certain Gromov-Witten invariant for blow-ups. As an application we obtain that any Hamiltonian fibration with the blow-up of  along four dimensional submanifold as a fibre c-splits. That is its spectral sequence collapses.     

Biseparating maps between operator algebras

We prove that a biseparating map between spaces B(E), and some other Banach algebras, is automatically continuous and a multiple of an algebra isomorphism.     

Compactness in translation invariant Banach spaces of distributions and compact multipliers

It is shown that for a comprehensive family of translation invariant Banach spaces (B, ∥ ∥_B) of (classes of) measurable functions or distributions on a locally compact group (including most of the spaces of interest in harmonic analysis) the following compactness criterion generalizing the well-known results due to Kolmogorov-Riesz-Weil concerning compact sets in L^p(G), 1 ? p < ∞, holds true: A closed subset M ? B is compact in B if and only if it satisfies the following conditions: (a) sup_{? ? M} ∥?∥_B < ∞; (b) $\text{? ? > 0 ?k ∈ K(G):∥k1???∥}{}_{\mathrm{B}}\text{? ?}$ for all $\text{?∈M}$; (c) $\text{?? > 0 ?h∈K(G):∥h???∥}{}_{\mathrm{B}}\text{? ?}$ for all $\text{?∈M}$. Among various applications a characterization of the space of all compact multipliers between suitable pairs of such spaces can be derived.     

Products of non-σ-lower porous sets

In the present article we provide an example of two closed non-σ-lower porous sets A,B ? ? such that the product A × B is lower porous. On the other hand, we prove the following: Let X and Y be topologically complete metric spaces, let A ? X be a non-σ-lower porous Suslin set and let B ? Y be a non-σ-porous Suslin set. Then the product A × B is non-σ-lower porous. We also provide a brief summary of some basic properties of lower porosity, including a simple characterization of Suslin non-σ-lower porous sets in topologically complete metric spaces.     

COHOMOLOGICAL DIMENSION OF UNIFORM SPACES

Abstract

In this paper we obtain classification and extension theorems for uniform spaces, using the ?ech cohomology theory based on the finite uniform coverings, and study the associated cohomological dimension theory. In particular, we extend results for the cohomological dimension theory on compact Hausdorff spaces or compact metric spaces to those for our cohomological dimension theory on uniform spaces.