Showing that commutator is invariant under orthchronous LTs

[vertices]

I'm having difficulty deciphering my notes which 'proove' that the commutor of two real free fields φ(x) and φ(y) (lets call it i∆) ie. i∆=[φ(x),φ(y)] are Lorentz invariant under an orthocronous Lorentz transformation. Not sure if it helps but φ(x)=∫d³k[α(k)e^-ikx+α⁺(k)e^ikx].

Now, apparently I have to 'observe' that:

i∆=∫d⁴k.δ(k²-m²)ε(k⁰)e^-ikx

where ε(k⁰) = 1 if k⁰>0 and -1 if k⁰<0.

Firstly, I can't see at all, how this expression comes about: why there is a delta function δ(k²-m²) (this looks like the mass shell condition, but why is it relavent here?)

The "ε(k⁰) keeps positive k⁰ positive and negative k⁰ negative". I guess this makes sense because an orthocronous LT maps future directed vectors to future directed vector and past to past.

But I still can't see why that expression proves that ∆(Lx)=∆(x).

Any thought?

 

[masqau]

i/delta is Feynman propagator.
since field theory is relativistic hence all the expression must be Lorenz Invariant.

 

[muppet]

Hi vertices,
I'm only studying this stuff myself atm, but think I might be able to make a few helpful observations (pending corrections by my superiors )

Firstly, the definition of the field you've written down doesn't explicitly use a lorentz invariant measure, as in general 3D subsets of 4D minkowski space aren't preserved under arbitrary lorentz transformations. (I'm guessing this will manifest itself in the transformation properties of your creation and annihilation operators- are they defined containing the reciprocal of the energy?) However, the 3d subspace of minkowski momentum space defined by the on-shell condition, coupled with the step function, is lorentz-invariant; it's not co-ordinate dependent, but is defined wrt the lorentz invariant inner product.

Once you've observed that the measure is lorentz invariant, you just have to observe that the exponent is defined wrt a Minkowski inner product, so it's obviously lorentz invariant.

 

[saaskis]

Now, apparently I have to 'observe' that:

i∆=∫d⁴k.δ(k²-m²)ε(k⁰)e^-ikx

where ε(k⁰) = 1 if k⁰>0 and -1 if k⁰<0.

Firstly, I can't see at all, how this expression comes about: why there is a delta function δ(k²-m²) (this looks like the mass shell condition, but why is it relavent here?)

Write the delta function as a sum of two delta functions (to get rid of (k⁰)²), integrate over k⁰, and the expression should reduce to the "familiar" propagator for scalar fields.

 

[vertices]

Thanks for the replies - they've certainly been helpful.

I have found a neat proof that shows that the integration over k-space is indeed equal to the expression d⁴k.δ(k²-m²)ε(k⁰), along the lines saaskis recommended..

Can I ask a rather stupid question:

What makes that expression a Lorentz Invariant measure?

 

[saaskis]

What makes that expression a Lorentz Invariant measure?

If you want to calculate \Delta (\Lambda x) and show that it is equal to \Delta (x), I think you'll have to make a change of variables in the integration over k-space. This change of variables is itself a Lorentz transformation, and since expressions like k^2=k_{\mu}k^{\mu} are Lorentz-invariant, the claim follows. The orthochronocity (is this English?) is required as well, perhaps you can see where.