Skip to main content
added 14 characters in body
Source Link
Michael Albanese
  • 19.3k
  • 9
  • 87
  • 160

There is a fibration $p : SO(m+1) \to S^m$ with fibre $SO(m)$ which induces a long exact sequence in homotopy

$$\dots \to \pi_n(SO(m)) \to \pi_n(SO(m+1)) \xrightarrow{p_*} \pi_n(S^m) \to \pi_{n-1}(SO(m)) \to \dots$$

For your particular question, we have the fibration $p : SO(6) \to S^5$ with fibre $SO(5)$ which gives

$$\dots \to \pi_8(SO(5)) \to \pi_8(SO(6)) \to \pi_8(S^5) \to \pi_7(SO(5)) \to \pi_7(SO(6)) \to \pi_7(S^5) \to \pi_6(SO(5)) \to \dots$$

I don't know how to compute these groups myself, but they have been computed by others. From the bottom of page $3$ of this we see that $\pi_8(SO(5)) = 0$, $\pi_7(SO(5)) = \mathbb{Z}$, $\pi_7(SO(6)) = \mathbb{Z}$, and $\pi_6(SO(5)) = 0$. From here we see that $\pi_7(S^5) = \mathbb{Z}_2$ so we have

$$\dots \to 0 \to \pi_8(SO(6)) \to \pi_8(S^5) \to \mathbb{Z} \to \mathbb{Z} \to \mathbb{Z}_2 \to 0 \to \dots$$$$\dots \to 0 \to \pi_8(SO(6)) \xrightarrow{p_*} \pi_8(S^5) \to \mathbb{Z} \to \mathbb{Z} \to \mathbb{Z}_2 \to 0 \to \dots$$

As the map $\mathbb{Z} \to \mathbb{Z}_2$ is surjective, it has kernel $2\mathbb{Z}$. So the map $\mathbb{Z} \to \mathbb{Z}$ must be multiplication by $2$ (or $-2$) which is injective. Therefore the map $\pi_8(S^5) \to \mathbb{Z}$ is the zero map, so $p_*$ is an isomorphism.

The fibration always gives rise to a homomorphism $p_* : \pi_n(SO(m+1)) \to \pi_n(S^m)$ but it is not necessarily an isomorphism as $p_* : \pi_7(SO(6)) \to \pi_7(S^5)$ demonstrates.

There is a fibration $p : SO(m+1) \to S^m$ with fibre $SO(m)$ which induces a long exact sequence in homotopy

$$\dots \to \pi_n(SO(m)) \to \pi_n(SO(m+1)) \xrightarrow{p_*} \pi_n(S^m) \to \pi_{n-1}(SO(m)) \to \dots$$

For your particular question, we have the fibration $p : SO(6) \to S^5$ with fibre $SO(5)$ which gives

$$\dots \to \pi_8(SO(5)) \to \pi_8(SO(6)) \to \pi_8(S^5) \to \pi_7(SO(5)) \to \pi_7(SO(6)) \to \pi_7(S^5) \to \pi_6(SO(5)) \to \dots$$

I don't know how to compute these groups myself, but they have been computed by others. From the bottom of page $3$ of this we see that $\pi_8(SO(5)) = 0$, $\pi_7(SO(5)) = \mathbb{Z}$, $\pi_7(SO(6)) = \mathbb{Z}$, and $\pi_6(SO(5)) = 0$. From here we see that $\pi_7(S^5) = \mathbb{Z}_2$ so we have

$$\dots \to 0 \to \pi_8(SO(6)) \to \pi_8(S^5) \to \mathbb{Z} \to \mathbb{Z} \to \mathbb{Z}_2 \to 0 \to \dots$$

As the map $\mathbb{Z} \to \mathbb{Z}_2$ is surjective, it has kernel $2\mathbb{Z}$. So the map $\mathbb{Z} \to \mathbb{Z}$ must be multiplication by $2$ (or $-2$) which is injective. Therefore the map $\pi_8(S^5) \to \mathbb{Z}$ is the zero map, so $p_*$ is an isomorphism.

The fibration always gives rise to a homomorphism $p_* : \pi_n(SO(m+1)) \to \pi_n(S^m)$ but it is not necessarily an isomorphism as $p_* : \pi_7(SO(6)) \to \pi_7(S^5)$ demonstrates.

There is a fibration $p : SO(m+1) \to S^m$ with fibre $SO(m)$ which induces a long exact sequence in homotopy

