# Local homology

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The homology groups (cf. Homology group)

$$H _ {p} ^ {x} = H _ {p} ^ {c} ( X , X \setminus x ; G ) ,$$

defined at points $x \in X$, where $H _ {p} ^ {c}$ is homology with compact support. These groups coincide with the direct limits

$$\lim\limits _ \rightarrow H _ {p} ^ {c} ( X , X \setminus U ; G )$$

over open neighbourhoods $U$ of $x$, and for homologically locally connected $X$ they also coincide with the inverse limits

$$\lim\limits _ \leftarrow H _ {p-} 1 ^ {c} ( U \setminus x ; G ) .$$

The homological dimension of a finite-dimensional metrizable locally compact space $X$ over $G$( cf. Homological dimension of a space) coincides with the largest value of $n$ for which $H _ {n} ^ {x} \neq 0$, and the set of such points $x \in X$ has dimension $n$.

Let ${\mathcal C} _ {*}$ be the differential sheaf over $X$ defined by associating with each open set $U \subset X$ the chain complex $C _ {*} ( X , X \setminus U ; G )$. The groups $H _ {p} ^ {x}$ are the fibres of the derived sheaves ${\mathcal H} _ {p} = H _ {p} ( {\mathcal C} _ {*} )$. For generalized manifolds, $H _ {p} ^ {x} = 0$ for $p \neq n = \mathop{\rm dim} X$. In this case the homology sequence of the pair $( X , A )$ with coefficients in $G$ coincides with the cohomology of the pair $( X , X \setminus A )$ with coefficients in the sheaf ${\mathcal H} _ {n}$( Poincaré–Lefschetz duality). The similar facts for the local cohomology of locally compact spaces do not hold.

How to Cite This Entry:
Local homology. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Local_homology&oldid=47681
This article was adapted from an original article by E.G. Sklyarenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article