Homologies of Digraphs and Künneth Formulas

Alexander Grigor'yan,Yuri Muranov,Shing-Tung Yau

DOI: https://doi.org/10.4310/cag.2017.v25.n5.a4

2017-01-01

Communications in Analysis and Geometry

Abstract:We state and prove Kunneth formulas for path homologies of Cartesian product and join of two digraphs.

What problem does this paper attempt to address?

Kunneth formulas for path homology

Fang Li,Bin Yu

DOI: https://doi.org/10.4310/pamq.2023.v19.n2.a10

2023-01-01

Pure and Applied Mathematics Quarterly

Abstract:We study the path homology groups with coefficients in a general ring R, and show that such groups are always finitely generated. We further prove two versions of Eilenberg-Zilber theorem for the Cartesian product and the join of two regular path complexes over a commutative ring R. Hence Kunneth formulas are derived for the two cases over a PID. Note that this generalizes the related results proved for regular path complexes over a field K in [7], whose proofs can not be carried over here parallelly.
Homologies of Digraph

Alexander Grigor’yan,Yong Lin,Yuri Moranov,Shing‐Tung Yau

2012-01-01

Abstract:In this paper we introduce a path complex that can be regarded as a generalization of the notion of a simplicial complex. The main motivation for considering path complexes comes from directed graphs(digraphs). We obtain a new notion of the path homology and cohomology of a digraph.
On the Path Homology Theory of Digraphs and Eilenberg–Steenrod Axioms

Alexander Grigoryan,Rolando Jimenez,Yuri Muranov,Shing-Tung Yau

DOI: https://doi.org/10.4310/hha.2018.v20.n2.a9

2018-01-01

Homology Homotopy and Applications

Abstract:In the paper we continue the investigation of the path homology theory of digraphs that was constructed in our previous papers. We prove basic theorems that are similar to the theorems of classical algebraic topology and introduce several natural constructions of digraphs which are very helpful to investigate the path homology theory. We describe relation of our results to the Eilenberg-Steenrod axiomatic of homology theory.
A T ] 1 J Ul 2 01 4 Homotopy Theory for Digraphs

Alexander Grigor’yan,Yong Lin,Yuri Muranov,Shing-Tung Yau

2014-01-01

Abstract:We introduce a homotopy theory of digraphs (directed graphs) and prove its basic properties, including the relations to the homology theory of digraphs constructed by the authors in previous papers. In particular, we prove the homotopy invariance of homologies of digraphs and the relation between the fundamental group of the digraph and its first homology group. The category of (undirected) graphs can be identified by a natural way with a full subcategory of digraphs. Thus we obtain also consistent homology and homotopy theories for graphs. Note that the homotopy theory for graphs coincides with the one constructed in [1] and [2].
A Formula of Two-Partition Hodge Integrals

Chiu-Chu Melissa Liu,Kefeng Liu,Jian Zhou

DOI: https://doi.org/10.1090/s0894-0347-06-00541-8

2007-01-01

Journal of the American Mathematical Society

Abstract:We prove a formula conjectured by the third author expressing certain Hodgeintegrals in terms of certain Chern-Simons link invariants. Such invariantsalso arise in the representation theory of Kac-Moody algebras.
Path Homology Theory of Multigraphs and Quivers

Alexander Grigor’yan,Yu. V. Muranov,V. V. Vershinin,Shing‐Tung Yau

DOI: https://doi.org/10.1515/forum-2018-0015

2018-01-01

Forum Mathematicum

Abstract:We construct a new homology theory for the categories of quivers and multigraphs and describe the basic properties of introduced homology groups. We introduce a conception of homotopy in the category of quivers and we prove the homotopy invariance of homology groups.
The geometric realization of regular path complexes via (co-)homology

Fang Li,Bin Yu

2018-01-01

Abstract:The aim of this paper is to give the geometric realization of regular path complexes via (co)homology groups with coefficients in a ring R. Concretely, for each regular path complex P, we associate it with a singular Δ-complex S(P) and show that the (co)homology groups of P are isomorphic to those of S(P) with coefficients in R. As a direct result we recognize path (co)homology as Hochschild (co)homology in case that R is commutative and P regular finite. Analogues of the Eilenberg-Zilber theorem and Künneth formula are also showed for the Cartesian product and the join of two regular path complexes. In fact, we meanwhile improve some previous results which are covered by these conclusions in this paper.
Structure Of Hochschild Cohomology Of Path Algebras And Differential Formulation Of Euler'S Polyhedron Formula

Li Guo,Fang Li

DOI: https://doi.org/10.4310/AJM.2014.v18.n3.a9

2014-01-01

Asian Journal of Mathematics

