52 Chapter 3. The Dirac Field interchange of 1 and 3. Identity (3.77) also holds for 6, and so we also find (ti 1F"ugz)(UgrF,Uat) = —(t1 oF" usr) (Usr 5,2), (3.79) It is sometimes useful to combine the Fierz identity (3.78) with the iden- tity linking o! and 3: capo") ay = (5 Jase ay- (3.80) This relation is also straightforward to verify explicitly. By the use of (3.80), (3.79), and the relation Bo, =4, (3.81) Bech oe C Hope c He ee atape aaeee ohat (i150 F*u21)(Tig1TpIVTAUAL) = Wort ratiany€as(o"G usr) a(ovFUar)s = cai Latisry€sst2ie(0*6"o,F,uaL)s = 2: (4)? Copii catiaey€asuaratars = 16(tiro"u2r)(t3gro par). (3.82) There are also Fierz rearrangement identities for 4-component Dirac spinors and 4 x 4 Dirac matrices. To derive these, however, it is useful to take a more systematic approach. Problem 3.6 presents a general method and gives some examples of its application. 3.5 Quantization of the Dirac Field We are now ready to construct the quantum theory of the free Dirac field. From the Lagrangian L= Olid — mb = Wlin"d, — my, (3.83) we see that the canonical momentum conjugate to y is i#', and thus the Hamiltonian is ie [eed vm = [ex wily - Vimy ly. (3.84) If we define a = 7°, 6 = 7°, you may recognize the quantity in brackets as the Dirac Hamiltonian of one-particle quantum mechanics: hp = -ia-V +m. (3.85) How Not to Quantize the Dirac Field: A Lesson in Spin and Statistics To quantize the Dirac field in analogy with the Klein-Gordon field we would impose the canonical commutation relations [va(x), vi(y)] =6(x-y)éas, (equal times) (3.86)