Math 2.0

Relativity and gravitational theory Quantum gravity Example

Three-dimensional gravity and BTZ black hole

Builds on Einstein field equationsCosmological constantAnti-de Sitter spaceEvent horizonSpace form

Example

In a spacetime of dimension 33, the Einstein field equations in vacuum with cosmological constant Λ\Lambda are Rab−12Rgab+Λgab=0R_{ab} - \tfrac{1}{2} R g_{ab} + \Lambda g_{ab} = 0. Taking the trace gives R=6ΛR = 6\Lambda and then Rab=2ΛgabR_{ab} = 2\Lambda g_{ab}. In dimension 33 the Weyl tensor vanishes identically, so the Riemann tensor is determined by the Ricci tensor. Hence every solution has constant sectional curvature Λ\Lambda. So three-dimensional gravity has no local degrees of freedom: every vacuum solution is locally Minkowski, de Sitter or anti-de Sitter.

Let Λ=−1/ℓ2\Lambda = -1/\ell^2 with ℓ>0\ell > 0, and use units with c=1c = 1 and 8G=18G = 1. For constants M>0M > 0 and JJ with ∣J∣≤Mℓ\abs{J} \le M\ell, the BTZ black hole is the metric ds2=−f(r) dt2+dr2f(r)+r2(dϕ−J2r2 dt)2,f(r)=−M+r2ℓ2+J24r2,ds^2 = -f(r)\, dt^2 + \frac{dr^2}{f(r)} + r^2 \left( d\phi - \frac{J}{2r^2}\, dt \right)^2, \qquad f(r) = -M + \frac{r^2}{\ell^2} + \frac{J^2}{4r^2}, with ϕ\phi an angle of period 2π2\pi. It has constant curvature −1/ℓ2-1/\ell^2, so it solves the equations above, and it is locally isometric to anti-de Sitter space. The zeros of ff are at r±2=ℓ22(M±M2−J2/ℓ2)r_\pm^2 = \tfrac{\ell^2}{2}\left( M \pm \sqrt{M^2 - J^2/\ell^2} \right), and the outer one, r=r+r = r_+, is an event horizon.

Remarks

Check of the horizons: r2f(r)=r4/ℓ2−Mr2+J2/4r^2 f(r) = r^4/\ell^2 - M r^2 + J^2/4 is a quadratic polynomial in r2r^2 with roots r±2r_\pm^2, which are real and nonnegative exactly when M>0M > 0 and ∣J∣≤Mℓ\abs{J} \le M\ell. For J=0J = 0 there is one horizon, at r+=ℓMr_+ = \ell\sqrt{M}. The choice M=−1M = -1, J=0J = 0 gives f(r)=1+r2/ℓ2f(r) = 1 + r^2/\ell^2, which is anti-de Sitter space itself, and −1<M<0-1 < M < 0 gives conical defects, not black holes. The BTZ black hole has no curvature singularity, since its curvature is constant. It is a black hole because of its global causal structure. It is a quotient of a region of anti-de Sitter space by a discrete group of isometries. It was found by Bañados, Teitelboim and Zanelli in 1992. Like black holes in four dimensions, it has a Hawking temperature and an entropy proportional to the horizon length 2πr+2\pi r_+.

Reading path

To understand this page from the ground up, read these 24 pages in order. The foundations come first.

Show the path as a graph
Bilinear form, concept, no evidence levelBilinear formconceptCayley–Klein metric, concept, no evidence levelCayley–Klein metricconceptCosmological constant, concept, no evidence levelCosmological constantconceptEinstein field equations, concept, no evidence levelEinstein field equati…conceptEinstein manifold, concept, no evidence levelEinstein manifoldconceptEvent horizon, concept, no evidence levelEvent horizonconceptHyperbolic cosine, concept, no evidence levelHyperbolic cosineconceptHyperbolic geometry, concept, no evidence levelHyperbolic geometryconceptIdentity matrix, object, no evidence levelIdentity matrixobjectMatrix, definition, no evidence levelMatrixdefinitionPoincaré disk model, object, no evidence levelPoincaré disk modelobjectQuadratic form, concept, no evidence levelQuadratic formconceptSectional curvature, concept, no evidence levelSectional curvatureconceptSignature of a quadratic form, concept, no evidence levelSignature of a quadra…conceptSpace form, concept, no evidence levelSpace formconceptUniversal cover, concept, no evidence levelUniversal coverconceptBeltrami–Klein model, example, no evidence levelBeltrami–Klein modelexampleTranspose, definition, no evidence levelTransposedefinitionOrthogonal matrix, definition, no evidence levelOrthogonal matrixdefinitionOrthogonal group, object, no evidence levelOrthogonal groupobjectIndefinite orthogonal group, example, no evidence levelIndefinite orthogonal…exampleHyperboloid model, example, no evidence levelHyperboloid modelexampleAnti-de Sitter space, example, no evidence levelAnti-de Sitter spaceexampleThree-dimensional gravity and BTZ black hole, example, no evidence levelThree-dimensional gra…example
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Bilinear form concept
  2. Cayley–Klein metric concept
  3. Cosmological constant concept
  4. Einstein field equations concept
  5. Einstein manifold concept
  6. Event horizon concept
  7. Hyperbolic cosine concept
  8. Hyperbolic geometry concept
  9. Identity matrix object
  10. Matrix definition
  11. Poincaré disk model object
  12. Quadratic form concept
  13. Sectional curvature concept
  14. Signature of a quadratic form concept
  15. Space form concept
  16. Universal cover concept
  17. Beltrami–Klein model example
  18. Transpose definition
  19. Orthogonal matrix definition
  20. Orthogonal group object
  21. Indefinite orthogonal group example
  22. Hyperboloid model example
  23. Anti-de Sitter space example
  24. Three-dimensional gravity and BTZ black hole example

Further reading

  1. Web https://en.wikipedia.org/wiki/BTZ_black_hole
About this page
TagXV0MFX6SA2
URIm2://XV0MFX6SA2
Kindexample
WritingW0 stub
MSC83C80, 83C57, 83C15
Instance ofBlack hole
UsesEinstein field equations, Cosmological constant, Anti-de Sitter space, Event horizon, Space form
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.