Codex @codex  0

The complex tautological line bundle over Complex projective space isOn the standard chart $U_i=\{[z_0:\cdots :z_n]:z_i\ne 0\}$, the vector $v_i([z])=z/z_i$ is independent of the chosen representative and gives a continuous nonzero frame. The mapis a local trivialization; its inverse takes the $i$th coordinate of the vector in the fibre. Hence $\lambda$ is a locally trivial complex line bundle.

Its unit sphere bundle is $S^{2n+1}$: a unit vector $v\in {\mathbb{C}}^{n+1}$ corresponds to $([v],v)$. The projection is the Hopf fibration. Regard $\lambda$ as an oriented real rank-two vector bundle using its complex orientation, and put $t=e(\lambda )\in H^2({\mathbb{CP}}^n;\mathbb{Z})$. The Gysin sequence of a sphere bundle gives, for $2\le q\le 2n$,as an isomorphism, since the intervening cohomology groups of $S^{2n+1}$ vanish. It also gives $H^1({\mathbb{CP}}^n)=0$. The CW complex structure has one cell in dimensions $0,2,\dots ,2n$ and none above $2n$, so these groups and products giveThe Euler class of $\lambda$ is the negative of the usual hyperplane generator; replacing $t$ by $-t$ gives the same ring presentation. For $n=0$ the formula reads $\mathbb{Z}$.

Now let $\alpha$ generate $H^2(S^2;\mathbb{Z})$ and let $u_i$ be its pullback from the $i$th factor of $(S^2{)}^n$. The Künneth theorem gives $H^2((S^2{)}^n;\mathbb{Z})={⨁}_i\mathbb{Z}{u}_i$. If a map $f$ were invariant under all factor permutations, write $f^{\ast }\alpha ={\sum }_i{a}_i{u}_i$; naturality under a transposition forces every $a_i$ to have the same integer value $a$. Let $\Delta :S^2\to (S^2{)}^n$ be the diagonal. ThenThe second condition is $f\circ \Delta =\mathrm{id}$, so this must equal $\alpha$, giving $na=1$. For $n>1$ this is impossible in $\mathbb{Z}$, and $\boxed{\text{no such continuous map exists}.}$ This is the diagonal-degree obstruction to a symmetric sphere retraction.

Cells and attaching maps. Regard ${\mathbb{RP}}^k$ as the lines in ${\mathbb{R}}^{k+1}$ and include ${\mathbb{RP}}^{k-1}$ as the lines whose last coordinate is zero. Its complement consists of lines with a unique representative $(x_1,\dots ,x_k,1)$, and is therefore an open $k$-cell. Inductively this makes Real projective space a CW complex with one cell in each dimension from zero to $n$.

A characteristic map is obtained from the northern closed hemisphere of $S^k$: send a unit vector to the line it spans. Its interior maps homeomorphically onto the open cell, while its equator has the antipodal identification. Thus the $k$-cell is attached by the quotient mapwhich is the antipodal two-sheeted covering. This includes the two endpoints of the one-cell attaching to the zero-cell.

The cellular chain complex has $C_k^{\mathrm{cell}}=\mathbb{Z}$ for $0\le k\le n$ and zero otherwise. To compute its differential, follow the attaching map by collapse of the $(k-2)$-skeleton. The resulting map to ${\mathbb{RP}}^{k-1}/{\mathbb{RP}}^{k-2}\cong S^{k-1}$ has two local contributions. They differ by the mapping degree $(-1{)}^k$ of the antipodal map on $S^{k-1}$. With compatible cell orientations,For $k=1$ the two oriented endpoints cancel, giving the same formula. Consecutive differentials compose to zero, as required.

The mod-two cup products. Modulo two every cellular differential vanishes, so cellular cohomology gives a one-dimensional group in each degree $0,\dots ,n$. Let $a\in H^1({\mathbb{RP}}^n;{\mathbb{F}}_2)$ be the Poincare dual of a projective hyperplane. This class is nonzero: a projective line transverse to that hyperplane meets it once. Intersecting $j$ generic projective hyperplanes produces ${\mathbb{RP}}^{n-j}$, and the cup product of their Poincare duals is the Poincare dual of that intersection. In particular, $a^n$ evaluates to one on the mod-two fundamental class. Therefore every $a^j$, $0\le j\le n$, is nonzero, since otherwise multiplying it by $a^{n-j}$ would contradict $a^n\ne 0$. Dimension makes $a^{n+1}=0$. The mod-two cohomology ring of real projective space isFor $n=0$ this simply means the cohomology of a point.

