Lorentz action on creation/annihilation operators


by jackson1
Tags: action, lorentz, operators
jackson1
jackson1 is offline
#1
Feb8-13, 04:01 PM
P: 12
Hi,
I'm currently reading the book "Quantum Field Theory for Mathematicians" by Ticciati and in section 2.3 he mentions that the Lorentz action on the free scalar field creation operators
[itex] \alpha(k)^\dagger [/itex] is given by

[tex] U(\Lambda)\alpha(k)^\dagger U(\Lambda)^\dagger =
\alpha(\Lambda k)^\dagger .[/tex]
Can someone tell me how to show this, or at least how to get started?
Phys.Org News Partner Physics news on Phys.org
The hemihelix: Scientists discover a new shape using rubber bands (w/ video)
Mapping the road to quantum gravity
Chameleon crystals could enable active camouflage (w/ video)
G01
G01 is offline
#2
Feb8-13, 04:33 PM
HW Helper
G01's Avatar
P: 2,688
Quote Quote by jackson1 View Post
Hi,
I'm currently reading the book "Quantum Field Theory for Mathematicians" by Ticciati and in section 2.3 he mentions that the Lorentz action on the free scalar field creation operators
[itex] \alpha(k)^\dagger [/itex] is given by

[tex] U(\Lambda)\alpha(k)^\dagger U(\Lambda)^\dagger =
\alpha(\Lambda k)^\dagger .[/tex]
Can someone tell me how to show this, or at least how to get started?
Momentum eigenstates [itex]|k>[/itex] transform (by definition given how the momentum, k, transforms) according to:

[tex]U(\Lambda)|k>=|\Lambda k>[/tex]
By writing a momentum eigenstate in terms of creation operators and the vacuum you should be able to make use of this definition and unitarity of operators to obtain the transformation rule for creation operators.
jackson1
jackson1 is offline
#3
Feb8-13, 04:49 PM
P: 12
Thanks for the hint. However, I'm still stuck/puzzled. I have

[tex] U(\Lambda)\alpha(k)^\dagger |0\rangle = U(\Lambda)|k\rangle
= |\Lambda k\rangle = \alpha(\Lambda k)^\dagger |0\rangle ,[/tex]
and so, I would think [itex] U(\Lambda)\alpha(k)^\dagger = \alpha(\Lambda k)^\dagger
[/itex]. I'm not sure how the other transformation comes into play.

G01
G01 is offline
#4
Feb8-13, 05:13 PM
HW Helper
G01's Avatar
P: 2,688

Lorentz action on creation/annihilation operators


Quote Quote by jackson1 View Post
Thanks for the hint. However, I'm still stuck/puzzled. I have

[tex] U(\Lambda)\alpha(k)^\dagger |0\rangle = U(\Lambda)|k\rangle
= |\Lambda k\rangle = \alpha(\Lambda k)^\dagger |0\rangle ,[/tex]
and so, I would think [itex] U(\Lambda)\alpha(k)^\dagger = \alpha(\Lambda k)^\dagger
[/itex]. I'm not sure how the other transformation comes into play.
You want to start from this line:
[tex] U(\Lambda)|k>=|\Lambda k>[/tex]

Your first instinct is correct. So, you can rewrite this line as:

[tex]U(\Lambda)\alpha(k)^\dagger |0\rangle=\alpha(\Lambda k)^\dagger|0\rangle[/tex]

