Codex @codex  0

The antipodal map on the two-sphere reverses orientation, so its mapping torus is a nonorientable closed three-manifold. The Wang sequence gives $H_0=H_1=\mathbb{Z}$, $H_2=\mathbb{Z}/2$ and $H_3=0$. The universal coefficient theorem for cohomology therefore gives the cohomology ring $\mathbb{Z}[t,u]/(t^2,tu,u^2,2u)$ with $|t|=1$, $|u|=3$. The base-circle class satisfies $t^2=0$ by pullback; the other positive-degree products vanish for dimension reasons.

The connected open set $X={\mathbb{R}}^2\setminus \{(n,0):n\ge 1\}$ retracts onto a locally finite graph having one independent loop around each puncture. Hence $H_1(X;\mathbb{Z})\cong {⨁}_{n\ge 1}\mathbb{Z}$, while the universal coefficient theorem for cohomology givesan uncountable group.

Reverse a handle decomposition of a compact $n$-dimensional manifold. Absolute $k$-handles become relative $(n-k)$-handles based on the boundary. The absolute boundary matrices count attaching sphere-belt sphere intersections; the corresponding relative matrices are their transposes over ${\mathbb{F}}_2$. The absolute chain complex is thus the complementary-degree dual of the relative chain complex. The universal coefficient theorem for cohomology proves Poincare-Lefschetz duality without an orientation hypothesis.

Let $M$ be the given closed three-dimensional manifold. It is connected by the meaning of simply connected. An orientation chosen at one point can be transported along paths, and its sign change around loops defines a homomorphism ${\pi }_1(M)\to \{\pm 1\}$. Since the fundamental group is trivial, this monodromy vanishes; thus $M$ is orientable.

The first homology group is the abelianization of the fundamental group, giving $H_1(M;\mathbb{Z})=0$. Also $H_0(M;\mathbb{Z})=\mathbb{Z}$. The universal coefficient theorem for cohomology in degree one givesBoth outer groups vanish: the first because $\mathbb{Z}$ is free and the second because $H_1=0$. Hence $H^1=0$. Integral Poincare duality now gives $H_2(M;\mathbb{Z})\cong H^1(M;\mathbb{Z})=0$ and $H_3(M;\mathbb{Z})\cong H^0(M;\mathbb{Z})=\mathbb{Z}$. Homology in degrees greater than three vanishes by the same duality with negative-degree cohomology. ConsequentlyThese are precisely the homology of a sphere for $S^3$, proving that simply connected closed three-manifolds are homology spheres. No homeomorphism classification of three-manifolds is needed.

A simply connected manifold is connected and orientable: its orientation character is a group homomorphism ${\pi }_1(X)\to \{\pm 1\}$, and this group is trivial. Choose an orientation. The Hurewicz theorem in degree one gives $H_1(X;\mathbb{Z})=0$. The universal coefficient theorem for cohomology then gives $H^1(X;\mathbb{Z})=0$ andbecause the possible $\mathrm{Ext}(H_1(X),\mathbb{Z})$ term is zero.

The homology groups are finitely generated for a closed manifold. The displayed dual group is therefore free abelian. Poincare duality identifies $H_2(X;\mathbb{Z})$ with $H^2(X;\mathbb{Z})$, so $H_2$ itself has no torsion. Since the second Betti number is one, both groups are isomorphic to $\mathbb{Z}$. This torsion argument is essential: rank one by itself would not rule out finite summands.

Again by Poincare duality, $H^3(X;\mathbb{Z})\cong H_1(X;\mathbb{Z})=0$, and $H^4(X;\mathbb{Z})\cong H_0(X;\mathbb{Z})=\mathbb{Z}$. Thus the only nonzero cohomology groups are $\mathbb{Z}$ in degrees $0,2,4$.

Let $u$ generate $H^2$. The integral intersection formis unimodular. Indeed, cap product with $[X]$ is the Poincare duality isomorphism to $H_2$, and the preceding universal-coefficient identification makes evaluation the full integral dual. Composing these isomorphisms identifies the pairing with an isomorphism $H^2\to \mathrm{Hom}(H^2,\mathbb{Z})$. In rank one its matrix must therefore be $[1]$ or $[-1]$. Consequently $⟨u^2,[X]⟩=\pm 1$, so $u^2$ generates $H^4$.

