Pith. Sign in

REVIEW

A point mass in an isotropic universe. Existence, uniqueness and basic properties

General Relativity and Quantum Cosmology · Submitted 12 May 1998 · 25 references

Pith's verdict: The Hawking-mass diagnostic that kills McVittie's k=-1 solution is the real contribution, and it holds up; the existence proof is sound, with §V-D the one place the interpretation outruns the derivation.

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 →

· 3 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/9805041 (version 1)
Pith IDSORORS6O, Pith's permanent record of this paper and its review
CitationBrien C. Nolan. "A point mass in an isotropic universe. Existence, uniqueness and basic properties." arXiv:gr-qc/9805041 (1998). https://pith.science/paper/SORORS6O
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 point mass can be embedded in an open, negatively curved Robertson–Walker universe, but McVittie's 1933 metric for that case is not the solution: its quasi-local mass diverges at infinity.

The reading

Nolan asks what it should mean, precisely, for a spacetime to describe a single point mass sitting in an expanding open universe, and answers with three conditions: spherical symmetry with a shear-free perfect fluid, metric coefficients that tend to those of a Robertson–Walker background as $r$ grows, and a Hawking quasi-local mass that is exactly a fixed positive constant $m_0$ on every metric two-sphere. He then tests McVittie's 1933 solutions against these conditions and finds a split verdict: the flat ($k=0$) case passes, because its renormalised Hawking mass is just $m_0$, but the negatively curved ($k=-1$) case fails, because the mass measured at infinity diverges. The paper's constructive half proves that a $k=-1$ solution does exist anyway, by reducing the field equations to a single nonlinear second-order equation $y'' = G(x)y^2$ with $G = O(x^{-5})$ and solving it by a convergent power series near infinity, with uniqueness among analytic solutions. What would follow if the argument holds is that the intuitive picture — one mass, one background cosmology, and a clean way to tell which is which — is mathematically available in both open cases, not just the flat one.

What carries the argument

Three pieces carry the argument. First, the Hawking quasi-local mass $M_2(S)$, defined by integrating $-Psi_2 - sigma lambda$ over a spacelike two-sphere and then taking the limit to future null infinity; it is the tool that converts a vague phrase ('represents a point mass in a Robertson–Walker universe') into a number that either stays finite or does not. Second, the reduction of the shear-free spherically symmetric perfect fluid field equations to the single equation $e^{mu/2}(mu'' - tfrac12 mu'^2 - tfrac{h'}{h}mu') = 6m_0 h^{-3}$, or in the transformed variables $y_{xx} = G(x)y^2$, which turns an existence question about Einstein's equations into an existence question about one ODE with a prescribed asymptotic value. Third, the majorant-series existence proof: writing $Y = sum_n delta^n Y_n$ and bounding each term with a geometric sequence derived from the generating function $P(X) = [1 - 2X - sqrt((1-2X)^2 - 4b_0 X)]/(2X)$, Nolan shows uniform convergence for $x$ near infinity, and a regular-singular-point analysis of the linearised equation $Gamma_{xx} = H Gamma$ rules out any second analytic solution with the required decay.

Extended reading notes

Core claim

The paper establishes that the obstruction to embedding a point mass in a $k=-1$ Robertson–Walker universe is a defect of McVittie's particular solution rather than of the problem. Using Hawking's renormalised quasi-local mass $M_2(S)$, Nolan shows that McVittie's $k=0$ metric has $M_2 = m_0$ for every metric sphere, confirming the point-mass reading, while the $k=-1$ metric gives $M_2 = m_0 h^5/w^5$, which grows without bound as $r$ (and hence the affine parameter $v$) goes to infinity. He then proves existence of a different $k=-1$ solution: with $y = e^{-mu/2}$ and $x = w^2$, the field equations reduce to $y_{xx} = G(x)y^2$ with $G(x) = -24m_0(x^2+4x)^{-5/2}$, and a majorant series argument gives a solution obeying $y = e^{-beta(t)/2} + o(1)$ as $x to infinity$, differentiable in $t$, and unique among analytic solutions. The first correction to the background is $e^{mu} = e^{beta}(1 - 4m_0 e^{-beta/2}e^{-3r}) + O(e^{-5r})$, which decays fast enough to keep the mass finite, in contrast to McVittie's $e^{-r/2}$ falloff.

Load-bearing premise

The author restricts to shear-free fluid flow purely because it makes the field equations integrable, and says outright that there is no a priori reason to set the shear to zero; without that restriction the reduction to the single equation $y_{xx} = G(x)y^2$ — and therefore the whole existence proof — has no target.

Editorial extensions

