This is a story that leads up to a puzzle. I wrote it with some help from Toby Bartels.
In the beginning there is the empty set. But since we're doing quantum theory, we'll hit the empty set with the functor F: Set → Hilb which takes any set and spits out a Hilbert space having that set as an orthonormal basis. This functor carries us out of the world of set theory, into the world of quantum theory...
[insert spooky sound effects here]
... so now we have a Hilbert space: the 0-dimensional Hilbert space. Let's call this Hilbert space "0" for short. The only vector in this Hilbert space is the zero vector. This is the Hilbert space of the system with no states at all. The empty set forms a basis of states.
So far, life is dull. But now comes the fun....
As Edward Nelson said, "first quantization is a mystery, but second quantization is a functor"!
This story is not a mystery, but rather a creation myth! So let us apply the second quantization functor K: Hilb → Hilb to our Hilbert space 0, and see what happens. This functor takes any Hilbert space H and spits out a new Hilbert space K(H), called the "Fock space" of H. If H has an orthonormal basis of states of the form
|ei>where i ranges over some set S, then K(H) has an orthonormal basis of states of the form
|ei1, ..., ein>where n is any natural number, and the order of the eij does not matter.
If we apply this functor to 0, we get K(0) = C, the complex numbers. This the Hilbert space of a system with no degrees of freedom, and thus only one state (modulo phase). Michael Weiss calls this system a "noton", since it's a nice watered-down version of a "photon", suitable for learning about quantum field theory. However, we could also call it a "quantum", for reasons soon to be clear.
A basis of states is given by the vector
| >that is, the "empty ket" - the ket consisting of only the empty set! We also abbreviate the empty ket as "1", just as in set theory one uses "1" to stand for the set whose only element is the empty set.
One state is better than none, but life is still not very interesting.
Let us apply the functor K to the Hilbert space K(0) = C.
K(K(0)) = K(C) is the Hilbert space of an arbitrary finite collection of indistinguishable quanta. A basis of states is given by
| > || >> || >,| >> || >,| >,| >> || >,| >,| >,| >>and so on. If this seems weird, use the abbreviation "1" for the empty ket; then these states look like this:
| > |1> |1,1> |1,1,1> |1,1,1,1>and so on. If this still looks weird, use "|n>" to stand for the state consisting of n quanta; then these states look like this:
|0> |1> |2> |3> |4>and so on, one for each natural number. It should now be clear that we are dealing with the Hilbert space of the quantized harmonic oscillator! The number states |n> are the eigenstates of an operator known as the "number operator", defined by
N|n> = n|n>.This operator is actually dK(1C), where 1C: C → C is the identity operator on the complex numbers. Let me explain! The functor K sends unitary operators on any Hilbert space H to unitary operators on K(H); in fact, it is a homomorphism of Lie groups. Differentiating, we get a Lie algebra homomorphism dK, which sends self-adjoint operators on H to self-adjoint operators on K(H). (Mathematicians prefer skew-adjoint operators here, but we're being physicists here, so we'll throw in a factor of i and work with self-adjoint operators instead!)
The operator N also goes by the name of the "harmonic oscillator Hamiltonian". So, some interesting physics is beginning to emerge!
When something was fun, do it again.
K(K(K(0))) = K(K(C)) is the Hilbert space of the right-moving modes of a string. A basis of states is given by finite multisets of natural numbers, e.g.
|n1, n2, ..., nk>where, as per the usual definition of "multiset", the the order doesn't matter, and a number can appear more than once. In fact this is how the whole story works: the basis vectors for the Hilbert space in each chapter consists of finite multisets of basis vectors in the previous chapter.
A typical state in K(K(K(0))) would be
|2,1,1>which is really short for
||1,1>, |1>, |1>>which is really short for
||| >,| >>, || >>, || >>>We can think of this state as the state of a massless scalar field theory on a cylindrical spacetime in which there is one particle of momentum 2 and two of momentum 1. Even better, the Hamiltonian for this theory is K(N), where N was the number operator of the previous chapter.
This is not as silly as it may seem, since if we take the harmonic oscillator Hamiltonian N = dK(1) on K(K(0)) and second quantize it, we get a Hamiltonian dK(N) on K(K(K(0))) which is precisely the usual Hamiltonian for a massless scalar quantum field on a cylindrical spacetime! The only odd part is that we're getting only states containing particles of nonnegative momentum. But this is not so bad: physicists study this sometime. In physics lingo, we're getting a field theory with only "right-moving" particles. We'd have to tensor K(K(K(0))) with another copy of itself to get left-moving particles as well.
Now, a massless scalar field theory on a cylindrical spacetime is basically the same as a string in 1-dimensional spacetime in covariant gauge, but here we are considering only the right-moving modes. If we use lightcone gauge, I guess we can alternatively think of this system as a string in (2+1)-dimensional spacetime!
So, starting with the system with no states and repeatedly applying the second quantization functor, we have gotten to string theory. It would be crazy to stop now....
"The Hilbert space for a 2-brane?"
This sounds interetsing. But as you can see, I'm a little bit confused about the dimensions even in Chapter 3. I hope I got it right, but there are two choices, and I don't know which interpretation is best. A harmonic oscillator is a particle in 1+1-dimensional spacetime... so maybe Chapter 3 should be about a string in 2+1-dimensional spacetime. And then....
Anyway, I urge everyone to figure out if there's a cool pattern going on here. I had a different, less exciting answer in mind — but there should be something more exciting, too. Personally I do not see the connection to 2-branes, but that doesn't mean it doesn't exist!
A different sort of idea, not exactly an answer to my mathematical puzzle, is here:
For more information on second quantization, try: