The Kepler problem is the study of a particle moving in an attractive inverse square force. In classical mechanics, this problem shows up when you study the motion of a planet around the Sun in the Solar System. In quantum mechanics, it shows up when you study the motion of an electron around a proton in a hydrogen atom.
In Part 2 we saw that the classical Kepler problem has, besides energy and the three components of angular momentum, three more conserved quantities: the components of the eccentricity vector!
This was discovered long ago, in 1710, by the physicist Jakob Hermann. But thanks to Noether, we now know that in classical mechanics, conserved quantities come from symmetries. In the Kepler problem, conservation of energy comes from time translation symmetry, while conservation of the angular momentum comes from rotation symmetry. Which symmetries give conservation of the eccentricity vector?
As we shall see, these symmetries are rotations in 4-dimensional space. These include the obvious rotations in 3-dimensional space which give angular momentum. The other 4-dimensional rotations act in a much less obvious way, and give the eccentricity vector.
In fact, we’ll see that the Kepler problem can be rephrased in terms of a free particle moving around on a sphere in 4-dimensional space. This is a nice explanation of the 4-dimensional rotation symmetry.
After that we’ll see a second way to rephrase the Kepler problem: in terms of a massless, relativistic free particle moving at the speed of light on a sphere in 4-dimensional space. Our first formulation will not involve relativity. This second will.
All this is very nice. You can read some fun explanations of the first formulation here:
• Greg Egan, The ellipse and the atom.
• John Baez, Planets in the fourth dimension.
But how could you guess this 4-dimensional rotation symmetry if you didn’t know about it already? One systematic approach uses Poisson brackets. I won’t explain these, just dive in and use them!
Remember, the particle in the Kepler problem has various observables, which are all ultimately functions of its position and momentum:
• angular momentum:
• the eccentricity vector:
I’ll use conventions where the Poisson brackets of the components of position and momentum are taken to be
From this, using the rules for Poisson brackets, we can calculate the Poisson brackets of everything else. For starters:
These equations are utterly unsurprising, since they are equivalent to saying that angular momentum and the eccentricity vector are conserved. More interestingly, we have
where all the indices go from 1 to 3, I’m summing over repeated indices even if they’re both subscripts, and are the Levi–Civita symbols.
Now, the factor of above is annoying. But on the region of phase space where —that is, the space of bound states, where the particle carries out an elliptical orbit—we can define a new vector to deal with this annoyance:
Now we easily get
This is nicer, but we can simplify it even more if we introduce some new vectors that are linear combinations of and namely half their sum and half their difference:
Then we get
So, the observables and contain the same information as the angular momentum and eccentricity vectors, but now they commute with each other!
What does this mean?
Well, when you’re first learning math the Levi–Civita symbols may seem like just a way to summarize the funny rules for cross products in 3-dimensional space. But as you proceed, you ultimately learn that with its cross product is the Lie algebra of the Lie group of rotations in 3-dimensional space. From this viewpoint, the Levi–Civita symbols are nothing but the structure constants for the Lie algebra that is, a way of describing the bracket operation in this Lie algebra in terms of basis vectors.
So, what we’ve got here are two commuting copies of one having the as a basis and the other having the as a basis, both with the Poisson bracket as their Lie bracket.
A better way to say the same thing is that we’ve got a single 6-dimensional Lie algebra
having both the and as basis. But then comes the miracle:
The easiest way to see this is to realize that the unit sphere in 4 dimensions, is itself a Lie group with Lie algebra isomorphic to Namely, it’s the unit quaternions!—or if you prefer, the Lie group Like any Lie group it acts on itself via left and right translations, which commute. But these are actually ways of rotating So, you get a map of Lie algebras from to and you can check that this is an isomorphism.
So in this approach, the 4th dimension pops out of the fact that the Kepler problem has conserved quantities that give two commuting copies of By Noether’s theorem, it follows that conservation of angular momentum and the eccentricity vector must come from a hidden symmetry: symmetry under some group whose Lie algebra is
And indeed, it turns out that the group acts on the bound states of the Kepler problem in a way that commutes with time evolution!
But how can we understand this fact?
Historically, it seems that the first explanation was found in the quantum-mechanical context. In 1926, even before Schrödinger came up with his famous equation, Pauli used conservation of angular momentum and the eccentricity to determine the spectrum of hydrogen. But I believe he was using what we now call Lie algebra methods, not bringing in the group
In 1935, Vladimir Fock, famous for the ‘Fock space’ in quantum field theory, explained this 4-dimensional rotation symmetry by setting up an equivalence between hydrogen atom bound states and functions on the 3-sphere! In the following year, Valentine Bargmann, later famous for being Einstein’s assistant, connected Pauli and Fock’s work using group representation theory.
All this is quantum mechanics. It seems the first global discussion of this symmetry in the classical context was given by Bacry, Ruegg, and Souriau in 1966, leading to important work by Souriau and Moser in the early 1970s. Since then, much more has been done. You can learn about a lot of it from these two books, which are my constant companions these days:
• Victor Guillemin and Shlomo Sternberg, Variations on a Theme by Kepler, Providence, R.I., American Mathematical Society, 1990.
• Bruno Cordani, The Kepler Problem: Group Theoretical Aspects, Regularization and Quantization, with Application to the Study of Pertubation, Birkhäuser, Boston, 2002.
But let me try to summarize a bit of this material.
One way to understand the symmetry for bound states of the Kepler problem is the result of Hamilton that I explained last time: for a particle moving around an elliptical orbit in the Kepler problem, its momentum moves round and round in a circle.
I’ll call these circles Hamilton’s circles. Hamilton’s circles are not arbitrary circles in . Using the inverse of stereographic projection, we can map to the unit 3-sphere:
This map sends Hamilton’s circles in to great circles in Furthermore, this construction gives all the great circles in except those that go through the north and south poles, These missing great circles correspond to periodic orbits in the Kepler problem where a particle starts with momentum zero, falls straight to the origin, and bounces back the way it came. If we include these degenerate orbits, every great circle on the unit 3-sphere is the path traced out by the momentum in some solution of the Kepler problem.
Let me reemphasize: in this picture, points of correspond not to positions but to momenta in the Kepler problem. As time passes, these points move along great circles in but not at constant speed.
How is their dynamics related to geodesic motion on the 3-sphere?
We can understand this as follows. In Part 2 we saw that
and using the fact that an easy calculation gives
In the 3-sphere picture, the observables become functions on the cotangent bundle . These functions are just the components of momentum for a particle on , defined using a standard basis of right-invariant vector fields on Similarly, the observables are the components of momentum using a standard basis of left-invariant vector fields. It follows that
is the Hamiltonian for a nonrelativistic free particle on with an appropriately chosen mass. Such a particle moves around a great circle on at constant speed. Since the Kepler Hamiltonian is a function of , particles governed by this Hamiltonian move along the same trajectories—but typically not at constant speed!
Both and the Kepler Hamiltonian are well-defined smooth functions on the symplectic manifold that Souriau dubbed the Kepler manifold:
This is the cotangent bundle of the 3-sphere with the zero cotangent vectors removed, so that is well-defined.
All this is great. But even better, there’s yet another picture of what’s going on, which brings relativity into the game!
We can also think of as a space of null geodesics in the Einstein universe: the manifold with the Lorentzian metric
where is the usual Riemannian metric on the real line (‘time’) and is the usual metric on the unit sphere (‘space’). In this picture describes the geodesic’s position at time zero, while the null cotangent vector describes its 4-momentum at time zero. Beware: in this picture two geodesics count as distinct if we rescale by any positive factor other than 1. But this is good: physically, it reflects the fact that in relativity, massless particles can have different 4-momentum even if they trace out the same path in spacetime.
In short, the Kepler manifold also serves as the classical phase space for a free massless spin-0 particle in the Einstein universe!
And here’s the cool part: the Hamiltonian for such a particle is
So it’s a function of both the Hamiltonians we’ve seen before. Thus, time evolution given by this Hamiltonian carries particles around great circles on the 3-sphere… at constant speed, but at a different speed than the nonrelativistic free particle described by the Hamiltonian
In future episodes, I want to quantize this whole story. We’ll get some interesting outlooks on the quantum mechanics of the hydrogen atom.