Abstract
In three spacetime dimensions, general relativity drastically simplifies, becoming a “topological” theory with no propagating local degrees of freedom. Nevertheless, many of the difficult conceptual problems of quantizing gravity are still present. In this review, I summarize the rather large body of work that has gone towards quantizing (2 + 1)dimensional vacuum gravity in the setting of a spatially closed universe.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The task of quantizing general relativity is one of the outstanding problems of modern theoretical physics. Attempts to reconcile quantum theory and general relativity date back to the 1930s (see [240] for a historical review), and decades of hard work have yielded an abundance of insights into quantum field theory, from the discovery of DeWittFaddeevPopov ghosts to the development of effective action and background field methods to the detailed analysis of the quantization of constrained systems. But despite this enormous effort, no one has yet succeeded in formulating a complete, selfconsistent quantum theory of gravity [83].
The obstacles to quantizing gravity are in part technical. General relativity is a complicated nonlinear theory, and one should expect it to be more difficult than, say, electrodynamics. Moreover, viewed as an ordinary field theory, general relativity has a coupling constant G^{1/2} with dimensions of an inverse mass, and standard powercounting arguments — finally confirmed in 1986 by explicit computations [149] — indicate that the theory is nonrenormalizable. But the problem of finding a consistent quantum theory of gravity goes deeper. General relativity is a geometric theory of spacetime, and quantizing gravity means quantizing spacetime itself. In a very basic sense, we do not know what this means. For example:

Ordinary quantum field theory is local, but the fundamental (diffeomorphisminvariant) physical observables of quantum gravity are necessarily nonlocal.

Ordinary quantum field theory takes causality as a fundamental postulate, but in quantum gravity the spacetime geometry, and thus the light cones and the causal structure, are themselves subject to quantum fluctuations.

Time evolution in quantum field theory is determined by a Hamiltonian operator, but for spatially closed universes, the natural candidate for a Hamiltonian in quantum gravity is identically zero when acting on physical states.

Quantum mechanical probabilities must add up to unity at a fixed time, but in general relativity there is no preferred timeslicing on which to normalize probabilities.
Faced with such problems, it is natural to look for simpler models that share the important conceptual features of general relativity while avoiding some of the computational difficulties. General relativity in 2 + 1 dimensions — two dimensions of space plus one of time — is one such model. As a generally covariant theory of spacetime geometry, (2 + 1)dimensional gravity has the same conceptual foundation as realistic (3+ 1)dimensional general relativity, and many of the fundamental issues of quantum gravity carry over to the lower dimensional setting. At the same time, however, the (2+ 1)dimensional model is vastly simpler, mathematically and physically, and one can actually write down viable candidates for a quantum theory. With a few exceptions, (2 + 1)dimensional solutions are physically quite different from those in 3 + 1 dimensions, and the (2 + 1)dimensional model is not very helpful for understanding the dynamics of realistic quantum gravity. In particular, the theory does not have a good Newtonian limit [107, 49, 94]. But for understanding conceptual problems — the nature of time, the construction of states and observables, the role of topology and topology change, the relationships among different approaches to quantization — the model has proven highly instructive.
Work on (2 + 1)dimensional gravity dates back to 1963, when Staruszkiewicz first described the behavior of static solutions with point sources [246]. Progress continued sporadically over the next twenty years, but the modern rebirth of the subject can be traced to the seminal work of Deser, Jackiw,’ t Hooft, and Witten in the mid1980s [107, 105, 106, 249, 103, 277, 279]. Over the past twenty years, (2 + 1)dimensional gravity has become an active field of research, drawing insights from general relativity, differential geometry and topology, high energy particle theory, topological field theory, and string theory.
As I will explain below, general relativity in 2 + 1 dimensions has no local dynamical degrees of freedom. Classical solutions to the vacuum field equations are all locally diffeomorphic to spacetimes of constant curvature, that is, Minkowski, de Sitter, or antide Sitter space. Broadly speaking, three ways to introduce dynamics have been considered:

1.
Point particles can be added, appearing as conical “defects” in an otherwise constant curvature spacetime. Most of the earliest papers in the field [246, 105, 106, 107, 249, 103] were investigations of the dynamics of such conical singularities.

2.
If a negative cosmological constant is present, black hole solutions can be found [41, 40]. For such solutions, dynamics at either the horizon or the boundary at infinity can lead to local degrees of freedom [78, 247, 59, 96, 51, 24, 91], although these are certainly not yet completely understood [82].

