Abstract:We construct a cohomology theory on a category of finite digraphs (directed graphs), which is based on the universal calculus on the algebra of functions on the vertices of the digraph. We develop necessary algebraic technique and apply it for investigation of functorial properties of this theory. We introduce categories of digraphs and (undirected) graphs, and using natural isomorphism between the introduced category of graphs and the full subcategory of symmetric digraphs we transfer our cohomology theory to the category of graphs. Then we prove homotopy invariance of the introduced cohomology theory for undirected graphs. Thus we answer the question of Babson, Barcelo, Longueville, and Laubenbacher about existence of homotopy invariant homology theory for graphs. We establish connections with cohomology of simplicial complexes that arise naturally for some special classes of digraphs. For example, the cohomologies of posets coincide with the cohomologies of a simplicial complex associated with the poset. However, in general the digraph cohomology theory can not be reduced to simplicial cohomology. We describe the behavior of digraph cohomology groups for several topological constructions on the digraph level and prove that any given finite sequence of non-negative integers can be realized as the sequence of ranks of digraph cohomology groups. We present also sufficiently many examples that illustrate the theory.

Torsion of digraphs and path complexes

Weighted Analytic Torsion for Weighted Digraphs

A T ] 1 J Ul 2 01 4 Homotopy Theory for Digraphs

Homologies of Digraph

Path Complexes and Their Homologies

On the Path Homology Theory of Digraphs and Eilenberg–Steenrod Axioms

Homology of Path Complexes and Hypergraphs

Torsion invariants of complexes of groups

Analytic torsion and Reidemeister torsion of hyperbolic manifolds with cusps

A characterization of torsion theories in the cluster category of Dynkin type A_{\infty}

Path Homology Theory of Multigraphs and Quivers

On the path homology of Cayley digraphs and covering digraphs

The path-missing and path-free complexes of a directed graph

Cohomology of Digraphs and (undirected) Graphs

Nonacyclic Reidemeister torsions of manifolds of odd dimension

On Cohomology Theory of (Di)graphs

Analytic torsion versus Reidemeister torsion on hyperbolic 3-manifolds with cusps

Adjoint twisted Reidemeister torsion and Gram matrices

The zeta-determinants and anlaytic torsion of a metric mapping torus

On torsion in eulerian magnitude homology of Erdos-Renyi random graphs

Homologies of Digraphs and Künneth Formulas