It turns out that because I work with Calabi-Yau varieties I often encounter various ideas and terms from physics. In particular, quantum field theory is a something that comes up a lot. I took a lot of physics as an undergrad, and I’ve pieced together a tiny bit about what is meant by “quantum field theory.” In order to record this somewhere before I forget it, I’m going to blog some stuff. This should be a very short series, because I don’t want to get hung up on it.
The main point is to try to express the idea of quantum field theory in a way a mathematician would understand it. Before we can do that I need to spend a post on classical mechanics. This post is going to present what is done over the course of a semester long undergrad class, so it will go fast. I’ll give you the take away up front. In a mathematically rigorous way one can prove that the “Lagrangian formalism” we’ll look at soon is exactly equivalent to Newton’s law .
Suppose we have some particle in space. If it is moving, that motion has something called kinetic energy. For simplicity, we’ll call this a function of time . The formula isn’t important here. Usually you also have something called potential energy. For example, a ball is on a table. There is the potential energy of falling to the ground. Technically you can figure out the potential the same way you’d find the potential of any vector field (this took me awhile to connect as an undergrad).
Suppose your particle is moving in , then we can describe it by a function . There could be some ambient force (gravity, electromagnetic field, etc doesn’t matter). This is a vector field . The potential then is just a function such that . This is what we tell our calculus students, so it shouldn’t be surprising. Of course, we must assume our force is conservative for a potential to exist, so we do that.
Now we define . This is called the Lagrangian. We define the action over some path to be the integral . Now we get to the point. If we let our paths vary, then we get a bunch of real numbers by evaluating . From standard calculus we could find the minimum. This is the path of least action, and our particle will follow that path if and only if in our system Newton’s law holds.
We could go off and try to describe physically why one would think of this weird formalism. For example, integrating force over distance is the work needed to move the particle from point to point . We would expect that the particle will naturally follow the path that requires the least work. This has roughly the same flavor, but takes into account some extra stuff. Whatever the physical reason, it shouldn’t really matter to us, because it is exactly equivalent to the law we all know ought to be true.
In a classical mechanics class you’d probably take many weeks now just being handed various scenarios where you figure out the Lagrangian, and then given some inital starting point figure out the path by taking the derivative and setting it to and solving. Note: for practical purposes this is a little tricky, because the so-called variation of the action involves differentiating with respect to paths. Since we aren’t computing these, we won’t go through this, but the idea of how to do this is to just parametrize your paths in some nice way (think about a smooth -parameter homotopy connecting them for the picture).
Now we must generalize a bit. Suppose we have some physical system (maybe a double pendulum for sufficient complicatedness). There’s more than just one particle, and there are constraints for how things can move in relation to eachother. What we do now is consider the space of all configurations. Think of this as the moduli space of all positions the system could ever take. A point in this space is one particular configuration. Now a path is just a description of how the system evolves over that time period. This configuration space we assume is a smooth manifold.
This means the velocity, which is the time derivative is actually a tangent vector now (it was before, but we just made the canonical identification). Let’s pick a starting point and ending point . Then we can formalize what we did last time as follows. Define to be the path space (of smooth paths) with those endpoints. Let be a smooth function called the Lagrangian of the system.
Now the action is defined by . The path that our system will take in the configuration space will be a minimum of . Thus to find it we just solve .
In order to test whether you follow this, a really quick (if you get it, but painful if you don’t) and wonderful exercise is to figure out the equation of motion of a single free particle in . What does this mean? Well, there is no force in the system at all, so the potential is , and hence . We already know the answer. No force means no acceleration. Thus from basic calculus the answer is that velocity is a constant and the path is where is the initial starting point. Try to get that using the Lagrangian!