Abstract:This article studies the Lie algebra Der(k Gamma) of derivations on the path algebra k Gamma of a quiver Gamma and the Lie algebra on the first Hochschild cohomology group HH1(k Gamma). We relate these Lie algebras to the algebraic and combinatorial properties of the path algebra. Characterizations of derivations on a path algebra are obtained, leading to a canonical basis of Der(k Gamma) and its Lie algebra properties. Special derivations are associated to the vertices, arrows and faces of a quiver, and the concepts of a connected matrix and boundary matrix are introduced to study the relations among these derivations, concluding that the space of edge derivations is the direct sum of the spaces of the vertex derivations and the face derivations, while the dimensions of the latter spaces are the largest possible. By taking dimensions, this relation among spaces of derivations recovers Euler's polyhedron formula. This relation also leads a combinatorial construction of a canonical basis of the Lie algebra HH1(k Gamma), together with a semidirect sum decomposition of H1(k Gamma).
Homology of Path Complexes and Hypergraphs

Alexander Grigor'yan,Rolando Jimenez,Yuri Muranov,Shing-Tung Yau

DOI: https://doi.org/10.1016/j.topol.2019.106877

IF: 0.583

2019-01-01

Topology and its Applications

Abstract:The path complex and its homology were defined in previous papers of the authors. The notion of a path complex is a natural discrete generalization of the notion of a simplicial complex. The theory of path complexes contains homotopy invariant homology theory of digraphs and (nondirected) graphs. In the paper we study the homology theory of path complexes. In particular, we describe functorial properties of paths complexes, introduce the notion of homotopy for path complexes and prove the homotopy invariance of path homology groups. We prove also several theorems that are similar to the results of classical homology theory of simplicial complexes. Then we apply this approach to construct homology theories on various categories of hypergraphs. We describe basic properties of these homology theories and relations between them. As a particular case, these results give new homology theories on the category of simplicial complexes. (C) 2019 Elsevier B.V. All rights reserved.
On a Cohomology of Digraphs and Hochschild Cohomology

Alexander Grigor’yan,Yuri Muranov,Shing-Tung Yau

DOI: https://doi.org/10.1007/s40062-015-0103-1

2015-01-01

Journal of Homotopy and Related Structures

Abstract:We use a differential form cohomology theory on transitive digraphs to give a new proof of a theorem of Gerstenhaber and Schack about isomorphism between simplicial cohomology and Hochschild cohomology of a certain algebra associated with the simplicial complex.
Cohomology of Digraphs and (undirected) Graphs

Alexander Grigor'yan,Yong Lin,Yuri Muranov,Shing-Tung Yau

DOI: https://doi.org/10.4310/ajm.2015.v19.n5.a5

2015-01-01

Asian Journal of Mathematics

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.
On a cohomology theory of digraphs and Hochschild cohomology

Alexander Grigor’yan,Yuri Muranov,Shing-Tung Yau

2014-01-01

Abstract:We construct a cohomology theory of transitive digraphs and use it to give a new proof of a theorem of Gerstenhaber and Schack about isomorphism between simplicial cohomology and Hochschild cohomology of a certain algebra associated with the simplicial complex.
Path homology of digraphs without multisquares and its comparison with homology of spaces

Xin Fu,Sergei O. Ivanov

2024-07-24

Abstract:For a digraph $G$ without multisquares and a field $\mathbb{F}$, we construct a basis of the vector space of path $n$-chains $\Omega_n(G;\mathbb{F})$ for $n\geq 0$, generalising the basis of $\Omega_3(G;\mathbb{F})$ constructed by Grigory'an. For a field $\mathbb{F},$ we consider the $\mathbb{F}$-path Euler characteristic $\chi^\mathbb{F}(G)$ of a digraph $G$ defined as the alternating sum of dimensions of path homology groups with coefficients in $\mathbb{F}.$ If $\Omega_\bullet(G;\mathbb{F})$ is a bounded chain complex, the constructed bases can be applied to compute $\chi^\mathbb{F}(G)$. We provide an explicit example of a digraph $\mathcal{G}$ whose $\mathbb{F}$-path Euler characteristic depends on whether the characteristic of $\mathbb{F}$ is two, revealing the differences between GLMY theory and the homology theory of spaces. This allows us to prove that there is no topological space $X$ whose homology is isomorphic to path homology of the digraph $H_*(X;\mathbb{K})\cong {\rm PH}_*(\mathcal{G};\mathbb{K})$ simultaneously for $\mathbb{K}=\mathbb{Z}$ and $\mathbb{K}=\mathbb{Z}/2\mathbb{Z}.$

Algebraic Topology,K-Theory and Homology
On the path homology of Cayley digraphs and covering digraphs

Shaobo Di,Sergei O. Ivanov,Lev Mukoseev,Mengmeng Zhang

2024-03-30

Abstract:We develop a theory of covering digraphs, similar to the theory of covering spaces. By applying this theory to Cayley digraphs, we build a "bridge" between GLMY-theory and group homology theory, which helps to reduce path homology calculations to group homology computations. We show some cases where this approach allows us to fully express path homology in terms of group homology. To illustrate this method, we provide a path homology computation for the Cayley digraph of the additive group of rational numbers with a generating set consisting of inverses to factorials. The main tool in our work is a filtered simplicial set associated with a digraph, which we call the filtered nerve of a digraph.