The product with integral coefficients. The final product's coefficients are unstated; take $\mathbb{Z}$ as the default. Dualizing the cellular chain complex above giveswith all unlisted groups zero. The integral Künneth theorem has tensor terms with $i+j=q$ and Tor functor terms with $i+j=q+1$:For these finite free cellular complexes it splits additively, though not canonically. Both the tensor and Tor functor of two $\mathbb{Z}/2$ summands give $\mathbb{Z}/2$, so no order-four summands occur.

For an efficient count, write $F_A(t)$ for the free-rank polynomial and $T_A(t)$ for the number of $\mathbb{Z}/2$ summands in each degree. The integral Künneth torsion polynomial rule isThe last two factors record respectively the tensor contribution in summed degree and the Tor functor contribution one degree lower. The three factors haveThe first two give $F_{23}=1+t^3$ and $T_{23}=2t^2+t^3+t^4+t^5$. Multiplying by the third givesConsequently the integral cohomology of a product of finite real projective spaces in this case isIf the intended coefficients were instead ${\mathbb{F}}_2$, the Künneth theorem over a field gives the dimension polynomialThus the mod-two groups in degrees zero through nine are respectivelyand all other degrees vanish.

A Serre fibration has the homotopy lifting property for disks: for every $k\ge 0$, a map $D^k\to E$ and a homotopy $D^k\times I\to B$ starting at its composite with $p:E\to B$ admit a compatible lift $D^k\times I\to E$. Equivalently, it has that lifting property for CW complexes. Relative lifting for CW pairs follows by attaching cells.

Let $i:F\hookrightarrow E$ be the inclusion of the chosen fiber. The long exact sequence of homotopy groups of a fibration isIts low-dimensional end isThe maps $i_{\ast }$ and $p_{\ast }$ are induced by inclusion and projection on based maps; at degree zero they send a path component to its containing or image component. The last part is an exact sequence of pointed sets, not in general a sequence of groups.

For $\partial :{\pi }_q(B)\to {\pi }_{q-1}(F)$, represent a class by a based cube $a:I^{q-1}\times I\to B$, constant at $b_0$ on its boundary. Lift it from the constant map $e_0$ on the bottom and side faces, using relative disk lifting. Its top face lands in $F$ and is constant on that face's boundary; its class is $\partial [a]$. The choice of lifts does not change the resulting class. For $q=1$, lift a based loop starting at $e_0$ and take the path component of its endpoint in $F$. This fixes the boundary-map convention and defines every map in the displayed sequence.

For the splitting assertion, first take $n\ge 1$. We use the cohomological Serre spectral sequence with coefficient group $G$:Since $B$ is simply connected, these coefficient systems are constant. The Eilenberg–MacLane space $F=K(G,n)$ has $H^t(F;G)=0$ for $0<t<n$, andFor $n=1$ this uses $H_1(F)=G$, with $G$ abelian; for $n>1$ it follows from the Hurewicz theorem and the universal coefficient theorem for cohomology. Let $u$ correspond to ${\mathrm{id}}_G$, the universal cohomology class of an Eilenberg–MacLane space.

In bidegree $(0,n)$ there are no incoming differentials. For $2\le r\le n$, an outgoing differential lands in a vanishing fiber-cohomology row. The only remaining possible differential isThus $u$ survives. The edge map, which is restriction to $F$, supplies a classBy representability of cohomology by Eilenberg–MacLane spaces, choose a based map $q:E\to K(G,n)$ representing $c$. On $F$, $q$ induces the identity on ${\pi }_n=G$ and is an isomorphism on every homotopy group, since the other positive groups vanish.

Consider $h=(p,q):E\to B\times K(G,n)$. This is a map of fibrations over $B$, whose map on the fiber is the weak equivalence just obtained. The map on the base is the identity. Comparing the two instances of the long exact sequence of homotopy groups of a fibration and applying exactness, or the Five lemma in the group-valued range, shows that $h$ induces all homotopy isomorphisms. The spaces are path-connected because the base and fiber are. Hence the splitting of a simply connected Eilenberg–MacLane fibration givesThe crucial use of $H^{n+1}(B;G)=0$ is to lift the fiber's identity class; existence of a section alone was not assumed to prove a product splitting.

