Skip to main content
added 184 characters in body
Source Link
wonderich
  • 10.5k
  • 3
  • 27
  • 70

My goal is to identify the $Pin$ group $$ 1 \to Spin(n) \to Pin^{\pm}(n) \to \mathbb{Z}_2 \to 1 $$ such that $Pin^{\pm}(n)$ are isomorphisms to other more familiar groups.

My trick is that to look at the center $Z$ of $Pin$ group, say $Z(Pin(n))$.

We see that, for $k \in \mathbb{Z}^+$,

when $n=4k+1$, $$ Z(Pin^+(4k+1))=\mathbb{Z}_2 \times \mathbb{Z}_2, $$ $$ Z(Pin^-(4k+1))=\mathbb{Z}_4. $$

when $n=4k+3$, $$ Z(Pin^+(4k+3))=\mathbb{Z}_4, $$ $$ Z(Pin^-(4k+3))=\mathbb{Z}_2 \times \mathbb{Z}_2. $$

when $n=4k$ or when $n=4k+2$, $$ Z(Pin^+(n))=Z(Pin^-(n))=\mathbb{Z}_2. $$

So my naive attempt is that we have the following $Pin$ group isomorphisms:

$$Pin^+(1)=\mathbb{Z}_2 \times \mathbb{Z}_2, \quad Pin^-(1)=\mathbb{Z}_4.$$

$$Pin^+(3)=SO(3) \times \mathbb{Z}_ 4, \quad Pin^-(3)=Spin(3) \times \mathbb{Z}_2.$$$$Pin^+(3)=SO(3) \times \mathbb{Z}_ 4 \text{ or } \frac{Spin(3) \times \mathbb{Z}_4}{\mathbb{Z}_2}, \quad Pin^-(3)=Spin(3) \times \mathbb{Z}_2.$$

$$Pin^+(5)=Spin(5) \times \mathbb{Z}_2,\quad Pin^-(5)=SO(5) \times \mathbb{Z}_4.$$$$Pin^+(5)=Spin(5) \times \mathbb{Z}_2,\quad Pin^-(5)=SO(5) \times \mathbb{Z}_4 \text{ or } \frac{Spin(5) \times \mathbb{Z}_4}{\mathbb{Z}_2}.$$

Question 1: Am I correct about the above statements? More generally, do we have*

$$Pin^+(4k+1)\cong Spin(4k+1) \times \mathbb{Z}_2,\quad Pin^-(4k+1)\cong SO(4k+1) \times \mathbb{Z}_4.$$

$$Pin^+(4k+3)\cong SO(4k+3) \times \mathbb{Z}_ 4, \quad Pin^-(4k+3)\cong Spin(4k+3) \times \mathbb{Z}_2.$$

I am not so sure, $Pin^+(3)=SO(3) \times \mathbb{Z}_ 4$, could it be that instead $Pin^+(3)=\frac{Spin(3) \times \mathbb{Z}_4}{\mathbb{Z}_2}?$ (It looks that mine agrees with Wikipedia, but I doubt Wikipedia may be wrong about $Pin^+(3)=SO(3) \times \mathbb{Z}_ 4$...) possibly only for the Lie algebra, not for the Lie group.

Could it be that:

$$Pin^+(4k+1)\cong Spin(4k+1) \times \mathbb{Z}_2,\quad Pin^-(4k+1)\cong \frac{Spin(4k+1) \times \mathbb{Z}_4}{\mathbb{Z}_2}.$$

$$Pin^+(4k+3)\cong \frac{Spin(4k+3) \times \mathbb{Z}_ 4}{\mathbb{Z}_ 2}, \quad Pin^-(4k+3)\cong Spin(4k+3) \times \mathbb{Z}_2.$$

Question 2: Are there other $Pin$ group isomorphisms for $n=4k$, or $4k+2$, say $$Pin^{+/-}(4k)\cong ?$$ and $$Pin^{+/-}(4k+2)\cong?$$

Thanks for your comments in advance.

My goal is to identify the $Pin$ group $$ 1 \to Spin(n) \to Pin^{\pm}(n) \to \mathbb{Z}_2 \to 1 $$ such that $Pin^{\pm}(n)$ are isomorphisms to other more familiar groups.

My trick is that to look at the center $Z$ of $Pin$ group, say $Z(Pin(n))$.

We see that, for $k \in \mathbb{Z}^+$,

when $n=4k+1$, $$ Z(Pin^+(4k+1))=\mathbb{Z}_2 \times \mathbb{Z}_2, $$ $$ Z(Pin^-(4k+1))=\mathbb{Z}_4. $$