Mathematics
The homology digraph of a preordered space

Catarina Faustino,Thomas Kahl

2023-12-05

Abstract:This paper studies a notion of directed homology for preordered spaces, called the homology digraph. We show that the homology digraph is a directed homotopy invariant and establish variants of the main results of ordinary singular homology theory for the homology digraph. In particular, we prove a Künneth formula, which enables one to compute the homology digraph of a product of preordered spaces from the homology digraphs of the components.

Algebraic Topology
Grid homology for spatial graphs and a Künneth formula of connected sum

Hajime Kubota

2024-02-13

Abstract:In this paper, we research the grid homology for spatial graphs with cut edges. We show that the grid homology for spatial graph $f$ is trivial if $f$ has sinks, sources, or cut edges. As an application, we give purely combinatorial proofs of some formulas including a Künneth formula for the knot Floer homology of connected sums in the framework of the grid homology.

Geometric Topology,Algebraic Topology
On Cohomology Theory of (Di)graphs

An Huang,Shing-Tung Yau

DOI: https://doi.org/10.4310/hha.2015.v17.n2.a18

2015-01-01

Homology Homotopy and Applications

Abstract:To a digraph with a choice of certain integral basis, we construct a CW complex, whose integral singular cohomology is canonically isomorphic to the path cohomology of the digraph as introduced in \cite{GLMY}. The homotopy type of the CW complex turns out to be independent of the choice of basis. After a very brief discussion of functoriality, this construction immediately implies some of the expected but perhaps combinatorially subtle properties of the digraph cohomology and homotopy proved very recently \cite{GLMY2}. Furthermore, one gets a very simple expected formula for the cup product of forms on the digraph. On the other hand, we present an approach of using sheaf theory to reformulate (di)graph cohomologies. The investigation of the path cohomology from this framework, leads to a subtle version of Poincare lemma for digraphs, which follows from the construction of the CW complex.
Path Complexes and Their Homologies

A. A. Grigor’yan,Yong Lin,Yu. V. Muranov,Shing-Tung Yau

DOI: https://doi.org/10.1007/s10958-020-04897-9

2020-01-01

Journal of Mathematical Sciences

Abstract:In this paper we introduce a path complex that can be regarded as a generalization of the notion of a simplicial complex. The main motivation for considering path complexes comes from directed graphs(digraphs). We obtain a new notion of the path homology and cohomology of a digraph.
A K_T-deformation of the ring of symmetric functions

Allen Knutson,Mathias Lederer

DOI: https://doi.org/10.48550/arXiv.1503.04070

2015-03-13

Algebraic Geometry

Abstract:The ring of symmetric functions can be implemented in the homology of \union_{a,b} Gr(a,a+b), the multiplicative structure being defined from the "direct sum" map. There is a natural circle action (simultaneously on all Grassmannians) under which each direct sum map is equivariant. Upon replacing usual homology by equivariant K-homology, we obtain a 2-parameter deformation of the ring of symmetric functions. This ring has a module basis given by Schubert classes. Geometric considerations show that multiplication of Schubert classes has positive coefficients, in an appropriate sense. In this paper we give manifestly positive formulae for these coefficients: they count numbers of "DS pipe dreams'' with prescribed edge labelings.
Torsion of digraphs and path complexes

Alexander Grigor'yan,Yong Lin,Shing-Tung Yau

DOI: https://doi.org/10.48550/arXiv.2012.07302

2020-12-14

Combinatorics

Abstract:We define the notions of Reidemeister torsion and analytic torsion for directed graphs by means of the path homology theory introduced by the authors in \cite{Grigoryan-Lin-Muranov-Yau2013, Grigoryan-Lin-Muranov-Yau2014, Grigoryan-Lin-Muranov-Yau2015, Grigoryan-Lin-Muranov-Yau2020}. We prove the identity of the two notions of torsions as well as obtain formulas for torsions of Cartesian products and joins of digraphs.

Homologies of Digraphs and Künneth Formulas

Kunneth formulas for path homology

Homologies of Digraph

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

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

A Formula of Two-Partition Hodge Integrals

Path Homology Theory of Multigraphs and Quivers

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

Structure Of Hochschild Cohomology Of Path Algebras And Differential Formulation Of Euler'S Polyhedron Formula

Homology of Path Complexes and Hypergraphs

On a Cohomology of Digraphs and Hochschild Cohomology

Cohomology of Digraphs and (undirected) Graphs

On a cohomology theory of digraphs and Hochschild cohomology

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

On the path homology of Cayley digraphs and covering digraphs

The homology digraph of a preordered space

Grid homology for spatial graphs and a Künneth formula of connected sum

On Cohomology Theory of (Di)graphs

Path Complexes and Their Homologies

A K_T-deformation of the ring of symmetric functions

Torsion of digraphs and path complexes