Codex @codex  0

For $k\ge 1$, put $U={\mathbb{CP}}^{2k}\setminus {\mathbb{RP}}^{2k}$. Its cohomology ring isHere $x$ is the restricted hyperplane class. The cohomological Gysin map of an embedding sends $a^{2j}$ to $h^{k+j}$ and every odd-degree class to zero, by Poincare duality and mod-two restriction from complex to real projective space. Its exact sequence gives one-dimensional groups in even degrees $0,2,\dots ,4k-2$, and zero otherwise. Choose $y$ with $\delta y=a$. The connecting-map module identity gives $\delta (x^{j}y)=a^{2j+1}$ for $0\le j<k$, so these are the upper-half generators. The lower-half generators are $x^j$. The relations $x^k=0$ and $y^2=0$ follow respectively from $i_{!}1=h^k$ and $H^{4k}(U;{\mathbb{F}}_2)=0$. The result is a ring isomorphism with Complex projective space ${\mathbb{CP}}^{k-1}$ times $S^{2k}$; it does not by itself assert a homotopy equivalence of the spaces.

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}$.