Skip to main content
fixed title
Link
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651

Explicit automorphism map of $\Spin${\rm Spin}(8;\mathbb{R})$, $\SO${\rm SO}(8;\mathbb{R})$, ${\rm PSO}(8;\mathbb{R})$

added 295 characters in body; edited tags
Source Link
C.F.G
  • 4.2k
  • 6
  • 31
  • 65

Explicit automorphism map of $Spin$\Spin(8;\mathbb{R})$, $SO$\SO(8;\mathbb{R})$, $PSO${\rm PSO}(8;\mathbb{R})$

$\DeclareMathOperator{\SO}{\mathrm{SO}}\DeclareMathOperator{\Spin}{\mathrm{Spin}}\DeclareMathOperator{\Inn}{\mathrm{Inn}}\DeclareMathOperator{\Out}{\mathrm{Out}}\DeclareMathOperator{\Aut}{\mathrm{Aut}}$ How do we construct a precise map of inner + outer automorphism of special orthogonal group $\SO(n;\mathbb{R})$?

  • $d=2$; We can look at $\SO(2;\mathbb{R})=U(1)$ which is abelian, and we know the inner $$ \Inn(\SO(2;\mathbb{R}))=\SO(2;\mathbb{R})/Z(\SO(2;\mathbb{R}))=1 $$ $$ \Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2 $$ The total $\Aut(\SO(2;\mathbb{R}))=\Inn(\SO(2;\mathbb{R})) \rtimes \Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2$ We have no $\Inn(\SO(2;\mathbb{R}))$ except the identity map. I believe that we can get the $\Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2$ by flipping $t \to -t$ in $$ U(1)=\{\exp(i t) | t \in [0, 2 \pi)\} \to \{\exp(-i t) | t \in [0, 2 \pi)\}. $$ I wish to see explicit answer like the above for my following questions ---

  • other $n$ but $n\neq 2,8$ is discussed in MSE with answer still pending.

  • for $n=8$

Question 1: How do we construct the inner automorphism map explicitly (if my result is correct?)? Let us consider $\Spin(8;\mathbb{R})$, $\SO(8;\mathbb{R})$, $\SO(8;\mathbb{R})/(\mathbb{Z}/2)$.

for $n=8$

$$ \Inn(\Spin(n;\mathbb{R}))=\Spin(n;\mathbb{R})/Z(\Spin(n;\mathbb{R})) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$ $$ \Inn(\SO(n;\mathbb{R})/\mathbb{Z}/2)=(\SO(n;\mathbb{R})/\mathbb{Z}/2)/Z(\SO(n;\mathbb{R})/(\mathbb{Z}/2)) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$ $$ \Inn(\SO(n;\mathbb{R}))=\SO(n;\mathbb{R})/Z(\SO(n;\mathbb{R})) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$

Question 2: How do we construct the outer automorphism map explicitly $$ \Out(Spin(8;\mathbb{R}))=S_3 $$ $$ \Out(\SO(8;\mathbb{R}))=\mathbb{Z}/2 $$ $$ \Out(\SO(8;\mathbb{R})/\mathbb{Z}/2 )=S_3 $$ Given the parametrization of $\SO(n;\mathbb{R})$ how to map to itself via the Out$\Out$ map?

Question 3: How do we construct the total automorphism map explicitly $$ \Aut(\Spin(8;\mathbb{R}))=\Inn(\Spin(8;\mathbb{R})) \rtimes \Out(\Spin(8;\mathbb{R})) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$ $$ \Aut(\SO(8;\mathbb{R}))=\Inn(\SO(8;\mathbb{R})) \rtimes \Out(\SO(8;\mathbb{R})) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes \mathbb{Z}/2 ? $$ $$ \Aut(\SO(8;\mathbb{R})/\mathbb{Z}/2)=\Inn(\SO(8;\mathbb{R})/\mathbb{Z}/2) \rtimes \Out(\SO(8;\mathbb{R})/\mathbb{Z}/2) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$ Given the parametrization of $\Spin(8;\mathbb{R})$, $\SO(8;\mathbb{R})$, $\SO(8;\mathbb{R})/(\mathbb{Z}/2)$, how to map to itself via the $\Aut$ map?

