[Abridged] An observable signature of a detectable nontrivial spatial topology of the Universe is the circles-in-the-sky in the CMB sky. In the most general search, pairs of circles with deviation from antipodality $0^\circ \leq \theta \leq 169^\circ$ and radii $10^\circ \leq \lambda \leq 90^\circ$ were investigated, but no matching circles were found. Assuming this negative result, we examine the question as to whether there are nearly flat universes with compact topology that would give rise to circles whose observable parameters $\lambda$ and $\theta$ fall o outside the ranges covered by this search. We derive the expressions for the deviation from antipodality and for the radius of the circles associated to a pair elements ($\gamma\,$,$\gamma^{-1}$) of the holonomy group $\Gamma$ which define the spatial section of any positively curved universe with a nontrivial topology. We show that there is a critical position that maximizes the deviation from antipodality, and prove that no matter how nearly flat the Universe is, it can always have a nontrivial spatial topology that gives rise to circles whose deviation from antipodality $\theta$ is larger than $169^\circ$, and whose radii of the circles $\lambda$ are smaller than $10^\circ$ for some observers. This makes apparent that slightly positively curved universes with cosmological parameters within Planck bounds can be endowed with a nontrivial spatial topology with values of the parameters $\lambda$ and $\theta$ outside the ranges covered by the searches for circles carried out so far. Thus, these circles searches so far undertaken are not sufficient to exclude the possibility of a universe with a detectable nontrivial cosmic topology. We present concrete examples of such nearly flat universes, and discuss the implications of our results in view of unavoidable practical limits of the circles-in-the-sky method.

We propose an alternative formalism to simulate CMB temperature maps in $\Lambda$CDM universes with nontrivial spatial topologies. This formalism avoids the need to explicitly compute the eigenmodes of the Laplacian operator in the spatial sections. Instead, the covariance matrix of the coefficients of the spherical harmonic decomposition of the temperature anisotropies is expressed in terms of the elements of the covering group of the space. We obtain a decomposition of the correlation matrix that isolates the topological contribution to the CMB temperature anisotropies out of the simply connected contribution. A further decomposition of the topological signature of the correlation matrix for an arbitrary topology allows us to compute it in terms of correlation matrices corresponding to simpler topologies, for which closed quadrature formulae might be derived. We also use this decomposition to show that CMB temperature maps of (not too large) multiply connected universes must show ``patterns of alignment'', and propose a method to look for these patterns, thus opening the door to the development of new methods for detecting the topology of our Universe even when the injectivity radius of space is slightly larger than the radius of the last scattering surface. We illustrate all these features with the simplest examples, those of flat homogeneous manifolds, i.e., tori, with special attention given to the cylinder, i.e., $T^1$ topology.

We study the geometric effects of our galaxy's peculiar motion on the circles-in-the-sky. We show that the shape of these circles-in-the-sky remains circular, as detected by a local observer with arbitrary peculiar velocity. Explicit expressions for the radius and center position of such an observed circle-in-the-sky, as well as for the angular displacement of points on the circle, are derived. In general, a circle is detected as a circle of different radius, displaced relative to its original position, and centered at a point which does not correspond to its detected center in the comoving frame. Further, there is an angular displacement of points on the circles. These effects all arise from aberration of cosmic microwave background radiation, exhausting the purely geometric effects due to the peculiar motion of our galaxy, and are independent of both the large scale curvature of space and the expansion of the universe, since aberration is a purely local phenomenon. For a Lorentz-boosted observer with the speed of our entire galaxy, the maximum (detectable) changes in the angular radius of a circle, its maximum center displacement, as well as the maximum angular distortion are shown all to be of order $\beta=(v/c)$ radians. In particular, two back-to-back matching circles in a finite universe will have an upper bound of $2|\beta|$ in the variation of either their radii, the angular position of their centers, or the angular distribution of points.

The pair separations statistical methods devised to detect the topology of the universe rely on the accurate knowledge of the three-dimensional positions of the cosmic sources. The determination of these positions, however, involves inevitable observational uncertainties. The only significant (measurable) sign of a nontrivial topology in PSH's was shown to be spikes. We briefly report our results concerning the sensitivity of the topological spikes in the presence of the uncertainties in the positions of the cosmic sources, which arise from uncertainties in the values of the density parameters.

Questions such as whether we live in a spatially finite universe, and what its shape and size may be, are among the fundamental open problems that high precision modern cosmology needs to resolve. These questions go beyond the scope of general relativity (GR), since as a (local) metrical theory GR leaves the global topology of the universe undetermined. Despite our present-day inability to predict the topology of the universe, given the wealth of increasingly accurate astro-cosmological observations it is expected that we should be able to detect it. An overview of basic features of cosmic topology, the main methods for its detection, and observational constraints on detectability are briefly presented. Recent theoretical and observational results related to cosmic topology are also discussed.

