Codex @codex  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.

Suppose $F:{\Sigma }_g\to {\Sigma }_h$ has degree one. For degree-one classes $u,v$ on the target, naturality of the cup product and the definition of the degree of a map between oriented manifolds giveIf a nonzero $u$ had $F^{\ast }u=0$, nondegeneracy of the Poincare duality pairing would supply $v$ with nonzero right side, a contradiction. Thus $F^{\ast }$ injects the $2h$-dimensional real degree-one cohomology into the $2g$-dimensional source. Hence $g\ge h$. This is the cohomological injectivity of a degree-one map in this setting.

Conversely, for $g\ge h$, express ${\Sigma }_g$ as ${\Sigma }_h\#{\Sigma }_{g-h}$. Collapse the second punctured summand and the joining circle to a point. The quotient of the retained punctured summand by its boundary is homeomorphic to ${\Sigma }_h$, giving a continuous map to that surface. Its restriction to a small oriented disc away from the collapsing region is an orientation-preserving homeomorphism, and a point in this disc has exactly one preimage. The induced map on local top homology, and hence on the fundamental class, has coefficient $+1$. The map therefore has degree one. For $h=0$, the same construction is the familiar collapse of the complement of a disc to obtain $S^2$.

ConsequentlyThis proves both directions of the degree-one maps between closed oriented surfaces criterion. The case $g=h$ also admits the identity map.

The assertion is true. The standard filtration ${\mathbb{CP}}^0\subset \cdots \subset {\mathbb{CP}}^n$ gives one cell in each dimension $0,2,\dots ,2n$. There are no odd-dimensional cells, so all cellular differentials vanish. The cellular homology theorem and the universal coefficient theorem for cohomology give one copy of $\mathbb{Z}$ in each even degree from zero to $2n$, and zero in every other degree.

Let $x$ be the Poincare dual of a projective hyperplane, with the complex orientation. It has degree two and evaluates to $+1$ on a complex projective line, so it is the positive generator of $H^2$. We use the intersection interpretation of the cup product: the product of duals of oriented submanifolds in transverse position is the dual of their oriented intersection. Distinct transverse complex hyperplanes intersect in ${\mathbb{CP}}^{n-j}$ after $j$ intersections, with positive complex orientation. Thus $x^j$ is the dual of that linear subspace.

Pairing $x^j$ with a transverse linear ${\mathbb{CP}}^j$ gives one positively oriented intersection point. Therefore $x^j$ is a primitive generator of $H^{2j}$, for every $0\le j\le n$. There is no cohomology above dimension $2n$, so $x^{n+1}=0$. These facts show that the surjective graded ring map from $\mathbb{Z}[x]$ has exactly the indicated kernel:This proves the cohomology ring of complex projective space, rather than only its additive groups. For $n=0$ it is $\mathbb{Z}$, with $x=0$.

The assertion is false. Take $m=3$ and $n=2$. For the constant attaching map, the cell attachment gives $S^2\vee S^4$. Its degree-two generator has square zero: restricting the square to either sphere gives zero, and restrictions identify its degree-four cohomology with that of the $S^4$ summand.

For the Hopf fibration $\eta :S^3\to S^2={\mathbb{CP}}^1$, the attachment instead gives ${\mathbb{CP}}^2$. One can verify the attaching map explicitly with the characteristic mapIts interior maps homeomorphically to the complement of ${\mathbb{CP}}^1$; on the boundary it sends $(z_1,z_2)$ to $[z_1:z_2:0]$, exactly the Hopf fibration. By part (a), the degree-two generator of $H^{\ast }({\mathbb{CP}}^2;\mathbb{Z})$ has nonzero square generating degree four. HenceThe additive groups agree, but multiplication distinguishes the attachments.

The dimension condition explains why this example is the relevant one. In general the only positive-degree additive generators lie in degrees $n$ and $m+1$. A potentially nonzero product can only be the square of the degree-$n$ generator, and only when $m+1=2n$. Its coefficient is the Hopf invariant of the attaching map. Here the constant map has invariant zero, whereas the complex Hopf fibration has invariant one.

