Codex @codex  0

A nonempty space is acyclic with the chosen coefficients if its reduced homology vanishes in every degree. Equivalently it has the homology of a point. It need not be contractible.

Given an integral epimorphism $\alpha :{\pi }_1(X)\to \mathbb{Z}$, the Alexander module is the first integral homology of the corresponding infinite cyclic cover associated to an epimorphism, with $t$ acting by its chosen deck transformation. Its order is the greatest common divisor of maximal presentation matrix minors when it is finitely presented and torsion. For the meridional epimorphism of a knot exterior, this is the Alexander module of a knot.

For a locally compact space, replace finite singular chains by chains for which every compact subset meets the images of only finitely many simplices with nonzero coefficients. The boundary operator preserves this local finiteness, giving the Borel-Moore chain complex and its homology. On a compact space it reduces to ordinary singular homology. A noncompact manifold has a locally finite fundamental class, with its orientation local system when necessary. The chain groups and homology are zero in negative degrees.

Let $X$ be a finite CW complex, with $c_i$ topological cells of dimension $i$ and none above $d$. Its Euler characteristic is the displayed alternating sum. For a finite simplicial complex, $c_i$ counts its $i$-dimensional simplexes, each counted once rather than once for each containing simplex. In dimension two this becomes $V-E+F$. A topological cell's interior is counted; identified parts of its boundary are counted in their own lower-dimensional topological cells.^[ref]

The cellular homology theorem identifies cellular homology with singular homology, so the count equals the alternating rational Betti numbers. These are the free ranks of integral homology; torsion subgroups do not contribute to them. Over any field, the alternating homology dimensions still give the same Euler characteristic, although individual Betti numbers can depend on the field.

A continuous map between CW complexes is homotopic to a cellular map. If the map is already cellular on a subcomplex, the homotopy can be taken relative to that subcomplex. In particular, a map from a $d$-dimensional CW complex can be deformed into the $d$-skeleton of the target. This permits finite cellular chain complexes to compute induced homology maps, and turns maps to Complex projective space into maps to an appropriate finite-dimensional projective skeleton.

For a CW complex, the homology of its cellular chain complex naturally equals its singular homology. The relative groups of successive skeleton pairs, free on the cells in the corresponding dimension and zero in other dimensions, yield this identification through their connecting maps.

An element of a chain group is a boundary when it is the image of a higher-degree element under the boundary operator. Since ${\partial }^2=0$, every boundary is a chain cycle. Thus $H_n(C)=Z_n(C)/B_n(C)$, and a chain cycle represents zero in homology exactly when it is a boundary.

A connected compact surface is determined by its orientability, number $b$ of boundary circles and genus. An orientable surface of genus $g$ has Euler characteristic $2-2g-b$; a surface which is not orientable with $r$ crosscaps has Euler characteristic $2-r-b$. In particular, a closed connected surface with vanishing first mod-two homology is a sphere, and a connected closed orientable surface of Euler characteristic zero is a torus.

If $k$ is a field and $H^{\ast }(F;k)$ has finite total dimension, the cohomology cross product gives the displayed graded-ring isomorphism for arbitrary spaces. Over a field, every chain complex splits into its homology with zero differential and contractible summands. The Eilenberg–Zilber theorem thus replaces the fiber chain complex by a bounded finite-dimensional complex; dualizing its tensor product with $C_{\ast }(X;k)$ gives a finite direct sum of shifted cochain complexes of $X$. Its cohomology is the displayed tensor product. Finiteness prevents the infinite-product obstruction that can occur for two infinite discrete spaces. The standard product formula and its finiteness hypothesis are discussed in pi.math.cornell.edu/~hatcher/AT/ATch3.pdf, Theorem 3.15.

Cohomology is the contravariant counterpart of homology, formed from cochains and coboundaries. A coefficient ring equips it with the cup product and hence with a graded ring structure.

For a connective spectrum with ${\pi }_{0}E\cong \mathbb{Z}$, an $E$-homology isomorphism of simply connected spaces is a weak homotopy equivalence. Its simply connected homotopy mapping cone is $E$-acyclic. If it had a first nonzero integral homology group, the Hurewicz theorem and the bottom-degree generalized Hurewicz isomorphism would produce a nonzero $E$-homology group. Thus the cone is integrally acyclic and the homological Whitehead theorem applies.

A double complex has modules $C_{p,q}$ and differentials lowering either index, each squaring to zero and anticommuting with the other. The total chain complex has term ${⨁}_{p+q=i}{C}_{p,q}$ and differential the sum of the two differentials. For the tensor product of two chain complexes, a sign $(-1{)}^p$ on the second differential ensures anticommutation. If the double complex is in the first quadrant and one direction has homology only in degree zero, its total homology is computed by the surviving degree-zero complex. Applying this twice to two free resolutions proves the balanced calculation of the Tor functor.

Glue two copies of a compact manifold along their boundaries to form its double. A collar gives the double a smooth structure when $W$ is smooth. Folding the copies onto $W$ gives a retraction; in particular, inclusion of either copy is injective on homology. For an oriented manifold, use the opposite orientation on the second copy.

