kau said:
I was reading Schwartz's qft book. I saw the proof of ward identity taking pair annihilation as an example. he claimed he didn't assume that photon is massless in this derivation. but i have confusion with this statement. gauge invariance is a fact related to massless particles. now he has replaced $$\epsilon^{\mu}$$ with $$p^{\mu}$$ which is possible because of gauge invariance. it's like shifting $$\epsilon^{\mu}$$ to $$\epsilon^{\mu} + p^{\mu}$$ such a way so that it becomes equal to momentum of that particle. therefore in this derivation he has used gauge invariance and therefore assumed masslessness of photon. So why did he claim that it doesn't matter involved photon is physical or not? wheredid i miss thepoint ??is there any other reason behind the above replacement??
You ask me to participate in this thread! Since I have not seen the book, I cannot help you with issues related to the way the book explains the subject. However, since the subject is highly nontrivial, I will say few things about it.
Let us consider a typical QED process such as the Compton scattering
\gamma ( k ) + e ( p ) \to \gamma ( \bar{ k } ) + e ( \bar{ p } ) .
Its scattering amplitude is given by
\langle f | ( S - 1 ) | i \rangle = \epsilon_{ \mu }^{ * } ( \bar{ k } ) \ M^{ \mu \nu } ( p , \bar{ p } ; k , \bar{ k } ) \ \epsilon_{ \nu } ( k ) , \ \ \ \ \ (1)
where
M^{ \mu \nu } ( p , \bar{ p } ; k , \bar{ k } ) = ( - i e )^{ 2 } \int d^{ 4 } x d^{ 4 } y \ e^{ i ( \bar{ k } y - k x )} \langle \bar{ p } | T \left( J^{ \mu } ( y ) \ J^{ \nu } ( x ) \right) | p \rangle . \ \ \ (2)
Equation (2) is not actually true! The RHS usually contains non-covariant terms called “Seagulls”. Bellow, you will see the reason for not including these terms in (2).
Usually, you are told the following:
“because of gauge invariance” the amplitude does not change if, for anyone or more photons, you make the substitution
\epsilon_{ \mu } \to \epsilon_{ \mu } + c k_{ \mu } , \ \ \ \ (3)
where c is a totally arbitrary (not necessarily constant) number. This means that the following relations must hold,
\bar{ k }_{ \mu } M^{ \mu \nu } = M^{ \mu \nu } k_{ \nu } = 0 . \ \ \ \ (4)
Similar relations hold for any QED process with any number of external photons.
This is highly non-trivial and often misunderstood subject. So, further explanation is required.
In classical electromagnetic theory, the invariance under Eq(3) follows from the fact that the theory is invariant under the local gauge transformation
A^{ \mu } \to A^{ \mu } + \frac{ 1 }{ e } \partial^{ \mu } \Lambda ( x ) . \ \ \ (5)
Indeed, Eq(3) is nothing but the Fourier transform of Eq(5) when A^{ \mu } is a plane wave (*).
However, in QED the above reasoning is
incorrect because:
i) the substitution (3) will only follow from (5) if \Lambda ( x ) is not a c-number function but is chosen to be a
quantized scalar field linear in the photon creation and annihilation operators.
ii) once a choice of gauge is made, the theory is no longer invariant under local gauge transformation.
But, if we impose the gauge condition in such a way that
global gauge invariance is respected, the invariance of the QED matrix elements under (3) follows from the following two conditions
1) The conservation of the global U(1) symmetry current,
\partial_{ \mu } J^{ \mu } = 0 . \ \ \ \ \ (6)
2) The current J^{ \mu } is itself
gauge invariant, i.e.,
\delta_{ \Lambda } J^{ \mu } \sim [ i J^{ 0 } ( x ) , J^{ \mu } ( 0 ) ] \delta ( x^{ 0 } ) = 0 . \ \ \ (7)
This also follows from the naïve use of the canonical anti-commutation relations. Indeed, for J^{ \mu } = \bar{ \psi } \gamma^{ \mu } \psi, one finds
[ J^{ \mu } ( x ) , J^{ \nu } ( 0 ) ]_{ x^{ 0 } = 0 } = \bar{ \psi } ( x ) ( \gamma^{ \mu } \gamma^{ 0 } \gamma^{ \nu } - \gamma^{ \nu } \gamma^{ 0 } \gamma^{ \mu } ) \psi ( x ) \delta^{ 3 } ( \vec{ x } ) .
Therefore,
[ J^{ 0 } ( x ) , J^{ \nu } ( 0 ) ]_{ x^{ 0 } = 0 } = 0 . \ \ \ \ \ \ (7a)
This is not actually true. Careful calculations, due to Schwinger, show that for \nu spacelike, this commutator must contain derivatives of \delta-functions. Such singular terms in the equal time commutator [ J^{ 0 } ( x ) , J^{ i } ( y ) ] are called Schwinger terms. However, experience with many models has shown that the “Seagull” terms in Eq(2) “always” cancel the Schwinger terms. This is why we didn’t include the Seagulls in Eq(2).
Okay, now we will use the above two conditions to prove the invariance of the S-matrix under the substitution (3). Contracting Eq(2) with \bar{ k }_{ \mu } and using the relation
i \bar{ k }_{ \mu } e^{ i \bar{ k } y } = \partial_{ \mu }^{ ( y ) } e^{ i \bar{ k } y } ,
then integrating by parts, we find
\bar{ k }_{ \mu } M^{ \mu \nu } = i ( - i e )^{ 2 } \int d^{ 4 } x d^{ 4 } y \ e^{ i ( \bar{ k } y - k x ) } \ \langle \bar{ p } | \partial_{ \mu }^{ ( y ) } T \left( J^{ \mu } ( y ) \ J^{ \nu } ( x ) \right) | p \rangle . \ \ (8)
But, from the definition of the T-product, we have
\partial_{ \mu }^{ ( y ) } T \left( J^{ \mu } ( y ) \ J^{ \nu } ( x ) \right) = T \left( \partial_{ \mu } J^{ \mu } \ J^{ \nu } ( x ) \right) + [ J^{ 0 } ( y ) , J^{ \nu } ( x ) ] \delta ( y^{ 0 } - x^{ 0 } ) . \ \ (9)
Now, using Eq(6) in the first term and Eq(7) in the second term of Eq(9), we find
\partial_{ \mu }^{ ( y ) } T \left( J^{ \mu } ( y ) \ J^{ \nu } ( x ) \right) = 0 .
Thus the RHS of Eq(8) is zero and hence Eq(4) is proved.
It is important to note that this result, i.e., the invariance of the amplitude under Eq(3), applies not to individual diagrams but only to the sums of all possible diagrams.
A different and more fundamental approach for proving Eq(4), is to impose on the S-matrix the requirement of Lorentz invariance. This approach uses the fundamental nature of massless spin-1 vector fields in QED: Recall that in the radiation gauge, the polarization vector is given by
\epsilon^{ 0 } ( k , \lambda ) = k_{ \mu } \epsilon^{ \mu } ( k , \lambda ) = 0 .
This clearly shows that the polarization “vector” (hence vector potential) is not a genuine Lorentz vector. Indeed, a Lorentz \Lambda sends \epsilon^{ \mu } into
\bar{ \epsilon }^{ \mu } = \Lambda^{ \mu }{}_{ \nu } \epsilon^{ \nu } - \frac{ k^{ \mu } }{ k^{ 0 } } \Lambda^{ 0 }{}_{ \nu } \epsilon^{ \nu } .
Thus, in order for the S-matrix to remain Lorentz-invariant, it is necessary that the second term should give zero contribution, which leads to Eq(4), at least for k_{ \mu} on the light cone.
(*) See
https://www.physicsforums.com/threa...t-spin-1-with-a-4-vector.772226/#post-4860248