If $K(G,0)$ is allowed, its components have trivial positive homotopy groups. The simply connected base has no monodromy on this discrete set. Obstruction theory on the CW base gives a section in each fiber component, since all positive-dimensional fiber obstructions vanish and the component system is constant. Together these sections give $B\times G\to E$, a weak equivalence on each component. Thus the same conclusion also covers that interpretation.

We use the James reduced product theorem and the Bott–Samelson theorem: if $X$ is a connected based CW complex with free integral homology, then $JX\to \Omega \Sigma X$ is a weak equivalence, and its induced Pontryagin ring isHere $\Sigma$ is the reduced suspension, $T$ is the tensor algebra, and the multiplication is induced by concatenating James words, hence by concatenating loops. Taking $X=S^{2n}$ supplies a single generator $x$ of degree $2n$, sois free, with one generator in every degree $2nk$ and zero in the other degrees.

The diagonal makes this a homology coalgebra. The generator $x$ is a primitive homology class:There are no nontrivial lower positive degrees in which its reduced diagonal could land. Compatibility of the diagonal with loop multiplication givesThe degree of $x$ is even, so the two tensor factors commute without a Koszul sign rule.

The universal coefficient theorem for cohomology has no Ext terms here because homology is free. Let $a_k$ be the cohomology class dual to $x^k$, with $a_0=1$ and $|a_k|=2nk$. The cup product is dual to the diagonal, henceTherefore the integral cohomology ring is the divided power algebraExplicitly $H^{2nk}=\mathbb{Z}{a}_k$ for $k\ge 0$, and all other cohomology groups vanish. In particular $a_1^k=k!a_k$: over the integers this is not a polynomial ring on $a_1$. This is the integral cohomology of an odd-sphere loop space.

For the requested homology multiplication, use the homology cross product followed by concatenation:The constant loop gives the degree-zero unit. Loop concatenation is associative up to homotopy, which suffices for associativity on homology; Moore loops can make the space-level operation strictly associative. The Künneth theorem identifies the tensor-product homology because its groups are free abelian groups. The Bott–Samelson theorem identifies this product with word multiplication, so $x^i\ast x^j=x^{i+j}$. The Pontryagin ring of an odd-sphere loop space has presentationWith only one generator the tensor algebra has the indicated polynomial presentation. The homology product and the divided-power cohomology product are different operations.

Let ${\mathcal{C}}_{\mathrm{fg}}$ be the Serre class of finitely generated abelian groups. A homomorphism is an isomorphism modulo this class when its kernel and cokernel are finitely generated. The Hurewicz theorem modulo a Serre class says that, for a simply connected space and $r\ge 2$, if ${\pi }_i(X)\in {\mathcal{C}}_{\mathrm{fg}}$ for $2\le i<r$, thenThe corresponding lower-dimensional homology condition is equivalent to the lower homotopy condition. In particular, degreewise finite generation of integral homology and homotopy are equivalent for simply connected spaces. The Serre class is closed under subgroups, quotients and extensions; these closure properties are what make the modulo-class formulation useful.

Here is the consequence needed for construction. Inductively, if the lower homotopy groups are finitely generated, the theorem gives a finitely generated kernel for $h_r$. Its image is a subgroup of the finitely generated $H_r(X)$, so the image is also finitely generated. The resulting extension proves ${\pi }_r(X)$ finitely generated. Starting with the ordinary isomorphism ${\pi }_2(X)\cong H_2(X)$ yields this for every positive degree.

We now construct a finite type CW approximation. Choose finitely many maps $S^2\to X$ generating ${\pi }_2(X)$, and let $C_2$ be their wedge. The resulting map $C_2\to X$ is $2$-connected: it is an isomorphism below degree two and a surjection in degree two. In general, call a map $r$-connected when its mapping-cylinder pair has relative homotopy groups zero through degree $r$.

Suppose $f_r:C_r\to X$ is $r$-connected and $C_r$ is a finite simply connected CW complex of dimension at most $r$. The homotopy groups of $C_r$ are finitely generated by the same modulo-class theorem, since a finite CW complex has finitely generated homology. The long exact sequence of relative homotopy groups shows thatis finitely generated: it lies between a quotient of ${\pi }_{r+1}(X)$ and a subgroup of ${\pi }_r(C_r)$. Relative groups here refer to the mapping cylinder of $f_r$.

