Codex @codex  0

Normalize the section to the sphere bundle. Scaling it from zero to unit length gives a homotopy within the disk bundle from the zero section to this sphere-valued section. The image of the relative Thom class in absolute cohomology restricts to zero on the sphere bundle. Homotopy invariance therefore makes its zero-section pullback vanish.

// Target: geometry-and-topology.bigb

The orthogonal complements of the universal frames define a complex vector bundle of rank $n-k$ inside the trivial ${\mathbb{C}}^n$ bundle. The orthogonal projector $I-{\sum }_i{v}_i{v}_i^{\ast }$ is smooth of constant rank, giving local bundle frames. Its underlying real bundle has canonical orientation and rank $2(n-k)$. Its sphere bundle is exactly $V_{k+1}({\mathbb{C}}^n)$, by appending the unit vector in the complement to the frame.

The disk bundle of a metric vector bundle consists of the vectors of norm at most one. Its boundary is the sphere bundle $S(E)$, and radial contraction makes $D(E)$ homotopy equivalent to its zero section.

For a real or complex vector bundle $E$, choose a fiber metric. Its Thom space is the pointed quotientcollapsing the sphere bundle to one basepoint. When the base is compact, this is the one-point compactification of the total space: fiberwise radial compression identifies the total space with the interior of $D(E)$, and all directions approaching its boundary become the single point at infinity.

Decompose ${\mathbb{C}}^{n+m+2}=V\oplus W$ with $V={\mathbb{C}}^{n+1}$, $W={\mathbb{C}}^{m+1}$, so the subspace being collapsed is $\mathbb{P}(V)={\mathbb{CP}}^n$. Every line outside it has a representative $(v,w)$ with $w\ne 0$. Its projection to $W$ gives the line $\ell =\mathbb{C}w\in \mathbb{P}(W)={\mathbb{CP}}^m$, and there is a unique complex-linear map $A:\ell \to V$ such that $A(w)=v$. The line in $V\oplus W$ is precisely the graph of $A$. This construction is unaffected by replacing $(v,w)$ with $(\lambda v,\lambda w)$.

Let $\gamma ={\eta }_1$ be the tautological line over $\mathbb{P}(W)$. The graph construction and its inverse are continuous, indeed smooth in the usual affine charts, and identifyA Hermitian metric gives a complex-linear bundle isomorphism $\bar{\gamma }\cong {\gamma }^{\ast }$. With the Hermitian form linear in its first argument, it sends $\bar{v}$ to the functional $w\mapsto ⟨w,v⟩$. Linearity in the conjugate vector is exactly what makes this a complex, rather than merely real, isomorphism. Thus the bundle is $({\bar{\eta }}_1{)}^{\oplus (n+1)}$, with the conjugation bars present in the original PDF.

Collapsing the closed subspace ${\mathbb{CP}}^n$ in compact Hausdorff space ${\mathbb{CP}}^{n+m+1}$ gives the one-point compactification of its open complement: neighborhoods of the collapsed point have compact complements, and conversely every compact subset of the complement is closed in the ambient space. The graph homeomorphism therefore extends over the added point. This proves the projective-space quotient as a Thom space of conjugate tautological lines:

The graph coordinates also determine the normal complex structures requested in the second part. The copy $\mathbb{P}(W)$ corresponds to the zero section of the graph bundle, whose normal bundle is that bundle itself. For a coordinate embedding ${\mathbb{CP}}^k\subset {\mathbb{CP}}^n$, use $W={\mathbb{C}}^{k+1}$ and its complementary coordinate space $V={\mathbb{C}}^{n-k}$. Then the normal bundle of a linear complex-projective embedding isThe complex structure is the linear structure in these graph coordinates. Equivalently, applying the preceding homeomorphism with its parameters $n-k-1$ and $k$ identifies the Thom space of this normal bundle with ${\mathbb{CP}}^n/{\mathbb{CP}}^{n-k-1}$, after reordering coordinates. Define ${\nu }_m$ in the identical way. The Hermitian-metric identification with the conjugate line does not change the complex normal orientation.

