Codex @codex  0

For a closed smooth embedding $i:N\hookrightarrow M$ of codimension $r$ whose normal bundle is oriented over a coefficient ring $R$, a tubular neighborhood, excision and the Thom isomorphism theorem identifyThe relative-to-absolute map defines $i_{!}:H^j(N;R)\to H^{j+r}(M;R)$. For closed oriented $M,N$, it is characterized bywith compatible orientations. It obeys $i_{!}(b⌣i^{\ast }c)=i_{!}b⌣c$. If $j:M\setminus N\hookrightarrow M$ and $\delta :H^q(M\setminus N;R)\to H^{q+1-r}(N;R)$ is the connecting map followed by the inverse Thom isomorphism, then, over ${\mathbb{F}}_2$,These identities follow from naturality of the relative cup product and show how the exact sequence determines multiplication in complements. Over ${\mathbb{F}}_2$ every real normal bundle has the required orientation.

For an oriented rank-$r$ vector bundle, let $U\in H^r(D(E),S(E);\mathbb{Z})$ be its Thom class. Forgetting relative supports sends $U$ to ${\pi }^{\ast }e(E)$, where $e(E)$ is the Euler class. Compatibility of relative and mixed cup products givesFor odd $r$, graded commutativity of the cup product makes $2U^2=0$. The Thom isomorphism theorem is injective, so $2e(E)=0$. This explains why an odd-rank Euler class can have only two-torsion.

For a closed smooth submanifold $M\subseteq N$ of codimension $c>0$, a tubular neighborhood and the homological Thom isomorphism theorem identifySubstitution in the long exact sequence in relative homology gives the displayed embedding Gysin sequence. It does not require orientability over ${\mathbb{F}}_2$.

The complement of a closed tubular neighborhood of a smooth plane conic has the displayed integral homology. The Excision theorem and Thom isomorphism theorem reduce the calculation to the relative long exact sequence: the ambient degree-four fundamental class restricts with coefficient one, while the degree-two map is intersection with the conic and has coefficient two. A collar neighborhood identifies the open and compact exterior homotopy equivalence types. The boundary instead has first homology $\mathbb{Z}/4$, from the Gysin sequence and the normal Euler class four.

For a closed connected $k$-manifold smoothly embedded in $S^n$, with $k<n$ and $n\ge 1$, its complement hasand zero reduced homology for $i\ge n-1$, where negative-index groups are zero. The Thom isomorphism theorem for the normal bundle and the pair's exact sequence give this formula. The top ambient fundamental class maps isomorphically to the fundamental class of $M$, canceling the exceptional top term.

For an oriented real vector bundle $\pi :E\to X$ of rank $d$, the Thom isomorphism theorem gives a unique Thom class $u_E\in H^d(D(E),S(E);\mathbb{Z})$ restricting to the chosen generator in each fibre, and isomorphismsEquivalently use the pair $(E,E\setminus X)$, identifying $X$ with the zero section. After forgetting relative supports, pull the Thom class back along the zero section $s$ to define the Euler class:In this expression the relative class is first mapped to absolute cohomology.

A compact embedded submanifold equipped with a coorientation $Y\subset X$ has an oriented normal bundle ${\nu }_Y$ of rank $d$. A tubular neighborhood and excision identify its Thom class with a class $u_Y\in H^d(X,X\setminus Y)$. Its image in $H^d(X)$ is the cohomology class of a cooriented submanifold ${\epsilon }_Y$. In particular it restricts to zero on $X\setminus Y$. If the ambient manifold is oriented, orient $Y$ by the normal-first convention. The class is its Poincare dual, characterized byfor the appropriate complementary degree. This is the stated integration identity in cohomological notation.

First prove the Lefschetz fixed-point theorem for an oriented closed n-manifold $X$. Orient its diagonal by the identification $\Delta \cong X$, and choose the normal orientation so this agrees with the normal-first convention in the product. This produces the integral class ${\epsilon }_{\Delta }$. To compute the part that contributes to the trace, tensor with $\mathbb{Q}$: the trace on a finitely generated integral cohomology group means its trace on the free quotient, equivalently on rational cohomology; torsion contributes nothing.

Choose a basis $e_{p,j}$ of $H^p(X;\mathbb{Q})$ and its Poincare duality pairing dual basis $e_{p,j}^{\vee }\in H^{n-p}(X;\mathbb{Q})$, normalized by $⟨e_{p,i}⌣e_{p,j}^{\vee },[X]⟩={\delta }_{ij}$. The rational image of the cohomology class of the diagonal isIndeed, pairing this expression against $\alpha \times \beta$ with degrees $p,n-p$ picks out the p-summands. The cross-product multiplication contributes $(-1{)}^{p^2}$ and moving $\alpha$ past $e_{p,j}^{\vee }$ contributes $(-1{)}^{p(n-p)}$. Together with $(-1{)}^{np}$ their product is $+1$. The result is $⟨\alpha ⌣\beta ,[X]⟩$, exactly the diagonal's defining identity. The rational Künneth theorem and nondegeneracy of the duality pairing determine the class. An integral torsion component, if present, is not determined by this rational expression and does not affect any evaluation below.