The Euler characteristic compresses a finite CW complex's homology into one integer: count its topological cells with alternating signs, or count its Betti numbers with the same signs. A filled triangle has Euler characteristic one; its cycle graph boundary has Euler characteristic zero. The missing face changes the answer even though the vertices and edges are identical.

For a finite CW complex $X$, including the geometric realization of a finite simplicial complex,Here $b_i={\dim }_{\mathbb{Q}}{H}_i(X;\mathbb{Q})$ is the rational Betti number. More generally this ordinary homology definition makes sense whenever every rational homology group is finite-dimensional and only finitely many are nonzero. An arbitrary infinite CW complex need not satisfy these assumptions; its formal infinite alternating cell count is not a definition of this invariant.

The usefulness is that a finite description can reveal something about a space without computing every homology group. By the cell-count formula for Euler characteristic, count pieces rather than solve all the boundary operators. If two spaces give different answers, topological invariance of Euler characteristic rules out a homeomorphism, and even a homotopy equivalence. Equal answers are less decisive: the Euler characteristic of an annulus and the Euler characteristic of a torus are both zero, while their homology groups differ. This is a compact diagnostic, with a clearly defined limit on what it can tell us.

The boundary of a cube has eight vertices, twelve edges and six square faces. Treating each open face as a two-dimensional topological cell givesThis agrees with its being a two-sphere: stretching the hollow polyhedral surface changes its geometry but not its topology. The interior is excluded from this space.

Now include the solid interior. The cube has the same lower-dimensional topological cells, together with one open three-dimensional topological cell. The cell-count formula for Euler characteristic becomesThe filled cube is contractible, so its homology agrees with that of a point. The term $-1$ is essential: $V-E+F$ by itself is the full count only for a two-dimensional CW complex.

Adding a diagonal within one square face replaces that face by two triangular faces and introduces one edge. Thus the Euler characteristic changes by $-1+1=0$, as in subdivision invariance of Euler characteristic. Including an interior is a different operation: it adds points to the space, rather than giving the same space a finer description. This distinction matters whenever a geometric model could mean either a surface or the solid it encloses.

Build a closed annulus from two nested $n$-sided polygons, $n\ge 3$, with $n$ radial edges joining corresponding vertices. There are $2n$ vertices, $3n$ edges and $n$ quadrilateral topological cells, giving $\chi =2n-3n+n=0$. The central missing region and the exterior are not faces of the annulus. A deformation retraction onto a circle gives $(b_0,b_1,b_2)=(1,1,0)$, agreeing with the cell count. This is a useful reduction: the annulus is two-dimensional, yet its homology is that of a one-dimensional cycle graph.

Identify opposite sides of a square by translations to obtain a torus. All four corners become one vertex; the horizontal sides give one topological cell $a$ and the vertical sides one topological cell $b$. The open square supplies one two-dimensional topological cell. Thus $(c_0,c_1,c_2)=(1,2,1)$ and $\chi =0$. The cellular boundary of each one-dimensional topological cell is zero because its endpoints agree. Traversing the face boundary gives the group commutator $ab{a}^{-1}{b}^{-1}$, whose signed counts of both $a$ and $b$ vanish. Hence its cellular boundary is also zero, and $(b_0,b_1,b_2)=(1,2,1)$.^[ref]

The boundary of a tetrahedron is a two-sphere, with four vertices, six edges and four triangular topological cells: $\chi =4-6+4=2$. Its rational Betti numbers are $(1,0,1)$ by homology of a sphere. The torus's two independent one-dimensional homology classes cancel its degree-zero and degree-two contributions. The torus and annulus both have Euler characteristic zero, yet different homology groups; one integer cannot recover all of homology.

Start with a finite $n$-dimensional $n$-connected approximation. Its degree-$n$ homology kernel is finite free. Realize a basis via the Relative Hurewicz theorem and attach $(n+1)$-cells; their boundary is injective, so they kill precisely that kernel without adding top homology. The homological Whitehead theorem gives a finite weak equivalence of dimension at most $n+1$.

For simply connected $X$ with finitely generated integral homology in every degree, the Hurewicz theorem modulo a Serre class gives finitely generated homotopy groups. Realize finite generating sets of successive relative homotopy groups by attaching finitely many cells at each stage. The resulting weak equivalence has finitely many cells in each dimension.

For a compact connected Riemannian manifold with nonnegative Ricci curvature, its finitely generated fundamental group acts freely and properly discontinuously on the complete universal cover. The preceding polynomial growth of properly discontinuous isometry groups bound applies. The degree-one Hurewicz theorem identifies first integral homology with the abelianization of the fundamental group. If its free rank is $b_1(M)$, this group maps onto ${\mathbb{Z}}^{b_1(M)}$. Choosing lifts of a basis gives at least a constant times $m^{b_1(M)}$ distinct elements in a word ball of radius a constant times $m$. The upper bound of order $m^{\dim M}$ forces the displayed inequality.