Covering conjecture for discrete singular cubical homology of graphs

Let GG be a graph, and let K={Ki}{\mathcal K}=\{K_i\} be a covering of GG by subgraphs such that every edge, 33-cycle, and 44-cycle of GG is contained in some KiK_i. Let CK(G)\mathcal{C}^{\mathcal K}(G) denote the cubical chain complex generated by cubes whose images are contained in some KiK_i. Covering conjecture. One should have

H\normalfontCube(G)H\normalfontCube(CK(G)).\mathcal{H}^{\normalfont {\textrm{Cube}}}(G)\approx\mathcal{H}^{\normalfont {\textrm{Cube}}}(\mathcal{C}^{\mathcal K}(G)).

The conjecture proposes a Mayer–Vietoris-type covering principle for discrete singular cubical homology. The source presents it as a speculation and does not establish it; the paper notes that related covering results are available for graphs with no 33-cycles or 44-cycles, where the higher-dimensional homology groups vanish.

Sources & referencesView supporting material

Primary source

Helene Barcelo, Curtis Greene, Abdul Salam Jarrah and Volkmar Welker, “On the vanishing of discrete singular cubical homology for graphs”, arXiv:1909.02901 (2020).

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.