We provide a new construction of the modes of the Poincare dodecahedral space S^3/I*. The construction uses the Hopf map, Maxwell's multipole vectors and orbifolds. In particular, the *235-orbifold serves as a parameter space for the modes of S^3/I* shedding new light on the geometrical significance of the dimension of each space of $k$-modes, as well as on the modes themselves.

The full three-year WMAP results (WMAP3) reinforce the absence of large-angle correlations at scales greater than 60 degrees. The Poincare dodecahedral space (PDS) model model, which may naturally explain such features, thus remains a plausible cosmological model, despite recent controversy about whether matched circle searches would or would not push the topology beyond the horizon. Here, we have used new eigenmode calculations of the dodecahedral space to predict the cosmic microwave background (CMB) temperature fluctuations in such models, with an improved angular resolution. We have simulated CMB maps and confirmed the expected presence of matching circles. For a set of plausible cosmological parameters, we have derived the angular power spectrum of the CMB up to large wavenumbers. Comparison with the WMAP3 observations confirms a remarkable fit with a PDS model, for a value $\Omega_0 = 1.018$ of the average total energy density.

The CMB quadrupole and octupole, as well as being weaker than expected, align suspiciously well with each other. Non-trivial spatial topology can explain the weakness. Might it also explain the alignment? The answer, at least in the case of the Poincare dodecahedral space, is a resounding no.

Observational data hints at a finite universe, with spherical manifolds such as the Poincare dodecahedral space tentatively providing the best fit. Simulating the physics of a model universe requires knowing the eigenmodes of the Laplace operator on the space. The present article provides explicit polynomial eigenmodes for all globally homogeneous 3-manifolds: the Poincare dodecahedral space S3/I*, the binary octahedral space S3/O*, the binary tetrahedral space S3/T*, the prism manifolds S3/D_m* and the lens spaces L(p,1).

The recently re-discovered multipole vector approach to understanding the harmonic decomposition of the cosmic microwave background traces its roots to Maxwell's Treatise on Electricity and Magnetism. Taking Maxwell's directional derivative approach as a starting point, the present article develops a fast algorithm for computing multipole vectors, with an exposition that is both simpler and better motivated than in the author's previous work. Tests show the resulting algorithm, coded up as a Mathematica notebook, to be both fast and robust. This article serves to announce the free availability of the code. The algorithm is then applied to the much discussed anomalies in the low-ell CMB modes, with sobering results. Simulations show the quadrupole-octopole alignment to be unusual at the 98.7% level, corroborating earlier estimates of a 1-in-60 alignment while showing recent reports of 1-in-1000 (using non-unit-length normal vectors) to have unintentionally relied on the near orthogonality of the quadrupole vectors in one particular data set. The alignment of the quadrupole and octopole vectors with the ecliptic plane is confirmed at better than the 2sigma level.

A widespread myth asserts that all small universe models suppress the CMB quadrupole. In actual fact, some models suppress the quadrupole while others elevate it, according to whether their low-order modes are weak or strong relative to their high-order modes. Elementary geometrical reasoning shows that a model's largest dimension determines the rough value ell_min at which the CMB power spectrum ell(ell + 1)C_ell/(2pi) effectively begins; for cosmologically relevant models, ell_min < 4. More surprisingly, elementary geometrical reasoning shows that further reduction of a model's smaller dimensions -- with its largest dimension held fixed -- serves to elevate modes in the neighborhood of ell_min relative to the high-ell portion of the spectrum, rather than suppressing them as one might naively expect. Thus among the models whose largest dimension is comparable to or less than the horizon diameter, the low-order C_ell tend to be relatively weak in well-proportioned spaces (spaces whose dimensions are approximately equal in all directions) but relatively strong in oddly-proportioned spaces (spaces that are significantly longer in some directions and shorter in others). We illustrate this principle in detail for the special cases of rectangular 3-tori and spherical spaces. We conclude that well-proportioned spaces make the best candidates for a topological explanation of the low CMB quadrupole observed by COBE and WMAP.