when $n=4k+3$, $$ Z(Pin^+(4k+3))=\mathbb{Z}_4, $$ $$ Z(Pin^-(4k+3))=\mathbb{Z}_2 \times \mathbb{Z}_2. $$

when $n=4k$ or when $n=4k+2$, $$ Z(Pin^+(n))=Z(Pin^-(n))=\mathbb{Z}_2. $$

So my naive attempt is that we have the following $Pin$ group isomorphisms:

$$Pin^+(1)=\mathbb{Z}_2 \times \mathbb{Z}_2, \quad Pin^-(1)=\mathbb{Z}_4.$$

$$Pin^+(3)=SO(3) \times \mathbb{Z}_ 4, \quad Pin^-(3)=Spin(3) \times \mathbb{Z}_2.$$

$$Pin^+(5)=Spin(5) \times \mathbb{Z}_2,\quad Pin^-(5)=SO(5) \times \mathbb{Z}_4.$$

Question 1: Am I correct about the above statements? More generally, do we have*

$$Pin^+(4k+1)\cong Spin(4k+1) \times \mathbb{Z}_2,\quad Pin^-(4k+1)\cong SO(4k+1) \times \mathbb{Z}_4.$$

$$Pin^+(4k+3)\cong SO(4k+3) \times \mathbb{Z}_ 4, \quad Pin^-(4k+3)\cong Spin(4k+3) \times \mathbb{Z}_2.$$

I am not so sure, $Pin^+(3)=SO(3) \times \mathbb{Z}_ 4$, could it be that instead $Pin^+(3)=\frac{Spin(3) \times \mathbb{Z}_4}{\mathbb{Z}_2}?$ (It looks that mine agrees with Wikipedia, but I doubt Wikipedia may be wrong about $Pin^+(3)=SO(3) \times \mathbb{Z}_ 4$...)

Could it be that:

$$Pin^+(4k+1)\cong Spin(4k+1) \times \mathbb{Z}_2,\quad Pin^-(4k+1)\cong \frac{Spin(4k+1) \times \mathbb{Z}_4}{\mathbb{Z}_2}.$$

$$Pin^+(4k+3)\cong \frac{Spin(4k+3) \times \mathbb{Z}_ 4}{\mathbb{Z}_ 2}, \quad Pin^-(4k+3)\cong Spin(4k+3) \times \mathbb{Z}_2.$$

Question 2: Are there other $Pin$ group isomorphisms for $n=4k$, or $4k+2$, say $$Pin^{+/-}(4k)\cong ?$$ and $$Pin^{+/-}(4k+2)\cong?$$

Thanks for your comments in advance.

My goal is to identify the $Pin$ group $$ 1 \to Spin(n) \to Pin^{\pm}(n) \to \mathbb{Z}_2 \to 1 $$ such that $Pin^{\pm}(n)$ are isomorphisms to other more familiar groups.

My trick is that to look at the center $Z$ of $Pin$ group, say $Z(Pin(n))$.

We see that, for $k \in \mathbb{Z}^+$,

when $n=4k+1$, $$ Z(Pin^+(4k+1))=\mathbb{Z}_2 \times \mathbb{Z}_2, $$ $$ Z(Pin^-(4k+1))=\mathbb{Z}_4. $$

when $n=4k+3$, $$ Z(Pin^+(4k+3))=\mathbb{Z}_4, $$ $$ Z(Pin^-(4k+3))=\mathbb{Z}_2 \times \mathbb{Z}_2. $$

when $n=4k$ or when $n=4k+2$, $$ Z(Pin^+(n))=Z(Pin^-(n))=\mathbb{Z}_2. $$

So my naive attempt is that we have the following $Pin$ group isomorphisms:

$$Pin^+(1)=\mathbb{Z}_2 \times \mathbb{Z}_2, \quad Pin^-(1)=\mathbb{Z}_4.$$

$$Pin^+(3)=SO(3) \times \mathbb{Z}_ 4 \text{ or } \frac{Spin(3) \times \mathbb{Z}_4}{\mathbb{Z}_2}, \quad Pin^-(3)=Spin(3) \times \mathbb{Z}_2.$$

$$Pin^+(5)=Spin(5) \times \mathbb{Z}_2,\quad Pin^-(5)=SO(5) \times \mathbb{Z}_4 \text{ or } \frac{Spin(5) \times \mathbb{Z}_4}{\mathbb{Z}_2}.$$

Question 1: Am I correct about the above statements? More generally, do we have*

$$Pin^+(4k+1)\cong Spin(4k+1) \times \mathbb{Z}_2,\quad Pin^-(4k+1)\cong SO(4k+1) \times \mathbb{Z}_4.$$

$$Pin^+(4k+3)\cong SO(4k+3) \times \mathbb{Z}_ 4, \quad Pin^-(4k+3)\cong Spin(4k+3) \times \mathbb{Z}_2.$$

