Shape of the universe
The shape of the universe, in physical cosmology, is the local and global geometry of the universe. The local features of the geometry of the universe are primarily described by its curvature, whereas the topology of the universe describes general global properties of its shape as of a continuous object. The spatial curvature is related to general relativity, which describes how spacetime is curved and bent by mass and energy. The spatial topology cannot be determined from its curvature, due to the fact that there exist (mathematically) locally indistinguishable spaces with different topologies. Cosmologists distinguish  between the observable universe and the entire universe, the former being a ball-shaped portion of the latter that can, in principle, be accessible by astronomical observations. Assuming the cosmological principle, the observable universe is similar from all contemporary vantage points, which allows cosmologists to discuss properties of the entire universe with only information from studying their observable universe. Several potential topological or geometric attributes of the universe interest may be discussed. Some of these are: There are certain logical connections among these properties. For example, a universe with positive curvature is necessarily finite. Although it is usually assumed in  the literature that a flat or negatively curved universe is infinite, this need not be the case if the topology is not the trivial one: for example, a three-torus is flat but finite. The exact shape is still a matter of debate in physical cosmology, but experimental data from various independent sources (WMAP, BOOMERanG, and Planck for example) confirm that the universe is flat with only a 0.4% margin of error. On the other hand, any non-zero curvature is possible for a sufficiently large curved universe (analogously to how a small portion of a sphere can look flat ). Theorists have been trying to construct a formal mathematical model of the shape of the universe. In formal terms, this is a 3-manifold model corresponding to the spatial section (in comoving coordinates) of the four-dimensional spacetime of the universe. The model most theorists currently use is the Friedmann–Lemaître–Robertson–Walker (FLRW) model. Arguments have been put forward that the observational data best fit with the conclusion that the shape of the global universe is infinite and flat, but the data is also consistent with other possible shapes, such as the so-called Poincaré dodecahedral space and the  Sokolov–Starobinskii space (quotient of the upper half-space model of hyperbolic space by a 2-dimensional lattice). Shape of the observable universe. As stated in the introduction, there are two aspects to consider: The observable universe can be thought of as a sphere that extends outwards from any observation point for 46.5 billion light-years, going farther back in time and more redshifted the more distant away one looks. Ideally, one can continue to look back all the way to the Big Bang; in practice, however, the farthest away one can look using light and other electromagnetic radiation is  the cosmic microwave background (CMB), as anything past that is opaque. Experimental investigations show that the observable universe is very close to isotropic and homogeneous . If the observable universe encompasses the entire universe, we may be able to determine the structure of the entire universe by observation. However, if the observable universe is smaller than the entire universe, our observations will be limited to only a part of the whole, and we may not be able to determine its global geometry through measurement. From experiments, it is possible to construct different mathematical models of the global geometry of the entire  universe, all of which are consistent with current observational data; thus it is currently unknown whether the observable universe is identical to the global universe, or is instead many orders of magnitude smaller. The universe may be small in some dimensions and not in others (analogous to the way a cuboid is longer in the dimension of length than it is in the dimensions of width and depth). To test whether a given mathematical model describes the universe accurately, scientists look for the model's novel implications — what are some phenomena in the universe that we have not yet observed , but that must exist if the model is correct — and they devise experiments to test whether those phenomena occur or not. For example, if the universe is a small closed loop, one would expect to see multiple images of an object in the sky, although not necessarily images of the same age. Cosmologists normally work with a given space-like slice of spacetime called the comoving coordinates, the existence of a preferred set of which is possible and widely accepted in present-day physical cosmology. The section of spacetime that can be observed is the backward light cone (all points  within the cosmic light horizon, given time to reach a given observer), while the related term Hubble volume can be used to describe either the past light cone or comoving space up to the surface of last scattering. To speak of "the shape of the universe (at a point in time)" is ontologically naive from the point of view of special relativity alone: due to the relativity of simultaneity we cannot speak of different points in space as being "at the same point in time" nor, therefore, of "the shape of the universe at a point in time". However , the comoving coordinates (if well-defined) provide a strict sense to those by using the time since the Big Bang (measured in the reference of CMB) as a distinguished universal time. Curvature of the universe. The curvature is a quantity describing how the geometry of a space differs locally from the one of the flat space. The curvature of any locally isotropic space (and hence of a locally isotropic universe) falls into one of the three following cases: Curved geometries are in the domain of Non-Euclidean geometry. An example of a positively curved space would be the surface of  a sphere such as the Earth. A triangle drawn from the equator to a pole will have at least two angles equal 90°, which makes the sum of the 3 angles greater than 180°. An example of a negatively curved surface would be the shape of a saddle or mountain pass. A triangle drawn on a saddle surface will have the sum of the angles adding up to less than 180°. General relativity explains that mass and energy bend the curvature of spacetime and is used to determine what curvature the universe has by using a value  called the density parameter, represented with Omega (). The density parameter is the average density of the universe divided by the critical energy density, that is, the mass energy needed for a universe to be flat. Put another way, One can experimentally calculate this to determine the curvature two ways. One is to count up all the mass-energy in the universe and take its average density then divide that average by the critical energy density. Data from Wilkinson Microwave Anisotropy Probe (WMAP) as well as the Planck spacecraft give values for the three constituents of all the mass-energy in  the universe – normal mass (baryonic matter and dark matter), relativistic particles (photons and neutrinos), and dark energy or the cosmological constant: Ω ≈ 0.315±0.018 Ω ≈ 9.24×10 Ω ≈ 0.6817±0.0018 Ω = Ω + Ω + Ω = 1.00±0.02 The actual value for critical density value is measured as ρ = 9.47×10 kg m. From these values, within experimental error, the universe seems to be flat. Another way to measure Ω is to do so geometrically by measuring an angle across the observable universe. We can do this by using the CMB and measuring the power spectrum and temperature anisotropy . For instance, one can imagine finding a gas cloud that is not in thermal equilibrium due to being so large that light speed cannot propagate the thermal information. Knowing this propagation speed, we then know the size of the gas cloud as well as the distance to the gas cloud, we then have two sides of a triangle and can then determine the angles. Using a method similar to this, the BOOMERanG experiment has determined that the sum of the angles to 180° within experimental error, corresponding to an Ω ≈ 1.00±0.12. These and other astronomical measurements constrain  the spatial curvature to be very close to zero, although they do not constrain its sign. This means that although the local geometries of spacetime are generated by the theory of relativity based on spacetime intervals, we can approximate "3-space" by the familiar Euclidean geometry. The Friedmann–Lemaître–Robertson–Walker (FLRW) model using Friedmann equations is commonly used to model the universe. The FLRW model provides a curvature of the universe based on the mathematics of fluid dynamics, that is, modeling the matter within the universe as a perfect fluid. Although stars and structures of mass can be introduced  into an "almost FLRW" model, a strictly FLRW model is used to approximate the local geometry of the observable universe. Another way of saying this is that if all forms of dark energy are ignored, then the curvature of the universe can be determined by measuring the average density of matter within it, assuming that all matter is evenly distributed (rather than the distortions caused by 'dense' objects such as galaxies). This assumption is justified by the observations that, while the universe is "weakly" inhomogeneous and anisotropic (see the large-scale structure of the cosmos), it is on average homogeneous  and isotropic. Global universe structure. Global structure covers the geometry and the topology of the whole universe—both the observable universe and beyond. While the local geometry does not determine the global geometry completely, it does limit the possibilities, particularly a geometry of a constant curvature. The universe is often taken to be a geodesic manifold, free of topological defects; relaxing either of these complicates the analysis considerably. A global geometry is a local geometry plus a topology. It follows that a topology alone does not give a global geometry: for instance, Euclidean 3-space and hyperbolic 3-space have  the same topology but different global geometries. As stated in the introduction, investigations within the study of the global structure of the universe include: Infinite or finite. One of the presently unanswered questions about the universe is whether it is infinite or finite in extent. For intuition, it can be understood that a finite universe has a finite volume that, for example, could be in theory filled up with a finite amount of material, while an infinite universe is unbounded and no numerical volume could possibly fill it. Mathematically, the question of whether the universe is infinite or finite is  referred to as boundedness. An infinite universe (unbounded metric space) means that there are points arbitrarily far apart: for any distance , there are points that are of a distance at least apart. A finite universe is a bounded metric space, where there is some distance such that all points are within distance of each other. The smallest such is called the diameter of the universe, in which case the universe has a well-defined "volume" or "scale." With or without boundary. Assuming a finite universe, the universe can either have an edge or no edge. Many finite mathematical spaces, e.g. , a disc, have an edge or boundary. Spaces that have an edge are difficult to treat, both conceptually and mathematically. Namely, it is very difficult to state what would happen at the edge of such a universe. For this reason, spaces that have an edge are typically excluded from consideration. However, there exist many finite spaces, such as the 3-sphere and 3-torus, which have no edges. Mathematically, these spaces are referred to as being compact without boundary. The term compact means that it is finite in extent ("bounded") and complete. The term "without boundary" means that the space  has no edges. Moreover, so that calculus can be applied, the universe is typically assumed to be a differentiable manifold. A mathematical object that possesses all these properties, compact without boundary and differentiable, is termed a closed manifold. The 3-sphere and 3-torus are both closed manifolds. Curvature. The curvature of the universe places constraints on the topology. If the spatial geometry is spherical, i.e., possess positive curvature, the topology is compact. For a flat (zero curvature) or a hyperbolic (negative curvature) spatial geometry, the topology can be either compact or infinite. Many textbooks erroneously state that a flat  universe implies an infinite universe; however, the correct statement is that a flat universe that is also simply connected implies an infinite universe. For example, Euclidean space is flat, simply connected, and infinite, but the torus is flat, multiply connected, finite, and compact. In general, local to global theorems in Riemannian geometry relate the local geometry to the global geometry. If the local geometry has constant curvature, the global geometry is very constrained, as described in Thurston geometries. The latest research shows that even the most powerful future experiments (like the SKA) will not be able to distinguish between flat , open and closed universe if the true value of cosmological curvature parameter is smaller than 10. If the true value of the cosmological curvature parameter is larger than 10 we will be able to distinguish between these three models even now. Final results of the "Planck" mission, released in 2018 show the cosmological curvature parameter, 1 – Ω = Ω = –"K c²/a²H²", to be 0.0007±0.0019, consistent with a flat universe. (i.e. positive curvature: "K = +1, Ω < 0", Ω > 1, negative curvature: "K = −1, Ω > 0, Ω < 1", zero curvature: "K = 0, Ω =  0, Ω = 1"). Universe with zero curvature. In a universe with zero curvature, the local geometry is flat. The most obvious global structure is that of Euclidean space, which is infinite in extent. Flat universes that are finite in extent include the torus and Klein bottle. Moreover, in three dimensions, there are 10 finite closed flat 3-manifolds, of which 6 are orientable and 4 are non-orientable. These are the Bieberbach manifolds. The most familiar is the aforementioned 3-torus universe. In the absence of dark energy, a flat universe expands forever but at a continually decelerating rate , with expansion asymptotically approaching zero. With dark energy, the expansion rate of the universe initially slows down, due to the effect of gravity, but eventually increases. The ultimate fate of the universe is the same as that of an open universe. A flat universe can have zero total energy. Universe with positive curvature. A positively curved universe is described by elliptic geometry, and can be thought of as a three-dimensional hypersphere, or some other spherical 3-manifold (such as the Poincaré dodecahedral space), all of which are quotients of the 3-sphere. Poincaré dodecahedral space is a positively curved  space, colloquially described as "soccerball-shaped", as it is the quotient of the 3-sphere by the binary icosahedral group, which is very close to icosahedral symmetry, the symmetry of a soccer ball. This was proposed by Jean-Pierre Luminet and colleagues in 2003 and an optimal orientation on the sky for the model was estimated in 2008. Universe with negative curvature. A hyperbolic universe, one of a negative spatial curvature, is described by hyperbolic geometry, and can be thought of locally as a three-dimensional analog of an infinitely extended saddle shape. There are a great variety of hyperbolic  3-manifolds, and their classification is not completely understood. Those of finite volume can be understood via the Mostow rigidity theorem. For hyperbolic local geometry, many of the possible three-dimensional spaces are informally called "horn topologies", so called because of the shape of the pseudosphere, a canonical model of hyperbolic geometry. An example is the Picard horn, a negatively curved space, colloquially described as "funnel-shaped". Curvature: open or closed. When cosmologists speak of the universe as being "open" or "closed", they most commonly are referring to whether the curvature is negative or positive, respectively. These meanings of open  and closed are different from the mathematical meaning of open and closed used for sets in topological spaces and for the mathematical meaning of open and closed manifolds, which gives rise to ambiguity and confusion. In mathematics, there are definitions for a closed manifold (i.e., compact without boundary) and open manifold (i.e., one that is not compact and without boundary). A "closed universe" is necessarily a closed manifold. An "open universe" can be either a closed or open manifold. For example, in the Friedmann–Lemaître–Robertson–Walker (FLRW) model the universe is considered to be without boundaries, in which case  compact universe could describe a universe that is a closed manifold. Milne model (hyperbolic expanding). If one applies Minkowski space-based special relativity to expansion of the universe, without resorting to the concept of a curved spacetime, then one obtains the Milne model. Any spatial section of the universe of a constant age (the proper time elapsed from the Big Bang) will have a negative curvature; this is merely a pseudo-Euclidean geometric fact analogous to one that concentric spheres in the "flat" Euclidean space are nevertheless curved. Spatial geometry of this model is an unbounded hyperbolic space. The entire  universe in this model can be modelled by embedding it in Minkowski spacetime, in which case the universe is included inside a future light cone of a Minkowski spacetime. The Milne model in this case is the future interior of the light cone and the light cone itself is the Big Bang. For any given moment of coordinate time within the Milne model (assuming the Big Bang has ), any cross-section of the universe at constant in the Minkowski spacetime is bounded by a sphere of radius . The apparent paradox of an infinite universe "contained" within a sphere is an  effect of the mismatch between coordinate systems of the Milne model and the Minkowski spacetime in which it is embedded. This model is essentially a degenerate FLRW for . It is incompatible with observations that definitely rule out such a large negative spatial curvature. However, as a background in which gravitational fields (or gravitons) can operate, due to diffeomorphism invariance, the space on the macroscopic scale, is equivalent to any other (open) solution of Einstein's field equations.