All products in degrees above four vanish. Hence the assignment of the degree-two generator giveswhich is the cohomology ring of complex projective space for ${\mathbb{CP}}^2$. If the intersection form is negative, this ring isomorphism reverses the chosen top orientation generator; preserving that additional orientation is not part of the requested ring isomorphism.

This sequence cannot occur. Poincare duality and the universal coefficient theorem for cohomology implyThus a nonzero rank-two third homology group is incompatible with the proposed first homology group.

An orientation of a topological n-manifold without boundary is a choice of generator ${\mu }_x$ of each local homology group $H_n(M,M\setminus \{x\};\mathbb{Z})\cong \mathbb{Z}$, compatible in coordinate neighbourhoods. Equivalently, local orientations of coordinate discs are chosen so their overlap changes have degree $+1$. This trivializes the orientation local system.

Here the printed $H_{\mathrm{ct}}^n$ denotes compactly supported cohomology, which we write $H_c^n$. We prove the cyclicity assertion without assuming Poincare duality. By the compactly supported cohomology of Euclidean space, an open n-disc has one copy of $\mathbb{Z}$ in degree $n$ and zero in all other degrees. The compact-support Mayer–Vietoris sequence for open sets containsUse the finite good cover allowed in the paper. Induction on the number of discs shows that any union of its discs has zero compact-support cohomology above degree $n$: at each step the intersection with the new disc is itself a union of fewer discs with a good cover, so the displayed sequence and its higher-degree terms apply.

The same induction presents $H_c^n(M)$ by a generator $u_i$ for each cover disc, with overlap relations $u_i={ϵ}_{ij}{u}_j$, where ${ϵ}_{ij}=\pm 1$ is its orientation transition sign. Indeed $H_c^n$ of the intersection is generated by its overlap discs; extension by zero sends each generator to the two disc generators with these signs. Passing through the compact-support Mayer–Vietoris sequence imposes exactly those relations. This is top compactly supported cohomology from orientation signs.

Since $M$ is connected, the overlap graph is connected: a disconnection would split the union into two disjoint nonempty open subsets. A spanning tree expresses every generator as $u$ or $-u$, so $H_c^n(M)$ is cyclic. Additional overlap relations can only impose $2u=0$. If $M$ is oriented, use its compatible local orientations; every relation becomes $u_i=u_j$, and the presentation is exactly one free generator. ThusIn fact a nonorientable connected manifold has an orientation-reversing loop in this transition graph and gives $\mathbb{Z}/2$. In dimension zero the connected manifold is a point and the assertion is immediate.

For a closed oriented n-manifold, Poincare duality says that its fundamental class $[M]\in H_n(M;\mathbb{Z})$ gives isomorphisms by cap productFor an oriented manifold that is not necessarily compact, the corresponding ordinary-homology statement is $H_c^q(M;\mathbb{Z})\cong H_{n-q}(M;\mathbb{Z})$, using the locally finite fundamental class. The version without compact supports on cohomology pairs with locally finite homology instead. Orientability and the absence of boundary are essential to these untwisted formulas; for a manifold with boundary one needs Poincare-Lefschetz duality, and for a nonorientable manifold one uses the orientation local system.

For the following cases, $H_0=\mathbb{Z}$ forces connectedness. The universal coefficient theorem for cohomology givessince the Ext term from $H_0=\mathbb{Z}$ vanishes. Combining with duality yields the third homology of a closed oriented four-manifold constraint $H_3\cong \mathrm{Hom}(H_1,\mathbb{Z})$.

Put $B=\partial M$ and let $v$ be the cone vertex. Specify the convention away from the Witt case: first take intersection cohomology to mean the hypercohomology of the intersection complex $I{C}_{\bar{m}}$, normalized in degree zero on the regular stratum. The lower middle perversity at the vertex is $\bar{m}(2m+1)=m-1$. The standard local cone calculation for this convention saysand restriction to $U\simeq B$ is the identity below the cutoff. Here this can also be read directly from the construction $I{C}_{\bar{m}}={\tau }_{\le m-1}R{j}_{\ast }\mathbb{Q}$, with $j:\hat{M}\setminus \{v\}\hookrightarrow \hat{M}$: punctured conical neighbourhoods retract onto $B$, and the truncation discards the degrees above $m-1$.

