Algebra of dimension theory

Jerzy Dydak

2004-04-19

Abstract: The dimension algebra of graded groups is introduced. With the help of known geometric results of extension theory that algebra induces all known results of the cohomological dimension theory. Elements of the algebra are equivalence classes $\dim(A)$ of graded groups $A$. There are two geometric interpretations of those equivalence classes: \linebreak 1. For pointed CW complexes $K$ and $L$, $\dim(H_\ast(K))=\dim(H_\ast(L))$ if and only if the infinite symmetric products $SP(K)$ and $SP(L)$ are of the same extension type (i.e., $SP(K)\in AE(X)$ iff $SP(L)\in AE(X)$ for all compact $X$). \linebreak 2. For pointed compact spaces $X$ and $Y$, $\dim(\cal H^{-\ast}(X))=\dim(\cal H^{-\ast}(Y))$ if and only if $X$ and $Y$ are of the same dimension type (i.e., $\dim_G(X)=\dim_G(Y)$ for all Abelian groups $G$). Dranishnikov's version of Hurewicz Theorem in extension theory becomes $\dim(\pi_\ast(K))=\dim(H_\ast(K))$ for all simply connected $K$. The concept of cohomological dimension $\dim_A(X)$ of a pointed compact space $X$ with respect to a graded group $A$ is introduced. It turns out $\dim_A(X)\leq 0$ iff $\dim_{A(n)}(X)\leq n$ for all $n\in\Z$. If $A$ and $B$ are two positive graded groups, then $\dim(A)=\dim(B)$ if and only if $\dim_A(X)=\dim_B(X)$ for all compact $X$.

Algebraic Topology,General Topology,Geometric Topology

What problem does this paper attempt to address?

The paper attempts to address the problem by introducing the concept of "dimensionalgebra" to unify and summarize the results in the known cohomological dimension theory. Specifically, the author Jerzy Dydak defines a new algebraic structure whose elements are equivalence classes of graded groups, and through this structure, reinterprets some important results in geometric extension theory.

### Main Issues
1. **Unifying Cohomological Dimension Theory**:
- By introducing "dimensionalgebra," the known results in cohomological dimension theory are unified.
- Prove that Dranišnikov's Hurewicz theorem in extension theory can be expressed as `dim(π∗(K)) = dim(H∗(K))`, where K is a simply connected CW complex.

2. **Geometric Interpretation**:
- Provides two geometric interpretations to understand these equivalence classes:
1. For pointed CW complexes K and L, `dim(H∗(K)) = dim(H∗(L))` if and only if their infinite symmetric products `SP(K)` and `SP(L)` have the same extension type.
2. For pointed compact spaces X and Y, `dim(H−∗(X)) = dim(H−∗(Y))` if and only if X and Y have the same dimension type.

3. **New Concepts and Applications**:
- Introduces the concept of cohomological dimension `dimA(X)` for a graded group A.
- Proves that `dimA(X) ≤ 0` if and only if `dimA(n)(X) ≤ n` holds for all `n ∈ Z`.
- If A and B are two positively graded groups, then `dim(A) = dim(B)` if and only if `dimA(X) = dimB(X)` holds for all compact spaces X.

### Solutions
1. **Defining Dimensionalgebra**:
- Defines the equivalence class `dim(A)` of graded groups and introduces a new algebraic structure.
- Through this structure, reinterprets important results in geometric extension theory.

2. **Geometric Interpretation**:
- Establishes new equivalence relations through geometric interpretations of infinite symmetric products and dimension types.

3. **New Concepts**:
- Introduces the cohomological dimension `dimA(X)` for graded groups and proves its properties and applications.

### Conclusion
By introducing "dimensionalgebra," the author successfully unifies multiple results in cohomological dimension theory and provides new geometric interpretations and concepts, offering new tools and perspectives for further research.