In this paper we study and compare two homology theories for (simple and undirected) graphs. The first, which was developed by Barcelo, Capraro, and White, is based on graph maps from hypercubes to the graph. The second theory was developed by Grigor’yan, Lin, Muranov, and Yau, and is based on paths in the graph. Results in both settings imply that the respective homology groups are isomorphic in homological dimension one. We show that, for several infinite classes of graphs, the two theories lead to isomorphic homology groups in all dimensions. However, we provide an example for which the homology groups of the two theories are not isomorphic at least in dimensions two and three. We establish a natural map from the cubical to the path homology groups which is an isomorphism in dimension one and surjective in dimension two. Again our example shows that in general the map is not surjective in dimension three and not injective in dimension two. In the process we develop tools to compute the homology groups for both theories in all dimensions.

Revised:

Accepted:

Published online:

DOI: https://doi.org/10.5802/alco.49

Classification: 05C99, 55U99

Keywords: Discrete cubical homology, path homology, homology of graphs

@article{ALCO_2019__2_3_417_0, author = {Barcelo, H\'el\`ene and Greene, Curtis and Jarrah, Abdul Salam and Welker, Volkmar}, title = {Discrete cubical and path homologies of graphs}, journal = {Algebraic Combinatorics}, pages = {417--437}, publisher = {MathOA foundation}, volume = {2}, number = {3}, year = {2019}, doi = {10.5802/alco.49}, zbl = {07066882}, mrnumber = {3968745}, language = {en}, url = {https://alco.centre-mersenne.org/articles/10.5802/alco.49/} }

Barcelo, Hélène; Greene, Curtis; Jarrah, Abdul Salam; Welker, Volkmar. Discrete cubical and path homologies of graphs. Algebraic Combinatorics, Volume 2 (2019) no. 3, pp. 417-437. doi : 10.5802/alco.49. https://alco.centre-mersenne.org/articles/10.5802/alco.49/

[1] Homotopy theory of graphs, J. Algebr. Comb., Volume 24 (2006) no. 1, pp. 31-44 | Article | MR 2245779 | Zbl 1108.05030

[2] Discrete homology theory for metric spaces, Bull. Lond. Math. Soc., Volume 46 (2014), pp. 889-905 | Article | MR 3262192 | Zbl 1308.55004

[3] Foundations of connectivity theory for simplicial complexes, Adv. Appl. Math., Volume 26 (2001), pp. 97-128 | Article | MR 1808443 | Zbl 0984.57014

[4] Graph theory, Graduate Texts in Mathematics, 173, Springer, 2000 | Zbl 0945.05002

[5] Lectures on algebraic topology, Brown University, 1962

[6] Homologies of path complexes and digraphs (2013) (https://arxiv.org/abs/1207.2834v4)

[7] Homotopy theory of digraphs, Pure Appl. Math. Q., Volume 10 (2014), pp. 619-674 | Article | MR 3324763 | Zbl 1312.05063

[8] Cohomology of digraphs and (undirected) graphs, Asian J. Math., Volume 19 (2015) no. 5, pp. 887-932 | Article | MR 3431683 | Zbl 1329.05132

[9] Handbook of product graphs, Discrete Mathematics and its Applications, CRC Press, 2011 | Zbl 1283.05001

[10] Discrete Cubical Homology of Graphs, https://github.com/jmaerte/discrete_cubical_homology_of_graphs, 2017 https://github.com/jmaerte/discrete_cubical_homology_of_graphs (Software Package)

[11] A basic course in algebraic topology, Graduate Texts in Mathematics, 127, Springer, 1991 | MR 1095046 | Zbl 0725.55001

[12] Elements of algebraic topology, Advanced Book Program, Addison–Wesley Publishing Company, 1984 | MR 755006 | Zbl 0673.55001

[13] Triangulated graphs and the elimination process, J. Math. Anal. Appl., Volume 32 (1970), pp. 597-609 | Article | MR 270957 | Zbl 0216.02602

[14] Combinatorics and commutative algebra, Progress in Mathematics, 41, Birkhäuser, 1996 | MR 1453579 | Zbl 1157.13302