Also available at http://math.ucr.edu/home/baez/week208.html
November 6, 2004
This Week's Finds in Mathematical Physics - Week 208
John Baez
Last weekend I went to a conference at the Perimeter Institute:
1) Workshop on Quantum Gravity in the Americas,
http://www.perimeterinstitute.ca/activities/scientific/PI-WORK-2/
It was great to see the new building. I'd visited this institute
before in its temporary location, which was a funky old hotel
building complete with pool tables and a bar. The new building is
very different: four stories of intensely modern architecture
overlooking a lake, consisting mainly of an enormous atrium lined with
walkways and glass-walled offices. There's also a big lecture
theater, a couple of smaller seminar rooms, a library, a restaurant
whose walls are all blackboards, a reflecting pool, and lots of
little places to sit and talk, complete with espresso machines.
In short, a theoretical physicist's idea of heaven!
But perhaps the design of heaven shouldn't be left to theoretical
physicists. Some aspects of the setup don't seem very comfortable.
Like most modern architecture, the place is short on coziness -
there's too much glass, metal and concrete for my taste. You
also find yourself spending a lot of time climbing up and down
uncomfortably narrow staircases.
The last, at least, is no accident: they made the stairs skinny on
purpose, so you have to say hello to anyone you meet going the other
way. It'll be interesting to see how many collaborative papers come
out of this.
Abhay Ashtekar was supposed to give the first talk, but he got lost
walking to the new building, so suddenly I had to give the first talk.
Yikes! Jet-lagged and not fully awake, I sketched the problem of
dynamics in quantum gravity: the problem of describing motion in a
world where the geometry of spacetime is quantum-mechanical and
interacts with matter. I gave a generally downbeat assessment of the
progress so far in all known approaches:
2) John Baez, The problem of dynamics in quantum gravity,
http://math.ucr.edu/home/baez/dynamics/
Even though the last few Weeks have been on quantum gravity conferences,
I've been mainly working on n-categories lately, because I've been sort
of fed up with quantum gravity. I did, however, sketch some avenues
for progress - and later in this workshop I saw some work that really
cheered me up!
For example, I've always been fascinated by John Wheeler's old dream of
"matter without matter". In its original version, the idea was to
describe elementary particles as the ends of wormholes: if there's
an electric field going in one end and out the other, the ends will
look like particles of equal and opposite charge! So, the formation
of a wormhole could mimic the creation of a particle-antiparticle
pair. But there were big problems with this idea: for example,
getting the wormhole ends to act like spin-1/2 particles.
More recently this idea was reincarnated in the spin network formalism
by Lee Smolin, with spin network edges replacing wormholes:
3) Lee Smolin, Fermions and topology, available as gr-qc/9404010.
A spin network is a gadget with vertices and edges, where the edges
represent "field lines" - lines of the electric field or the analogous
thing for other forces, including gravity. If a spin network edge goes
between vertices that would otherwise be far apart, it acts a bit
like a wormhole. It will be hidden from observers in the rest of
spacetime, and its ends will look like particles of equal and opposite
charge. Even better, it seems easy to get spin-1/2 particles this way:
they don't call them "spin networks" for nothing!
A variant on this idea is to have spin networks with "loose ends":
edges that just fizzle out. This is more ad hoc, but easier to study
in some ways. A decade ago, Kirill Krasnov and I showed how to describe
the kinematics of charged spin-1/2 particles this way:
4) John Baez and Kirill Krasnov, Quantization of diffeomorphism-
invariant theories with fermions, hep-th/9703112.
However, the hard problem in quantum gravity is always dynamics.
Does the dynamics of spin networks with loose ends actually mimic that
of particles? Recently Krasnov and other people have begun tackling
this question in a toy model, 3-dimensional Lorentzian gravity:
5) Kirill Krasnov, Lambda<0 Quantum Gravity in 2+1 Dimensions I:
Quantum States and Stringy S-Matrix, Class. Quant. Grav. 19 (2002)
3977-3998, also available as hep-th/0112164.
Kirill Krasnov, Lambda<0 Quantum Gravity in 2+1 Dimensions II:
Black Hole Creation by Point Particles, Class. Quant. Grav. 19 (2002)
3999-4028, also available as hep-th/0202117.
He saw that in this theory you can indeed think of particles as spin
network ends - though you don't need to emphasize that viewpoint,
since there are also other nice ways to think about what's going on,
using hyperbolic geometry and complex analysis. It all fits together
in a beautiful picture. In principle you can even calculate
the amplitude for particles to form black holes when they collide!
In this conference, Laurent Freidel explained how this idea works in
3-dimensional Riemannian gravity - a less physical but mathematically
more tractable spin foam model. Some but not all of his work can
be found here:
6) Laurent Freidel and David Louapre, Ponzano-Regge model revisited I:
Gauge fixing, observables and interacting spinning particles, available
as hep-th/0401076.
Laurent Freidel and David Louapre, Ponzano-Regge model revisited II:
Equivalence with Chern-Simons, available as gr-qc/0410141.
Freidel showed that if you take this theory and allow spin networks with
loose ends, they'll act like particles. The spin of these particles is
automatically quantized. More surprisingly, so is their mass - and
there's an upper bound on the mass! That's because when we quantize
this theory, its gauge group automatically gets replaced by a "quantum
group". Physically, this means that spacetime becomes quantum-mechanical
in such a way that it no longer makes sense to talk about times shorter
than about the Planck time. Since the energy of a particle is proportional
to the rate at which its wavefunction oscillates, this puts an upper
bound on the energy of a particle. And since E = mc^2, this means
there's an upper bound on the mass a particle can have.
Mathematically, part of the point is that we can describe 3d Riemannian
gravity as a gauge theory where the gauge group is the double cover of
the 3d Euclidean group - the analogue of the Poincare group in this
context. But when we quantize the theory, this gets replaced by a
quantum group: the "quantum double" of SU(2). As with the 3d Euclidean
group, unitary representations of this quantum group are classified by
mass and spin... but now both mass and spin are discrete, and both are
bounded above.
Anyway, what's great about Freidel and Louapre's work is that it gives
a simplified but mathematically rigorous testbed in which loose ends
of spin networks act like particles. We can also think about spin
networks with "hidden edges" in this setup. So, we should be able to
do calculations and see if a spin network with a hidden edge acts like
a spin network with a pair of loose ends - and thus, a particle-antiparticle
pair.
Unfortunately, all this work on gravity in 3d spacetime doesn't easily
generalize to 4d spacetime. The reason is that gravitational waves are
only possible when spacetime has dimension 4 or more... so 3d gravity
theories have no local degrees of freedom until we include particles:
all the fun comes from global topology, like wormholes. That's why 3d
theories are easy to calculate with - we can use ideas from topological
quantum field theory. The danger, though, is that these calculations
are misleading it comes to real-world physics. Indeed, that's precisely
the sort of thing I was worrying about in my talk.
So, it really cheered me up when a young guy named Artem Starodubtsev
spoke about a promising new spin foam model of quantum gravity in 4
dimensions! He's working on it now with Laurent Freidel. He has a
couple of papers out that *hint* at the main ideas, but you'll have to
wait to see what they're up to now:
7) Artem Starodubtsev, Topological excitations around the vacuum of
quantum gravity I: The symmetries of the vacuum, available as
hep-th/0306135.
Artem Starodubtsev and Lee Smolin, General relativity with a topological
phase: an action principle, available as hep-th/0311163.
The basic idea is to treat 4d general relativity with positive
cosmological constant as a perturbation of a topological quantum
field theory. The topological theory has a single state, which
corresponds to a quantum version of "deSitter space": an exponentially
expanding universe similar to the one we see today, but with no
matter. To calculate in full-fledged gravity, we then use perturbation
theory, getting answers as power series in a coupling constant.
But the cool part is that unlike ordinary perturbative quantum gravity
this perturbation theory is manifestly diffeomorphism invariant
term by term. And each term is a sum over spin foams!
Even better, the coupling constant in this theory is the cosmological
constant in Planck units! That's an incredibly small dimensionless
number: about 10^{-123}. Physicists like perturbation theory when the
coupling constant is small, since then the first few terms tend to give
reasonably accurate answers - even if the whole series diverges.
For example, quantum electrodynamics gives high-precision answers
because the fine structure constant is about 1/137, which is pretty
small. But 10^{-123} is *really* small.
I'd seen Starodubtsev talk about this in Marseille (see "week206")
but now he and Freidel have done calculations recovering Newton's
law of gravity in an appropriate approximation from this theory.
That may not seem like a big deal, but it's actually very cool to see
Newton's law reemerge from a manifestly diffeomorphism-invariant
theory of quantum gravity: no model had ever managed this feat before.
For those of you hungering for technical details, I'll just say that
the topological theory in question is BF theory with the symmetry group
of deSitter spacetime, namely SO(4,1), as the gauge group. General
relativity can be regarded as a perturbation of this BF theory by
borrowing some ideas from the "MacDowell-Mansouri" formulation of
general relativity. If you haven't heard of that, well, neither had I.
It's a sort of old idea:
8) S. W. MacDowell and F. Mansouri, Unified geometric theory of gravity
and supergravity, Phys. Rev. Lett. 38 (1977), 739-742.
... but here we aren't using anything anything about supergravity,
just the fact that ordinary general relativity can be treated as a
theory with gauge group SO(4,1) and a Lagrangian that breaks this
symmetry down to the Lorentz group SO(3,1). The paper by Smolin and
Starodubtsev listed above describes the details, but in the case of
going from SO(5) down to SO(4).
When we quantize BF theory in 4 dimensions we get a spin foam model
called the Crane-Yetter model, where the spin foams are defined using
the representation theory of a quantum group: a "q-deformed version" of
the original gauge group. So, the real engine behind Freidel and
Starodubtsev's calculations are spin foams involving the q-deformed
version of SO(4,1), called SO_q(4,1). This is technically tricky
because SO(4,1) is noncompact, and noncompact quantum groups are just
beginning to be understood. So, there's probably still tons of
mathematical work left to be done. But, the upshot is that Freidel
and Starodubtsev calculate stuff as power series in the cosmological
constant where each term is computed using SO_q(4,1) spin foams. It's
sort of like a souped-up Feynman diagram expansion, but with spin foams
replacing Feynman diagrams.
Now that I've thrown around enough buzzwords to scare off the kids,
I can tell you about Lee Smolin's talk, which was definitely X-rated:
for adults only, people who can listen to speculations with just the
right mixture of disbelief and open-mindedness. It was the last talk
in the conference. And it was about the possible physical effects of
spin networks with "hidden edges"!
First of all, he reminded us how these can mimic particles, and
even some of the usual particle interactions. But then he went
ahead and suggested that hidden edges can cause nonlocal effects in
physics, like the force of gravity decaying more slowly than 1/r^2 -
just as it does in MOND, the wacky but strangely accurate explanation
of galactic rotation curves that uses a modification of Newtonian
gravity instead of positing dark matter! (See "week206" for more on
MOND.) It's hard to make up sensible theories of forces that decay
more slowly than 1/r^2, but nonlocal interactions would be one way to
do it... and hidden spin network edges might cause those.
There are a million things that could go wrong with this idea, but
I like it, because it suggests a way quantum gravity might try to
explain one of the big mysteries of physics - dark matter. And until
we get our theories to make contact with experiment, it'll be very hard
for us to tell if they're on the right track.
Anyway, Smolin hasn't come out with a paper on this stuff yet, so we'll
have to wait for more details.
By the way:
In what I've written this week, I've had to seriously downplay the
cool math involved, to give (I hope) some inkling of the cool physics.
Krasnov work on 2+1-dimensional Lorentzian gravity with positive
cosmological constant uses the fact that the phase space of this
theory is closely related to "Teichmueller space" - the space of
complex structures mod diffeomorphisms that are connected to the
identity. I talked about this space in "week28", but I forgot to say
that we can think of it as a space of flat SO(2,1) connections mod
gauge transformations. Here SO(2,1) is just the Lorentz group in 3
dimensions. So, if we quantize 2+1 Lorentzian gravity with positive
cosmological constant, we get a theory where states are described by
SO_q(2,1) spin networks... but this is also a theory of "quantum
Teichmueller space". Again this is tricky because SO(2,1) is noncompact,
but people have made a lot of progress lately, thanks in part to a line
of work started by Kashaev:
9) R. M. Kashaev, Quantization of Teichmueller spaces and the quantum
dilogarithm, available as q-alg/9705021.
10) L. Chekhov and V. V. Fock, Quantum Teichmueller space,
Theor. Math. Phys. 120 (1999) 1245-1259, also available as
math.QA/9908165.
You can get a sense of who's working on this stuff and what they're
doing by looking at the references for this recent conference on 3d
quantum gravity in Edinburgh, which unfortunately took place when I
was in Hong Kong:
11) Workshop on physics and geometry of 3-dimensional quantum gravity,
http://www.ma.hw.ac.uk/~bernd/references.html
I should also add that people don't usually don't talk about the 3d
Lorentz group SO(2,1) here; they talk about its double cover SL(2,R).
Anyway, I'll quit here. The next conference on loops and spin foams
will probably happen in Berlin at the Albert Einstein Institute in
2005, which happens to be the hundredth birthday of special relativity.
I hope we can make a lot of progress before then and make Al proud.
Quote of the week:
"The best way to have a good idea is to have a lot of ideas". -
Linus Pauling
(Not necessarily true, but worth keeping in mind.)
-----------------------------------------------------------------------
Previous issues of "This Week's Finds" and other expository articles on
mathematics and physics, as well as some of my research papers, can be
obtained at
http://math.ucr.edu/home/baez/
For a table of contents of all the issues of This Week's Finds, try
http://math.ucr.edu/home/baez/twf.html
A simple jumping-off point to the old issues is available at
http://math.ucr.edu/home/baez/twfshort.html
If you just want the latest issue, go to
http://math.ucr.edu/home/baez/this.week.html