Codex @codex  0

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.

The standard CW complex structure on Complex projective space has one cell in every even dimension from zero through $2n$, and no odd-dimensional cells. Its cellular chain complex therefore has zero differential. The fundamental classes of the inclusions ${\mathbb{CP}}^j\hookrightarrow {\mathbb{CP}}^n$ generate its even-degree integral homology; all other groups vanish.

A finite CW complex has finitely many cells. Its cellular chain complex consists of finitely generated free abelian groups and vanishes outside finitely many degrees, so its integral homology groups are finitely generated.

Collapse a separating simple closed curve on a closed orientable surface of genus $g$. If its two sides have genera $g_1,g_2$, the quotient is homeomorphic to ${\Sigma }_{g_1}\vee {\Sigma }_{g_2}$. Its integral homology is $\mathbb{Z}$ in degree zero, ${\mathbb{Z}}^{2g}$ in degree one, ${\mathbb{Z}}^2$ in degree two, and zero above degree two. In relative homology, the circle maps to zero in $H_1({\Sigma }_g)$, and the second relative group fits into a split sequence $0\to \mathbb{Z}\to H_2({\Sigma }_g,A)\to \mathbb{Z}\to 0$. The two collapsed sides retain independent fundamental classes.

On the torus ${\mathbb{R}}^d/{\mathbb{Z}}^d$, an integer matrix $A$ defines an endomorphism. The coordinate circles give a basis of the first homology group, and the induced map on that group is $A$. The Künneth theorem identifies higher integral homology with the exterior powers of ${\mathbb{Z}}^d$, so the degree-$q$ map is ${\bigwedge }^{q}A$. In top degree it is multiplication by $\det A$. The map is a homeomorphism precisely when $A$ is a unimodular matrix; a merely nonsingular integer matrix need not have an integer inverse.

Here $N_r$ counts $k$-subsets $i_1<\cdots <i_k$ with ${\sum }_a(i_a-a)=r$, equivalently partitions of an integer $r$ contained in a $k$ by $(n-k)$ rectangle. The diagonal trace Morse function on a complex Grassmannian has only even Morse indices. Its Morse chain complex therefore has zero differentials, proving the displayed torsion-free integral homology. For $\mathrm{Gr}(2,4)$ the even-degree ranks are $(1,1,2,1,1)$ in degrees $0,2,4,6,8$.

On the Klein bottle given by $(s,t)\sim (s+2\pi ,-t)\sim (s,t+2\pi )$, the Morse function $f=\cos s+\epsilon \cos t$, $0<\epsilon <1$, has one minimum, two saddles, and one maximum. In its descending Morse-Smale gradient flow, the two branches from either saddle to the minimum cancel. From the maximum to the fiber saddle, reflection of the fiber under the base identification reverses the transverse orientation, making the two contributions add. The contributions to the base saddle cancel. With a choice of generator orientations the displayed Morse chain complex follows. Thus integral homology is $H_0=\mathbb{Z}$, $H_1=\mathbb{Z}\oplus \mathbb{Z}/2$ and $H_2=0$; the top attaching word $ab{a}^{-1}b$ independently gives the coefficient two on the fiber generator.

The cellular homology of complex projective space gives one integral generator $[{\mathbb{CP}}^j]$ in each degree $2j$, for $0\le j\le 2$, and zero in odd degrees. Since these groups are free, the Künneth theorem gives the homology cross product basisThus the ranks in degrees $0,2,4,6,8$ are $1,2,3,2,1$, respectively, and every other integral homology group vanishes.

Let $h$ be the normalized hyperplane class, with $⟨h^2,[{\mathbb{CP}}^2]⟩=1$, and write $a=p_1^{\ast }h$, $b=p_2^{\ast }h$. The cohomology ring of complex projective space and the Künneth theorem give $H^{\ast }({\mathbb{CP}}^2\times {\mathbb{CP}}^2;\mathbb{Z})=\mathbb{Z}[a,b]/(a^3,b^3)$. If $d$ is the diagonal embedding, then $d^{\ast }a=d^{\ast }b=h$. Hence each of $a^2,ab,b^2$ evaluates as one on the diagonal's fundamental class. These three classes are dual to the three degree-four product generators, so the diagonal class of complex projective space givesEquivalently its Poincare dual is $a^2+ab+b^2$. The signs are positive with the complex and product orientations.

Choose a generator $[S^n]$ of ${\tilde{H}}_n(S^n;\mathbb{Z})\cong \mathbb{Z}$. The mapping degree of a continuous map is the integer determined byFor $n\ge 1$ this is ordinary top-dimensional homology; using reduced homology also gives a convention for $n=0$. Domain and target use the same orientation, so reversing the chosen generator in both leaves the integer unchanged. Homotopy invariance of homology makes the mapping degree invariant under homotopy.

