Complex scalar field and contraction

wod58
Messages
2
Reaction score
0
Hi guys,

If I use the definition of the scalar complex field as the combination of two scalar real fields, I can get

\phi (x) = \int \frac{d^3 p}{(2\pi )^3} \frac{1}{\sqrt{2p_0}} [ \hat a _{\vec{p}} e^{-ip.x} + \hat b _{\vec{p}}^{\dagger } e^{ip.x}]

which I can rewrite in terms of (like in Peskin & Schroeder)

\phi (x) = \phi ^{+} (x) + \phi ^{-} (x)

where \langle 0|\phi ^{-} = 0 and \phi ^{+} |0\rangle = 0.


My problem is: when you try to calculate the contraction of the field with itself

\text{\contraction}\{\phi (x)\}\{\phi (y)\} = \begin{cases} [\phi ^{+} (x), \phi ^{-} (y)] , & \text{if } x_0 > y_0 \\ [\phi ^{+} (y), \phi ^{-} (x)] , & \text{if } x_0 < y_0 \end{cases}

which is supposed to be the Feynman Propagator, you obtain it for a scalar real field, but for a scalar complex field as defined above, you obtain terms with \hat a _{\vec{p}} \hat b _{\vec{p \prime}}^{\dagger }. The operators commute, so the vacuum expectation of these terms would be 0.


I guess I'm wrong, but can someone see where? :)
 
Physics news on Phys.org
Hmm, I think the problem is that you are trying to contract the complex scalar field with itself, when I think you can actually only contract it with it's conjugate field (similarly to spin-1/2 fields, i.e. see page 116 of Peskin and Schroeder). I haven't been able to find a reference to back me up on this but I think it must be the case, for the very reason you have discovered.

I.e. in your definition of the contraction there should be a dagger on the second scalar field in the first commutators and on the first field in the second commutator -if you want them to be equal to the Feynman propagator- and the commutators you have written down are indeed zero.

It makes perfect sense now that I think about it more. The positive and negative frequency components of a complex scalar field are totally separate fields in some sense, so of course their commutators should vanish, in a free theory anyway...
 
Last edited:
Now that you say it, it seems pretty logical. Thanks for explanation. :)
 
Toponium is a hadron which is the bound state of a valance top quark and a valance antitop quark. Oversimplified presentations often state that top quarks don't form hadrons, because they decay to bottom quarks extremely rapidly after they are created, leaving no time to form a hadron. And, the vast majority of the time, this is true. But, the lifetime of a top quark is only an average lifetime. Sometimes it decays faster and sometimes it decays slower. In the highly improbable case that...
I'm following this paper by Kitaev on SL(2,R) representations and I'm having a problem in the normalization of the continuous eigenfunctions (eqs. (67)-(70)), which satisfy \langle f_s | f_{s'} \rangle = \int_{0}^{1} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) \, du. \tag{67} The singular contribution of the integral arises at the endpoint u=1 of the integral, and in the limit u \to 1, the function f_s(u) takes on the form f_s(u) \approx a_s (1-u)^{1/2 + i s} + a_s^* (1-u)^{1/2 - i s}. \tag{70}...
Back
Top