3.
One can consider nontrivial spatial or spacetime topologies [277, 279]. Such “cosmological” solutions have moduli — a finite number of parameters that distinguish among geometrically inequivalent constant curvature manifolds — and these can become dynamical.
In this paper, I will limit myself to the third case, (2 + 1)dimensional vacuum “quantum cosmology.” This review is based in part on a series of lectures in [76] and an earlier review [74], and much of the material can be found in more detail in a book [81]. There is not yet a comprehensive review of gravitating point particles in 2 + 1 dimensions, although [65, 197, 195, 37, 36, 199, 63, 183] will give an overview of some results. Several good general reviews of the (2 + 1)dimensional black hole exist [75, 39], although a great deal of the quantum mechanics is not yet understood [82].
Although string theory is perhaps the most popular current approach to quantum gravity, I will have little to say about it here: While some interesting results exist in 2 + 1 dimensions, almost all of them are in the context of black holes (see, for example, [157, 170, 187, 188, 189]). I will also have little to say about (2 + 1)dimensional supergravity, although many of the results described below can be generalized fairly easily, and I will not address the coupling of matter except for a brief discussion in Section 5.
Throughout, I will use units 16πG = 1 and ℏ = 1 unless otherwise noted.
2 Classical Gravity in 2 + 1 Dimensions
The first step towards quantizing (2 + 1)dimensional general relativity is to understand the space of classical solutions. One of the principal advantages of working in 2 + 1 dimensions is that for simple enough topologies, this space can be characterized completely and explicitly. Indeed, there are several such characterizations, each leading naturally to a different approach to the quantum theory; by understanding the relationships among these approaches, one can gain important insights into the structure of quantum gravity.
2.1 Why (2 + 1)dimensional gravity is simple
In any spacetime, the curvature tensor may be decomposed into a curvature scalar R, a Ricci tensor R_{μν}, and a remaining tracefree, conformally invariant piece, the Weyl tensor \({C_{\mu \nu \rho}}^\sigma\). In 2 + 1 dimensions, however, the Weyl tensor vanishes identically, and the full curvature tensor is determined algebraically by the remaining pieces:
This means that any solution of the field equations with a cosmological constant Λ,
has constant curvature: The spacetime is locally either flat (Λ = 0), de Sitter (Λ > 0), or antide Sitter (Λ < 0). Physically, a (2 + 1)dimensional spacetime has no local degrees of freedom: There are no gravitational waves in the classical theory, and no propagating gravitons in the quantum theory.
This absence of local degrees of freedom can be verified by a simple counting argument [49, 94]. In n dimensions, the phase space of general relativity is parametrized by a spatial metric at constant time, which has n(n − 1)/2 components, and its conjugate momentum, which adds another n(n − 1)/2 components. But n of the Einstein field equations are constraints rather than dynamical equations, and n more degrees of freedom can be eliminated by coordinate choices. We are thus left with n(n − 1) − 2n = n(n − 3) physical degrees of freedom per spacetime point. In four dimensions, this gives the usual four phase space degrees of freedom, two gravitational wave polarizations and their conjugate momenta. If n = 3, there are no local degrees of freedom.
It is instructive to examine this issue in the weak field approximation [58]. In any dimension, the vacuum field equations in harmonic gauge for a nearly flat metric g_{μν} = η_{μν} + h_{μν} take the form
where \({\bar h_{\mu \nu}} = {h_{\mu \nu}}  {1 \over 2}{\eta _{\mu \nu}}{\eta ^{\rho \sigma}}{h_{\rho \sigma}}\) and indices are raised and lowered with the flat metric η. The plane wave solutions of Equation (3) are, to first order,
Choosing a second null vector n^{μ} with n · k = −1 and a spacelike unit vector with k · m = n · m = 0, we can construct a (2 + 1)dimensional analog of the NewmanPenrose formalism [33]; the polarization tensor ϵ_{μν} then becomes
apparently giving three propagating polarizations. There is, however, a residual symmetry: A diffeomorphism generated by an infinitesimal vector field ξ^{μ} with □ ξ^{μ}= 0 preserves the harmonic gauge condition of Equation (3) while giving a “gauge transformation” \(\delta {\bar h_{\mu \nu}} = {\partial _\mu}{\xi _\nu} + {\partial _\nu}{\xi _\mu}  {\eta _{\mu \nu}}{\partial _\rho}{\xi ^\rho}\). Writing
it is easy to check that
The excitations (5) are thus pure gauge, confirming the absence of propagating degrees of freedom.
Fortunately, while this feature makes the theory simple, it does not quite make it trivial. A flat spacetime, for instance, can always be described as a collection of patches, each isometric to Minkowski space, that are glued together by isometries of the flat metric; but the gluing is not unique, and may be dynamical. This picture leads to the description of (2 + 1)dimensional gravity in terms of “geometric structures.”
2.2 Geometric structures
The global geometry of vacuum spacetimes in 2 + 1 dimensions is described mathematically by the theory of geometric structures [256, 62, 147] (for examples of geometric structures, see [248]; for a slightly more detailed version of this section, see [72]). For simplicity, let us begin with the case of a vanishing cosmological constant. If the spacetime manifold M is topologically trivial, then by Equation (1) the vacuum field equations imply that (M, g) is simply a subset of ordinary Minkowski space (V^{2,1}, η). If M is topologically nontrivial, it can still be covered by contractible coordinate patches U_{i}, each isometric to V^{2,1}, with the standard Minkowski metric η_{μν} on each patch. The geometry is then encoded entirely in the transition functions on the intersections U_{i} ∩ U_{j}, which determine how these patches are glued together. Since the metrics in U_{i} and U_{j} are identical, these transition functions must be isometries of η_{μν}, that is, elements of the Poincaré group ISO(2, 1). Similarly, if Λ ≠ 0, a vacuum spacetime can be built by patching together pieces of de Sitter or antide Sitter space by appropriate isometries: SO(3, 1) for Λ > 0 and SO(2, 2) or SL(2, ℝ) × SL(2, ℝ)/ℤ_{2} for Λ < 0.
Such a construction is an example of a geometric structure, in the flat case a Lorentzian or (ISO(2, 1),V^{2,1}) structure. In general, a (G, X) manifold is one locally modeled on X, much as an ordinary ndimensional manifold is modeled on ℝ^{n}. More precisely, let G be a Lie group that acts analytically on some nmanifold X, the model space, and let M be another nmanifold. A (G, X) structure on M is then a set of coordinate patches U_{i} for M with “coordinates” φ_{i}: U_{i} → X taking their values in X and with transition functions \({g_{ij}} = {\phi _i} \circ {\phi _j}^{ 1}\vert{U_i} \cap {U_j}\) in G.
A fundamental ingredient in the description of a (G, X) structure is its holonomy group, which can be viewed as a measure of the failure of a single coordinate patch to extend around a closed curve. Let M be a (G, X) manifold containing a closed path γ. As illustrated in Figure 1, we can cover γ with coordinate charts
with constant transition functions g_{j} ∈ G between U_{i} and U_{i+1}, i.e.,
Let us now try to analytically continue the coordinate φ_{1} from the patch U_{1} to the whole of γ. We can begin with a coordinate transformation in U_{2} that replaces φ_{2} by = φ_{2}′ ○ φ_{2}, thus extending φ_{1} to U_{1} ∪ U_{2}. Continuing this process along the curve, with \({\phi _j}^\prime = {g_1} \circ \cdots \circ {g_j}_{ 1} \circ {\phi _j}\), we will eventually reach the final patch U_{n}, which again overlaps U_{1}. If the new coordinate function \({\phi _n}^\prime = {g_1} \circ \cdots \circ {g_n}_{ 1} \circ {\phi _n}\) agrees with φ_{1} on U_{n} ∩ U_{1}, we will have covered γ with a single patch. Otherwise, the holonomy H(γ) = g_{1} ○ ⋯ ○ g_{n} measures the obstruction to such a covering.
It may be shown that the holonomy of a curve γ depends only on its homotopy class [256]. In fact, the holonomy defines a homomorphism
H is not quite uniquely determined by the geometric structure, since we are free to act on the model space X by a fixed element h ∈ G, changing the transition functions g_{i} without altering the (G, X) structure of M. Such a transformation has the effect of conjugating H by h, and it may be shown that H is unique up to such conjugation [256]. The space of holonomies is thus the quotient
Note that if we pass from M to its universal covering space \(\widetilde M\), we will no longer have noncontractible closed paths, and φ_{1} will be extendible to all of \(\widetilde M\). The resulting map \(D:\widetilde M \to X\) is called the developing map. At least in simple examples, D embodies the classical geometric picture of development as “unrolling” — for instance, the unwrapping of a cylinder into an infinite strip.
The holonomies of the geometric structure in (2 + 1)dimensional gravity are examples of diffeomorphisminvariant observables, which, as we shall see below, are closely related to the Wilson loop observables in the ChernSimons formulation. It is important to understand to what extent they are complete — that is, to what extent they determine the geometry. It is easy to see one thing that can go wrong: If we start with a flat threemanifold M and simply cut out a ball, we can obtain a new flat manifold without affecting the holonomy. This is a rather trivial change, though, and we would like to know whether it is the only problem.
For the case of a vanishing cosmological constant, Mess [200] has investigated this question for spacetimes with topologies ℝ × Σ. He shows that the holonomy group determines a unique “maximal” spacetime M — specifically, a domain of dependence of a spacelike surface Σ. Mess also demonstrates that the holonomy group H acts properly discontinuously on a region W ⊂ V^{2,1} of Minkowski space, and that M can be obtained as the quotient space W/H. This quotient construction can be a powerful tool for obtaining a description of M in reasonably standard coordinates, for instance in a timeslicing by surfaces of constant mean curvature. Similar results hold for antide Sitter structures. Some instructive examples of the construction of spacetimes with Λ < 0 from holonomies are given in [133].
For de Sitter structures, on the other hand, the holonomies do not uniquely determine the geometry [200]. An explicit example of the resulting ambiguity has been given by Ezawa [117] for the case of a topology ℝ × T^{2} (see also Section 4.5 of [81]). A similar ambiguity occurs for (2 + 1)dimensional gravity with point particles, where, as Matschull has emphasized [194], it may imply a physical difference between the metric and ChernSimons formulations of (2 + 1)dimensional gravity.
We close this section with a partial description of the space of solutions of the vacuum Einstein field equations on a manifold ℝ × Σ, where Σ is a compact genus g twomanifold, that is, a surface with g “handles.” The fundamental group of such a spacetime, π_{1}(M) ≃ π_{1}(Σ), is generated by g pairs of closed curves with the single relation
By Equation (11), the space of holonomies is the space of homomorphisms from π_{1}(Σ) to G (where G is ISO(2, 1) for Λ = 0, SO(3, 1) for Λ > 0, or SO(2, 2) for Λ < 0) modulo overall conjugation. For g > 1, this space of homomorphisms has dimension 12g − 12: π_{1}(Σ) has 2g generators and one relation, and the identification by conjugation leaves 2g − 2 choices of elements of a sixdimensional group G^{Footnote 1}.
There are two subtleties that prevent the space (11) from being the exact moduli space of solutions of the vacuum field equations. First, as noted above, the holonomies do not always determine a unique geometric structure. In particular, for Λ > 0 one may need an additional discrete variable to specify the geometry. Second, not all homomorphisms from π_{1}(Σ) to G give geometric structures that correspond to smooth manifolds. The space of homomorphisms (11) is not connected [148], and, in general, only one connected component gives our desired geometry. Even once these caveats are taken into account, though, we still have a (12g − 12)dimensional space of solutions that can, in principle, be described completely.
2.3 The ChernSimons formulation
The formalism of geometric structures provides an elegant description of vacuum spacetimes in 2 + 1 dimensions, but it is rather remote from the usual physicist’s approach. In particular, the EinsteinHilbert action is nowhere in sight, and even the metric makes only a limited appearance. Fortunately, the description is closely related to the more familiar firstorder ChernSimons formalism [108, 277, 279, 2], which, in turn, can connect us back to the standard metric formalism.
The firstorder formalism takes as its fundamental variables an orthonormal frame (“triad” or “dreibein”) \({e_\mu}^a\), which determines a metric \({g_{\mu \nu}} = {\eta _{ab}}{e_\mu}^a{e_\nu}^b\), and a spin connection \({\omega _\mu}^{ab}\). As in the Palatini formalism, e and ω are treated as independent quantities. In terms of the oneforms
the firstorder action takes the form
with EulerLagrange equations
The first of these implies that the connection is torsionfree, and, if e is invertible, that ω has the standard expression in terms of the triad. Given such a spin connection, Equation (16) is then equivalent to the standard Einstein field equations.
The action (14) has two sets of invariances, the local Lorentz transformations
and the “local translations”
Provided the triad e is invertible, the latter are equivalent to diffeomorphisms on a shell; more precisely, the combination of transformations with parameters ρ^{a} = ξ · e^{a} and τ^{a} = ξ · ω^{a} is equivalent to the diffeomorphism generated by the vector field ξ. The invertibility condition for e is important; if it is dropped, the firstorder formalism is no longer quite equivalent to the metric formalism [194].
As first noted by Achúcarro and Townsend [2] and further developed by Witten [277, 279], the firstorder action (14) is equivalent to that of a ChernSimons theory. Consider first the case of a vanishing cosmological constant. The relevant gauge group — the group G of the geometric structure — is then the Poincaré group ISO(2, 1), with standard generators \({\mathcal J^ a}\) and \({\mathcal P^a}\) and commutation relations
The corresponding gauge potential is
if one defines a bilinear form (or “trace”)
it is straightforward to show that the action (14) can be written as
with k = 1/(4G). Equation (22) may be recognized as the standard ChernSimons action [278] for the group ISO(2, 1).
A similar construction is possible when Λ ≠ 0. For Λ = − 1/ℓ^{2} < 0, the pair of oneforms A(±)^{a} = ω^{a} ± e^{a}/ℓ together constitute an SO(2, 1) × SO(2, 1) gauge potential, with a ChernSimons action
that is again equivalent to Equation (14), provided we set k = ℓ(4G). If Λ > 0, the complex oneform \({A^a} = {\omega ^a} + i\sqrt \Lambda {e^a}\) may be viewed as an SL(2, ℂ) gauge potential, whose ChernSimons action is again equivalent to the firstorder gravitational action. For any value of Λ, it is easily checked that the transformations (17) are just the gauge transformations of A. Vacuum general relativity in 2 + 1 dimensions is thus equivalent — again up to considerations of the invertibility of e — to a gauge theory. We can now connect the firstorder formalism to the earlier description of geometric structures. The field equations coming from the action (22) are simply
implying that the field strength of the gauge potential A vanishes, i.e., that A is a flat connection. Such a connection is completely determined by its holonomies, that is, by the Wilson loops
around closed noncontractible curves γ. This use of the term “holonomy” is somewhat different from that of Section 2.2, but the two are equivalent. Indeed, any (G, X) structure on a manifold M determines a corresponding flat G bundle [147]: We simply form the product G × U_{j} in each patch, giving the local structure of a G bundle, and use the transition functions g_{ij} of the geometric structure to glue the fibers on the overlaps. The holonomy group of this flat bundle can be shown to be isomorphic to the holonomy group of the geometric structure, and for (2 + 1)dimensional gravity, the flat connection constructed from the geometric structure is that of the ChernSimons theory. An explicit construction may be found in Section 4.6 of [81]; see also [7, 263].
The firstorder action allows us an additional step that was unavailable in the geometric structure formalism — we can compute the symplectic structure on the space of solutions. The basic Poisson brackets follow immediately from the action:
The resulting brackets among the holonomies have been evaluated by Nelson, Regge, and Zertuche [210, 211] for Λ < 0, for which the two SL(2, ℝ) factors in the gauge group G may be taken to be independent. The brackets are nonzero only for holonomies of curves that intersect, and can be written in terms of holonomies of “rerouted” curves; symbolically,
where ϵ(p) is the oriented intersection number at the point p that the curves cross. The composition of loops implicit in the brackets (27) makes it difficult to find small closed subalgebras of the sort needed for quantization. However, Nelson and Regge have succeeded in constructing a small but complete (actually overcomplete) set of holonomies on a surface of arbitrary genus that form a closed algebra [213, 212], and Loll has found a complete set of “configuration space” variables [178].
By generalizing a discrete combinatorial approach to ChernSimons theory due to Fock and Rosly [122] and Alekseev et al. [3, 4, 5], several authors have further explored the quantum group structure of these brackets, which can be expressed in terms of the quantum double of the Lorentz group [37, 36, 61, 201]. It is also interesting that the symplectic structure obtained in this way is closely related to the symplectic structure on the abstract space of loops on Σ first discovered by Goldman [145, 146].
2.4 The ADM approach
We next turn to a more traditional approach to classical general relativity, the conventional metric formalism in the space/time splitting of Arnowitt, Deser, and Misner [25]. As Moncrief [206] and Hosoya and Nakao [159] have shown, this metric formalism can also be used to give a full description of the solutions of the vacuum field equations, at least for spacetimes with the topology ℝ × Σ.
We start with the ADM decomposition of the spacetime metric g_{μν},
as illustrated in Figure 2. The action then takes the usual form^{Footnote 2}
with canonical momentum \({{\rm{\pi}}^{ij}} = \sqrt g ({K^{ij}}  {g^{ij}}K)\) and the momentum and Hamiltonian constraints
To solve the constraints, we can choose the York timeslicing [284], in which the mean (extrinsic) curvature is used as a time coordinate, \(  K = {g_{ij}}{\pi ^{ij}}/\sqrt g = T\). Andersson et al. have shown that this is a good global coordinate choice for classical solutions of the vacuum field equations [20]. We next select a useful parametrization of the spatial metric and momentum. Up to a diffeomorphism, any twometric on Σ can be written in the form [1, 121]
where ḡ_{ij}(m_{α}) are a finitedimensional family of metrics of constant curvature k (k = 1 for the twosphere, 0 for the torus, and −1 for spaces of genus g > 1). These standard metrics are labeled by a set of moduli m_{α} that parametrize the Riemann moduli space of Σ. As in Section 2.2, such constant curvature metrics can be described in terms of a geometric structure — for genus g > 1 an (ℍ^{2}, PSL(2, ℝ)) structure — with moduli parametrizing the homomorphisms (10). We can count these just as in Section 2.2; now, since PSL(2, ℝ) is threedimensional, we find that a constant negative curvature surface of genus g > 1 is described by 6g − 6 parameters.
The corresponding decomposition of the conjugate momentum is described in [206]: Up to a diffeomorphism, the tracefree part of π^{ij} can be written as a holomorphic quadratic differential p^{ij}, that is, a transverse traceless tensor with respect to the covariant derivative compatible with ḡ_{ij}. The space of such quadratic differentials parametrizes the cotangent space of the moduli space [1], and the reduced phase space becomes, essentially, the cotangent bundle of the moduli space.
With the decomposition of [206], the momentum constraints ℌ_{i} = 0 become trivial, while the Hamiltonian constraint becomes an elliptic differential equation that determines the scale factor γ in Equation (31) as a function of ḡ_{ij} and p^{ij},
where p^{α} are the momenta conjugate to the moduli,
The theory of elliptic equations ensures that Equation (32) determines a unique scale factor λ. The action (29) then simplifies to a “reduced phase space” action, involving only the physical degrees of freedom,
with a timedependent Hamiltonian
The classical Poisson brackets can be read off directly from Equation (34):
Threedimensional gravity again reduces to a finitedimensional system, albeit one with a complicated timedependent Hamiltonian. The physical phase space is parametrized by (m_{α},p^{β}), which may be viewed as coordinates for the cotangent bundle of the moduli space of Σ. For a surface of genus g > 1, this gives us 12g − 12 degrees of freedom, matching the results of Section 2.2.
If Λ = 0, this correspondence can be made more explicit: For G = ISO(2, 1) and M ≃ ℝ × Σ, the space (11) of geometric structures is itself a cotangent bundle, whose base space is the space of hyperbolic structures on Σ. This follows from the fact that the group ISO(2, 1) is the cotangent bundle of SO(2, 1). Concretely, in the firstorder formalism of Section 2.3, the curvature equation (16) with Λ = 0 implies that ω is a flat SO(2, 1) connection; and if ω(s) is a curve in the space of such flat connections, the tangent vector e = dω(s)/ds satisfies the torsion equation (17). For Λ ≠ 0, I know of no such direct correspondence, and the general relationship between the ADM and firstorder solutions seems less transparent.
2.5 Exact discrete approaches
Discrete approximations to general relativity have existed for decades. In 2 + 1 dimensions, though, one has the added feature that a discrete description can be exact. This follows from the peculiar nature of the field equations in three dimensions: As discussed above, any vacuum solution can be patched together from finite pieces of constant curvature spacetime, and the dynamics occurs only in the patching.
The “standard” discrete approach to classical general relativity is Regge calculus [231], initially developed for (3 + 1)dimensional gravity but extendible to arbitrary dimensions. Classical Regge calculus in 2 + 1 dimensions was investigated by Rocek and Williams [235], who showed that it gave exact results for point particle scattering. Regge calculus will be discussed further in Section 3.6.
The first discrete formulation designed explicitly for 2 + 1 dimensions was developed by’ t Hooft et al. [250, 252, 253, 124, 274, 156]. This approach has been used mainly to understand point particle dynamics, but recent progress has allowed a general description of topologically nontrivial compact spaces [169].’ t Hooft’s Hamiltonian lattice model is based on the metric formalism, and starts with a piecewise flat Cauchy surface tessellated by flat polygons, each carrying an associated frame. The Einstein field equations with Λ = 0 then imply that edges of polygons move at constant velocities and that edge lengths may change, subject to a set of consistency conditions. One obtains a dynamical description parametrized by a set of lengths and rapidities, which turn out to be canonically conjugate. Complications occur when an edge shrinks to zero length or collides with a vertex, but these are completely understood. The resulting structure can be simulated on a computer, providing a powerful method for visualizing classical evolution in 2 + 1 dimensions.
A related firstorder Hamiltonian lattice model has been studied by Waelbroeck et al. [266, 267, 268, 270]. This model is a discretized version of the firstorder formalism of Section 2.3, with triads assigned to faces of a twodimensional lattice and Lorentz transformations assigned to edges. The model has an extensive gauge freedom available in the choice of lattice. In particular, for a spacetime M ≃ ℝ × Σ, one can choose a lattice that is simply a 4gsided polygon with edges identified; the resulting spacetime can be visualized as a polygonal tube cut out of Minkowski spacetime, with corners lying on straight worldlines and edges identified pairwise. This reproduces the quotient space picture discussed by Mess in the context of geometric structures [200]. With a different gauge choice, Waelbroeck’s model is classically equivalent to’ t Hooft’s [271], but the two models are related by a nonlocal change of variables, and may not be equivalent quantum mechanically.
Much of the recent work on lattice formulations of (2 + 1)dimensional gravity have centered on spin foams and on random triangulations, both inherently quantum mechanical. These will be discussed below in Section 3.6. It is worth noting here, though, that recent work on diffeomorphisms in spin foam models [131] may permit a classical description quite similar to that of Waelbroeck.
2.6 Large diffeomorphisms
Up to now, I have avoided discussing an important discrete symmetry of general relativity on topologically nontrivial spacetimes. The description of a solution of the field equations in terms of holonomies (Sections 2.2 and 2.3) or moduli (Section 2.4) is invariant under infinitesimal diffeomorphisms, and hence under “small” diffeomorphisms, those that can be smoothly deformed to the identity. But if the spacetime manifold is topologically nontrivial, its group of diffeomorphisms may not be connected: M may admit “large” diffeomorphisms, which cannot be built up smoothly from infinitesimal deformations. The group of such large diffeomorphisms (modulo small diffeomorphisms), \(\mathcal D(M)\), is called the mapping class group of M; for the torus T^{2}, it is also known as the modular group.
The archetype of a large diffeomorphism is a Dehn twist of a torus, which may be described as the operation of cutting T^{2} along a circumference to obtain a cylinder, twisting one end by 2π, and regluing. Similar transformations exist for any closed surface Σ, and in fact the Dehn twists around generators of π_{1}(Σ) generate \(\mathcal D(\Sigma)\) [57, 56]. It is easy to see that the mapping class group of a spacetime M acts on π_{1}(M), and therefore on the holonomies of Section 2.2. As diffeomorphisms, elements of the mapping class group also acts on the constant curvature metrics ḡ_{ij}, and hence on the moduli of Section 2.4.
Classically, geometries that differ by actions of \({\mathcal D}(M)\) are exactly equivalent, so the “true” space of vacuum solutions for a spacetime with the topology ℝ × Σ is really \(\mathcal M/\mathcal D(M)\), where \({\mathcal M}\) is the moduli space (11). Quantum mechanically, it is not clear whether one should impose mapping class group invariance on states or whether one should merely treat \({\mathcal D}(M)\) as a symmetry under which states may transform nontrivially (see, for instance, [164]). In 2 + 1 dimensions, though, there seems to be a strong argument in favor of treating the mapping class group as a genuine invariance, as follows. Using the ChernSimons formalism, one can compute the quantum amplitude for the scattering of a point particle off another particle [65], a black hole [259], or a handle [67]. In each case, it is only when one imposes invariance under the mapping class group that one recovers the correct classical limit. It may still be that simple enough representations of \({\mathcal D}(M)\) lead to sensible physical results, but it is at least clear that the mapping class group cannot be ignored.
2.7 The torus universe
The simplest nontrivial vacuum cosmology occurs for a spacetime with the topology ℝ × T^{2}, where T^{2} is the twodimensional torus. This case is in some ways exceptional — for example, the standard metric ḡ_{ij} of Equation (31) is flat rather than hyperbolic — but it is also simple enough that a great deal can be done explicitly. Later in this review, the torus universe will be a canonical test of quantization; here we review classical aspects. The problem of finding the classical solutions, as well as an approach to the quantization, was, I believe, first discussed by Martinec [193]. I refer the reader to [76, 81, 87, 86] for further details. A similarly detailed analysis may be possible when the spatial topology is that of a Klein bottle (see, for instance, [181]) but so far, this and other nonorientable examples have been studied in much less detail.
For simplicity, let us initially restrict our attention to the case Λ = −1/ℓ^{2} < 0. The group G of Section 2.2, or, equivalently, the gauge group in the ChernSimons formalism of Section 2.3, is then SO(2, 2). The fundamental group π_{1}(ℝ × T^{2}) has two generators, [γ_{1}] and [γ_{2}], satisfying a single relation similar to Equation (12):
The holonomy group (11) is therefore generated by two commuting SO(2, 2) matrices, unique up to overall conjugation.
It is a bit more convenient to describe the holonomies as elements of the covering group SL(2, ℝ) × SL(2, ℝ) [211]. Let ρ^{±}[γ_{a}] denote the two SL(2, ℝ) holonomies corresponding to the curve γ_{a}. An SL(2, ℝ) matrix S is called hyperbolic, elliptic, or parabolic according to whether tr S is greater than, equal to, or less than 2, and the space of holonomies correspondingly splits into nine sectors. It may be shown that only the hyperbolichyperbolic sector corresponds to a spacetime in which the T^{2} slices are spacelike [117, 119, 182, 209]. By suitable overall conjugation, the two generators of the holonomy group in this sector can then be taken to be
where the \(r_a^ \pm\) are four arbitrary parameters. Note that this gives the right counting: The Riemann moduli space of the torus is two dimensional, so from Section 2.4 we expect a fourdimensional space of solutions.
To obtain the corresponding geometry, we can use the quotient space construction of Section 2.2. Note first that threedimensional antide Sitter space can be represented as the submanifold of flat ℝ^{2,2} (with coordinates (X_{1}, X_{2}, T_{1}, T_{2}) and metric \(d{S^2} = dX_1^2 + dX_2^2  dT_1^2  dT_2^2\)) defined by the condition that
This gives an isometry between AdS_{3} and the group manifold of SL(2, ℝ). The quotient of AdS_{3} by the holonomy group (38) may now be obtained by allowing the ρ^{+}[γa] to act on X by left multiplication and the ρ^{−}[γa] to act by right multiplication.
It is straightforward to show that the resulting induced metric is
where x and y are coordinates with period 1. An easy calculation confirms that this is a space of constant negative curvature. The triad may be read off directly from Equation (40), and it is easy to solve Equation (15) for the spin connection ω. The resulting ChernSimons connections A^{(±)} of Equation (23) are flat, and their holonomies reproduce the holonomies (38) of the geometric structure we began with.
To relate these expressions to the ADM formalism of Section 2.4, we must first find the slices of constant extrinsic curvature T. For the metric (40), the extrinsic curvature of a slice of constant t is \(T =  {2 \over \ell}\cot {{2t} \over \ell}\), which is independent of x and y. A constant t slice is thus also a slice of constant York time. The standard flat metric on T^{2}, the genus one version of the standard metric (31), is
where τ = τ_{1} + iτ_{2} is the modulus. Comparing (40), we see that a slice of constant t has a modulus
The conjugate momentum p = p^{1} + ip^{2} can be similarly computed from Equation (33),
while the ADM Hamiltonian H of Equation (35) becomes
In the limit of vanishing Λ, these relations go over to those of [66].
To quantize this system, we will need the classical Poisson brackets, which can be obtained from Equation (26):
These, in turn, determine the brackets among the moduli and momenta τ and p,
a result consistent with Equation (36). It may be shown that the version of Hamilton’s equations of motion coming from these brackets reproduces the time dependence (42) of the moduli; see [87, 135] for details. The Poisson brackets among the traces of the holonomies (38) are also easy to compute. If we let
it is not hard to check that
reproducing the Poisson algebra of Nelson, Regge, and Zertuche [211].
Finally, let us consider the action of the torus mapping class group. This group is generated by two Dehn twists, which act on π_{1}(T^{2}) by
These transformations act on the parameters \(r_a^ \pm\) and the ADM moduli and momenta as
These transformations are consistent with the relationships between the ADM and holonomy variables, and that they preserve all Poisson brackets.
For a torus universe with zero or positive cosmological constant, similar constructions are possible. I refer the reader to [81] for details.
2.8 Dynamics
For the torus universe of the preceding Section 2.7, the dynamics can be read off from the metric (40). The area of a slice of constant t is essentially the Hamiltonian (44); it increases from 0 at t = 0 to a maximum at t = and then shrinks to zero at t = πℓ/2 At the “big bang” and “big crunch” the modulus (42) is purely real, τ_{2} = 0. This means that even apart from the “crunch” in volume, the geometry is singular: A real value of τ represents a torus that has collapsed to a line. For Λ ≥ 0, the final big crunch disappears, and the torus universe expands forever from an initial big bang. The initial spatial geometry is again degenerate.
It is not hard to check that as time increases, the modulus (42) moves along a semicircle in the upper half of the complex plane, with a center on the real axis. Such a curve is a geodesic in the natural WeilPetersson (or Poincaré) metric on the torus moduli space [159, 135]. Because of the invariance under the mapping class group (50), however, the true physical motion in the moduli space of the torus — the space of physical configurations with the large diffeomorphisms modded out — is much more complicated; there are arbitrarily long geodesics, and the flow is, in fact, ergodic [93].
For spacetimes ℝ × Σ with Σ being a surface of genus g > 1, no explicit metrics analogous to Equation (40) are known, except for the special case of solutions with constant moduli. The problem is in part that no simple form such as Equation (41) for the “standard” constant curvature metrics exists, and in part that the ADM Hamiltonian becomes a complicated, nonlocal function of the moduli. For the case of an asymptotically flat genus g space, some interesting progress has been made by Krasnov [172]; I do not know whether these methods can be extended to the spatially closed case.
One can write down the holonomies of the geometric structure for a higher genus surface, of course — though even there, it is nontrivial to ensure that they represent spacetimes with spacelike genus g slices — but to a physicist, these holonomies in themselves give fairly little insight into the dynamics. In principle, the ADM and ChernSimons approaches might be viewed as complimentary: As Moncrief has pointed out, one could evaluate the holonomies in terms of ADM variables in a nice timeslicing, set these equal to constants, and thereby solve the ADM equations of motion [207]. In practice, though, this approach seems intractable except for the genus one case. For Λ = 0, it may be possible to extract a useful physical picture from the geometrical results of [55], which relate holonomies to the structure of the initial singularity and the asymptotic future geometry, but the implications have not yet been explored in any depth.
A number of qualitative statements nevertheless remain possible. The singular behavior of the torus universe carries over to higher genus: Spacetimes with Λ < 0 expand from a big bang and recollapse in a big crunch, while those with Λ ≥ 0 expand forever [200, 20]. Moreover, the degeneration of the spatial geometry at the initial singularity carries over to the higher genus case [200, 55]. By introducing a global “cosmological time” and exploiting recent results in two and threedimensional geometry, Benedetti and Guadagnini have shown that when Λ = 0, a set of parameters describing the initial singularity and a second set describing the geometry in the asymptotic future together completely determine the spacetime [55]. It seems likely that these two sets are canonically conjugate, and a better understanding of the symplectic structure could be useful for quantum gravity.
3 Quantum Gravity in 2 + 1 Dimensions
The reader may well have decided that for an author reviewing quantum gravity, I have spent an inordinate amount of time on the classical theory. There is a good reason for this, though: Each of the approaches described in the preceding sections leads very naturally to an approach to quantization, which is now — with a few twists — fairly straightforward. Indeed, the main reason that 2 + 1 dimensions offer such an attractive setting for quantum gravity is that the classical solutions can be completely described by a finite set of parameters. Such a description effectively reduces quantum gravity to quantum mechanics, allowing us to evade the complications of quantum field theory. This is not to imply that all approaches to quantum gravity simplify — the WheelerDeWitt equation, for example, apparently does not — but it allows us to explore at least a few approaches in depth.
3.1 Reduced phase space quantization
Perhaps the simplest approach to quantum gravity in 2 + 1 dimensions [66, 160] begins with the reduced phase space action (34), which describes a finitedimensional system of physical degrees of freedom, albeit one with a complicated, timedependent Hamiltonian. We know, at least in principle, how to quantize such a system: We simply replace the Poisson brackets (36) with commutators,
represent the momenta as derivatives, p^{α} = −iℏ∂/∂m_{α}, and choose our wave functions to be square integrable functions ψ(m_{α}, T) that evolve according to the Schrödinger equation
where the Hamiltonian Ĥ is obtained from Equation (35) in a suitable operator ordering. Invariance under the mapping class group of Section 2.6 can be incorporated by demanding that ψ(m_{α}, T) transform under a representation of \({\mathcal D}(M)\). A similar requirement may help determine the operator ordering in the Hamiltonian operator [68, 70], although some ambiguities will remain.
For spatial surfaces of genus g > 1, the complexity of the constraint (32) seems to make this approach to quantization impractical [207]. A perturbative expression for Ĥ may still exist, though, as discussed in [217, 218], and the Gauss map has been proposed as a useful tool [226].
For genus one, on the other hand, a full quantization is possible. The classical Hamiltonian (44) becomes, up to operator ordering ambiguities,
where Δ_{0} is the ordinary scalar Laplacian for the constant negative curvature Poincaré metric on moduli space, and one chooses the positive square root in order to have a Hamiltonian that is bounded below. This Laplacian is invariant under the modular transformations (50), and its invariant eigenfunctions, the weight zero Maass forms, have been studied extensively by mathematicians (see, for example, [167]). The behavior of the corresponding wave functions has been explored by Puzio [227], who argues that they are wellbehaved and nonsingular at the boundaries of moduli space. Such behavior is relevant to the question of how quantum gravity handles singularities: The degeneration of the torus geometry at the big bang, described in Section 2.8, corresponds to an approach to the boundary of moduli space, and Puzio’s results suggest that the classical singularity may be betterbehaved in the quantum theory.
A related form of quantization comes from reexpressing the moduli space for the torus as a quotient space SL(2, ℤ)SL(2, ℝ)/SO(2) [193, 273]. Here, the symmetric space SL(2, ℝ)/SO(2) describes the transverse traceless deformations of the spatial metric, while SL(2, ℤ) is the modular group. As Waldron has observed [273], this makes it possible to reinterpret the quantum mechanical problem as that of a fictitious free particle, with mass proportional \(\sqrt \Lambda\), moving in a quotient space of the (flat) threedimensional Milne universe. With a suitable choice of coordinates, though, the problem again reduces to that of understanding the Hamiltonian (53) and the corresponding Maass forms.
While the choice (53) of operator ordering is not unique, the number of alternatives is smaller than one might expect. The key restriction is diffeomorphism invariance: The eigenfunctions of the Hamiltonian should transform under a onedimensional unitary representation of the mapping class group (50). The representation theory of this group is wellunderstood [120, 184]; one finds that the possible Hamiltonians are all of the form (53), but with Δ_{0} replaced by
the Maass Laplacian acting on automorphic forms of weight n. It has been suggested in [68] that the choice n = 1/2 is most natural from the point of view of ChernSimons quantization. Note that when written in terms of the momentum p, the operators Δ_{n} differ from each other by terms of order ℏ, as one would expect for operator ordering ambiguities. Nevertheless, the choice of ordering may have dramatic effects on the physics, since the spectra of the various Maass Laplacians are quite different.
This ordering ambiguity may be viewed as arising from the structure of the classical phase space. The torus moduli space is not a manifold, but rather has orbifold singularities, and quantization on an orbifold is generally not unique. Since the space of solutions of the Einstein equations in 3 + 1 dimensions has a similar orbifold structure [163], we might expect a similar ambiguity in realistic (3 + 1)dimensional quantum gravity.
The quantization described here is an example of what Kuchař has called an “internal Schrödinger interpretation” [173]. It appears to be selfconsistent, and like ordinary quantum mechanics, it is guaranteed to have the correct classical limit on the reduced phase space of Section 2.4. The principal drawback is that the method relies on a classical choice of time coordinate, which occurs as part of the gaugefixing needed to solve the constraints. In particular, the analysis of Section 2.4 required that we choose the York timeslicing from the start; a different choice might lead to a different quantum theory, as it is known to do in quantum field theory [258]. In other words, it is not clear that this approach to quantum gravity preserves general covariance.
The problem may be rephrased as a statement about the kinds of questions we can ask in this quantum theory. The model naturally allows us to compute the transition amplitude between the spatial geometry of a time slice of constant mean curvature − tr K = T_{1} and the geometry of a later slice of constant mean curvature − tr K = T_{2}. Indeed, such amplitudes are given explicitly in [118], where it is shown that they are peaked around the classical trajectory. But it is far less clear how to ask for transition amplitudes between other spatial slices, on which tr K is not constant. Such questions would seem to require a different classical timeslicing, and thus a different — and perhaps inequivalent — quantum theory.
We will eventually find a possible way out of this difficulty in Section 3.4. As a first step, we next turn to an alternative approach to quantization, one that starts from the first order formalism.
3.2 ChernSimons quantization
As we saw in Section 2.3, (2 + 1)dimensional general relativity in first order form can be rewritten as a ChernSimons theory. For compact gauge groups, the quantization of ChernSimons theory is well understood [278, 243, 244, 116, 34]. For noncompact groups such as those that appear in gravity, much less is known, though there has been some promising work [280, 155, 43, 150]. Nevertheless, interesting progress can be made, especially in the simple case of a manifold with topology ℝ × T^{2}.
In contrast to the reduced phase space quantization of the preceding Section 3.1, our understanding of the quantum ChernSimons gravity depends strongly on the sign of the cosmological constant. For Λ < 0, the relevant gauge group is SO(2, 2) or its cover SL(2, ℝ) × SL(2, ℝ). This is the most poorly understood case; an explicit quantization of the algebra holonomies exists for genus one (see below) and genus two [214], but more general results do not yet exist.
For Λ > 0, the relevant gauge group is SO(3, 1) or its cover SL(2, ℂ), a complex gauge group whose ChernSimons theory is somewhat better understood [280, 155, 43]. As noted in Section 2.3, the Poisson brackets for this theory are related to the quantum double of the Lorentz group, and Buffenoir et al. have used this structure to write down an explicit quantization [61]. As far as I know, the relationship between this work, which is based on a Hamiltonian formalism and combinatorial quantization, and that of Witten and Hayashi [280, 155], which is based on geometric quantization, has not yet been explored.
For Λ = 0, the relevant gauge group is ISO(2, 1), the (2 + 1)dimensional Poincaré group, or its universal cover. Here there is again a connection to the quantum double of the Lorentz group, which has been used in [37, 36, 201] to explore the quantum theory, although largely in the context of point particles. In this case, one has the nice feature that the phase space has a natural cotangent bundle structure, allowing us to immediately identify the holonomies of the spin connection ω as generalized positions, and their derivatives as generalized momenta. This provides a direct link to the loop variables of Ashtekar, Rovelli, and Smolin [26, 29],
where
is the SL(2, ℝ) holonomy of the spin connection and T^{1} [γ] can be expressed as a derivative of T^{0}[γ] along a path in the space of flat connections [81]. Note that the generator \({\mathcal J}\) may, in principle, be in any representation of SL(2, ℝ), and that the trace in Equation (55) may depend on the choice of representation. I will return to the resulting quantum theory, loop quantization, in Section 3.5.
As in reduced phase space quantization, matters simplify considerably for the torus universe ℝ × T^{2}. Let us again focus on the case Λ < 0. A complete — in fact, overcomplete — set of observables is given by the traces (47) of the holonomies, and our goal is to quantize the algebra (48). To do so, we proceed as follows:

