Borel–Moore homology

In topology, Borel−Moore homology or homology with closed support is a homology theory for locally compact spaces, introduced by Borel and Moore (1960).

For reasonable compact spaces, Borel−Moore homology coincides with the usual singular homology. For non-compact spaces, each theory has its own advantages. In particular, a closed oriented submanifold defines a class in Borel–Moore homology, but not in ordinary homology unless the submanifold is compact.

Note: Borel equivariant cohomology is an invariant of spaces with an action of a group G; it is defined as H*_G(X) = H*((EG × X)/G). That is not related to the subject of this article.

Definition

There are several ways to define Borel−Moore homology. They all coincide for reasonable spaces such as manifolds and locally finite CW complexes.

Definition via sheaf cohomology

For any locally compact space X, Borel–Moore homology with integral coefficients is defined as the cohomology of the dual of the chain complex which computes sheaf cohomology with compact support.^[1] As a result, there is a short exact sequence analogous to the universal coefficient theorem:

0\to {\text{Ext}}_{{{\mathbf Z}}}^{1}(H_{c}^{{i+1}}(X,{\mathbf Z}),{\mathbf Z})\to H_{i}^{{BM}}(X,{\mathbf Z})\to {\text{Hom}}(H_{c}^{i}(X,{\mathbf Z}),{\mathbf Z})\to 0.

In what follows, the coefficients Z are not written.

Definition via locally finite chains

The singular homology of a topological space X is defined as the homology of the chain complex of singular chains, that is, finite linear combinations of continuous maps from the simplex to X. The Borel−Moore homology of a reasonable locally compact space X, on the other hand, is isomorphic to the homology of the chain complex of locally finite singular chains. "Reasonable" means here that X is locally contractible, σ-compact, and of finite dimension.^[2]

In more detail, let C_i^BM(X) be the abelian group of formal (infinite) sums

u=\sum _{{\sigma }}a_{{\sigma }}\sigma ,

where σ runs over the set of all continuous maps from the standard i-simplex Δⁱ to X and each a_σ is an integer, such that for each compact subset S of X, only finitely many maps σ whose image meets S have nonzero coefficient in u. Then the usual definition of the boundary ∂ of a singular chain makes these abelian groups into a chain complex:

\cdots \to C_{2}^{{BM}}(X)\to C_{1}^{{BM}}(X)\to C_{0}^{{BM}}(X)\to 0.

The Borel−Moore homology groups H_i^BM(X) are the homology groups of this chain complex. That is,

H_{i}^{{BM}}(X)=\ker \left(\partial :C_{i}^{{BM}}(X)\to C_{{i-1}}^{{BM}}(X)\right)/{\text{im}}\left(\partial :C_{{i+1}}^{{BM}}(X)\to C_{i}^{{BM}}(X)\right).

If X is compact, then every locally finite chain is in fact finite. So, given that X is "reasonable" in the sense above, Borel−Moore homology H_i^BM(X) coincides with the usual singular homology H_i(X) for X compact.

Definition via compactifications

Suppose that X is homeomorphic to the complement of a closed subcomplex S in a finite CW complex Y. Then Borel–Moore homology H_i^BM(X) is isomorphic to the relative homology H_i(Y, S). Under the same assumption on X, the one-point compactification of X is homeomorphic to a finite CW complex. As a result, Borel–Moore homology can be viewed as the relative homology of the one-point compactification with respect to the added point.

Definition via Poincaré duality

Let X be any locally compact space with a closed embedding into an oriented manifold M of dimension m. Then

H_{i}^{{BM}}(X)=H^{{m-i}}(M,M\setminus X),

where in the right hand side, relative cohomology is meant.^[3]

Definition via the dualizing complex

For any locally compact space X of finite dimension, let $D X$ be the dualizing complex of $X$ . Then

H_{i}^{BM}(X)=\mathbb {H} ^{-i}(X,D_{X}),

where in the right hand side, hypercohomology is meant.^[4]

Properties

Borel−Moore homology is a covariant functor with respect to proper maps. That is, a proper map f: X → Y induces a pushforward homomorphism H_i^BM(X) → H_i^BM(Y) for all integers i. In contrast to ordinary homology, there is no pushforward on Borel−Moore homology for an arbitrary continuous map f. As a counterexample, one can consider the non-proper inclusion R² − 0 → R².
Borel−Moore homology is a contravariant functor with respect to inclusions of open subsets. That is, for U open in X, there is a natural pullback or restriction homomorphism H_i^BM(X) → H_i^BM(U).
For any locally compact space X and any closed subset F, with U = X − F the complement, there is a long exact localization sequence:^[5]

