Codex @codex  0

For a concrete example of cellular homology of real projective space, the real projective plane ${\mathbb{RP}}^2$ has one topological cell in each of dimensions zero, one and two. Its one-dimensional topological cell is a loop, and the face attaches around that loop twice. Choose orientations so that the cellular chain complex over the integers iswith nonzero chain groups in degrees two, one and zero. The twice-around attachment is why the first boundary operator shown is multiplication by two.^[ref]

Over the rational numbers, multiplication by two is invertible, so $H_2$ and $H_1$ vanish, while $H_0\cong \mathbb{Q}$. Over the finite field ${\mathbb{F}}_2$, two equals zero. Both boundary operators then vanish, giving one-dimensional homology groups in all three degrees. Their respective Betti numbers areNevertheless,The direct cell count is also $1-1+1=1$.

This calculation makes the strength and loss of information visible. The Euler characteristic survives a change of the field used for coefficients, while individual homology groups can change. Over the integers, the same chain complex has $H_1\cong \mathbb{Z}/2\mathbb{Z}$ and $H_2=0$: a torsion subgroup that rational Betti numbers do not record. The rank cancellation in the Euler-Poincare formula explains why the alternating total still agrees with the cell count.

A finite CW complex can be defined without assuming separation properties in advance. Start with a finite discrete set $X^0$. Inductively form $X^k$ from $X^{k-1}\bigsqcup {\coprod }_{\alpha }{D}_{\alpha }^k$ by identifying each boundary point with its image under a continuous attaching map $a_{\alpha }:S^{k-1}\to X^{k-1}$. Only finitely many disks are attached in total, and $X=X^N$ for some finite $N$. The interiors of the disks are its cells. Its weak topology of a CW complex is the final topology of the characteristic maps: a subset is closed exactly when its inverse image in every characteristic disk is closed. In this finite construction it is the topology obtained by the successive quotients. Closure-finiteness is automatic because there are only finitely many cells.

Here is a direct proof of both requested topological properties, without presupposing that arbitrary attaching maps give a triangulable space. Suppose the compact previous stage $Y$ embeds by $e:Y\hookrightarrow {\mathbb{R}}^m$, and attach one $k$-cell, $k\ge 1$. Extend the boundary coordinate map radially byIt is continuous at zero because the image of the sphere is bounded. Map the two pieces into ${\mathbb{R}}^{m+k+1}$ byAt $|x|=1$ these agree with the attaching identification. They therefore induce a continuous map on the quotient. Its restriction to the old stage is injective. An interior point has positive last coordinate $t=1-|x|$, and the preceding coordinate block recovers $x$ by division by $t$. Hence it cannot coincide with an old point or another interior point. The induced map is injective.

The quotient is compact, being the image of a compact disjoint union. A continuous injection into Euclidean space is Hausdorff, by inverse images of disjoint separating neighborhoods; it is also a homeomorphism onto its image because closed subsets of the compact source have compact, hence closed, images in the Hausdorff target. Finite discrete $X^0$ embeds in $\mathbb{R}$, and induction over the finite list of cells proves $X$ is Hausdorff and its weak topology is exactly an induced Euclidean subspace topology. This is Euclidean embedding by finite cell attachment; no optimal ambient dimension is needed.

For Real projective space, filter by ${\mathbb{RP}}^0\subset \cdots \subset {\mathbb{RP}}^n$. The complement of ${\mathbb{RP}}^{k-1}$ in ${\mathbb{RP}}^k$ is an affine $k$-cell. A characteristic disk is a hemisphere of $S^k$, whose boundary is attached by the antipodal quotient $S^{k-1}\to {\mathbb{RP}}^{k-1}$. Thus there is one cell in every dimension $0,\dots ,n$.

The incidence number is the sum of the two sheet contributions. Fixing the orientation of one sheet gives degree one; the other differs by the antipodal map on $S^{k-1}$, whose degree is $(-1{)}^k$. Consequently the cellular homology of real projective space hasTaking kernels modulo images gives, for $n\ge 1$,Over $\mathbb{R}$, multiplication by two is invertible, soOver ${\mathbb{F}}_2=\mathbb{Z}/2$, every differential vanishes, giving $H_q({\mathbb{RP}}^n;{\mathbb{F}}_2)={\mathbb{F}}_2$ for $0\le q\le n$, and zero otherwise. For $n=0$ the space is a point and only degree-zero homology is present, with the chosen coefficient group.