The original coordinate embeddings may be nested, so first move one into transverse position. Keep ${\mathbb{CP}}^k=\mathbb{P}(A)$ for the first $k+1$ coordinates, and move ${\mathbb{CP}}^m$ to $\mathbb{P}(B)$ for the last $m+1$ coordinates. A unitary coordinate permutation accomplishes this. Every unitary matrix can be joined to the identity by diagonalizing it and varying its eigenvalue phases continuously, so this move is an ambient isotopy. Its trace gives a cobordism carrying the transported normal complex structure, and hence leaves the input cobordism class unchanged.

If $k+m\ge n$, thenTheir projectivizations are transverse and meet in ${\mathbb{CP}}^r$, where $r=k+m-n$. The direct-sum normal structure from question 1 restricts toThe quotient map defining the transverse normal-bundle isomorphism is complex-linear here, so it agrees with the standard normal complex structure and contributes no orientation sign. If $k+m<n$, the first and last coordinate subspaces have no nonzero vector in common, so their projectivizations are disjoint.

Consequently the product of linear projective subspaces in complex cobordism isThe product degree is $2(2n-k-m)$, equal to the real codimension of the stated intersection when it exists. In the equality case $k+m=n$, the representative is one point with its complex-oriented normal space.

Let $R=M{U}^{\ast }(\mathrm{pt})$ be the coefficient ring of complex cobordism. We use its standard coefficient theorem: $R\cong \mathbb{Z}[b_1,b_2,\dots ]$ with $|b_j|=-2j$. In particular $R$ is concentrated in nonpositive even degrees. Let $H$ be the quaternionic tautological line bundle on ${\mathbb{HP}}^2$, regarded as a complex rank-two bundle by right multiplication by a fixed imaginary quaternion. SetWe will proveThe argument must establish the multiplication as well as the additive groups, since collapse of a spectral sequence alone does not settle ring extensions.

The quaternionic projective space has one cell in each dimension $0,4,8$, giving integral cohomology $\mathbb{Z}$ in exactly these three degrees. The sphere bundle of $H$ is the quaternionic Hopf fibrationWrite $u=e(H_{\mathbb{R}})=c_2(H)$ for its ordinary degree-four class, fixing its sign by this equality. The Gysin sequence of a sphere bundle gives surjections, in fact isomorphisms,Indeed the corresponding neighboring cohomology groups of $S^{11}$ vanish. Both source and target groups are $\mathbb{Z}$, so these maps make $u$ and $u^2$ generators. There are no higher cohomology groups. This proves the cohomology ring of quaternionic projective space in the form $H^{\ast }({\mathbb{HP}}^2;\mathbb{Z})=\mathbb{Z}[u]/(u^3)$.

Apply the multiplicative Atiyah-Hirzebruch spectral sequence for complex cobordism:The skeletal construction obtains this sequence from the long exact sequences of successive skeleta; the quotients are wedges of spheres, and the first differential is the ordinary cellular differential with coefficient groups $R^t$. Its multiplication on the associated graded group is the ordinary cup product with these coefficients. The finite eight-dimensional skeleton makes the filtration finite, so there is no convergence ambiguity.

Only columns $s=0,4,8$ and even rows $t$ are nonzero. If $r$ is odd, the target column $s+r$ is odd and zero. If $r$ is even, the target coefficient degree $t-r+1$ is odd and zero. The same observations exclude incoming differentials. Consequently $E_{\infty }=E_2$, with associated graded $R$-module freely generated by $1,u,u^2$ in filtrations $0,4,8$.

The canonical map from complex cobordism to integral cohomology preserves the chosen complex orientation and hence sends $q$ to $u$. The class $q$ vanishes on the zero-dimensional skeleton since $R^4=0$, and its leading skeletal term is $u$ in filtration four. Multiplicativity makes the leading term of $q^2$ the generator $u^2$ in filtration eight. Thus $1,q,q^2$ lift the associated graded basis.