\cdots \to H_{i}^{{BM}}(F)\to H_{i}^{{BM}}(X)\to H_{i}^{{BM}}(U)\to H_{{i-1}}^{{BM}}(F)\to \cdots

Borel−Moore homology is homotopy invariant in the sense that for any space X, there is an isomorphism H_i^BM(X) → H_i+1^BM(X × R). The shift in dimension means that Borel−Moore homology is not homotopy invariant in the naive sense. For example, the Borel−Moore homology of Euclidean space Rⁿ is isomorphic to Z in degree n and is otherwise zero.
Poincaré duality extends to non-compact manifolds using Borel–Moore homology. Namely, for an oriented n-manifold X, Poincaré duality is an isomorphism from singular cohomology to Borel−Moore homology,

H^{i}(X){\stackrel {\cong }{\to }}H_{n-i}^{BM}(X)

for all integers i. A different version of Poincaré duality for non-compact manifolds is the isomorphism from cohomology with compact support to usual homology:

H_{c}^{i}(X){\stackrel {\cong }{\to }}H_{n-i}(X).

A key advantage of Borel−Moore homology is that every oriented manifold M of dimension n (in particular, every smooth complex algebraic variety), not necessarily compact, has a fundamental class [M] ∈ H_n^BM(M). If the manifold M has a triangulation, then its fundamental class is represented by the sum of all the top dimensional simplices. In fact, in Borel−Moore homology, one can define a fundamental class for arbitrary (possibly singular) complex varieties. In this case the set of smooth points $M reg \subset M$ has complement of (real) codimension at least 2, and by the long exact sequence above the top dimensional homologies of $M$ and $M reg$ are canonically isomorphic. The fundamental class of $M$ is then defined to be the fundamental class of $M reg$ .^[6]

Examples

Compact Spaces

Given a compact topological space $X$ its Borel-Moore homology agrees with its standard homology; that is,

H_{*}^{BM}(X)\cong H_{*}(X)

Real line

The first non-trivial calculation of Borel-Moore homology is of the real line. First observe that any $0$ -chain is cohomologous to $0$ . Since this reduces to the case of a point $p$ , notice that we can take the Borel-Moore chain

\sigma =\sum _{i=0}^{\infty }1\cdot [p+i,p+i+1)

since the boundary of this chain is $\partial \sigma =p$ and the non-existent point at infinity, the point is cohomologous to zero. Now, we can take the Borel-Moore chain

\sigma =\sum _{-\infty <k<\infty }[k,k+1)

which has not boundary, hence is a homology class. This shows that

H_{k}^{BM}(\mathbb {R} )={\begin{cases}\mathbb {Z} &k=1\\0&{\text{otherwise}}\end{cases}}

Real n-space

The previous computation can be generalized to the case $\mathbb {R} ^{n}$ . We get

H_{k}^{BM}(\mathbb {R} ^{n})={\begin{cases}\mathbb {Z} &k=n\\0&{\text{otherwise}}\end{cases}}

Infinite Cylinder

Using the Kunneth decomposition, we can see that the infinite cylinder $S^{1}\times \mathbb {R}$ has homology

H_{k}^{BM}(S^{1}\times \mathbb {R} )={\begin{cases}\mathbb {Z} &k=1\\\mathbb {Z} &k=2\\0&{\text{otherwise}}\end{cases}}

Real n-space minus a point

Using the long exact sequence in Borel-Moore homology, we get the non-zero exact sequences

0\to H_{n}^{BM}(\{0\})\to H_{n}^{BM}(\mathbb {R} ^{n})\to H_{n}^{BM}(\mathbb {R} ^{n}-\{0\})\to 0

and

0\to H_{1}^{BM}(\mathbb {R} ^{n}-\{0\})\to H_{0}^{BM}(\{0\})\to H_{0}^{BM}(\mathbb {R} ^{n})\to H_{0}^{BM}(\mathbb {R} ^{n}-\{0\})\to 0

From the first sequence we get that

H_{n}^{BM}(\mathbb {R} ^{n})\cong H_{n}^{BM}(\mathbb {R} ^{n}-\{0\})

and from the second we get that

H_{1}^{BM}(\mathbb {R} ^{n}-\{0\})\cong H_{0}^{BM}(\{0\})

and

0\cong H_{0}^{BM}(\mathbb {R} ^{n})\cong H_{0}^{BM}(\mathbb {R} ^{n}-\{0\})

We can interpret these non-zero homology classes using the following observations