Choose real constants $a_0<a_1<\cdots <a_m$ and define the smooth homogeneous quotientIt is unchanged by nonzero rescaling, so it is well defined on Real projective space. On the unit sphere its differential vanishes on the tangent space precisely when $Ax$ is proportional to $x$, where $A=\mathrm{diag}(a_0,\dots ,a_m)$. The entries are distinct, so the only critical projective lines are $p_i=[e_i]$. In the affine chart $x_i=1$, write $u_j=x_j/x_i$ for $j\ne i$. ThenIts Hessian at zero is diagonal with entries $2(a_j-a_i)$. Exactly $i$ are negative, and none vanish. Thus this is a Morse function with one critical point $p_i$ of index $i$ for every $0\le i\le m$.

Choose the quotient of the round metric on the unit sphere. The downward gradient flow has sphere equation ${\dot{x}}_j=-2(a_j-f(x))x_j$ and projective solutionNormalization to the unit sphere supplies the common positive factor. As $t\to +\infty$, the smallest index with nonzero coordinate dominates; as $t\to -\infty$, the largest dominates. ConsequentlyThese are its unstable manifolds and stable manifolds. If $j\ge k$, the tangent directions in $W^u(p_j)$ allow coordinates $0,\dots ,j$, and those in $W^s(p_k)$ allow $k,\dots ,m$, modulo the common projective line. Together they span the full tangent space at every intersection. If $j<k$ the intersection is empty. Thus the flow is a Morse-Smale gradient flow, with no generic perturbation needed.

Orient each unstable manifold using its affine coordinates. The Morse-Smale complex has $C_i=\mathbb{Z}{p}_i$; its differential counts oriented unparametrized connecting trajectories of index difference one. A trajectory from $p_i$ to $p_{i-1}$ has only coordinates $x_{i-1},x_i$ nonzero, and there are exactly two, distinguished by the sign of $x_{i-1}/x_i$. Each sign branch is a single orbit modulo time translation.

To calculate their signs rather than merely count two, use the characteristic closed disk of the unstable cell: the closed upper hemisphere of $S^i$ with $x_i\ge 0$, followed by projection onto ${\mathbb{RP}}^i$. Its interior is $W^u(p_i)$, and its boundary map is the antipodal double cover $S^{i-1}\to {\mathbb{RP}}^{i-1}$. After collapsing ${\mathbb{RP}}^{i-2}$, its degree on the $(i-1)$-cell is the sum of the degrees of the two sheets. Comparing the sheets by the antipodal map on $S^{i-1}$ gives relative orientation $(-1{)}^i$: it is induced by $-I$ on ${\mathbb{R}}^i$, whose determinant is $(-1{)}^i$. Thus the two trajectory signs add to $1+(-1{)}^i$, up to the choice of generator orientations. The projective quadratic Morse complex is thereforeIn particular ${\partial }_1=0$, as required for the connected one-dimensional skeleton. The signed trajectory count agrees with this attaching-map incidence calculation, so it computes integral rather than only mod-two homology.

For $m\ge 1$, taking kernels modulo images givesFor example, an odd interior-degree generator has zero outgoing differential but twice itself is the image from the next degree; an even positive-degree differential is injective. At the top there is no incoming differential, leaving a copy of $\mathbb{Z}$ exactly when $m$ is odd. For $m=0$ the space is one point and only $H_0=\mathbb{Z}$ remains. This recovers the cellular homology of real projective space by explicitly constructing its Morse-Smale complex and signs.

Work first over ${\mathbb{F}}_2$. The mod-two cohomology ring of real projective space is $H^{\ast }({\mathbb{RP}}^n;{\mathbb{F}}_2)={\mathbb{F}}_2[a]/(a^{n+1})$, with $|a|=1$. A map missing a point has zero mod-two degree of a map between closed manifolds, so $f^{\ast }(a^n)=0$. The group in degree one has only two elements, so $f^{\ast }a$ is either zero or $a$. The latter would imply $f^{\ast }(a^n)=(f^{\ast }a{)}^n=a^n\ne 0$, a contradiction. Therefore $f^{\ast }a=0$, and multiplicativity makes $f^{\ast }$ zero in every positive cohomological degree. Duality of homology and cohomology over a field consequently makes $f_{\ast }$ zero in every positive degree with mod-two coefficients.

For integral coefficients, cellular homology of real projective space gives $H_k\cong \mathbb{Z}/2$ in odd degrees $0<k<n$, zero in even degrees $0<k<n$, and a top group $\mathbb{Z}$ if $n$ is odd and zero if $n$ is even. For each torsion group, the natural reduction map to mod-two homology is injective by the universal coefficient theorem for homology; naturality and the preceding vanishing imply that its integral induced map is zero. When $n$ is odd, the integral top-degree map is also zero because the nonsurjective map has integer degree of a map between oriented manifolds zero. All groups above dimension $n$ vanish. Hence $f_{\ast }$ is zero on all positive integral homology groups as well.