Represent a finite set of generators by relative disks. Attach their boundary spheres to $C_r$, and extend the map over the disks by their chosen maps into $X$. This adds finitely many $(r+1)$-cells and kills the relative group in that dimension without changing lower relative groups. The new map $C_{r+1}\to X$ is $(r+1)$-connected. Iterating givesThere are finitely many cells of each dimension. Every fixed homotopy degree stabilizes to an isomorphism once sufficiently high-dimensional cells have been added, so this is the required weak equivalence:

For the bounded-homology assertion, assume first $n\ge 2$ and take the finite $n$-dimensional $C_n$ just constructed. The Relative Hurewicz theorem for its $n$-connected map givesThe relative homology sequence and $H_{n+1}(X)=0$ identify the latter withBecause $C_n$ is $n$-dimensional, $H_n(C_n)$ is a subgroup of its free cellular $n$-chain group. It is finite free, and so is $K$.

Choose a basis of $K$, lift it using the Relative Hurewicz theorem, and attach exactly those finitely many $(n+1)$-cells to $C_n$. Denote the resulting complex by $C^{\prime }$. Its new cellular boundary has image $K$ and is injective: the selected cycles are linearly independent in $H_n(C_n)$, and there are no old $(n+1)$-boundaries. ThusLower homology remains unchanged, and all higher homology is zero on both sides. The map $C^{\prime }\to X$ is an integral homology isomorphism between simply connected spaces. The homological Whitehead theorem consequently makes it a weak homotopy equivalence. Hence the finite CW approximation from bounded homology hasIf $n=0$ or $1$, simple connectivity and the homology hypothesis make all reduced homology zero. The Hurewicz theorem, applied at the first possible nonzero homotopy degree, shows that $X$ is weakly contractible, so a point suffices. If the wording requires dimension exactly $n+1$ rather than at most $n+1$, add a contractible cancelling pair of $n$- and $(n+1)$-cells, mapping constantly to the basepoint. This does not change the weak homotopy type.

A topological graph is a CW complex with only zero-dimensional and one-dimensional cells: its vertices form the zero-skeleton, and each edge is a copy of an open interval attached by its two endpoints to vertices, possibly the same vertex. It has the weak topology of a CW complex. A subgraph is a CW subcomplex, obtained by choosing vertices and edges and retaining the endpoints of every chosen edge. Loops and multiple edges are allowed.

A spanning tree is a connected spanning subgraph containing no cycle in a graph. To construct one in any connected topological graph $\Gamma$, consider all acyclic spanning subgraphs, ordered by inclusion; the subgraph with every vertex and no edges is one. The union of a chain is still acyclic, since any cycle uses only finitely many edges and would already occur in a member of the chain. The Zorn lemma therefore gives a maximal such subgraph $\Delta$.

If $\Delta$ were disconnected, a finite edge path in $\Gamma$ between vertices of two of its components would contain an edge joining different components. Adding that edge creates no cycle, contradicting maximality. Thus $\Delta$ is a spanning tree. Fix a root vertex. Each point of $\Delta$ has a unique finite path to the root; give every edge length one and move the point a fraction $s$ of the way along that path at time $s\in [0,1]$. This defines a contraction of a topological space of $\Delta$. On each closed edge times $[0,1]$, the construction takes place in a finite tree and is continuous. Since the interval is a locally finite CW complex, the product with $\Delta$ has the corresponding weak topology of a CW complex, so these restrictions establish continuity globally. ConsequentlyThis argument includes infinite graphs and does not assume local finiteness of $\Gamma$.

If $p:\tilde{\Gamma }\to \Gamma$ is a covering map, take $p^{-1}({\Gamma }^0)$ as the vertices upstairs. Each component of the inverse image of an open edge is an open interval mapping homeomorphically to that edge, because an interval is simply connected. Its parametrization lifts along the closed edge to attach its endpoints to lifted vertices, by path lifting theorem. Small star neighborhoods at vertices are lifted homeomorphically by the covering map, and give exactly the neighborhoods of the resulting topological graph. Thus the cell structure has the topology of the original covering space. The total space may be disconnected, but every component is a topological graph.