$$ \Aut(\Spin(8;\mathbb{R}))=\Inn(\Spin(8;\mathbb{R})) \rtimes \Out(\Spin(8;\mathbb{R})) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$ $$ \Aut(\SO(8;\mathbb{R}))=\Inn(\SO(8;\mathbb{R})) \rtimes \Out(\SO(8;\mathbb{R})) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes \mathbb{Z}/2 ? $$ $$ \Aut(\SO(8;\mathbb{R})/\mathbb{Z}/2)=\Inn(\SO(8;\mathbb{R})/\mathbb{Z}/2) \rtimes \Out(\SO(8;\mathbb{R})/\mathbb{Z}/2) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$ Given the parametrization of $\Spin(8;\mathbb{R})$, $\SO(8;\mathbb{R})$, $\SO(8;\mathbb{R})/(\mathbb{Z}/2)$, how to map to itself via the $\Aut$ map?

P.S. Possible useful link but with not explicit (not enough) constructions in Automorphism group of real orthogonal Lie groups

Explicit automorphism map of $Spin(8;\mathbb{R})$, $SO(8;\mathbb{R})$, $PSO(8;\mathbb{R})$

$\DeclareMathOperator{\SO}{\mathrm{SO}}\DeclareMathOperator{\Spin}{\mathrm{Spin}}\DeclareMathOperator{\Inn}{\mathrm{Inn}}\DeclareMathOperator{\Out}{\mathrm{Out}}\DeclareMathOperator{\Aut}{\mathrm{Aut}}$ How do we construct a precise map of inner + outer automorphism of special orthogonal group $\SO(n;\mathbb{R})$?

  • $d=2$; We can look at $\SO(2;\mathbb{R})=U(1)$ which is abelian, and we know the inner $$ \Inn(\SO(2;\mathbb{R}))=\SO(2;\mathbb{R})/Z(\SO(2;\mathbb{R}))=1 $$ $$ \Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2 $$ The total $\Aut(\SO(2;\mathbb{R}))=\Inn(\SO(2;\mathbb{R})) \rtimes \Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2$ We have no $\Inn(\SO(2;\mathbb{R}))$ except the identity map. I believe that we can get the $\Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2$ by flipping $t \to -t$ in $$ U(1)=\{\exp(i t) | t \in [0, 2 \pi)\} \to \{\exp(-i t) | t \in [0, 2 \pi)\}. $$ I wish to see explicit answer like the above for my following questions ---

  • other $n$ but $n\neq 2,8$ is discussed in MSE with answer still pending.

  • for $n=8$

Question 1: How do we construct the inner automorphism map explicitly (if my result is correct?)? Let us consider $\Spin(8;\mathbb{R})$, $\SO(8;\mathbb{R})$, $\SO(8;\mathbb{R})/(\mathbb{Z}/2)$.

for $n=8$

$$ \Inn(\Spin(n;\mathbb{R}))=\Spin(n;\mathbb{R})/Z(\Spin(n;\mathbb{R})) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$ $$ \Inn(\SO(n;\mathbb{R})/\mathbb{Z}/2)=(\SO(n;\mathbb{R})/\mathbb{Z}/2)/Z(\SO(n;\mathbb{R})/(\mathbb{Z}/2)) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$ $$ \Inn(\SO(n;\mathbb{R}))=\SO(n;\mathbb{R})/Z(\SO(n;\mathbb{R})) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$

Question 2: How do we construct the outer automorphism map explicitly $$ \Out(Spin(8;\mathbb{R}))=S_3 $$ $$ \Out(\SO(8;\mathbb{R}))=\mathbb{Z}/2 $$ $$ \Out(\SO(8;\mathbb{R})/\mathbb{Z}/2 )=S_3 $$ Given the parametrization of $\SO(n;\mathbb{R})$ how to map to itself via the Out map?