Define relative intersection cohomology as the hypercohomology of the homotopy fibre of restriction, namely $R\Gamma (\hat{M},\hat{U};IC)=\mathrm{Cone}(R\Gamma (\hat{M};IC)\to R\Gamma (\hat{U};IC))[-1]$. Restricting to the pair $(M,U)$ gives a map to the corresponding ordinary relative cohomology, since $IC{|}_M={\mathbb{Q}}_M$. The induced map of exact triangles gives the requested commutative diagram:Both rows are long exact cohomology sequences of a pair. Commutativity includes the connecting homomorphisms, because they arise from the same map of restriction cones, with a common sign convention. The relative vertical maps are isomorphisms: excision removes the common conical neighbourhood, leaving precisely the manifold pair outside it, where $IC$ is constant. Also the collar retracts onto $B$, so $H^{\ast }(M,U)\cong H^{\ast }(M,B)$.

The only possible nonmanifold stratum is $v$, with link $B$ of dimension $2m$. Since intersection homology of a manifold is ordinary homology, the exact necessary and sufficient condition isThe equivalence with the defining $H_m(B;\mathbb{Q})=0$ follows from the universal coefficient theorem for cohomology over $\mathbb{Q}$. In the Witt case the cone restriction is an isomorphism through degree $m$, since both degree-$m$ groups are zero. Comparing the two exact rows, or applying the Five lemma to each five-term segment, gives $I{H}^i(\hat{M})\cong H^i(M)$ for $i\le m$. For $i>m$, both $I{H}^{i-1}(\hat{U})$ and $I{H}^i(\hat{U})$ vanish, so the top row identifies the absolute group with the relative one. HenceWithout the Witt hypothesis, comparison still gives $I{H}_{\bar{m}}^i(\hat{M})\cong H^i(M)$ for $i<m$. At degree $m$ the upper row readsThe lower row identifies the quotient by $\mathrm{im}\delta$ with the image of the relative-to-absolute map. In higher degrees both cone terms vanish. Thus the full lower-middle Deligne answer isFor clarity, if $I{H}^i$ is instead defined as the linear dual of the lower-middle intersection chains of question 1, it corresponds to the complementary upper middle perversity Deligne sheaf. Its cone group retains $H^m(B)$ as well. The same diagram then givesEquivalently the exceptional group is $H^{m+1}(M,B)/\mathrm{im}(H^m(B)\stackrel{\delta }{\to }{H}^{m+1}(M,B))$. These conventions agree under the stated Witt condition, explaining why that condition removes the ambiguity.

Take the solid torus $M=S^1\times D^2$, whose boundary is the two-dimensional torus $B=T^2$. Its ordinary cohomology is $H^0(M)=H^1(M)=\mathbb{Q}$, zero otherwise; Poincare duality for a manifold with boundary gives $H^2(M,B)=H^3(M,B)=\mathbb{Q}$ and all other relative groups zero. The lower-middle Deligne formula givesThus degrees one and two have different dimensions, so there can be no three-dimensional Poincare duality. In the dual-lower-chain convention the dimensions are $(1,1,0,1)$, which likewise fail duality. Both computations exhibit the obstruction $H^1(T^2)={\mathbb{Q}}^2\ne 0$.

Let $p:\tilde{M}\to M$ be the universal cover. Its number of sheets is $|{\pi }_1(M)|$, which is finite, so compactness of $M$ makes $\tilde{M}$ compact. As a covering space of a manifold without boundary, it is also a three-manifold without boundary. It is connected and simply connected by the definition of universal cover.

A simply connected manifold is orientable: transport of a local orientation around loops gives the orientation character ${\pi }_1(\tilde{M})\to \{\pm 1\}$, and the trivial fundamental group leaves no orientation obstruction. The degree-one Hurewicz theorem, equivalently the identification of $H_1$ with the abelianization of the fundamental group, gives $H_1(\tilde{M};\mathbb{Z})=0$. The universal coefficient theorem for cohomology then givesbecause the additional term $\mathrm{Ext}(H_0(\tilde{M};\mathbb{Z}),\mathbb{Z})$ vanishes for $H_0\cong \mathbb{Z}$. Integral Poincare duality gives $H_2(\tilde{M};\mathbb{Z})\cong H^1(\tilde{M};\mathbb{Z})=0$. Connectedness gives $H_0\cong \mathbb{Z}$, and the orientation fundamental class gives $H_3\cong \mathbb{Z}$; higher groups vanish by dimension. ConsequentlyThus the universal cover of a closed three-manifold with finite fundamental group is an integral homology sphere. No homeomorphism classification of three-manifolds is needed for this homological conclusion.