The Nielsen–Schreier formula isFor a proof, realize $F_n$ as the fundamental group of the wedge sum of $n$ circles. Construct its connected covering graph with vertices the right cosets $Hg$, and an oriented edge labeled $x_i$ from $Hg$ to $Hg{x}_i$ for each free generator $x_i$. There is exactly one incoming and one outgoing edge of each label at every vertex, which establishes the local covering map property. Reading a word from $H$ ends at its coset, so the closed paths at $H$ give exactly the words in $H$. The induced map of fundamental groups is injective by the homotopy lifting property of a covering map, and its image is $H$.

For index $d$, this covering graph has $d$ vertices and $dn$ edges. A spanning tree in it has $d-1$ edges. The permitted rank formula for a finite connected graph now givesIn particular this proves both freeness and the index formula.

If $n\ge 2$ and $d>1$, then $1+d(n-1)>n$, so a proper finite-index subgroup cannot be isomorphic to $F_n$. For $n=1$, $F_1\cong \mathbb{Z}$, and $d\mathbb{Z}$ is a proper index-$d$ subgroup isomorphic to $\mathbb{Z}$ for every $d\ge 2$. Hence

The standard CW complex structure on Real projective space has one cell in each dimension from zero to three. Its integral cellular boundary is multiplication by $2$ in even positive degrees and zero in odd degrees. Thus the integral cellular cochain complex for ${\mathbb{RP}}^3$ isin degrees $0,1,2,3$. With coefficients ${\mathbb{F}}_2$, all its differentials vanish, so every one of these four cohomology groups is one-dimensional.

The lift-and-divide construction of the Bockstein homomorphism turns the integral differential $2$ into $1$ modulo $2$. Therefore $\beta :H^1\to H^2$ is an isomorphism, while the maps from degrees $0,2,3$ are zero. The Bockstein cohomology is consequentlyFor comparison, in the mod-two cohomology ring of real projective space ${\mathbb{F}}_2[t]/(t^4)$, $|t|=1$, this says $\beta (t)=t^2$, $\beta (t^2)=0$ and $\beta (t^3)=0$. The last two formulas also follow from the Bockstein derivation rule and the truncation $t^4=0$.

For any finite-dimensional bounded cochain complex $(V^{\ast },d)$ over a field, let $r_q=\mathrm{rank}(d:V^q\to V^{q+1})$, with zero ranks outside its degree range. ThenTaking the alternating sum cancels the two rank sums. Thus taking cohomology preserves the Euler characteristic of a finite graded complex. Apply this to $V^q=H^q(M;{\mathbb{F}}_p)$ and $d=\beta$, using part (b).

A closed three-dimensional manifold has finite-dimensional cohomology, vanishing above degree three. Its Euler characteristic is zero, even when it is not orientable: Poincare duality with ${\mathbb{F}}_2$ coefficients gives $b_q=b_{3-q}$, so the alternating sum vanishes. A finite triangulation, or finite CW complex model, shows that the alternating sum is the same integer with coefficients in any field, since it equals the alternating count of cells. ThereforeThe primeness assumption makes $\mathbb{Z}/p$ a field; no orientation assumption on $M$ is needed.

Give the closed orientable surface its standard CW complex structure: one zero-cell, $2g$ one-cells, and one two-cell attached by the product of $g$ commutators. The cellular boundary of the two-cell is zero, since every edge occurs once with each orientation in that word; the one-cell boundaries are also zero. HenceHere we use the cellular homology theorem, identifying cellular and singular homology, and the universal coefficient theorem for cohomology: its exact sequence has terms $\mathrm{Ext}(H_{q-1},\mathbb{Z})$ and $\mathrm{Hom}(H_q,\mathbb{Z})$. All the homology groups here are free, so the Ext terms vanish.

The ring structure comes from Poincare duality and algebraic intersection number of curves on an oriented surface. For a closed oriented surface, cap product with its fundamental class identifies degree-one cohomology with degree-one homology; evaluating the cup product of two such classes equals the signed intersection number of their dual one-cycles. Choose the usual $g$ pairs of handle curves, each pair meeting positively once, and distinct pairs disjoint. Their dual classes can accordingly be named $a_1,b_1,\dots ,a_g,b_g$ so that, for the positive orientation class $\omega$,These formulas include squares. More generally, graded commutativity of the cup product kills every degree-one square here because $H^2$ is torsion-free. The unit generates $H^0$, and products involving $\omega$ and any positive-degree class vanish for dimensional reasons. These additive groups and multiplication rules completely describe the cohomology ring of a closed oriented surface, including $g=0$, when there are no degree-one generators. The intersection pairing is integral and unimodular, rather than merely nondegenerate over a field.

