Geometric Quantization

John Baez

August 11, 2000

Geometric quantization is a marvelous tool for understanding the relation between classical physics and quantum physics. However, it's a bit like a power tool - you have to be an expert to operate it without running the risk of seriously injuring your brain. Here's a brief sketch of how it goes. This is pretty terse; for the details you'll have to read the series of articles on geometric quantization on the sci.physics.research archive.

  1. We start with a CLASSICAL PHASE SPACE: mathematically, this is a manifold X with a symplectic structure ω.

  2. Then we do PREQUANTIZATION: this gives us a Hermitian line bundle L over X, equipped with a U(1) connection D whose curvature equals iω. L is called the PREQUANTUM LINE BUNDLE.

    Warning: we can only do this step if ω satisfies the BOHR-SOMMERFELD CONDITION, which says that ω/2π defines an integral cohomology class. If this condition holds, L and D are determined to isomorphism, but not canonically.

  3. The Hilbert space H0 of square-integrable sections of L is called the PREQUANTUM HILBERT SPACE. This is not yet the Hilbert space of our quantized theory - it's too big. But it's a good step in the right direction. In particular, we can PREQUANTIZE CLASSICAL OBSERVABLES: there's a map sending any smooth function on X to an operator on H0. This map takes Poisson brackets to commutators, just as one would hope. The formula for this map involves the connection D.

  4. To cut down the prequantum Hilbert space, we need to choose a POLARIZATION, say P. What's this? Well, for each point x in X, a polarization picks out a certain subspace Px of the complexified tangent space at x. We define the QUANTUM HILBERT SPACE, H, to be the space of all square-integrable sections of L that give zero when we take their covariant derivative at any point x in the direction of any vector in Px. The quantum Hilbert space is a subspace of the prequantum Hilbert space.

    Warning: for P to be a polarization, there are some crucial technical conditions we impose on the subspaces Px. First, they must be ISOTROPIC: the complexified symplectic form ω must vanish on them. Second, they must be LAGRANGIAN: they must be maximal isotropic subspaces. Third, they must vary smoothly with x. And fourth, they must be INTEGRABLE.

  5. The easiest sort of polarization to understand is a REAL POLARIZATION. This is where the subspaces Px come from subspaces of the tangent space by complexification. It boils down to this: a real polarization is an integrable distribution P on the classical phase space where each space Px is Lagrangian subspace of the tangent space TxX.

  6. To understand this rigamarole, one must study examples! First, it's good to understand how good old SCHRÖDINGER QUANTIZATION fits into this framework. Remember, in Schrödinger quantization we take our classical phase space X to be the cotangent bundle T*M of a manifold M called the CLASSICAL CONFIGURATION SPACE. We then let our quantum Hilbert space be the space of all square-integrable functions on M.

    Modulo some technical trickery, we get this example when we run the above machinery and use a certain god-given real polarization on X = T*M, namely the one given by the vertical vectors.

  7. It's also good to study the BARGMANN-SEGAL REPRESENTATION, which we get by taking X = Cn with its god-given symplectic structure (the imaginary part of the inner product) and using the god-given KÄHLER POLARIZATION. When we do this, our quantum Hilbert space consists of analytic functions on Cn which are square-integrable with respect to a Gaussian measure centered at the origin.

  8. The next step is to QUANTIZE CLASSICAL OBSERVABLES, turning them into linear operators on the quantum Hilbert space H. Unfortunately, we can't quantize all such observables while still sending Poisson brackets to commutators, as we did at the prequantum level. So at this point things get trickier and my brief outline will stop. Ultimately, the reason for this problem is that quantization is not a functor from the category of symplectic manifolds to the category of Hilbert spaces - but for that one needs to learn a bit about category theory.

Basic Jargon

Here are some definitions of important terms. Unfortunately they are defined using other terms that you might not understand. If you are really mystified, you need to read some books on differential geometry and the math of classical mechanics before proceeding.

The only way to learn the rules of this Game of games is to take the usual prescribed course, which requires many years, and none of the initiates could ever possibly have any interest in making these rules easier to learn. - Hermann Hesse, The Glass Bead Game

© 2000 John Baez