Nowadays, one cannot watch a popular science tv show, read a popular science book, take an astrophysics class without hearing about black holes. The problem is that very few people discuss this topic appropriately. This is further evidenced that these same people also claim that the universe’s expansion is governed by the Friedmann equation as applied to a Friedmann-Lemaitre-Robertson-Walker (FLRW) universe.

The fact is that black holes despite what is widely claimed, *are not* astrophysical phenomena, they are a phenomena that arise from mathematical general relativity. That is, we postulate their existence from mathematical general relativity, in particular, **Birkhoff’s theorem**, which states the following (Hawking and Ellis, 1973):

*Any solution of Einstein’s vacuum equations which is spherically symmetric in some open set V is locally equivalent to part of the maximally extended Schwarzschild solution in V.*

In other words, if a spacetime contains a region which is spherically symmetric, asymptotically flat/static, and empty such that , then the metric inn this region is described by the Schwarzschild metric:

The concept of a *black hole* then occurs because of the singularity that occurs in this metric.

The problem then arises in most discussions nowadays, because the very same astrophysicists that claim that black holes exist, *also* claim that the universe is expanding according to the Einstein field equations as applied to a FLRW metric, which are frequently written nowadays as:

**The Raychaudhuri equation:**

,

(where is the Hubble parameter)

**The Friedmann equation:**

,

(where is the energy density of the dominant matter in the universe and is the Ricci 3-scalar of the particular FLRW model),

and

**The Energy Conservation equation:**

.

The point is that one cannot have it both ways! One cannot claim on one hand that black holes exist in the universe, while also claiming that the universe is FLRW! Since, by Birkhoff’s theorem, external to the black hole source must be a spherically symmetric and static spacetime, for which a FLRW is not static nor asymptotically flat, because of a lack of global timelike Killing vector.

I therefore believe that models of the universe that incorporate both black holes and large-scale spatial homogeneity and isotropy should be much more widely introduced and discussed in the mainstream cosmology community. One such example are the *Swiss-Cheese *universe models. These models assume a FLRW spacetime with patches “cut out” in such a way to allow for Schwarzschild solutions to simultaneously exist. Swiss-Cheese universes actually have a tremendous amount of explanatory power. One of the mysteries of current cosmology is the origin of the existence of dark energy. The beautiful thing about Swiss-Cheese universes is that one is not required to postulate the existence of hypothetical dark energy to account for the accelerated expansion of the universe. This interesting article from New Scientist from a few years ago explains some of this.

Also, the original Swiss-Cheese universe model in its simplest foundational form was actually proposed by Einstein and Strauss in 1945.

The basic idea is as follows, and is based on Israel’s junction formalism (See Hervik and Gron’s book, and Israel’s original paper for further details. I will just describe the basic idea in what follows). Let us take a spacetime and partition it into two:

with a boundary

.

Now, within these regions we assume that the Einstein Field equations are satisfied, such that:

,

where we also induce a metric on as:

.

The trick with Israel’s method is understanding is understanding how is embedded in . This can be quantified by the covariant derivative on some basis vector of :

.

The projections of the Einstein tensor is then given by Gauss’ theorem and the Codazzi equation:

,

,

Defining the operation , the Einstein field equations are given by the Lanczos equation:

,

where results from defining an energy-momentum tensor across the boundary, and computing

.

The remaining dynamical equations are then given by

,

and

,

with the constraints:

.

.

**Therefore:**

- If black holes exist, then by Birkhoff’s theorem, the spacetime external to the black hole source must be spherically symmetric and static, and
*cannot* represent our universe.
- Perhaps, a more viable model for our universe is then a
*spatially inhomogeneous *universe on the level of Lemaitre-Tolman-Bondi, Swiss-Cheese, the set of cosmologies, etc… The advantage of these models, particular in the case of Swiss-Cheese universes is that one does not need to postulate a hypothetical dark energy to explain the accelerated expansion of the universe, this naturally comes out out of such models.

Under a more general inhomogeneous cosmology, the Einstein field equations now take the form:

**Raychauhduri’s Equation:**

**Shear Propagation Equation:**

**Vorticity Propagation Equation:**

**Constraint Equations:**

,

,

.

**Matter Evolution Equations through the Bianchi identities:**

,

.

**One also has evolution equations for the Weyl curvature tensors and , these can be found in Ellis’ Cargese Lectures. **

Despite the fact that these modifications are absolutely necessary if one is to take seriously the notion that our universe has black holes in it, most astronomers and indeed most astrophysics courses continue to use the simpler versions assuming that the universe is spatially homogeneous and isotropic, which contradicts by definition the notion of black holes existing in our universe.