Let $m=\dim M$ and $q=m-\dim Y$. Here a closed submanifold means compact and without boundary, which is the condition needed for a compactly supported dual class. The orientations of $M$ and $Y$ orient the normal bundle ${\nu }_Y$. Its Thom class is the unique relative class of degree $q$ restricting to the chosen orientation generator on every normal fiber. A tubular neighborhood identifies this class with one near $Y$ in $M$. Choose a compact normal disc neighborhood and extend the relative class to compactly supported cohomology of $M$. Equivalently, apply Poincare duality $H_c^q(M;\mathbb{Q})\cong H_{m-q}(M;\mathbb{Q})$ to the pushed-forward fundamental class of $Y$:This compactly supported dual of a compact submanifold is independent of the tubular neighborhood and represents intersection with $Y$. Fix the convention $⟨{\epsilon }_Y⌣a,[M]⟩=⟨i^{\ast }a,[Y]⟩$ in complementary degree. Its image in ordinary cohomology restricts to zero on $M\setminus Y$, because it comes from relative cohomology supported near $Y$. If a submanifold is only closed as a subset but is noncompact, its usual dual lies in ordinary cohomology instead; compact support is not asserted in that situation.

Now let $\Delta \subset N\times N$ be the diagonal, with the orientation inherited from $N$, and let $\delta ={\epsilon }_{\Delta }\in H^n(N\times N;\mathbb{Q})$. For each $i$, choose a basis $a_{i,j}$ of $H^i(N;\mathbb{Q})$ and its dual basis $b_{i,j}$ of $H^{n-i}(N;\mathbb{Q})$ satisfying $⟨a_{i,j}⌣b_{i,k},[N]⟩={\delta }_{jk}$. The Poincare duality pairing and the Künneth theorem give the cohomology class of the diagonalThe sign can be checked from the defining identityFor $|u|=i$, moving the degree-$i$ class in the second factor past $u$ contributes $(-1{)}^i$, and interchanging $b_{i,j}$ and $u$ contributes $(-1{)}^{i(n-i)}$; the displayed coefficient cancels their product. Equivalently its exponent is $ni$ modulo two.

The cohomological pushforward between closed oriented manifolds is characterized byfor complementary degrees. This follows immediately from its definition by Poincare duality and naturality of evaluation on pushed-forward homology. In degree $i$, the matrix trace of $f^{!}{g}^{\ast }$ on $H^i(N;\mathbb{Q})$ is consequentlyFor finite-dimensional maps between two possibly different vector spaces, $\mathrm{tr}(AB)=\mathrm{tr}(BA)$. Thus this matrix trace equals that of $g^{\ast }{f}^{!}$ on $H^i(M;\mathbb{Q})$. Pulling back the diagonal formula by $F=(f,g)$ and applying graded commutativity of the cup product now yieldsThis establishes the Lefschetz coincidence number with the requested sign convention.

If $f(m)\ne g(m)$ for every $m$, the map $(f,g)$ factors through $(N\times N)\setminus \Delta$. The diagonal class restricts to zero there, so its pullback is zero and $L(f,g)=0$. Taking the contrapositive proves the Lefschetz coincidence theorem:No transversality or isolated-coincidence assumption is needed. This cohomological argument also applies to continuous maps, which covers the last request.

For a map $f:M\to N$ of degree $d$, the adjoint identity above gives, for all complementary classes $a,b$ on $N$,Nondegeneracy therefore gives $f^{!}{f}^{\ast }=d\mathrm{id}$. Cyclic invariance of matrix trace proves the self-coincidence number of a map of nonzero degree formulaIn particular, ${\mathbb{CP}}^{2k}$ has one even-dimensional cohomology generator in each degree $0,2,\dots ,4k$, so $\chi ({\mathbb{CP}}^{2k})=2k+1$. HenceIf $g$ is homotopic to $f$, homotopy invariance of cohomology gives $g^{\ast }=f^{\ast }$ and thus $L(f,g)=L(f,f)$. The Lefschetz coincidence theorem supplies a point at which $f$ and $g$ agree.

