 Shape of the Universe

"Edge of the Universe" redirects here. For the Bee Gees song, see Edge of the Universe (song).
The shape of the universe is a matter of debate in physical cosmology over the local and global geometry of the universe which considers both curvature and topology, though, strictly speaking, it goes beyond both. In practice, more formally, the debate seeks a 3manifold that corresponds to the spatial section (in comoving coordinates) of the 4dimensional spacetime of the universe.
The Wilkinson Microwave Anisotropy Probe (WMAP) has confirmed that the universe is flat with only a 0.5% margin of error.^{[1]} Within the FriedmannLemaîtreRobertsonWalker (FLRW) model, the presently most popular shape of the Universe found to fit observational data according to cosmologists is the infinite flat model,^{[2]} while other FLRW models that fit the data include the Poincaré dodecahedral space^{[3]}^{[4]} and the Picard horn.^{[5]}
Contents
Introduction
Physical cosmology Universe · Big Bang
Age of the universe
Timeline of the Big Bang
Ultimate fate of the universeEarly universeExpanding universeComponentsSee also: Distance measures (cosmology)Consideration of the shape of the universe can be split into two; local geometry, which relates especially to the curvature of the universe, especially in the observable universe, and global geometry, which relates to the topology of the universe as a whole, measurement of which may not be within our ability. If the observable universe encompasses the entire universe, we may determine the global structure by observation. If the observable universe is smaller than the entire universe (in some models it is many orders of magnitude smaller or even infinitesimal), observation is limited to a part of the whole. Possibly the universe is small in some dimensions and not in others (like a cylinder). If a small closed loop, one would see multiple images of an object in the sky, although not necessarily of the same age.
Cosmologists normally work with a given spacelike slice of spacetime called the comoving coordinates, the existence of a preferred set of which is possible and widely accepted in presentday 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".
Local geometry (spatial curvature)
The local geometry is the curvature describing any arbitrary point in the observable universe (averaged on a sufficiently large scale). Many astronomical observations, such as those from supernovae and the Cosmic Microwave Background (CMB) radiation, show the observable universe to be very close to homogeneous and isotropic and infer it to be accelerating.
FLRW model of the universe
In General Relativity, this is modelled by the FriedmannLemaîtreRobertsonWalker (FLRW) model. This model, which can be represented by the Friedmann equations, provides a curvature (often referred to as geometry) of the universe based on the mathematics of fluid dynamics, i.e. it models 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 largescale structure of the cosmos), it is on average homogeneous and isotropic.
The homogeneous and isotropic universe allows for a spatial geometry with a constant curvature. One aspect of local geometry to emerge from General Relativity and the FLRW model is that the density parameter, Omega (Ω), is related to the curvature of space. Omega is the average density of the universe divided by the critical energy density, i.e. that required for the universe to be flat (zero curvature).
The curvature of space is a mathematical description of whether or not the Pythagorean theorem is valid for spatial coordinates. In the latter case, it provides an alternative formula for expressing local relationships between distances:
 If the curvature is zero, then Ω = 1, and the Pythagorean theorem is correct;
 If Ω > 1, there is positive curvature; and
 if Ω < 1 there is negative curvature.