Question 3: How do we construct the total automorphism map explicitly $$ \Aut(\Spin(8;\mathbb{R}))=\Inn(\Spin(8;\mathbb{R})) \rtimes \Out(\Spin(8;\mathbb{R})) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$ $$ \Aut(\SO(8;\mathbb{R}))=\Inn(\SO(8;\mathbb{R})) \rtimes \Out(\SO(8;\mathbb{R})) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes \mathbb{Z}/2 ? $$ $$ \Aut(\SO(8;\mathbb{R})/\mathbb{Z}/2)=\Inn(\SO(8;\mathbb{R})/\mathbb{Z}/2) \rtimes \Out(\SO(8;\mathbb{R})/\mathbb{Z}/2) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$ Given the parametrization of $\Spin(8;\mathbb{R})$, $\SO(8;\mathbb{R})$, $\SO(8;\mathbb{R})/(\mathbb{Z}/2)$, how to map to itself via the $\Aut$ map?

P.S. Possible useful link but with not explicit (not enough) constructions in Automorphism group of real orthogonal Lie groups

Explicit automorphism map of $\Spin(8;\mathbb{R})$, $\SO(8;\mathbb{R})$, ${\rm PSO}(8;\mathbb{R})$

$\DeclareMathOperator{\SO}{\mathrm{SO}}\DeclareMathOperator{\Spin}{\mathrm{Spin}}\DeclareMathOperator{\Inn}{\mathrm{Inn}}\DeclareMathOperator{\Out}{\mathrm{Out}}\DeclareMathOperator{\Aut}{\mathrm{Aut}}$ How do we construct a precise map of inner + outer automorphism of special orthogonal group $\SO(n;\mathbb{R})$?

  • $d=2$; We can look at $\SO(2;\mathbb{R})=U(1)$ which is abelian, and we know the inner $$ \Inn(\SO(2;\mathbb{R}))=\SO(2;\mathbb{R})/Z(\SO(2;\mathbb{R}))=1 $$ $$ \Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2 $$ The total $\Aut(\SO(2;\mathbb{R}))=\Inn(\SO(2;\mathbb{R})) \rtimes \Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2$ We have no $\Inn(\SO(2;\mathbb{R}))$ except the identity map. I believe that we can get the $\Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2$ by flipping $t \to -t$ in $$ U(1)=\{\exp(i t) | t \in [0, 2 \pi)\} \to \{\exp(-i t) | t \in [0, 2 \pi)\}. $$ I wish to see explicit answer like the above for my following questions ---

  • other $n$ but $n\neq 2,8$ is discussed in MSE with answer still pending.

  • for $n=8$

Question 1: How do we construct the inner automorphism map explicitly (if my result is correct?)? Let us consider $\Spin(8;\mathbb{R})$, $\SO(8;\mathbb{R})$, $\SO(8;\mathbb{R})/(\mathbb{Z}/2)$.

for $n=8$

$$ \Inn(\Spin(n;\mathbb{R}))=\Spin(n;\mathbb{R})/Z(\Spin(n;\mathbb{R})) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$ $$ \Inn(\SO(n;\mathbb{R})/\mathbb{Z}/2)=(\SO(n;\mathbb{R})/\mathbb{Z}/2)/Z(\SO(n;\mathbb{R})/(\mathbb{Z}/2)) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$ $$ \Inn(\SO(n;\mathbb{R}))=\SO(n;\mathbb{R})/Z(\SO(n;\mathbb{R})) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$

Question 2: How do we construct the outer automorphism map explicitly $$ \Out(Spin(8;\mathbb{R}))=S_3 $$ $$ \Out(\SO(8;\mathbb{R}))=\mathbb{Z}/2 $$ $$ \Out(\SO(8;\mathbb{R})/\mathbb{Z}/2 )=S_3 $$ Given the parametrization of $\SO(n;\mathbb{R})$ how to map to itself via the $\Out$ map?