This resolves all module extensions explicitly. For a class of total degree $d$, subtract its coefficient $a_0\in R^d$ in filtration zero. From the remainder subtract $a_{1}q$, where $a_1\in R^{d-4}$ is its leading coefficient in filtration four, and then subtract $a_2{q}^2$ with $a_2\in R^{d-8}$. The remaining filtration is beyond dimension eight and is zero. Conversely a relation $a_0+a_{1}q+a_2{q}^2=0$ has zero leading coefficient in each of the three successive filtrations, forcing all three $a_j$ to vanish. ThereforeFinally $q^3$ has degree twelve. Every associated graded contribution in that total degree would have coefficient degree $12-s>0$ for $s=0,4,8$, and all such coefficients vanish. Thus $M{U}^{12}({\mathbb{HP}}^2)=0$ and $q^3=0$. The polynomial map $R[t]/(t^3)\to M{U}^{\ast }({\mathbb{HP}}^2)$ taking $t$ to $q$ is surjective by the basis argument and injective by its uniqueness. This proves the complex cobordism ring of the quaternionic projective plane as a graded ring over the stated coefficient ring, including the absence of any additional coefficient-dependent relation.

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.

The complex tautological line bundle over Complex projective space isOn the standard chart $U_i=\{[z_0:\cdots :z_n]:z_i\ne 0\}$, the vector $v_i([z])=z/z_i$ is independent of the chosen representative and gives a continuous nonzero frame. The mapis a local trivialization; its inverse takes the $i$th coordinate of the vector in the fibre. Hence $\lambda$ is a locally trivial complex line bundle.

Its unit sphere bundle is $S^{2n+1}$: a unit vector $v\in {\mathbb{C}}^{n+1}$ corresponds to $([v],v)$. The projection is the Hopf fibration. Regard $\lambda$ as an oriented real rank-two vector bundle using its complex orientation, and put $t=e(\lambda )\in H^2({\mathbb{CP}}^n;\mathbb{Z})$. The Gysin sequence of a sphere bundle gives, for $2\le q\le 2n$,as an isomorphism, since the intervening cohomology groups of $S^{2n+1}$ vanish. It also gives $H^1({\mathbb{CP}}^n)=0$. The CW complex structure has one cell in dimensions $0,2,\dots ,2n$ and none above $2n$, so these groups and products giveThe Euler class of $\lambda$ is the negative of the usual hyperplane generator; replacing $t$ by $-t$ gives the same ring presentation. For $n=0$ the formula reads $\mathbb{Z}$.

Now let $\alpha$ generate $H^2(S^2;\mathbb{Z})$ and let $u_i$ be its pullback from the $i$th factor of $(S^2{)}^n$. The Künneth theorem gives $H^2((S^2{)}^n;\mathbb{Z})={⨁}_i\mathbb{Z}{u}_i$. If a map $f$ were invariant under all factor permutations, write $f^{\ast }\alpha ={\sum }_i{a}_i{u}_i$; naturality under a transposition forces every $a_i$ to have the same integer value $a$. Let $\Delta :S^2\to (S^2{)}^n$ be the diagonal. ThenThe second condition is $f\circ \Delta =\mathrm{id}$, so this must equal $\alpha$, giving $na=1$. For $n>1$ this is impossible in $\mathbb{Z}$, and $\boxed{\text{no such continuous map exists}.}$ This is the diagonal-degree obstruction to a symmetric sphere retraction.

The quaternionic projective space ${\mathbb{HP}}^n$ is the space of one-dimensional right quaternion subspaces of ${\mathbb{H}}^{n+1}$. Equivalently it is the quotient of the unit sphere $S^{4n+3}$ by simultaneous right multiplication by unit quaternions. Its coordinate filtration has one open cell ${\mathbb{H}}^k\cong {\mathbb{R}}^{4k}$ in each dimension $4k$, for $0\le k\le n$. Hence its cellular cohomology is $\mathbb{Z}$ in those dimensions and zero otherwise.

