I have been reading di Francesco et al's textbook on Conformal Field theory, and am confused by a particular statement they make on pg 22.
Let {ψi} be a set of Grassmann variables. Starting with the Lagrangian L=i2ψiTij˙ψj−V(ψ) they derive the equation ˙ψi=−i(T−1)ij∂V∂ψj.
They then claim that you get the same result if you use the Heisenberg equation of motion ˙ψ=i[H,ψ] with H=V(ψ)and{ψi,ψj}+=(T−1)ij.
I don't understand how they get from the Heisenberg equation of motion to the desired result. I tried setting V=ψj for a particular j and deriving the result in this particular case, but in trying to compute [ψj,ψi] you'll end up getting extra terms of the form ψiψj which I don't know how to get rid of. Unfortunately the textbook doesn't work this out and leaves this as an exercise to the reader.
On a slightly deeper level, what exactly is meant when we say that Grassmann variables provide a "classical" description of Fermi fields?
Any help/insight would be much appreciated!
Answer
Grassmann-odd variables provide a classical description of Grassmann-odd quantum operators in the same way that Grassmann-even variables provide a classical description of Grassmann-even quantum operators. The classical super-Poisson bracket {ψi,ψj}PB = −i(T−1)ij is related to the super-commutator1 ˆψiˆψj+ˆψjˆψi = {ˆψi,ˆψj}+ = [ˆψi,ˆψj]SC = ℏ (T−1)ij 1 in accordance with the correspondence principle between classical and quantum mechanics, cf. e.g. this Phys.SE post.
The EL equations (2.36) for the Lagrangian (2.32) are precisely the Hamilton's equations ˙ψi ≈ {ψi,H}PB = {ψi,ψj}PB∂H∂ψj (A)= −i(T−1)ij∂H∂ψj. Eq. (2.36b) (which uses units with ℏ=1) is the corresponding Heisenberg's EOM iℏdˆψidt ≈ [ˆψi,ˆH]SC, i.e. the quantum version of the classical Hamilton's eqs. (C).
Concerning the Legendre transformation between the Lagrangian and Hamiltonian formulation of Grassmann-odd variables, see e.g. this Phys.SE post and links therein.
--
1 The super-commutator [ˆA,ˆB]SC of two operators ˆA, ˆB (with Grassmann parities |A|, |B|) is defined as [ˆA,ˆB]SC := ˆAˆB−(−1)|A||B|ˆBˆA.
No comments:
Post a Comment