Now, remember that [itex]U^{\dagger} U = 1[/itex], and that the vacuum is invariant. (i.e. All observers agree that there are no particles.)
jackson1
jackson1 is offline
#5
Feb8-13, 05:21 PM
P: 12
I'm sorry for being so annoying but I still don't see it. When you say the vacuum is invariant do you mean [itex] U(\Lambda)|0\rangle = |0\rangle [/itex] and similar for [itex] U(\Lambda)^\dagger [/itex]?
G01
G01 is offline
#6
Feb8-13, 05:22 PM
HW Helper
G01's Avatar
P: 2,688
Quote Quote by jackson1 View Post
I'm sorry for being so annoying but I still don't see it. When you say the vacuum is invariant do you mean [itex] U(\Lambda)|0\rangle = |0\rangle [/itex] and similar for [itex] U(\Lambda)^\dagger [/itex]?
Yes, that's it.
jackson1
jackson1 is offline
#7
Feb8-13, 05:34 PM
P: 12
Ok, so then I can say [itex] U(\Lambda)|k\rangle = |\Lambda k\rangle [/itex] implies [itex] U(\Lambda)\alpha(k)^\dagger |0\rangle = \alpha(\Lambda k)^\dagger |0\rangle [/itex] and since the vacuum is invariant, [itex] U(\Lambda)^\dagger |0\rangle =
|0\rangle [/itex], we have [itex] U(\Lambda)\alpha(k)^\dagger U(\Lambda)^\dagger |0\rangle = \alpha(\Lambda k)^\dagger |0\rangle .[/itex] However, wouldn't we also be able to say, for ex., [itex]U(\Lambda)\alpha(k)^\dagger U(\Lambda)^\dagger U(\Lambda)^\dagger |0\rangle = \alpha(\Lambda k)^\dagger |0\rangle [/itex] or, for ex., [itex] U(\Lambda)\alpha(k)^\dagger |0\rangle = \alpha(\Lambda k)^\dagger U(\Lambda) |0\rangle ?[/itex]
G01
G01 is offline
#8
Feb8-13, 05:43 PM
HW Helper
G01's Avatar
P: 2,688
Quote Quote by jackson1 View Post
Ok, so then I can say [itex] U(\Lambda)|k\rangle = |\Lambda k\rangle [/itex] implies [itex] U(\Lambda)\alpha(k)^\dagger |0\rangle = \alpha(\Lambda k)^\dagger |0\rangle [/itex] and since the vacuum is invariant, [itex] U(\Lambda)^\dagger |0\rangle =
|0\rangle [/itex], we have [itex] U(\Lambda)\alpha(k)^\dagger U(\Lambda)^\dagger |0\rangle = \alpha(\Lambda k)^\dagger |0\rangle .[/itex] However, wouldn't we also be able to say, for ex., [itex]U(\Lambda)\alpha(k)^\dagger U(\Lambda)^\dagger U(\Lambda)^\dagger |0\rangle = \alpha(\Lambda k)^\dagger |0\rangle [/itex] or, for ex., [itex] U(\Lambda)\alpha(k)^\dagger |0\rangle = \alpha(\Lambda k)^\dagger U(\Lambda) |0\rangle ?[/itex]
Not quite. Sorry, I misread your above post.

[itex]U(\Lambda)|0>=|0>[/itex] implies [itex]<0|U^{\dagger}(\Lambda)=<0|[/itex] not [itex] U(\Lambda)^\dagger |0\rangle =
|0\rangle [/itex]