Copi, Huterer, Starkman and Schwarz introduced multipole vectors in a tensor context and used them to demonstrate that the first-year WMAP quadrupole and octopole planes align at roughly the 99.9% confidence level. In the present article the language of polynomials provides a new and independent derivation of the multipole vector concept. Bezout's Theorem supports an elementary proof that the multipole vectors exist and are unique (up to rescaling). The constructive nature of the proof leads to a fast, practical algorithm for computing multipole vectors. We illustrate the algorithm by finding exact solutions for some simple toy examples, and numerical solutions for the first-year WMAP quadrupole and octopole. We then apply our algorithm to Monte Carlo skies to independently re-confirm the estimate that the WMAP quadrupole and octopole planes align at the 99.9% level.

This article investigates the signature of the seventeen multi-connected flat spaces in cosmic microwave background (CMB) maps. For each such space it recalls a fundamental domain and a set of generating matrices, and then goes on to find an orthonormal basis for the set of eigenmodes of the Laplace operator on that space. The basis eigenmodes are expressed as linear combinations of eigenmodes of the simply connected Euclidean space. A preceding work, which provides a general method for implementing multi-connected topologies in standard CMB codes, is then applied to simulate CMB maps and angular power spectra for each space. Unlike in the 3-torus, the results in most multi-connected flat spaces depend on the location of the observer. This effect is discussed in detail. In particular, it is shown that the correlated circles on a CMB map are generically not back-to-back, so that negative search of back-to-back circles in the WMAP data does not exclude a vast majority of flat or nearly flat topologies.

This article describes the Cosmic Microwave Background anisotropies expected in a closed universe with the topology of a lens space L(p,q) and with density parameter Omega_0 close to 1. It provides the first simulated maps for such spaces along with their corresponding power spectra. In spite of our initial expectations that increasing p (and thus decreasing the size of the fundamental domain) should suppress the quadrupole, we found just the opposite: increasing p elevates the relative power of the low multipoles, for reasons that have since become clear. For Omega_0 = 1.02, an informal ``by eye'' examination of the simulated power spectra suggests that $p$ must be less than 15 for consistency with WMAP's data, while geometric considerations imply that matching circles will exist (potentially revealing the multi-connected topology) only if p > 7. These bounds become less stringent for values of Omega_0 closer to 1.

Cosmology's standard model posits an infinite flat universe forever expanding under the pressure of dark energy. First-year data from the Wilkinson Microwave Anisotropy Probe (WMAP) confirm this model to spectacular precision on all but the largest scales (Bennett {\it et al.}, 2003 ; Spergel {\it et al.}, 2003). Temperature correlations across the microwave sky match expectations on scales narrower than $60^{\circ}$, yet vanish on scales wider than $60^{\circ}$. Researchers are now seeking an explanation of the missing wide-angle correlations (Contaldi {\it et al.}, 2003 ; Cline {\it et al.}, 2003). One natural approach questions the underlying geometry of space, namely its curvature (Efstathiou, 2003) and its topology (Tegmark {\it et al.}, 2003). In an infinite flat space, waves from the big bang would fill the universe on all length scales. The observed lack of temperature correlations on scales beyond $60^{\circ}$ means the broadest waves are missing, perhaps because space itself is not big enough to support them. Here we present a simple geometrical model of a finite, positively curved space -- the Poincar\'e dodecahedral space -- which accounts for WMAP's observations with no fine-tuning required. Circle searching (Cornish, Spergel and Starkman, 1998) may confirm the model's topological predictions, while upcoming Planck Surveyor data may confirm its predicted density of $\Omega_0 \simeq 1.013 > 1$. If confirmed, the model will answer the ancient question of whether space is finite or infinite, while retaining the standard Friedmann-Lema\^\i{}tre foundation for local physics.

This article describes the computation of cosmic microwave background anisotropies in a universe with multi-connected spatial sections and focuses on the implementation of the topology in standard CMB computer codes. The key ingredient is the computation of the eigenmodes of the Laplacian with boundary conditions compatible with multi-connected space topology. The correlators of the coefficients of the decomposition of the temperature fluctuation in spherical harmonics are computed and examples are given for spatially flat spaces and one family of spherical spaces, namely the lens spaces. Under the hypothesis of Gaussian initial conditions, these correlators encode all the topological information of the CMB and suffice to simulate CMB maps.