Let the integer degree of a map between oriented manifolds be $d\ne 0$, so $f_{\ast }[X]=d[Y]$. For any nonzero $\alpha \in H^k(Y;\mathbb{Q})$, nondegeneracy of the Poincare duality pairing supplies $\gamma \in H^{n-k}(Y;\mathbb{Q})$ with $⟨\alpha ⌣\gamma ,[Y]⟩\ne 0$. Naturality of the cup product and its evaluation givesThus $f^{\ast }\alpha \ne 0$, proving injectivity of pullback on rational cohomology. By the universal coefficient theorem for cohomology, these finite-dimensional rational cohomology groups are the duals of the corresponding homology groups, and the dual of $f_{\ast }$ is $f^{\ast }$. Injectivity of the dual map therefore provesOne can see the surjection constructively. Given $u\in H_k(Y;\mathbb{Q})$, choose its Poincare dual $\eta \in H^{n-k}(Y;\mathbb{Q})$ with $\eta \cap [Y]=u$. Then $v=d^{-1}(f^{\ast }\eta \cap [X])$ satisfies $f_{\ast }v=d^{-1}(\eta \cap f_{\ast }[X])=u$ by naturality of the cap product. Division by $d$ is the reason rational coefficients suffice.

The space is the mapping torus of the antipodal map $A:S^2\to S^2$. Its mapping degree is $(-1{)}^3=-1$, so transporting a fiber orientation once around the base circle reverses it. $X$ is nonorientable.

On integral fiber homology, $A_{\ast }$ is the identity in degree zero and minus the identity in degree two. The Wang sequence, whose relevant map is $1-A_{\ast }$, therefore givesThe universal coefficient theorem for cohomology shifts the torsion contribution into degree three, because ${\mathrm{Ext}}_{\mathbb{Z}}(\mathbb{Z}/2,\mathbb{Z})=\mathbb{Z}/2$. HenceLet $t\in H^1(X;\mathbb{Z})$ be pulled back from the base circle, and $u$ the nonzero degree-three class. The square of the circle class vanishes, so $t^2=0$. All other products of positive-degree classes land above dimension three and vanish. This gives the cohomology ring of the antipodal two-sphere mapping torusModulo two, $A^{\ast }$ is the identity on fiber cohomology. The cohomological Wang sequence shows that restriction $H^2(X;{\mathbb{F}}_2)\to H^2(S^2;{\mathbb{F}}_2)$ is onto; choose $y$ mapping to its generator. The classes $1,y$ restrict to a fiber basis, so the Leray-Hirsch theorem makes the total cohomology free over $H^{\ast }(S^1;{\mathbb{F}}_2)$ on those two classes. Write $\bar{t}$ for the mod-two base class. The basis is $1,\bar{t},y,\bar{t}y$, and in particular $\bar{t}y\ne 0$. Since ${\bar{t}}^2=0$ by pullback and $y^2=0$ by dimension, the mod-two cohomology ring of the antipodal two-sphere mapping torus isThe argument of Question 3 works over any field, so its use here over ${\mathbb{F}}_2$ is justified. The ring agrees with that of $S^1\times S^2$; a cohomology ring alone does not determine orientability.

The integral Poincare duality theorem says that a closed connected oriented $n$-manifold has a fundamental class $[M]\in H_n(M;\mathbb{Z})$ for which cap product gives $H^q(M;\mathbb{Z})\cong H_{n-q}(M;\mathbb{Z})$. The general Poincare duality with the orientation local system uses $[M]\in H_n(M;{\mathcal{O}}_M)$ and givesfor a local coefficient system $\mathcal{A}$. Over ${\mathbb{F}}_2$ it holds without orientability. For constant integral coefficients on a nonorientable connected closed manifold, $H_n=H^0(M;{\mathcal{O}}_M)=0$, while $H^n=H_0(M;{\mathcal{O}}_M)=\mathbb{Z}/2$: the invariants of sign reversal in $\mathbb{Z}$ are zero and its coinvariants are $\mathbb{Z}/(a\sim -a)$.