I am not so sure, $Pin^+(3)=SO(3) \times \mathbb{Z}_ 4$, could it be that instead $Pin^+(3)=\frac{Spin(3) \times \mathbb{Z}_4}{\mathbb{Z}_2}?$ (It looks that mine agrees with Wikipedia, but I doubt Wikipedia may be wrong about $Pin^+(3)=SO(3) \times \mathbb{Z}_ 4$...) possibly only for the Lie algebra, not for the Lie group.

Could it be that:

$$Pin^+(4k+1)\cong Spin(4k+1) \times \mathbb{Z}_2,\quad Pin^-(4k+1)\cong \frac{Spin(4k+1) \times \mathbb{Z}_4}{\mathbb{Z}_2}.$$

$$Pin^+(4k+3)\cong \frac{Spin(4k+3) \times \mathbb{Z}_ 4}{\mathbb{Z}_ 2}, \quad Pin^-(4k+3)\cong Spin(4k+3) \times \mathbb{Z}_2.$$

Question 2: Are there other $Pin$ group isomorphisms for $n=4k$, or $4k+2$, say $$Pin^{+/-}(4k)\cong ?$$ and $$Pin^{+/-}(4k+2)\cong?$$

Thanks for your comments in advance.

Source Link
wonderich
  • 10.5k
  • 3
  • 27
  • 70

Isomorphisms of Pin groups

My goal is to identify the $Pin$ group $$ 1 \to Spin(n) \to Pin^{\pm}(n) \to \mathbb{Z}_2 \to 1 $$ such that $Pin^{\pm}(n)$ are isomorphisms to other more familiar groups.

My trick is that to look at the center $Z$ of $Pin$ group, say $Z(Pin(n))$.

We see that, for $k \in \mathbb{Z}^+$,

when $n=4k+1$, $$ Z(Pin^+(4k+1))=\mathbb{Z}_2 \times \mathbb{Z}_2, $$ $$ Z(Pin^-(4k+1))=\mathbb{Z}_4. $$

when $n=4k+3$, $$ Z(Pin^+(4k+3))=\mathbb{Z}_4, $$ $$ Z(Pin^-(4k+3))=\mathbb{Z}_2 \times \mathbb{Z}_2. $$

when $n=4k$ or when $n=4k+2$, $$ Z(Pin^+(n))=Z(Pin^-(n))=\mathbb{Z}_2. $$

So my naive attempt is that we have the following $Pin$ group isomorphisms:

$$Pin^+(1)=\mathbb{Z}_2 \times \mathbb{Z}_2, \quad Pin^-(1)=\mathbb{Z}_4.$$

$$Pin^+(3)=SO(3) \times \mathbb{Z}_ 4, \quad Pin^-(3)=Spin(3) \times \mathbb{Z}_2.$$

$$Pin^+(5)=Spin(5) \times \mathbb{Z}_2,\quad Pin^-(5)=SO(5) \times \mathbb{Z}_4.$$

Question 1: Am I correct about the above statements? More generally, do we have*

$$Pin^+(4k+1)\cong Spin(4k+1) \times \mathbb{Z}_2,\quad Pin^-(4k+1)\cong SO(4k+1) \times \mathbb{Z}_4.$$

$$Pin^+(4k+3)\cong SO(4k+3) \times \mathbb{Z}_ 4, \quad Pin^-(4k+3)\cong Spin(4k+3) \times \mathbb{Z}_2.$$

I am not so sure, $Pin^+(3)=SO(3) \times \mathbb{Z}_ 4$, could it be that instead $Pin^+(3)=\frac{Spin(3) \times \mathbb{Z}_4}{\mathbb{Z}_2}?$ (It looks that mine agrees with Wikipedia, but I doubt Wikipedia may be wrong about $Pin^+(3)=SO(3) \times \mathbb{Z}_ 4$...)

Could it be that:

$$Pin^+(4k+1)\cong Spin(4k+1) \times \mathbb{Z}_2,\quad Pin^-(4k+1)\cong \frac{Spin(4k+1) \times \mathbb{Z}_4}{\mathbb{Z}_2}.$$

$$Pin^+(4k+3)\cong \frac{Spin(4k+3) \times \mathbb{Z}_ 4}{\mathbb{Z}_ 2}, \quad Pin^-(4k+3)\cong Spin(4k+3) \times \mathbb{Z}_2.$$

Question 2: Are there other $Pin$ group isomorphisms for $n=4k$, or $4k+2$, say $$Pin^{+/-}(4k)\cong ?$$ and $$Pin^{+/-}(4k+2)\cong?$$

Thanks for your comments in advance.