Duality in Infinite Graphs

The adaption of combinatorial duality to infinite graphs has been hampered by the fact that while cuts (or cocycles) can be infinite, cycles are finite. We show that these obstructions fall away when duality is reinterpreted on the basis of a ‘singular’ approach to graph homology, whose cycles are defined topologically in a space formed by the graph together with its ends and can be infinite. Our approach enables us to complete Thomassen's results about ‘finitary’ duality for infinite graphs to full duality, including his extensions of Whitney's theorem.

[1]  H. Whitney Non-Separable and Planar Graphs. , 1931, Proceedings of the National Academy of Sciences of the United States of America.

[2]  Reinhard Diestel,et al.  Topological paths, cycles and spanning trees in infinite graphs , 2004, Eur. J. Comb..

[3]  G. Dirac,et al.  A Theorem of Kuratowski , 1954 .

[4]  Reinhard Diestel,et al.  Graph-theoretical versus topological ends of graphs , 2003, J. Comb. Theory, Ser. B.

[5]  Carsten Thomassen,et al.  Duality of infinite graphs , 1982 .

[6]  H. Freudenthal,et al.  Neuaufbau Der Endentheorie , 1942 .

[7]  Paul Erdös,et al.  A colour problem for infinite graphs and a problem in the theory of relations , 1951 .

[8]  François Laviolette,et al.  Edge-Ends in Countable Graphs , 1997, J. Comb. Theory, Ser. B.

[9]  Ron Aharoni,et al.  Menger's theorem for countable graphs , 1986, J. Comb. Theory, Ser. B.

[10]  Frank Harary,et al.  Graph Theory , 2016 .

[11]  Reinhard Diestel,et al.  The Cycle Space of an Infinite Graph , 2005, Combinatorics, Probability and Computing.

[12]  Maya Jakobine Stein,et al.  Cycle‐cocycle partitions and faithful cycle covers for locally finite graphs , 2005, J. Graph Theory.

[13]  W. Browder,et al.  Annals of Mathematics , 1889 .

[14]  Maya Jakobine Stein,et al.  MacLane's planarity criterion for locally finite graphs , 2006, J. Comb. Theory, Ser. B.

[15]  Carsten Thomassen,et al.  Planarity and duality of finite and infinite graphs , 1980, J. Comb. Theory B.

[16]  Reinhard Diestel,et al.  End spaces and spanning trees , 2006, J. Comb. Theory, Ser. B.