Pith. Sign in

REVIEW

The Quantum Stress Tensor in the Three Dimensional Black Hole

General Relativity and Quantum Cosmology · Submitted 27 Aug 1993 · 16 references

Pith's verdict: The rotating BTZ stress tensor in closed form is a real, checkable result; the jump from a measure-zero divergence to 'the inner horizon is unstable' is asserted in one line and should be softened, not rejected.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 13, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 6 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDgr-qc/9308032 (version 2)
Pith IDOHJU72MM, Pith's permanent record of this paper and its review
CitationAlan R. Steif. "The Quantum Stress Tensor in the Three Dimensional Black Hole." arXiv:gr-qc/9308032 (1993). https://pith.science/paper/OHJU72MM
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

A quantum field's stress tensor in the 2+1 dimensional black hole stays finite at the outer horizon, diverges at the static singularity, and blows up on surfaces that pile up at the rotating solution's inner horizon.

The reading

Steif asks what a quantum field does to the (2+1)-dimensional black hole of Banados, Teitelboim and Zanelli — a spacetime that is anti-de Sitter space with points identified by a boost, so that it has a horizon, a singularity, and, when spinning, both an outer and an inner horizon. The tool is the Green's function, built for the covering anti-de Sitter space and then summed over the identified images; the stress tensor follows by point-splitting and subtracting the coincident term. For the non-rotating hole the answer is well behaved on the event horizon and blows up as $r^{-3}$ at the singularity, with a negative energy density in the manner of the Casimir effect. For the rotating hole the outer horizon is again smooth, but inside the hole the stress tensor diverges on a discrete family of surfaces where a point and its image are joined by a null geodesic, and those surfaces accumulate at the inner horizon. The author reads this as evidence that the inner horizon does not survive quantum effects.

What carries the argument