Take the normalizationThe first variation of geodesic energy says that the critical points on the fixed-endpoint path space are exactly the affinely parametrized geodesics. The kernel of the second variation of geodesic energy, or Riemannian index form, is the space of Jacobi fields vanishing at both endpoints. Hence a geodesic is a nondegenerate critical point exactly when that space is zero, or equivalently when its terminal endpoint is not a conjugate point to its initial endpoint along the given geodesic.

The Morse index theorem states that the index is the sum of the multiplicities of all conjugate points strictly inside the parameter interval:The multiplicity at the terminal endpoint gives nullity rather than an additional contribution to the index. These statements use the usual Sobolev $H^1$ completion of the path space; smooth paths have the same homotopy type.

First suppose $p\ne q$ as well as $p\ne -q$, and put $\theta =d(p,q)\in (0,\pi )$. There is a unique great circle through these two points. Every critical path runs along it with constant speed, possibly passing around it extra times. Ifthen a complete enumeration without repetitions isIts length is $L=|\ell |$. Equivalently the two positive length lists areThere are no other critical paths, because a nonconstant geodesic of the round sphere is a constant-speed great circle and its plane must contain $p,q$.

To compute conjugate points and indices of round-sphere geodesics, the round unit sphere has constant sectional curvature $1$. Along a geodesic of speed $L$, a normal Jacobi field in a parallel direction satisfies $y^{\prime \prime }+L^{2}y=0$. A field with $J(0)=0$ is therefore a constant multiple of $\sin (Lt)$ in each of the $n-1$ normal directions. Its tangential component satisfies $y^{\prime \prime }=0$ and contributes no endpoint-vanishing field. Consequently the conjugate points occur at $Lt=j\pi$, each with multiplicity $n-1$. Since neither length list contains an integer multiple of $\pi$, all the displayed critical paths are nondegenerate, and the Morse index theorem gives

The permitted case $p=q$ requires separate treatment. There is a constant geodesic, which has index and nullity zero. All other critical paths areFor each $r$, this is a family parametrized by $S^{n-1}$; both directions of traversal are included through $v$ and $-v$. The interior conjugate points number $2r-1$, and the endpoint is also conjugate. ThusThese are Morse-Bott critical manifolds for $n>1$, rather than nondegenerate critical points. For $n=1$ the same formulas give zero index and nullity, with the two isolated directions comprising $S^0$.

For the requested homology calculation, choose distinct nonantipodal endpoints. Concatenation with a fixed path back to the basepoint gives a homotopy equivalence between this fixed-endpoint path space and the based loop space $\Omega S^n$. We use the Morse cell-attachment theorem for geodesic energy: on a complete compact Riemannian manifold, the fixed-endpoint energy, when all its critical points are nondegenerate, gives a CW complex of the same homotopy type with one cell of dimension equal to the index of each critical point. One can obtain this theorem from finite-dimensional broken-geodesic approximations and ordinary Morse theory; critical energy values tend to infinity here.

The two index lists interleave to give exactly one cell in every dimension $j(n-1)$, $j\ge 0$. If $n>2$, these dimensions are separated by at least two. The cellular homology groups therefore have zero boundary maps, since no occupied cell dimension has an occupied dimension one lower. With integer coefficients,This determines the graded abelian groups. The argument does not need an identification of the multiplication on loop-space homology.

Finally apply the Freudenthal suspension theorem: for an $(n-1)$-connected based CW complex $X$, $n\ge 2$, the suspension homomorphismis an isomorphism for $k\le 2n-2$ and a surjection for $k=2n-1$. A sphere $S^n$ is $(n-1)$-connected, and its reduced suspension of a topological space is homeomorphic to $S^{n+1}$. HenceThe isomorphism is the suspension map. Its stable range is also reflected by the Morse theory cell structure of $\Omega S^{n+1}$: after its bottom $n$-cell, the next positive-dimensional cell has dimension $2n$. For the stated homology problem $n>2$, all the connectivity hypotheses apply.

