I How is unit norm axis rotation represented and derived in R3?

LCSphysicist
Messages
644
Reaction score
162
TL;DR Summary
I am having trouble to understand the reasoning that the author follows in these pages.
A rotation about an unit norm axis in R3
1624685734661.png
can be given by the following, that gives basically the elements of the matrix of the rotation:
1624685272932.png

With these expression, we can obtain the three infinesimal rotations that corresponds to the three euler angles by first writing the three individuals matrix of these rotations, and then, taking the derivative:
1624685381104.png

Now, the autor gives the algebra regardind these transformations and talk about its representation in Rn
1624685431887.png

It is said that the representation A have the same algebra that g. And so he starts to talk about the canonical basis to represent as a way to write the representations.

1624685476549.png

After that, he returns to the beginning and says that
1624685560659.png

The relatios six and seven he says is that:

1624685593061.png

Now, i am extremelly confused about all this thing. More preciselly, i can't understand how 1.29 was obtained. It was used the A representation? How do he uses it? There is something to do with the canonical basis?
 
Physics news on Phys.org
Since you want to obtain a 2d representation, you need to use the representation with ##2=2j+1## i.e. ##j=1/2##. Then the "canonical basis" is 2d and consists of ##f_{-1/2}, f_{1/2}##. With eq. 1-28 you now know how ##L_3## and ##L_{\pm}## act on that base, and therefore you can construct the matrices in this base.
Now, knowing these 3 operators you can easily compute, using 1-26 the operators ##A_i##. And from that, you can construct the unitary matrix.
 
Gaussian97 said:
Since you want to obtain a 2d representation, you need to use the representation with ##2=2j+1## i.e. ##j=1/2##. Then the "canonical basis" is 2d and consists of ##f_{-1/2}, f_{1/2}##. With eq. 1-28 you now know how ##L_3## and ##L_{\pm}## act on that base, and therefore you can construct the matrices in this base.
Now, knowing these 3 operators you can easily compute, using 1-26 the operators ##A_i##. And from that, you can construct the unitary matrix.
Hello. Thank you. The real problem to me is, following your reasoning, make the last step. Tthat is, from the Ai obtained, how to construct the unitary matrix. How do exact we could do it? I am still new in these representations things, so i am a little confused about that.
 
Given the set of generators ##A_i##, you can construct the elements of the group as
$$g(\alpha, \beta, \gamma) = \exp{(\alpha A_1 + \beta A_2 + \gamma A_3)}$$
Where the exponential must be understood as its Taylor expansion. The evaluation can be, in general, very difficult, fortunately for the 2d representation of SO(3) you can find easy expressions for the matrices ##(\alpha A_1 + \beta A_2 + \gamma A_3)^n## which allows you to write the exponential in the form 1-29
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top