Codex @codex  0

Let $\xi$ have real rank $r$, choose a bundle metric, and write $D(\xi ),S(\xi )$ for its disk and sphere bundles. In a multiplicative generalized cohomology theory, a Thom class in a generalized cohomology theory is a classwhose restriction to each fiber pair $(D^r,S^{r-1})$ is the suspension of the coefficient unit $1\in h^0(\mathrm{pt})$ under the chosen oriented identification. Equivalently, it is a fiberwise generator over the coefficient ring compatible with the $h$-orientation. Cup product with this class gives the Thom isomorphism theoremwhere $X$ is the base.

Let $z:X\to D(\xi )$ be the zero section and let $ȷ:h^r(D(\xi ),S(\xi ))\to h^r(D(\xi ))$ forget relative supports. The Euler class in a generalized cohomology theory isEquivalently, identify relative cohomology with reduced cohomology of the Thom space and pull its Thom class back along the zero section followed by the quotient map.

Suppose $s$ is a nowhere-zero section. Normalize it to $\hat{s}(x)=s(x)/\Vert s(x)\Vert \in S(\xi {)}_x$. The mapsgive a homotopy within $D(\xi )$ from $z$ to the sphere-valued section $\hat{s}$. The image $ȷ(u_h(\xi ))$ restricts to zero on $S(\xi )$, by the exact sequence of the pair. Homotopy invariance therefore yieldsThus a nowhere-zero section annihilates generalized Euler classes:The argument uses the actual nowhere-zero section and is valid for any chosen Thom orientation in the multiplicative theory.

Write $M{U}^{\ast }={\Omega }_U^{\ast }$ for complex cobordism. A complex orientation of a smooth map is chosen stable complex normal data, not a complex structure on either manifold separately. More concretely, replace the continuous map by a homotopic smooth map $f_0$, choose an embeddingand give its normal bundle ${\nu }_j$ a stable complex structure on a real vector bundle. The auxiliary dimension can be chosen so the normal rank is even; further stabilization makes the normal bundle actually complex. Equivalence means stabilization by trivial complex summands and homotopy of the oriented embedding data. The stable identityidentifies this as orientation of the relative stable normal bundle. For odd relative codimension one uses an odd auxiliary suspension coordinate; the degree formula below is unchanged. This is the geometric factorization model for complex-oriented maps used in Algebraic and Geometric Topology 18, geometric cobordism discussion.

Let $d=\dim Y-\dim X$ and $r={\mathrm{rank}}_{\mathbb{R}}{\nu }_j=d+N$. The chosen normal orientation gives a Thom class $u_{{\nu }_j}$ of degree $r$ and the Thom isomorphism in complex cobordism. For compact manifolds the Pontryagin-Thom collapse of a tubular neighborhood to its Thom space isFor $a\in M{U}^q(X)$, define the Gysin map in complex cobordism by the compositeThus $f_{!}$ raises degree by the real relative codimension $d$. This definition depends on the specified orientation and is invariant under the stated equivalences of its normal data. The plus sign on a space denotes adjoining a disjoint basepoint.

For the embedding $i:L\hookrightarrow M$ with normal rank $2n$, let $c:M_{+}\to \mathrm{Th}(\nu )$ be its tubular collapse. The Thom construction gives $i_{!}(1)=c^{\ast }{u}_{\nu }$. Restricted to $L$, this collapse is exactly the zero section $z:L\to \mathrm{Th}(\nu )$. ThereforeThis is the self-intersection formula in complex cobordism. For an actual complex rank-$n$ normal bundle its top Chern class in complex cobordism is the zero-section pullback of its Thom class, so the right side is $c_n^{MU}(\nu )$. Equivalently, under the splitting principle for complex vector bundles both are the product of the first Chern classes of the line summands. The same argument gives $i^{\ast }{i}_{!}(a)=a{e}_{MU}(\nu )$ for every $a$.

There is a real distinction if the printed word “stable” is interpreted literally. The Euler class of a stably complex real bundle need not equal $c_n^{MU}$ of its stable complex class. For the diagonal embedding $S^4\hookrightarrow S^4\times S^4$, the normal bundle is $T{S}^4$. It has a stable complex structure withso its stable complex rank-two class is trivial and has second Chern class zero. However the ordinary integral image of $i^{\ast }{i}_{!}(1)$ is $e(T{S}^4)$, which evaluates to the Euler characteristic $2$. Thus the always-valid answer is the cobordism Euler class. The requested top-Chern identification is valid for an actual complex normal bundle, or if “top Chern class” here is explicitly being used as the Euler-class terminology for the chosen normal orientation.

