3 Changed title

2 edited tags
1

# Homology Question

We can define the (first) homology of a surface $S$ by working with graphs embedded in $S$. That is, we take any (oriented) graph which is 2-cell embedded in $S$, and take cycles modulo boundaries in the usual way. Here, I am talking about homology with coefficients in $\mathbb{Z}$. The group that we get is independent of the graph, so is indeed a topological invariant of the surface.

I work with group-labelled graphs, which are oriented graphs with their edges labelled from a finite abelian group $\Gamma$. Proceeding as above, group-labelled graphs allow us to define group-labelled surfaces. That is, let $G$ be a $\Gamma$-labelled graph 2-cell embedded in a surface $S$. If each face of the embedding has group-value zero (the labels of edges on the boundary of the face sum to zero), then this gives a well-defined map on homology. In fact, the embedding of $G$ in S induces a homomorphism from $H_1(S)$ to $\Gamma$. So, we can forget about the $\Gamma$-labelled graph and just study this homomorphism.

My question is: how does this construction relate to taking homology with coefficients from $\Gamma$?

Someone once told me that what I am really doing is working with cohomology with coefficients in $\Gamma$, but I didn't really get this. Can someone please clarify?