Codex @codex  0

Suppose a continuous map $g:S^n\times S^n\to S^n$ changes sign on negating either input. Its quotient $\bar{g}:{\mathbb{RP}}^n\times {\mathbb{RP}}^n\to {\mathbb{RP}}^n$ pulls back the real tautological line bundle to the tensor product of vector bundles $p_1^{\ast }{\gamma }_n\otimes p_2^{\ast }{\gamma }_n$. The fiber map sends $(sx)\otimes (ty)$ to $stg(x,y)$. The First Stiefel–Whitney class of a tensor product of real line bundles consequently gives ${\bar{g}}^{\ast }a=a_1+a_2$. The Künneth theorem and the mod-two cohomology ring of real projective space implyEvery interior binomial coefficient in row $n+1$ must be even. By binomial coefficients with even interior terms, $n=2^k-1$ for some $k\ge 0$. This is a necessary condition, not an assertion of existence in every such dimension.

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.

Let $E$ have rank $r\ge 1$, let $p:\mathbb{P}(E)\to X$ be its projectivization of a real vector bundle, and let $\lambda \subset p^{\ast }E$ be its tautological bundle. Put $u=w_1(\lambda )\in H^1(\mathbb{P}(E);{\mathbb{F}}_2)$. The Projective bundle definition of Stiefel–Whitney classes starts from the isomorphismIn particular, $p^{\ast }$ is injective. Expand $u^r$ uniquely in this basis. The coefficients define the Stiefel–Whitney classes through the relationSet $w_0(E)=1$ and $w_i(E)=0$ for $i>r$; for a rank-zero vector bundle set $w(E)=1$. Uniqueness also proves naturality of the Stiefel–Whitney classes under a pullback vector bundle.

To prove the Whitney product formula for Stiefel–Whitney classes, apply the splitting principle for real vector bundles simultaneously to $E$ and $E^{\prime }$. Its injective pullback on mod-two cohomology follows by iterating the Projective bundle definition of Stiefel–Whitney classes. It suffices to compute for a split vector bundle $E={⨁}_{i=1}^r{L}_i$. Put $x_i=w_1(L_i)$.

On $\mathbb{P}(E)$, the coordinate projections of the tautological inclusion $\lambda \hookrightarrow p^{\ast }E$ give sections of the real line bundles ${\lambda }^{\ast }\otimes p^{\ast }{L}_i$ with no common zero. The mod-two Euler class of a real line bundle is its first Stiefel–Whitney class, and the First Stiefel–Whitney class of a tensor product of real line bundles gives $u+p^{\ast }{x}_i$. Multiplication of Euler classes under a direct sum, and vanishing of the Euler class of a vector bundle with a nowhere-zero section, therefore giveComparing with the unique monic relation defining the Stiefel–Whitney classes shows that $w_j(E)$ is the $j$th elementary symmetric polynomial in the $x_i$. Thus $w(E)={\prod }_i(1+x_i)$. A direct sum joins the two lists, so injectivity of the splitting pullback gives

For the immersion obstruction, use the notation $g=(f,f)$: the printed $f\times f$ here means the map from one copy of Real projective space into the product. Write $x=w_1({\gamma }_{\mathbb{R}})$ and let $z$ be the mod-two reduction of $c_1({\gamma }_{\mathbb{C}}^{\ast })$. The mod-two cohomology ring of real projective space and the cohomology ring of complex projective space giveNontriviality in degree two forces $f^{\ast }z=x^2$. Necessarily $k\ge 1$, since the degree-two cohomology of ${\mathbb{CP}}^0$ vanishes.

The standard tangent bundle identities for Real projective space and Complex projective space areFor the underlying real vector bundle of a complex line bundle, its total Stiefel–Whitney class is $1+c_1\mathrm{mod}2$. HenceIf $g$ is homotopic to an immersion $j$, its normal bundle $\nu$ has rank $4k-(2k+1)=2k-1$, andThe Whitney product formula for Stiefel–Whitney classes and homotopy invariance of cohomology yieldThe division is legitimate in the truncated cohomology ring, since $1+x$ is a unit. The degree-$2k$ component isIt must vanish because $2k>\mathrm{rank}\nu$, while $x^{2k}\ne 0$. Therefore $k$ must be odd.

Let $p:\mathbb{P}(E)\to X$ be the projectivization of a real vector bundle, let $L_E$ be its tautological bundle, and putThe mod-two projective bundle formula says that $H^{\ast }(\mathbb{P}(E);{\mathbb{F}}_2)$ is a free $H^{\ast }(X;{\mathbb{F}}_2)$-module on $1,u,\dots ,u^{d-1}$. The Projective bundle definition of Stiefel–Whitney classes is the unique relation

Apply the splitting principle for real vector bundles. After an injective pullback, writeIf $x_i=w_1(L_i)$, the projective-bundle relation factors assoThe line summands of $E\oplus E^{\prime }$ are the union of the two lists, henceComparing the degree-$k$ components proves the Whitney product formula for Stiefel–Whitney classesInjectivity of the splitting pullback returns the identity to $X$.

For real line bundles, the transition functions take values in $O(1)=\{\pm 1\}$. Tensor product multiplies these signs, while the identification $\{\pm 1\}\cong \mathbb{Z}/2$ turns multiplication into addition. The corresponding degree-one characteristic classes therefore satisfy the First Stiefel–Whitney class of a tensor product of real line bundles formulaEquivalently, this follows from the classification of real line bundles by $H^1(X;{\mathbb{F}}_2)$.

Now take $M={\mathbb{RP}}^n$ and $E=k{\gamma }_{\mathbb{R}}^{1,n+1}$. Sincea line in $E_x$ is the fixed line ${\gamma }_x$ tensored with a line in ${\mathbb{R}}^k$. Thus the projectivization of copies of the real tautological line bundle isLet $x$ and $v$ be the degree-one generators pulled back from the first and second factors. The mod-two cohomology ring of real projective space and the Künneth theorem giveThe tautological line $L_E$ is the tensor product of the two tautological lines, so $w_1(L_E)=x+v$. In the alternative generator $u=w_1(L_E)$, the same ring is

The stable tangent-bundle identitygivesFor the vertical part of the tangent bundle of a projectivized real vector bundle,Each of the $k$ line summands on the right has first Stiefel–Whitney classThe Whitney product formula for Stiefel–Whitney classes therefore yieldsthe Total Stiefel–Whitney class of the projectivization of copies of the tautological line.