For a rank-$r$ real vector bundle with a fiber metric, the Thom isomorphism theorem says that if the bundle is oriented over the coefficient ring $R$, there is a Thom class $u\in H^r(D(E),S(E);R)$ restricting to the chosen generator on every fiber pair, andis an isomorphism. For $R={\mathbb{F}}_2$, every real vector bundle has the required orientation. The disk bundle retracts to $B$, so apply the pair long exact sequence and the Thom isomorphism to get the Gysin sequence of a sphere bundleThe first map is multiplication by the Euler class of a vector bundle, the pullback to the zero section of the absolute image of $u$. The connecting map followed by inverse Thom isomorphism gives ${\pi }_{!}$.

Apply this over ${\mathbb{F}}_2$ to the tautological real line bundle $\gamma$ on ${\mathbb{RP}}^n$. Its unit sphere bundle is $S^n$, with projection sending a unit vector to its line. Put $a=e_2(\gamma )=w_1(\gamma )\in H^1({\mathbb{RP}}^n;{\mathbb{F}}_2)$, the mod-two Euler class of a real line bundle. For $n\ge 1$ the degree-zero pullback $H^0({\mathbb{RP}}^n)\to H^0(S^n)$ is an isomorphism. Exactness therefore makes the subsequent transfer zero, and multiplication by $a$ from $H^0$ into $H^1$ injective. In intermediate degrees the sphere cohomology vanishes, making each successive multiplication by $a$ an isomorphism. At degree $n$, the map from $H^{n-1}$ into $H^n$ is injective; the transfer $H^n(S^n)\to H^n({\mathbb{RP}}^n)$ is surjective because $H^{n+1}({\mathbb{RP}}^n)=0$. Since $H^n(S^n)={\mathbb{F}}_2$, that top group is one-dimensional too, and $a^n$ is its nonzero generator. The same endpoint reasoning covers $n=1$. This gives the Gysin proof of mod-two projective-space cohomology and the mod-two cohomology ring of real projective space:For $n=0$ this says simply $H^{\ast }({\mathbb{RP}}^0)={\mathbb{F}}_2$.

For a self-map of ${\mathbb{RP}}^4$, the induced map has $f^{\ast }a=\lambda a$ with $\lambda \in {\mathbb{F}}_2$, so $f^{\ast }{a}^j={\lambda }^j{a}^j$. The mod-two alternating trace isfor either value of $\lambda$. The alternating trace on homology equals that on the finite cellular chain complex; consequently this is the reduction modulo two of the integral Lefschetz number. That integer is nonzero, and the Lefschetz fixed-point theorem forces a fixed point. Thus every self-map of the real projective four-space has a fixed point, a case of the Lefschetz fixed-point property of even-dimensional real projective space.

For the odd-dimensional example, let $J(x_1,x_2,x_3,x_4)=(-x_2,x_1,-x_4,x_3)$, so $J^2=-I$. Its projectivization isIt is well-defined and continuous on ${\mathbb{RP}}^3$. A fixed projective point would have $Jv=tv$ for a nonzero real vector and real $t$, forcing $-v=J^{2}v=t^{2}v$ and therefore $t^2=-1$, impossible. This is a fixed-point-free complex-structure map on odd-dimensional real projective space.

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

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

Work first with coefficients ${\mathbb{F}}_2$. For a rank-$r$ real vector bundle $E\to B$ over a CW complex, choose a fibre metric and its disk bundle $D(E)$ and sphere bundle $S(E)$. The mod-two Thom class is the unique class $U\in H^r(D(E),S(E);{\mathbb{F}}_2)$ restricting to the nonzero generator on every fibre pair. The Thom isomorphism theorem asserts thatNo orientation of the vector bundle is needed with these coefficients.

Let $j:H^{\ast }(D(E),S(E))\to H^{\ast }(D(E))$ forget the relative condition, and let $s:B\to D(E)$ be the zero section. Set $e_2(E)=s^{\ast }j(U)$, the top Stiefel–Whitney class $w_r(E)$. Since $D(E)$ retracts onto the zero section, $j(U)={\pi }^{\ast }{e}_2(E)$. Thus the relative-to-absolute map corresponds under the Thom isomorphism theorem to multiplication by $e_2(E)$. Substituting these identifications into the long exact sequence in relative cohomology of $(D(E),S(E))$ gives the unoriented Gysin sequencewhere $p$ is the sphere bundle projection.

Apply this to the real tautological line bundle ${\gamma }_n\to {\mathbb{RP}}^n$. Its sphere bundle is $S^n$, with projection the antipodal double cover, and put $t=e_2({\gamma }_n)\in H^1({\mathbb{RP}}^n;{\mathbb{F}}_2)$. Suppose $n\ge 1$. The map on $H^0$ from the connected base to the connected sphere is an isomorphism, so exactness shows that multiplication by $t$ is injective from $H^0$ to $H^1$. Since both groups are one-dimensional, $t$ is a generator.