$$\dots \to \pi_n(SO(m)) \to \pi_n(SO(m+1)) \xrightarrow{p_*} \pi_n(S^m) \to \pi_{n-1}(SO(m)) \to \dots$$

For your particular question, we have the fibration $p : SO(6) \to S^5$ with fibre $SO(5)$ which gives

$$\dots \to \pi_8(SO(5)) \to \pi_8(SO(6)) \to \pi_8(S^5) \to \pi_7(SO(5)) \to \pi_7(SO(6)) \to \pi_7(S^5) \to \pi_6(SO(5)) \to \dots$$

I don't know how to compute these groups myself, but they have been computed by others. From the bottom of page $3$ of this we see that $\pi_8(SO(5)) = 0$, $\pi_7(SO(5)) = \mathbb{Z}$, $\pi_7(SO(6)) = \mathbb{Z}$, and $\pi_6(SO(5)) = 0$. From here we see that $\pi_7(S^5) = \mathbb{Z}_2$ so we have

$$\dots \to 0 \to \pi_8(SO(6)) \xrightarrow{p_*} \pi_8(S^5) \to \mathbb{Z} \to \mathbb{Z} \to \mathbb{Z}_2 \to 0 \to \dots$$

As the map $\mathbb{Z} \to \mathbb{Z}_2$ is surjective, it has kernel $2\mathbb{Z}$. So the map $\mathbb{Z} \to \mathbb{Z}$ must be multiplication by $2$ (or $-2$) which is injective. Therefore the map $\pi_8(S^5) \to \mathbb{Z}$ is the zero map, so $p_*$ is an isomorphism.

The fibration always gives rise to a homomorphism $p_* : \pi_n(SO(m+1)) \to \pi_n(S^m)$ but it is not necessarily an isomorphism as $p_* : \pi_7(SO(6)) \to \pi_7(S^5)$ demonstrates.

added 196 characters in body
Source Link
Michael Albanese
  • 19.3k
  • 9
  • 87
  • 160

There is a fibration $p : SO(m+1) \to S^m$ with fibre $SO(m)$ which induces a long exact sequence in homotopy

$$\dots \to \pi_n(SO(m)) \to \pi_n(SO(m+1)) \xrightarrow{p_*} \pi_n(S^m) \to \pi_{n-1}(SO(m)) \to \dots$$

For your particular question, we have the fibration $p : SO(6) \to S^5$ with fibre $SO(5)$ which gives

$$\dots \to \pi_8(SO(5)) \to \pi_8(SO(6)) \to \pi_8(S^5) \to \pi_7(SO(5)) \to \pi_7(SO(6)) \to \pi_7(S^5) \to \pi_6(SO(5)) \to \dots$$

I don't know how to compute these groups myself, but they have been computed by others. From the bottom of page $3$ of this we see that $\pi_8(SO(5)) = 0$, $\pi_7(SO(5)) = \mathbb{Z}$, $\pi_7(SO(6)) = \mathbb{Z}$, and $\pi_6(SO(5)) = 0$. From here we see that $\pi_7(S^5) = \mathbb{Z}_2$ so we have

$$\dots \to 0 \to \pi_8(SO(6)) \to \pi_8(S^5) \to \mathbb{Z} \to \mathbb{Z} \to \mathbb{Z}_2 \to 0 \to \dots$$

It follows thatAs the map $p_* : \pi_8(SO(6)) \to \pi_8(S^5)$$\mathbb{Z} \to \mathbb{Z}_2$ is surjective, it has kernel $2\mathbb{Z}$. So the map $\mathbb{Z} \to \mathbb{Z}$ must be multiplication by $2$ (or $-2$) which is injective. Therefore the map $\pi_8(S^5) \to \mathbb{Z}$ is the zero map, so $p_*$ is an isomorphism.

The fibration always gives rise to a homomorphism $p_* : \pi_n(SO(m+1)) \to \pi_n(S^m)$ but it is not necessarily an isomorphism as $p_* : \pi_7(SO(6)) \to \pi_7(S^5)$ demonstrates.

There is a fibration $p : SO(m+1) \to S^m$ with fibre $SO(m)$ which induces a long exact sequence in homotopy

$$\dots \to \pi_n(SO(m)) \to \pi_n(SO(m+1)) \xrightarrow{p_*} \pi_n(S^m) \to \pi_{n-1}(SO(m)) \to \dots$$

