Abstract:Path homology plays a central role in digraph topology and GLMY theory more general. Unfortunately, the computation of the path homology of a digraph $G$ is a two-step process, and until now no complete description of even the underlying chain complex has appeared in the literature. In this paper we introduce an inductive method of constructing elements of the path homology chain modules $\Omega_n(G;R)$ from elements in the proceeding two dimensions. This proceeds via the formation of what we call upper and lower \emph{extensions}, that are parametrised by certain labeled multihypergraphs which we introduce and call \emph{face multihypergraphs}. When the coefficient ring $R$ is a finite field the inductive elements we construct generate $\Omega_*(G;R)$. With integral or rational coefficients, the inductive elements generate at least $\Omega_i(G;R)$ for $i=0,1,2,3$. Since in low dimensions the inductive elements extended over labeled multigraphs coincide with naturally occurring generating sets up to sign, they are excellent candidates to reduce to a basis. Inductive elements provide a new concrete structure on the path chain complex that can be directly applied to understand path homology, under no restriction on the digraph $G$. We employ inductive elements to construct a sequence of digraphs whose path Euler characteristic can differ arbitrarily depending on the choice of field coefficients. In particular, answering an open question posed by Fu and Ivanov.

Path Complexes and Their Homologies

Homologies of Digraph

Homology of Path Complexes and Hypergraphs

Path Homology Theory of Multigraphs and Quivers

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

Primitive path homology

The geometric realization of regular path complexes via (co-)homology

Graphs Associated with Simplicial Complexes

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

On the path homology of Cayley digraphs and covering digraphs

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

Torsion of digraphs and path complexes

Magnitude homology and Path homology

Phylogenetic analysis and homology

Path homology of digraphs without multisquares and its comparison with homology of spaces

Homotopy types of Hom complexes of graph homomorphisms whose codomains are cycles

Cohomology of Digraphs and (undirected) Graphs

Inductive construction of path homology chains

Persistent Path Homology of Directed Networks

A notion of homotopy for directed graphs and their flag complexes

Bigraded path homology and the magnitude-path spectral sequence