Mathematics Asked by TuoTuo on November 9, 2020

Let $mathbb{Z}_4$ be the cyclic group generated by $(R,j)$ where $R in$ SO$(3)$ is the rotation matrix $R =

begin{pmatrix}

-1 & 0 & 0 \

0 & 0 & 1 \

0 & 1 & 0

end{pmatrix}$

Consider the $mathbb{Z}_4$ action on $S^2 times S^3$ generated by $(x,q) mapsto (Rx,qoverline{j})$. Here we are thinking of $S^2$ as the standard subset of $mathbb{R}^3$ with elements represented as column vectors and $S^3$ as unit quaternions.

I am looking for an equivariant diffeomorphism $S^2 times S^3 rightarrow S^2 times S^3$ that takes the $mathbb{Z}_4$ action above, and moves the action to the $mathbb{Z}_4$ action generated by $(x,q) mapsto (x,qoverline{j})$. My issue is that you cannot just use the diffeomorphism $(x,q) mapsto (R^{T}x,q)$ because $R$ is only being multiplied by the fist coordinate when half of the elements of $mathbb{Z}_4$ are acting.

Here's an example that makes use of the fact that the unit quaterions act by rotations on $S^2$.

Consider $S^2times S^3$ as a subset of $mathbb{H}_{im}timesmathbb{H}$, where $mathbb{H}_{im}$ denotes the subspace of purely imaginary quaterions. Note that the unit quaternions act on $mathbb{H}_{im}$ by conjugation $alphacdotbeta=alphabetaalpha^*$, which have the effect of Euclidean rotations. We can choose the identification $mathbb{R}^3congmathbb{H}_{im}$ so that the matrix $R$ is given by the action of $j$ (since unit imaginary quaterions act by $180^circ$ rotations). Define a map $f:mathbb{H}_{im}timesmathbb{H}tomathbb{H}_{im}timesmathbb{H}$ by $$ f(alpha,beta)=(betaalphabeta^*,beta) $$ This map can be smoothy restricted to $S^2times S^3subsetmathbb{H}_{im}timesmathbb{H}$, and has an inverse given by $f^{-1}(alpha,beta)=(beta^*alphabeta,beta)$. Equivariance is straightforward to verify.

Correct answer by Kajelad on November 9, 2020

0 Asked on October 31, 2020 by charu

1 Asked on October 31, 2020 by mathim1881

1 Asked on October 30, 2020 by chlee

0 Asked on October 30, 2020 by jneven

1 Asked on October 27, 2020 by xotix

2 Asked on October 27, 2020 by taroccoesbrocco

1 Asked on October 25, 2020 by dave-lunal

2 Asked on October 24, 2020 by rajat-taneja

1 Asked on October 23, 2020 by orientablesurface

borel measures lebesgue integral lebesgue measure measure theory solution verification

1 Asked on October 21, 2020 by stacey

diophantine equations frobenius equation linear algebra linear diophantine equations recreational mathematics

1 Asked on October 21, 2020 by saikat

1 Asked on October 20, 2020 by chris-christopherson

1 Asked on October 20, 2020

1 Asked on October 19, 2020 by federico

0 Asked on October 19, 2020 by ludvigh

0 Asked on October 19, 2020 by zom

2 Asked on October 18, 2020 by topologicalking

Get help from others!

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

Recent Answers

- haakon.io on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- Peter Machado on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?

© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP