Abstract:The aim of this paper is to apply the framework, which was developed by Sam and Snowden, to study structural properties of graph homologies, in the spirit of Ramos, Miyata and Proudfoot. Our main results concern the magnitude homology of graphs introduced by Hepworth and Willerton. More precisely, for graphs of bounded genus, we prove that magnitude cohomology, in each homological degree, has rank which grows at most polynomially in the number of vertices, and that its torsion is bounded. As a consequence, we obtain analogous results for path homology of (undirected) graphs. We complement the work with a proof that the category of planar graphs of bounded genus and marked edges, with contractions, is quasi-Gröbner.
What problem does this paper attempt to address?
This paper aims to explore some structural properties of the magnitude (upper) homology of graphs. Specifically, the authors use the framework developed by Sam and Snowden to study the structural properties of graph homology, a method inspired by the work of Ramos, Miyata and Proudfoot. The main achievements of the paper focus on the magnitude homology of graphs introduced by Hepworth and Willerton, proving that for graphs of bounded genus, the magnitude cohomology is a finitely - generated functor in each homology degree, and its rank grows at most polynomially with the number of vertices, while its torsion part is also bounded.
### Main Results:
1. **Finiteness of Generation**: For any integers \(k, g\geq0\), there exists an integer \(m = m(g, k)\) such that for any graph \(G\) with genus not exceeding \(g\), the torsion subgroup of the magnitude cohomology \(\text{MH}^k_*(G; \mathbb{Z})\) is annihilated by \(m\). This shows that, at a fixed cohomology degree \(k\), the order of torsion classes in the magnitude cohomology with integer coefficients of graphs of bounded genus is bounded.
2. **Growth of Rank**: Let \(K\) be a field, fix the cohomology degree \(k\) and genus \(g\geq0\), then there exists a polynomial \(f\in\mathbb{Z}[t]\) with degree not exceeding \(g + k+ 1\) such that for all graphs \(G\) with genus not exceeding \(g\), we have
\[
\dim_K \text{MH}^k_*(G; K)\leq f(\#E(G)),
\]
where \(\#E(G)\) represents the number of edges of graph \(G\). This indicates that for graphs of bounded genus, the rank of magnitude cohomology grows at most polynomially at a fixed cohomology degree.
### Methods:
To prove these results, the authors use methods in representation stability theory, especially the work of Sam and Snowden on combinatorial categories. They consider the category \(\text{CGraph}_{\leq g}\) of graphs with genus not exceeding \(g\) and prove that the magnitude cohomology is a finitely - generated functor on this category. Specifically, they prove that for any \(k\geq1\), the \(\text{CGraph}_{\leq g}\)-module \(\text{Hom}_R(V^{\otimes k}, R)\) is finitely generated, where \(V\) is the vertex module.
### Applications:
As a corollary of the above results, the authors also obtain similar results for path cohomology. For example, for any positive integers \(g, k\), there exists an integer \(d = d(g, k)\) such that for any graph \(G\) with genus \(g\), the exponent of the torsion part of the path cohomology \(\text{PH}^k(G, \mathbb{Z})\) does not exceed \(d\).
### Conclusions:
This paper successfully proves the finiteness of generation and the growth properties of the rank of the magnitude cohomology of graphs under bounded genus by introducing methods in representation stability theory. These results not only deepen the understanding of magnitude cohomology but also provide new tools and perspectives for further research on graph homology theory.