Homology groups of cubical sets

Ahmet A. Husainov

DOI: https://doi.org/10.1007/S10485-018-9550-2

2023-06-30

Abstract:The paper is devoted to homology groups of cubical sets with coefficients in contravariant systems of Abelian groups. The study is based on the proof of the assertion that the homology groups of the category of cubes with coefficients in the diagram of Abelian groups are isomorphic to the homology groups of normalized complex of the cubical Abelian group corresponding to this diagram. The main result shows that the homology groups of a cubical set with coefficients in a contravariant system of Abelian groups are isomorphic to the values of left derived functors of the colimit functor on this contravariant system. This is used to obtain the isomorphism criterion for homology groups of cubical sets with coefficients in contravariant systems, and also to construct spectral sequences for the covering of a cubical set and for a morphism between cubical sets. This version of the preprint contains a refinement of the proof of Lemma 3.2 corresponding to Lemma 4 from the paper of the same name published in the journal Appl. Category. Struct. 27, 199-216 (2019).

Algebraic Topology,Category Theory

What problem does this paper attempt to address?

The main problems that this paper attempts to solve can be summarized as the following points:

1. **Definition and Computation of Homology Groups**: For cubical sets and their coefficients in a contravariant Abelian group system, study their homology groups. In particular, the author aims to prove that the homology groups of cubical sets can be defined by the normalized complex, and these homology groups are isomorphic to the values of certain derived functors.

2. **Application of Derived Functors**: Prove that the homology group \( H_n(X, F) \) of a cubical set is isomorphic to the value of its left - derived functor \( \varinjlim_{(\Box / X)^{\text{op}}}^n F \) in the contravariant Abelian group system \( F: (\Box / X)^{\text{op}} \to \text{Ab} \). This is achieved by constructing a projective resolution and applying the tensor product.

3. **Equivalence Criteria for Homology Groups**: Using the above results, the author derives the equivalence criteria for the homology groups of cubical sets and constructs spectral sequences of coverings and morphisms.

Specifically, the core problems of the paper are:

- Can the homology groups of cubical sets be computed using the normalized complex?
- Are these homology groups equal to the values of the left - derived functors?

To answer these questions, the author first constructs a projective resolution and proves that the tensor product of this resolution is isomorphic to the normalized complex. Based on this, the author further proves that the homology groups of cubical sets are indeed equal to the values of the left - derived functors.

### Formula Summary

1. **Projective Resolution**:
- Construct a projective resolution \( P_* \) such that \( P_* \otimes F \) is isomorphic to the normalized complex \( CN_*(F) \).
- \( P_k = Z h I_k / Z D_k \), where \( D_k \) is the subgroup generated by degenerate chains.

2. **Isomorphism of Homology Groups**:
- For any cubical Abelian group \( F \), we have:
\[
H_n(CN_*(F)) \cong \varinjlim_{\Box^{\text{op}}}^n F
\]
- For any cubical set \( X \) and contravariant Abelian group system \( F \), we have:
\[
H_n(X, F) \cong \varinjlim_{(\Box / X)^{\text{op}}}^n F
\]

These results not only solve the problem of computing the homology groups of cubical sets but also provide a theoretical basis for subsequent research.