Thanks to Kevin for letting me post some of my thoughts and questions here; I’m a big fan of Kevin’s passion for theory, and I hope to learn a lot from contributing here. The following post can also be seen here.
As Kevin mentioned, I’m a physicist by training, but my experience with theory has been limited to a few classes in graduate school. I’m now trying to catch up, so I’m going back to my old text books and starting from scratch… for me, that’s classical field theory.
The starting point for studying quantum field theory (QFT) is to investigate classical fields, which we all know and love. Fluids, gravity, and electromagnetism can all be described using classical fields, and this comprises most of our introductory physics education. The important aspects to nail down before moving into QFT is that the theories need to be relativistic and formulated using Lagrangian/Hamiltonian formalisms. Here is a brief summary list of some important bits to remember (there are more), but this will form the starting point for some problems from “Introduction to Quantum Field Theory” by Peskin & Schroeder (hereafter P&S) that I’d like to discuss later:
1: A classical scalar field is a function that takes a space-time vector and returns a scalar value.
2: The dynamics of the field are governed by the equation(s) of motion, and if we want a relativistic theory (i.e., like nature), then the equation of motion should be Lorentz invariant. This is automatic if one derives the equations of motion from a Lagrangian that is a Lorentz scalar.
3: We also want a local theory, where the dynamics of the field at a point are governed only by the value of the field and it’s derivatives at that point. There is something deep and philosophical here, but at this point I’ll just say it.
4: Once we have our Lagrangian (density), that is local and a Lorentz scalar, we can find the equations of motion by varying the action, , yielding the Euler-Lagrange equations . The derivative operator here is: .
One can raise or lower any of the indices using the metric tensor , which, following P&S has a signature diag(+1, -1, -1, -1). If we are considering fields in curved space-time, then the metric can deviate from the minkowski metric, and the derivatives would need to be covariant derivatives . This last statement is simply my intuition at this point, as this is what I would do when considering a classical field in curved space-time.
Of course, the above (1-4) are also true of non-scaler classical field theories, such as the electromagnetic and gravitational fields (where the field variables are the vector potential and metric tensor respectively), and there are a number of great problems that are fun and instructive to work through… I’ll be posting some of my favorites next.