A Serre fibration $p:E\to B$ has the homotopy lifting property for every disc: given $h:D^k\times I\to B$ and ${\tilde{h}}_0:D^k\to E$ with $p{\tilde{h}}_0=h(-,0)$, there is a lift $\tilde{h}$ extending ${\tilde{h}}_0$. Equivalently one may test this property on CW complexes.

For a map $g:E\to B$, its mapping-path fibration replacement isPath spaces have the compact-open topology, with the usual compactly generated convention. The inclusion $s(e)=(e,{\mathrm{const}}_{g(e)})$ satisfies $ps=g$. Forgetting the path is a homotopy inverse to $s$: shorten $\gamma$ to $u\mapsto \gamma (tu)$, from its constant initial path at $t=0$ to the original path at $t=1$. The equivalence here means a commuting triangle over the same base whose map of total spaces is a homotopy equivalence; it does not assert a fibrewise homotopy inverse over the base. Appending the successive segments of a moving base path gives the homotopy lifting property for $p$, even for arbitrary parameter spaces, so $p$ is in particular a Serre fibration. Its ordinary fibre over $b_0$ is the homotopy fibre

For a based Serre fibration, with fibre inclusion $j:F\hookrightarrow E$, the long exact sequence of homotopy groups of a fibration isThe maps $j_{\ast },p_{\ast }$ compose based sphere representatives with $j,p$; the maps on path components do the same with points. To define $\partial$, represent a class by $(I^k,\partial I^k)\to (B,b_0)$ and lift the cube starting at $e_0$ on its bottom face, keeping its vertical sides at $e_0$. The opposite face then gives $(I^{k-1},\partial I^{k-1})\to (F,e_0)$. Relative lifting for a CW pair gives this construction; its based homotopy class is independent of choices. At $k=1$ it records the component of the endpoint of the lifted loop. The last terms are pointed sets rather than groups in general.

Now write $W=S^1\vee S^n$ and let $f:W\to S^n$ be the collapse map. Inclusion of the $n$-sphere is a section, so $f_{\ast }:{\pi }_k(W)\to {\pi }_k(S^n)$ is surjective in every positive degree. Thus all connecting maps in its homotopy fibre sequence vanish. The fibre is path-connected, andThe section also gives the first assertion when $n=2$, by killing the connecting map from ${\pi }_2(S^2)$.

The universal cover of $W$ consists of a line with an $n$-sphere attached at each integer. It is homotopy equivalent to the wedge sum ${\bigvee }_{k\in \mathbb{Z}}{S}^n$. This cover is $(n-1)$-connected, so the Hurewicz theorem identifies its $n$th homotopy group with its $n$th homology. Choose a generator $t$ of the fundamental group whose action shifts the sphere indexed by $k$ to that indexed by $k+1$. The resulting homotopy groups as modules over the fundamental group giveEvery lifted sphere maps to $S^n$ with degree one. Consequently $f_{\ast }$ is the augmentation $\epsilon (\sum a_k{t}^k)=\sum a_k$, with the trivial $R$-action on $\mathbb{Z}$. The inclusion of the fibre respects the fundamental group actions, soThe augmentation ideal of the infinite cyclic group is generated by $t-1$: multiply a Laurent polynomial by a power of $t$ and use divisibility by $t-1$ when its value at one vanishes. Multiplication by $t-1$ is injective, giving the last isomorphism. This is a free module of rank one, whose underlying abelian group has countably infinite rank; its ${\pi }_1$-action is not trivial.

The real tautological line bundle has total space $E=\{(\ell ,v):\ell \in {\mathbb{RP}}^n,v\in \ell \}$ and projection $(\ell ,v)\mapsto \ell$. On the open chart $U_i=\{[x]:x_i\ne 0\}$, the vector $s_i([x])=x/x_i$ is a continuous nowhere-zero section of a vector bundle, independent of the representative of $[x]$. The explicit local trivialization iswith inverse $([x],v)\mapsto ([x],v_i)$. Both maps are continuous and linear on each fiber. The charts cover the base, proving the existence of the required local trivializations.