1.
We replace the classical Poisson brackets {,} by commutators [,], with the rule [x, y] = xy − yx = iℏ{x, y}.

2.
On the right hand side of Equation (48), we replace the product by the symmetrized product, \(xy \to {1 \over 2}(xy + yx)\).
The resulting algebra is defined by the relations
with tan θ = −ℏ/(8ℓ). The algebra (57) is not a Lie algebra, but it is related to the Lie algebra of the quantum group U_{q}(sl(2)) with q = exp 4iθ [211]. Classically, the observables \(R_1^ \pm, R_2^ \pm\), and \(R_{12}^ \pm\) are not independent; in the quantum theory, the corresponding statement is that the quantities
commute with the holonomies, and can be consistently set to zero. In terms of the parameters \(R_a^ \pm\) of Equation (38), the algebra can be represented by [87, 86]
with
for Λ small, these commutators differ from the naive quantization of the classical brackets (45) by terms of order ℏ^{3}. An alternative quantization, also differing by terms of order ℏ^{3}, works directly with the holonomy matrices (38), imposing a quantumgrouplike quantization condition [208]
with a similar condition for ρ^{−}.
We must also implement the action of the modular group (50) on the operators \(\hat R_a^ \pm\). One can find an action preserving the algebraic relations (57), corresponding to a particular factor ordering of the classical modular group. The NelsonPicken quantization (61) admits a similar modular group action.
For a full quantum theory, of course, one needs not only an abstract operator algebra, but a Hilbert space upon which the operators act. For the ℝ × T^{2} universe, Equation (60) suggests that a natural choice is to take wave functions to be square integrable functions of the \(R_2^ \pm\). There is a potential difficulty here, however: The modular group does not act properly discontinuously on this configuration space. This means that the quotient of this space by the modular group is badly behaved; in fact, there are no nonconstant modular invariant functions of the \(R_2^ \pm\) [182, 143, 221]. We shall return to this problem in Section 3.4.
3.3 Covariant canonical quantization
The technique of ChernSimons quantization relies on special features of general relativity in 2 + 1 dimensions, and does not readily generalize to higher dimensions. It is, however, closely related to a much more general approach, covariant canonical quantization [31, 28, 98, 175, 272], or “quantization of the space of classical solutions”.
Our starting point is the observation that the phase space of a wellbehaved classical theory is isomorphic to the space of classical solutions. Indeed, if \({\mathcal C}\) is an arbitrary Cauchy surface, then a point in the phase space determines initial data on \({\mathcal C}\), which can be evolved to give a unique solution, while, conversely, a classical solution restricted to \({\mathcal C}\) determines a point in the phase space. Moreover, the space of solutions has natural symplectic structure [175, 272], which can be shown to be equivalent to the standard symplectic structure on phase space. For the case of (2 + 1)dimensional gravity, this equivalence is demonstrated in Section 6.1 of [81].
For (2 + 1)dimensional gravity, the space of classical solutions is the space of geometric strictures of Section 2.2. If we restrict our attention to spacetimes with the topology ℝ × Σ with S closed and Λ ≤ 0, the holonomies of a geometric structure determine a unique maximal domain of dependence [200], exactly the right setting for covariant canonical quantization. But as we saw in Section 2.3, the holonomies of a geometric structure are precisely the holonomies of the ChernSimons formalism, and the symplectic structures are the same as well. Thus in this setting, ChernSimons quantization is covariant canonical quantization. If Λ > 0 or point particles are present, the holonomies do not quite determine a unique geometric structure, and the ChernSimons theory is not quite equivalent to general relativity. In that case, additional discrete variables might be necessary; see, for example, [117] for the case of a torus universe with Λ > 0.
As we shall see in Section 3.4, the construction of dynamical observables and timedependent states in covariant canonical quantum theory requires an explicit isomorphism between the phase space and the space of classical solutions. For the torus universe, such an isomorphism is known. For higher genus spaces, however — and certainly for realistic (3 + 1)dimensional gravity — it is not [207]. Often, however, we can determine such an isomorphism perturbatively in the neighborhood of a known classical solution. This raises the interesting question, so far answered only in simple models [50], of whether classical perturbation theory can be used to define a perturbative covariant canonical quantum theory.
3.4 A digression: Observables and the problem of time
When one attempts to interpret the quantum theories coming from the ChernSimons formalism or covariant canonical quantization, one finds an immediate and rather profound difficulty. The gaugeinvariant observables — the traces of the holonomies — are automatically nonlocal and timeindependent, and one obtains a “frozen time formalism,” or what Kuchař has called “quantum gravity without time” [173]. In one sense, this is a good thing: One knows from general arguments that the diffeomorphisminvariant observables in any quantum theory of gravity must have these features [257]. On the other hand, it is not at all easy to see how to extract local geometry and dynamics from such a picture: If our only observables are nonlocal and timeindependent, how can we recover a classical limit with local excitations that evolve in time?
Quantum gravity in 2 + 1 dimensions offers a possible answer to this dilemma. Note first that the problem is already present classically. A geometric structure determines a spacetime, and must contain within it all of the dynamics of that spacetime. On the other hand, the basic data that fix the geometric structure — the transition functions, or, often, the holonomies — have no obvious dynamics. In principle, the classical answer is simple:

1.
Use, say, the holonomies to determine a spacetime geometry.

2.
Select a favorite timeslicing.