For $n\ge 2$, ${\pi }_1({\mathbb{RP}}^n)=\mathbb{Z}/2$, and its abelianization is already $H_1({\mathbb{RP}}^n;\mathbb{Z})$. The vanishing just proved therefore implies $f_{\ast }{\pi }_1=0$. By the lifting criterion for a covering space, $f$ lifts through the double covering space $q:S^n\to {\mathbb{RP}}^n$ to a map $\tilde{f}:{\mathbb{RP}}^n\to S^n$ with $q\tilde{f}=f$.

Choose a point $y$ missed by $f$. Both points of $q^{-1}(y)$ are missed by $\tilde{f}$. In particular the lift has image in $S^n\setminus \{z\}\cong {\mathbb{R}}^n$, for either such point $z$. This punctured sphere is contractible, so contraction there gives a homotopy from $\tilde{f}$ to a constant map into $S^n$. Composing with $q$ contracts $f$. ThusThis proves the nonsurjective self-map of real projective space is null-homotopic conclusion, and also shows that all positive-degree induced maps vanish with any coefficients.

Use cohomology with coefficients in ${\mathbb{F}}_2={\mathbb{Z}}_2$. The cellular homology of real projective space has one cell in degrees zero, one and two, and its boundary coefficients become zero modulo two. Hence there is a one-dimensional cohomology group in each of those degrees. Let $x\in H^1(P;{\mathbb{F}}_2)$ be the Poincare dual of a projective line. Two distinct projective lines intersect transversely in one point, so $⟨x^2,[P{]}_2⟩=1$. ThusThis is the mod-two cohomology ring of real projective space in dimension two. The Künneth theorem over a field makes the cross product an isomorphism of graded rings. Writing $x,y$ for the factor pullbacks givesThere are no additional signs over ${\mathbb{F}}_2$.

The obstruction to a graph avoiding the diagonal is the mod-two diagonal class of the real projective plane. Its dual class $D\in H^2(P\times P;{\mathbb{F}}_2)$ is determined bywhere $i:P\to P\times P$ is the diagonal embedding. Test $z=x^2,xy,y^2$. Each diagonal pullback is $x^2$, with evaluation one. Since $x^2{y}^2$ is the product's top generator, comparison of coefficients givesIf the submanifold were the graph of a smooth map $f:P\to P$, its parametrization would be $j=(\mathrm{id},f)$. For some $\epsilon \in {\mathbb{F}}_2$, $f^{\ast }x=\epsilon x$, and thereforeOn the other hand, the Poincare dual of the diagonal comes from its relative Thom class in $H^2(P\times P,(P\times P)\setminus \Delta ;{\mathbb{F}}_2)$. It restricts to zero on the complement. A graph disjoint from the diagonal would factor through that complement and force $j^{\ast }D=0$, a contradiction. Such a submanifold cannot be the graph of a smooth map $P\to P$. The relative Thom-class argument also applies to continuous self-maps.

For connected oriented closed manifolds of dimension $n$, the degree of a map between oriented manifolds is the integer determined bywhere the brackets are the chosen fundamental classes. Functoriality gives $\mathrm{deg}(g\circ f)=\mathrm{deg}g\mathrm{deg}f$.

Give $S^n$ its boundary orientation as the boundary of the unit ball in ${\mathbb{R}}^{n+1}$. The antipodal map is the restriction of $-I$. Its ambient determinant is $(-1{)}^{n+1}$, and it takes the outward normal at $x$ to the outward normal at $-x$. Thus its effect on the boundary orientation has this same sign, givingThe original PDF has $A:S^n\to S^n$, correcting the extra prime on the target in the TeX transcription.

For even dimension $n=2k\ge 2$, cellular homology of real projective space gives $H_n({\mathbb{RP}}^n;\mathbb{Z})=0$. Thus the composite map on top homology factors through zero, andZero is attained by constant maps.