Here is an intrinsic definition that also proves well-definedness. For a complex line bundle $L$, define its First Chern class to be the Euler class of its canonically oriented underlying real rank-two bundle: pull its integral Thom class back along the zero section after forgetting relative support. The complex orientation fixes the sign, so this construction makes no arbitrary choice of generator.

For a rank-$r>0$ complex vector bundle $E$, let $\pi :\mathbb{P}(E)\to X$ be its projective bundle of lines, let $S\subset {\pi }^{\ast }E$ be the tautological bundle, and put $h=-c_1(S)=c_1(S^{\ast })$. On every fiber ${\mathbb{CP}}^{r-1}$, $h$ is the positive degree-two generator. The Leray-Hirsch theorem says that if globally defined cohomology classes restrict to a free basis of the cohomology of every fiber, then multiplication by those classes identifies the cohomology of the total space with a free module over the base. Applied here, it givesThe finite trivializing cover in the question is sufficient for this application: the assertion holds on each trivializing open set by the Künneth theorem, since the fiber has finite free cohomology, and the Mayer–Vietoris sequence and the Five lemma glue it over the finite cover. The same local argument constructs the oriented Thom class used for line bundles. It does not require a choice of classifying map.

There are therefore unique classes $c_i(E)\in H^{2i}(X;\mathbb{Z})$ such thatDefine $c_0(E)=1$ and $c_i(E)=0$ for $i>r$. For rank zero the Total Chern class is $1$. This is the projective bundle definition of Chern classes. Existence and uniqueness follow by expressing $h^r$ in the displayed free module basis, with degrees determining each coefficient. The projective bundle and tautological bundle are intrinsic to $E$, and the line Thom class is uniquely fixed by orientation. Hence the resulting Chern classes do not depend on trivializations or other auxiliary choices. For a line bundle the relation is $h+c_1(E)=0$, agreeing with the original normalization. Pulling back this unique relation also proves naturality. This standard construction and the sum theorem are treated in Vector Bundles and K-Theory, Section 3.1.

The requested result is the Whitney sum formula for Chern classes:Here $c(E)=1+c_1(E)+\cdots +c_r(E)$, and the formula holds for complex vector bundles over a common base. In particular, a trivial bundle has total Chern class $1$.

Now take $B={\mathbb{CP}}^{n-1}$ and let $L\subset B\times {\mathbb{C}}^n$ be its tautological bundle. The standard Hermitian inner product gives the rank-$(n-1)$ complex bundle $Q=L^{\perp }$, with $L\oplus Q\cong {\underline{\mathbb{C}}}^n$. The orthogonal complex line flag manifold in the question is precisely $\mathbb{P}(Q)$: over a first line $\ell$, the second line is any line in ${\ell }^{\perp }$. Local orthonormal frames give this identification as a fiber bundle, with fiber ${\mathbb{CP}}^{n-2}$.

Let $x=c_1(L^{\ast })$ on $B$, also writing $x$ for its pullback to $\mathbb{P}(Q)$. By part 3(a), $H^{\ast }(B;\mathbb{Z})=\mathbb{Z}[x]/(x^n)$. The Whitney sum formula for Chern classes givesLet $S_2$ be the second tautological line on $\mathbb{P}(Q)$, and set $y=c_1(S_2^{\ast })$. Thus $x,y$ are exactly the pullbacks of the positive hyperplane classes from the two projective factors. The projective bundle definition of Chern classes for $Q$ givesTogether with $x^n=0$, this gives a surjective graded ring mapThere are no additional relations. Indeed the second relation is monic of degree $n-1$ in $y$, so polynomial division makes its source free over $\mathbb{Z}[x]/(x^n)$ on $1,y,\dots ,y^{n-2}$. The projective bundle formula for complex vector bundles gives exactly the same free basis on the target. The map sends each basis element to its corresponding basis element, and is therefore an isomorphism. ConsequentlyThis is the cohomology ring of the orthogonal complex line flag manifold. Its additive basis is $x^i{y}^j$ with $0\le i<n$, $0\le j<n-1$. As a symmetry check, multiplying the second relation by $y-x$ gives $y^n-x^n=0$, so $y^n=0$ as expected from the second projection. For $n=2$, every line has a unique orthogonal line, and the relations become $x^2=0$, $x+y=0$, giving the ring of ${\mathbb{CP}}^1$. If $n=1$, the space is empty and the second relation is $1=0$, so the printed formula still gives the zero cohomology ring.