It is shown here how prior estimates on the local shape of the universe can be used to reduce, to a small region, the full parameter space for the search of circles in the sky. This is the first step towards the development of efficient estrategies to look for these matched circles in order to detect a possible nontrivial topology of our Universe. It is shown how to calculate the unique point, in the parameter space, representing a pair of matched circles corresponding to a given isometry $g$ (and its inverse). As a consequence, (i) given some fine estimates of the covering group $\Gamma$ of the spatial section of our universe, it is possible to confine, in a very effective way, the region of the parameter space in which to perform the searches for matched circles, and reciprocally (ii) once identified such pairs of matched circles, one could determine with greater precision the topology of our Universe and our location within it.

Suppose we have identified three clusters of galaxies as being topological copies of the same object. How does this information constrain the possible models for the shape of our Universe? It is shown here that, if the Universe has flat spatial sections, these multiple images can be accommodated within any of the six classes of compact orientable 3-dimensional flat space forms. Moreover, the discovery of two more triples of multiple images in the neighbourhood of the first one, would allow the determination of the topology of the Universe, and in most cases the determination of its size.

Recent studies of the detectability of cosmic topology of nearly flat universes have often concentrated on the range of values of $\Omega_{0}$ given by current observations. Here we study the consequences of taking the bounds on $\Omega_{0}$ given by inflationary models, i.e. $|\Omega_0 - 1| \ll 1$. We show that in this limit, a generic detectable non-flat manifold is locally indistinguishable from either a cylindrical ($R^2 \times S^1$) or toroidal ($R \times T^2$) manifold, irrespective of its global shape, with the former being more likely. Importantly this is compatible with some recent indications based on the analysis of high resolution CMB data. It also implies that in this limit an observer would not be able to distinguish topologically whether the universe is spherical, hyperbolic or flat. By severely restricting the expected topological signatures of detectable isometries, our results provide an effective theoretical framework for interpreting cosmological observations, and can be used to confine any parameter space which realistic search strategies, such as the `circles in the sky' method, need to concentrate on. This is particularly important in the inflationary limit, where the precise nature of cosmic topology becomes undecidable.

Recent observations seem to indicate that we live in a universe whose spatial sections are nearly or exactly flat. Motivated by this we study the problem of observational detection of the topology of universes with flat spatial sections. We first give a complete description of the diffeomorphic classification of compact flat 3-manifolds, and derive the expressions for the injectivity radii, and for the volume of each class of Euclidean 3-manifolds. There emerges from our calculations the undetectability conditions for each (topological) class of flat universes. To illustrate the detectability of flat topologies we construct toy models by using an assumption by Bernshtein and Shvartsman which permits to establish a relation between topological typical lengths to the dynamics of flat models.

This is a written version of a talk given at the Fifth Friedmann Seminar on recent work in Observational Cosmic Topology done in partial collaboration with Armando Bernui. We address three relevant questions related to the search for the size and shape of our Universe: (i) How do the actual observation of multiple images of certain cosmic objects, e.g. galaxy clusters, constrain the possible models for the shape of our Universe?, (ii) What kind of predictions can be done once a pair of cosmic objects have been identified to be topological images related by a translation?, and (iii) Is it possible to determine if two regions of space are topologically identified, even when distortions on the distributions of cosmic sources due to observational limitations are not negligible? We give examples answering the first two questions using the suggestion of Roukema and Edge that the clusters RXJ 1347.5-1145 and CL 09104+4109 might be topological images of the Coma cluster. For the third question, we suggest a method based on the analysis of PSH's noise correlations which seems to give a positive answer.

We reexamine the possibility of the detection of the cosmic topology in nearly flat hyperbolic Friedmann-Lemaitre-Robertson-Walker (FLRW) universes by using patterns repetition. We update and extend our recent results in two important ways: by employing recent observational constraints on the cosmological density parameters as well as the recent mathematical results concerning small hyperbolic 3-manifolds. This produces new bounds with consequences for the detectability of the cosmic topology. In addition to obtaining new bounds, we also give a concrete example of the sensitive dependence of detectability of cosmic topology on the uncertainties in the observational values of the density parameters.

If the universe is multiply connected and small the sky shows multiple images of cosmic objects, correlated by the covering group of the 3-manifold used to model it. These correlations were originally thought to manifest as spikes in pair separation histograms (PSH) built from suitable catalogues. Using probability theory we derive an expression for the expected pair separation histogram (EPSH) in a rather general topological-geometrical-observational setting. As a major consequence we show that the spikes of topological origin in PSH's are due to translations, whereas other isometries manifest as tiny deformations of the PSH corresponding to the simply connected case. This result holds for all Robertson-Walker spacetimes and gives rise to two basic corollaries: (i) that PSH's of Euclidean manifolds that have the same translations in their covering groups exhibit identical spike spectra of topological origin, making clear that even if the universe is flat the topological spikes alone are not sufficient for determining its topology; and (ii) that PSH's of hyperbolic 3-manifolds exhibit no spikes of topological origin. These corollaries ensure that cosmic crystallography, as originally formulated, is not a conclusive method for unveiling the shape of the universe. We also present a method that reduces the statistical fluctuations in PSH's built from simulated catalogues.

Using recent observational constraints on cosmological density parameters, together with recent mathematical results concerning small volume hyperbolic manifolds, we argue that, by employing pattern repetitions, the topology of nearly flat small hyperbolic universes can be observationally undetectable. This is important in view of the facts that quantum cosmology may favour hyperbolic universes with small volumes, and from the expectation coming from inflationary scenarios, that $\Omega_0$ is likely to be very close to one.

Recent observations suggest that the ratio of the total density to the critical density of the universe, $\Omega_0$, is likely to be very close to one, with a significant proportion of this energy being in the form of a dark component with negative pressure. Motivated by this result, we study the question of observational detection of possible non-trivial topologies in universes with $\Omega_0 \sim 1$, which include a cosmological constant. Using a number of indicators we find that as $\Omega_0 \to 1$, increasing families of possible manifolds (topologies) become either undetectable or can be excluded observationally. Furthermore, given a non-zero lower bound on $|\Omega_0 - 1|$, we can rule out families of topologies (manifolds) as possible candidates for the shape of our universe. We demonstrate these findings concretely by considering families of topologies and employing bounds on cosmological parameters from recent observations. We find that given the present bounds on cosmological parameters, there are families of both hyperbolic and spherical manifolds that remain undetectable and families that can be excluded as the shape of our universe. These results are of importance in future search strategies for the detection of the shape of our universe, given that there are an infinite number of theoretically possible topologies and that the future observations are expected to put a non-zero lower bound on $|\Omega_0 - 1|$ which is more accurate and closer to zero.

If the universe has a nontrivial shape (topology) the sky may show multiple correlated images of cosmic objects. These correlations can be couched in terms of distance correlations. We propose a statistical quantity which can be used to reveal the topological signature of any Robertson-Walker (RW) spacetime with nontrivial topology. We also show through computer-aided simulations how one can extract the topological signatures of flat, elliptic, and hyperbolic RW universes with nontrivial topology.

Two procedures for obtaining (extracting and constructing) the topological signature of any multiply connected Robertson-Walker (RW) universe are presented. It is shown through computer-aided simulations that both approaches give rise to the same topological signature for a multiply connected flat RW universe. The strength of these approaches is illustrated by extracting the topological signatures of a flat ($k=0$), an elliptic ($k=1$), and a hyperbolic ($k=-1$) multiply connected RW universes. We also show how separated contributions of the covering isometries add up to form the topological signature of a RW flat universe. There emerges from our theoretical results and simulations that the topological signature arises (in the mean) even when there are just a few images for each object. It is also shown that the mean pair separation histogram technique works, and that it is a suitable approach for studying the topological signatures of RW universes as well as the role of non-translational isometries.

We study the role played by multiply-connectedness in the time evolution of the energy E(t) of a radiating system that lies in static flat space-time manifolds M_4 whose t=const spacelike sections M_3 are compact in at least one spatial direction. The radiation reaction equation of the radiating source is derived for the case where M_3 has any non-trivial flat topology, and an exact solution is obtained. We also show that when the spacelike sections are multiply-connected flat 3-manifolds the energy E(t) exhibits a reverberation pattern with discontinuities in the derivative of E(t) and a set of relative minima and maxima, followed by a growth of E(t). It emerges from this result that the compactness in at least one spatial direction of Minkowski space-time is sufficient to induce this type of topological reverberation, making clear that our radiating system is topologically fragile. An explicit solution of the radiation reaction equation for the case where M_3 = R^2 x S^1 is discussed, and graphs which reveal how the energy varies with the time are presented and analyzed.

We study the topological signature of euclidean isometries in pair separations histograms (PSH) and elucidate some unsettled issues regarding distance correlations between cosmic sources in cosmic crystallography. Reducing the noise of individual PSH's using mean pair separations histograms we show how to distinguish between topological and statistical spikes. We report results of simulations that evince that topological spikes are not enough to distinguish between manifolds with the same set of Clifford translations in their covering groups, and that they are not the only signature of topology in PSH's corresponding to euclidean small universes. We also show how to evince the topological signature due to non-translational isometries.

We study the role played by the compactness and the degree of connectedness in the time evolution of the energy of a radiating system in the Friedmann-Robertson-Walker (FRW) space-times whose $t=const $ spacelike sections are the Euclidean 3-manifold ${\cal R}^3$ and six topologically non-equivalent flat orientable compact multiply connected Riemannian 3-manifolds. An exponential damping of the energy $E(t)$ is present in the ${\cal R}^3$ case, whereas for the six compact flat 3-spaces it is found basically the same pattern for the evolution of the energy, namely relative minima and maxima occurring at different times (depending on the degree of connectedness) followed by a growth of $E(t)$. Likely reasons for this divergent behavior of $E(t)$ in these compact flat 3-manifolds are discussed and further developments are indicated. A misinterpretation of Wolf's results regarding one of the six orientable compact flat 3-manifolds is also indicated and rectified.