
Now that I'm hanging out with the gravity crowd at Penn State, I might as well describe what's been going on here lately.
First of all, Ashtekar and Krasnov have written an expository account of their work on the entropy of quantum black holes:
1) Abhay Ashtekar and Kirill Krasnov, Quantum geometry and black holes, preprint available as grqc/9804039.
But if you prefer to see a picture of a quantum black hole without any equations, try:
2) Kirill Krasnov's research webpage.
You'll see a bunch of spin networks poking the horizon, giving it area and curvature. Of course, this is just a theory.
Second, there's been a burst of new work studying quantum gravity in terms of spin foams. A spin foam looks a bit like a bunch of soap suds  with the faces of the bubbles and the edges where the bubbles meet labelled by spins j = 0, 1/2, 1, 3/2, etc.. Spin foams are an attempt at a quantum description of the geometry of spacetime. If you slice a spin foam with a hyperplane representing "t = 0" you get a spin network: a graph with its edges and vertices labelled by spins. Spin networks have been used in quantum gravity for a while now to describe the geometry of space at a given time, so it's natural to hope that they're a slice of something that describes the geometry of spacetime.
As usual in quantum gravity, it's too early to tell if this approach will work. As usual, it has lots of serious problems. But before going into the problems, let me remind you how spin foams are supposed to work.
To relate spin foams to more traditional ideas about spacetime, one can consider spin foams living in a triangulated 4manifold: one spin foam vertex sitting in each 4simplex, one spin foam edge poking through each tetrahedron, and one spin foam face intersecting each triangle. Labelling the spin foam edges and faces with spins is supposed to endow the triangulated 4manifold with a "quantum 4geometry". In other words, it should let us compute things like the areas of the triangles, the volumes of the tetrahedra, and the 4volumes of the 4simplices. There are some arguments going on now about the right way to do this, but it's far from an arbitrary business: the interplay between group representation theory and geometry says a lot about how it should go. In the simplified case of 3dimensional spacetime, it's fairly well understood  the hard part, and the fun part, is getting it to work in 4 dimensions.
Assuming we can do this, the next trick is to compute an amplitude for each spin foam vertex in a nice way, much as one computes amplitudes for vertices of Feynman diagrams. A spin foam vertex is supposed to represent an "event"  if we slice the spin foam by a hyperplane we get a spin network, and as we slide this slice "forwards in time", the spin network changes its topology whenever we pass a spin foam vertex. The amplitude for a vertex tells us how likely it is for this event to happen. As usual in quantum theory, we need to take the absolute value of an amplitude and square it to get a probability.
We also need to compute amplitudes for spin foam edges and faces, called "propagators", in analogy to the amplitudes one computes for the edges of Feynman diagrams. Multiplying all the vertex amplitudes and propagators for a given spin foam, one gets the amplitude for the whole spin foam. This tells us how likely it is for the whole spin foam to happen.
Barrett and Crane came up with a specific way to do all this stuff, Reisenberger came up with a different way, I came up with a general formalism for understanding this stuff, and now people are busy arguing about the merits of different approaches. Here are some papers on the subject  I'll pick up where I left off in "week113".
3) Louis Crane, David N. Yetter, On the classical limit of the balanced state sum, preprint available as grqc/9712087.
The goal here is to show that in the limit of large spins, the amplitude given by Barrett and Crane's formula approaches
exp(iS)
where S is the action for classical general relativity  suitably discretized, and in signature ++++. The key trick is to use an idea invented by Regge in 1961.
Regge came up with a discrete analog of the usual formula for the action in classical general relativity. His formula applies to a triangulated 4manifold whose edges have specified lengths. In this situation, each triangle has an "angle deficit" associated to it. It's easier to visualize this two dimensions down, where each vertex in a triangulated 2manifold has an angle deficit given by adding up angles for all the triangles having it as a corner, and then subtracting 2 π. No angle deficit means no curvature: the triangles sit flat in a plane. The idea works similarly in 4 dimensions. Here's Regge's formula for the action: take each triangle in your triangulated 4manifold, take its area, multiply it by its angle deficit, and then sum over all the triangles.
Simple, huh? In the continuum limit, Regge's action approaches the integral of the Ricci scalar curvature  the usual action in general relativity. For more see:
4) T. Regge, General relativity without coordinates, Nuovo Cimento 19 (1961), 558571.
So, Crane and Yetter try to show that in the limit of large spins, the BarrettCrane spin foam amplitude approaches exp(iS) where S is the Regge action. There argument is interesting but rather sketchy. Someone should try to fill in the details!
However, it's not clear to me that the large spin limit is physically revelant. If spacetime is really made of lots of 4simplices labelled by spins, the 4simplices have got to be quite small, so the spins labelling them should be fairly small. It seems to me that the right limit to study is the limit where you triangulate your 4manifold with a huge number of 4simplices labelled by fairly small spins. After all, in the spin network picture of the quantum black hole, it seems that spin network edges labelled by spin 1/2 contribute most of the states (see "week112").
When you take a spin foam living in a triangulated 4manifold and slice it in a way that's compatible with the triangulation, the spin network you get is a 4valent graph. Thus it's not surprising that Barrett and Crane's formula for vertex amplitudes is related to an invariant of 4valent graphs with edges labelled by spins. There's already a branch of math relating such invariants to representations of groups and quantum groups, and their formula fits right in. Yetter has figured out how to generalize this graph invariant to nvalent graphs with edges labelled by spins, and he's also studied more carefully what happens when one "qdeforms" the whole business  replacing the group by the corresponding quantum group. This should be related to quantum gravity with nonzero cosmological constant, if all the mathematical clues aren't lying to us. See:
5) David N. Yetter, Generalized BarrettCrane vertices and invariants of embedded graphs, preprint available as math.QA/9801131.
Barrett has also given a nice formula in terms of integrals for the invariant of 4valent graphs labelled by spins. This is motivated by the physics and illuminates it nicely:
6) John W. Barrett, The classical evaluation of relativistic spin networks, preprint available as math.QA/9803063.
Let me quote the abstract:
The evaluation of a relativistic spin network for the classical case of the Lie group SU(2) is given by an integral formula over copies of SU(2). For the graph determined by a 4simplex this gives the evaluation as an integral over a space of geometries for a 4simplex.Okay, so much for the good news. What about the bad news? To explain this I need to get a bit more specific about Barrett and Crane's approach.
Their approach is based on a certain way to describe the geometry of a 4simplex. Instead of specifying lengths of edges as in the old Regge approach, we specify bivectors for all its faces. Geometrically, a bivector is just an "oriented area element"; technically, the space of bivectors is the dual of the space of 2forms. If we have a 4simplex in R^{4} and we choose orientations for its triangular faces, there's an obvious way to associate a bivector to each face. We get 10 bivectors this way.
What constraints do these 10 bivectors satisfy? They can't be arbitrary! First, for any four triangles that are all the faces of the same tetrahedron, the corresponding bivectors must sum to zero. Second, every bivector must be "simple"  it must be the wedge product of two vectors. Third, whenever two triangles are the faces of the same tetrahedron, the sum of the corresponding bivectors must be simple.
It turns out that these constraints are almost but not quite enough to imply that 10 bivectors come from a 4simplex. Generically, it there are four possibilities: our bivectors come from a 4simplex, the negatives of our bivectors come from a 4simplex, their Hodge duals come from a 4simplex, or the negatives of their Hodge duals come from a 4simplex.
If we ignore this and describe the 4simplex using bivectors satisfying the three constraints above, and then quantize this description, we get the picture of a "quantum 4simplex" that is the startingpoint for the BarrettCrane model. But clearly it's dangerous to ignore this problem.
Actually, I learned about this problem from Robert Bryant over on sci.math.research, and I discussed it in my paper on spin foam models, citing Bryant of course. Barrett and Crane overlooked this problem in the first version of their paper, but now they recognize its importance. Two papers have recently appeared which investigate it further:
7) Michael P. Reisenberger, Classical Euclidean general relativity from ``lefthanded area = righthanded area'', preprint available as grqc/9804061.
8) Roberto De Pietri and Laurent Freidel, so(4) Plebanski Action and relativistic spin foam model, preprint available as grqc/9804071.
These papers study classical general relativity formulated as a constrained SO(4) BF theory. The constraints needed here are mathematically just the same as the constraints needed to ensure that 10 bivectors come from the faces of an actual 4simplex! This is part of the magic of this approach. But again, if one only imposes the three constraints I listed above, it's not quite enough: one gets fields that are either solutions of general relativity or solutions of three other theories! This raises the worry that the BarrettCrane model is a quantization, not exactly of general relativity, but of general relativity mixed in with these extra theories.
Here's another recent product of the Center for Classical and Quantum Gravity here at Penn State:
9) Laurent Freidel and Kirill Krasnov, Discrete spacetime volume for 3dimensional BF theory and quantum gravity, preprint available as hepth/9804185.
Freidel and Krasnov study the volume of a single 3simplex as an observable in the context of the TuraevViro model  a topological quantum field theory which is closely related to quantum gravity in spacetime dimension 3.
And here are some other recent papers on quantum gravity written by folks who either work here at the CGPG or at least occasionally drift through. I'll just quote the abstracts of these:
10) Ted Jacobson, Black hole thermodynamics today, to appear in Proceedings of the Eighth Marcel Grossmann Meeting, World Scientific, 1998, preprint available as grqc/9801015.
A brief survey of the major themes and developments of black hole thermodynamics in the 1990's is given, followed by summaries of the talks on this subject at MG8 together with a bit of commentary, and closing with a look towards the future.11) Rodolfo Gambini, Jorge Pullin, Does loop quantum gravity imply Λ = 0?, preprint available as grqc/9803097.
We suggest that in a recently proposed framework for quantum gravity, where Vassiliev invariants span the the space of states, the latter is dramatically reduced if one has a nonvanishing cosmological constant. This naturally suggests that the initial state of the universe should have been one with Λ=0.11) R. Gambini, O. Obregon, and J. Pullin, YangMills analogues of the Immirzi ambiguity, preprint available as grqc/9801055.
We draw parallels between the recently introduced ``Immirzi ambiguity'' of the Ashtekarlike formulation of canonical quantum gravity and other ambiguities that appear in YangMills theories, like the θ ambiguity. We also discuss ambiguities in the Maxwell case, and implication for the loop quantization of these theories.12) John Baez and Stephen Sawin, Diffeomorphisminvariant spin network states, to appear in Jour. Funct. Analysis, preprint available as qalg/9708005 or at http://math.ucr.edu/home/baez/int2.ps
We extend the theory of diffeomorphisminvariant spin network states from the realanalytic category to the smooth category. Suppose that G is a compact connected semisimple Lie group and P → M is a smooth principal Gbundle. A `cylinder function' on the space of smooth connections on P is a continuous complex function of the holonomies along finitely many piecewise smoothly immersed curves in M. We construct diffeomorphisminvariant functionals on the space of cylinder functions from `spin networks': graphs in M with edges labeled by representations of G and vertices labeled by intertwining operators. Using the `group averaging' technique of Ashtekar, Marolf, Mourao and Thiemann, we equip the space spanned by these `diffeomorphisminvariant spin network states' with a natural inner product.Finally, here are two recent reviews of string theory and supersymmetry:
13) John H. Schwarz and Nathan Seiberg, String theory, supersymmetry, unification, and all that, to appear in the American Physical Society Centenary issue of Reviews of Modern Physics, March 1999, preprint available as hepth/9803179.
14) Keith R. Dienes and Christopher Kolda, Twenty open questions in supersymmetric particle physics, 64 pages, preprint available as hepph/9712322.
I'm afraid I'll slack off on my "tour of homotopy theory" this week. I want to get to fun stuff like model categories and E_{&infin} spaces, but it's turning out to be a fair amount of work to reach that goal! That's what always happens with This Week's Finds: I start learning about something and think "oh boy, this stuff is great; I'll write it up really carefully so that everyone can understand it," but then this turns out to be so much work that by the time I'm halfway through I'm off on some other kick.