3.
Read off the spatial metric and its time derivatives from the spacetime metric of Step 1 in this slicing.
This procedure can be understood as a concrete realization of the isomorphism described in Section 3.3 between the phase space and the space of classical solutions, with the Cauchy surface \({\mathcal C}\) fixed by the choice of timeslicing.
For the simple case of the torus universe, these steps can be transcribed almost directly to the quantum theories. Equations (42, 43, 44) become definitions of operators,
where the operator ordering has been chosen to respect the modular transformations (50). The parameter t is now merely a label for a oneparameter family of diffeomorphisminvariant observables. These observables obtain their physical significance from the classical limit: \({{\hat \tau}_t}\), for example, is the operator whose expectation value gives the mean value of the modulus on a time slice of constant mean curvature \(T =  {2 \over \ell}\cot {{2t} \over \ell}\). Such observables are examples of what Rovelli has called “evolving constants of motion” [236, 237].
From this point of view, we should think of ChernSimons/covariant canonical quantization as a sort of Heisenberg picture, with timeindependent states and “time”dependent operators. To obtain the corresponding Schröodinger picture, we proceed as in ordinary quantum mechanics: We diagonalize \({{\hat \tau}_t}\), obtaining a transition matrix \(K(\tau, \bar \tau; t\vert r_2^ +, r_2^ ) = \left\langle {\tau, \bar \tau; t\vert r_2^ +, r_2^ } \right\rangle\) that allows us to transform between representations [68, 88]. The resulting “time”dependent wave functions obey a Schrödinger equation of the form (52, 53), but with the Laplacian in Ĥ replaced by the weight 1/2 Maass Laplacian Δ_{1/2} of Equation (54). In [118], it has been shown that these wave functions are peaked around the correct classical trajectories. (Different operator orderings in Equation (62) give different weight Laplacians [70].)
As a useful byproduct, this analysis allows us to solve the problem of the poorlybehaved action of the modular group discussed at the end of Section 3.2 [88, 89]. If we start with a reduced phase space wave function \(\tilde \psi (\tau, \bar \tau; t)\) and use the transition matrix K to determine a ChernSimons wave function \(\psi (r_2^ +, r_2^ )\), we find, indeed, that \(\psi (r_2^ +, r_2^ )\) is not modular invariant. Instead, though, the entire Hilbert space of ChernSimons wave functions splits into “fundamental regions,” orthogonal subspaces that transform into each other under the action of the modular group. Any one of these fundamental regions is equivalent to any other, and each is equivalent to the Hilbert space arising from reduced phase space quantization. Moreover, matrix elements of any modular invariant function vanish unless they are taken between states in the same fundamental region. Modular invariance thus takes a slightly unexpected form, but can still be imposed by restricting the theory to a single fundamental region of the Hilbert space.
We can also begin to address the problem raised at the end of Section 3.1, the limited and slicingdependent range of questions one can ask in reduced phase space quantization. The operators (62) introduced here on the covariant canonical Hilbert space were obtained from a particular classical timeslicing, and answer questions about spatial geometry in that slicing. In principle, however, we can choose any other slicing, with a new time coordinate \({\bar t}\), and determine the corresponding operators \({{\hat \tau}_t},{{\hat p}_{\bar t}}\), and \({{\hat H}_{\bar t}}\). The operator ordering of such operators will, of course, be ambiguous, though one might hope that the action of the modular group might again restrict the choices. But such an ambiguity need not be seen as a problem with the theory; rather, it is merely a statement that many different quantum operators can have the same classical limit, and that ultimately experiment must decide which operator we are really observing.
There is, to be sure, a danger that the “Schrödinger pictures” coming from different timeslicings may not be consistent. Suppose, for example, that we choose two slicings that agree on an initial and a final slice Σ_{1} and Σ_{2}, but disagree in between. If we start with an initial wave function on Σ_{1}, we must check that the Hamiltonians coming from the different slicings evolve us to the same final wave function on Σ_{2}. For field theories, even in flat spacetime, this will not always happen [258]. For (2 + 1)dimensional gravity, on the other hand, there is evidence that one can always find operator orderings of the Hamiltonians that ensure consistent evolution [95]. If this ultimately turns out not to be the case, however, it may simply mean that we should treat the covariant canonical picture as fundamental, and discard the Schröodinger pictures of timedependent states.
3.5 “Quantum geometry”
We now resume the discussion of alternative approaches to quantum gravity in 2 + 1 dimensions. In 3 + 1 dimensions, one of the most attractive programs of quantization is “loop quantum gravity,” or “quantum geometry” [26, 239]. In 2 + 1 dimensions with Λ = 0, this approach is closely related to the first order formalism of Section 2.3, but takes as its fundamental observables the loop variables T^{0}[γ] and T^{1}[γ] of Equation (55). More precisely, loop quantum gravity starts with a Hamiltonian formulation of the first order formalism, with constraints, written in analogy to the (3 + 1)dimensional case [26], that take the form
Here, the indices i, j, k are spatial indices on a surface of constant time, \({{\tilde E}^{ia}} = {\in ^{ij}}{e_j}^a\), D_{i} is the SO(2, 1) gaugecovariant derivative for the connection ω, and the \(R_{ij}^a\) are the spatial components of the curvature twoform (16). When the spatial metric \({g_{ij}} = {e_i}^a{e_{ja}}\) is nondegenerate, it is straightforward to show that these constraints are equivalent to the standard constraints of first order gravity, and the classical theories are identical. When g_{ij}, is noninvertible, on the other hand, the constraints are not equivalent. Instead, the constraints (63) yield a phase space with infinitely many degrees of freedom, arising from the geometries formed from an arbitrary collection of independent patches of ordinary spacetime separated by regions with degenerate metrics [44, 45]. Implications of such degenerate configurations for the quantum theory are not well understood.
Let us restrict ourselves to invertible spatial metrics, and attempt to quantize the algebra of loop variables \({{\hat T}^0}[{\rm{\gamma ]}}\) and \({{\hat T}^1}[{\rm{\gamma ]}}\). For the torus universe, it is not hard to show that such a quantization simply reproduces the theory we already obtained in the ChernSimons formulation (see, for example, Section 7.2 of [81]). So far, there is nothing new here.
There is another way to look at the operator algebra of the operators \({{\hat T}^0}[{\rm{\gamma ]}}\) and \({{\hat T}^1}[{\rm{\gamma ]}}\), however, which leads to a new approach, the loop representation. Up to now, we have been thinking of the operators \({\hat T}\) as a set of functions of the triad and spin connection, indexed by loops γ. Our wave functions are thus functionals of the “configuration space” variable ω, or, more precisely, functions on the moduli space of flat SO(2, 1) or SL(2, ℝ) connections on Σ. But we could equally well view the \({\hat T}\) operators as functions of loops — or, in 2 + 1 dimensions, homotopy classes [γ] of loops — indexed by e and ω. Wave functions would then be functions of loops or sets of loops. This change of viewpoint is rather like the decision in ordinary quantum mechanics to view a wave function e^{ipq} as a function on momentum space, indexed by q, rather than a function on position space, indexed by p.
The loop representation is complicated by the existence of Mandelstam identities [190] among holonomies of loops, but for the case of the torus universe, a complete, explicit description of the states is again possible [26, 29]. The simplest construction begins with a vacuum state 0〉 annihilated by every operator \({{\hat T}^1}[{\rm{\gamma ]}}\), and treats the \({{\hat T}^0}[{\rm{\gamma ]}}\) as “creation operators.” Since any homotopy class [γ] of loops on the torus is completely characterized by a pair of winding numbers (m, n), one can write these states as m, n〉. The action
then gives a representation of the loop algebra.
Observe now that the loop variables T^{0}[γ] depend only on the “configuration space” variable ω. We can thus relate the loop representation to the ChernSimons representation by simultaneously diagonalizing these operators, obtaining wave functions that are functions of the SO(2, 1) holonomies alone. For the torus universe, this “loop transform” can be obtained explicitly [26, 29, 192], and written as a simple integral transform.
The properties of this transform depend on the holonomies, that is, the eigenvalues of \({{\hat T}^0}[{\rm{\gamma ]}}\). For simplicity, let us take the generator \({\mathcal J}\) in Equation (56) to be in the twodimensional representation of SL(2, ℝ). In the “timelike sector,” in which the traces of the two holonomies are both less than two, the loop transform is a simple Fourier transformation, and ChernSimons and loop quantization are equivalent.
Unfortunately, though, this is not the physically relevant sector: It does not correspond to a geometric structure with spacelike T^{2} slices. For a physically interesting geometry, one must go to the “spacelike sector,” in which the traces of the holonomies are both greater than two. In this sector, the transform is not very wellbehaved: In fact, a dense set of ChernSimons states transforms to zero [192]. The loop representation thus appears to be rather drastically different from the ChernSimons formulation.
The problems in the physical sector can be traced back to the fact that SL(2, ℝ) is a noncompact group. There have been two proposals for an escape from this dilemma. One is to start with a different dense set of ChernSimons states that transform faithfully, determine the inner product and the action of the \({\hat T}\) operators on the resulting loop states, and then form the Cauchy completion to define the Hilbert space in the loop representation [192]. This is a consistent procedure, but many of the resulting states in the Cauchy completion are no longer functions of loops in any clear sense; they correspond instead to “extended loops” [136], whose geometrical interpretation is not entirely clear. A second possibility is to change the integration measure in the loop transform to make various integrals converge better [30]. Such a choice introduces order ℏ corrections to the action of the \({{\hat T}^1}\) operators, and one must be careful that the algebra remains consistent. This is possible, but at some cost — the inner products between loop states become considerably more complex, as does the action of the mapping class group — and it is not obvious that there is a canonical choice of the new measure and algebra.
A third possibility is suggested by recent work on spin networks for noncompact groups [129, 130]. This new technology essentially allows one to consider holonomies (56) that lie in infinitedimensional unitary representations of the Lorentz group, with a finite inner product defined by appropriate gaugefixing. The quantities T^{0} and T^{1} can be represented as Hermitian operators on this space of holonomies (or on a larger space of spin networks). At this writing, implications of this approach for the loop transform in 2 + 1 dimensions have not yet been investigated.
Finally, I should briefly mention the role of spin networks in (2 + 1)dimensional quantum geometry. In the (3 + 1)dimensional theory, loop states have been largely superseded by spin network states, states characterized by a graph Γ with edges labeled by representations and vertices labeled by intertwiners [239]. Such states can be defined in 2 + 1 dimensions as well, and there has been some interesting recent work on their role as “kinematic” states [130]. In 2 + 1 dimensions, however, the full constraints imply that such states have their support on flat connections, and only holonomies around noncontractible curves describe nontrivial physics. An interesting step toward projecting out the physical states has recently been taken in [216], in the context of Euclidean quantum gravity; the ultimate effect is to reduce spin network states to loop states of the sort we have considered above. A better understanding of the relationship to the gaugefixing procedure of [129, 131] would be valuable.
3.6 Lattice methods I: PonzanoRegge and spin foams
A longstanding approach to quantum gravity in 3 + 1 dimensions has been to look for discrete approximations to the path integral [179, 232]: quantized Regge calculus [231], for example, or sums over random triangulations [8]. The basic idea is that although the full “sum over geometries” may be impossible to evaluate, a sum over appropriately discretized geometries might give a good approximation, perhaps becoming extremely good near a phase transition at which lattice spacing can go to zero. When applied to 2 + 1 dimensions, such methods have the added feature of sometimes being exact: Since geometries satisfying the constraints have constant or zero curvature, a discrete “approximation” may give a complete description.
Regge calculus in 2 + 1 dimensions begins with a triangulated threemanifold, consisting of a collection of flat simplices joined along onedimensional edges. The curvature of such a manifold is concentrated entirely at the edges. For a simplicial threemanifold with Riemannian signature, composed of simplices with edges of length l_{e}, Regge’s form of the EinsteinHilbert action is
where δ_{e} is the conical deficit angle at the edge labeled by the index e. A similar expression exists for Lorentzian signature, although the definition of the deficit angle is a bit more complicated [48].
The first hint that (2 + 1)dimensional gravity might be exceptional came from the observation by Ponzano and Regge [225] that the Regge action in 2 + 1 dimensions can be reexpressed in terms of WignerRacah 6jsymbols. (See [90] for more about these quantities.) Consider first a single tetrahedron with edge lengths \({\ell _i} = {1 \over 2}({j_i} + {1 \over 2})\), where the j_{i} are integers or halfintegers. Ponzano and Regge noticed, and Roberts later proved rigorously [234], that in the limit of large j,
where \(\left\{ {\begin{array}{*{20}{c}} {{j_1}\;{j_2}\;{j_3}} \\ {{j_4}\;{j_5}\;{j_6}} \end{array}} \right\}\) is a 6jsymbol, I_{Regge} is the Regge action (65) for the tetrahedron, and V is its volume. For a manifold made of a collection of such tetrahedra, the full Regge action will occur in a product of such 6jsymbols. This suggests that the (2 + 1)dimensional path integral, which is essentially a sum over geometries of terms of the form exp(−iI_{Regge}), might be expressible as a sum of such products. Ponzano and Regge’s specific proposal, developed by Hasslacher and Perry [153] and modified by Ooguri [219] to account for boundaries, was the following:
Consider a threemanifold M with boundary ∂M, with a given triangulation Δ of ∂M. Choose a triangulation of M that agrees with the triangulation of the boundary. Label interior edges of tetrahedra by integers or halfintegers and exterior (boundary) edges by j_{i}, and for a given tetrahedron t, let ji(t) denote the spins that color its (interior and exterior) edges. Then
where “int” and “ext” mean “interior” and “exterior” and
is a regularization factor that controls divergences in the sum over interior lengths. With this weighting, identities among 6jsymbols may be used to show that the amplitude is invariant under refinement — that is, subdivision of a tetrahedron into four smaller tetrahedra — suggesting that we are dealing with a “topological” theory that does not depend on the choice of triangulation. This is, of course, what one would hope for, based on the classical characteristics of (2 + 1)dimensional gravity.
The “topological” feature of the PonzanoRegge model was made more precise by Turaev and Viro [262], who discovered an improved regularization, based on the technology of quantum groups. The “spins” j in Equation (67) can be viewed as labeling representations of SU(2). If these are replaced by representations of the quantum group U_{q}(sl(2)) (“quantum SU(2)”), with \(q = \exp \left({{{2\pi i} \over {k + 2}}} \right)\), k ∈ ℤ, the number of such representations is finite, and the sum over interior edge lengths is automatically cut off. With appropriate substitutions (e.g., “quantum” 6jsymbols [90]), the PonzanoRegge amplitude (67) becomes welldefined without any regularization.
The construction of physical states as appropriate functions of boundary edge lengths is described in Section 11.2 of [81]. The resulting amplitudes can be computed for simple topologies [162, 161], and have several key features:

For large but finite k, the TuraevViro quantum group regularization introduces a cosmological constant to the Regge action [204, 203],
$$\Lambda {\left({{{4\pi} \over k}} \right)^2}.$$(69)Correspondingly, the quantum 6jsymbols are related to spherical tetrahedra rather than flat tetrahedra [255].

In the large k limit, the TuraevViro Hilbert space is isomorphic to the space of gaugeinvariant functions of flat SU(2) connections [219, 220, 242]. This establishes a direct link to ChernSimons quantization: Just as (2 + 1)dimensional Lorentzian gravity can be written as an ISO(2, 1) ChernSimons theory with a configuration space of flat SO(2, 1) connections, threedimensional Euclidean gravity can be written as an ISU(2) ChernSimons theory with a configuration space of flat SU(2) connections.

For a closed threemanifold M, the TuraevViro amplitude — now interpreted as a partition function — is equal to the absolute square of the partition function of an SU(2) ChernSimons theory with coupling constant k [228, 260, 233],
$${Z_{{\rm{TV}}}} = \vert {Z_{{\rm{CS}}}}{\vert ^2}.$$(70)This again establishes an equivalence with Euclidean gravity in firstorder form: The firstorder Euclidean action with Λ > 0 can be written as a difference of SU(2) ChernSimons actions, so
$${Z_{{\text{grav}}}} = \int {[d{A^ + }][d{A^  }]} \;{e^{i(I[{A^ + }]  I[{A^  }])}} = {\text{ }}{\left {\int {[d{A^ + }]{e^{iI[{A^ + }]}}} } \right^2},$$(71)in agreement with Equation (70).

