I've decided that the end of my previous article is just a bit too brief and enigmatic for those not up on their quantum mechanics. So I'll explain what happens to a charged particle in the plane when its in a magnetic field, and how one gets a noncommutative torus out of this situation. Then, since it's the holiday season, I'll let myself digress to discuss a particle on a sphere in a magnetic field.
First, let's set . CLICK!
Suppose we have a particle on the plane -- with no magnetic field.
Then in quantum mechanics the momenta in the and directions are
given by the operators,
Now let's turn on the magnetic field pointing perpendicular to the plane.
Let's say our particle has charge = 1, and the field is B (of
magnitude ). The curious fact about quantum theory is that (if we
neglect the spin of the particle) the only effect of the magnetic
field is to make us redefine the momentum operators to be
the particle winds up in a different state than if you first go in the direction and then the direction:
Another way of thinking of it is as follows: take your particle, move it counterclockwise (say) around a rectangle:
and it'll be back in the same place, but its wavefunction will
not be the same as it was: it'll differ by a phase (multiplication by a
complex number of unit magnitude). It's easy to calculate that if we call
the particles wavefunction to start out with ``,'' and when we're
If I had been told this, I might have absorbed it a bit more quickly when I was told in fancier language later on that the momentum operators and were components of a ``connection'' on a ``complex line bundle,'' and that their commutator was the ``curvature'' of this connection, so that the magnetic field is really a curvature, and that the difference in phase obtained by taking two routes is called the ``holonomy'' of the connection. For that's the modern way of discussing this sort of thing.
Anyway, now suppose that the magnetic field strength is a constant .
Let denote the unitary operator corresponding to translation by a
unit distance in the direction, and let be the unitary operator
corresponding to a unit translation in the direction. Then by what
I've said, we have
More generally, if you move a charged particle counterclockwise around any loop, its phase changes by , where is the integral of over the region enclosed by the loop. Note that the ``counterclockwise'' bit comes from using Stokes' theorem. (Also, an oppressive majority of right-handed people have enforced foolish ``right-hand rules'' ...don't you think it'd make more sense to call clockwise the positive orientation? Oh well.) If we go clockwise, the phase change is .
This still holds when our particle is not on a plane but on some other sort of two-dimensional surface, but there are some curious consequences.
Consider, for example, a particle on a sphere (for mathematicians, ),
with a magnetic field applied that's normal to the sphere at each point.
If we move the particle around a loop the phase change will equal the
integral of the magnetic field over the region enclosed by the loop.
But wait a minute! There are two different regions, the ``inside'' and
the ``outside'' of the loop, which count as regions enclosed by the loop!
(Just draw a circle on a sphere and look!) Who is to say
which one we should use to calculate the phase change? There's only one
way out: we had better get the same answer each way! That is, if we
call the integral of the magnetic field over the region ``inside'' the
loop , and over the region ``outside'' the loop , we must have
This is an odd but true result, and it applies not only to the sphere but to any (compact, oriented) surface: we can only make sense of a charged quantum mechanical particle on such a surface in a magnetic field perpendicular to the surface if the integral of the magnetic field is a integer multiple of .
This result too may be gussied up in fancy mathematical language. (And it's not just jargon, but crucial in understanding this problem more deeply.) The wavefunction of our charged particle on the sphere, or any other surface, is not really a function, but a section of a complex line bundle over the surface. Giving such a line bundle a connection, calculating the curvature, integrating the curvature over the surface, and dividing by , we must get an integer! (Again, I'm assuming the surface is compact and oriented: e.g. a sphere, torus, or donut with more holes...) This integer is called the first Chern number of the line bundle. A deeper theorem says that given a surface we can cook up a line bundle with any desired , and another theorem says that line bundles over surfaces are completely classified by their first Chern number.
Okay, now -- did you notice the following physical problem with what I did? Say we have a sphere in , and a magnetic field perpendicular to the sphere, such that the integral over the sphere is . (As we saw above has to be an integer.) Unless , this means that there is a net magnetic flux flowing in or out of the sphere -- which contradicts the fact that ! I.e., Gauss' theorem says that the integral of the normal component of B over the sphere is 0, since .
Well, this didn't bother Dirac! In fact, he came up with all this stuff when he was studying magnetic monopoles! He considered the possibility that was nonzero in the vicinity of some monopole, but considered a big sphere around the monopole, assumed in the vicinity of this big sphere, and used quantum mechanics to show (as above) that total magnetic charge inside the sphere must be an integer multiple of ! I've dropped all the units, but if you throw and the electron charge back in correctly, you get a ``quantum of magnetic charge''.
There's another way around the problem, too, which mathematicians can tolerate, if not physicists: just say ``I'm considering a particle in a magnetic field on some abstract , not one sitting inside , so I don't need to worry about the ball `inside' my sphere.''
Or, if you like, you can say, ``How do you know there's not a wormhole inside my sphere, so that the B field can be pouring in from somewhere else?'' In other words, ``My sphere is a nontrivial 2-cycle in a 3-manifold, so it is possible for a closed 2-form (the magnetic field) to have nonzero integral over it.'' This is the basis for a suggestion by Wheeler, that charged particles are really the mouths of wormholes, and that actually the divergence of E and B are zero everywhere.
As you can see, weaseling out of this problem can take many interesting forms! That is, perhaps, the essence of mathematical physics. :-)
© 1992 John Baez