Use unitarity to insert lorentz operators inbetween the creation operator and the vacuum ket. Then make use of the invariance of the vacuum.
jackson1
jackson1 is offline
#9
Feb8-13, 05:56 PM
P: 12
Ok, but now I have more questions :( . But first, let me just make sure I understand how to answer my original question. Skipping ahead, we have [itex] U(\Lambda)\alpha(k)^\dagger U(\Lambda)^\dagger U(\Lambda)|0\rangle = \alpha(\Lambda k)^\dagger |0\rangle [/itex] which implies [itex] U(\Lambda)\alpha(k)^\dagger U(\Lambda)^\dagger = \alpha(\Lambda k)^\dagger [/itex]. My next question is, what happens if you act on the vacuum ket with [itex] U(\Lambda)^\dagger [/itex]. Also, why not stop once you know that [itex] U(\Lambda)\alpha(k)^\dagger |0\rangle = \alpha(\Lambda k)^\dagger |0\rangle [/itex], implying [itex]U(\Lambda)\alpha(k)^\dagger = \alpha(\Lambda k)^\dagger[/itex]; that is, why do you want to conjugate (if this is the correct usage of the word) [itex]\alpha(k)^\dagger [/itex]. Finally, I should be able to find the analogous transformation for the annihilation operator, perhaps starting with bras, correct (Ticciati doesn't mention it so I'm not sure if something different might happen)?
G01
G01 is offline
#10
Feb8-13, 06:15 PM
HW Helper
G01's Avatar
P: 2,688
Quote Quote by jackson1 View Post
Ok, but now I have more questions :( . But first, let me just make sure I understand how to answer my original question. Skipping ahead, we have [itex] U(\Lambda)\alpha(k)^\dagger U(\Lambda)^\dagger U(\Lambda)|0\rangle = \alpha(\Lambda k)^\dagger |0\rangle [/itex] which implies [itex] U(\Lambda)\alpha(k)^\dagger U(\Lambda)^\dagger = \alpha(\Lambda k)^\dagger [/itex].
Correct.

My next question is, what happens if you act on the vacuum ket with [itex] U(\Lambda)^\dagger [/itex].
I honestly don't remember. Perhaps someone else can chime in on this one? I never thought about it as the non conjugated Lorentz operator is what we care about when defining how transformations affect kets.

Also, why not stop once you know that [itex] U(\Lambda)\alpha(k)^\dagger |0\rangle = \alpha(\Lambda k)^\dagger |0\rangle [/itex], implying [itex]U(\Lambda)\alpha(k)^\dagger = \alpha(\Lambda k)^\dagger[/itex]; that is, why do you want to conjugate (if this is the correct usage of the word) [itex]\alpha(k)^\dagger [/itex].
You are confusing how kets transform and how operators transform. That definition of an operator transformation is inconsistent with kets that transform like [itex]U(\Lambda)|k\rangle=|\Lambda k\rangle[/itex]

Remember that we want to preserve the normalization of our kets. i.e. :

[tex]\langle k |k\rangle = \langle \Lambda k |\Lambda k\rangle = 1[/tex]

This will imply operator transformations like [itex]U(\Lambda )a^{\dagger}(k)U(\Lambda )^{\dagger}=a^{\dagger}(\Lambda k)[/itex] if the kets transform like [itex]U( \Lambda )|k\rangle=|\Lambda k\rangle[/itex]

Finally, I should be able to find the analogous transformation for the annihilation operator, perhaps starting with bras, correct (Ticciati doesn't mention it so I'm not sure if something different might happen)?
It follows directly from the work you just did. Just take the hermitian conjugate of the equation we just derived.
jackson1
jackson1 is offline
#11
Feb8-13, 06:27 PM
P: 12
Thanks so much for your help.
Fredrik
Fredrik is online now
#12
Feb8-13, 06:29 PM
Emeritus
Sci Advisor
PF Gold
Fredrik's Avatar
P: 9,018
##U(\Lambda)## is unitary, so ##U(\Lambda)^\dagger=U(\Lambda)^{-1}=U(\Lambda^{-1})## is another Lorentz transformation operator.
G01
G01 is offline
#13
Feb8-13, 06:34 PM
HW Helper
G01's Avatar
P: 2,688
Quote Quote by Fredrik View Post
##U(\Lambda)## is unitary, so ##U(\Lambda)^\dagger=U(\Lambda)^{-1}=U(\Lambda^{-1})## is another Lorentz transformation operator.
Of course! I should have known that!


Register to reply

Related Discussions
Creation and Annihilation Operators Quantum Physics 2
Creation and annihilation operators Advanced Physics Homework 9
exponential of creation/annihilation operators Quantum Physics 2
Creation/annihilation operators Quantum Physics 16
Creation and Annihilation Operators in QM General Physics 3