There is the homotopy equivalence $\mathbb {R} ^{n}-\{0\}\simeq S^{n-1}$
A topological isomorphism $\mathbb {R} ^{n}-\{0\}\cong S^{n-1}\times \mathbb {R} _{>0}$

hence we can use the computation for the infinite cylinder to interpret $H_{n}^{BM}$ as the homology class represented by $S^{n-1}\times \mathbb {R} _{>0}$ and $H_{1}^{BM}$ as ${\mathbb {R}}_{{>0}}$ .

Plane with Points Removed

Let $X=\mathbb {R} ^{2}-\{p_{1},\ldots ,p_{k}\}$ have $k$ -distinct points removed. Notice the previous computation with the fact that Borel-Moore homology is an isomorphism invariant gives this computation for the case $k=1$ . In general, we will find a $1$ -class corresponding to a loop around a point, and the fundamental class $[X]$ in $H_{2}^{BM}$ .

Double Cone

Consider the double cone $X=\mathbb {V} (x^{2}+y^{2}-z^{2})\subset \mathbb {R} ^{3}$ . If we take $U=X-\{0\}$ then the long exact sequence shows

{\begin{aligned}H_{2}^{BM}(X)&=\mathbb {Z} ^{\oplus 2}\\H_{1}^{BM}(X)&=\mathbb {Z} \\H_{k}^{BM}(X)&=0{\text{ for }}k\not \in \{1,2\}\end{aligned}}

Genus Two Curve with Three Points Removed

Given a genus two curve (Riemann surface) $X$ and three points $F$ , we can use the long exact sequence to compute the Borel-Moore homology of $U=X-F$ . This gives

{\begin{matrix}&H_{BM}^{2}(F)\to &H_{2}^{BM}(X)&\to H_{2}^{BM}(U)\\\to &H_{1}^{BM}(F)\to &H_{1}^{BM}(X)&\to H_{1}^{BM}(U)\\\to &H_{0}^{BM}(F)\to &H_{0}^{BM}(X)&\to H_{0}^{BM}(U)&\to 0\end{matrix}}

Since $F$ is only three points we have $H_{1}^{BM}(F)=H_{2}^{BM}(F)=0$ . This gives us that $H_{2}^{BM}(U)=\mathbb {Z}$ . Using Poincare-duality we can compute $H_{0}^{BM}(U)=H^{2}(U)=0$ since $U$ deformation retracts to a one-dimensional CW-complex. Finally, using the computation for the homology of a compact genus 2 curve we are left with the exact sequence

0\to \mathbb {Z} ^{\oplus 4}\to H_{1}^{BM}(U)\to \mathbb {Z} ^{\oplus 3}\to \mathbb {Z} \to 0

showing

H_{1}^{BM}(U)\cong \mathbb {Z} ^{\oplus 6}

since we have the short exact sequence of free abelian groups

0\to \mathbb {Z} ^{\oplus 4}\to H_{1}^{BM}(U)\to \mathbb {Z} ^{\oplus 2}\to 0

from the previous sequence.

Notes

↑ B. Iversen. Cohomology of sheaves. Section IX.1.
↑ G. Bredon. Sheaf theory. Corollary V.12.21.
↑ B. Iversen. Cohomology of sheaves. Theorem IX.4.7.
↑ B. Iversen. Cohomology of sheaves. Equation IX.4.1.
↑ B. Iversen. Cohomology of sheaves. Equation IX.2.1.
↑ W. Fulton. Intersection theory. Lemma 19.1.1.

References

Survey Articles

Goresky, Mark, Primer on Sheaves (PDF)

Books

Borel, Armand; Moore, John C. (1960), "Homology theory for locally compact spaces", The Michigan Mathematical Journal, 7: 137–159, doi:10.1307/mmj/1028998385, ISSN 0026-2285, MR 0131271
Bredon, Glen E. (1997), Sheaf Theory (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-94905-5, MR 1481706
Fulton, William (1998), Intersection Theory (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-62046-4, MR 1644323
Iversen, Birger (1986), Cohomology of Sheaves, Berlin: Springer-Verlag, ISBN 3-540-16389-1, MR 0842190

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] B. Iversen. Cohomology of sheaves. Section IX.1.

[2] G. Bredon. Sheaf theory. Corollary V.12.21.

[3] B. Iversen. Cohomology of sheaves. Theorem IX.4.7.

[4] B. Iversen. Cohomology of sheaves. Equation IX.4.1.

[5] B. Iversen. Cohomology of sheaves. Equation IX.2.1.

[6] W. Fulton. Intersection theory. Lemma 19.1.1.