For your particular question, we have the fibration $p : SO(6) \to S^5$ with fibre $SO(5)$ which gives

$$\dots \to \pi_8(SO(5)) \to \pi_8(SO(6)) \to \pi_8(S^5) \to \pi_7(SO(5)) \to \pi_7(SO(6)) \to \pi_7(S^5) \to \pi_6(SO(5)) \to \dots$$

I don't know how to compute these groups myself, but they have been computed by others. From the bottom of page $3$ of this we see that $\pi_8(SO(5)) = 0$, $\pi_7(SO(5)) = \mathbb{Z}$, $\pi_7(SO(6)) = \mathbb{Z}$, and $\pi_6(SO(5)) = 0$. From here we see that $\pi_7(S^5) = \mathbb{Z}_2$ so we have

$$\dots \to 0 \to \pi_8(SO(6)) \to \pi_8(S^5) \to \mathbb{Z} \to \mathbb{Z} \to \mathbb{Z}_2 \to 0 \to \dots$$

It follows that the map $p_* : \pi_8(SO(6)) \to \pi_8(S^5)$ is an isomorphism.

The fibration always gives rise to a homomorphism $p_* : \pi_n(SO(m+1)) \to \pi_n(S^m)$ but it is not necessarily an isomorphism as $p_* : \pi_7(SO(6)) \to \pi_7(S^5)$ demonstrates.

There is a fibration $p : SO(m+1) \to S^m$ with fibre $SO(m)$ which induces a long exact sequence in homotopy

$$\dots \to \pi_n(SO(m)) \to \pi_n(SO(m+1)) \xrightarrow{p_*} \pi_n(S^m) \to \pi_{n-1}(SO(m)) \to \dots$$

For your particular question, we have the fibration $p : SO(6) \to S^5$ with fibre $SO(5)$ which gives

$$\dots \to \pi_8(SO(5)) \to \pi_8(SO(6)) \to \pi_8(S^5) \to \pi_7(SO(5)) \to \pi_7(SO(6)) \to \pi_7(S^5) \to \pi_6(SO(5)) \to \dots$$

I don't know how to compute these groups myself, but they have been computed by others. From the bottom of page $3$ of this we see that $\pi_8(SO(5)) = 0$, $\pi_7(SO(5)) = \mathbb{Z}$, $\pi_7(SO(6)) = \mathbb{Z}$, and $\pi_6(SO(5)) = 0$. From here we see that $\pi_7(S^5) = \mathbb{Z}_2$ so we have

$$\dots \to 0 \to \pi_8(SO(6)) \to \pi_8(S^5) \to \mathbb{Z} \to \mathbb{Z} \to \mathbb{Z}_2 \to 0 \to \dots$$

As the map $\mathbb{Z} \to \mathbb{Z}_2$ is surjective, it has kernel $2\mathbb{Z}$. So the map $\mathbb{Z} \to \mathbb{Z}$ must be multiplication by $2$ (or $-2$) which is injective. Therefore the map $\pi_8(S^5) \to \mathbb{Z}$ is the zero map, so $p_*$ is an isomorphism.

The fibration always gives rise to a homomorphism $p_* : \pi_n(SO(m+1)) \to \pi_n(S^m)$ but it is not necessarily an isomorphism as $p_* : \pi_7(SO(6)) \to \pi_7(S^5)$ demonstrates.

added 63 characters in body
Source Link
Michael Albanese
  • 19.3k
  • 9
  • 87
  • 160

There is a fibration $p : SO(n+1) \to S^n$$p : SO(m+1) \to S^m$ with fibre $SO(n)$$SO(m)$ which induces a long exact sequence in homotopy

$$\dots \to \pi_k(SO(n)) \to \pi_k(SO(n+1)) \xrightarrow{p_*} \pi_k(S^n) \to \pi_{k-1}(SO(n)) \to \dots$$$$\dots \to \pi_n(SO(m)) \to \pi_n(SO(m+1)) \xrightarrow{p_*} \pi_n(S^m) \to \pi_{n-1}(SO(m)) \to \dots$$

For your particular question, we have the fibration $p : SO(6) \to S^5$ with fibre $SO(5)$ which gives

$$\dots \to \pi_8(SO(5)) \to \pi_8(SO(6)) \to \pi_8(S^5) \to \pi_7(SO(5)) \to \pi_7(SO(6)) \to \pi_7(S^5) \to \pi_6(SO(5)) \to \dots$$