If the three-manifold is orientable, duality and the universal coefficient theorem for cohomology giveFor a nonorientable three-manifold, $H_3=0$ and $H^3=\mathbb{Z}/2$. The top-degree universal coefficient sequence therefore givesSince the homology groups are finitely generated, their cyclic decomposition shows that this Ext group is isomorphic to the torsion subgroup of $H_2$. Thus the torsion is exactly $\mathbb{Z}/2$, not the possibly larger torsion subgroup of $H_1$. Also odd-dimensional closed manifolds have zero Euler characteristic, by pairing complementary mod-two Betti numbers. If $r$ is the free rank of $H_2$, it follows that $0=\chi (M)=1-b+r$, giving the second homology of a closed nonorientable three-manifoldThe inequality is forced by the nonnegative free rank $b-1$.

For the final graded-group construction, one always has $K^0=K^3=K^6=\mathbb{Z}$, since each of these is copied from $H^0$ of a connected three-manifold. Suppose it were the cohomology of a closed six-manifold $N$. The group $K^0$ makes $N$ connected, and $K^6=\mathbb{Z}$ makes it orientable: the nonorientable alternative has top integral cohomology $\mathbb{Z}/2$, as above. Its third rational cohomology would then be one-dimensional. But the middle Poincare duality pairing on $H^3(N;\mathbb{Q})$ is nondegenerate and skew-symmetric by graded commutativity, hence must have even dimension. Equivalently, a generator $u$ would satisfy $u⌣u=-u⌣u$, so its square in the torsion-free top group is zero and the entire rank-one pairing vanishes. This contradicts duality and the even rank of middle cohomology in dimension four k plus two. ThereforeBoth existence questions have negative answers, independently of the other groups of the original three-manifold.

All homology and cohomology in this solution use ${\mathbb{F}}_2$ coefficients, so no orientation hypothesis is necessary. The Poincare-Lefschetz duality degrees are complementary:The starred notation in the question must be understood with this degree reversal.

Turn the handle decomposition upside down. An absolute $k$-handle becomes a relative $(n-k)$-handle based on $\partial W$. The absolute cellular boundary coefficient counts intersections of an attaching sphere with a belt sphere. In the reversed handle decomposition, the same intersections are counted in the opposite order. Over ${\mathbb{F}}_2$ the two incidence matrices are transposes, with no sign ambiguity. Thus the absolute chain complex is the complementary-degree dual of the relative chain complex. Taking homology and using the universal coefficient theorem for cohomology over a field proves the displayed isomorphism. This is mod-two handle duality.

To obtain a perfect pairing from the assumed closed case, form the double of a manifold $D(W)$ from two copies of $W$. The fold map $D(W)\to W$ is a retraction, so the inclusion of either copy induces an injection on homology. If $a\ne 0$ in $H_k(W)$, its image in $H_k(D(W))$ is nonzero. Closed-manifold mod-two Poincare duality supplies a class $z\in H_{n-k}(D(W))$ with intersection $1$ against that image. Cut a representative of $z$ along the boundary and retain its part in the first copy; it defines $b\in H_{n-k}(W,\partial W)$. Equivalently, apply the quotient map $D(W)\to D(W)/W_{-}\cong W/\partial W$ and excision. Intersections with a representative of $a$ in the interior are unchanged, so $a\cdot b=1$. This proves nondegeneracy in the first variable. Mod-two handle duality gives equal finite dimensions for the two spaces, hence nondegeneracy in the second variable as well.

For the three-dimensional conclusion, setThe long exact sequence in relative homology says $L=\mathrm{im}\partial$, where $\partial :H_2(W,\partial W)\to V$. The closed-surface intersection pairing on $V$ is nondegenerate. A collar calculation gives the adjoint identityIndeed, push $x$ slightly into the collar: intersections with the relative surface representing $b$ correspond to its boundary intersections with $x$. By the absolute-relative perfect pairing already proved, $x$ is orthogonal to every $\partial b$ precisely when $i_{\ast }x=0$. Therefore $L^{\perp }=L$.