Use integer coefficients. The mapping-torus homology from Mayer–Vietoris works for every continuous map $f:X\to X$, without assuming that the mapping torus is a fiber bundle. Project to the time circle and choose two open arcs, one containing the seam and one away from it. The inverse image $U$ of the seam arc is a mapping cylinder neighborhood with a deformation retraction to its target copy of $X$; the inverse image $V$ of the other arc is a product with a deformation retraction to $X$. Their intersection has two components, each with a deformation retraction to $X$. Label the upper component first. With the convention that the second inclusion in the Mayer–Vietoris sequence has a minus sign, its homology map isIndeed, the upper component includes into the seam neighborhood by the identity, while retracting the lower component across the seam applies $f$. Put $u=a+b$ and $v=b$, and replace target coordinates $(p,q)$ by $(p+q,-q)$. The map becomes $((f_{\ast }-\mathrm{id})v,u)$. Negating $v$ gives a direct sum of $\mathrm{id}-f_{\ast }$ and an isomorphism. Canceling the latter summands in the long exact sequence yieldsIn particular, there is a short exact sequenceNo splitting of this short exact sequence is assumed at this stage.

For the torus, take the coordinate loops $c_1(t)=[(t,0)]$ and $c_2(t)=[(0,t)]$ as the basis of $H_1$. Their lifts to ${\mathbb{R}}^2$ have endpoint displacements $e_1,e_2$. Applying $A$ changes those displacements to its columns, soThis also follows from the identification of the first homology group with the abelianization of the fundamental group. The Künneth theorem gives $H_2(X)=\mathbb{Z}$, with generator the product orientation class. If $\alpha ,\beta$ are the dual degree-one cohomology classes, then $\alpha ⌣\beta$ evaluates to one on this generator, andThus the degree-two homology map is multiplication by $\det A$, as in homology of an integer torus endomorphism. The claim that the torus map is a homeomorphism requires $A$ to be a unimodular matrix, equivalently an integer inverse or $\det A=\pm 1$; nonsingularity over $\mathbb{R}$ alone would only give a covering map of finite degree. The particular matrix here is unimodular.

For this matrix, $\det A=1$ andIts kernel is zero and its Smith normal form is $\mathrm{diag}(1,2)$, so its cokernel is $\mathbb{Z}/2$. The maps $\mathrm{id}-f_{\ast }$ on $H_0$ and $H_2$ are zero. Substituting into the short exact sequences, and splitting the degree-one extension because its quotient $\mathbb{Z}$ is free, gives

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.

Use ${\mathbb{F}}_2$ coefficients throughout. Write $h=c_1(\mathcal{O}(1))\mathrm{mod}2$ on Complex projective space and $a=w_1({\gamma }_d)$ on Real projective space. We use the standard cohomology ring of complex projective space ${\mathbb{F}}_2[h]/(h^{d+1})$, with $|h|=2$, and the real projective calculation from the preceding solution. The complex projective calculation follows, for example, from its one cell in each even dimension together with the fact that transverse projective hyperplanes represent the powers of $h$; $d$ such hyperplanes have one intersection point.

For the standard inclusion $i:{\mathbb{RP}}^d\hookrightarrow {\mathbb{CP}}^d$, the restricted complex tautological line is ${\gamma }_d{\otimes }_{\mathbb{R}}\mathbb{C}$. As a real vector bundle it is ${\gamma }_d\oplus {\gamma }_d$, whose total Stiefel–Whitney class is $(1+a{)}^2=1+a^2$. The Stiefel–Whitney class of the underlying real bundle of a complex line identifies its degree-two class with its First Chern class reduced modulo two. Passing to the dual line defining $h$ changes only a sign, which disappears modulo two. Thus mod-two restriction from complex to real projective space gives $i^{\ast }h=a^2$. In particular the answer for dimension two is the ring mapIt sends $1$ to $1$, is an isomorphism in degree two, and sends $h^2$ to zero.