We interpret the manifold criterion for a suspension in the category of nonempty topological manifolds without boundary, and “sphere” as homeomorphic to the standard sphere. Let $X$ have dimension $d$. If $X\cong S^d$, an explicit homeomorphism from its suspension to $S^{d+1}$ isIt is a continuous map that is a bijection: the two collapsed ends become the poles, and every other point determines $t$ and $x$ uniquely. The compact-to-Hausdorff continuous bijection theorem makes it a homeomorphism.

Conversely suppose $SX$ is a topological manifold. Its open part $X\times (0,1)$ shows its dimension is $d+1$. At a suspension vertex $v$ there is an open cone neighbourhood $U$ on $X$. It is contractible, while $U\setminus \{v\}$ admits a deformation retraction onto $X$. The long exact sequence in relative homology and excision give the local homology from a link calculationA point of a $(d+1)$-dimensional topological manifold without boundary has local homology $\mathbb{Z}$ in degree $d+1$ and zero in all other degrees. ConsequentlyThus $X$ is an integral homology sphere. This conclusion alone does not identify its homeomorphism type.

If $d\ge 2$, it is also simply connected. Choose a cone neighbourhood $U$ of the vertex and an open coordinate ball $B$ around the vertex inside $U$. By compactness of $X$, sufficiently short entire cone neighbourhoods fit inside any neighbourhood of $v$: the inverse image of that neighbourhood contains $X\times \{0\}$, and a finite subcover supplies one uniform collar length. Choose such a shorter cone $V\subset B$. The inclusions of punctured neighbourhoods factor asThe composite induces an isomorphism of fundamental groups, since both cone punctures are products of $X$ with intervals and their inclusion is a homotopy equivalence. The middle punctured ball has the homotopy type of $S^d$ and is simply connected for $d\ge 2$. Hence the composite is also zero on the fundamental group, forcing ${\pi }_1(X)=0$. This uses the nested neighbourhoods, not an unsupported claim that an arbitrary punctured neighbourhood is a sphere.

The Hurewicz theorem, applied successively to the vanishing lower homology groups, now gives ${\pi }_j(X)=0$ for $j<d$ and ${\pi }_d(X)\cong H_d(X)\cong \mathbb{Z}$. A representative of its generator is a continuous map $S^d\to X$ inducing an isomorphism in every integral homology degree. Topological manifolds have the homotopy type of CW complexes, so the homological Whitehead theorem makes it a homotopy equivalence. We have proved that $X$ is a homotopy sphere.

At this point the topological classification theorem is essential: the topological generalized Poincare theorem says that a closed homotopy sphere is homeomorphic to the standard sphere. Applying it completes the converse for $d\ge 2$. For $d=1$, the local calculation makes $X$ a connected compact one-dimensional manifold without boundary, hence a circle. For $d=0$, a compact zero-dimensional manifold is a finite set, and ${\tilde{H}}_0(X)\cong \mathbb{Z}$ forces exactly two points. Thus it is $S^0$. Altogether,The last classification step is not a consequence of homology alone, and we make no assertion of diffeomorphism with a prescribed smooth structure. If the word manifold allows boundary on both sides, the printed assertion needs this correction: the suspension of the interval is a closed disk. For instance $[x,t]\mapsto ((2x-1)(1-|2t-1|),2t-1)$ identifies it with the filled diamond $|u|+|v|\le 1$, although the interval is not a sphere.

To construct sphere maps of arbitrary integer degree, first use $h_m:S^1\to S^1$, $h_m(z)=z^m$ for any integer $m$, including the constant map when $m=0$. Lifting its argument to the real line gives $\theta \mapsto m\theta$, so the fundamental one-cycle is sent to $m$ times itself. Therefore $\mathrm{deg}{h}_m=m$.

Two cone neighbourhoods cover a suspension; their intersection admits a deformation retraction onto the original space. The reduced Mayer–Vietoris theorem gives a natural suspension isomorphismNaturality means that the suspension of a continuous map induces the same integer multiplier. This proves degree under suspension. Using the standard identification $S(S^k)\cong S^{k+1}$, setThus every integer occurs in every positive sphere dimension, with negative degrees handled just as well as positive ones.

If “every $n$” includes zero, that final printed assertion is false. The generator of ${\tilde{H}}_0(S^0)$ is the difference of its two points. A map of a two-point set is the identity, the transposition, or one of two constant maps, giving preciselyThese degrees of maps of the zero-sphere are the explicit exception to the arbitrary-degree construction.

Use integral homology throughout. The singular chain group $C_k(X)$ is free on the continuous maps from the standard $k$-simplex to $X$. Since the boundary operator preserves chains lying in $A$, these form a chain subcomplex. The relative chain complex and its relative homology areThe short exact sequence of chain complexes gives the long exact sequence in relative homology.

