Skip to main content
added 688 characters in body; deleted 1 characters in body
Source Link
Chris Gerig
  • 17.5k
  • 2
  • 71
  • 116

If $n$ is odd then $S^{n-1}$ doesn't admit a nowhere-vanishing vector field, and if $n$ is even then there does exist one (Hairy Ball Theorem). OneWe can then ask, on $S^{n-1}$, what is the maximum number $k(n)$ of linearly independent vector fields? Denoting this number by $k(n)$ and rewritingRewriting $n=2^{4a+b}(2s+1)$, Adams computes $k(n)=2^b+8a-1$.

In particular, on the $(4n+1)$-spheres, there is only one nowhere-vanishing vector field up to linear-independence, whereas in every other (odd) dimension there are more. We can see this
Example: on the circle, where $S^1$ there are the vector fields generated by (counter)clockwise rotation, but these are the same up to an appropriatea scalar. This makes sense: I start flowing along this single dimension and then I have to continue flowing in that direction until I come back to my starting point.
I tried considering the difference between $S^3$ and $S^5$, which fiber over $\mathbb{C}P^1$ and $\mathbb{C}P^2$ respectively. A nowhere-multiplicationvanishing vector field in both cases is given by taking the standard nowhere-vanishing vector field on the $S^1$-fiber. But for $S^3$ there are three linearly-independent fields (the $i,j,k$-directions when representing $S^3$ as the unit quaternions -- is there a way to see this using the fibration picture?), whereas for some reason $S^5$ can only admit the one.

Is there a niceWhat can be the differential/topological reasoning behind this? Or stated another way,I.e. is there a down-to-earth way to deduce this result on $S^{4n+1}$, or for starters, $S^5$?

Could there possibly be an analogous index theorem going on here, in the same way that the Poincare-Hopf theorem provides us the Hairy Ball result?

If $n$ is odd then $S^{n-1}$ doesn't admit a nowhere-vanishing vector field, and if $n$ is even then there does exist one (Hairy Ball Theorem). One can then ask, on $S^{n-1}$, what is the maximum number of linearly independent vector fields? Denoting this number by $k(n)$ and rewriting $n=2^{4a+b}(2s+1)$, Adams computes $k(n)=2^b+8a-1$.

In particular, on the $(4n+1)$-spheres, there is only one nowhere-vanishing vector field up to linear-independence. We can see this on the circle, where the vector fields generated by (counter)clockwise rotation are the same up to an appropriate scalar-multiplication.

Is there a nice differential/topological reasoning behind this? Or stated another way, is there a down-to-earth way to deduce this result on $S^{4n+1}$?

Could there possibly be an analogous index theorem going on here, in the same way that the Poincare-Hopf theorem provides us the Hairy Ball result?

If $n$ is odd then $S^{n-1}$ doesn't admit a nowhere-vanishing vector field, and if $n$ is even then there does exist one (Hairy Ball Theorem). We can then ask, on $S^{n-1}$, what is the maximum number $k(n)$ of linearly independent vector fields? Rewriting $n=2^{4a+b}(2s+1)$, Adams computes $k(n)=2^b+8a-1$.

In particular, on the $(4n+1)$-spheres, there is only one nowhere-vanishing vector field up to linear-independence, whereas in every other (odd) dimension there are more.
Example: on the circle $S^1$ there are the vector fields generated by (counter)clockwise rotation, but these are the same up to a scalar. This makes sense: I start flowing along this single dimension and then I have to continue flowing in that direction until I come back to my starting point.
I tried considering the difference between $S^3$ and $S^5$, which fiber over $\mathbb{C}P^1$ and $\mathbb{C}P^2$ respectively. A nowhere-vanishing vector field in both cases is given by taking the standard nowhere-vanishing vector field on the $S^1$-fiber. But for $S^3$ there are three linearly-independent fields (the $i,j,k$-directions when representing $S^3$ as the unit quaternions -- is there a way to see this using the fibration picture?), whereas for some reason $S^5$ can only admit the one.

What can be the differential/topological reasoning behind this? I.e. is there a down-to-earth way to deduce this result on $S^{4n+1}$, or for starters, $S^5$?

Could there possibly be an analogous index theorem going on here, in the same way that the Poincare-Hopf theorem provides us the Hairy Ball result?

Source Link
Chris Gerig
  • 17.5k
  • 2
  • 71
  • 116

Vector fields on $(4n+1)$-spheres

If $n$ is odd then $S^{n-1}$ doesn't admit a nowhere-vanishing vector field, and if $n$ is even then there does exist one (Hairy Ball Theorem). One can then ask, on $S^{n-1}$, what is the maximum number of linearly independent vector fields? Denoting this number by $k(n)$ and rewriting $n=2^{4a+b}(2s+1)$, Adams computes $k(n)=2^b+8a-1$.

In particular, on the $(4n+1)$-spheres, there is only one nowhere-vanishing vector field up to linear-independence. We can see this on the circle, where the vector fields generated by (counter)clockwise rotation are the same up to an appropriate scalar-multiplication.

Is there a nice differential/topological reasoning behind this? Or stated another way, is there a down-to-earth way to deduce this result on $S^{4n+1}$?

Could there possibly be an analogous index theorem going on here, in the same way that the Poincare-Hopf theorem provides us the Hairy Ball result?