For any finite-dimensional space with a perfect pairing, $\dim L+\dim L^{\perp }=\dim V$. Hence the half-lives-half-dies theorem givesBut $H_1({\mathbb{RP}}^2;{\mathbb{F}}_2)\cong {\mathbb{F}}_2$ has dimension one. It cannot be the entire boundary of a compact three-manifold, because the displayed dimension would be $1/2$. This excludes nonorientable three-manifolds as well as orientable ones.

Call this simultaneous antipodal quotient of two spheres $M$. The simultaneous antipodal map acts freely on $S^2\times S^2$, so $M$ is a connected closed manifold of dimension four. Each antipodal factor has mapping degree $-1$; their product preserves orientation. Hence $M$ is orientable.

The product $S^2\times S^2$ is simply connected, so this double covering space is the universal cover. Consequentlyusing the abelianization of the fundamental group. The Euler characteristic under a finite covering gives $\chi (M)=4/2=2$. Its rational first Betti number is zero, and Poincare duality gives $b_3=b_1=0$ and $b_0=b_4=1$. Thus $b_2=0$ as well.

The universal coefficient theorem for cohomology now gives $H^1(M;\mathbb{Z})=0$ andHere $\mathrm{Hom}(H_2(M;\mathbb{Z}),\mathbb{Z})=0$ because $b_2=0$. Integral Poincare duality further gives $H^3(M;\mathbb{Z})\cong H_1(M;\mathbb{Z})=\mathbb{Z}/2$, and $H^4(M;\mathbb{Z})=\mathbb{Z}$.

Let $a,b,c$ generate these groups in degrees $2,3,4$ respectively. The only potentially nonzero positive-degree cup product is $a^2$. But $2a^2=(2a)a=0$, while $H^4(M;\mathbb{Z})$ has no nonzero torsion subgroup, so $a^2=0$. Every other positive product vanishes by dimension. Thuswith every product of positive-degree elements equal to zero. The degree-three torsion is essential: it would be lost by computing only rational cohomology.

Define compactly supported cohomology byFor $K\subseteq L$, the transition map is induced by the identity map of pairs $(X,X\setminus L)\to (X,X\setminus K)$. Equivalently, take the cochain complex of singular cochains that vanish on every chain contained in the complement of some compact set. Directed unions are exact, giving the same definition.

For $\mathbb{R}$, the intervals $[-a,a]$, $a>0$, are cofinal among compact subsets. The complement has two contractible components. The long exact sequence in relative cohomology contains the diagonal map $\mathbb{Z}\to \mathbb{Z}\oplus \mathbb{Z}$, so its cokernel is $H^1(\mathbb{R},\mathbb{R}\setminus [-a,a])\cong \mathbb{Z}$, and all the other relative groups vanish. Enlarging the interval preserves the generator given by the difference of the two ends. Therefore

For the compact-support comparison with a one-point compactification, write $Y=X^{+}$. The assumed Hausdorff one-point compactification is compact; a compact subset $K\subseteq X$ is closed in $Y$. The Excision theorem removes $\{\infty \}$ from the pair $(Y,Y\setminus K)$, because its closure lies inside the open second member. ThusComplements of compact subsets of $X$ are exactly the open neighbourhoods of $\infty$ in $Y$. The hypothesis supplies a cofinal family of contractible such neighbourhoods $U$. For every one, the long exact sequence of the pair identifiesIn degree zero, this is the kernel of evaluation on the component of $\infty$, identified with reduced cohomology by subtracting the constant value there. In degree one the map $H^0(Y)\to H^0(U)\cong \mathbb{Z}$ is surjective; in higher degrees the positive cohomology of $U$ vanishes. These identifications are natural for inclusions of contractible neighbourhoods. Passing to the direct limit proves

For the specified disjoint union of lines, a compact subset meets only finitely many components and is bounded in each. Finite unions $F\times [-a,a]$, with $F\subset \mathbb{Z}$ finite, are cofinal. Applying the preceding relative calculation componentwise givesThe one-point compactification $W$ of this space is the Hawaiian earring: each line becomes a circle by adding the common point $\infty$, and every neighbourhood of $\infty$ contains all but finitely many whole circles. On the remaining finitely many circles it contains neighbourhoods of the common point. This describes exactly the shrinking-circle topology. In particular $W$ is not locally contractible at $\infty$: every such neighbourhood contains a whole circle, whose generator remains nontrivial under the retraction $W\to S^1$ that collapses all the other circles.