The load-bearing device is the method of images applied to the anti-de Sitter Green's function. In the covering space, the conformally coupled scalar's Green's function is the flat three-dimensional form $1/(4π|x-x'|)$ in the four-dimensional embedding, with $|x-x'|$ the chordal distance; the black hole is that space quotiented by the boost $Λ$ of Eq. (8), so the Green's function becomes $G(x,x') = (1/4π)∑_n |x - Λ^n x'|^{-1}$. Renormalization is then a subtraction: drop the $n=0$ term. The stress tensor is obtained by point-splitting the classical expression and pulling the resulting embedding-space tensor back to the three-dimensional spacetime, Eq. (17). The polarized hypersurface — a surface whose points are joined to their own images by null geodesics — is the object that converts a formal divergence in the image sum into a physical statement about where the stress tensor becomes singular.

Extended reading notes

Core claim

The paper's central claim is that the renormalized quantum stress tensor of a conformally coupled massless scalar in the rotating 2+1 dimensional black hole is finite at the outer horizon but divergent near the inner horizon, and that this divergence signals a quantum-mechanical instability of the inner horizon against the formation of a curvature singularity. The mechanism is geometric: the image sum for the Green's function has denominators $d_n = |x-Λ^n x|^2$, and $d_n$ vanishes precisely on the surfaces $ρ = ρ_n = -l^2(��cosh nα_- - 1)/(��cosh nα_+ - ��cosh nα_-)$, where a spacetime point and its $n$-th image are connected by a null geodesic. On each such polarized hypersurface the stress tensor diverges as $s^{-5/2}$ in geodesic distance $s$, and integrating the field equation twice gives a metric perturbation growing as $s^{-1/2}$. Because the surfaces approach $r=0$ as $n o ∞$, the inner horizon is where the effect concentrates. The author is careful to note that the stress tensor is finite at the inner horizon when approached from outside, since that surface is not compactly generated; the divergence lives on the polarized surfaces inside.

Load-bearing premise

The step from a divergent stress tensor to a destroyed inner horizon assumes that substituting the fixed-background stress tensor into the linearized field equation and integrating twice gives a metric perturbation that stays small enough for the linear approximation to remain valid as the divergence is approached.

Editorial extensions

If this is right

  • For the non-rotating hole, the stress tensor is smooth on the event horizon, so the horizon itself is not where quantum effects break down; the breakdown is at $r=0$, where it scales as $r^{-3}$.
  • The energy density outside the non-rotating hole is negative, in analogy with the Casimir effect, and the stress tensor is traceless and conserved.
  • For the rotating hole, the outer horizon is regular, but the inner horizon is approached by a sequence of surfaces on which the stress tensor diverges, so the interior geometry is not the classical one.
  • The back-reacted metric perturbation grows as $s^{-1/2}$ near each polarized hypersurface, which the author reads as the inner horizon being replaced by a curvature singularity.
  • In the extremal case $M = J/l$ the stress tensor is smooth everywhere but diverges asymptotically, so extremal and non-extremal rotating holes behave differently.
  • As $M o ∞$ the identification becomes trivial and the stress tensor vanishes, matching the expectation that the anti-de Sitter covering space is recovered.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The divergence is a property of the image sum and the boost's fixed-point structure, so the same polarized-hypersurface mechanism should appear for any quotient of anti-de Sitter space by a boost with two unequal parameters, not only for this black hole.
  • Because the effect is largest where a point and its image are null-separated, it is a self-intersection of null geodesics under the identification — the same geometric ingredient that drives classical mass inflation at inner horizons, which suggests the classical and quantum stories here share a cause.
  • The transparent boundary condition ($λ=0$) was chosen for convenience; the Dirichlet and Neumann Green's functions differ by an antipodal term, so a reader could check whether the $s^{-5/2}$ divergence and its location survive those choices.
  • A full calculation would need the stress tensor evaluated on the back-reacted metric rather than the fixed classical one; until then the instability claim is an estimate rather than a solution.
Original abstract

The quantum stress tensor $<T_{\mu\nu}>$ is calculated in the 2+1 dimensional black hole found by Banados, Teitelboim, and Zanelli. The Greens function, from which $<T_{\mu\nu}> $ is derived, is obtained by the method of images. For the non-rotating black hole, it is shown that $<T_{\mu\nu}>$ is finite on the event horizon, but diverges at the singularity. For the rotating solution, the stress tensor is finite at the outer horizon, but diverges near the inner horizon. This suggests that the inner horizon is quantum mechanically unstable against the formation of a singularity.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 4,242 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.26 · human participants 0.01 · controlled comparison 0.03 · randomized assignment 0.01 · states quantitative result 0.07 · compares with prior results 0.06 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; .

The quantum stress tensor $<T_{\mu\nu}>$ is calculated in the 2+1 dimensional black hole found by Banados, Teitelboim, and Zanelli. The Greens function, from which $<T_{\mu\nu}> $ is derived, is obtained by the method of images. For the non-rotating black hole, it is shown that $<T_{\mu\nu}>$ is finite on the event horizon, but diverges at the singularity. For the rotating solution, the stress tensor is finite at the outer horizon, but diverges near the inner horizon. This suggests that the inner horizon is quantum mechanically unstable against the formation of a singularity.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 The quantum stress tensor $<T_{\mu\nu}>$ is calculated in the 2+1 dimensional black hole found by Banados, Teitelboim, and Zanelli. contribution 0.98 0.84 0.04 asserted 1.00
s1 The Greens function, from which $<T_{\mu\nu}> $ is derived, is obtained by the method of images. method 1.00 0.83 0.02 asserted 1.00
s2 For the non-rotating black hole, it is shown that $<T_{\mu\nu}>$ is finite on the event horizon, but diverges at the singularity. result 1.00 0.89 0.14 asserted 1.00
s3 For the rotating solution, the stress tensor is finite at the outer horizon, but diverges near the inner horizon. result 1.00 0.88 0.12 asserted 1.00
s4 This suggests that the inner horizon is quantum mechanically unstable against the formation of a singularity. interpretation 1.00 0.60 0.81 hedged possibility 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How the literature uses it

32 arXiv papers cite this in 58 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 38 sentences without a confident label

Contests it 1 paper
Uses its method or tool 4 papers
Compares with it 3 papers
  • The rotating and charged holographic quantum black holes, meanwhile, do not match to the non-holographic perturbatively-corrected counterparts (cf. [ref] ).

    Three-dimensional quantum black holes: a primer · Holographic quantum black holes: a conjecture · 0.92

  • Note that the schematic form of the quantum stress tensor agrees qualitatively with the result of [ref] .

    Hawking radiation from AdS black holes · Rotating BTZ black hole · 1.00

  • This form is very similar to the one of a free conformal scalar field [ref] and for a holographic CFT dual to a four-dimensional bulk [ref] , [equation] On the other hand, we find that $fH_rr$ grows toward the AdS boundary and $fH_rr≃H_vv$ near $u=0$ by eq.

    Semiclassical Einstein equations from holography and boundary dynamics · Static perturbations · 0.89

Cites it as background 9 papers

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.