A candidate for a discrete version of the WheelerDeWitt equation in three dimensions has been found [47], for which the PonzanoRegge wave functions are solutions.
Although it has not been universally appreciated, the existence of a divergence in the sum (67) — regulated either by an explicit cutoff or by quantum group tricks — is rather mysterious, given the absence of local excitations and the general wellbehavedness of gravity in three dimensions. This mystery may have recently been solved by Freidel and Louapre [131], who show that a residual piece of the diffeomorphism symmetry has not been factored out of the PonzanoRegge action. Because of this symmetry, the sum (67) overcounts physical configurations, and the regulator Λ(L) is simply the remaining gauge volume. Freidel and Louapre further show that the symmetry can instead be gaugefixed, leading to a sum over a restricted and considerably simplified class of “collapsed” triangulations.
While the mathematics of PonzanoRegge and TuraevViro models has been studied extensively, so far only a bit of attention has been given to the “traditional” issues of quantum gravity. A few numerical investigations of the PonzanoRegge path integral have been undertaken [151], but the evidence of a continuum limit is thus far inconclusive. The model has been used to study conditional probabilities and the emergence of quasiclassical behavior in quantum gravity [223], but the cutoff dependence of these results makes their physical significance unclear. In an interesting recent paper, Colosi et al. have investigated the dynamics of a single tetrahedron [241], showing that a quantum description of the evolution can be given in terms of a boundary amplitude.
A number of observables, whose expectation values generally give topological information about the spacetime or about knots within spacetime, have been discussed in [23, 54, 261, 139]. With a few exceptions, though, work in this area has remained largely mathematical in nature; fairly little is understood about the physics of these observables, although some are probably related to length spectra [46] and perhaps volumes [127, 64], and others are almost certainly connected to scattering amplitudes for test particles.
The PonzanoRegge and TuraevViro models are examples of “spin foam” models [35, 222], that is, a model based on simplicial complexes with faces, edges, and vertices labeled by group representations and intertwiners. A key question is whether one can extend such models to Lorentzian signature. It has been known for several years how to generalize the PonzanoRegge action for a single tetrahedron [48, 101, 191], and recently considerable progress has been made in constructing Lorentzian spin foam models [222, 125, 102].
Probably the most elegant derivation of a Lorentzian spin foam description starts with the firstorder action (14), with Λ = 0, for a triangulated manifold [125, 128]. One can rewrite the action in terms of a set of discrete variables: a Lie algebra element e_{α} corresponding to the integral of e along the edge α of a tetrahedron in the triangulation, and a holonomy g_{α} of the connection _{γ} around the edge. The path integral then becomes an integral over these variables. As in the continuum path integral of Section 3.10, the integral over the e_{α} produces a delta function δ(g_{α}) for each edge. This translates back to the geometric statement that the constraints require the connection w to be flat, and thus to have trivial holonomy around a contractible curve surrounding an edge.
For the Euclidean PonzanoRegge action, g ∈ SU(2), and the key trick is now to use the Plancherel formula to express each δ(g_{α}) as a sum over the characters of finitedimensional representations of SU(2). Fairly straightforward arguments then permit an exact evaluation of the remaining integrals over the g_{α}, reproducing the 6j symbols in the PonzanoRegge action. To obtain a Lorentzian version, one must replace SU(2) by SO(2, 1). The corresponding Plancherel formula involves a sum over both the (continuous) principle series of representations of SO(2, 1) and the discrete series. Consequently, edges may now be labeled either by discrete or continuous spins. Similar methods may be used for supergravity [177].
The resulting rather complicated expression for the partition function may be found in [125]. The appearance of both continuous and discrete labels has a nice physical interpretation [130]: Continuous representations describe spacelike edges, and seem to imply a continuous length spectrum, while discrete representations label timelike edges, and suggest discrete time. These results should probably not yet be considered conclusive, since they require operators that do not commute with all of the constraints, but they are certainly suggestive.
While spin foam models ordinarily assume a fixed spacetime topology, recent work has suggested a method for summing over all topologies as well, thus allowing quantum fluctuations of spacetime topology [132]. These results will be discussed in Section 3.11. Methods from 2 + 1 dimensions have also been generalized to higher dimensions, leading to new insights into the construction of spin foams.
3.7 Lattice methods II: Dynamical triangulations
Spin foam models are based on a fixed triangulation of spacetime, with edge lengths serving as the basic gravitational variables. An alternative scheme is “dynamical triangulation,” in which edge lengths are fixed and the path integral is represented as a sum over triangulations. (For reviews of this approach in arbitrary dimensions, see [8, 179].) Dynamical triangulation has been proven to be quite useful in twodimensional gravity, and some important steps have been taken in higher dimensions, especially with the recent progress in understanding Lorentzian triangulations.
The starting point is now a simplicial complex, diffeomorphic to a manifold M, composed of an arbitrary collection of equilateral tetrahedra, with sides of length a. Metric information is no longer contained in the choice of edge lengths, but rather depends on the combinatorial pattern. Such a model is not exact in 2 + 1 dimensions, but one might hope that as a becomes small and the number of tetrahedra becomes large it may be possible to approximate an arbitrary geometry. In particular, it is plausible (although not rigorously proven) that a suitable model lies in the same universality class as genuine (2 + 1)dimensional gravity, in which case the continuum limit should be exact.
The EinsteinHilbert action for such a theory takes the standard Regge form (65), which for spherical spatial topology reduces to a sum
where N_{0} and N_{3} are the numbers of vertices and tetrahedra in the triangulation, k_{0} = a/(4G), and k_{3} is related to the cosmological constant. As the number of tetrahedra becomes large, the number of distinct triangulations (the “entropy”) increases exponentially, while the N_{3} term in Equation (72) provides an exponential suppression. The “Euclidean” path integral \(\sum \exp ( I)\) should thus converge for k_{3} greater than a critical value \(k_3^{\rm{c}}({k_0})\). As k_{3} approaches \(k_3^{\rm{c}}({k_0})\) from above, expectation values of N_{3} will diverge, and one may hope for a finitevolume continuum limit as a → 0.
For ordinary “Euclidean” dynamical triangulations, few signs of such a continuum limit have been seen. The system appears to exhibit two phases — a “crumpled” phase, in which the Hausdorff dimension is extremely large, and a “branched polymer” phase — neither of which look much like a classical spacetime [179]. An alternative “Lorentzian” model, introduced by Ambjørn and Loll [16, 9, 12, 10, 180, 13], however, has much nicer properties, including a continuum limit that appears numerically to match a finitesized, spherical “semiclassical” configuration.
The Lorentzian model begins with a slicing of spacetime into constant time surfaces, each of which is given an equilateral triangulation. The region between two neighboring slices is then filled in by tetrahedra, which can come only in the three varieties shown in Figure 3. This setup automatically restricts spacetime to have the topology ℝ × Σ, and by declaring each slice to be spacelike and each edge joining adjacent slices to be timelike, one has a welldefined “Wick rotation” to a Riemannian signature metric with Regge action (72). Note that for convergence, this method requires a positive value of k_{3}, and thus a positive cosmological constant.
The path integral for such a system can be evaluated numerically, using Monte Carlo methods and a set of “moves” that systematically change an initial triangulation [12, 10]. One finds two phases. At strong coupling, the system splits into uncorrelated twodimensional spaces, each welldescribed by twodimensional gravity. At weak coupling, however, a “semiclassical” regime appears that resembles the picture obtained from other approaches to (2 + 1)dimensional gravity. In particular, one may evaluate the expectation value 〈A(t)〉 of the spatial area at fixed time and the correlation 〈A(t)A(t + 1)〉 of successive areas; the results match the classical de Sitter behavior for a spacetime ℝ × S^{2} quite well. The more “local” behavior — the Hausdorff dimension of a constant time slice, for example — is not yet wellunderstood. Neither is the role of moduli for spatial topologies more complicated than S^{2}, although initial steps have been taken for the torus universe [115].
The Lorentzian dynamical triangulation model can also be translated into a twomatrix model, the socalled ABAB model. The Feynman diagrams of the matrix model correspond to dual graphs of a triangulation, and matrix model amplitudes become particular sums of transfer matrix elements in the gravitational theory [11, 14, 15]. In principle, this connection can be used to solve the gravitational model analytically. While this goal has not yet been achieved (though see [15]), a number of interesting analytical results exist. For example, the matrix model connection can be used to show that Newton’s constant and the cosmological constant are additively renormalized [14], and to analyze the apparent nonrenormalizability of ordinary field theoretical approach.
3.8 Other lattice approaches
In principle the discrete approaches described in Section 2.5 — in particular, the lattice descriptions of’ t Hooft and Waelbroeck — should be straightforward to quantize. In practice, there has been fairly little work in this area, and most of the literature that does exist involves point particles rather than closed universes.’ t Hooft has emphasized that the Hamiltonian in his approach is an angle, and that time should therefore be discrete [251], in agreement with the Lorentzian spin foam analysis of Section 3.6.’ t Hooft has also found that for a particular representation of the commutation relations for a point particle in (2 + 1)dimensional gravity, space may also be discrete [254], although it remains unclear whether these results can be generalized beyond this one special example. Criscuolo et al. have examined Waelbroeck’s lattice Hamiltonian approach for the quantized torus universe [97], investigating the implication of the choice of an internal time variable, and Waelbroeck has studied the role of the mapping class group [269].
3.9 The WheelerDeWitt equation
The approaches to quantization of Sections 3.1, 3.2, 3.3, 3.4, and 3.5 share an important feature: All are “reduced phase space” quantizations, quantum theories based on the true physical degrees of freedom of the classical theory. That is, the classical constraints have been solved before quantizing, eliminating classically redundant “gauge” degrees of freedom. In Dirac’s approach to quantization [112, 113, 114], in contrast, one quantizes the entire space of degrees of freedom of classical theory, and only then imposes the constraints. States are initially determined from the full classical phase space; in the ADM formulation of quantum gravity, for instance, they are functionals Ψ[g_{ij},] of the full spatial metric. The constraints then act as operators on this auxiliary Hilbert space; the physical Hilbert space consists of those states that are annihilated by the constraints, with a suitable new inner product, acted on by physical operators that commute with the constraints. For gravity, in particular, the Hamiltonian constraint acting on states leads to a functional differential equation, the WheelerDeWitt equation [110, 276].
In the first order formalism, it is straightforward to show that Dirac quantization is equivalent to the ChernSimons quantum theory we have already seen. Details can be found in Chapter 8 of [81], but the basic argument is fairly clear: At least for Λ = 0, the first order constraints coming from Equations (15, 16) are at most linear in the momenta, and are thus uncomplicated to solve.
In the second order formalism, matters become considerably more complicated [73]. We begin with a wave function Ψ[g_{ij}], upon which we wish to impose the constraints (30), with momenta acting as functional derivatives,
The first difficulty is that we are no longer allowed to choose a nice timeslicing such as York time; that would be a form of gaugefixing, and is not permitted in Dirac quantization. We can still decompose the spatial metric and momentum as in Equation (31), but only up to a spatial diffeomorphism, which depends on an undetermined vector field Y^{i} appearing in the momentum π^{ij} [206]. The momentum constraint fixes in terms of the scale factor λ, but it does so nonlocally. As a consequence, the Hamiltonian constraint becomes a nonlocal functional differential equation, and very little is understood about its solutions, even for the simplest case of the torus universe. Further complications come from the fact that the inner product on the space of solutions of the WheelerDeWitt equation must be gaugefixed [282, 144]; again, little is understood about the resulting Hilbert space.
In view of the difficulty in finding exact solutions to the WheelerDeWitt equation, it is natural to look for perturbative methods, for example an expansion in powers of Newton’s constant G. One can solve the momentum constraints order by order by insisting that each term depend only on (nonlocal) spatially diffeomorphisminvariant quantities. Such an expansion has been studied by Banks, Fischler, and Susskind for the physically trivial topology ℝ × S^{2} [42], following much earlier work by Leutwyler [176]. Even in this simple case, computations quickly become extremely difficult. Other attempts have been made [47, 186] to write a discrete version of the WheelerDeWitt equation in the PonzanoRegge formalism of Section 3.6. This approach has the advantage that the spatial diffeomorphisms have already been largely eliminated, removing the main source of nonlocality discussed above. The WheelerDeWittlike equation in [47] has been shown to agree with the the PonzanoRegge model.
3.10 Lorentzian path integrals
Up to now, I have mainly concentrated on approaches to quantum gravity that fall under the broad heading of canonical quantization. An alternative approach — already implicit in the discussion of discrete methods — starts with the Feynman path integral, or “sum over histories.” In an important sense, path integral methods are less precise than those of canonical quantization: The infinitedimensional “integral” over histories can rarely be rigorously defined, we do not really know what classes of paths to sum over, and ordering ambiguities in the operator formalism reemerge as ambiguities in the integration measure. On the other hand, path integrals allow us to ask questions — for example, about amplitudes for spatial topology change — that are difficult or impossible to formulated in a canonical theory.
The simplest path integral approach to (2 + 1)dimensional quantum gravity is the phase space path integral, in which the action is written in the ADM form (29, 30), and the spatial metric g_{ij} and momentum π^{ij} are treated as independent integration variables. The lapse N and shift appear as Lagrange multipliers, and the integrals over these quantities yield delta functionals for the constraints ℌ and ℌ_{i}. One might therefore expect the result to be equivalent to the canonical quantization of Section 3.1, in which the constraints are set to zero and solved for the physical degrees of freedom. This is indeed true, as shown in [77, 245] for spatially closed universes and [63] for geometries with point particles. The main subtlety comes from the appearance of many different determinants, arising from gaugefixing and from the delta functionals, which must be shown to cancel. The phase space path integral for the first order formulation similarly reproduces the corresponding canonically quantized theory.
It is perhaps more interesting to look at the covariant metric path integral, in which one starts with the ordinary EinsteinHilbert action and gaugefixes the full (2 + 1)dimensional diffeomorphism group. This approach does not require a topology ℝ × Σ, and could potentially describe topologychanging amplitudes. Unfortunately, very little is yet understood about this approach. Section 9.2 of [81] describes a partial gaugefixing, which takes advantage of the fact that every metric on a threemanifold is conformal to one of constant scalar curvature. But while this leads to some simplification, we are still left with an infinitedimensional integral about which very little can yet be said.
By far the most useful results in the path integral approach to (2 + 1)dimensional quantum gravity have come from the covariant firstorder action (14). The path integral for this action was first fully analyzed in two seminal papers by Witten [277, 279], who showed that it reduced to a ratio of determinants that has an elegant topological interpretation as the analytic or RaySinger torsion [230]. The partition function for a closed threemanifold with Λ = 0 takes the form
where \(\Delta _{\bar \omega}^{(n)} = {D_{\bar \omega}}*{D_{\bar \omega}}* + *{D_{\bar \omega}}*{D_{\bar \omega}}\) is the gaugecovariant Laplacian acting on nforms and \({\bar \omega}\) is a flat SO(2, 1) connection. When M admits more than one such flat connection, Equation (74) must be integrated over the moduli space of such connections. This integral sometimes diverges [279]; the significance of that divergence is not understood.
Although it was originally derived for closed manifolds, Equation (74) can be extended to manifolds with boundary in a straightforward manner. The path integral then gives a transition function that depends on specified boundary data — most simply, the induced spin connection ω, with some additional restrictions on the normal component of ω and the triad E [283, 84]. For a manifold with the topology ℝ × Σ, the results agree with those of covariant canonical quantization: The transition amplitude between two surfaces with prescribed spin connections is nonzero only if the holonomies agree.
But the path integral can also give transition amplitudes between states on surfaces Σ_{i} and Σ_{f} with different topologies. If we demand that the initial and final surfaces be nondegenerate and spacelike, their topologies are severely restricted: Amano and Higuchi have shown that Σ_{i} and Σ_{f} must have equal Euler numbers [6]. For such manifolds, concrete computations can exploit the topological invariance of the RaySinger torsion. Carlip and Cosgrove [84], for example, explicitly compute amplitudes for a transition between a genus three surface and a pair of genus two surfaces.
3.11 Euclidean path integrals and quantum cosmology
Lorentzian path integrals allow us to compute interesting topologychanging amplitudes, in which the universe tunnels from one spatial topology to another. They do not, however, directly address a principle issue of quantum cosmology, the problem of describing the birth of a universe from “nothing”. Here, most of the literature has focused on the Hawking’s Euclidean path integral [154] and the HartleHawking “no boundary” proposal [152], which describes the universe in terms of a path integral over Riemannian metrics on manifolds with a single, connected boundary Σ. As in 3 + 1 dimensions, most of the work in 2 + 1 dimensions has concentrated on the saddle point approximation. So far, the main benefit of the lowerdimensional model has been the possibility of treating topology more systematically, revealing interesting effects that are only now being explored in 3 + 1 dimensions.
In the HartleHawking approach to quantum cosmology, the initial wave function of the universe is described by a path integral for a compact manifold M with a single spatial boundary Σ, as in Figure 4.
In 2 + 1 dimensions, the selection rules of [6] imply that such a process can be described in Lorentzian signature only if χ(Σ) = 0, that is, only for Σ a torus. Moreover, the known examples of such metrics always yield a degenerate metric on Σ. If one allows Riemannian signature, on the other hand, such a path integral makes sense for any spatial topology, and if one further requires that Σ be totally geodesic — that is, that the extrinsic curvature of Σ vanish — one can smoothly join on a Lorentzian metric at Σ [141]. Hartle and Hawking therefore propose a “ground state” wave function
where the value of the path integral is determined by a specified induced metric h and matter configuration on the boundary. The summation represents a sum over topologies of M; in the absence of any basis for picking out a preferred topology, all manifolds with a given boundary Σ are assumed to contribute. The wave function Ψ is to be interpreted as an amplitude for finding a universe, with a prescribed spatial topology Σ, characterized by an “initial” geometry h and a matter configuration ϕ_{∂M}. This approach finesses the question of initial conditions for the universe by simply omitting an initial boundary, and it postpones the question of the nature of time in quantum gravity: Information about time is hidden in the boundary geometry h, but the path integral can be formulated without making a choice of time explicit.
The path integral (75) cannot, in general, be evaluated exactly, even in 2 + 1 dimensions. Indeed, there are general reasons to expect the expression to be illdefined: A conformal excitation g_{μν} → e^{2φ}g_{μν} contributes to I_{E} with the wrong sign, and the action is unbounded below [142]. In the (2 + 1)dimensional Lorentzian dynamical triangulation models of Section 3.7, however, it is known that these wrong sign contributions are unimportant[12]; they are overwhelmed by the much larger number of wellbehaved geometries in the path integral. This has led to a suggestion [100, 99] that the conformal contribution is canceled by a FaddeevPopov determinant (see also [198]), and some preliminary supporting computations have been made in a proper time gauge [100].
Assuming that the “conformal factor problem” is solved, a saddle point evaluation of the path integral is arguably a good approximation. For simplicity, let us ignore the matter contribution to the wave function. Saddle points are then Einstein manifolds, with actions proportional to the volume. An easy computation shows that the leading contribution to Equation (75) is a sum of terms of the form
where ḡ is an Einstein metric on M, vol_{ḡ}(M) is the volume of M with the metric rescaled to constant curvature ±1, and the prefactor Δ_{M} is related, as in Section 3.10, to the RaySinger torsion of M.
For Λ > 0, threemanifolds that admit Einstein metrics are all elliptic — that is, they have constant positive curvature, and can be described as quotients of the threesphere by discrete groups of isometries. The largest value of vol_{ḡ}(M) comes from the threesphere itself, and one might expect it to dominate the sum over topologies. As shown in [71], though, the number of topologically distinct lens spaces with volumes less than vol_{ḡ}(S^{3}) grows fast enough that these spaces dominate, leading to a divergent partition function for closed threemanifolds. The implications for the HartleHawking wave function have not been examined explicitly, but it seems likely that a divergence will appear there as well.
For Λ < 0, threemanifolds that admit Einstein metrics are hyperbolic, and the single largest contribution to Equation (76) comes from the smallest such manifold. This contribution has been worked out in detail, for a genus 2 boundary, in [134]. Here, too, however, manifolds with larger volumes — although individually exponentially suppressed — are numerous enough to lead to a divergence in the partition function [71]. In this case, the HartleHawking wave function has been examined as well, and it has been shown that the wave function acquires infinite peaks at certain specific spatial geometries: Again, topologically complicated manifolds whose individual contributions are small occur in large enough numbers to dominate the path integral, and “entropy” wins out over “action” [69].
The benefit of restricting to 2 + 1 dimensions here is a bit different from the advantages seen earlier. We are now helped not so much by the simplicity of the geometry (although this helps in the computation of the prefactors Δ_{M}), but by the fact that threemanifold topology is much better understood than fourmanifold topology. It is only quite recently that similar results for sums over topologies have been found in four dimensions [79, 80, 229, 19].
As noted in Section 3.6, recent work on spin foams has also suggested a new nonperturbative approach to evaluating the sum over topologies. Building on work by Boulatov [60], Freidel and Loupre have recently considered a variant of the PonzanoRegge model, and have shown that although the sum over topologies diverges, it is Borel summable [132]. This result involves a clever representation of a spacetime triangulation as a Feynman graph in a field theory on a group manifold, allowing the sum over topologies to be reexpressed as a sum of field theory Feynman diagrams. The model considered in [132] is not exactly the PonzanoRegge model, and it is not clear that it is really “ordinary” quantum gravity. Moreover, study of the physical meaning of the Borel resummed partition function has barely begun. Nonetheless, these results suggest that a full treatment of the sum over topologies in (2 + 1)dimensional quantum gravity may not be hopelessly out of reach.
There are also indications that string theory might have something to say about the sum over topologies [111]. In particular, the AdS/CFT correspondence may impose boundary conditions that limit the topologies allowed in the sum. Whether such results can be extended to spatially closed manifolds remains unclear.
4 What Have We Learned?
The world is not (2 + 1)dimensional, and (2 + 1)dimensional quantum gravity is certainly not a realistic model of our Universe. Nonetheless, the (2 + 1)dimensional model reflects many of the fundamental conceptual issues of real world quantum gravity, and work in this field has provided some valuable insights.

Existence and nonuniqueness
Perhaps the most important lesson of (2 + 1)dimensional quantum gravity is that general relativity can, in fact, be quantized. While additional ingredients — strings, for instance — may have their own attractions, they are evidently not necessary for the existence of quantum gravity. More than an “existence theorem”, though, the (2 + 1)dimensional models also provide a “nonuniqueness theorem”: Many approaches to the quantum theory are possible, and they are not all equivalent. This is perhaps a bit of a disappointment, since many in this field had hoped that once we found a selfconsistent quantum theory of gravity, the consistency conditions might be stringent enough to make that theory unique. In retrospect, though, we should not be so surprised: Quantum gravity is presumably more fundamental than classical general relativity, and it is not so strange to learn that more than one quantum theory can have the same classical limit.

(2 + 1)dimensional gravity as a test bed
General relativity in 2 + 1 dimensions has provided a valuable test bed for a number of specific proposals for quantum gravity. Some of these are “classics” — the WheelerDeWitt equation, for instance, and reduced phase space quantization — while others, like spin foams, Lorentzian dynamical triangulations, and covariant canonical quantization, are less well established.
We have discovered some rather unexpected features, such as the difficulties caused by spatial diffeomorphism invariance and the consequent nonlocality in WheelerDeWitt quantization, and the necessity of understanding the representations of the group of large diffeomorphisms in almost all approaches. For particular quantization programs, (2 + 1)dimensional models have also offered more specific guidance: Special properties of the loop operators (55), methods for treating noncompact groups in spin foam models, and properties of the sums over topologies described in Section 3.11 have all been generalized to 3 + 1 dimensions.

Lorentzian dynamical triangulations
A particular application of (2 + 1)dimensional gravity as a test bed is important enough to deserve special mention. The program of “Lorentzian dynamical triangulations” described in Section 3.7 is a genuinely new approach to quantum gravity. Given the failures of ordinary “Euclidean dynamical triangulations”, one might normally be quite skeptical of such a method. But the success in reproducing semiclassical states in 2 + 1 dimensions, although still fairly limited, provides a strong argument that the approach should be taken seriously.

Observables and the “problem of time”
One of the deepest conceptual difficulties in quantum gravity has been the problem of reconstructing local, dynamical spacetime from the nonlocal diffeomorphisminvariant observables required by quantum gravity. The notorious “problem of time” is a special case of this more general problem of observables. As we saw in Section 3.4, (2 + 1)dimensional quantum gravity points toward a solution, allowing the construction of families of “local” and “timedependent” observables that nevertheless commute with all constraints.
The idea that “frozen time” quantum gravity is a Heisenberg picture corresponding to a fixedtimeslicing Schrödinger picture is a central insight of (2 + 1)dimensional gravity. In practice, though, we have also seen that the transformation between these pictures relies on our having a detailed description of the space of classical solutions of the field equations. We cannot expect such a fortunate circumstance to carry over to full (3 + 1)dimensional quantum gravity; it is an open question, currently under investigation, whether one can use a perturbative analysis of classical solutions to find suitable approximate observables [50].

Singularities
It has long been hoped that quantum gravity might smooth out the singularities of classical general relativity. Although the (2 + 1)dimensional model has not yet provided a definitive test of this idea, some progress has been made. Puzio, for example, has shown that a wave packet initially concentrated away from the singular points in moduli space will remain nonsingular [227]. On the other hand, Minassian has recently demonstrated [202] that quantum fluctuations do not “push singularities off to infinity” (as suggested in [158]), and that several classically singular (2 + 1)dimensional quantum spacetimes also have singular “quantum bboundaries”.

Is length quantized?
Another longstanding expectation has been that quantum gravity will lead to discrete, quantized lengths, with a minimum length on the order of the Planck length. Partial results in quantum geometry and spin foam approaches to (2 + 1)dimensional quantum gravity suggest that this may be true, but also that the problem is a bit subtle [197, 251, 241]. The most recent result in this area [130] relates the spectrum of lengths to representations of the (2 + 1)dimensional Lorentz group, which can be discrete or continuous. Freidel et al. argue that spacelike intervals are continuous, while timelike intervals are discrete, with a spectrum of the form \(\sqrt {n(n  1)} {\ell _{\rm{P}}}\). The analysis is a bit tricky, since the length “observables” do not, in general, commute with the Hamiltonian constraint. A first step towards defining truly invariant operators describing distances between point particles supports this picture [215], but the results are not yet conclusive.

“Doubly special relativity”
Quantum gravity contains two fundamental dimensionful constants, the Planck length ℓ_{P} and the speed of light c. This has suggested to some that special relativity might itself be altered so that both ℓ_{P} and c are constants. This requires a nonlinear deformation of the Poincaré algebra, and leads to a set of theories collectively called “doubly special relativity” [17, 185, 171]. It has recently been pointed out that (2 + 1)dimensional gravity automatically displays such a deformation [197, 18, 126]. A few attempts have been made to connect this picture to noncommutative spacetime, mainly in the context of point particles [197, 275, 38], but it seems too early to evaluate them.

Topology change
Does consistent quantum gravity require spatial topology change? The answer in 2 +1 dimensions is unequivocally no: Canonical quantization gives a perfectly consistent description of a universe with a fixed spatial topology. On the other hand, the path integrals of Section 3.10 seem to allow the computation of amplitudes for tunneling from one topology to another. Problems with these topologychanging amplitudes remain, particularly in the regulation of divergent integrals over zeromodes. If these can be resolved, however, we will have to conclude that we have found genuinely and deeply inequivalent quantum theories of gravity.

Sums over topologiesIn conventional descriptions of the HartleHawking wave function, and in other Euclidean path integral descriptions of quantum cosmology, it is usually assumed that a few simple contributions dominate the sum over topologies. The results of (2 + 1)dimensional quantum gravity indicate that such claims should be treated with skepticism; as discussed in Section 3.11, the sum over topologies is generally dominated by an infinite number of complicated topologies, each individually exponentially suppressed. This is a new and unexpected result, whose implications for realistic (3 + 1)dimensional gravity are just starting to be explored.
5 What Can We Still Learn?
We know immensely more about (2 + 1)dimensional quantum gravity than we did twenty years ago. But we still have an enormous amount to learn. In particular, it is only quite recently that the general tools developed over the past few years have been brought to bear on particular physical problems — the resolution of singularities, for example, and the question of whether space is discrete at the Planck scale. A sketchy and rather personal list of open questions would include the following:

Singularities
A key question in quantum gravity is whether quantized spacetime “resolves” the singularities of classical general relativity. This is a difficult question — already classically, it is highly nontrivial to even define a singularity [92], and the quantum extensions of the classical definitions are far from obvious. This is an area in which (2 + 1)dimensional gravity provides a natural arena, but results so far are highly preliminary [227, 202].

Sums over topologies
Another longstanding question in quantum gravity is whether spacetime topology can (or must) undergo quantum fluctuations. As we saw in Section 3.11, some real progress has been made in 2 + 1 dimensions. Often, though, the results require saddle point approximations, and pick out particular classes of saddle points. The nonperturbative summation techniques discussed at the end of Section 3.11 promise much deeper results, and may point toward a measure on the space of topologies analogous to the measure on the space of geometries induced by the DeWitt metric.

