Extension dimension and quasi-finite CW-complexes

We extend the definition of quasi-finite complexes from countable complexes to arbitrary ones and provide a characterization of quasi-finite complexes in terms of L-invertible maps and dimensional properties of compactifications. Several results related to the class of quasi-finite complexes are established, such as completion of metrizable spaces, existence of universal spaces and a version of the factorization theorem. Furthermore, we define UV(L)-spaces in the realm of metrizable spaces and show that some properties of UV(n)-spaces and UV(n)-maps remain valid for UV(L)-spaces and UV(L)-maps, respectively.     

Compact maps and quasi-finite complexes

The simplest condition characterizing quasi-finite CW complexes K is the implication XτhK⇒β(X)τK for all paracompact spaces X. Here are the main results of the paper:

Theorem 0.1. If{Ks}_s∈Sis a family of pointed quasi-finite complexes, then their wedge_?s∈SKsis quasi-finite.     

Covering dimension and finite-to-one maps

Hurewicz characterized the dimension of separable metrizable spaces by means of finite-to-one maps. We investigate whether this characterization also holds in the class of compact F-spaces of weight c. Our main result is that, assuming the Continuum Hypothesis, an n-dimensional compact F-space of weight c is the continuous image of a zero-dimensional compact Hausdorff space by an at most n²-to-1 map.     

Finite-to-one maps into Euclidean manifolds and spaces with disjoint disks properties

It is shown that every Euclidean manifold M has the following property for any m?1: If f:X→Y is a perfect surjection between finite-dimensional metric spaces, then the mapping space C(X,M) with the source limitation topology contains a dense Gδ-subset of maps g such that dimBm(g)?mdimf+dimY−(m−1)dimM. Here, Bm(g)={(y,z)∈Y×M||f−1(y)∩g−1(z)|?m}. The existence of residual sets of finite-to-one maps into product of manifolds and spaces having disjoint disks properties is also obtained.     

Refinable maps in dimension theory

This paper studies properties of refinable maps and contains applications to dimension theory. It is proved that refinable maps between compact Hausdorff spaces preserve covering dimension exactly and do not raise small cohomological dimension with any coefficient group. The notion of a c-refinable map is introduced and is shown to play a comparable role in the setting of normal spaces. For example, c-refinable maps between normal spaces are shown to preserve covering dimension and S-weak infinite-dimensionality. These facts do not hold for refinable maps.     

A combinatorial approach to coarse geometry

Using ideas from shape theory we embed the coarse category of metric spaces into the category of direct sequences of simplicial complexes with bonding maps being simplicial. Two direct sequences of simplicial complexes are equivalent if one of them can be transformed to the other by contiguous factorizations of bonding maps and by taking infinite subsequences. This embedding can be realized by either Rips complexes or analogs of Roe?s anti-?ech approximations of spaces.In this model coarse n-connectedness of K={K₁→K₂→?} means that for each k there is m>k such that the bonding map from Kk to Km induces trivial homomorphisms of all homotopy groups up to and including n.The asymptotic dimension being at most n means that for each k there is m>k such that the bonding map from Kk to Km factors (up to contiguity) through an n-dimensional complex.Property A of G. Yu is equivalent to the condition that for each k and for each ?>0 there is m>k such that the bonding map from |Kk| to |Km| has a contiguous approximation g:|Kk|→|Km| which sends simplices of |Kk| to sets of diameter at most ?.     

On two problems in extension theory

In this note we introduce the concept of a quasi-finite complex. Next, we show that for a given countable simplicial complex L the following conditions are equivalent:

•

L is quasi-finite.

•

There exists a [L]-invertible mapping of a metrizable compactum X with e-dimX?[L] onto the Hilbert cube.Finally, we construct an example of a quasi-finite complex L such that its extension type [L] does not contain a finitely dominated complex.

     

Parametric bing and Krasinkiewicz maps

It is shown that if is a perfect map between metrizable spaces and Y is a C-space, then the function space C(X,I) with the source limitation topology contains a dense Gδ-subset of maps g such that every restriction map gy=g|f⁻¹(y), y∈Y, satisfies the following condition: all fibers of gy are hereditarily indecomposable and any continuum in f⁻¹(y) either contains a component of a fiber of gy or is contained in a fiber of gy.     