For odd dimension $n=2k+1\ge 3$, Real projective space is orientable: the antipodal deck transformation has degree $+1$. Orient it so that the double covering map $q:S^n\to {\mathbb{RP}}^n$ has degree $2$. Since $S^n$ is simply connected, the lifting criterion for a covering space gives $f=q\circ \tilde{f}$ for a map $\tilde{f}:S^n\to S^n$. Hencewhich is even. Every even integer occurs: collapse the complement of an oriented embedded disk in ${\mathbb{RP}}^n$ to obtain a degree-one map $g:{\mathbb{RP}}^n\to S^n$, and choose $\tilde{f}$ of any prescribed integer degree $m$. Maps of all integer degrees on spheres are obtained, for example, by suspending the circle maps $z\mapsto z^m$. Setting $f=q\circ \tilde{f}$ gives degree $2m$. ThusThese are the degrees of maps factoring through real projective space. If $k=0$ is permitted in the odd-dimensional clause, there is an exception: ${\mathbb{RP}}^1\cong S^1$, so every integer degree occurs. The lifting argument requires dimension at least two. The initial connected-manifold degree definition excludes $S^0$; with the usual reduced-homology definition for self-maps of $S^0$, a factorization through the one-point ${\mathbb{RP}}^0$ has degree zero.

Finally suppose $\mathrm{deg}f=p$ is prime. Fix any prime $q\ne p$ and work over $F={\mathbb{F}}_q$. We claim that $f^{\ast }:H^r(N;F)\to H^r(S^n;F)$ is injective. If $a\ne 0$, Poincare duality supplies $b\in H^{n-r}(N;F)$ with $⟨a⌣b,[N{]}_F⟩\ne 0$. Naturality of the cup product and evaluation givesbecause $p$ is invertible in $F$. Hence $f^{\ast }a\ne 0$, proving cohomological injectivity of a map of invertible degree.

The intermediate cohomology of the sphere is zero, so $H^r(N;F)=0$ for $0<r<n$. Over a field, the universal coefficient theorem for cohomology identifies this with the dual of $H_r(N;F)$, so these homology groups vanish as well. The universal coefficient theorem for homology then givesEach integral group is a finitely generated abelian group, by the permitted finite CW complex model. Its decomposition can have no free summand, since that would survive modulo $q$, and no torsion summand divisible by any prime $q\ne p$. Thus it is a finite $p$-primary group. There are only finitely many intermediate degrees, so the exponents of their finite cyclic summands have a common bound $p^a$. Taking $a\ge 1$ also covers the case in which all the groups vanish. ThereforeThis proves that a prime-degree sphere map forces primary torsion, including one uniform exponent for all the degrees.

Put $F={\mathbb{F}}_2$. Under the usual bundle convention of a paracompact base, choose a fiber metric and let $D(E),S(E)$ be the disk bundle and sphere bundle of the rank-$n$ real vector bundle. A mod-two Thom class is a relative cohomology classwhose restriction to every fiber pair $(D^n,S^{n-1})$ is the nonzero generator. Equivalently it is a class in $H^n(E,E\setminus B;F)$, where $B$ is identified with the zero section. No orientation choices are needed over $F$.

The Thom isomorphism theorem asserts that this class exists and that, for every $r$, the mapis an isomorphism. The disk bundle retracts to the zero section $s:B\to D(E)$, so $H^r(D(E);F)\cong H^r(B;F)$. Define the mod-two Euler class $e_2(E)=s^{\ast }u\in H^n(B;F)$, where the pullback includes the passage from relative to absolute cohomology. Under the Thom identification, the map from relative to absolute cohomology sends $a$ to $a⌣e_2(E)$. Substituting into the pair's long exact sequence in cohomology gives the Gysin sequence of a sphere bundle:Here ${\pi }_{!}$ is the connecting homomorphism followed by ${\Phi }^{-1}$. Thus the sequence and the cup-product map have been derived from the Thom theorem, not just stated. The Thom/Gysin constructions are also discussed in Hatcher's Vector Bundles and K-Theory, §3.2.

The original PDF specifies the tautological bundle on ${\mathbb{RP}}^n$; the occurrences of ${\mathbb{R}}^n$ in this part of the TeX transcription have lost the projective-space symbol. Let $L\to {\mathbb{RP}}^n$ be this real line bundle. Its sphere bundle consists of pairs $(\ell ,v)$ with $v$ a unit vector in the line $\ell$, so $S(L)\cong S^n$, with projection the antipodal double covering. Write $t=e_2(L)$.

The additive mod-two groups, obtainable from the one-cell-in-each-dimension cellular chain complex, areFor $n\ge 1$, both the base and $S^n$ are connected, so ${\pi }^{\ast }:H^0({\mathbb{RP}}^n;F)\to H^0(S^n;F)$ is an isomorphism. Exactness makes the following ${\pi }_{!}$ zero and multiplication by $t$ injective from $H^0$ to $H^1$. For $1\le r<n$, the term $H^r(S^n;F)$ vanishes, so the same Gysin sequence makesinjective. Since these groups are one-dimensional, the maps are isomorphisms. Hence $1,t,\dots ,t^n$ are the respective nonzero generators, while $t^{n+1}=0$ by dimension. The mod-two cohomology ring of real projective space is thereforeFor $n=0$ this is simply $F$, with $t=0$.