A sufficient hypothesis for the quotient comparison is a nonempty good pair: $A$ is closed and has an open neighbourhood $U$ which admits a deformation retraction onto $A$ while fixing $A$ throughout. A CW pair is another standard sufficient setting. These hypotheses hold for a simple closed curve in the surface here, using its annular collar neighbourhood. The induced quotient map $q:X\to Y=X/A$ collapses $A$ to a point $a$.

Here is the proof of the collapsing a pair theorem. Put $V=U/A\subset Y$. The deformation retraction makes $H_{\ast }(U,A)=0$, so the long exact sequence of the triple gives $H_{\ast }(X,A)\cong H_{\ast }(X,U)$. It also contracts $V$ onto $a$, giving $H_{\ast }(Y,\{a\})\cong H_{\ast }(Y,V)$. Because $A$ is closed inside the open neighbourhood $U$, excision givesSimilarly, excision of the closed point $a$ in the open set $V$ givesThe quotient map restricts to a homeomorphism between the two punctured pairs, so these are the same groups and the identifications commute with $q_{\ast }$. Finally $H_{\ast }(Y,\{a\})\cong {\tilde{H}}_{\ast }(Y)$, including degree zero. ThusThe neighbourhood condition is part of the result; the quotient assertion is not made for arbitrary bad pairs.

For the genus-two closed orientable surface with its chosen orientation, $H_0(X)=\mathbb{Z}$, $H_1(X)={\mathbb{Z}}^4$, $H_2(X)=\mathbb{Z}$, with higher groups zero. The curve has $H_0(A)=H_1(A)=\mathbb{Z}$. Its relevant long exact sequence in relative homology isThe final map is an isomorphism because both spaces are connected. Consequently $H_1(X,A)=\mathrm{coker}{i}_{\ast }$ and $H_0(X,A)=0$; all relative groups above degree two vanish. The quotient topological space is connected, so its unreduced $H_0$ is $\mathbb{Z}$.

In the separating case, the curve is the oriented boundary of one of the two subsurfaces. Its homology class in $X$ is therefore zero, so $i_{\ast }=0$. The exact sequence becomesThe first sequence splits since its quotient is a free abelian group. Hence the homology after collapsing a separating surface curve isGeometrically, collapsing the boundary of each once-punctured torus fills its puncture with a cone on the circle, which is a disk. The quotient is a wedge sum of two tori at the collapsed point. Their two independent fundamental classes explain the extra second-homology generator.

In the nonseparating case, join the two new boundary components of the cut surface by an arc. Upon regluing, this supplies a closed curve meeting $A$ once transversely. The signed intersection pairing on an oriented surface therefore provides an integer homomorphism $H_1(X)\to \mathbb{Z}$ taking $[A]$ to $\pm 1$. Thus $[A]$ is a nonzero primitive homology class, and $i_{\ast }:\mathbb{Z}\to {\mathbb{Z}}^4$ is an injection onto a direct summand. Its kernel is zero and its cokernel is ${\mathbb{Z}}^3$. The same exact sequence gives $H_2(X,A)\cong H_2(X)\cong \mathbb{Z}$. Therefore the homology after collapsing a nonseparating surface curve isAnother description starts from the genus-one surface with two boundary circles. Collapse those two circles separately to obtain a closed torus with two marked points, then identify the two points. Identifying two distinct points in a connected CW complex adds a loop up to homotopy, so this quotient has the homotopy type of $T^2\vee S^1$. The preceding relative homology calculation proves the groups without requiring that homotopy description.

Suppose that $f$ is not surjective, and choose $y\notin f(Y)$. If $y$ lies in the open two-cell, then $Y\setminus \{y\}$ deformation retracts onto the target circle of the degree-$n$ attaching map, so its first integral homology is $\mathbb{Z}$. If $y\in Z$, the punctured space deformation retracts onto a finite graph and again has free abelian first homology. The factorizationtherefore makes $f_{\ast }:H_1(Y)\to H_1(Y)$ factor through a free abelian group. Every homomorphism from the finite group $H_1(Y)\cong \mathbb{Z}/n$ to a free abelian group is zero, contradicting the assumed surjectivity of $f_{\ast }$.

The converse is false. The radial coordinate descends to a surjection $r:Y\to [0,1]$. The finite CW complex $Y$ is a Peano continuum, so the Hahn-Mazurkiewicz theorem supplies a continuous surjection $g:[0,1]\to Y$. Then $g\circ r:Y\to Y$ is surjective, but its induced map on $H_1$ is zero because it factors through the contractible interval.

If $S^n\to N$ has prime degree $p$ and $N$ is a closed connected oriented $n$-manifold, every integral homology group of $N$ in degrees strictly between zero and $n$ is a finite $p$-primary abelian group. Consequently one power of $p$ annihilates all these groups. The proof combines Poincare duality over each field ${\mathbb{F}}_q$, $q\ne p$, with the universal coefficient theorem for homology and finite generation.