Abstract:We prove a homology vanishing theorem for graphs with positive Bakry-' Emery curvature, analogous to a classic result of Bochner on manifolds [3]. Specifically, we prove that if a graph has positive curvature at every vertex, then its first homology group is trivial, where the notion of homology that we use for graphs is the path homology developed by Grigor'yan, Lin, Muranov, and Yau [11]. We moreover prove that the fundamental group is finite for graphs with positive Bakry-' Emery curvature, analogous to a classic result of Myers on manifolds [22]. The proofs draw on several separate areas of graph theory, including graph coverings, gain graphs, and cycle spaces, in addition to the Bakry-Emery curvature, path homology, and graph homotopy. The main results follow as a consequence of several different relationships developed among these different areas. Specifically, we show that a graph with positive curvature cannot have a non-trivial infinite cover preserving 3-cycles and 4-cycles, and give a combinatorial interpretation of the first path homology in terms of the cycle space of a graph. Furthermore, we relate gain graphs to graph homotopy and the fundamental group developed by Grigor'yan, Lin, Muranov, and Yau [12], and obtain an alternative proof of their result that the abelianization of the fundamental group of a graph is isomorphic to the first path homology over the integers.

The Good Pants Homology and the Ehrenpreis Conjecture

On the homology of big mapping class groups

Pants complex, TQFT and hyperbolic geometry

Geometric construction of homology classes in Riemannian manifolds covered by products of hyperbolic planes

Bounds for the number of moves between pants decompositions, and between triangulations

Homology of loops on a splitting-rank symmetric space via the Geometric Satake for real groups

Homology of configuration spaces of surfaces modulo an odd prime

A Homology Vanishing Theorem for Graphs with Positive Curvature

Hameomorphism Groups of Positive Genus Surfaces

The Complexity of Proper Homotopy Equivalence of Graphs

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

Homology of Curves and Surfaces in Closed Hyperbolic 3-Manifolds

Intersection norms on surfaces and Birkhoff cross sections

Homotopy Cardinality via Extrapolation of Morava-Euler Characteristics

On homology concordance in contractible manifolds and two bridge links

On the Holonomic Rank Problem

Diffuse radio emission in a REFLEX cluster

Vietoris-Rips Homology Theory for Semi-Uniform Spaces

Diamonds: Homology and the Central Series of Groups

The definable content of homological invariants II: Čech cohomology and homotopy classification