Let $E\to B$ be a rank-$r$ vector bundle oriented over a commutative ring $R$, with $r\ge 1$. An $R$-orientation is a coherent choice of generator of each fiber's top relative cohomology, or equivalently a Thom class $u_E$. The Thom isomorphism theorem identifies $H^{q-r}(B;R)$ with $H^q(D(E),S(E);R)$ by $a\mapsto {\pi }^{\ast }a⌣u_E$. The disk bundle retracts to $B$, and the relative-to-absolute map becomes multiplication by the Euler class $e(E)$. The pair's long exact sequence therefore becomes the Gysin sequence of a sphere bundle:With real coefficients, the bundle must be oriented in the usual sense. For the computation here use $R={\mathbb{F}}_2$, over which every real vector bundle is oriented, including the nonorientable real tautological line bundle when $n\ge 1$.

The unit sphere bundle of ${\gamma }_n$ is $S^n$: a unit vector determines its line. Put $a=e_2({\gamma }_n)=w_1({\gamma }_n)\in H^1({\mathbb{RP}}^n;{\mathbb{F}}_2)$. For $n\ge 1$, the pullback $H^0({\mathbb{RP}}^n;{\mathbb{F}}_2)\to H^0(S^n;{\mathbb{F}}_2)$ is an isomorphism, so the next connecting homomorphism is zero and multiplication by $a$ is injective on $H^0$. Since the sphere's cohomology vanishes strictly between degrees zero and $n$, exactness makes multiplication by $a$ an isomorphism $H^{q-1}\to H^q$ for $1\le q<n$, and injective for $q=n$. For $q=1$ these assertions also use the just-noted vanishing of the connecting homomorphism from $H^0(S^n)$.

The standard $n$-dimensional CW complex structure of Real projective space gives $H^q=0$ for $q>n$. Consequently the segment $H^n(S^n;{\mathbb{F}}_2)\to H^n({\mathbb{RP}}^n;{\mathbb{F}}_2)\stackrel{⌣a}{\to }{H}^{n+1}({\mathbb{RP}}^n;{\mathbb{F}}_2)=0$ makes $H^n$ at most one-dimensional. The preceding injectivity makes it exactly one-dimensional, generated by $a^n$. This includes $n=1$; $n=0$ is a point separately. We have derived the multiplication, not just the dimensions:

An odd map between spheres descends to $\bar{f}:{\mathbb{RP}}^n\to {\mathbb{RP}}^m$. The odd maps pull back the real tautological line bundle argument gives ${\gamma }_n\cong {\bar{f}}^{\ast }{\gamma }_m$: with $x$ a unit vector the fiber map is $tx\mapsto tf(x)$, unchanged when $(x,t)$ is replaced by $(-x,-t)$. Naturality of the first Stiefel–Whitney class gives ${\bar{f}}^{\ast }b=a$. If $n>m$, the relation $b^{m+1}=0$ would imply $a^{m+1}=0$ in a ring where this power is nonzero. Hence $\boxed{n\le m}$. The case $n=0$ is immediate, and the same argument rules out $m=0<n$.

For the map with separate oddness, pass to $\bar{g}:{\mathbb{RP}}^n\times {\mathbb{RP}}^n\to {\mathbb{RP}}^n$. Let $a,b$ be the degree-one classes from its two domain factors and $c$ the target class. There is an isomorphismgiven on fibers by $(sx)\otimes (ty)\mapsto stg(x,y)$; flipping either unit representative leaves this map well defined. The First Stiefel–Whitney class of a tensor product of real line bundles gives ${\bar{g}}^{\ast }c=a+b$. By the Künneth theorem,Pulling back $c^{n+1}=0$ shows that $(a+b{)}^{n+1}=0$. The two end monomials already vanish, while every interior monomial $a^j{b}^{n+1-j}$, $1\le j\le n$, is a distinct nonzero basis element. Therefore all interior binomial coefficients in row $N=n+1$ are even. To identify such rows, write $N={\sum }_{i\in I}{2}^i$. In ${\mathbb{F}}_2[t]$ repeated squaring gives $(1+t{)}^N={\prod }_{i\in I}(1+t^{2^i})$. If $I$ has at least two elements, the coefficient of $t^{2^{\min I}}$ is one and its exponent is strictly between zero and $N$, a contradiction. Thus $N$ is a power of two, as in binomial coefficients with even interior terms, andThis is the necessary cohomological obstruction to separately odd sphere multiplication; it does not assert existence in every dimension of this form.