Cubical and singular cubical homology conjecture for digital images

Let XZnX\subset \mathbb{Z}^n be a digital image with c1c_1-adjacency. The groups Hˉq(X)\bar H_q(X) and Hˉqc1(X)\bar H_q^{c_1}(X) are, respectively, the cubical and elementary cubical homology groups associated with XX. Cubical homology conjecture. There is an isomorphism

Hˉq(X)Hˉqc1(X).\bar H_q(X)\cong \bar H_q^{c_1}(X).

The analogous simplicial and singular homology theories are proved isomorphic under a finiteness condition, but constructing the required cubical chain map is difficult; the cubical statement remains open.

Sources & referencesView supporting material

Primary source

P. Christopher Staecker, “Digital homotopy relations and digital homology theories”, arXiv:2106.01171 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.