Question 3: How do we construct the total automorphism map explicitly

$$ \Aut(\Spin(8;\mathbb{R}))=\Inn(\Spin(8;\mathbb{R})) \rtimes \Out(\Spin(8;\mathbb{R})) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$ $$ \Aut(\SO(8;\mathbb{R}))=\Inn(\SO(8;\mathbb{R})) \rtimes \Out(\SO(8;\mathbb{R})) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes \mathbb{Z}/2 ? $$ $$ \Aut(\SO(8;\mathbb{R})/\mathbb{Z}/2)=\Inn(\SO(8;\mathbb{R})/\mathbb{Z}/2) \rtimes \Out(\SO(8;\mathbb{R})/\mathbb{Z}/2) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$ Given the parametrization of $\Spin(8;\mathbb{R})$, $\SO(8;\mathbb{R})$, $\SO(8;\mathbb{R})/(\mathbb{Z}/2)$, how to map to itself via the $\Aut$ map?

P.S. Possible useful link but with not explicit (not enough) constructions in Automorphism group of real orthogonal Lie groups

added 295 characters in body; edited tags
Source Link
C.F.G
  • 4.2k
  • 6
  • 31
  • 65

$\DeclareMathOperator{\SO}{\mathrm{SO}}\DeclareMathOperator{\Spin}{\mathrm{Spin}}\DeclareMathOperator{\Inn}{\mathrm{Inn}}\DeclareMathOperator{\Out}{\mathrm{Out}}\DeclareMathOperator{\Aut}{\mathrm{Aut}}$ How do we construct a precise map of inner + outer automorphism of special orthogonal group $SO(n;\mathbb{R})$$\SO(n;\mathbb{R})$?

  • $d=2$; We can look at $SO(2;\mathbb{R})=U(1)$$\SO(2;\mathbb{R})=U(1)$ which is abelian, and we know the inner $$ Inn(SO(2;\mathbb{R}))=SO(2;\mathbb{R})/Z(SO(2;\mathbb{R}))=1 $$$$ \Inn(\SO(2;\mathbb{R}))=\SO(2;\mathbb{R})/Z(\SO(2;\mathbb{R}))=1 $$ $$ Out(SO(2;\mathbb{R}))=\mathbb{Z}/2 $$$$ \Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2 $$ The total $Aut(SO(2;\mathbb{R}))=Inn(SO(2;\mathbb{R})) \rtimes Out(SO(2;\mathbb{R}))=\mathbb{Z}/2$$\Aut(\SO(2;\mathbb{R}))=\Inn(\SO(2;\mathbb{R})) \rtimes \Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2$ We have no $Inn(SO(2;\mathbb{R}))$$\Inn(\SO(2;\mathbb{R}))$ except the identity map. I believe that we can get the $Out(SO(2;\mathbb{R}))=\mathbb{Z}/2$$\Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2$ by flipping $t \to -t$ in $$ U(1)=\{\exp(i t) | t \in [0, 2 \pi)\} \to \{\exp(-i t) | t \in [0, 2 \pi)\}. $$ I wish to see explicit answer like the above for my following questions ---

  • other $n$ but $n\neq 2,8$ is discussed in https://math.stackexchange.com/q/3843014/141334MSE with answer still pending.

  • for $n=8$

Question 1:Question 1: How do we construct the inner automorphism map explicitly (if my result is correct?)? Let us consider $Spin(8;\mathbb{R})$$\Spin(8;\mathbb{R})$, $SO(8;\mathbb{R})$$\SO(8;\mathbb{R})$, $SO(8;\mathbb{R})/(\mathbb{Z}/2)$$\SO(8;\mathbb{R})/(\mathbb{Z}/2)$.

for $n=8$

