Cohomological dimension and metrizable spaces. II

The main result of the first part of the paper is a generalization of the classical result of Menger-Urysohn : . Theorem. Suppose are subsets of a metrizable space and and are CW complexes. If is an absolute extensor for and is an absolute extensor for , then the join is an absolute extensor for .

As an application we prove the following analogue of the Menger-Urysohn Theorem for cohomological dimension: Theorem. Suppose are subsets of a metrizable space. Then

for any ring with unity and

for any abelian group .

The second part of the paper is devoted to the question of existence of universal spaces: Theorem. Suppose is a sequence of CW complexes homotopy dominated by finite CW complexes. Then

a.

Given a separable, metrizable space such that , , there exists a metrizable compactification of such that , .

b.

There is a universal space of the class of all compact metrizable spaces such that for all .

c.

There is a completely metrizable and separable space such that for all with the property that any completely metrizable and separable space with for all embeds in as a closed subset.

     

Cohomological approach to asymptotic dimension

We introduce the notion of asymptotic cohomology based on the bounded cohomology and define cohomological asymptotic dimension asdim _Z X of metric spaces. We show that it agrees with the asymptotic dimension asdim X when the later is finite. Then we use this fact to construct an example of a metric space X of bounded geometry with finite asymptotic dimension for which asdim(X × R) = asdim X. In particular, it follows for this example that the coarse asymptotic dimension defined by means of Roe’s coarse cohomology is strictly less than its asymptotic dimension.      

Algebra of dimension theory

The dimension algebra of graded groups is introduced. With the help of known geometric results of extension theory, this algebra induces all known results of the cohomological dimension theory. Elements of the algebra are equivalence classes of graded groups . There are two geometric interpretations of these equivalence classes: 1) For pointed CW complexes and , if and only if the infinite symmetric products and are of the same extension type (i.e., iff for all compact ). 2) For pointed compact spaces and , if and only if and are of the same dimension type (i.e., for all Abelian groups ).

Dranishnikov's version of the Hurewicz Theorem in extension theory becomes for all simply connected .

The concept of cohomological dimension of a pointed compact space with respect to a graded group is introduced. It turns out iff for all . If and are two positive graded groups, then if and only if for all compact .

     

Extension theory of separable metrizable spaces with applications to dimension theory

The paper deals with generalizing several theorems of the covering dimension theory to the extension theory of separable metrizable spaces. Here are some of the main results:

Generalized Eilenberg-Borsuk Theorem. Let be a countable CW complex. If is a separable metrizable space and is an absolute extensor of for some CW complex , then for any map , closed in , there is an extension of over an open set such that .

Theorem. Let be countable CW complexes. If is a separable metrizable space and is an absolute extensor of , then there is a subset of such that and .

Theorem. Suppose are countable, non-trivial, abelian groups and 0$">. For any separable metrizable space of finite dimension 0$">, there is a closed subset of with for .

Theorem. Suppose is a separable metrizable space of finite dimension and is a compactum of finite dimension. Then, for any , , there is a closed subset of such that and .

Theorem. Suppose is a metrizable space of finite dimension and is a compactum of finite dimension. If and are connected CW complexes, then

     

Resolutions for metrizable compacta in extension theory

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.

     

Factorization theorems for cohomological dimension

The well-known factorization theorems for covering dimension dim and compact Hausdorff spaces are here established for the cohomological dimension dim using a new characterization of dim In particular, it is proved that every mapping f: X → Y from a compact Hausdorff space X with to a compact metric space Y admits a factorization f = hg, where g: X → Z, h: Z → Y and Z is a metric compactum with . These results are applied to the well-known open problem whether . It is shown that the problem has a positive answer for compact Hausdorff spaces X if and only if it has a positive answer for metric compacta X.     

Mean dimension and AH-algebras with diagonal maps

Mean dimension for AH-algebras with diagonal maps is introduced. It is shown that if a simple unital AH-algebra with diagonal maps has mean dimension zero, then it has strict comparison on positive elements. In particular, the strict order on projections is determined by traces. Moreover, a lower bound of the mean dimension is given in term of Toms' comparison radius. Using classification results, if a simple unital AH-algebra with diagonal maps has mean dimension zero, it must be an AH-algebra without dimension growth. Two classes of AH-algebras with diagonal maps are shown to have mean dimension zero: the class of AH-algebras with at most countably many extremal traces, and the class of AH-algebras with numbers of extreme traces which induce same state on the _K0${\mathrm{K}}_0$-group being uniformly bounded (in particular, this class includes AH-algebras with real rank zero).     

Global dimension and left derived functors of Hom

It is well known that the right global dimension of a ring R is usually computed by the right derived functors of Hom and the left projective resolutions of right R-modules. In this paper, for a left coherent and right perfect ring R, we characterize the right global dimension of R, from another point of view, using the left derived functors of Hom and the right projective resolutions of right R-modules. It is shown that rD(R)≤n (n≥2) if and only if the gl right Proj-dim MR≤n - 2 if and only if Extn-1(N, M) = 0 for all right R-modules N and M if and only if every (n - 2)th Proj-cosyzygy of a right R-module has a projective envelope with the unique mapping property. It is also proved that rD(R)≤n (n≥1) if and only if every (n-1)th Proj-cosyzygy of a right R-module has an epic projective envelope if and only if every nth Vroj-cosyzygy of a right R-module is projective. As corollaries, the right hereditary rings and the rings R with rD(R)≤2 are characterized.     