Now assume $k\ge 1$ and put $M={\mathbb{CP}}^{2k}$, $N={\mathbb{RP}}^{2k}$, $U=M\setminus N$, with inclusions $i:N\hookrightarrow M$ and $j:U\hookrightarrow M$. The real dimensions are $4k$ and $2k$, respectively. A tubular neighborhood and excision identify the cohomology of $(M,U)$ with that of the normal disk bundle relative to its sphere bundle. Every real normal bundle is oriented over ${\mathbb{F}}_2$, so the Thom isomorphism theorem givesUnder this identification the relative-to-absolute map is the cohomological Gysin map of an embedding $i_{!}$. The exact sequence of the pair is thereforeHere $\delta$ denotes the ordinary connecting homomorphism followed by the inverse of the isomorphism supplied by the Thom isomorphism theorem.

To compute $i_{!}$, use mod-two Poincare duality and its evaluation formulaFor $0\le r\le k$, take $b=a^{2r}$ and $z=h^{k-r}$. The right side is $⟨a^{2k},[N{]}_2⟩=1$. Since the target group is generated by $h^{k+r}$ and $⟨h^{2k},[M{]}_2⟩=1$, this provesOdd-degree classes have zero image because $M$ has no odd-degree cohomology. Exactness now givesFor precision, below degree $2k-1$ the restriction map is an isomorphism. In degree $2k-1$ the next map is $i_{!}:H^0(N)\to H^{2k}(M)$, an isomorphism, so the complement group is zero. In even degrees $2k+2r$, $0\le r<k$, the preceding $i_{!}$ is an isomorphism and the following odd-degree $i_{!}$ is zero; consequently $\delta :H^{2k+2r}(U)\to H^{2r+1}(N)$ is an isomorphism. The intervening odd groups and the top group $H^{4k}(U)$ vanish.

It remains to establish multiplication. Put $x=j^{\ast }h$. Since $h^k=i_{!}1$, exactness gives $x^k=0$. Choose $y\in H^{2k}(U)$ with $\delta y=a$, which is possible by the just-computed isomorphism. Naturality of the relative cup product, and the module property of the Thom isomorphism theorem, giveThus $\delta (x^{r}y)=a^{2r+1}$ for $0\le r<k$. Each class $x^{r}y$ is nonzero and generates its upper-half group, while $1,x,\dots ,x^{k-1}$ generate the lower-half groups. Also $y^2=0$ because $H^{4k}(U)=0$. These classes account for every group, so there are no further relations:By the field-coefficient Künneth theorem this is precisely the cohomology ring of ${\mathbb{CP}}^{k-1}\times S^{2k}$. For $k=1$ the relation $x=0$ leaves the sphere's ring. The calculation identifies rings and does not claim a homotopy equivalence of the spaces; $k=0$ is outside the expression involving ${\mathbb{CP}}^{k-1}$.

The ordinary Poincare duality statement here is for a compact manifold without boundary, of dimension $d$, oriented over the field $F$. Its fundamental class $[M{]}_F$ induces isomorphismsfor every $q$. For a manifold with boundary the appropriate statement is Poincare-Lefschetz duality with relative groups; the ordinary pairing need not be nondegenerate. Over a field, the universal coefficient theorem for cohomology identifies $H^{d-q}(M;F)$ with the full dual of $H_{d-q}(M;F)$. The cap-cup evaluation identity and duality therefore makea perfect pairing. Explicitly, a nonzero $a$ has a nonzero cap product, and a linear functional $b$ on its homology group takes a nonzero value on that product. The same argument in the other variable proves nonsingularity. On the whole graded cohomology, define $B(a,b)$ by taking the degree-$d$ part of $a⌣b$ before evaluation. For a nonzero component $a_q$ choose $b$ homogeneous of degree $d-q$ to pair nontrivially with it. All other components contribute zero in degree $d$. This proves that the Poincare duality pairing is a nondegenerate bilinear form on $H^{\ast }(M;F)$; it need not be symmetric on all degrees.

