Odd map between spheres ($f(-x)=-f(x)$)

An odd map between spheres is a continuous map $f:S^n\to S^m$ satisfying $f(-x)=-f(x)$. Thus it is equivariant for the two antipodal maps. It descends to a continuous map of Real projective spaces.

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.

For an odd map between spheres $f:S^n\to S^m$ and its quotient $\bar{f}$, there is an isomorphism ${\gamma }_n\cong {\bar{f}}^{\ast }{\gamma }_m$ of real tautological line bundles. With $x$ a unit vector, send $tx$ to $tf(x)$; replacing $x$ by $-x$ and $t$ by $-t$ gives the same vector. This proves both linearity on fibers and well-definedness. Therefore ${\bar{f}}^{\ast }{w}_1({\gamma }_m)=w_1({\gamma }_n)$. The mod-two cohomology ring of real projective space then implies $n\le m$, since a vanishing $(m+1)$st power must pull back to a vanishing power.