A local homology group of some space $X$ at $x \in X$ is defined by the relative homology group $H_n(X, X – x)$. So by definition, it contains only cycles that are not entirely contained in $X – x$. So if we consider $X$ as some $2$-dimensional surface, would the local homology group at $x$ contain homology classes of loops which pass through $x$? Is this the right way to think about local homology groups?
Algebraic Topology – Elements of a Local Homology Group
algebraic-topologyhomology-cohomology
Best Answer
Elements of $H_n(X, X - x)$ are represented by cycles $\xi$ in $X$ with boundary $\partial \xi$ lying in $X - x$. So, in a sense, you forget about everything outside an infinitesimally small neighborhood of $x$. This is why it's called "local" homology, because it only captures local topological data of $X$ around $x$. In the simplicial context, one can think of elements of $H_n(X, X-x)$ as a triangulation of a small neighborhood around $x$, $x$ lying in the interior of some triangle.
If $M$ is an $n$-manifold, there is a very simple way to visualize $H_n(M, M - x)$. Let $U$ be a neighborhood of $x$ homeomorphic to $\Bbb R^n$. Excise $M - U$ to get isomorphism $$H_n(M, M - x) \cong H_n(U, U - x) \cong H_n(\Bbb R^n, \Bbb R^n - x)$$ which is in turn isomorphic to $H_n(D^n, \partial D^n) \cong H_{n-1}(\partial D^n) \cong \Bbb Z$.
So elements of $H_n(M, M - x)$ can be thought as homology classes in $H_{n-1}(S^{n-1})$, where $S^{n-1}$ is a small sphere around $x$ in $M$. Generators of $H_n(M, M - x)$ are called local orientations at $x$, which one can think of as small $(n-1)$-sphere around $x$ rotating clockwise or counterclockwise.