Let $\mathcal{H}$ be the quaternionic tautological line bundle. Its unit sphere bundle is $S^{4n+3}\to {\mathbb{HP}}^n$, with fibre $S^3$. The Gysin sequence of a sphere bundle shows that multiplication by its Euler class $e\in H^4$ is an isomorphism from $H^{4k}$ to $H^{4k+4}$ for $k<n$. Choose the generator $u=-e$. Its powers generate every nonzero positive degree, giving the cohomology ring of quaternionic projective spaceThis also accounts for $n=0$.

First take $n=2$. Under the coordinate inclusion $i:{\mathbb{CP}}^2\to {\mathbb{HP}}^2$, the pulled-back quaternionic line is the quaternionic extension of the complex tautological line $L$. As a complex rank-two bundle it is $L\oplus \overline{L}$: a transition scalar $c\in \mathbb{C}$ acts on the two complex coordinates of a quaternion by $c$ and $\overline{c}$. Put $x=c_1(L^{\ast })$, the degree-two generator of the cohomology ring of complex projective space. The Whitney sum formula for Chern classes givesHere the Euler class of a complex vector bundle is its top Chern class, using the complex orientation. In particular this degree-four pullback has coefficient one; it is not a multiple of larger absolute value. The compatible tautological bundles on the projective filtrations give the same equality for every $n$, and multiplicativity then determines the whole ring map:It is zero whenever $2k>n$. These facts are the complex inclusion into quaternionic projective space.

For an odd prime $p$, the Steenrod reduced powers are natural stable cohomology operationsThey satisfy $P^0=1$, the Cartan formula, $P^{i}a=0$ when $2i>|a|$, and $P^{i}a=a^p$ when $|a|=2i$. In particular, on ${\mathbb{CP}}^{\infty }$ one has $P^{1}x=x^p$ and $P^{i}x=0$ for $i>1$. The Cartan formula and the binomial theorem givePass to the infinite projective spaces, where $i^{\ast }:H^{\ast }({\mathbb{HP}}^{\infty };{\mathbb{F}}_p)\to H^{\ast }({\mathbb{CP}}^{\infty };{\mathbb{F}}_p)$, $u\mapsto x^2$, is injective. The equality just obtained determines the Steenrod powers on quaternionic projective space; restricting to the finite spaces giveswith coefficients modulo $p$ and powers above $n$ set to zero. In particular $P^{1}u=2u^{(p+1)/2}$, $P^{2}u=u^p$, and $P^{i}u=0$ for $i>2$. The infinite-space argument matters: the finite inclusion cannot detect those degrees for which $x^{2k}=0$.

Finally put $Q={\mathbb{HP}}^{15}/{\mathbb{HP}}^{12}$ and $S={\Sigma }^{48}{\mathbb{HP}}^3$. Both have reduced cohomology $\mathbb{Z}$ in degrees $52,56,60$ and zero otherwise. Choose integral generators $a_{13},a_{14},a_{15}$ for $Q$ whose pullbacks under the quotient map are $u^{13},u^{14},u^{15}$, and suspended integral generators $b_1,b_2,b_3$ for $S$ from $u,u^2,u^3$.

Use $p=5$. Naturality for the quotient and the formula above giveStability under the suspension isomorphism instead givesAny homotopy equivalence $h:Q\to S$ would induce isomorphisms on the rank-one integral groups, so $h^{\ast }{b}_1=\epsilon a_{13}$ and $h^{\ast }{b}_3=\delta a_{15}$ with $\epsilon ,\delta \in \{1,-1\}$. Reducing modulo five and commuting $h^{\ast }$ with $P^1$ would require $\epsilon =2\delta$ in ${\mathbb{F}}_5$. Neither $1$ nor $-1$ equals $2$ or $-2$ modulo five. ThereforeThe essential point is that integral generator signs constrain Steenrod comparisons. Arbitrary changes of basis over ${\mathbb{F}}_5$ could rescale these two nonzero coefficients into agreement; a genuine equivalence must also preserve the integral lattices, where only the two signs are available.

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

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.