For integral coefficients, the additive groups areIndeed, the cellular homology of real projective space has boundary multiplication by $2$ in even positive chain degrees and zero in odd degrees, and the integral cochain differential is its transpose. It remains to determine the products; the additive groups alone do not do so.

For $n\ge 2$, the coefficient sequence $0\to \mathbb{Z}\stackrel{2}{\to }\mathbb{Z}\to F\to 0$ has a Bockstein homomorphism $\beta$. Because $H^1({\mathbb{RP}}^n;\mathbb{Z})=0$ and $H^2({\mathbb{RP}}^n;\mathbb{Z})=\mathbb{Z}/2$, exactness makes $a=\beta (t)$ the nonzero integral degree-two class. Reduction $\rho :H^2({\mathbb{RP}}^n;\mathbb{Z})\to H^2({\mathbb{RP}}^n;F)$ is injective: its kernel is the image of multiplication by $2$, which is zero. ThusMore generally, reduction is injective in each positive even degree, and its compatibility with the cup product gives $\rho (a^j)=t^{2j}$. Consequently $a^j$ is the nonzero generator whenever $2j\le n$. Also $2a=0$, and powers beyond the dimension vanish.

If $n=2m$ is even, these powers and the unit account for all groups, so the integral cohomology ring of real projective space isIf $n=2m+1$ is odd, add an integral top-dimensional orientation class $b$ of degree $2m+1$. Its reduction is the nonzero class $t^{2m+1}$. Every product $ab$ and $b^2$ is zero by dimension, and $b$ has infinite additive order. HenceThese formulas include $m=0$: the even space is a point with ring $\mathbb{Z}$, and the odd space is a circle with ring $\mathbb{Z}[b]/(b^2)$, $|b|=1$. The polynomial presentations are interpreted with the displayed grading and products; no extra positive-degree products are left unspecified.

Write $S^n$ as the union of slightly enlarged northern and southern hemispheres $U$ and $V$. Both are contractible, while $U\cap V$ deformation retracts onto $S^{n-1}$. The reduced Mayer–Vietoris theorem therefore givesStarting from ${\tilde{H}}_0(S^0;\mathbb{Z})\cong \mathbb{Z}$ proves the homology of a sphere:This uses no cellular homology. A reflection of $S^n$ reverses its orientation and has degree of a continuous mapping $-1$, so it induces the identity on $H_0$, multiplication by $-1$ on $H_n$, and the unique map between zero groups in every other degree.

For a CW complex with skeleta $X^k$, its cellular chain complex isThe differential is the connecting map to $H_{k-1}(X^{k-1})$ followed by passage to $H_{k-1}(X^{k-1},X^{k-2})$. Equivalently, the coefficient of a $(k-1)$-cell in the boundary of a $k$-cell is the degree obtained from its attaching map after collapsing the complement of that lower cell. This is the cellular boundary formula.

The quotient $D^k/(x\sim -x\text{ on }{S}^{k-1})$ builds ${\mathbb{RP}}^k$ from ${\mathbb{RP}}^{k-1}$ by one $k$-cell, so ${\mathbb{RP}}^n$ has one cell in each dimension $0,\dots ,n$. The two lifts of the attaching map contribute with relative sign $(-1{)}^k$, and the cellular homology of real projective space has differentialConsequentlyWith ${\mathbb{F}}_2=\mathbb{Z}/2$ coefficients every differential vanishes, and hencewith zero homology outside that range.

For distinct ordered $a_0<\cdots <a_m$, the quotient $\sum a_j{x}_j^2/\sum x_j^2$ on Real projective space has one critical point $[e_i]$ of index $i$. Its descending flow is $[x_j(t)]=[e^{-2a_{j}t}{x}_j(0)]$. The unstable cell at $[e_i]$ is ${\mathbb{RP}}^i\setminus {\mathbb{RP}}^{i-1}$. Between adjacent critical points there are two trajectories, whose relative orientation is the degree $(-1{)}^i$ of the antipodal map on $S^{i-1}$. Thus, up to generator orientation, the differential is two in even degrees and zero in odd degrees. This gives the integral cellular homology of real projective space rather than only its mod-two ranks.