Shape aspherical compacta-applications of a theorem of Kan and Thurston to cohomological dimension and shape theories

Dydak and Yokoi introduced the notion of shape aspherical compactum. In this paper, we use this notion to obtain a generalization of Kan and Thurston theorem for compacta and pro-homology. As an application, we obtain a characterization of cohomological dimension with coefficients in and ( prime) in terms of acyclic maps from a shape aspherical compactum, which improves the theorems of Edwards and Dranishnikov. Furthermore, we obtain the shape version of the theorem and as a consequence we show that every compactum has the stable shape type of a shape aspherical compactum.

     

Anick resolution and Koszul algebras of finite global dimension

We show how to study a certain associative algebra recently discovered by Iyudu and Shkarin using the Anick resolution. This algebra is a counterexample to the conjecture of Positselski on Koszul algebras of finite global dimension.     

Selforthogonal modules with finite injective dimension

The category consisting of finitely generated modules which are left orthogonal with a cotilting bimodule is shown to be functorially finite. The notion of left orthogonal dimension is introduced, and then a necessary and sufficient condition of selforthogonal modules having finite injective dimension and a characterization of cotilting modules are given.     

Resolving subcategories of triangulated categories and relative homological dimension

We introduce and study (pre)resolving subcategories of a triangulated category and the homological dimension relative to these subcategories. We apply the obtained properties to relative Gorenstein categories.     

The Cohomology of Pro-p-Groups with Group Ring Coefficients and Virtual Poincare Duality

The relationship between the group-theoretic properties of a pro-p-group G and the G-module structure of the group $H^n (G,\mathbb{F}_q \left[\kern-0.15em\left[ G \right]\kern-0.15em\right])$ is studied. A necessary and sufficient condition for a pro-p-group G to contain an open Poincare subgroup of dimension n is obtained. This condition does not require that G have finite cohomological dimension and, therefore, applies to groups with torsion. Results concerning the possible values of $\dim _{\mathbb{F}p} H^n (G,\mathbb{F}_p \left[\kern-0.15em\left[ G \right]\kern-0.15em\right])$ are also obtained.     

Boundary layer approximate approximations and cubature of potentials in domains

In this article we present a new approach to the computation of volume potentials over bounded domains, which is based on the quasi‐interpolation of the density by almost locally supported basis functions for which the corresponding volume potentials are known. The quasi‐interpolant is a linear combination of the basis function with shifted and scaled arguments and with coefficients explicitly given by the point values of the density. Thus, the approach results in semi‐analytic cubature formulae for volume potentials, which prove to be high order approximations of the integrals. It is based on multi‐resolution schemes for accurate approximations up to the boundary by applying approximate refinement equations of the basis functions and iterative approximations on finer grids. We obtain asymptotic error estimates for the quasi‐interpolation and corresponding cubature formulae and provide some numerical examples. This revised version was published online in June 2006 with corrections to the Cover Date.     

An improved box-counting method to estimate fractal dimension of images

Fractal dimension (FD) reflects the intrinsic self-similarity of an image and can be used in image classification, image segmentation and texture analysis. The differential box-counting (DBC) method is a common approach to calculating the FD values. This paper proposes an improved DBC-based approach to optimizing the performance of the method in the following ways: reducing fitting errors by decreasing step lengths, considering under-counting boxes on the border of two neighboring box-blocks and making better use of all the pixels in the blocks while not neglecting the middle parts. The experimental results show that the fitting error of the new method can be decreased to 0.012879. The average distance of the FD values is decreased by 16.0/% in the divided images and the average variance of the FD values is decreased by 30/% in the scaled images, compared with other modified methods. The results show that the new method has a better performance in the recognition of the same type of images and the scaled images.     

A search algorithm for linear codes: progressive dimension growth

This paper presents an algorithm, called progressive dimension growth (PDG), for the construction of linear codes with a pre-specified length and a minimum distance. A number of new linear codes over GF(5) that have been discovered via this algorithm are also presented.      

The distributional dimension of fractals

In the book [1] H.Triebel introduces the distributional dimension of fractals in an analytical form and proves that： for Г as a non-empty set in R^n with Lebesgue measure ｜Г｜ = 0, one has dimH Г = dimD Г, where dimD Г and dimH Г are the Hausdorff dimension and distributional dimension, respectively. Thus we might say that the distributional dimension is an analytical definition for Hausdorff dimension. Therefore we can study Hausdorff dimension through the distributional dimension analytically. By discussing the distributional dimension, this paper intends to set up a criterion for estimating the upper and lower bounds of Hausdorff dimension analytically. Examples illustrating the criterion are included in the end.