For integral singular cohomology, the comparison does not hold. Here is a degree-two obstruction that takes account of the shrinking-circle topology. The standard rational summand in Hawaiian earring homology theorem gives a direct summand $\mathbb{Q}$ in $H_1(W;\mathbb{Z})$. The universal coefficient theorem for cohomology injectsThe summand $\mathbb{Q}$ therefore contributes the nonzero Ext of the rationals with integer coefficients.

For completeness, this last algebraic assertion has an explicit proof. Present $\mathbb{Q}$ using generators $a_n=1/n!$ and relations $a_n-(n+1)a_{n+1}=0$, $n\ge 1$. The corresponding free resolution shows that ${\mathrm{Ext}}_{\mathbb{Z}}^1(\mathbb{Q},\mathbb{Z})$ is the cokernel ofThe constant sequence $(1,1,\dots )$ is not in the image. Otherwise iteration would giveFor large $N$, the factorial sum exceeds $|u_1|$ but is less than $(N+1)!-|u_1|$, making that congruence impossible. Thus the cokernel is nonzero. It follows thatwhich proves the failure of the claimed isomorphism. The ingredient concerning the Hawaiian earring is its singular-homology structure theorem, not the homology of an infinite CW complex wedge of circles; these topologies differ.

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.

Write $u=u_n\in H^n(K(\mathbb{Z}/2,n);{\mathbb{F}}_2)$ for the fundamental class. We use the path-loop Serre spectral sequence, its multiplicative structure, and the Kudo transgression theorem: transgression of the fundamental classes and their compatible Steenrod squares is natural, equivalently cohomology suspension commutes with these stable operations. The initial ring is $H^{\ast }(K(\mathbb{Z}/2,1);{\mathbb{F}}_2)={\mathbb{F}}_2[t_1]$.

Here is the low-degree calculation. In the first path fibration, $t$, $t^2$ and $t^4$ transgress respectively to $u_2$, ${\mathrm{Sq}}^1{u}_2$ and ${\mathrm{Sq}}^2{\mathrm{Sq}}^1{u}_2$, in degrees $2,3,5$. These supply all indecomposable base classes through degree five; the other classes there are products. Repeating the path-loop calculation raises the degree of the transgressive classes by one. For $n=3$, the class ${\mathrm{Sq}}^2{u}_3$ transgresses from $u_2^2$, and ${\mathrm{Sq}}^2{\mathrm{Sq}}^1{u}_3$ from the degree-five generator. For $n=4$, ${\mathrm{Sq}}^3{u}_4$ transgresses from $u_3^2$. For larger $n$ all four displayed low-degree operations are transgressive indecomposables. Acyclicity of the path-space total cohomology forces these transgressions and excludes additional classes in this range.

More systematically, this is the range up to $n+3$ of the Serre polynomial generators for mod-two Eilenberg–MacLane cohomology:For an admissible sequence of Steenrod squares, $I=(i_1,\dots ,i_r)$ has $i_j\ge 2i_{j+1}$; its degree increment is $\sum i_j$, and its Steenrod excess is $e(I)=i_1-i_2-\cdots -i_r$. Include the empty sequence. Up to increment three the nonempty possibilities are $(1),(2),(3),(2,1)$; the strict excess bound and possible products explain precisely the small-$n$ exceptions.

The low-degree mod-two cohomology of an Eilenberg–MacLane space isNegative-degree cohomology is zero. For $n=2$, ${\mathrm{Sq}}^{2}u=u^2$ and ${\mathrm{Sq}}^{3}u=0$ by instability, so the product in degree five must not be omitted. For $n=3$, ${\mathrm{Sq}}^{3}u=u^2$ is a product, still independent from ${\mathrm{Sq}}^2{\mathrm{Sq}}^{1}u$. For $n\ge 4$ the listed classes are indecomposable. The Adem relations include ${\mathrm{Sq}}^1{\mathrm{Sq}}^1=0$ and ${\mathrm{Sq}}^1{\mathrm{Sq}}^2={\mathrm{Sq}}^3$, so no further increment-three class comes from reversing the two squares.