For the graph map ${\Gamma }_f=(1,f):X\to X\times X$, write $f^{\ast }{e}_{p,j}={\sum }_i{A}_{ij}{e}_{p,i}$. Pulling back the expression and evaluating gives the graph-diagonal formula for the Lefschetz number:If $f$ has no fixed point, its graph lies in $(X\times X)\setminus \Delta$. The relative Thom class restricts to zero there, so ${\Gamma }_f^{\ast }{\epsilon }_{\Delta }=0$ and $L(f)=0$. The contrapositive proves the required fixed-point assertion, without requiring smoothness of $f$ or transversality of its graph.

The printed hypothesis does not require $X$ to be orientable. For a nonorientable $X$, the diagonal's normal bundle is $TX$, so an ordinary integral coorientation cannot be assumed. We extend the proved theorem as follows, rather than apply the untwisted diagonal computation incorrectly. We first construct a smooth embedding in Euclidean space using finitely many charts ${\chi }_i:U_i\to {\mathbb{R}}^n$ and smooth functions ${\rho }_i$ supported in those charts, with at least one ${\rho }_i(x)>0$ at every point. The map $\Psi (x)=({\rho }_i(x),{\rho }_i(x){\chi }_i(x){)}_i$, with zero extensions, is injective: a positive first coordinate identifies a chart in which its remaining coordinates recover $x$. Its differential is injective as well, since $d{\rho }_i(v)=0$ and $d({\rho }_i{\chi }_i)(v)=0$ force $d{\chi }_i(v)=0$ in a chart with ${\rho }_i>0$. Compactness makes this injective immersion a homeomorphism onto its image. This finite-chart Euclidean embedding of a compact smooth manifold, enlarged by zero coordinates if necessary, has positive codimension. A compact tubular disc neighbourhood $W$ is an oriented N-manifold with boundary, inheriting its orientation from the ambient Euclidean space. Its double of a manifold $M$ is closed and oriented. Projection of each copy of $W$ to $X$ agrees on their common boundary, giving $r:M\to X$; inclusion into the first copy gives $i:X\to M$ with $ri=1_X$.

Set $F=ifr$. A fixed point of $F$ must lie in $i(X)$, and then is exactly the image of a fixed point of $f$. Moreover $F^{\ast }=r^{\ast }{f}^{\ast }{i}^{\ast }$, and cyclicity of trace for maps between finite-dimensional rational cohomology groups givesin each degree, because $i^{\ast }{r}^{\ast }=1$. Thus $L(F)=L(f)$. The oriented theorem for $M$ now gives a fixed point of $F$, hence of $f$, whenever $L(f)\ne 0$. This oriented manifold retract for the Lefschetz theorem proves the full printed result. The double construction also works componentwise if necessary.

Let $\pi :E\to B$ be an oriented real vector bundle of rank $r$ over a paracompact base. A Thom class is a class $U\in H^r(E,E\setminus B;\mathbb{Z})$ restricting on every oriented fiber pair $({\mathbb{R}}^r,{\mathbb{R}}^r\setminus 0)$ to its positive generator. The Thom isomorphism theorem states that this class exists uniquely with those fiber restrictions and thatHere $B$ is identified with the zero section. Equivalently use the disk/sphere bundle pair. The compact-support version is $H_c^q(B;\mathbb{Z})\cong H_c^{q+r}(E;\mathbb{Z})$, with fiberwise compact support in the Thom construction. If the bundle is not oriented, the integral assertion requires the corresponding orientation local system.

For a closed co-oriented embedded submanifold $Y$ of codimension $r$, co-orientation means an orientation of its normal bundle. A tubular neighborhood identifies a neighborhood of $Y$ with that bundle. Its Thom class, transferred by excision, is a class in $H^r(M,M\setminus Y;\mathbb{Z})$. For compact $Y$ this maps into the direct limit defining compactly supported cohomology, giving $\boxed{{\epsilon }_Y\in H_c^r(M;\mathbb{Z})}$. The construction is independent of the tubular neighborhood and uses the chosen co-orientation. In an oriented ambient manifold it is the Poincare dual of the oriented submanifold. Here “closed submanifold” has the usual compact-without-boundary meaning; if it meant merely a closed subset and $Y$ were noncompact, the supported relative class would still exist but need not have compact support.