$$ Inn(Spin(n;\mathbb{R}))=Spin(n;\mathbb{R})/Z(Spin(n;\mathbb{R})) = SO(8;\mathbb{R})/\mathbb{Z}/2 $$$$ \Inn(\Spin(n;\mathbb{R}))=\Spin(n;\mathbb{R})/Z(\Spin(n;\mathbb{R})) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$ $$ Inn(SO(n;\mathbb{R})/\mathbb{Z}/2)=(SO(n;\mathbb{R})/\mathbb{Z}/2)/Z(SO(n;\mathbb{R})/(\mathbb{Z}/2)) = SO(8;\mathbb{R})/\mathbb{Z}/2 $$$$ \Inn(\SO(n;\mathbb{R})/\mathbb{Z}/2)=(\SO(n;\mathbb{R})/\mathbb{Z}/2)/Z(\SO(n;\mathbb{R})/(\mathbb{Z}/2)) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$ $$ Inn(SO(n;\mathbb{R}))=SO(n;\mathbb{R})/Z(SO(n;\mathbb{R})) = SO(8;\mathbb{R})/\mathbb{Z}/2 $$$$ \Inn(\SO(n;\mathbb{R}))=\SO(n;\mathbb{R})/Z(\SO(n;\mathbb{R})) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$

Question 2:Question 2: How do we construct the outer automorphism map explicitly $$ Out(Spin(8;\mathbb{R}))=S_3 $$$$ \Out(Spin(8;\mathbb{R}))=S_3 $$ $$ Out(SO(8;\mathbb{R}))=\mathbb{Z}/2 $$$$ \Out(\SO(8;\mathbb{R}))=\mathbb{Z}/2 $$ $$ Out(SO(8;\mathbb{R})/\mathbb{Z}/2 )=S_3 $$$$ \Out(\SO(8;\mathbb{R})/\mathbb{Z}/2 )=S_3 $$ Given the parametrization of $SO(n;\mathbb{R})$$\SO(n;\mathbb{R})$ how to map to itself via the Out map?