Quantized geometry
We saw above that there is some evidence for quantization of timelike intervals in (2 + 1)dimensional gravity. A systematic exploration of this issue might teach us a good deal about differences among approaches to quantization. In particular, it would be very interesting to see whether any corresponding result appears in reduced phase space quantization, WheelerDeWitt quantization, or path integral approaches. To address this problem properly, one must introduce genuine observables for quantities such as length and area, either by adding point particles [215] or by looking at shortest geodesics around noncontractible cycles. Note that for the torus universe, the moduli can be considered as ratios of lengths, and there is no sign that these need be discrete. This does not contradict the claims of [130], since the lengths in question are spacelike, but it does suggest an interesting dilemma in Euclidean quantum gravity, where spacelike as well as timelike intervals might naturally be quantized [238].

Euclidean vs. Lorentzian gravity
In the ChernSimons formalism of Section 2.3, “Euclidean” and “Lorentzian” quantum gravity seem to be dramatically inequivalent: They have different gauge groups, different holonomies, and very different behaviors under the actions of large diffeomorphisms. In the ADM approach of Section 2.4, on the other hand, the differences are almost invisible. This suggests that further study might finally tell us whether Euclideanization is merely a technical trick, analogous to Wick rotation in ordinary quantum field theory, or whether it gives a genuinely different theory; and, if the latter, just how different the Euclidean and Lorentzian theories are. In canonical quantization, a key step would be to relate ChernSimons and ADM amplitudes in the Euclidean theory, perhaps using the methods of Section 3.4. In spin foam and path integral approaches, it might be possible to explicitly compare amplitudes.

Which approaches are equivalent?
A more general problem is to understand which of the approaches described here are equivalent. In particular, it is not obvious how much of the difference among various methods of quantization can be attributed to operator ordering ambiguities, and how much reflects a deeper inequivalence, as reflected (for instance) in different length spectra or different possibilities for topology change. An answer might help us understand just how nonunique quantum gravity in higher dimensions will be.

Higher genus
Most of the detailed, explicit results in (2 + 1)dimensional quantum gravity hold only for the torus universe ℝ × T^{2}. As noted in Section 2.7, this topology has some exceptional features, and might not be completely representative. In particular, the relationship between the ADM and ChernSimons quantizations in Section 3.4 relied on a particularly simple operator ordering; it is not obvious that such an ordering can be found for the higher genus case [207]. An extension to arbitrary genus might be too difficult, but a full treatment of the genus two topology, using the relation to hyperelliptic curves or the sigma model description of [264], may be possible. It could also be worthwhile to further explore the case of spatially nonorientable manifolds [181] to see whether any important new features arise.

Coupling matter
This review has dealt almost exclusively with vacuum quantum gravity. We know remarkably little about how to couple matter to this theory. Some limited progress has been made: For example, there is some evidence that (2 + 1)dimensional gravity is renormalizable in the 1/N expansion when coupled to scalar fields [174, 205]. This is apparently no longer the case when gravity is coupled to fermions and a U(1) ChernSimons gauge theory [22], although Anselmi has argued that if coupling constants are tuned to exact values, renormalizability can be restored, and in fact the theory can be made finite [21]. Certain matter couplings in supergravity have been studied [104, 196], and work on circularly symmetric “midisuperspace models” has led to some surprising results, including unexpected bounds on the Hamiltonian [27, 32, 137, 53, 265, 224]. But the general problem of coupling matter remains very difficult, not least because — except in the special case of “topological matter” [140, 85] — we lose the ability to represent diffeomorphisms as ISO(2, 1) gauge transformations.
Difficult as it is, however, an understanding of matter couplings may be the key to many of the conceptual issues of quantum gravity. One can explore the properties of a singularity, for example, by investigating the reaction of nearby matter, and one can look for quantization of time by examining the behavior of physical clocks. Moreover, some of the deep questions of quantum gravity can be answered only in the presence of matter. For example, does gravity cut off ultraviolet divergences in quantum field theory? This idea is an old one [109, 165, 166], and it gets some support from the boundedness of the Hamiltonian in midisuperspace models [32], but it is only in the context of a full quantum field theory that a final answer can be given.

The cosmological constant
Undoubtedly, the biggest embarrassment in quantum gravity today is the apparent prediction, at least in effective field theory, that the cosmological constant should be some 120 orders of magnitude larger than the observed limit. Several attempts have been made to address this problem in the context of (2 + 1)dimensional quantum gravity. First, Witten has suggested a novel mechanism by which supersymmetry in 2 + 1 dimensions might cancel radiative corrections to Λ without requiring the equality of superpartner masses, essentially because even if the vacuum is supersymmetric, the asymptotics forbid the existence of unbroken supercharges for massive states [281, 52]. This argument requires special features of 2 + 1 dimensions, though, and it is not at all clear that it can be generalized to 3 + 1 dimensions (although some attempts have been made in the context of “deconstruction” [168]).
Second, the discovery that the sum over topologies can lead to a divergent partition function has been extended to 3 + 1 dimensions, at least for Λ < 0, and it has been argued that this behavior might signal a phase transition that could prohibit a conventional cosmology with a negative cosmological constant [79, 80]. The crucial case of a positive cosmological constant is not yet understood, however, and if a phase change does indeed occur, its nature is still highly obscure. It may be that the nonperturbative summation over topologies discussed at the end of Section 3.11 could cast light on this question.
One might also hope that a careful analysis of the coupling of matter in 2 + 1 dimensions could reveal useful details concerning the vacuum energy contribution to Λ, perhaps in a setting that goes beyond the usual effective field theory approach. For example, there is evidence that the matter Hamiltonian is bounded above in (2 + 1)dimensional gravity [27]; perhaps this could cut off radiative contributions to the cosmological constant at an interesting scale.