For $1<j<n$, the adjacent sphere cohomology groups in the Gysin sequence vanish, so multiplication by $t$ is an isomorphism from degree $j-1$ to degree $j$. If $n>1$, the top portion isThe last nonzero arrow is surjective between one-dimensional groups, hence an isomorphism; the preceding arrow is zero, so multiplication by $t$ is again an isomorphism. For $n=1$ the earlier $H^0$ argument already gives the top multiplication. Thus $1,t,\dots ,t^n$ are the nonzero generators in their respective degrees, while $t^{n+1}=0$ by dimension. We obtainFor $n=0$ this says simply $H^{\ast }({\mathbb{RP}}^0;{\mathbb{F}}_2)={\mathbb{F}}_2$, with $t=0$. This computes the mod-two cohomology ring of real projective space, including its multiplication rather than only its additive groups.

Now use integral coefficients and an oriented rank-$n$ vector bundle. Its orientation selects an integral Thom class $U$. Define its Euler class byAgain $j(U)={\pi }^{\ast }e(E)$. The cup product of two relative classes in $H^{\ast }(D(E),S(E))$ agrees with the mixed relative/absolute product after forgetting the relative condition on either factor. ConsequentlyThis is the cup square of a Thom class. If $n$ is odd, graded commutativity of the cup product gives $U\cup U=-U\cup U$, hence $2U^2=0$. Since $U\cup {\pi }^{\ast }(2e(E))$ is, up to the graded sign, the Thom isomorphism image of $2e(E)$, its vanishing impliesThus the Euler class of an oriented odd-rank vector bundle is two-torsion; the conclusion is integral and does not require the base cohomology to be torsion-free.

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.

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.

All groups in the first calculation have integral coefficients. Let $U=S^n\setminus j(W)$ and $V=S^n\setminus \mathrm{int}j(W)$. A two-sided tubular neighborhood of $j(\partial W)$ identifies $V$ as a compact manifold with boundary, with interior $U$. Pushing its boundary inward in a collar neighborhood gives a homotopy equivalence $U\simeq V$. After thickening across the same collar, excision identifies the relative groupsThe orientation of $S^n$ gives $W$ an orientation. The Poincare-Lefschetz duality isomorphism therefore givesEach component of $W$ has boundary: a closed component would have open image by the local embedding condition and closed image by compactness, hence would occupy the whole connected sphere, leaving no room for the components with boundary. In particular $U$ is nonempty, and $H^n(W)=0$.

Apply the long exact sequence in relative homology of $(S^n,V)$, using reduced homology for the absolute terms. Away from the top-dimensional homology of the sphere, it identifiesThe exceptional map iswhere $r$ is the number of components of $W$. Local compatibility of the orientations sends $1$ to $(1,\dots ,1)$, the relative fundamental classes of all the components. Its kernel is zero and its cokernel is ${\tilde{H}}^0(W)$. Thus the exceptional term has exactly the reduced form required, and all higher groups vanish. We obtain the Alexander duality formulawith negative-index cohomology zero. Ordinary degree zero is recovered byBoth formulas depend on the abstract manifold $W$, so they establish the requested independence up to group isomorphism. They make no claim that the complements themselves are homeomorphic or have isomorphic fundamental groups. The argument also covers $n=1$, when the diagonal map handles the degree-zero exception. This is the complement homology of a compact codimension-zero submanifold.

For the second calculation write $F={\mathbb{F}}_2$, $C=S^n\setminus i(M)$ and $c=n-k$. First suppose $c>0$, with $n\ge 1$. The rank-$c$ normal bundle has a mod-two Thom class, regardless of orientability. A tubular neighborhood, excision and the homological Thom isomorphism theorem identifyThe long exact sequence in relative homology becomes the Gysin sequence of an embedding:The map $\gamma$ takes the mod-two fundamental class of $S^n$ to that of $M$: restricting to each normal fiber evaluates the Thom class as $1$. Since $M$ is closed and connected, the degree-$n$ mapis an isomorphism. This cancels the exceptional top term and gives $H_i(C;F)=0$ for $i\ge n-1$ when $i>0$. In all the intervening degrees the sphere groups vanish. In degree zero, the remaining $F$ is removed by the augmentation. Consequently the mod-two homology of a submanifold complement iswhere negative-index homology of $M$ is zero. To recover ordinary homology, add one copy of $F$ in degree zero and change nothing in positive degrees. For $n=1$ the first range is empty, so the complement of a connected zero-manifold has the homology of a point. For example, codimension at least two gives $H_0(C;F)=F$, while codimension one gives $H_0(C;F)=F^2$ when $n\ge 2$.

If $k=n\ge 1$, an embedding of the closed connected manifold has image both open and closed in $S^n$, hence is onto; its complement is empty and all its ordinary homology groups vanish. The positive-codimension formula is not asserted in that case. The standard sphere calculations here assume $n\ge 1$; in ambient dimension zero the complement of the embedded connected point in $S^0$ is the other point.

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

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

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

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