G. I. Gomero

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.

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.

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.