If this is right

  • The flat and negatively curved open cases can both be said to contain a point mass of mass $m_0$, with the mass identified intrinsically as the constant value of the Hawking quasi-local mass on metric two-spheres.
  • Taking $m_0 = 0$ returns the Robertson–Walker background, and taking the expansion to zero returns Schwarzschild with mass parameter $m_0$, so the solution interpolates between the two standard limits in a single one-parameter family.
  • The Misner–Sharp energy takes the clean form $E = tfrac{4pi}{3}R^3 rho(t) + m_0$, so the presence of the particle raises the gravitational energy by exactly its mass, and the central singularity is spacelike and trapped as in Schwarzschild.
  • Because the construction only needs $G(x) = O(x^{-5})$, the same existence argument covers more general spherical sources embedded in a Robertson–Walker universe, not just the exactly constant-mass case.
  • The background cosmology can be recovered from an arbitrary spherically symmetric shear-free perfect fluid by computing its Hawking mass: a non-constant result rules out the point-mass interpretation, and a constant one identifies the background.

Reading between the lines

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

  • The constant-Hawking-mass condition is a strong selection rule: it forces the energy density to be spatially homogeneous, $F(r) = 6m_0 h^{-3}$, so the paper is really characterising the unique shear-free spherical perfect fluid that is exactly a point mass in a cosmological background with no extra matter anywhere else.
  • The negative first-order pressure perturbation in the $k=-1$ case, $8pi p = 8pi p_0 + (ddot{beta} + 2e^{-beta})m_0 e^{-beta/2}e^{-3r} + O(e^{-5r})$, is flagged by the author as possibly an effect of negative spatial curvature; computing the next order would settle whether the central mass ever makes a net positive pressure contribution as it does in Newtonian cosmology and in the $k=0$ solution.
  • Because the existence proof only uses the decay rate $G = O(x^{-5})$, the same machinery should extend to any compact source whose exterior Weyl curvature falls off at least that fast, which suggests a general existence theorem for localised sources in open Robertson–Walker backgrounds.
  • The paper leaves the global structure — horizon, singularity, and whether the spacetime is black-hole or white-hole type — to a promised sequel, so the causal status of the central singularity is currently asserted only locally, via Hayward's criterion.
Original abstract

Criteria which a space-time must satisfy to represent a point mass embedded in an open Robertson--Walker (RW) universe are given. It is shown that McVittie's solution in the case $k=0$ satisfies these criteria, but does not in the case $k=-1$. Existence of a solution for the case $k=-1$ is proven and its representation in terms of an elliptic integral is given. The following properties of this and McVittie's $k=0$ solution are studied; uniqueness, behaviour at future null infinity, recovery of the RW and Schwarzschild limits, compliance with energy conditions and the occurence of singularities. Existence of solutions representing more general spherical objects embedded in a RW universe is also proven.

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,290 input tokens, $0.0002 reported.

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

The abstract, sentence by sentence

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

Criteria which a space-time must satisfy to represent a point mass embedded in an open Robertson--Walker (RW) universe are given. It is shown that McVittie's solution in the case $k=0$ satisfies these criteria, but does not in the case $k=-1$. Existence of a solution for the case $k=-1$ is proven and its representation in terms of an elliptic integral is given. The following properties of this and McVittie's $k=0$ solution are studied; uniqueness, behaviour at future null infinity, recovery of the RW and Schwarzschild limits, compliance with energy conditions and the occurence of singularities. Existence of solutions representing more general spherical objects embedded in a RW universe is also proven.

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 Criteria which a space-time must satisfy to represent a point mass embedded in an open Robertson--Walker (RW) universe are given. contribution 0.87 0.79 0.06 asserted 0.95
s1 It is shown that McVittie's solution in the case $k=0$ satisfies these criteria, but does not in the case $k=-1$. result 0.95 0.83 0.16 asserted 1.00
s2 Existence of a solution for the case $k=-1$ is proven and its representation in terms of an elliptic integral is given. result 0.67 0.94 0.26 asserted 1.00
s3 The following properties of this and McVittie's $k=0$ solution are studied; uniqueness, behaviour at future null infinity, recovery of the RW and Schwarzschild limits, compliance with energy conditions and the occurence of singularities. contribution 0.99 0.92 0.11 asserted 0.93
s4 Existence of solutions representing more general spherical objects embedded in a RW universe is also proven. result 0.71 0.91 0.12 asserted 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 v1
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

34 arXiv papers cite this in 46 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 · 20 sentences without a confident label

Contests it 1 paper
  • The well-known McVittie solution [ref] has several shortcomings: it describes a non-accreting black hole and, beyond the special case of Schwarzschild-de Sitter, it features a spatially homogeneous energy density while the pressure is inhomogeneous [ref] .

    Evolving black hole with scalar field accretion · Introduction · contest 0.84

Cites it as background 22 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.