The Three-Fold Way (Part 6)
Posted by John Baez
I started this tale by pointing out two ‘problems’ with real and quaternionic quantum theory:
- Apparently you can’t get observables from symmetries. More precisely: 1-parameter unitary groups on real or quaternionic Hilbert spaces don’t have self-adjoint generators, as they do in complex quantum theory.
- Apparently you can’t tensor two quaternionic Hilbert spaces. More precisely, you can’t tensor two quaternionic Hilbert spaces (which are one-sided -modules) and get another one.
We’ve seen how on a real, complex or quaternionic Hilbert space, any continuous one-parameter unitary group has a skew-adjoint generator . In the complex case we can write as times a self-adjoint operator , which in physics describes a real-valued observable. Alas, in the real or quaternionic cases we cannot do this.
However, as we saw last time, real and quaternionic Hilbert spaces can be seen as a complex Hilbert space with extra structure. This solves this problem. Indeed, we’ve seen faithful embeddings and And these are ‘dagger-functors’, so they send skew-adjoint operators to skew-adjoint operators.
So, given a skew-adjoint operator on a real Hilbert space , we can apply the functor to reinterpret it as a skew-adjoint operator on the complexification of , namely . By abuse of notation let us still call the resulting operator . Now we can write . But resulting self-adjoint operator has an interesting feature: its spectrum is symmetric about !
In the finite-dimensional case, all this means is that for any eigenvector of with eigenvalue , there is corresponding eigenvector with eigenvalue . This is easy to see. Suppose that . By a theorem from last time, the complexification comes equipped with an antiunitary operator with , and we have . It follows that is an eigenvector of with eigenvalue : (In this calculation I’ve reverted to the standard practice of treating a complex Hilbert space as a left -module.) In the infinite-dimensional case, we can make an analogous but more subtle statement about the continuous spectrum.
Similarly, given a skew-adjoint operator on a quaternionic Hilbert space , we can apply the functor to reinterpret it as a skew-adjoint operator on the underlying complex Hilbert space. Let us again call the resulting operator . We again can write . And again, the spectrum of is symmetric about . The proof is the same as in the real case: now, by another theorem from last time, the underlying complex Hilbert space is equipped with an antiunitary operator with , but we again have , so the same calculation goes through.
So, that takes care of one problem . The second ‘problem’ is that we cannot take the tensor product of two quaternionic Hilbert spaces and get another quaternionic Hilbert spaces.
But we’ve seen that there’s a strong analogy between bosons and real Hilbert spaces, and between fermions and quaternionic Hilbert spaces. This makes it seem rather odd to want to tensor two quaternionic Hilbert space and get another one. Just as two fermions make a boson, the tensor product of two quaternionic Hilbert spaces is naturally a real Hilbert space.
After all, we saw last time that a quaternionic Hilbert space can be identified with a complex Hilbert space with an antiunitary such that . If we tensor two such spaces, we get a complex Hilbert space equipped with an antiunitary such that that . And we’ve seen that this can be identified with a real Hilbert space.
Further arguments of this sort give four tensor product functors: We can also tensor a real or quaternionic Hilbert space with a complex one and get a complex one: Finally, of course we have:
In short, the ‘multiplication’ table of real, complex and quaternionic Hilbert spaces matches the usual multiplication table for the numbers !
This is in fact nothing new: it goes back to a very old idea in group theory: the Frobenius–Schur indicator, which was developed in a joint paper by these two authors in 1906.
(If you were at Oxford when I gave my lecture on this stuff, you’ll probably remember that after my talk, or maybe during it, someone we all know and love raised his hand and said “Isn’t this just the Frobenius-Schur indicator?” And I said something like “yes”.)
What’s the Frobenius–Schur indicator? It’s a way of computing a number from an irreducible unitary representation of a compact group on a complex Hilbert space , say where is the group of unitary operators on . Any such representation is finite-dimensional, so we can take the trace of the operator for any group element , and then perform the integral where is the normalized Haar measure on . This integral is the Frobenius–Schur indicator. It always equals , or , and these three cases correspond to whether the representation is ‘real’, ‘complex’ or ‘quaternionic’ in the sense we’ve explained before.
The moral, then, is not to fight the patterns of mathematics, but to notice them and follow them.
Puzzle. - Is the category of real (resp. complex, resp. quaternionic) Hilbert spaces equivalent to the category of complex Hilbert spaces equipped with a operator having some nice property and obeying the equation (resp. , resp. )?
Re: The Three-Fold Way (Part 6)
Neat! It took me a little while to figure out what your puzzle is asking, though. Are you asking whether there is some property X of endomorphisms of complex Hilbert spaces, such that for any , the category of -Hilbert spaces is equivalent to the category of complex Hilbert spaces equipped with an endomorphism satisfying property X and such that is equal to the Frobenius–Schur indicator of complex representations that come from -representations?
In any case, the burning question in my mind after reading this is why? Why do the same three numbers , , and serve as markers for the three types of Hilbert space in the multiplication table, in the Frobenius–Schur indicator, and in the squares of structure operators?