Codex @codex  0

For a CW complex, the qth cellular chain group is the relative homology group of successive skeleta, a free abelian group with one generator for each q-cell. The attaching maps determine the cellular boundary, and the resulting cellular chain complex computes singular homology.

Work over $\mathbb{Q}$. A closed connected orientable surface of genus $g$ has Betti numbers $(1,2g,1)$; the circle has Betti numbers $(1,1)$. The Künneth theorem therefore givesWe use the following precise consequence of the Morse handle-attachment theorem: a closed manifold with a Morse function has the homotopy type of a finite CW complex with one index-$j$ cell for each index-$j$ critical point. Its degree-$j$ rational cellular chain group has dimension $c_j$, so its homology has dimension at most $c_j$. Consequently $c_j\ge b_j$, the weak Morse inequalities. Summing yieldsThis counts every critical point, regardless of whether some critical values coincide.

To attain the bound, construct a surface Morse function $h:{\Sigma }_g\to \mathbb{R}$ from the standard orientable handle decomposition: start with a disk, attach $2g$ orientable bands in the usual paired pattern forming the genus-$g$ surface with one boundary component, and cap that boundary with a disk. Give the first disk a minimum, each band one saddle with local form $-x^2+y^2$, and the final cap a maximum. Regular collar coordinates join successive levels without additional critical points. This constructs $h$ with counts $(1,2g,1)$.

On the product takeIts critical points are exactly the pairs of a critical point of $h$ with $\theta =0,\pi$. The Hessian matrix is block diagonal, with surface block $\mathrm{Hess}h$ and circle entry $-\delta \cos \theta$. It is nonsingular and its Morse index is the sum of the two factor indices. Thus this product of Morse functions has countsand exactly $4g+4$ critical points. If distinct critical values are desired, choose $\delta$ outside the finite set producing collisions after first choosing distinct critical values for $h$. The minimal Morse critical count on a circle times an orientable surface is therefore attained for every $g\ge 0$.

A CW complex is built by attaching q-dimensional discs to the $(q-1)$-skeleton along maps of their boundary spheres, with the closure-finite and weak-topology conditions. Write $X^q$ for its q-skeleton and $X^{-1}=\varnothing$. The cellular chain group isThe cellular boundary is the composite of the connecting map and the relative quotient map:Consecutive maps in the relevant exact sequences compose to zero, so these maps make a cellular chain complex. Equivalently, a boundary coefficient is the degree of the attaching sphere followed by collapse onto the sphere of a selected lower cell. Its cellular homology is $\ker d_q/\mathrm{im}{d}_{q+1}$. The relative groups of successive skeleta vanish off their cell dimension; their exact sequences identify this homology with singular homology, the cellular homology theorem.

For $k\ge 1$, the sphere $S^k$ has a zero-cell and a k-cell with zero boundary. The Complex projective space ${\mathbb{CP}}^n$ has one cell in each dimension $0,2,\dots ,2n$ and no odd cells, so all cellular boundaries vanish. ConsequentlyAt $k=0$, the sphere consists of two points and $H_0(S^0)={\mathbb{Z}}^2$; at $n=0$, projective space is a point.

Put $a=2n-2$ and $Z=S^a\times S^3$. Its product CW complex has cells in dimensions $0,3,a,a+3=2n+1$. For $n>3$, these positive dimensions are distinct and never consecutive, so all cellular boundaries vanish. ThusIts $2n$-skeleton is $S^a\vee S^3$. Collapsing it gives the quotientIt induces an isomorphism on top homology, with degree $+1$ after choosing the quotient orientation. Let $p:S^{2n+1}\to {\mathbb{CP}}^n$ be the Hopf fibration and set $\varphi =pq$, the Hopf projection of a product smash quotient.

On reduced homology, the collapse kills the two lower-dimensional classes, and the remaining top class maps to zero because projective space has no odd-dimensional homology. Therefore ${\varphi }_{\ast }=0$ in every reduced degree. On homotopy groups, ${\pi }_j(Z)\cong {\pi }_j(S^a)\oplus {\pi }_j(S^3)$ for $j\ge 2$, with summands induced by the two factor inclusions. Both inclusions are collapsed by $q$, so $q_{\ast }$ and hence ${\varphi }_{\ast }$ vanish on both summands. The domain is simply connected and connected, which also handles the lower groups.

It remains to prove that $\varphi$ is not null-homotopic. The Hopf fibration has fibre $S^1$ and has the homotopy lifting property for the CW domain $Z$: a homotopy downstairs and a lift of its initial map have a lift with that specified initial value. If $\varphi$ were homotopic to a constant, lift this homotopy starting at $q$. The ending map would land in the single fibre $S^1$. Every map $Z\to S^1$ is null-homotopic, since the simply connected domain permits its lift to the contractible universal cover $\mathbb{R}\to S^1$. Thus $q$ would be null-homotopic in $S^{2n+1}$, contradicting its nonzero top homology map. Hence