Question 3:Question 3: How do we construct the total automorphism map explicitly $$ Aut(Spin(8;\mathbb{R}))=Inn(Spin(8;\mathbb{R})) \rtimes Out(Spin(8;\mathbb{R})) =(SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$$$ \Aut(\Spin(8;\mathbb{R}))=\Inn(\Spin(8;\mathbb{R})) \rtimes \Out(\Spin(8;\mathbb{R})) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$ $$ Aut(SO(8;\mathbb{R}))=Inn(SO(8;\mathbb{R})) \rtimes Out(SO(8;\mathbb{R})) =(SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes \mathbb{Z}/2 ? $$$$ \Aut(\SO(8;\mathbb{R}))=\Inn(\SO(8;\mathbb{R})) \rtimes \Out(\SO(8;\mathbb{R})) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes \mathbb{Z}/2 ? $$ $$ Aut(SO(8;\mathbb{R})/\mathbb{Z}/2)=Inn(SO(8;\mathbb{R})/\mathbb{Z}/2) \rtimes Out(SO(8;\mathbb{R})/\mathbb{Z}/2) =(SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$$$ \Aut(\SO(8;\mathbb{R})/\mathbb{Z}/2)=\Inn(\SO(8;\mathbb{R})/\mathbb{Z}/2) \rtimes \Out(\SO(8;\mathbb{R})/\mathbb{Z}/2) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$ Given the parametrization of $Spin(8;\mathbb{R})$$\Spin(8;\mathbb{R})$, $SO(8;\mathbb{R})$$\SO(8;\mathbb{R})$, $SO(8;\mathbb{R})/(\mathbb{Z}/2)$$\SO(8;\mathbb{R})/(\mathbb{Z}/2)$, how to map to itself via the Aut$\Aut$ map?

p.s.P.S. Possible useful link but with not explicit (not enough) constructions in Automorphism group of real orthogonal Lie groups

How do we construct a precise map of inner + outer automorphism of special orthogonal group $SO(n;\mathbb{R})$?

  • $d=2$; We can look at $SO(2;\mathbb{R})=U(1)$ which is abelian, and we know the inner $$ Inn(SO(2;\mathbb{R}))=SO(2;\mathbb{R})/Z(SO(2;\mathbb{R}))=1 $$ $$ Out(SO(2;\mathbb{R}))=\mathbb{Z}/2 $$ The total $Aut(SO(2;\mathbb{R}))=Inn(SO(2;\mathbb{R})) \rtimes Out(SO(2;\mathbb{R}))=\mathbb{Z}/2$ We have no $Inn(SO(2;\mathbb{R}))$ except the identity map. I believe that we can get the $Out(SO(2;\mathbb{R}))=\mathbb{Z}/2$ by flipping $t \to -t$ in $$ U(1)=\{\exp(i t) | t \in [0, 2 \pi)\} \to \{\exp(-i t) | t \in [0, 2 \pi)\}. $$ I wish to see explicit answer like the above for my following questions ---

  • other $n$ but $n\neq 2,8$ is discussed in https://math.stackexchange.com/q/3843014/141334 with answer still pending.

  • for $n=8$

Question 1: How do we construct the inner automorphism map explicitly (if my result is correct?)? Let us consider $Spin(8;\mathbb{R})$, $SO(8;\mathbb{R})$, $SO(8;\mathbb{R})/(\mathbb{Z}/2)$.

for $n=8$

$$ Inn(Spin(n;\mathbb{R}))=Spin(n;\mathbb{R})/Z(Spin(n;\mathbb{R})) = SO(8;\mathbb{R})/\mathbb{Z}/2 $$ $$ Inn(SO(n;\mathbb{R})/\mathbb{Z}/2)=(SO(n;\mathbb{R})/\mathbb{Z}/2)/Z(SO(n;\mathbb{R})/(\mathbb{Z}/2)) = SO(8;\mathbb{R})/\mathbb{Z}/2 $$ $$ Inn(SO(n;\mathbb{R}))=SO(n;\mathbb{R})/Z(SO(n;\mathbb{R})) = SO(8;\mathbb{R})/\mathbb{Z}/2 $$

Question 2: How do we construct the outer automorphism map explicitly $$ Out(Spin(8;\mathbb{R}))=S_3 $$ $$ Out(SO(8;\mathbb{R}))=\mathbb{Z}/2 $$ $$ Out(SO(8;\mathbb{R})/\mathbb{Z}/2 )=S_3 $$ Given the parametrization of $SO(n;\mathbb{R})$ how to map to itself via the Out map?

Question 3: How do we construct the total automorphism map explicitly $$ Aut(Spin(8;\mathbb{R}))=Inn(Spin(8;\mathbb{R})) \rtimes Out(Spin(8;\mathbb{R})) =(SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$ $$ Aut(SO(8;\mathbb{R}))=Inn(SO(8;\mathbb{R})) \rtimes Out(SO(8;\mathbb{R})) =(SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes \mathbb{Z}/2 ? $$ $$ Aut(SO(8;\mathbb{R})/\mathbb{Z}/2)=Inn(SO(8;\mathbb{R})/\mathbb{Z}/2) \rtimes Out(SO(8;\mathbb{R})/\mathbb{Z}/2) =(SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$ Given the parametrization of $Spin(8;\mathbb{R})$, $SO(8;\mathbb{R})$, $SO(8;\mathbb{R})/(\mathbb{Z}/2)$, how to map to itself via the Aut map?

p.s. Possible useful link but with not explicit (not enough) constructions in Automorphism group of real orthogonal Lie groups

$\DeclareMathOperator{\SO}{\mathrm{SO}}\DeclareMathOperator{\Spin}{\mathrm{Spin}}\DeclareMathOperator{\Inn}{\mathrm{Inn}}\DeclareMathOperator{\Out}{\mathrm{Out}}\DeclareMathOperator{\Aut}{\mathrm{Aut}}$ How do we construct a precise map of inner + outer automorphism of special orthogonal group $\SO(n;\mathbb{R})$?

  • $d=2$; We can look at $\SO(2;\mathbb{R})=U(1)$ which is abelian, and we know the inner $$ \Inn(\SO(2;\mathbb{R}))=\SO(2;\mathbb{R})/Z(\SO(2;\mathbb{R}))=1 $$ $$ \Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2 $$ The total $\Aut(\SO(2;\mathbb{R}))=\Inn(\SO(2;\mathbb{R})) \rtimes \Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2$ We have no $\Inn(\SO(2;\mathbb{R}))$ except the identity map. I believe that we can get the $\Out(\SO(2;\mathbb{R}))=\mathbb{Z}/2$ by flipping $t \to -t$ in $$ U(1)=\{\exp(i t) | t \in [0, 2 \pi)\} \to \{\exp(-i t) | t \in [0, 2 \pi)\}. $$ I wish to see explicit answer like the above for my following questions ---

  • other $n$ but $n\neq 2,8$ is discussed in MSE with answer still pending.

  • for $n=8$

Question 1: How do we construct the inner automorphism map explicitly (if my result is correct?)? Let us consider $\Spin(8;\mathbb{R})$, $\SO(8;\mathbb{R})$, $\SO(8;\mathbb{R})/(\mathbb{Z}/2)$.

for $n=8$

$$ \Inn(\Spin(n;\mathbb{R}))=\Spin(n;\mathbb{R})/Z(\Spin(n;\mathbb{R})) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$ $$ \Inn(\SO(n;\mathbb{R})/\mathbb{Z}/2)=(\SO(n;\mathbb{R})/\mathbb{Z}/2)/Z(\SO(n;\mathbb{R})/(\mathbb{Z}/2)) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$ $$ \Inn(\SO(n;\mathbb{R}))=\SO(n;\mathbb{R})/Z(\SO(n;\mathbb{R})) = \SO(8;\mathbb{R})/\mathbb{Z}/2 $$

Question 2: How do we construct the outer automorphism map explicitly $$ \Out(Spin(8;\mathbb{R}))=S_3 $$ $$ \Out(\SO(8;\mathbb{R}))=\mathbb{Z}/2 $$ $$ \Out(\SO(8;\mathbb{R})/\mathbb{Z}/2 )=S_3 $$ Given the parametrization of $\SO(n;\mathbb{R})$ how to map to itself via the Out map?

Question 3: How do we construct the total automorphism map explicitly $$ \Aut(\Spin(8;\mathbb{R}))=\Inn(\Spin(8;\mathbb{R})) \rtimes \Out(\Spin(8;\mathbb{R})) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$ $$ \Aut(\SO(8;\mathbb{R}))=\Inn(\SO(8;\mathbb{R})) \rtimes \Out(\SO(8;\mathbb{R})) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes \mathbb{Z}/2 ? $$ $$ \Aut(\SO(8;\mathbb{R})/\mathbb{Z}/2)=\Inn(\SO(8;\mathbb{R})/\mathbb{Z}/2) \rtimes \Out(\SO(8;\mathbb{R})/\mathbb{Z}/2) =(\SO(8;\mathbb{R})/\mathbb{Z}/2 ) \rtimes S_3 ? $$ Given the parametrization of $\Spin(8;\mathbb{R})$, $\SO(8;\mathbb{R})$, $\SO(8;\mathbb{R})/(\mathbb{Z}/2)$, how to map to itself via the $\Aut$ map?

P.S. Possible useful link but with not explicit (not enough) constructions in Automorphism group of real orthogonal Lie groups

edited title
Link
Loading
deleted 1 character in body
Source Link
Loading
added 765 characters in body; edited title
Source Link
Loading
edited body
Source Link
Loading
Source Link
Loading