4. The FLRW Cloud (FLRW*)
If every observer inhabits only a finite causal domain—even in an infinite FLRW universe—what prevents the manifold we live in from being finite?
Einstein’s equations do not require an infinite cosmos; they determine only how local curvature responds to the local energy–momentum distribution. Nothing in General Relativity forbids all matter around us from occupying a bounded region of space. Indeed, once causal domains are understood to be finite, the possibility that our local manifold itself is a finite gravitating system becomes not only permissible, but natural. By contrast, a truly infinite manifold can never be observed in its entirety and therefore lies outside direct empirical verification.
This possibility is realised in a remarkably simple construction: a homogeneous spherical region of matter evolving according to the FLRW metric and smoothly matched at its boundary to empty space. The spacetime is then formed by the union of two manifolds:
where the interior region
is described by the FLRW metric and the exterior region
by the Schwarzschild solution. The resulting joined spacetime is the
FLRW cloud, or FLRW*.
The FLRW* solution is simply the standard FLRW metric (Eq.
18) restricted to a finite moving radius
, with the exterior region matched to a Schwarzschild vacuum. Inside, the Universe expands or contracts homogeneously; outside, spacetime contains no matter. The construction is therefore the cosmological analogue of a star or black-hole interior: a finite world evolving under its own gravity and bounded by vacuum space. In modern language, this finite region may also be interpreted as a large nonlinear metric perturbation embedded within a larger background spacetime.
The idea dates back to the original work of Lemaître, who recognised that a homogeneous spherical region satisfying Einstein’s equations naturally produces a distance–redshift relation of the form
[
19]. Friedmann, Tolman, Oppenheimer, Snyder, Misner, and Sharp each developed important aspects of this picture [
8,
20,
21,
22,
23].
Matched FLRW–Schwarzschild spacetimes now form a well-studied class of exact solutions [
10,
11]. The standard Oppenheimer–Snyder solution [
8,
9] corresponds to a highly special case: pressureless matter, comoving boundary, and vanishing effective cosmological constant
. It should therefore not be interpreted as the most general FLRW–Schwarzschild matching solution. Once pressure, radiation, or
are present, the physically relevant junction generically becomes non-comoving.
4.1. Boundary Conditions
The boundary conditions (see §
Section 3) require both the induced metric and its normal derivative (the extrinsic curvature in Eq.
9) to match continuously across the junction hypersurface
. When these conditions are satisfied, the joined spacetime becomes a valid solution of Einstein’s equations and satisfies the boundary condition in Eq.
14.
The first boundary condition requires continuity of the induced metric across the hypersurface
. Comparing the areal radius of the FLRW metric (Eq.
18) with that of the Schwarzschild metric (Eq.
16) gives
A natural matching therefore consists of defining a moving boundary such that the FLRW solution applies for and the Schwarzschild solution for .
During matter domination, the comoving boundary remains fixed,
, so the junction simply follows the Hubble flow:
. This corresponds to a timelike hypersurface moving along the geodesic flow of a pressureless FLRW fluid. More generally, the boundary may move relative to the Hubble flow:
where
is the peculiar velocity of the junction hypersurface relative to the local FLRW frame. In units where
, the flat case allows
. As
approaches unity, the timelike boundary approaches a null (lightlike) evolution.
Using Eq.
22, the second boundary condition becomes (see §
Appendix A):
where
and
is a Lorentz boost defined in Eq.
A2. Eq.
23 is the most general boundary condition for the FLRW* geometry embedded within an exterior vacuum spacetime. The entire dynamics of the matching surface is encoded in the angular component of the extrinsic curvature, whose continuity in Eq.A7 yields Eq.
23.
Given the evolution of
from the Friedmann equation, Eq.
23 determines the evolution of the boundary radius
and therefore of both
and the peculiar velocity
. Consistent solutions only exist for some particular cases.
4.2. Solutions
The equation admits two qualitatively distinct branches. The first is a comoving solution with
, corresponding to a dust universe whose energy density scales as
. The second is a non-comoving solution with
, which evolves toward the attractor
and asymptotically approaches
:
For the first branch, the boundary follows the Hubble flow, so that . For the second branch, the junction evolves toward the asymptotic attractor .
Although Eq.
24 resembles the Friedmann equation, Eq.
18, its origin is fundamentally different. It arises from matching a finite gravitating region to an exterior vacuum geometry through the Israel junction conditions rather than from solving Einstein’s equations under the assumption of exact homogeneity and isotropy. Both equations need to be solved simultaneously to fulfil the stationary action principle.
For the comoving branch
, Eq.
24 reduces to
Since the boundary follows the Hubble flow, and . Compare to the Fridmann equation, the matter contribution scales as , which is the characteristic behaviour of pressureless dust. This only works for . Thus the comoving solution is not merely a particular branch of the junction condition: it is precisely the branch corresponding to a dust-dominated universe with .
The observed Universe, however, cannot be described purely by dust. Radiation satisfies
and evolves as
, while more general fluids obey
. These scalings are incompatible with
, which contains only the dust behaviour
. Consequently, a realistic cosmology containing radiation, pressure, or multiple fluid components cannot remain on the comoving branch
and must evolve onto the non-trivial branch
. In this branch, the boundary acquires a peculiar velocity relative to the Hubble flow and evolves toward the attractor
. Equation
24 then implies the asymptotic condition
independently of the values of
,
or
.
This solution satisfies
, so the boundary asymptotically approaches a constant radius
. Since
is fixed by the mass enclosed within the junction, the Friedmann equation Eq.
18 can be written as
where
. In the asymptotic limit this gives
or equivalently
In the special case where the original bulk FLRW equation contains no explicit cosmological constant,
(equivalently
), Eq.
29 reduces to
Thus an effective cosmological constant emerges dynamically from the asymptotic boundary condition, even when no explicit cosmological constant is present in the bulk FLRW equation.
An important feature of this attractor branch is its universality. The asymptotic condition
does not depend on the sign of
H, the spatial curvature
k, or the value of the exterior cosmological constant
. The same attractor is obtained for expanding (
) and collapsing (
) solutions, as well as for open, flat, and closed FLRW geometries.
For the flat case (
), the attractor corresponds to
. For
, however, the relevant causal limit is not simply
, but the curvature-corrected null condition
Consistency of
with the Friedmann equation Eq.
18 then requires
Thus the boundary condition forces the cosmological horizon scale to coincide with the Schwarzschild radius associated with the enclosed mass,
. In other words, the interior FLRW solution requires
, even when the exterior spacetime is asymptotically Minkowski (
). This solution is illustrated in
Figure 1.
The identification appears to be a geometric property of the junction dynamics itself rather than a special feature of a particular cosmological model.
4.3. Implications for
We have found that the variational principle admits a consistent FLRW solution with a non-zero interior cosmological constant. This is a central result of the present work. The fact that does not imply a discontinuity of either the induced metric or the extrinsic curvature. Continuity follows from the boundary (or Israel) junction conditions themselves, which remain satisfied because the matching conditions depend on the geometry of the hypersurface rather than on the individual values of appearing in the bulk field equations.
The non-trivial branch therefore, generates an interior cosmological constant
independently of the exterior
. Within the decomposition introduced in Eq.
15, this fixes the required boundary contribution to:
where
and
are other possible contributions to
in Eq.
15. This shows how
and
are cancelled by the boundary term.
The effective cosmological constant is inversely proportional to the square of the Schwarzschild radius of the FLRW cloud. For sufficiently large systems, the resulting value is naturally small while remaining non-zero.
In the present framework, we can recover the standard infinite FLRW interpretation as a limiting case by taking . In this limit, the boundary-selected contribution satisfies , so that the boundary contribution disappears and the FLRW region becomes effectively infinite.
Conversely, a finite value of the interior cosmological constant requires . Since the junction condition implies , the observed non-zero value of corresponds, within the present framework, to a finite gravitating FLRW region bounded by a causal horizon.
4.4. Early Times
In the limit
(equivalently
), for a fluid with non-zero pressure satisfying
with
, the Friedmann equation gives
Since
at early times, this implies
which diverges as
. Therefore
and the junction evolution satisfies
Thus the boundary approximately follows the Hubble expansion in its radial motion, even though it remains intrinsically non-comoving (
). In this regime, Eq.
23 simplifies and yields the unique asymptotic solution
Remarkably, this early-time attractor is universal, completely independent of the detailed Friedmann evolution and of both the interior and exterior cosmological constants, and .
For the flat case (
), this gives
. Thus the physically relevant non-comoving branch does not approach the comoving Oppenheimer–Snyder solution (
) at early times. Instead, it begins at a finite peculiar velocity and evolves monotonically toward the late-time attractor
The numerical solutions presented below confirm this behavior, showing that grows from at early times to unity at late times, while the variationally selected boundary tracks the causal horizons of the FLRW spacetime, interpolating between the observable horizon at early times and the future event horizon at late times.
4.5. Numerical Solutions and Approximaitons
Figure 2 shows the numerical solutions
and
obtained from the boundary equation (Eq.
23) for a flat
CDM background (
,
, and
).
The upper panel shows that the peculiar velocity never vanishes. Instead, the junction remains on the non-comoving branch throughout the entire cosmic evolution. During the matter-dominated era, the solution approaches the asymptotic limit (independent of the precise form of H), as discussed above, rather than the comoving Oppenheimer–Snyder branch (). The numerical solution therefore confirms the analytical expectation that the physically relevant branch is non-comoving at all times.
The magenta curve shows the evolution of the normalised comoving radius, , where is the present-day comoving position of the junction. The slow evolution of this ratio demonstrates that the boundary remains approximately comoving throughout most of cosmic history before rapidly departing from the Hubble flow at late times as it approaches the asymptotic causal attractor.
The lower panel shows the corresponding evolution of the proper boundary radius, illustrating how this nearly comoving evolution at early times naturally leads to the asymptotic approach
discussed in the following. The values of
are compared to the Hubble horizon
(in blue) and the radius of the observable Universe in green), which corresponds to the past null cone:
also known as particle horizon, proper angular diameter distance or conformal lookback time. A null past geodesic in the FLRW metric (
) satisfies
, hence
which corresponds to
in the flat case. The maximum observable radius occurs when
, i.e. where the light path intersects the Hubble horizon
. In a flat LCDM cosmology, this maximum appears at
, corresponding to
. Thus, even if the Universe were infinite, we only ever receive photons from within
of today’s Hubble radius.
The numerical solution shows that the variationally selected boundary closely tracks the causal horizons of the FLRW spacetime, approaching the observable horizon at early times and the future event horizon at late times. This strongly suggests that the junction condition selects a globally causal boundary rather than an arbitrary matching radius.
We can also see that
always lies outside the observable Universe. This is also true for any off-centred observer within the FLRW cloud (see Appendix §
Appendix B). But even if we cannot see
directly, we can measure its effect in
H.
The values of
are close to the event horizon
, which corresponds to the outgoing null geodesic in the FLRW metric:
For early times (), grows approximately linearly with a. As , H tends to a constant and freezes at . Although appears to increase indefinitely with a, the comoving integral decreases as , leaving the product finite. Thus defines a physical trapped surface in an expanding universe, closely analogous to the event horizon of a black hole.
4.6. Causal Interpretation
The junction radius admits an even more direct causal interpretation. Using Eq.
22 together with
, we obtain
Thus the comoving position of the junction is determined by
Using the asymptotic boundary condition
, this can be equivalently written as
Here
is the peculiar velocity of the junction hypersurface relative to the local FLRW frame. This expression shows that, once the late-time Friedmann evolution
is specified, the late-time attractor solution to Eq.
23:
is imposed, and the non-comoving branch is uniquely fixed. Other algebraic roots of the junction equation Eq.
23 may exist locally, but they do not define distinct physical branches. The solution is therefore identical to a generalized future causal horizon whose effective propagation speed is given by the peculiar velocity
of the junction hypersurface. Because
, the boundary remains timelike at finite cosmic time. As the attractor is approached,
, the boundary becomes asymptotically null and converges to the future event horizon.
This provides a geometric interpretation of the variationally selected boundary. It is not an arbitrary matching surface but the unique causal horizon
generated by the junction dynamics itself. The logical chain can be summarised as:
The appearance of is therefore no longer mysterious. It is not imposed as an additional assumption but emerges from the causal structure selected by the variational principle.
The causal-horizon branch identified above also has important implications for gravitational collapse. In particular, the asymptotic condition
suggests that trapped regions arise naturally from the boundary dynamics and can persist through both collapsing and expanding phases. This raises the possibility that bounce cosmologies remain inside a trapped region throughout their evolution [
18]. A detailed analysis of collapse, bounce dynamics, and their relation to black-hole and white-hole spacetimes will be presented elsewhere.
4.7. Closed Curvature
In terms of a finite FLRW cloud,
is fixed by the enclosed mass, while
is related to the classical binding energy of the system. The comoving radius of the boundary is
For a closed FLRW geometry, the coordinate range is limited by the curvature radius
, so the finite FLRW patch must satisfy
at all times. This gives
As shown by the magenta curve in
Figure 2, the comoving boundary decreases monotonically with cosmic time. Therefore the strongest bound comes from its largest value, attained at early times. Using the numerical solution at recombination,
one obtains
where we used
and
. From the magenta line in
Figure 2,
. We therefore find
This gives a consistency condition on the allowed curvature radius of the FLRW cloud. The condition does not require exact flatness, but it does require the curvature radius to exceed the largest comoving extent of the boundary. In this sense, the finite-boundary solution naturally favours a curvature radius larger than the observable FLRW domain, although the resulting bound is not by itself as strong as current observational limits on .
Consequently, even if the Universe possesses a small positive spatial curvature, its effects remain subdominant over the entire causal FLRW region, except on very early times where curvature can drive a bouncing start [
18,
24]. Although the resulting bound is weaker than current observational constraints on
, it provides a simple geometric consistency condition implied by the finite-boundary solution.
4.8. The Maximum Causally Connected Angular Scale
Although the boundary always satisfies , observations are not restricted to radial distances. Structures may also be measured across the sky on transverse scales larger than the observable radius. One therefore does not expect to observe the boundary itself, but rather a maximum angular scale corresponding to the largest causally connected region.
This provides a direct observational prediction of the present framework. If all causally connected perturbations are contained within the junction radius
, then the maximum observable angular scale at redshift
is
Figure 3 shows the resulting prediction. At recombination (
), the numerical solution gives
while Camacho–Quevedo et al. [
25] obtained the independent observational estimate
from the Hausdorff dimension of the observed CMB angular correlation function.
The agreement with
is remarkable because the prediction is not adjusted to reproduce the CMB observations. Once the observed value of the cosmological constant is specified, the variationally selected boundary uniquely determines
. Conversely, within the present framework, the measured value of
provides an independent determination of the cosmological constant which is conceptually different from standard probes such as Type Ia supernovae, baryon acoustic oscillations, or the integrated Sachs–Wolfe effect. Equation (
56) therefore defines a new cosmological probe of the cosmological constant based on the maximum causally connected angular scale rather than on the cosmic expansion history.
The prediction is not restricted to recombination. Equation (
56) determines the full evolution
and may therefore be tested over a broad range of cosmic time. Current and future surveys such as DESI, Euclid, LSST, SPHEREx, SKA, and forthcoming 21-cm experiments should progressively improve measurements of the homogeneity scale and the largest correlated structures as a function of redshift. Such observations have the potential to provide a direct test of the finite-boundary scenario proposed here and, consequently, of the variational origin of the cosmological constant.