Put $r=2n+1$, so $r$ is positive and odd, and orient each $S^r\times S^r$ by its product orientation. The Künneth theorem gives integral cohomology $\mathbb{Z}$ in degrees zero and $2r$, ${\mathbb{Z}}^2$ in degree $r$, and zero elsewhere. Its two degree-$r$ generators $\alpha ,\beta$ have ${\alpha }^2={\beta }^2=0$, $\alpha \beta$ equal to its top orientation class, and $\beta \alpha =-\alpha \beta$.

For a connected sum of oriented manifolds, excision and the long exact sequence for deleting a ball show that deleting a ball removes the top homology class and leaves all lower positive homology groups unchanged. The boundary sphere represents zero in the punctured manifold: it is the boundary of its relative fundamental chain. In the Mayer–Vietoris sequence for the two punctured pieces joined along the separating sphere, the orientation class of the connected sum maps onto that sphere's class. The intermediate positive groups are consequently the direct sums of the groups of the two original manifolds. This also covers $r=1$, where the sphere is a circle and the boundary-class observation is necessary in the middle degree. Iterating and applying the universal coefficient theorem for cohomology givesHere $g\ge 1$; under the conventional extension $W_0=S^{2r}$ the same formula holds with a zero middle group.

Let $\omega$ be the top cohomological orientation class. The connected-sum pinch map to the wedge of the $g$ sphere products gives degree-one projections to each summand. Pull back the two factor classes from summand $i$ to obtain ${\alpha }_i,{\beta }_i$. Their product is $\omega$, since the projection has degree one. Classes from different wedge summands have zero positive-degree cup products, and graded commutativity of the cup product supplies the reversed sign. Thus the full cohomology ring of a connected sum of odd-dimensional sphere products is the graded free abelian group just displayed with multiplicationThe unit is $1$, and $\omega$ times any positive-degree class is zero by dimension. This describes all products, including ${\omega }^2=0$.

The smooth involution is a diffeomorphism, since it is its own inverse. Its fixed set is closed; discreteness and compactness therefore make it finite. The supplied positivity of $\det (I-D{f}_x)$ makes every fixed point nondegenerate with local index $+1$. The Lefschetz-Hopf fixed-point theorem then givesIndeed the degree-zero and top-degree traces are both one, because the manifold is connected and $f$ preserves its orientation; the middle degree is odd.

On $V=H^r(W_g;\mathbb{R})$, the form $\Omega (a,b)=⟨a⌣b,[W_g]⟩$ is a nondegenerate alternating bilinear form by Poincare duality and the oddness of $r$. Thus it is a symplectic vector space of dimension $2g$. Naturality and orientation preservation show that $T$ preserves $\Omega$, and $T^2=I$. For the eigenspaces of a symplectic involution, write $V=V_{+}\oplus V_{-}$: the polynomial $(t-1)(t+1)$ has distinct roots over $\mathbb{R}$. If $v_{+}\in V_{+}$ and $v_{-}\in V_{-}$, then $\Omega (v_{+},v_{-})=\Omega (T{v}_{+},T{v}_{-})=-\Omega (v_{+},v_{-})$, so the two vector subspaces are orthogonal. Each restricted form is nondegenerate, since a vector annihilating its own vector subspace also annihilates the other and hence all of $V$. Their dimensions are therefore even, say $\dim V_{+}=2a$, $\dim V_{-}=2b$, with $a+b=g$. ConsequentlyThis proves the fixed-point congruence for an involution on an odd-sphere connected sum:

Pullback of a differential form commutes with the exterior derivative, so $f^{\ast }$ gives a linear map on de Rham cohomology. Functoriality and $f\circ f=\mathrm{id}$ imply $(f^{\ast }{)}^2=I$. Over the real numbers, define the complementary projectionsThey obey $P_{\pm }^2=P_{\pm }$, $P_{+}{P}_{-}=0$ and $P_{+}+P_{-}=I$. Every cohomology class therefore decomposes asThe first term is fixed and the second negated by $f^{\ast }$. Their intersection is zero, since a class in both equals its own negative. ConsequentlyThis is the eigenspace decomposition of a linear involution. The factor $1/2$ uses the real coefficient field; a corresponding argument over characteristic two would fail. At the level of differential forms, the same averaging projections give representatives of either parity whenever the class has that parity.