I don't know how to compute these groups myself, but they have been computed by others. From the bottom of page $3$ of this we see that $\pi_8(SO(5)) = 0$, $\pi_7(SO(5)) = \mathbb{Z}$, $\pi_7(SO(6)) = \mathbb{Z}$, and $\pi_6(SO(5)) = 0$. From here we see that $\pi_7(S^5) = \mathbb{Z}_2$ so we have

$$\dots \to 0 \to \pi_8(SO(6)) \to \pi_8(S^5) \to \mathbb{Z} \to \mathbb{Z} \to \mathbb{Z}_2 \to 0 \to \dots$$

It follows that the map $p_* : \pi_8(SO(6)) \to \pi_8(S^5)$ is an isomorphism.

Note,The fibration always gives rise to a homomorphism $p_* : \pi_n(SO(m+1)) \to \pi_n(S^m)$ but it is not always the case that $p_*$ will benecessarily an isomorphism as $p_* : \pi_7(SO(6)) \to \pi_7(S^5)$ demonstrates.

There is a fibration $p : SO(n+1) \to S^n$ with fibre $SO(n)$ which induces a long exact sequence in homotopy

$$\dots \to \pi_k(SO(n)) \to \pi_k(SO(n+1)) \xrightarrow{p_*} \pi_k(S^n) \to \pi_{k-1}(SO(n)) \to \dots$$

For your particular question, we have the fibration $p : SO(6) \to S^5$ with fibre $SO(5)$ which gives

$$\dots \to \pi_8(SO(5)) \to \pi_8(SO(6)) \to \pi_8(S^5) \to \pi_7(SO(5)) \to \pi_7(SO(6)) \to \pi_7(S^5) \to \pi_6(SO(5)) \to \dots$$

I don't know how to compute these groups myself, but they have been computed by others. From the bottom of page $3$ of this we see that $\pi_8(SO(5)) = 0$, $\pi_7(SO(5)) = \mathbb{Z}$, $\pi_7(SO(6)) = \mathbb{Z}$, and $\pi_6(SO(5)) = 0$. From here we see that $\pi_7(S^5) = \mathbb{Z}_2$ so we have

$$\dots \to 0 \to \pi_8(SO(6)) \to \pi_8(S^5) \to \mathbb{Z} \to \mathbb{Z} \to \mathbb{Z}_2 \to 0 \to \dots$$

It follows that the map $p_* : \pi_8(SO(6)) \to \pi_8(S^5)$ is an isomorphism.

Note, it is not always the case that $p_*$ will be an isomorphism as $p_* : \pi_7(SO(6)) \to \pi_7(S^5)$ demonstrates.

There is a fibration $p : SO(m+1) \to S^m$ with fibre $SO(m)$ which induces a long exact sequence in homotopy

$$\dots \to \pi_n(SO(m)) \to \pi_n(SO(m+1)) \xrightarrow{p_*} \pi_n(S^m) \to \pi_{n-1}(SO(m)) \to \dots$$

For your particular question, we have the fibration $p : SO(6) \to S^5$ with fibre $SO(5)$ which gives

$$\dots \to \pi_8(SO(5)) \to \pi_8(SO(6)) \to \pi_8(S^5) \to \pi_7(SO(5)) \to \pi_7(SO(6)) \to \pi_7(S^5) \to \pi_6(SO(5)) \to \dots$$

I don't know how to compute these groups myself, but they have been computed by others. From the bottom of page $3$ of this we see that $\pi_8(SO(5)) = 0$, $\pi_7(SO(5)) = \mathbb{Z}$, $\pi_7(SO(6)) = \mathbb{Z}$, and $\pi_6(SO(5)) = 0$. From here we see that $\pi_7(S^5) = \mathbb{Z}_2$ so we have

$$\dots \to 0 \to \pi_8(SO(6)) \to \pi_8(S^5) \to \mathbb{Z} \to \mathbb{Z} \to \mathbb{Z}_2 \to 0 \to \dots$$

It follows that the map $p_* : \pi_8(SO(6)) \to \pi_8(S^5)$ is an isomorphism.

The fibration always gives rise to a homomorphism $p_* : \pi_n(SO(m+1)) \to \pi_n(S^m)$ but it is not necessarily an isomorphism as $p_* : \pi_7(SO(6)) \to \pi_7(S^5)$ demonstrates.

Source Link
Michael Albanese
  • 19.3k
  • 9
  • 87
  • 160
Loading