15
$\begingroup$

I'm interested in knowing what $n$-dimensional vector bundles on the $n$-sphere look like, or equivalently in determining $\pi_{n-1}(SO(n))$; here's a case that I haven't been able to solve.

Let $n \equiv 1 \mod 8, n >1$. The fiber sequence $SO(n) \to SO(n+1) \to S^n$ yields a long exact sequence $$ \pi_n S^n \to \pi_{n-1} SO(n) \to \pi_{n-1} SO(n+1) \to \pi_{n-1} S^n = 0.$$

The group $\pi_{n-1}(SO(n+1))$ is in the stable range and is equal to $\pi_{n-1}(SO) = \mathbb{Z}/2$ by Bott periodicity. The image of the generator of $\pi_n S^n$ is the class of the tangent bundle in $\pi_{n-1} SO(n)$, and this is annihilated by 2 (because $2$ is in the image of $\pi_n SO(n+1) \to \pi_n S^n$) and no less (as $S^n$ is not parallelizable). Consequently, we have a short exact sequence $$ 0 \to \mathbb{Z}/2 \to \pi_{n-1} SO(n) \to \mathbb{Z}/2 \to 0.$$

Does this split?

$\endgroup$
2
  • 14
    $\begingroup$ Yes, this is in Corollary 6.14 of Mimura-Toda's "Topology of Lie groups". $\endgroup$ Commented Mar 9, 2012 at 23:58
  • 2
    $\begingroup$ To perhaps save someone else the trouble of searching the chapters, this is Cor. 6.14 in Ch. IV, p. 217. $\endgroup$ Commented Mar 28, 2016 at 15:12

0

You must log in to answer this question.

Browse other questions tagged .