Computability of digital cubical singular homology of $c_1$-digital images
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913117425893376 |
|---|---|
| author | Jamil, Samira Sahar Staecker, P Christopher Ali, Danish |
| author_facet | Jamil, Samira Sahar Staecker, P Christopher Ali, Danish |
| contents | Discrete cubical homology arose as the homology theory associated with discrete cubical homotopy theory. Despite the combinatorial nature of this homology, its computation has posed a significant challenge to the researchers in the field. This paper focuses on determining the discrete cubical homology of $c_1$-digital images, which are subgraphs of the integer lattice. We compare the discrete cubical homology of $c_1$-digital images with the computationally simpler $c_1$-cubical homology as a possible route to simplifying these computations. This comparison is motivated by the classical equivalence between simplicial and singular homology theories, but the construction and proof of the chain map was found to be unexpectedly difficult. Furthermore, via the chain map constructed in this work, the $c_1$-homology, developed by the second author, is shown to be functorial and homotopy-type invariant. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2205_07457 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Computability of digital cubical singular homology of $c_1$-digital images Jamil, Samira Sahar Staecker, P Christopher Ali, Danish Algebraic Topology 54H30, 68U03, 55N35 Discrete cubical homology arose as the homology theory associated with discrete cubical homotopy theory. Despite the combinatorial nature of this homology, its computation has posed a significant challenge to the researchers in the field. This paper focuses on determining the discrete cubical homology of $c_1$-digital images, which are subgraphs of the integer lattice. We compare the discrete cubical homology of $c_1$-digital images with the computationally simpler $c_1$-cubical homology as a possible route to simplifying these computations. This comparison is motivated by the classical equivalence between simplicial and singular homology theories, but the construction and proof of the chain map was found to be unexpectedly difficult. Furthermore, via the chain map constructed in this work, the $c_1$-homology, developed by the second author, is shown to be functorial and homotopy-type invariant. |
| title | Computability of digital cubical singular homology of $c_1$-digital images |
| topic | Algebraic Topology 54H30, 68U03, 55N35 |
| url | https://arxiv.org/abs/2205.07457 |