Again, (2 + 1)dimensional gravity as a test bed
As new approaches to quantum gravity are developed, the (2 + 1)dimensional model will undoubtedly remain important as a simplified test bed. For example, a bit of work has been done on the null surface formulation of classical gravity in 2 + 1 dimensions [123]; a quantum treatment might be possible, and could tell us more about the utility of this approach in 3 + 1 dimensions. Similarly, (2 + 1)dimensional gravity has recently been examined as an arena in which to test for a new partially discrete, constraintfree formulation of quantum gravity [138].
Notes
For g = 0, π_{1} (Σ) is trivial, and there is only one geometric structure. The case of g = 1 will be discussed below in Section 2.7
In this section I use standard ADM notation: g_{ij} and R refer to the induced metric and scalar curvature of a time slice and K^{ij} is the extrinsic curvature of such a slice, while the full spacetime metric and curvature are denoted by (^{3})g_{μν} and (^{3})R.
References
Abikoff, W., The Real Analytic Theory of Teichmüller Space, vol. 820 of Lecture Notes in Mathematics, (Springer, Berlin, Germany; New York, U.S.A., 1980).
Achúcarro, A., and Townsend, P.K., “A ChernSimons action for threedimensional antide Sitter supergravity theories”, Phys. Lett. B, 180, 89–92, (1986).
Alekseev, A.Y., Grosse, H., and Schomerus, V., “Combinatorial quantization of the Hamiltonian ChernSimons theory I”, Commun. Math. Phys., 172, 317–358, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9403066.
Alekseev, A.Y., Grosse, H., and Schomerus, V., “Combinatorial Quantization of the Hamiltonian ChernSimons Theory II”, Commun. Math. Phys., 174, 561–604, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9408097.
Alekseev, A.Y., and Malkin, A.Z., Commun. Math. Phys., 169, 99, (1995).
Amano, A., and Higuchi, S., “Topology change in ISO(2,1) ChernSimons gravity”, Nucl. Phys. B, 377, 218–235, (1992). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9201075.
Amano, K., and Higuchi, S., “ISO(2,1) gauge fields and (2+1)dimensional spacetime”, Prog. Theor. Phys. Suppl., 110, 151, (1992).
Ambjørn, J., Carfora, M., and Marzuoli, A., The Geometry of Dynamical Triangulations, vol. m50 of Lecture Notes in Physics, (Springer, Berlin, Germany; New York, U.S.A., 1997). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9612069.
Ambjørn, J., Jurkiewicz, J., and Loll, R., “A nonperturbative Lorentzian path integral for gravity”, Phys. Rev. Lett., 85, 924–927, (2000). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0002050.
Ambjørn, J., Jurkiewicz, J., and Loll, R., “Computer simulations of 3d Lorentzian quantum gravity”, Nucl. Phys. B (Proc. Suppl.), 94, 689–692, (2001). Related online version (cited on 5 January 2005): http://arXiv.org/abs/heplat/0011055.
Ambjørn, J., Jurkiewicz, J., and Loll, R., “Lorentzian 3d Gravity with Wormholes via Matrix Models”, J. High Energy Phys., 09, 022, (2001). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0106082.
Ambjørn, J., Jurkiewicz, J., and Loll, R., “Nonperturbative 3D Lorentzian quantum gravity”, Phys. Rev. D, 64, 0440111–17, (2001). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0011276.
Ambjørn, J., Jurkiewicz, J., and Loll, R., “3d Lorentzian, dynamically triangulated quantum gravity”, Nucl. Phys. B (Proc. Suppl.), 106, 980–982, (2002). Related online version (cited on 5 January 2005): http://arXiv.org/abs/heplat/0201013.
Ambjørn, J., Jurkiewicz, J., and Loll, R., “Renormalization of 3d quantum gravity from matrix models”, Phys. Lett. B, 581, 255–262, (2004). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0307263.
Ambjørn, J., Jurkiewicz, J., Loll, R., and Vernizzi, G., “3D Lorentzian Quantum Gravity from the asymmetric ABAB matrix model”, Acta Phys. Pol. B, 34, 4667–4688, (2003). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0311072.
Ambjørn, J., and Loll, R., “Nonperturbative Lorentzian Quantum Gravity, Causality and Topology Change”, Nucl. Phys. B, 536, 407–434, (1998). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9805108.
AmelinoCamelia, G., “Testable scenario for relativity with minimum length”, Phys. Lett. B, 510, 255–263, (2001). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/012238.
AmelinoCamelia, G., Smolin, L., and Starodubtsev, A., “Quantum symmetry, the cosmological constant and Planck scale phenomenology”, Class. Quantum Grav., 21, 3095–3110, (2004). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0306134.
Anderson, M., Carlip, S., Ratcliffe, J.G., Surya, S., and Tschantz, S.T., “Peaks in the HartleHawking Wave Function from Sums over Topologies”, Class. Quantum Grav., 21, 729–742, (2004). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0310002.
Andersson, L., Moncrief, V., and Tromba, A.J., “On the global evolution problem in 2+1 gravity”, J. Geom. Phys., 23, 191, (1997). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9610013.
Anselmi, D., “Finiteness of quantum gravity coupled with matter in three spacetime dimensions”, Nucl. Phys. B, 687, 124–142, (2004). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0309250.
Anselmi, D., “Renormalization of quantum gravity coupled with matter in three dimensions”, Nucl. Phys. B, 687, 143–160, (2004). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0309249.
Archer, F., and Williams, R.M., “The TuraevViro state sum model and threedimensional quantum gravity”, Phys. Lett. B, 273, 438–444, (1991).
Arcioni, G., Blau, M., and O’Loughlin, M., “On the Boundary Dynamics of ChernSimons Gravity”, J. High Energy Phys., 01, 067, (2003). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0210089.
Arnowitt, R., Deser, S., and Misner, C.W., “The dynamics of general relativity”, in Witten, L., ed., Gravitation: An Introduction to Current Research, 227–265, (Wiley, New York, U.S.A., 1962). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0405109.
Ashtekar, A., Lectures on NonPerturbative Canonical Gravity, vol. 6 of Advanced Series in Astrophysics and Cosmology, (World Scientific, Singapore, 1991).
Ashtekar, A., “Large quantum gravity effects: Unexpected limitations of the classical theory”, Phys. Rev. Lett., 77, 4864–4867, (1996). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9610008.
Ashtekar, A., Bombelli, L., and Reula, O.A., “Covariant phase space of asymptotically flat gravitational fields”, in Francaviglia, M., and Holm, D., eds., Mechanics, Analysis and Geometry: 200 Years after Lagrange, NorthHolland Delta Series, 417–450, (North Holland, Amsterdam, Netherlands, 1990).
Ashtekar, A., Husain, V., Rovelli, C., Samuel, J., and Smolin, L., “2+1 quantum gravity as a toy model for the 3+1 theory”, Class. Quantum Grav., 6, L185–L193, (1989).
Ashtekar, A., and Loll, R., “New loop representations for 2+1 gravity”, Class. Quantum Grav., 11, 2417–2434, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9405031.
Ashtekar, A., and Magnon, A., “Quantum fields in curved spacetimes”, Proc. R. Soc. London, Ser. A, 346, 375–394, (1975).
Ashtekar, A., and Pierri, M., “Probing Quantum Gravity Through Exactly Soluble MidiSuperspaces I”, J. Math. Phys., 37, 6250–6270, (1996). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9606085.
Ashtekar, A., Wisniewski, J., and Dreyer, O., “Isolated Horizons in 2+1 Gravity”, Adv. Theor. Math. Phys., 6, 507–555, (2002). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0206024.
Axelrod, S.E., DellaPietra, S., and Witten, E., “Geometric quantization of ChernSimons gauge theory”, J. Differ. Geom., 33, 787–902, (1991).
Baez, J.C., “An Introduction to Spin Foam Models of Quantum Gravity and BF Theory”, in Gausterer, H., Grosse, H., and Pittner, L., eds., Geometry and Quantum Physics, Proceedings of the 38. Internationale Universitätswochen für Kern und Teilchenphysik, Schladming, Austria, January 9–16, 1999, vol. 543 of Lecture Notes in Physics, 25–64, (Springer, Berlin, Germany; New York, U.S.A., 2000). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9905087.
Bais, F.A., and Muller, N.M., “Topological field theory and the quantum double of SU(2)”, Nucl. Phys. B, 530, 349–400, (1998). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9804130.
Bais, F.A., Muller, N.M., and Schroers, B.J., “Quantum group symmetry and particle scattering in (2+1)dimensional quantum gravity”, Nucl. Phys. B, 640, 3–45, (2002). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0205021.
Ballesteros, A., Rossano Bruno, N., and Herranz, F.J., “Noncommutative relativistic spacetimes and worldlines from 2+1 quantum (anti)de Sitter groups”, (2004). URL (cited on 5 January 2005): http://arXiv.org/abs/hepth/0401244.
Bañados, M., “Threedimensional quantum geometry and black holes”, (1999). URL (cited on 5 January 2005): http://arXiv.org/abs/hepth/9901148.
Bañados, M., Henneaux, M., Teitelboim, C., and Zanelli, J., “Geometry of the 2+1 Black Hole”, Phys. Rev. D, 48, 1506–1525, (1993). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9302012.
Bañados, M., Teitelboim, C., and Zanelli, J., “The Black Hole in Three Dimensional Space Time”, Phys. Rev. Lett., 69, 1849–1851, (1992). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9204099.
Banks, T., Fischler, W., and Susskind, L., “Quantum cosmology in 2+1 and 3+1 dimensions”, Nucl. Phys. B, 262, 159–186, (1985).
BarNatan, D., and Witten, E., “Perturbative expansion of ChernSimons theory with noncompact gauge group”, Commun. Math. Phys., 141, 423–440, (1991).
Barbero, J.F., and Varadarajan, M., “The Phase Space of 2+1 Dimensional Gravity in the Ashtekar Formulation”, Nucl. Phys. B, 415, 515–532, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9307006.
Barbero, J.F., and Varadarajan, M., “Homogeneous 2+1 Dimensional Gravity in the Ashtekar Formulation”, Nucl. Phys. B, 456, 355–376, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9507044.
Barrett, J.W., “Geometrical measurements in threedimensional quantum gravity”, Int. J. Mod. Phys. A, 18S2, 97–113, (2003). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0203018.
Barrett, J.W., and Crane, L., “An algebraic interpretation of the WheelerDeWitt equation”, Class. Quantum Grav., 14, 2113–2121, (1997). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9609030.
Barrett, J.W., and Foxon, T.J., “Semiclassical limits of simplicial quantum gravity”, Class. Quantum Grav., 11, 543–556, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9310016.
Barrow, J.D., Burd, A.B., and Lancaster, D., “Threedimensional classical spacetimes”, Class. Quantum Grav., 3, 551–567, (1986).
Basu, S., “Perturbation theory in covariant canonical quantization”, (2004). URL (cited on 5 January 2005): http://arXiv.org/abs/grqc/0410015.
Bautier, K., Englert, F., Rooman, M., and Spindel, P., “The FeffermanGraham Ambiguity and AdS Black Holes”, Phys. Lett. B, 479, 291–298, (2000). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0002156.
Becker, K., Becker, M., and Strominger, A., “ThreeDimensional Supergravity and the Cosmological Constant”, Phys. Rev. D, 51, 6603–6607, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9502107.
Beetle, C., “MidiSuperspace Quantization of NonCompact Toroidally Symmetric Gravity”, Adv. Theor. Math. Phys., 2, 471–495, (1998). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9801107.
Beliakova, A., and Durhuus, B., “Topological quantum field theory and invariants of graphs for quantum groups”, Commun. Math. Phys., 167, 395, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9309024.
Benedetti, R., and Guadagnini, E., “Cosmological Time in (2+1) — Gravity”, Nucl. Phys. B, 613, 330–352, (2001). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0003055.
Birman, J.S., “The algebraic structure of surface mapping class groups”, in Harvey, W.J., ed., Discrete Groups and Automorphic Functions, Proceedings of an instructional conference, Cambridge, England, 1975, 163–198, (Academic Press, London, U.K.; New York, U.S.A., 1977).
Birman, J.S., and Hilden, H.M., “On the mapping class groups of closed surfaces as covering spaces”, in Ahlfors, L.V. et al., ed., Advances in the Theory of Riemann Surfaces, vol. 66 of Annals of Math. Studies, 81–115, (Princeton University Press, Princeton, U.S.A., 1971).
Birmingham, D., and Carlip, S., unknown status. unpublished. 2.1
Birmingham, D., Sachs, I., and Sen, S., “Entropy of ThreeDimensional Black Holes in String Theory”, Phys. Lett. B, 424, 275–280, (1998). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9801019.
Boulatov, D., “A Model of ThreeDimensional Lattice Gravity”, Mod. Phys. Lett. A, 7, 1629–1646, (1992). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9202074.
Buffenoir, E., Noui, K., and Roche, P., “Hamiltonian Quantization of ChernSimons theory with SL(2,C) Group”, Class. Quantum Grav., 19, 4953–5015, (2002). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0202121.
Canary, R.D., Epstein, D.B.A., and Green, P., in Epstein, D.B.A., ed., Analytical and Geometric Aspects of Hyperbolic Space: Warwick and Durham 1984, Papers presented at two symposia held at the Universities of Warwick and Durham, vol. 111 of London Mathematical Society Lecture Notes Series, (Cambridge University Press, Cambridge, U.K.; New York, U.S.A., 1987).
Cantini, L., and Menotti, P., “Functional approach to 2+1 dimensional gravity coupled to particles”, Class. Quantum Grav., 20, 845–858, (2003). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0209061.
Carbone, G., Carfora, M., and Marzuoli, A., “Quantum states of elementary threegeometry”, Class. Quantum Grav., 19, 3761–3774, (2002). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0112043.
Carlip, S., “Exact quantum scattering in 2+1 dimensional gravity”, Nucl. Phys. B, 324, 106–122, (1989).
Carlip, S., “Observables, gauge invariance, and time in (2+1)dimensional quantum gravity”, Phys. Rev. D, 42, 2647–2654, (1990).
Carlip, S., “Measuring the metric in (2+1)dimensional quantum gravity”, Class. Quantum Grav., 8, 5–17, (1991).
Carlip, S., “(2+1)dimensional ChernSimons gravity as a Dirac square root”, Phys. Rev. D, 45, 3584–3590, (1992). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9109006. Erratum: Phys. Rev. D 47 (1993) 1729.
Carlip, S., “Entropy versus action in the (2+1)dimensional HartleHawking wave function”, Phys. Rev. D, 46, 4387–4395, (1992). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9205022.
Carlip, S., “Modular group, operator ordering, and time in (2+1)dimensional gravity”, Phys. Rev. D, 47, 4520–4524, (1993). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9209011.
Carlip, S., “The Sum over Topologies in ThreeDimensional Euclidean Quantum Gravity”, Class. Quantum Grav., 10, 207–218, (1993). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9206103.
Carlip, S., “Geometric structures and loop variables in (2+1)Dimensional gravity”, in Baez, J.C., ed., Knots and Quantum Gravity, Proceedings of a conference held at U. C. Riverside on May 14–16th, 1993, vol. 1 of Oxford Lecture Series in Mathematics and its Applications, (Clarendon Press; Oxford University Press, Oxford, U.K.; New York, U.S.A., 1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9309020.
Carlip, S., “Notes on the (2+1)Dimensional WheelerDeWitt Equation”, Class. Quantum Grav., 11, 31, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9309002.
Carlip, S., “Six ways to quantize (2+1)dimensional gravity”, in Mann, R.B., and McLenaghan, R.G., eds., Proceedings of the 5th Canadian Conference on General Relativity and Relativistic Astrophysics, University of Waterloo 13–15 May, 1993, (World Scientific, Singapore; River Edge, U.S.A., 1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9305020.
Carlip, S., “The (2+1)Dimensional Black Hole”, Class. Quantum Grav., 12, 2853–2880, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9506079.
Carlip, S., “Lectures in (2+1)Dimensional Gravity”, J. Korean Phys. Soc., 28, S447–S467, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9503024.
Carlip, S., “A Phase Space Path Integral for (2+1)Dimensional Gravity”, Class. Quantum Grav., 12, 2201–2208, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9504033.
Carlip, S., “The Statistical Mechanics of the (2+1)Dimensional Black Hole”, Phys. Rev. D, 51, 632–637, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9409052.
Carlip, S., “Spacetime Foam and the Cosmological Constant”, Phys. Rev. Lett., 79, 4071–4074, (1997). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9708026.
Carlip, S., “Dominant Topologies in Euclidean Quantum Gravity”, Class. Quantum Grav., 15, 2629–2638, (1998). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9710114.
Carlip, S., Quantum Gravity in 2+1 Dimensions, Cambridge Monographs on Mathematical Physics, (Cambridge University Press, Cambridge, U.K.; New York, U.S.A., 1998).
Carlip, S., “What We Don’t Know about BTZ Black Hole Entropy”, Class. Quantum Grav., 15, 3609–3625, (1998). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9806026.
Carlip, S., “Quantum gravity: a Progress Report”, Rep. Prog. Phys., 64, 885–942, (2001). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0108040.
Carlip, S., and Cosgrove, R., “Topology Change in (2+1)Dimensional Gravity”, J. Math. Phys., 35, 5477–5493, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9406006.
Carlip, S., and Gegenberg, J., “Gravitating topological matter in 2+1 dimensions”, Phys. Rev. D, 44, 424–428, (1991).
Carlip, S., and Nelson, J.E., “Equivalent Quantisations of (2+1)Dimensional Gravity”, Phys. Lett. B, 324, 299–302, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9311007.
Carlip, S., and Nelson, J.E., “Comparative quantizations of (2+1)dimensional gravity”, Phys. Rev. D, 51, 5643–5653, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9411031.
Carlip, S., and Nelson, J.E., “Quantum modular group in (2+1)dimensional gravity”, Phys. Rev. D, 59, 0240121–12, (1998). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9807087.
Carlip, S., and Nelson, J.E., “Quantum modular group in (2+1)dimensional gravity”, Heavy Ion Phys., 10, 361, (1999).
Carter, J.S., Flath, D.E., and Saito, M., The classical and quantum 6jsymbols, vol. 43 of Mathematical Notes, (Princeton University Press, Princeton, U.S.A., 1995).
Chen, Y.J., “Quantum Liouville theory and BTZ black hole entropy”, Class. Quantum Grav., 21, 1153–1180, (2004). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0310234.
Clarke, C.J.S., The Analysis of SpaceTime Singularities, Cambridge Lecture Notes in Physics, (Cambridge University Press, Cambridge, U.K., 1993).
Cornfeld, I.P., Fomin, S.V., and Sinai, Y.G., Ergodic theory, vol. 245 of Grundlehren der mathematischen Wissenschaften, (Springer, New York, U.S.A., 1982).
Cornish, N.J., and Frankel, N.E., “Gravitation in 2+1 dimensions”, Phys. Rev. D, 43, 2555–2565, (1991).
Cosgrove, R., “Consistent evolution with different time slicings in quantum gravity”, Class. Quantum Grav., 13, 891–919, (1996). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9511059.
Coussaert, O., Henneaux, M., and van Driel, P., “The asymptotic dynamics of threedimensional Einstein gravity with a negative cosmological constant”, Class. Quantum Grav., 12, 2961–2966, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9506019.
Criscuolo, A., Quevedo, H., and Waelbroeck, H., “Quantization of (2+1) gravity on the torus”, in Khanna, F., and Vinet, L., eds., Field Theory, Integrable Systems and Symmetries, Lectures from the Congress of the Canadian Association of Physicists (CAP) held in Québec City, June 11–16, 1995, (CRM, Montreal, Canada, 1997) Related online version: http://arXiv.org/abs/grqc/9509041.
Crnkovic, C., and Witten, E., “Covariant description of canonical formalism in geometrical theories”, in Hawking, S.W., and Israel, W., eds., Three Hundred Years of Gravitation, 676–684, (Cambridge University Press, Cambridge, U.K.; New York, U.S.A., 1987).
Dasgupta, A., “The Real Wick Rotations in Quantum Gravity”, J. High Energy Phys., 07, 062, (2002). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0202018.
Dasgupta, A., and Loll, R., “A propertime cure for the conformal sickness in quantum gravity”, Nucl. Phys. B, 606, 357–379, (2001). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0103186.
Davids, S., “Semiclassical Limits of Extended Racah Coefficients”, J. Math. Phys., 41, 924–943, (2000). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9807061.
Davids, S., “A State Sum Model for (2+1) Lorentzian Quantum Gravity”, (2001). URL (cited on 5 January 2005): http://arXiv.org/abs/grqc/0110114.
de Sousa Gerbert, P., and Jackiw, R., “The Analysis of SpaceTime Singularities”, Commun. Math. Phys., 124, 229–260, (1989).
de Wit, B., Matschull, H.J., and Nicolai, H., “Physical States in d=3,N=2 Supergravity”, Phys. Lett. B, 318, 115–121, (1993). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9309006.
Deser, S., and Jackiw, R., “Threedimensional cosmological gravity: Dynamics of constant curvature”, Ann. Phys. (N.Y.), 153, 405–416, (1984). 1, 1
Deser, S., and Jackiw, R., “Classical and quantum scattering on a cone”, Commun. Math. Phys., 118, 495–509, (1988).
Deser, S., Jackiw, R., and ’t Hooft, G., “Three dimensional Einstein gravity: Dynamics of at space”, Ann. Phys. (N.Y.), 152, 220, (1984).
Deser, S., and van Nieuwenhuizen, P., “Nonrenormalizability of the quantized DiracEinstein system”, Phys. Rev. D, 10, 411–420, (1974).
DeWitt, B.S., “Gravity: a Universal Regulator?”, Phys. Rev. Lett., 13, 114–118, (1964).
DeWitt, B.S., “Quantum Theory of Gravity. I. The Canonical Theory”, Phys. Rev., 160, 1113–1148, (1967).
Dijkgraaf, R., Maldacena, J.M., Moore, G.W., and Verlinde, E., “A Black Hole Farey Tail”, (2000). URL (cited on 5 January 2005): http://arXiv.org/abs/hepth/0005003.
Dirac, P.A.M., “Generalized Hamiltonian dynamics”, Can. J. Math., 2, 129–148, (1950).
Dirac, P.A.M., “The Hamiltonian form of field dynamics”, Can. J. Math., 3, 1, (1951).
Dirac, P.A.M., “Generalized Hamilton dynamics”, Proc. R. Soc. London, Ser. A, 246, 326, (1958).
Dittrich, B., and Loll, R., “Hexagon model for 3D Lorentzian quantum cosmology”, Phys. Rev. D, 66, 0840161–15, (2002). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0204210.
Elitzur, S., Moore, G.W., Schwimmer, A., and Seiberg, N., “Remarks on the canonical quantization of the ChernSimonsWitten theory”, Nucl. Phys. B, 326, 108–134, (1989).
Ezawa, K., “Addendum to “Classical and Quantum Evolutions of the de Sitter and the antide Sitter Universes in 2+1 dimensions””, Phys. Rev. D, 50, 2935–2938, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9403160.
Ezawa, K., “Transition Amplitude in 2+1 dimensional ChernSimons Gravity on a Torus”, Int. J. Mod. Phys. A, 9, 4727–4746, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9305170.
Ezawa, K., “ChernSimons quantization of (2+1)antide Sitter gravity on a torus”, Class. Quantum Grav., 12, 373–391, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9409074.
Fay, J.D., “Fourier coefficients of the resolvent for a Fuchsian group”, J. reine angew. Math., 293, 143, (1977).
Fischer, A., and Tromba, A., “On a purely Riemmanian proof of the structure and dimension of the unramified moduli space of a compact Riemann surface”, Math. Ann., 267, 311–345, (1984).
Fock, V.V., and Rosly, A.A., “Poisson structure on moduli of flat connections on Riemann surfaces and the rmatrix”, Am. Math. Soc. Transl., 191, 67–86, (1999).
Forni, D.M., Iriondo, M., and Kozameh, C.N., “Null surfaces formulation in 3D”, J. Math. Phys., 41, 5517–5534, (2000). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0005120.
Franzosi, R., and Guadagnini, E., “Topology and classical geometry in (2+1) gravity”, Class. Quantum Grav., 13, 433–460, (1996).
Freidel, L., “A PonzanoRegge model of Lorentzian 3dimensional gravity”, Nucl. Phys. B (Proc. Suppl.), 88, 237–240, (2000). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0102098.
Freidel, L., KowalskiGlikman, J., and Smolin, L., “2+1 gravity and Doubly Special Relativity”, Phys. Rev. D, 69, 044001, (2004). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0307085.
Freidel, L., and Krasnov, K., “Discrete spacetime volume for threedimensional BF theory and quantum gravity”, Class. Quantum Grav., 16, 351–362, (1999). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9804185.
Freidel, L., and Krasnov, K., “Spin Foam Models and the Classical Action Principle”, Adv. Theor. Math. Phys., 2, 1183–1247, (1999). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9807092.
Freidel, L., and Livine, E.R., “Spin Networks for NonCompact Groups”, J. Math. Phys., 44, 1322–1356, (2003). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0205268.
Freidel, L., Livine, E.R., and Rovelli, C., “Spectra of length and area in (2+1) Lorentzian loop quantum gravity”, Class. Quantum Grav., 20, 1463–1478, (2003). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0212077.
Freidel, L., and Louapre, D., “Diffeomorphisms and spin foam models”, Nucl. Phys. B, 662, 279–298, (2003). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0212001.
Freidel, L., and Louapre, D., “Nonperturbative summation over 3D discrete topologies”, Phys. Rev. D, 68, 104004, (2003). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0211026.
Fujiwara, Y., “Geometrical construction of holonomy in threedimensional hyperbolic manifold”, Class. Quantum Grav., 10, 219–232, (1993).
Fujiwara, Y., Higuchi, S., Hosoya, A., Mishima, T., and Siino, M., “Nucleation of a universe in (2+1)dimensional gravity with a negative cosmological constant”, Phys. Rev. D, 44, 1756–1762, (2001).
Fujiwara, Y., and Soda, J., “Teichmüller Motion of (2+1)Dimensional Gravity with the Cosmological Constant”, Prog. Theor. Phys., 83, 733–748, (1990).
Gambini, R., and Pullin, J., Loops, Knots, Gauge Theories and Quantum Gravity, Cambridge Monographs on Mathematical Physics, (Cambridge University Press, Cambridge, U.K.; New York, U.S.A., 1996).
Gambini, R., and Pullin, J., “Large quantum gravity effects: backreaction on matter”, Mod. Phys. Lett. A, 12, 2407–2414, (1997). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9703088.
Gambini, R., and Pullin, J., “Consistent discretization and loop quantum geometry”, (2004). URL (cited on 5 January 2005): http://arXiv.org/abs/grqc/0409057.
GarcíaIslas, J. Manuel, “Observables in 3dimensional quantum gravity and topological invariants”, Class. Quantum Grav., 21, 3933–3952, (2004). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0401093.
Gegenberg, J., Kunstatter, G., and Leivo, H.P., “Topological matter coupled to gravity in 2+1 dimensions”, Phys. Lett. B, 252, 381–386, (1990).
Gibbons, G.W., and Hartle, J.B., “Real tunneling geometries and the largescale topology of the universe”, Phys. Rev. D, 42, 2458–2468, (1990).
Gibbons, G.W., Hawking, S.W., and Perry, M.J., “Path integrals and the indefiniteness of the gravitational action”, Nucl. Phys. B, 138, 141–150, (1978).
Giulini, D., and Louko, J., “Diffeomorphism invariant subspaces in Witten’s 2+1 quantum gravity on R × T^{2}”, Class. Quantum Grav., 12, 2735–2746, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9504035.
Giulini, D., and Marolf, D., “On the Generality of Refined Algebraic Quantization”, Class. Quantum Grav., 16, 2479–2488, (1999). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9812024.
Goldman, W.M., “The symplectic nature of fundamental groups of surfaces”, Adv. Math., 54, 200–225, (1984).
Goldman, W.M., “Invariant functions on Lie groups and Hamiltonian flows of surface group representations”, Invent. Math., 85, 263–302, (1986).
Goldman, W.M., in Goldman, W.M., and Magid, A.R., eds., Geometry of Group Representations, Proceedings of the AMSIMSSIAM Joint Summer Research Conference held July 5–11, 1987, vol. 74 of Contemporary Mathematics, (American Mathematical Society, Providence, U.S.A., 1988).
Goldman, W.M., “Topological components of spaces of representation”, Invent. Math., 93, 557–607, (1988).
Goroff, M.H., and Sagnotti, A., “The ultraviolet behavior of Einstein gravity”, Nucl. Phys. B, 266, 709–736, (1986).
Gukov, S., “ThreeDimensional Quantum Gravity, ChernSimons Theory, and the APolynomial”, (2003). URL (cited on 5 January 2005): http://arXiv.org/abs/hepth/0306165.
Hamber, H.W., and Williams, R.M., “Simplicial quantum gravity in three dimensions: Analytical and numerical results”, Phys. Rev. D, 47, 510–532, (1993).
Hartle, J.B., and Hawking, S.W., “Wave function of the Universe”, Phys. Rev. D, 28, 2960–2975, (1983).
Hasslacher, B., and Perry, M.J., “Spin networks are simplicial quantum gravity”, Phys. Lett. B, 103, 21–24, (1981).
Hawking, S.W., in Hawking, S.W., and Israel, W., eds., General Relativity: An Einstein Centenary Survey, (Cambridge University Press, Cambridge, U.K.; New York, U.S.A., 1979).
Hayashi, N., “Quantum Hilbert Space of G(C) CherSimonsWitten Theory and Gravity”, Prog. Theor. Phys. Suppl., 114, 125–147, (1993).
Hollmann, H.R., and Williams, R.M., “Hyperbolic geometry in ’t Hooft’s approach to (2+1)dimensional gravity”, Class. Quantum Grav., 16, 1503–1518, (1999). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9810021.
Horowitz, G.T., and Welch, D.L., “Exact Three Dimensional Black Holes in String Theory”, Phys. Rev. Lett., 71, 328–331, (1993). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9302126.
Hosoya, A., “Quantum smearing of spacetime singularity”, Class. Quantum Grav., 12, 2967–2975, (1995).
Hosoya, A., and Nakao, K., “(2+1)dimensional pure gravity for an arbitrary closed initial surface”, Class. Quantum Grav., 7, 163–176, (1990).
Hosoya, A., and Nakao, K., “(2+1)dimensional quantum gravity”, Prog. Theor. Phys., 84, 739–748, (1990).
Ionicioiu, R., “Amplitudes for topology change in TuraevViro theory”, Class. Quantum Grav., 15, 1885–1894, (1998).
Ionicioiu, R., and Williams, R.M., “Lens spaces and handlebodies in threedimensional quantum gravity”, Class. Quantum Grav., 15, 3469–3477, (1998). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9806027.
Isenberg, J.A., and Marsden, J.E., “A slice theorem for the space of solutions of Einstein’s equations”, Phys. Rep., 89, 179–222, (1982).
Isham, C.J., “Theta states induced by the diffeomorphism group in canonically quantized gravity”, in Duff, M.J., and Isham, C.J., eds., Quantum Structure of Space and Time, Proceedings of the Nuffield Workshop, Imperial College, London, 3–21 August, 1981, 37–52, (Cambridge University Press, Cambridge, U.K.; New York, U.S.A., 1982).
Isham, C.J., Salam, A., and Strathdee, J., “Infinity Suppression in GravityModified Quantum Electrodynamics”, Phys. Rev. D, 3, 1805–1817, (1971).
Isham, C.J., Salam, A., and Strathdee, J., “Infinity Suppression in GravityModified Electrodynamics. II”, Phys. Rev. D, 5, 2548–2565, (1972).
Iwaniec, H., in Rankin, R.A., ed., Modular Forms, Papers from a symposium on modular forms held June 30–July 10, 1983, University of Durham, England, (Ellis Horwood; Halsted Press, Chichester, U.K.; New York, U.S.A., 1984).
Jejjala, V., Leigh, R.G., and Minic, D., “The Cosmological Constant and the Deconstruction of Gravity”, Phys. Lett. B, 556, 71–79, (2003). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0212057.
Kádár, Z., and Loll, R., “(2+1) gravity for higher genus in the polygon model”, Class. Quantum Grav., 21, 2465–2491, (2004). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0312043.
Kaloper, N., “Miens of The Three Dimensional Black Hole”, Phys. Rev. D, 48, 2598–2605, (1993). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9303007.
KowalskiGlikman, J., “Introduction to Doubly Special Relativity”, (2004). URL (cited on 5 January 2005): http://arXiv.org/abs/hepth/0405273.
Krasnov, K., “On holomorphic factorization in asymptotically AdS 3D gravity”, Class. Quantum Grav., 20, 4015–4042, (2003). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0109198.
Kuchař, K., in Kunstatter, G., Vincent, D.E., and Williams, J.G., eds., General Relativity and Relativistic Astrophysics, Proceedings of the 4th Canadian Conference, University of Winnipeg, 16–18 May, 1991, 211, (World Scientific, Singapore; River Edge, U.S.A., 1992).
Kugo, T., unknown status. Kyoto preprint KUNS 1014 HE(TH)90/05 (1990).
Lee, J., and Wald, R.M., “Local symmetries and constraints”, J. Math. Phys., 31, 725–473, (1990).
Leutwyler, H., Nuovo Cimento, 42, 159, (1966).
Livine, E.R., and Oeckl, R., “Threedimensional Quantum Supergravity and Supersymmetric Spin Foam”, Adv. Theor. Math. Phys., 7, 951–1001, (2004). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0307251.
Loll, R., “Independent Loop Invariants for 2+1 Gravity”, Class. Quantum Grav., 12, 1655–1662, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9408007.
Loll, R., “Discrete Approaches to Quantum Gravity in Four Dimensions”, Living Rev. Relativity, 1, lrr199813, (1998). URL (cited on 5 January 2005): http://www.livingreviews.org/lrr199813.
Loll, R., “Discrete Lorentzian quantum gravity”, Nucl. Phys. B (Proc. Suppl.), 94, 96–107, (2001). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0011194.
Louko, J., “Witten’s 2+1 gravity on R x (Klein bottle)”, Class. Quantum Grav., 12, 2441–2468, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9505026.
Louko, J., and Marolf, D., “Solution space of 2+1 gravity on R × T^{2} in Witten’s connection formulation”, Class. Quantum Grav., 11, 311–330, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9308018.
Louko, J., and Matschull, H.J., “The 2+1 Kepler Problem and Its Quantization”, Class. Quantum Grav., 18, 2731–2784, (2001). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0103085.
Maass, H., Lectures on Modular Functions of One Complex Variable, vol. 29 of Lectures on Mathematics and Physics. Mathematics, (Tata Institute of Fundamental Research, Bombay, India, 1964).
Magueijo, J., and Smolin, L., “Lorentz invariance with an invariant energy scale”, Phys. Rev. Lett., 88, 190403, (2002). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0112090.
Mäakeläa, J., “Simplicial WheelerDeWitt equation in 2+1 spacetime dimensions”, Phys. Rev. D, 48, 1679–1686, (1993).
Maldacena, J.M., and Ooguri, H., “Strings in AdS_{3} and the SL(2,R) WZW model. I: The spectrum”, J. Math. Phys., 42, 2929–2960, (2001). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0001053.
Maldacena, J.M., and Ooguri, H., “Strings in AdS_{3} and the SL(2,R) WZW model. II: Euclidean black hole”, J. Math. Phys., 42, 2961–2977, (2001). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0005183.
Maldacena, J.M., and Ooguri, H., “Strings in AdS_{3} and the SL(2,R) WZW model. III. Correlation functions”, Phys. Rev. D, 65, 1060061–43, (2002). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0111180.
Mandelstam, S., “Feynman Rules for Electromagnetic and YangMills Fields from the GaugeIndependent FieldTheoretic Formalism”, Phys. Rev., 175, 1580–1603, (1968).
Manuel GarcíaIslas, J., “(2+1)dimensional quantum gravity, spin networks and asymptotics”, Class. Quantum Grav., 21, 445–464, (2004). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0307054.
Marolf, D., “Loop representations for 2+1 gravity on a torus”, Class. Quantum Grav., 10, 2625–2647, (1993). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9303019.
Martinec, E.J., “Soluble systems in quantum gravity”, Phys. Rev. D, 30, 1198–1204, (1984).
Matschull, H.J., “On the relation between 2+1 Einstein gravity and Chern Simons theory”, Class. Quantum Grav., 16, 2599–2609, (1999). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9903040.
Matschull, H.J., “The Phase Space Structure of Multi Particle Models in 2+1 Gravity”, Class. Quantum Grav., 18, 3497–3560, (2001). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0103084.
Matschull, H.J., and Nicolai, H., “Canonical quantum supergravity in three dimensions”, Nucl. Phys. B, 411, 609–649, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9306018.
Matschull, H.J., and Welling, M., “Quantum Mechanics of a Point Particle in 2+1 Dimensional Gravity”, Class. Quantum Grav., 15, 2981–3030, (1998). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9708054.
Mazur, P.O., and Mottola, E., “The path integral measure, conformal factor problem and stability of the ground state of quantum gravity”, Nucl. Phys. B, 341, 187–212, (1990).
Menotti, P., and Seminara, D., “ADM Approach to 2+1 Dimensional Gravity Coupled to Particles”, Ann. Phys. (N.Y.), 279, 282–310, (2000). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9907111.
Mess, G., “Lorentz Spacetimes of Constant Curvature”, unknown status, (1990). Institut des Hautes Etudes Scientifiques preprint IHES/M/90/28.
Meusburger, C., and Schroers, B.J., “Poisson structure and symmetry in the ChernSimons formulation of (2+1)dimensional gravity”, Class. Quantum Grav., 20, 2193–2234, (2003). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0301108.
Minassian, E.A., “Spacetime Singularities in (2+1)Dimensional Quantum Gravity”, Class. Quantum Grav., 19, 5877–5901, (2002). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0203026.
Mizoguchi, S., and Tada, T., “3dimensional Gravity and the TuraevViro Invariant”, Prog. Theor. Phys. Suppl., 110, 207, (1992).
Mizoguchi, S., and Tada, T., “3dimensional Gravity from the TuraevViro Invariant”, Phys. Rev. Lett., 68, 1795–1798, (1992). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9110057.
Mizoguchi, S., and Yamamoto, H., “On the stability of renormalizable expansions in threedimensional gravity”, Phys. Rev. D, 50, 7351–7362, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9307131.
Moncrief, V., “Reduction of the Einstein equations in 2+1 dimensions to a Hamiltonian system over Teichmuller space”, J. Math. Phys., 30, 2907–2914, (1989).
Moncrief, V., “How solvable is (2+1)dimensional Einstein gravity?”, J. Math. Phys., 31, 2978–2982, (1990).
Nelson, J.E., and Picken, R.F., “Quantum Holonomies in (2+1)Dimensional Gravity”, Phys. Lett. B, 471, 367–372, (2000). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9911005.
Nelson, J.E., and Picken, R.F., “Parametrization of the moduli space of flat SL(2,R) connections on the torus”, Lett. Math. Phys., 59, 215–226, (2002). Related online version (cited on 5 January 2005): http://arXiv.org/abs/mathph/0105015.
Nelson, J.E., and Regge, T., “Homotopy groups and 2+1 dimensional quantum gravity”, Nucl. Phys. B, 328, 190–202, (1989).
Nelson, J.E., and Regge, T., “Homotopy groups and (2+1)dimensional quantum de Sitter gravity”, Nucl. Phys. B, 339, 516–532, (1990).
Nelson, J.E., and Regge, T., “(2+1) gravity for genus ¿ 1”, Commun. Math. Phys., 141, 211–223, (1991).
Nelson, J.E., and Regge, T., “2+1 quantum gravity”, Phys. Lett. B, 272, 213–216, (1991).
Nelson, J.E., and Regge, T., “Quantisation of 2+1 gravity for genus 2”, Phys. Rev. D, 50, 5125–5129, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9311029.
Noui, K., and Perez, A., “Three dimensional loop quantum gravity: coupling to point particles”, (2004). URL (cited on 5 January 2005): http://arXiv.org/abs/grqc/0402111.
Noui, K., and Perez, A., “Three dimensional loop quantum gravity: physical scalar product and spin foam models”, (2004). URL (cited on 5 January 2005): http://arXiv.org/abs/grqc/0402110.
Okamura, T., and Ishihara, H., “Perturbation of highergenus spatial surfaces in (2+1)dimensional gravity”, Phys. Rev. D, 46, 572–577, (1992).
Okamura, T., and Ishihara, H., “Perturbation of highergenus surfaces in (2+1)dimensional gravity with a cosmological constant”, Phys. Rev. D, 47, 1706–1708, (1993).
Ooguri, H., “Partition Functions and TopologyChanging Amplitudes in the 3D Lattice Gravity of Ponzano and Regge”, Nucl. Phys. B, 382, 276–304, (1992). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9112072.
Ooguri, H., and Sasakura, N., “Discrete and Continuum Approaches to ThreeDimensional Quantum Gravity”, Mod. Phys. Lett. A, 6, 3591–3600, (1991). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9108006.
Peldán, P., “Large Diffeomorphisms in (2+1)Quantum Gravity on the Torus”, Phys. Rev. D, 53, 3147–3155, (1996). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9501020.
Perez, A., “Spin foam models for quantum gravity”, Class. Quantum Grav., 20, R43–R104, (2003). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0301113.
Petryk, R., and Schleich, K., “Conditional probabilities in PonzanoRegge minisuperspace”, Phys. Rev. D, 67, 0240191–13, (2003). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0109083.
Pierri, M., “Probing Quantum General Relativity Through Exactly Soluble MidiSuperspaces II: Polarized Gowdy Models”, Int. J. Mod. Phys. D, 11, 135, (2002). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0101013.
Ponzano, G., and Regge, T., in Bloch, F. et al., ed., Spectroscopic and group theoretical methods in physics: Racah memorial volume, (NorthHolland, Amsterdam, Netherlands, 1968).
Puzio, R.S., “The Gauss map and 2+1 gravity”, Class. Quantum Grav., 11, 2667–2675, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9403012.
Puzio, R.S., “On the square root of the LaplaceBeltrami operator as a Hamiltonian”, Class. Quantum Grav., 11, 609–620, (1994).
Rama, S.K., and Sen, S., “3D manifolds, graph invariants, and ChernSimons theory”, Mod. Phys. Lett. A, 7, 2065–2076, (1992).
Ratcliffe, J.G., and Tschantz, S.T., “On the Growth of the Number of Hyperbolic Gravitational Instantons with Respect to Volume”, Class. Quantum Grav., 17, 2999–3007, (2000). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0009004.
Ray, D.B., and Singer, I.M., “Rtorsion and the Laplacian on Riemannian manifolds”, Adv. Math., 7, 145–210, (1971).
Regge, T., “General relativity without coordinates”, Nuovo Cimento, 19, 558–571, (1961).
Regge, T., and Williams, R.M., “Discrete structures in gravity”, J. Math. Phys., 41, 3964–3984, (2000). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/0012035.
Roberts, J., “Skein theory and TuraevViro invariants”, Topology, 34, 771–788, (1995).
Roberts, J.D., “Classical 6jsymbols and the tetrahedron”, Geom. Topol., 3, 21–66, (1999). Related online version (cited on 5 January 2005): http://arXiv.org/abs/mathph/9812013.
Rocek, M., and Williams, R.M., “Threedimensional Einstein gravity and Regge calculus”, Class. Quantum Grav., 2, 701–706, (1985).
Rovelli, C., “Quantum mechanics without time: A model”, Phys. Rev. D, 42, 2638–2646, (1990).
Rovelli, C., “Time in quantum gravity: An hypothesis”, Phys. Rev. D, 43, 442–456, (1991).
Rovelli, C., “The basis of the PonzanoReggeTuraevViroOoguri model is the loop representation basis”, Phys. Rev. D, 48, 2702–2707, (1993). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9304164.
Rovelli, C., “Loop Quantum Gravity”, Living Rev. Relativity, 1, lrr19981, (1998). URL (cited on 5 January 2005): http://www.livingreviews.org/lrr19981.
Rovelli, C., “Notes for a brief history of quantum gravity”, (2000). URL (cited on 5 January 2005): http://arXiv.org/abs/grqc/0006061.
Rovelli, C., Colosi, D., Doplicher, L., Fairbairn, W., Modesto, L., and Noui, K., “Background independence in a nutshell”, (2004). URL (cited on 5 January 2005): http://arXiv.org/abs/grqc/0408079.
Sasakura, N., “Exact threedimensional lattice gravities”, Prog. Theor. Phys. Suppl., 110, 191–206, (1992).
Schwarz, A.S., “The partition function of degenerate quadratic functional and RaySinger invariants”, Lett. Math. Phys., 2, 247–252, (1978).
Schwarz, A.S., “The partition function of a degenerate functional”, Commun. Math. Phys., 67, 1–16, (1979).
Seriu, M., “Partition Function for (2+1)Dimensional Einstein Gravity”, Phys. Rev. D, 55, 781–790, (1997). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9609052.
Staruszkiewicz, A., “Gravitation theory in threedimensional space”, Acta Phys. Pol., 6, 734, (1963).
Strominger, A., “Black Hole Entropy from NearHorizon Microstates”, J. High Energy Phys., 02, 009, (1998). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9712251.
Sullivan, D., and Thurston, W.P., “Manifolds with canonical coordinate charts: Some examples”, Enseign. Math., 29, 15–25, (1983).
’t Hooft, G., “Nonperturbative 2 particle scattering amplitudes in 2+1 dimensional quantum gravity”, Commun. Math. Phys., 117, 685–700, (1988).
’t Hooft, G., “Causality in (2+1)dimensional gravity”, Class. Quantum Grav., 9, 1335–1348, (1992).
’t Hooft, G., “Canonical Quantization of Gravitating Point Particles in 2+1 Dimensions”, Class. Quantum Grav., 10, 1653–1664, (1993). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9305008.
’t Hooft, G., “Classical Nparticle cosmology in 2+1 dimensions”, Class. Quantum Grav., 10, S79–S91, (1993).
’t Hooft, G., “The evolution of gravitating point particles in 2+1 dimensions”, Class. Quantum Grav., 10, 1023–1038, (1993).
’t Hooft, G., “Quantization of Point Particles in 2+1 Dimensional Gravity and SpaceTime Discreteness”, Class. Quantum Grav., 13, 1023–1040, (1996). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9601014.
Taylor, Y.U., and Woodward, C.T., “6j symbols for U_{q}(sl_{2}) and nonEuclidean tetrahedra”, (2003). URL (cited on 5 January 2005): http://arXiv.org/abs/math.QA/0305113.
Thurston, W.P., The Geometry and Topology of ThreeManifolds, Princeton Lecture Notes, (Princeton University Press, Princeton, U.S.A., 1979). Related online version (cited on 5 January 2005): http://www.msri.org/publications/books/gt3m/.
Torre, C.G., “Gravitational observables and local symmetries”, Phys. Rev. D, 48, 2373–2376, (1993). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9306030.
Torre, C.G., and Varadarajan, M., “Functional evolution of free quantum fields”, Class. Quantum Grav., 16, 2651–2668, (1999). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9811222.
Troost, J., and Tsuchiya, A., “Towards black hole scattering”, Phys. Lett. B, 574, 301–308, (2003). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/0307158.
Turaev, V.G., “Quantum invariants of 3manifolds and a glimpse of shadow topology”, C. R. Acad. Sci. Ser. I, 313, 395–398, (1991).
Turaev, V.G., Quantum Invariants of Knots and 3Manifolds, vol. 18 of De Gruyter Studies in Mathematics, (Walter de Gruyter, Berlin, Germany; New York, U.S.A., 1994).
Turaev, V.G., and Viro, O.Y., “State Sum Invariants of 3Manifolds and Quantum 6jSymbols”, Topology, 31, 865–902, (1992).
Unruh, W.G., and Newbury, P., “Solution to 2+1 gravity in dreibein formalism”, Int. J. Mod. Phys. D, 3, 131–138, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9307029.
Valtancoli, P., “(2+1)AdS Gravity on Riemann Surfaces”, Int. J. Mod. Phys. A, 16, 2817–2839, (2001). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9907174.
Varadarajan, M., “On the metric operator for quantum cylindrical waves”, Class. Quantum Grav., 17, 189–199, (2000). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9910043.
Waelbroeck, H., “2+1 lattice gravity”, Class. Quantum Grav., 7, 751, (1990).
Waelbroeck, H., “Timedependent solutions of 2+1 gravity”, Phys. Rev. Lett., 64, 2222–2225, (1990).
Waelbroeck, H., “Solving the timeevolution problem in 2+1 gravity”, Nucl. Phys. B, 364, 475–494, (1991).
Waelbroeck, H., “Canonical quantization of (2+1)dimensional gravity”, Phys. Rev. D, 50, 4982–4992, (1994). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9401022.
Waelbroeck, H., and Zapata, J.A., “Translation symmetry in 2+1 Regge calculus”, Class. Quantum Grav., 10, 1923–1932, (1993).
Waelbroeck, H., and Zapata, J.A., “(2+1) covariant lattice theory and’ t Hooft’s formulation”, Class. Quantum Grav., 13, 1761–1768, (1996). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9601011.
Wald, R.M., “Black hole entropy is Noether charge”, Phys. Rev. D, 48, R3427–R3431, (1993). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9307038.
Waldron, A., “Milne and Torus Universes Meet”, (2004). URL (cited on 5 January 2005): http://arXiv.org/abs/hepth/0408088.
Welling, M., “The Torus Universe in the Polygon Approach to 2+1Dimensional Gravity”, Class. Quantum Grav., 14, 929–943, (1997). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9606011.
Welling, M., “Two particle Quantummechanics in 2+1 Gravity using Non Commuting”, Class. Quantum Grav., 14, 3313–3326, (1997). Related online version (cited on 5 January 2005): http://arXiv.org/abs/grqc/9703058.
Wheeler, J.A., “Superspace and the nature of quantum geometrodynamics”, in DeWitt, C., and Wheeler, J.A., eds., Battelle Rencontres: 1967 Lectures in Mathematics and Physics, (W.A. Benjamin, New York, U.S.A., 1968).
Witten, E., “2+1 dimensional gravity as an exactly soluble system”, Nucl. Phys. B, 311, 46–78, (1988).
Witten, E., “Quantum field theory and the Jones polynomial”, Commun. Math. Phys., 121, 351–399, (1989).
Witten, E., “Topologychanging amplitudes in 2+1 dimensional gravity”, Nucl. Phys. B, 323, 113–140, (1989).
Witten, E., “Quantization of ChernSimons gauge theory with complex gauge group”, Commun. Math. Phys., 137, 29–66, (1991).
Witten, E., “Is Supersymmetry Really Broken?”, Int. J. Mod. Phys. A, 10, 1247–1248, (1995). Related online version (cited on 5 January 2005): http://arXiv.org/abs/hepth/9409111.
Woodard, R.P., “Enforcing the WheelerDeWitt constraint the easy way”, Class. Quantum Grav., 10, 483–496, (1993).
Wu, S., “Topological quantum field theories on manifolds with a boundary”, Commun. Math. Phys., 136, 157–168, (1991).
York Jr, J.W., “Role of Conformal ThreeGeometry in the Dynamics of Gravitation”, Phys. Rev. Lett., 28, 1082–1085, (1972).
Acknowledgements
I would like to thank Giovanni Arcioni, John Barrow, Roman Jackiw, Nemanja Kaloper, Jorma Louko, and Vincent Moncrief for useful comments. This review is dedicated to the memory of Bryce DeWitt, who taught me, and the world, much of what we know about quantum gravity. This work was supported in part by Department of Energy grant DEFG0291ER40674.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Carlip, S. Quantum Gravity in 2 + 1 Dimensions: The Case of a Closed Universe. Living Rev. Relativ. 8, 1 (2005). https://doi.org/10.12942/lrr20051
Accepted:
Published:
DOI: https://doi.org/10.12942/lrr20051