Cosmic microwave background data shows the observable universe to be nearly flat, but leaves open the question of whether it is simply or multiply connected. Several authors have investigated whether the topology of a multiply connect hyperbolic universe would be detectable when 0.9 < Omega < 1. However, the possibility of detecting a given topology varies depending on the location of the observer within the space. Recent studies have assumed the observer sits at a favorable location. The present paper extends that work to consider observers at all points in the space, and (for given values of Omega_m and Omega_Lambda and a given topology) computes the probability that a randomly placed observer could detect the topology. The computations show that when Omega = 0.98 a randomly placed observer has a reasonable chance (~50%) of detecting a hyperbolic topology, but when Omega = 0.99 the chances are low (<10%) and decrease still further as Omega approaches one.

When the density parameter is close to unity, the universe has a large curvature radius independently of its being hyperbolic, flat, or spherical. Whatever the curvature, the universe may have either a simply connected or a multiply connected topology. In the flat case, the topology scale is arbitrary, and there is no a priori reason for this scale to be of the same order as the size of the observable universe. In the hyperbolic case any nontrivial topology would almost surely be on a length scale too large to detect. In the spherical case, by contrast, the topology could easily occur on a detectable scale. The present paper shows how, in the spherical case, the assumption of a nearly flat universe simplifies the algorithms for detecting a multiply connected topology, but also reduces the amount of topology that can be seen. This is of primary importance for the upcoming cosmic microwave background data analysis. This article shows that for spherical spaces one may restrict the search to diametrically opposite pairs of circles in the circles-in-the-sky method and still detect the cyclic factor in the standard factorization of the holonomy group. This vastly decreases the algorithm's run time. If the search is widened to include pairs of candidate circles whose centers are almost opposite and whose relative twist varies slightly, then the cyclic factor along with a cyclic subgroup of the general factor may also be detected. Unfortunately the full holonomy group is, in general, unobservable in a nearly flat spherical universe, and so a full 6-parameter search is unnecessary. Crystallographic methods could also potentially detect the cyclic factor and a cyclic subgroup of the general factor, but nothing else.

This article investigates the computation of the eigenmodes of the Laplacian operator in multi-connected three-dimensional spherical spaces. General mathematical results and analytical solutions for lens and prism spaces are presented. Three complementary numerical methods are developed and compared with our analytic results and previous investigations. The cosmological applications of these results are discussed, focusing on the cosmic microwave background (CMB) anisotropies. In particular, whereas in the Euclidean case too small universes are excluded by present CMB data, in the spherical case there will always exist candidate topologies even if the total energy density parameter of the universe is very close to unity.

This article gives the construction and complete classification of all three-dimensional spherical manifolds, and orders them by decreasing volume, in the context of multiconnected universe models with positive spatial curvature. It discusses which spherical topologies are likely to be detectable by crystallographic methods using three-dimensional catalogs of cosmic objects. The expected form of the pair separation histogram is predicted (including the location and height of the spikes) and is compared to computer simulations, showing that this method is stable with respect to observational uncertainties and is well suited for detecting spherical topologies.

Since the dawn of civilization, humanity has grappled with the big questions of existence and creation. Modern cosmology seeks to answer some of these questions using a combination of mathematics and measurement. The questions people hope to answer include ``how did the universe begin?''; ``how will the universe end?''; ``is space finite or infinite?''. After a century of remarkable progress, cosmologists may be on the verge of answering at least one of these questions -- is space finite? Using some simple geometry and a NASA satellite set for launch in the year 2000, the authors and their colleagues hope to measure the size and shape of space. This review article explains the mathematics behind the measurement, and the cosmology behind the observations.

If the universe is multiply-connected and sufficiently small, then the last scattering surface wraps around the universe and intersects itself. Each circle of intersection appears as two distinct circles on the microwave sky. The present article shows how to use the matched circles to explicitly reconstruct the global topology of space.