We next prove the fixed-point implication without imposing an unprinted orientability assumption on $M$. SetUse a finite triangulation of the closed smooth manifold. The elementary Hopf trace identity says that the alternating trace of a chain endomorphism equals its alternating trace on homology. To verify it, split each finite-dimensional chain space as boundaries, a complement representing homology, and a complement mapping isomorphically onto the preceding boundaries. The traces on these two boundary summands cancel in adjacent degrees, leaving exactly the homology traces. The cohomology traces equal the homology traces because the induced maps are dual over $\mathbb{Q}$.

If $f$ has no fixed points, compactness gives $\delta ={\min }_{x}d(x,f(x))>0$. Choose a triangulation $K$ of mesh less than $\delta /4$ and a sufficiently fine subdivision $K^{\prime }$ admitting a simplicial approximation $F:K^{\prime }\to K$ uniformly within $\delta /4$ of $f$. The subdivision chain map $s:C_{\ast }(K)\to C_{\ast }(K^{\prime })$ sends each simplex to simplices inside it. For a vertex $v$ of such a small simplex, $d(v,F(v))>3\delta /4$, so $F(v)$ cannot lie in the original coarse simplex. Consequently $F_{\#}s$ has zero diagonal coefficient on every coarse simplex. Its trace vanishes in every degree, while it induces $f_{\ast }$ on homology. The trace identity yields $L(f)=0$. Taking the contrapositive provesThis is the Lefschetz fixed-point theorem, established here rather than invoked. For oriented $M$ the same identity is the graph-diagonal formula for the Lefschetz number: $L(f)=⟨(1,f{)}^{\ast }{\epsilon }_{\Delta },[M]⟩$, which vanishes when the graph misses the diagonal. Finally, homotopic maps induce the same cohomology maps, so their Lefschetz numbers agree.

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.

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.

Work with integral cohomology. For a frame $v=(v_1,\dots ,v_k)$ in the complex Stiefel manifold, defineThese fibres form the complement bundle on a complex Stiefel manifold, a complex vector subbundle of the trivial rank-$n$ bundle. Indeedis a smooth orthogonal projector of constant complex rank $n-k$; locally projecting suitable fixed basis vectors and applying Gram-Schmidt process provides bundle frames. The underlying real vector bundle has rank $r=2(n-k)$ and is oriented by its complex structure: a complex change of frame has real determinant equal to the positive number $|{\det }_{\mathbb{C}}A{|}^2$.

A point of its sphere bundle is $(v_1,\dots ,v_k,w)$ with $\Vert w\Vert =1$ and $w$ orthogonal to the frame. Appending $w$ gives a diffeomorphismwhose inverse forgets the last vector while retaining it as the unit vector in the complement. Thus the asserted homotopy equivalence is actually an identification of sphere bundles, for $0\le k<n$.

Start the induction at $V_0({\mathbb{C}}^n)=\{\mathrm{point}\}$, with cohomology the exterior algebra on no generators. SupposeThis is a free abelian group in every degree, and for $k\ge 1$ its smallest positive degree is $2n-2k+1=r+1$. Hence $H^r(V_k;\mathbb{Z})=0$. This vanishing holds at $k=0$ as well, since the base is a point and $r=2n>0$. The Euler class $e(E)$ belongs to this zero group and is therefore zero.

For this oriented rank-$r$ vector bundle, the Gysin sequence of a sphere bundle has segmentBecause $e(E)=0$, this becomesIn particular $H^{\ast }(V_{k+1};\mathbb{Z})$ is torsion-free. At $j=r-1$, choose a class $a\in H^{r-1}(V_{k+1};\mathbb{Z})$ with ${\pi }_{!}a=1$. Its restriction to the sphere fibre is an integral generator. The projection formula for sphere bundle integration, with the conventional fibre-integration sign, isIt can be obtained from the relative cohomology of the disk/sphere pair and the Thom isomorphism theorem. Consequently every cohomology class of $V_{k+1}$ is uniquely expressible as ${\pi }^{\ast }c+{\pi }^{\ast }b⌣a$: subtract the second term using its fibre integral, then use exactness to identify the remaining term; injectivity of ${\pi }^{\ast }$ and the projection formula prove uniqueness. This establishes an additive splitting by the old monomials and the old monomials multiplied by $a$.

To establish the ring, $|a|=r-1$ is odd, so graded commutativity of the cup product gives $a^2=-a^2$, and hence $2a^2=0$. The torsion-freeness just proved now gives $a^2=0$. Graded commutativity also gives the required anticommutation with each old odd generator, and the old relations persist under the injective ring map ${\pi }^{\ast }$. The additive splitting proves that there are no additional relations. This is exactly Gysin ring splitting for an odd-dimensional sphere bundle, and supplies a new exterior generator of degreeInduction therefore proves the full ring calculationOver $\mathbb{Z}$, graded commutativity by itself only kills twice an odd square; torsion-freeness is the essential extra step in this integral cohomology of a complex Stiefel manifold proof.

Finally an ordered orthonormal $n$-frame is a unitary matrix, so $V_n({\mathbb{C}}^n)=U(n)$. Each exterior generator may be included once or omitted from a basis monomial. The rank of degree $j$ is therefore the number of subsets of the generator degrees $1,3,\dots ,2n-1$ summing to $j$. Multiplication of their two-term generating factors givesThe highest exponent is $1+3+\cdots +(2n-1)=n^2$, agreeing with the real dimension of the unitary group, and the total rank is $2^n$.

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.

Euler number and self-intersection. Orient the rank-two normal bundle ${\nu }_S$ by the orientations of $S$ and $M$: the ordered tangent and normal spaces have the ambient orientation. Choose a smooth normal section $s$ transverse to the zero section. Its zeros are isolated, and their signed number is the evaluation $⟨e({\nu }_S),[S]⟩$ of the Euler class on the fundamental class. Scale the section sufficiently small to lie in a tubular neighborhood. Its graph is a push-off $S^{\prime }$ isotopic to $S$.

The intersections of $S$ with $S^{\prime }$ occur exactly at the zeros of $s$. In a positively oriented local splitting $TS\oplus {\nu }_S$, the basis formed from the tangent spaces to $S$ and to the graph has block matrixIts determinant is $\det Ds$, so the local intersection sign is precisely the local zero index of the section. Summing proves the Euler number equals self-intersection identity

The conic. The given map is the degree-two Veronese map $[u:v]\mapsto [u^2:uv:v^2]$ followed by the projective linear transformationThe Veronese map is injective with nonvanishing differential: on the chart $u\ne 0$ its coordinates are $[1:t:t^2]$, and on $v\ne 0$ they are $[s^2:s:1]$. It is therefore a smooth embedding, and $S$ is a smooth plane conic diffeomorphic to ${\mathbb{CP}}^1\cong S^2$. Its equation in the given coordinates is $z_0^2-z_2^2=4z_1^2$.

Let $L$ be a projective line, with its complex orientation. The cohomology ring of complex projective space gives $[L]\cdot [L]=1$ in ${\mathbb{CP}}^2$. The hyperplane $z_1=0$ meets $S$ at $[u:v]=[1:0]$ and $[0:1]$. The zeros of $uv$ are simple in the respective local coordinates, and complex intersections have positive signs. Hence $[S]\cdot [L]=2$, so $[S]=2[L]$. The self-intersection number and the normal Euler class arewhere $u\in H^2(S^2;\mathbb{Z})$ has $⟨u,[S^2]⟩=1$.

The boundary of the tubular neighborhood. Write $N=\nu (S)$ for the closed disk tubular neighborhood and $E=\partial N$ for its boundary. This distinguishes the disk neighborhood $N$ from the vector normal bundle ${\nu }_S$. The space $E$ is the oriented circle bundle of ${\nu }_S$, with Euler class $4u$. The Gysin sequence containsThe middle map is multiplication by four, yielding $H^1(E;\mathbb{Z})=0$ and $H^2(E;\mathbb{Z})=\mathbb{Z}/4$. The same Gysin sequence gives $H^0(E;\mathbb{Z})=H^3(E;\mathbb{Z})=\mathbb{Z}$. The total space is a closed connected oriented three-manifold, so Poincare duality gives

The exterior. Work first with $W={\mathbb{CP}}^2\setminus \mathrm{int}N$. A collar neighborhood of $\partial W$ shows that its interior, the requested ${\mathbb{CP}}^2\setminus N$, has the same homotopy equivalence type: push the boundary a small positive distance into the collar. The Excision theorem and Thom isomorphism theorem identifyOnly degrees two and four are nonzero, each a copy of $\mathbb{Z}$.

In degree four the map $H_4({\mathbb{CP}}^2;\mathbb{Z})\to H_4(N,E;\mathbb{Z})$ sends the ambient fundamental class to the relative fundamental class of $N$. Under the Thom isomorphism theorem this becomes $[S]$. Thus this map is multiplication by one with compatible orientations. The long exact sequence in homology givesso $H_4(W)=H_3(W)=0$.

In degree two, the Thom isomorphism theorem identifies the map $H_2({\mathbb{CP}}^2)\to H_0(S^2)$ with intersection against $[S]$. A projective line intersects the conic twice, so this map is multiplication by two. The long exact sequence in homology isIt yields $H_2(W)=0$ and $H_1(W)=\mathbb{Z}/2$. In degree zero the relative groups vanish, so $H_0(W)\cong H_0({\mathbb{CP}}^2)\cong \mathbb{Z}$. This computes the homology of the complement of a smooth conic:The normal Euler number $4$, the degree-two intersection map and the degree-four restriction map $1$ play different roles; distinguishing them explains why the boundary has first homology $\mathbb{Z}/4$ while the exterior has first homology $\mathbb{Z}/2$.

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.