Asymptotic dimension

The asymptotic dimension theory was founded by Gromov [M. Gromov, Asymptotic invariants of infinite groups, in: Geometric Group Theory, vol. 2, Sussex, 1991, in: London Math. Soc. Lecture Note Ser., vol. 182, Cambridge Univ. Press, Cambridge, 1993, pp. 1-295] in the early 90s. In this paper we give a survey of its recent history where we emphasize two of its features: an analogy with the dimension theory of compact metric spaces and applications to the theory of discrete groups.     

On the Lusternik–Schnirelmann category of Peano continua

We define the LS-category _catg${\mathrm{cat}}_g$ by means of covers of a space by general subsets, and show that this definition coincides with the classical Lusternik–Schnirelmann category for compact metric ANR spaces. We apply this result to give short dimension theoretic proofs of the Grossman–Whitehead theorem and Dranishnikov?s theorem. We compute _catg${\mathrm{cat}}_g$ for some fractal Peano continua such as Menger spaces and Pontryagin surfaces.     

Remainders of arcwise connected compactifications of the plane

A. Lelek asked which continua are remainders of locally connected compactifications of the plane. In this paper we study a similar problem with local connectedness replaced by arcwise connectedness. (Each locally connected continuum is arcwise connected.) We give the following characterization: a continuum X is pointed 1-movable if and only if there is an arcwise connected compactification of the plane with X as the remainder.     

Refinable and monotone maps revisited

Generalizing results by J. Ford, J. W. Rogers, Jr. and H. Kato we prove that (1) a map f from a G-like continuum onto a graph G is refinable iff f is monotone; (2) a graph G is an arc or a simple closed curve iff every G-like continuum that contains no nonboundary indecomposable subcontinuum admits a monotone map onto G.We prove that if bonding maps in the inverse sequence of compact spaces are refinable then the projections of the inverse limit onto factor spaces are refinable. We use this fact to show that refinable maps do not preserve completely regular or totally regular continua.     

Universal space in the Cartesian product of Peano curves without free arcs

We prove that there is the universal space for the class of n-dimensional separable metric spaces in the Cartesian product K₁×?×Kn+1 of Peano curves without free arcs. It is also shown that the set of embeddings of any n-dimensional separable metric space X into this universal space is a residual set in C(X,K₁×?×Kn+1). Other properties of product of Peano curves without free arcs are also proved.     

Fiberwise absolute neighborhood extensors for a class of metrizable spaces

In the paper we study fiberwise absolute neighborhood extensors with respect to some classes of metrizable spaces by means of the local extension properties and the lifting properties of the underlying spaces.     

A geometric interpretation of Ungar's addition and of gyration in the hyperbolic plane

We present a geometric interpretation of the operation a⊕b and the gyration on the unit-disc as defined by A.A. Ungar. Using this geometric interpretation we show that the two known generalizations to the n-dimensional unit ball are identical. The interpretation in the plane leads us to the notion of outer-median of a triangle and we discuss some possible properties of this median.     

Fixed point theorems for partially outward mappings

We generalize some classical theorems related to dimension. We extend Brouwer's fixed point theorem to a class of mappings whose images are not necessarily a subset of the domain. These results also generalize theorems of B.R. Halpern and G.M. Bergman. As applications, we prove some theorems for maps that pull absolute retracts outward into attached sphere collars. We note relationships to the relative Nielsen theory and show that certain of our applications can also be obtained using results of H. Schirmer.     

Topological groups and covering dimension

We consider a natural way of extending the Lebesgue covering dimension to various classes of infinite dimensional topological groups. The dimension function that we introduce extends Lebesgue covering dimension, has the hereditary property, and has a product theory that is more similar to the product theory for the finite dimensional case.     

Right inverses of linear maps on convex sets

We study, via continuous selections of multivalued maps, the problem of finding a right inverse to the restriction of a linear map to a convex body.