In the last two cases, the Pythagorean theorem is invalid (but discrepancies are only detectable in triangles whose sides' lengths are of cosmological scale).
If you measure the circumferences of circles of steadily larger diameters and divide the former by the latter, all three geometries give the value π for small enough diameters but the ratio departs from π for larger diameters unless Ω = 1:
 For Ω > 1 (the sphere, see diagram) the ratio falls below π: indeed, a great circle on a sphere has circumference only twice its diameter.
 For Ω < 1 the ratio rises above π.
Astronomical measurements of both matterenergy density of the universe and spacetime intervals using supernova events 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 3space by the familiar Euclidean geometry.
Possible local geometries
There are three categories for the possible spatial geometries of constant curvature, depending on the sign of the curvature. If the curvature is exactly zero, then the local geometry is flat; if it is positive, then the local geometry is spherical, and if it is negative then the local geometry is hyperbolic.
The geometry of the universe is usually represented in the system of comoving coordinates, according to which the expansion of the universe can be ignored. Comoving coordinates form a single frame of reference according to which the universe has a static geometry of three spatial dimensions.
Under the assumption that the universe is homogeneous and isotropic, the curvature of the observable universe, or the local geometry, is described by one of the three "primitive" geometries (in mathematics these are called the model geometries):
 3dimensional Flat Euclidean geometry, generally notated as E^{3}
 3dimensional spherical geometry with a small curvature, often notated as S^{3}
 3dimensional hyperbolic geometry with a small curvature
Even if the universe is not exactly spatially flat, the spatial curvature is close enough to zero to place the radius at approximately the horizon of the observable universe or beyond.
Global geometry
Global geometry covers the geometry, in particular 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. For this discussion, the universe is taken to be a geodesic manifold, free of topological defects; relaxing either of these complicates the analysis considerably.
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.
A global geometry is also called a topology, as a global geometry is a local geometry plus a topology, but this terminology is misleading because a topology does not give a global geometry: for instance, Euclidean 3space and hyperbolic 3space have the same topology but different global geometries.
Two strongly overlapping investigations within the study of global geometry are whether the universe:
 Is infinite in extent or, more generally, is a compact space;
 Has a simply or nonsimply connected topology.
Detection
For a flat spatial geometry, the scale of any properties of the topology is arbitrary and may or may not be directly detectable. For spherical and hyperbolic spatial geometries, the curvature gives a scale (either by using the radius of curvature or its inverse), a fact noted by Carl Friedrich Gauss in an 1824 letter to Franz Taurinus.^{[6]}
The probability of detection of the topology by direct observation depends on the spatial curvature: a small curvature of the local geometry, with a corresponding radius of curvature greater than the observable horizon, makes the topology difficult or impossible to detect if the curvature is hyperbolic. A spherical geometry with a small curvature (large radius of curvature) does not make detection difficult.
Analysis of data from WMAP implies that on the scale to the surface of last scattering, the density parameter of the Universe is within about 2% of the value representing spatial flatness.^{[7]}
Compactness of the global shape
Formally, the question of whether the universe is infinite or finite is whether it is an unbounded or bounded metric space. An infinite universe (unbounded metric space) means that there are points arbitrarily far apart: for any distance d, there are points that are of a distance at least d apart. A finite universe is a bounded metric space, where there is some distance d such that all points are within distance d of each other. The smallest such d is called the diameter of the universe, in which case the universe has a welldefined "volume" or "scale."
A compact space is a stronger condition: in the context of Riemannian manifolds, it is equivalent to being bounded and geodesically complete. If we assume that the universe is geodesically complete, then boundedness and compactness are equivalent (by the Hopf–Rinow theorem), and they are thus used interchangeably, if completeness is understood.
If the spatial geometry is spherical, the topology is compact. For a flat or a hyperbolic spatial geometry, the topology can be either compact or infinite: for example, Euclidean space is flat and infinite, but the torus is flat and compact.
In cosmological models (geometric 3manifolds), a compact space is either a spherical geometry, or has infinite fundamental group (and thus is called "multiply connected", or more strictly nonsimply connected), by general results on geometric 3manifolds.
Compact geometries can be visualized by means of closed geodesics: on a sphere, a straight line, when extended far enough in the same direction, will reach the starting point.
Note that on a compact geometry, not every straight line comes back to its starting point. For instance, a line of irrational slope on a torus never returns to its origin. Conversely, a noncompact geometry can have closed geodesics: on an infinite cylinder, which is a noncompact flat geometry, a loop around the cylinder is a closed geodesic.
If the geometry of the universe is not compact, then it is infinite in extent with infinite paths of constant direction that, generally do not return and the space has no definable volume, such as the Euclidean plane.
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. These meanings of open and closed, and the mathematical meanings, give rise to ambiguity because the terms can also refer to a closed manifold i.e. compact without boundary, not to be confused with a closed set. With the former definition, an "open universe" may either be an open manifold, i.e. one that is not compact and without boundary,^{[8]} or a closed manifold, while a "closed universe" is necessarily a closed manifold.
In the FriedmannLemaîtreRobertsonWalker (FLRW) model the universe is considered to be without boundaries, in which case "compact universe" could describe a universe that is a closed manifold.
The latest research shows that even the most powerful future experiments (like SKA, Planck..) will not be able to distinguish between flat, open and closed universe if the true value of cosmological curvature parameter is smaller than 10^{−4}. If the true value of the cosmological curvature parameter is larger than 10^{−3} we will be able to distinguish between these three models even now.^{[9]}
Flat universe
In a flat universe, all of the local curvature and local geometry is flat. It is generally assumed that it is described by a Euclidean space, although there are some spatial geometries that are flat and bounded in one or more directions (like the surface of a cylinder, for example).
The alternative twodimensional spaces with a Euclidean metric are the cylinder and the Möbius strip, which are bounded in one direction but not the other, and the torus and Klein bottle, which are compact.
In three dimensions, there are 10 finite closed flat 3manifolds, of which 6 are orientable and 4 are nonorientable. The most familiar is the 3Torus. See the doughnut theory of the universe
In the absence of dark energy, a flat universe expands forever but at a continually decelerating rate, with expansion asymptotically approaching some fixed rate. 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 and thus can come from nothing.^{[10]}^{[11]}
Spherical universe
A positively curved universe is described by spherical geometry, and can be thought of as a threedimensional hypersphere, or some other spherical 3manifold (such as the Poincaré dodecahedral space), all of which are quotients of the 3sphere.
Analysis of data from the Wilkinson Microwave Anisotropy Probe (WMAP) looks for multiple "backtoback" images of the distant universe in the cosmic microwave background radiation. It may be possible to observe multiple images of a given object, if the light it emits has had sufficient time to make one or more complete circuits of a bounded universe. Current results and analysis do not rule out a bounded global geometry (i.e. a closed universe), but they do confirm that the spatial curvature is small, just as the spatial curvature of the surface of the Earth is small compared to a horizon of a thousand kilometers or so. If the universe is bounded, this does not imply anything about the sign^{[citation needed]} or zeroness of its curvature.
In a closed universe lacking the repulsive effect of dark energy, gravity eventually stops the expansion of the universe, after which it starts to contract until all matter in the observable universe collapses to a point, a final singularity termed the Big Crunch, by analogy with Big Bang. However, if the universe has a large amount of dark energy (as suggested by recent findings), then the expansion of the universe could continue forever.
Based on analyses of the WMAP data, cosmologists during 2004–2006 focused on the Poincaré dodecahedral space (PDS), but horn topologies (which are hyperbolic) were also deemed compatible with the data.
Hyperbolic universe
A hyperbolic universe is described by hyperbolic geometry, and can be thought of locally as a threedimensional analog of an infinitely extended saddle shape. There are a great variety of hyperbolic 3manifolds, and their classification is not completely understood. For hyperbolic local geometry, many of the possible threedimensional spaces are informally called horn topologies, so called because of the shape of the pseudosphere, a canonical model of hyperbolic geometry.
Spherical Expanding Universe (Milne model)
If the Universe is contained within an ever expanding sphere (which may have started from a single point), it can still appear infinite for all practical purposes. Because of length contraction the galaxies further away, which are travelling away from the observer the fastest, will appear smaller. In this way an infinite Universe fits within a finite sphere as long as the sphere is expanding continually. The question of whether the Universe is infinite can depend on the coordinate system used. For example, you could choose a coordinate system in which the galaxies are equally spaced out and don't have length contraction, in which case the Universe could be said to be infinite in size. Whichever galaxy the observer is on, the other galaxies moving away from it will appear length contracted. An observer can never get to the edge of the Universe if it is expanding at the speed of light. At the edge of the sphere matter becomes infinitely dense, but because it is moving away from the observer close to the speed of light due to time dilation its effect on the rest of the Universe is negligible. As the spherical Universe expands, matter that was near the edge is now in the middle of the sphere.
Proposed models
Various models have been proposed for the global geometry of the universe. In addition to the primitive geometries, these proposals include the:
 Poincaré dodecahedral space, a positively curved space, colloquially described as "soccer ball shaped", as it is the quotient of the 3sphere by the binary icosahedral group, which is very close to icosahedral symmetry, the symmetry of a soccer ball. This was proposed by JeanPierre Luminet and colleagues in 2003^{[3]}^{[12]} and an optimal orientation on the sky for the model was estimated in 2008.^{[4]}
 Picard horn, a negatively curved space, colloquially described as "funnelshaped", for the horn geometry.^{[5]}
See also
 Theorema Egregium − The "remarkable theorem" discovered by Gauss which showed there is an intrinsic notion of curvature for surfaces. This is used by Riemann to generalize the (intrinsic) notion of curvature to higher dimensional spaces.
 Extra dimensions in String Theory for 6 or 7 extra spacelike dimensions all with a compact topology.
 Ekpyrotic universe − a String theoryrelated model depicting a fivedimensional, membraneshaped universe; an alternative to the Hot Big Bang Model, whereby the universe is described to have originated when two membranes collided at the fifth dimension.
 Zeroenergy Universe
 Doughnut theory of the universe
References
 ^ http://map.gsfc.nasa.gov/universe/uni_shape.html
 ^ Demianski, Marek; Sánchez, Norma; Parijskij, Yuri N. (2003). "Topology of the universe and the cosmic microwave background radiation". The Early Universe and the Cosmic Microwave Background: Theory and Observations. Proceedings of the NATO Advanced Study Institute. The early universe and the cosmic microwave background: theory and observations (Springer) 130: 161. Bibcode 2003eucm.book..159D. ISBN 1402018002. http://books.google.com/books?id=KhTJZGU3ssC., Extract of page 161
 ^ ^{a} ^{b} Luminet, JeanPierre; Jeff Weeks, Alain Riazuelo, Roland Lehoucq, JeanPhillipe Uzan (20031009). "Dodecahedral space topology as an explanation for weak wideangle temperature correlations in the cosmic microwave background". Nature (Nature) 425 (6958): 593–5. arXiv:astroph/0310253. Bibcode 2003Natur.425..593L. doi:10.1038/nature01944. PMID 14534579.
 ^ ^{a} ^{b} Roukema, Boudewijn; Zbigniew Buliński, Agnieszka Szaniewska, Nicolas E. Gaudin (2008). "A test of the Poincare dodecahedral space topology hypothesis with the WMAP CMB data". Astronomy and Astrophysics 482 (3): 747. arXiv:0801.0006. Bibcode 2008A&A...482..747L. doi:10.1051/00046361:20078777.
 ^ ^{a} ^{b} Aurich, Ralf; Lustig, S., Steiner, F., Then, H. (2004). "Hyperbolic Universes with a Horned Topology and the CMB Anisotropy". Classical and Quantum Gravity 21 (21): 4901–4926. arXiv:astroph/0403597. Bibcode 2004CQGra..21.4901A. doi:10.1088/02649381/21/21/010.
 ^ Carl F. Gauss, Werke 8, 175239, cited and translated in John W. Milnor (1982) Hyperbolic geometry: The first 150 years, Bull. Amer. Math. Soc. (N.S.) 6(1), p. 10. Milnor's translation reads:
 "The assumption that the sum of the three angles [of a triangle] is smaller than 180° leads to a geometry which is quite different from our (euclidean) geometry, but which is in itself completely consistent. I have satisfactorily constructed this geometry for myself so that I can solve every problem, except for the determination of one constant, which cannot be ascertained a priori. The larger one chooses this constant, the closer one approximates euclidean geometry. . . . If noneuclidean geometry were the true geometry, and if this constant were comparable to distances which we can measure on earth or in the heavens, then it could be determined a posteriori. Hence I have sometimes in jest expressed the wish that euclidean geometry is not true. For then we would have an absolute a priori unit of measurement."
 ^ Shape of the Universe, WMAP website at NASA.
 ^ Since the universe is assumed connected, we do not need to specify the more technical "an open manifold is one without compact component".
 ^ Mihran Vardanyan et al. How flat can you get?, A model comparison perspective on the curvature of the Universe
 ^ "A Universe from Nothing". Astronomical Society of the Pacific. http://www.astrosociety.org/pubs/mercury/31_02/nothing.html. Retrieved 10 March 2010. by Alexei V. Filippenko and Jay M. Pasachoff
 ^ Berman, Marcelo Samuel (2009). "On the Zeroenergy Universe". International Journal of Theoretical Physics (International Journal of Theoretical Physics) 48 (11): 3278. arXiv:grqc/0605063. Bibcode 2009IJTP..tmp..162B. doi:10.1007/s1077300901258.
 ^ "Is the universe a dodecahedron?", article at PhysicsWeb.
External links
 Geometry of the Universe
 A cosmic hall of mirrors  physicsworld (26 September 2005)
 Universe is Finite, "Soccer Ball"Shaped, Study Hints. Possible wraparound dodecahedral shape of the universe
 Ralf Aurich; Sven Lustig; Frank Steiner; Holger Then (2004). "Hyperbolic Universes with a Horned Topology and the CMB Anisotropy". Classical and Quantum Gravity 21 (21): 4901–4925. arXiv:astroph/0403597. Bibcode 2004CQGra..21.4901A. doi:10.1088/02649381/21/21/010.
 Classification of possible universes in the LambdaCDM model.
 Closed hyperbolic universe.
Categories:
Wikimedia Foundation. 2010.