Infintesimal transformations and Noether's theorem

In summary: The presence of the ε (assumed to be <<1) is so that the shift from the original coordinate xμ can be regarded as infinitesimal.
  • #36
Now, ask yourself this: Didn’t I do all this for you in post #7?
Yes, you did. But what I am doing now is asking a follow up question to try to understand what you wrote. I did not mean to ask you to copy out the derivation again.

samalkhaiat said:
The space-time transformation group connects the two observers and their fields at [itex]P[/itex] as follow
[tex]\bar{ x }^{ \mu } = g^{ \mu }{}_{ \nu } x^{ \nu } \approx x^{ \mu } + \delta x^{ \mu } ,[/tex]
[tex]\bar{ \phi }_{ a } ( \bar{ x } ) = D_{ a }{}^{ b } \phi_{ b } ( x ) \approx \phi_{ a } ( x ) + \omega_{ \mu \nu } ( \Sigma^{ \mu \nu } )_{ a }{}^{ b } \phi_{ b } ( x ) .[/tex]

I guess my question would be why is it only the sigma matrices which are present and not the whole generator here? For example, on P.5 of this document: http://einrichtungen.ph.tum.de/T30f/lec/QFT/groups.pdf The equation above eqn (4) on page 5 implements the transformation of the coordinates of the field between the two observer frames of reference. The generator present is L and this makes sense (L is orbital, thereby transforming the coordinates). Eqn (5) implements the transformation on both the field and the coordinates by adding a term with generator S that transforms the field spin indices if S ≠0 and I think it resembles your ##\Phi'(x') = D(g)\Phi##.

My question is: the only term in your D(g) is the ∑ ##\equiv## S that implements only the change in the field spin indices. So why, conceptually, is there the primed coordinate system on the LHS? I would have expected there to be the orbital and spin part present in D for this to occur.

Thank you.
 
Physics news on Phys.org
  • #37
CAF123 said:
I guess my question would be why is it only the sigma matrices which are present and not the whole generator here? For example, on P.5 of this document: http://einrichtungen.ph.tum.de/T30f/lec/QFT/groups.pdf The equation above eqn (4) on page 5 implements the transformation of the coordinates of the field between the two observer frames of reference. The generator present is L and this makes sense (L is orbital, thereby transforming the coordinates).
I think, I’ve done better job explaining this.

Eqn (5) implements the transformation on both the field and the coordinates by adding a term with generator S that transforms the field spin indices if S ≠0 and I think it resembles your ##\Phi'(x') = D(g)\Phi##.

No, eq(5) is the FINITE version (exponentiation) of the last equation in post #35.

My question is: the only term in your D(g) is the ∑ ##\equiv## S that implements only the change in the field spin indices.So why, conceptually, is there the primed coordinate system on the LHS?

Because the transformation law refers to the SAME geometrical point [itex]P[/itex]
[tex]\bar{ \phi }_{ a } ( P ) = ( e^{ - \omega \ \cdot \ S } )_{ a }{}^{ b } \ \phi_{ b } ( P )[/tex]
As I said in the previous post, the coordinates of point [itex]P[/itex] in the barred system is [itex]\bar{x}[/itex] and [itex]x[/itex] in the unbarred system. So, you can write
[tex]\bar{ \phi }_{ a } ( \bar{ x } ) = ( e^{ - \omega \ \cdot \ S } )_{ a }{}^{ b } \ \phi_{ b } ( x ) \ \ \ (1)[/tex]
Now, the left hand side can be written as
[tex]\bar{ \phi }_{ a } ( \bar{ x } ) = ( e^{ \delta x \ \cdot \ \partial } ) \ \bar{ \phi }_{ a } ( x ) \equiv ( e^{ \omega \ \cdot \ L } ) \ \bar{ \phi }_{ a } ( x ) . \ \ \ (2)[/tex]
I explained the meaning of this equation way back in post #5. It simply means this: the barred observer shift the argument of his field to a nearby point [itex]Q[/itex] with coordinates value [itex]\bar{ x }_{ Q }[/itex] equal to the coordinates of [itex]P[/itex] in the unbarred system, which we called [itex]x[/itex].
Now, put (2) back in (1), you find
[tex]\bar{ \phi }_{ a } ( x ) = ( e^{ - \omega \ \cdot \ L } ) ( e^{ - \omega \ \cdot \ S } )_{ a }{}^{ b } \ \phi_{ b } ( x )[/tex]
This is eq(5).


I would have expected there to be the orbital and spin part present in D for this to occur.

No, the representations of the abstract Lorentz group know absolutely nothing about the spacetime coordinates. It is classified by the spin-matrix only. When we identify the representations with fields on spacetime, then and only then, the orbital generators show up.

Sam
 
  • #38
Thanks samalkhaiat! Yes, your derivation is clearer and to see if I understand what you say about the coordinates:
samalkhaiat said:
Because the transformation law refers to the SAME geometrical point [itex]P[/itex]
In frame ##S##, say, we measure ##x## and in frame ##\bar S## we measure ##\bar x## - they are the same point in Minkowski space, it is just their coordinate frame representation of the point is different. For example, relative to frame S, this means the two points will be at different positions, (since the coordinate reps of ##x## in S is not the same as ##\bar x## in S, otherwise the frames would coincide) related by ##\bar x = \Lambda x## if we do a Lorentz transformation (rotation) of the frame S coordinate space. Is that correct? I guess I dragged that on a bit, but I just want to check I understand.

No, the representations of the abstract Lorentz group know absolutely nothing about the spacetime coordinates. It is classified by the spin-matrix only. When we identify the representations with fields on spacetime, then and only then, the orbital generators show up.
Thanks.
 
  • #39
CAF123 said:
In frame ##S##, say, we measure ##x## and in frame ##\bar S## we measure ##\bar x## - they are the same point in Minkowski space, it is just their coordinate frame representation of the point is different. For example, relative to frame S, this means the two points will be at different positions, (since the coordinate reps of ##x## in S is not the same as ##\bar x## in S, otherwise the frames would coincide) related by ##\bar x = \Lambda x## if we do a Lorentz transformation (rotation) of the frame S coordinate space. Is that correct? I guess I dragged that on a bit, but I just want to check I understand.


Thanks.

At last. Yes, you always remember this "two pearsons looking at one point is equivalent to one pearson looking at two points"
 

Similar threads

Replies
0
Views
559
Replies
6
Views
4K
Replies
1
Views
1K
Replies
2
Views
2K
Replies
2
Views
2K
Back
Top