[Abridged] If gravitation is to be described by a hybrid metric-Palatini $f(\mathcal{R})$ gravity theory there are a number of issues that ought to be examined in its context, including the question as to whether its equations allow homogeneous G\"odel-type solutions, which necessarily leads to violation of causality. Here, to look further into the potentialities and difficulties of $f(\mathcal{R})$ theories, we examine whether they admit G\"odel-type solutions for well-motivated matter source. We first show that under certain conditions on the matter sources the problem of finding out space-time homogeneous solutions in $f(\mathcal{R})$ theories reduces to the problem of determining solutions of Einstein's field equations with a cosmological constant. Employing this far-reaching result, we determine a general G\"odel-type whose matter source is a combination of a scalar with an electromagnetic field plus a perfect fluid. This general G\"odel-type solution contains special solutions in which the essential parameter $m^2$ can be $m^{2} > 0$, $m=0$, and $m^{2} < 0$, covering thus all classes of homogeneous G\"odel-type spacetimes. This general solution also contains all previously known solution as special cases. The bare existence of these G\"odel-type solutions makes apparent that hybrid metric-Palatini gravity does not remedy causal anomaly in the form of closed timelike curves that are permitted in general relativity.

[Abridged] In its standard formulation, the $f(T)$ field equations are not invariant under local Lorentz transformations, and thus the theory does not inherit the causal structure of special relativity. A locally Lorentz covariant $f(T)$ gravity theory has been devised recently, and this local causality problem has been overcome. The nonlocal question, however, is left open. If gravitation is to be described by this covariant $f(T)$ gravity theory there are a number of issues that ought to be examined in its context, including the question as to whether its field equations allow homogeneous G\"odel-type solutions, which necessarily leads to violation of causality on nonlocal scale. Here, to look into the potentialities and difficulties of the covariant $f(T)$ theories, we examine whether they admit G\"odel-type solutions. We take a combination of a perfect fluid with electromagnetic plus a scalar field as source, and determine a general G\"odel-type solution, which contains special solutions in which the essential parameter of G\"odel-type geometries, $m^2$, defines any class of homogeneous G\"odel-type geometries. We extended to the context of covariant $f(T)$ gravity a theorem, which ensures that any perfect-fluid homogeneous G\"odel-type solution defines the same set of G\"odel tetrads $h_A^{~\mu}$ up to a Lorentz transformation. We also shown that the single massless scalar field generates G\"odel-type solution with no closed timelike curves. Even though the covariant $f(T)$ gravity restores Lorentz covariance of the field equations and the local validity of the causality principle, the bare existence of the G\"odel-type solutions makes apparent that the covariant formulation of $f(T)$ gravity does not preclude non-local violation of causality in the form of closed timelike curves.

[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.

The statistical properties of the temperature anisotropies and polarization of the of cosmic microwave background (CMB) radiation offer a powerful probe of the physics of the early universe. In recent works a statistical procedure based upon the calculation of the kurtosis and skewness of the data in patches of CMB sky-sphere has been proposed and used to investigate the large-angle deviation from Gaussianity in WMAP maps. Here we briefly address the question as to how this analysis of Gaussianity is modified if the foreground-cleaned Planck maps are considered. We show that although the foreground-cleaned Planck maps present significant deviation from Gaussianity of different degrees when a less severe mask is used, they become consistent with Gaussianity, as detected by our indicators, when masked with the union mask U73.

[Abridged.] It is conceivable that no single statistical estimator can be sensitive to all forms and levels of non-Gaussianity that may be present in observed CMB data. In recent works a statistical procedure based upon the calculation of the skewness and kurtosis of the patches of CMB sky-sphere has been proposed and used to find out significant large-angle deviation from Gaussianity in the foreground-reduced WMAP maps. Here we address the question as to how the analysis of Gaussianity of WMAP maps is modified if the foreground-cleaned Planck maps are used, therefore extending and complementing the previous analyses in several regards. We carry out a new analysis of Gaussianity with the available nearly full-sky foreground-cleaned Planck maps. As the foregrounds are cleaned through different component separation procedures, each of the resulting Planck maps is then tested for Gaussianity. We determine quantitatively the effects for Gaussianity of masking the foreground-cleaned Planck maps with the INPMASK, VALMASK, and U73 Planck masks. We show that although the foreground-cleaned Planck maps present significant deviation from Gaussianity of different degrees when the less severe INPMASK and VALMASK are used, they become consistent with Gaussianity as detected by our indicator $S$ when masked with the union U73 mask. A slightly smaller consistency with Gaussianity is found when the $K$ indicator is employed, which seems to be associated with large-angle anomalies reported by the Planck team. Finally, we examine the robustness of the Gaussianity analyses with respect to the noise pixel's as given by the Planck team, and show that no appreciable changes arise when is incorporated into the maps. The results of our analyses provide important information about the suitability of the foreground-cleaned Planck maps as Gaussian reconstructions of the CMB sky.

The $f(R)$ gravity theories provide an alternative way to explain the current cosmic acceleration without invoking dark energy matter component. However, the freedom in the choice of the functional forms of $f(R)$ gives rise to the problem of how to constrain and break the degeneracy among these gravity theories on theoretical and/or observational grounds. In this paper to proceed further with the investigation on the potentialities, difficulties and limitations of $f(R)$ gravity, we examine the question as to whether the future dynamics can be used to break the degeneracy between $f(R)$ gravity theories by investigating the future dynamics of spatially homogeneous and isotropic dust flat models in two $f(R)$ gravity theories, namely the well known $f(R) = R + \alpha R^{n}$ gravity and another by A. Aviles et al., whose motivation comes from the cosmographic approach to $f(R)$ gravity. To this end we perform a detailed numerical study of the future dynamic of these flat model in these theories taking into account the recent constraints on the cosmological parameters made by the Planck team. We show that besides being powerful for discriminating between $f(R)$ gravity theories, the future dynamics technique can also be used to determine the fate of the Universe in the framework of these $f(R)$ gravity theories. Moreover, there emerges from our numerical analysis that if we do not invoke a dark energy component with equation-of-state parameter $\omega < -1$ one still has dust flat FLRW solution with a big rip, if gravity deviates from general relativity via $f(R) = R + \alpha R^n $. We also show that FLRW dust solutions with $f''<0$ do not necessarily lead to singularity.

The Javalambre-Physics of the Accelerated Universe Astrophysical Survey (J-PAS) is a narrow band, very wide field Cosmological Survey to be carried out from the Javalambre Observatory in Spain with a purpose-built, dedicated 2.5m telescope and a 4.7 sq.deg. camera with 1.2Gpix. Starting in late 2015, J-PAS will observe 8500sq.deg. of Northern Sky and measure $0.003(1+z)$ photo-z for $9\times10^7$ LRG and ELG galaxies plus several million QSOs, sampling an effective volume of $\sim 14$ Gpc$^3$ up to $z=1.3$ and becoming the first radial BAO experiment to reach Stage IV. J-PAS will detect $7\times 10^5$ galaxy clusters and groups, setting constrains on Dark Energy which rival those obtained from its BAO measurements. Thanks to the superb characteristics of the site (seeing ~0.7 arcsec), J-PAS is expected to obtain a deep, sub-arcsec image of the Northern sky, which combined with its unique photo-z precision will produce one of the most powerful cosmological lensing surveys before the arrival of Euclid. J-PAS unprecedented spectral time domain information will enable a self-contained SN survey that, without the need for external spectroscopic follow-up, will detect, classify and measure $\sigma_z\sim 0.5\%$ redshifts for $\sim 4000$ SNeIa and $\sim 900$ core-collapse SNe. The key to the J-PAS potential is its innovative approach: a contiguous system of 54 filters with $145\AA$ width, placed $100\AA$ apart over a multi-degree FoV is a powerful "redshift machine", with the survey speed of a 4000 multiplexing low resolution spectrograph, but many times cheaper and much faster to build. The J-PAS camera is equivalent to a 4.7 sq.deg. "IFU" and it will produce a time-resolved, 3D image of the Northern Sky with a very wide range of Astrophysical applications in Galaxy Evolution, the nearby Universe and the study of resolved stellar populations.

A convincing detection of primordial non-Gaussianity in the cosmic background radiation (CMB) is essential to probe the physics of the early universe. Since a single statistical estimator can hardly be suitable to detect the various possible forms of non-Gaussianity, it is important to employ different statistical indicators to study non-Gaussianity of CMB. This has motivated the proposal of a number statistical tools, including two large-angle indicators based on skewness and kurtosis of spherical caps of CMB sky-sphere. Although suitable to detect fairly large non-Gaussianity they are unable to detect non-Gaussianity within the Planck bounds, and exhibit power spectra with undesirable oscillation pattern. Here we use several thousands simulated CMB maps to examine interrelated problems regarding advances of these spherical patches procedures. We examine whether a change in the choice of the patches could enhance the sensitivity of the procedures well enough to detect large-angle non-Gaussianity within the Planck bounds. To this end, a new statistical procedure with non-overlapping cells is proposed and its capability is established. We also study whether this new procedure is capable to smooth out the undesirable oscillation pattern in the skewness and kurtosis power spectra of the spherical caps procedure. We show that the new procedure solves this problem, making clear this unexpected power spectra pattern does not have a physical origin, but rather presumably arises from the overlapping obtained with the spherical caps approach. Finally, we make a comparative analysis of this new statistical procedure with the spherical caps routine, determine their lower bounds for non-Gaussianity detection, and make apparent their relative strength and sensitivity.

In the attempts toward a quantum gravity theory, general relativity faces a serious difficulty since it is non-renormalizable theory. Ho\v{r}ava-Lifshitz gravity offers a framework to circumvent this difficulty, by sacrificing the local Lorentz invariance at ultra-high energy scales in exchange of power-counting renormalizability. The Lorentz symmetry is expected to be recovered at low and medium energy scales. If gravitation is to be described by a Ho\v{r}ava-Lifshitz gravity theory there are a number of issues that ought to be reexamined in its context, including the question as to whether this gravity incorporates a chronology protection, or particularly if it allows G\"odel-type solutions with violation of causality. We show that Ho\v{r}ava-Lifshitz gravity only allows hyperbolic G\"odel-type space-times whose essential parameters $m$ and $\omega$ are in the chronology respecting intervals, excluding therefore any noncausal G\"odel-type space-times in the hyperbolic class. There emerges from our results that the famous noncausal G\"odel model is not allowed in Ho\v{r}ava-Lifshitz gravity. The question as to whether this quantum gravity theory permits hyperbolic G\"odel-type solutions in the chronology preserving interval of the essential parameters is also examined. We show that Ho\v{r}ava-Lifshitz gravity not only excludes the noncausal G\"odel universe, but also rules out any hyperbolic G\"odel-type solutions for physically well-motivated perfect-fluid matter content.

A detection or non detection of primordial non--Gaussianity (NG) by using the cosmic microwave background radiation (CMB) is a possible way to break the degeneracy of early universe models. Since a single statistical estimator hardly can be sensitive to all possible forms of NG which may be present in the data, it is important to use different statistical estimators to study NG in CMB. Recently, two new large-angle NG indicators based on skewness and kurtosis of spherical caps or spherical cells of CMB sky have been proposed and used in both CMB data and simulated maps. Here, we make a comparative study of these two different procedures by examining the NG in the WMAP seven years ILC map. We show that the spherical cells procedure detects a higher level of NG than that obtained by the method with overlapping spherical caps.

In standard approach to cosmological modeling in the framework of general relativity, the energy conditions play an important role in the understanding of several properties of the Universe, including singularity theorems, the current accelerating expansion phase, and the possible existence of the so-called phantom fields. Recently, the $f(T)$ gravity has been invoked as an alternative approach for explaining the observed acceleration expansion of the Universe. If gravity is described by a $f(T)$ theory instead of general relativity, there are a number of issues that ought to be reexamined in the framework of $f(T)$ theories. In this work, to proceed further with the current investigation of the limits and potentialities of the $f(T)$ gravity theories, we derive and discuss the bounds imposed by the energy conditions on a general $f(T)$ functional form. The null and strong energy conditions in the framework of $f(T)$ gravity are derived from first principles, namely the purely geometric Raychaudhuri's equation along with the requirement that gravity is attractive. The weak and dominant energy conditions are then obtained in a direct approach via an effective energy-momentum tensor for $f(T)$ gravity. Although similar, the energy condition inequalities are different from those of general relativity (GR), but in the limit $f(T)=T$ the standard forms for the energy conditions in GR are recovered. As a concrete application of the derived energy conditions to locally homogeneous and isotropic $f(T)$ cosmology, we use the recent estimated value of the Hubble parameter to set bounds from the weak energy condition on the parameters of two specific families of $f(T)$ gravity theories.

A detection or nondetection of primordial non-Gaussianity by using the cosmic microwave background radiation (CMB) offers a way of discriminating inflationary scenarios and testing alternative models of the early universe. This has motivated the considerable effort that has recently gone into the study of theoretical features of primordial non-Gaussianity and its detection in CMB data. Among such attempts to detect non-Gaussianity, there is a procedure that is based upon two indicators constructed from the skewness and kurtosis of large-angle patches of CMB maps, which have been proposed and used to study deviation from Gaussianity in the WMAP data. Simulated CMB maps equipped with realistic primordial non-Gaussianity are essential tools to test the viability of non-Gaussian indicators in practice, and also to understand the effect of systematics, foregrounds and other contaminants. In this work we extend and complement the results of our previous works by performing an analysis of non-Gaussianity of the high-angular resolution simulated CMB temperature maps endowed with non-Gaussianity of the local type, for which the level of non-Gaussianity is characterized by the dimensionless parameter $f_{\rm NL}^{\rm local}$

[Abridged] In recent works we have proposed two new large-angle non-Gaussianity indicators based on skewness and kurtosis of patches of CMB sky-sphere, and used them to find out significant deviation from Gaussianity in frequency bands and foreground-reduced CMB maps. Simulated CMB maps with assigned type and amplitude of primordial non-Gaussianity are important tools to determine the strength, sensitivity and limitations of non-Gaussian estimators. Here we investigate whether and to what extent our non-Gaussian indicators have sensitivity to detect non-Gaussianity of local type, particularly with amplitude within the seven-year WMAP bounds. We make a systematic study by employing our statistical tools to generate maps of skewness and kurtosis from several thousands of simulated maps equipped with non-Gaussianity of local type of various amplitudes. We show that our indicators can be used to detect large-angle local-type non-Gaussianity only for relatively large values of the non-linear parameter $f_{\rm NL}^{\rm local}$. Thus, our indicators have not enough sensitivity to detect deviation from Gaussianity with the non-linear parameter within the seven-year WMAP bounds. This result along with the outcomes of frequency bands and foreground-reduced analyses suggest that non-Gaussianity captured in the previous works by our indicators is not of primordial origin, although it might have a primordial component. We have also made a comparative study of non-Gaussianity of simulated maps and of the full-sky WMAP foreground-reduced seven-year ILC-7yr map. An outcome of this analysis is that the level of non-Gaussianity of ILC-7yr map is higher than that of the simulated maps for $f_{\rm NL}^{\rm local}$ within WMAP bounds. This provides quantitative indications on the suitability of the ILC-7yr map as a Gaussian reconstruction of the full-sky CMB.

In a Universe with a detectable nontrivial spatial topology the last scattering surface contains pairs of matching circles with the same distribution of temperature fluctuations --- the so-called circles-in-the-sky. Searches undertaken for nearly antipodal pairs of such circles in cosmic microwave background maps have so far been unsuccessful. Previously we had shown that the negative outcome of such searches, if confirmed, should in principle be sufficient to exclude a detectable non-trivial spatial topology for most observers in very nearly flat ($0<\mid\Omega_{\text{tot}}-1\mid \lesssim10^{-5}$) (curved) universes. More recently, however, we have shown that this picture is fundamentally changed if the universe turns out to be {\it exactly} flat. In this case there are many potential pairs of circles with large deviations from antipodicity that have not yet been probed by existing searches. Here we study under what conditions the detection of a single pair of circles-in-the-sky can be used to uniquely specify the topology and the geometry of the spatial section of the Universe. We show that from the detection of a \emph{single} pair of matching circles one can infer whether the spatial geometry is flat or not, and if so we show how to determine the topology (apart from one case) of the Universe using this information. An important additional outcome of our results is that the dimensionality of the circles-in-the-sky parameter space that needs to be spanned in searches for matching pair of circles is reduced from six to five degrees of freedom, with a significant reduction in the necessary computational time.

The immediate observational consequence of a non-trivial spatial topology of the Universe is that an observer could potentially detect multiple images of radiating sources. In particular, a non-trivial topology will generate pairs of correlated circles of temperature fluctuations in the anisotropies maps of the cosmic microwave background (CMB), the so-called circles-in-the-sky. In this way, a detectable non-trivial spatial topology may be seen as an observable attribute, which can be probed through the circles-in-the-sky for all locally homogeneous and isotropic universes with no assumptions on the cosmological dark energy (DE) equation of state (EOS) parameters. We show that the knowledge of the spatial topology through the circles-in-the-sky offers an effective way of reducing the degeneracies in the DE EOS parameters. We concretely illustrate the topological role by assuming, as an exanple, a Poincar\'{e} dodecahedral space topology and reanalyzing the constraints on the parameters of a specific EOS which arise from the supernovae type Ia, baryon acoustic oscillations and the CMB plus the statistical topological contribution.

An important, and potentially detectable, signature of a non-trivial topology for the universe is the presence of so called circles-in-the-sky in the cosmic microwave background (CMB). Recent searches, confined to antipodal and nearly antipodal circles, have however failed to detect any. This outcome, coupled with recent theoretical results concerning the detectability of very nearly flat universes, is sufficient to exclude a detectable non-trivial cosmic topology for most observers in the inflationary limit ($0< |\Omega_{tot}-1| \lesssim 10^{-5}$). In a recent paper we have studied the consequences of these searches for circles if the Universe turns out to be exactly flat ($\Omega_{tot} = 1 $) as is often assumed. More specifically, we have derived the maximum angles of deviation possible from antipodicity of pairs of matching circles associated with the shortest closed geodesic for all multiply-connected flat orientable $3$-manifolds. These upper bounds on the deviation from antipodicity demonstrate that in a flat universe for some classes of topology there remains a substantial fraction of observers for whom the deviation from antipodicity of the matching circles is considerably larger than zero, which implies that the searches for circles-in-the-sky undertaken so far are not enough to exclude the possibility of a detectable non-trivial flat topology. Here we briefly review these results and discuss their consequences in the search for circles-in-the-sky in a flat universes.

We examine the question as to whether the f(R) gravity theories, in both metric and in Palatini formalisms, permit space-times in which the causality is violated. We show that the field equations of these f(R) gravity theories admit solutions with violation of causality for a physically well-motivated perfect-fluid matter content.

We examine the question as to whether the Palatini f(R) gravity theories permit space-times in which the causality is violated. We show that every perfect-fluid G\"{o}del-type solution of Palatini f(R) gravity with density $\rho$ and pressure $p$ that satisfy the weak energy condition $\rho+p \geq 0$ is necessarily isometric to the G\"odel geometry, demonstrating therefore that these theories present causal anomalies in the form of closed time-like curves. This result extends a theorem on G\"{o}del-type models to the framework of Palatini f(R) gravity theory. We concretely examine the G\"odel-type perfect-fluid solutions in specific $f(R) = R - \alpha/R^{n}$ Palatini gravity theory, where the free parameters $\alpha$ and $n$ have been recently constrained by a diverse set of observational data. We show that for positive matter density and for $\alpha$ and $n$ within the interval permitted by the observational data, this theory does not admit the G\"odel geometry as a perfect-fluid solution of its field equations. In this sense, this theory remedies the causal pathology in the form of closed time-like curves which is allowed in general relativity. We derive an expression for a critical radius $r_c$ (beyond which the causality is violated) for an arbitrary Palatini f(R) theory, thus making apparent that the violation of causality depends on the form of f(R) and on the matter content components. We also examine the violation of causality of G\"odel-type by considering a single scalar field as the matter content. For this source we show that Palatini f(R) gravity gives rise to a unique G\"odel-type solution with no violation of causality.

[Abridged] In a Universe with a detectable nontrivial spatial topology the last scattering surface contains pairs of matching circles with the same distribution of temperature fluctuations - the so-called circles-in-the-sky. Searches for nearly antipodal circles in maps of cosmic microwave background have so far been unsuccessful. This negative outcome along with recent theoretical results concerning the detectability of nearly flat compact topologies is sufficient to exclude a detectable nontrivial topology for most observers in very nearly flat positively and negatively curved Universes ($0<|\Omega_{tot}-1| \lesssim 10^{-5}$). Here we investigate the consequences of these searches for observable nontrivial topologies if the Universe turns out to be exactly flat ($\Omega_{tot}=1$). We demonstrate that in this case the conclusions deduced from such searches can be radically different. We show that for all multiply-connected orientable flat manifolds it is possible to directly study the action of the holonomies in order to obtain a general upper bound on the angle that characterizes the deviation from antipodicity of pairs of matching circles associated with the shortest closed geodesic. This bound is valid for all observers and all possible values of the compactification length parameters. We also show that in a flat Universe there are observers for whom the circles-in-the-sky searches already undertaken are insufficient to exclude the possibility of a detectable nontrivial spatial topology. It is remarkable how such small variations in the spatial curvature of the Universe, which are effectively indistinguishable geometrically, can have such a drastic effect on the detectability of cosmic topology.

A detection of the level of non-Gaussianity in the CMB data is essential to discriminate among inflationary models and also to test alternative primordial scenarios. However, the extraction of primordial non-Gaussianity is a difficult endeavor since several effects of non-primordial nature can produce non-Gaussianity. On the other hand, different statistical tools can in principle provide information about distinct forms of non-Gaussianity. Thus, any single statistical estimator cannot be sensitive to all possible forms of non-Gaussianity. In this context, to shed some light in the potential sources of deviation from Gaussianity in CMB data it is important to use different statistical indicators. In a recent paper we proposed two new large-angle non-Gaussianity indicators which provide measures of the departure from Gaussianity on large angular scales. We used these indicators to carry out analyses of non-Gaussianity of the bands and of the foreground-reduced WMAP maps with and without the KQ75 mask. Here we briefly review the formulation of the non-Gaussianity indicators, and discuss the analyses made by using our indicators.

Despite our present-day inability to predict the topology of the universe it is expected that we should be able to detect it in the near future. A nontrivial detectable topology of the space section of the universe can be probed for all homogeneous and isotropic universes through the circles-in-the-sky. We discuss briefly how one can use this observable attribute to set constraints on the dark energy equation of state parameters.

A detection or nondetection of primordial non-Gaussianity in the CMB data is essential not only to test alternative models of the physics of the early universe but also to discriminate among classes of inflationary models. Given this far reaching consequences of such a non-Gaussianity detection for our understanding of the physics of the early universe, it is important to employ alternative indicators in order to have further information about the Gaussianity features of CMB that may be helpful for identifying their origins. In this way, a considerable effort has recently gone into the design of non-Gaussianity indicators, and in their application in the search for deviation from Gaussianity in the CMB data. Recently we have proposed two new large-angle non-Gaussianity indicators which provide measures of the departure from Gaussianity on large angular scales. We have used these indicators to carry out analyses of Gaussianity of the single frequency bands and of the available foreground-reduced {\it five-year} maps with and without the KQ75 mask. Here we extend and complement these studies by performing a new analysis of deviation from Gaussianity of the {\it three-year} harmonic ILC (HILC) foreground-reduced full-sky and KQ75 masked maps obtained from WMAP data. We show that this full-sky foreground-reduced maps presents a significant deviation from Gaussianity, which is brought down to a level of consistency with Gaussianity when the KQ75 mask is employed.

[Abridged]: A detection or nondetection of primordial non-Gaussianity by using the CMB data is crucial not only to discriminate inflationary models but also to test alternative scenarios. Non-Gaussianity offers, therefore, a powerful probe of the physics of the primordial universe. The extraction of primordial non-Gaussianity is a difficult enterprise since several effects of non-primordial nature can produce non-Gaussianity. Most of the Gaussianity analyses of CMB data have been performed by using part-sky frequency, where masks are used to deal with the galactic diffuse foreground emission. However, full-sky map seems to be potentially more appropriate to test for Gaussianity of the CMB data. On the other hand, masks can induce bias in some non-Gaussianity analyses. Here we use two recent large-angle non-Gaussianity indicators, based on skewness and kurtosis of large-angle patches of CMB maps, to examine the question of non-Gaussianity in the available full-sky five-year and seven-year WMAP maps. We show that these full-sky foreground-reduced maps present a significant deviation from Gaussianity of different levels, which vary with the foreground-reducing procedures. We also make a Gaussianity analysis of the foreground-reduced five-year and seven-year WMAP maps with a KQ75 mask, and compare with the similar analysis performed with the full-sky foreground-reduced maps. This comparison shows a significant reduction in the levels of non-Gaussianity when the mask is employed, which provides indications on the suitability of the foreground-reduced maps as Gaussian reconstructions of the full-sky CMB.

The $f(R)$ gravity theories provide an alternative way to explain the current cosmic acceleration without a dark energy matter component. If gravity is governed by a $f(R)$ theory a number of issues should be reexamined in this framework, including the violation of causality problem on nonlocal scale. We examine the question as to whether the $f(R)$ gravity theories permit space-times in which the causality is violated. We show that the field equations of these $f(R)$ gravity theories do not exclude solutions with breakdown of causality for a physically well-motivated perfect-fluid matter content. We demonstrate that every perfect-fluid G\"{o}del-type solution of a generic $f(R)$ gravity satisfying the condition $df/dR > 0$ is necessarily isometric to the G\"odel geometry, and therefore presents violation of causality. This result extends a theorem on G\"{o}del-type models, which has been established in the context of general relativity. We also derive an expression for the critical radius $r_c$ (beyond which the causality is violated) for an arbitrary $f(R)$ theory, making apparent that the violation of causality depends on both the $f(R)$ gravity theory and the matter content. As an illustration, we concretely take a recent $f(R)$ gravity theory that is free from singularities of the Ricci scalar and is cosmologically viable, and show that this theory accommodates noncausal as well as causal G\"odel-type solutions.

A considerable effort has recently gone into the study of Gaussianity of cosmic microwave background (CMB) data. Among such attempts, there is one with two non-Gaussianity indicators, proposed by the authors, and used in a search for significant deviation from Gaussianity in the WMAP internal linear combination (ILC) and in the single frequency WMAP maps with the KQ75 mask. Here we extend and complement these results by performing a similar analysis for the de Oliveira-Costa and Tegmark (OT) WMAP three-year $KQ75$ masked map, in which the foreground is reduced through a different statistical cleaning procedure.

Some analyses of recent cosmic microwave background (CMB) data have provided hints that there are deviations from Gaussianity in the WMAP CMB temperature fluctuations. Given the far reaching consequences of such a non-Gaussianity for our understanding of the physics of the early universe, it is important to employ alternative indicators in order to determine whether the reported non-Gaussianity is of cosmological origin, and/or extract further information that may be helpful for identifying its causes. We propose two new non-Gaussianity indicators, based on skewness and kurtosis of large-angle patches of CMB maps, which provide a measure of departure from Gaussianity on large angular scales. A distinctive feature of these indicators is that they provide sky maps of non-Gaussianity of the CMB temperature data, thus allowing a possible additional window into their origins. Using these indicators, we find no significant deviation from Gaussianity in the three and five-year WMAP ILC map with KQ75 mask, while the ILC unmasked map exhibit deviation from Gaussianity, quantifying therefore the WMAP team recommendation to employ the new mask KQ75 for tests of Gaussianity. We also use our indicators to test for Gaussianity the single frequency foreground unremoved WMAP three and five-year maps, and show that the K and Ka maps exhibit clear indication of deviation from Gaussianity even with the KQ75 mask. We show that our findings are robust with respect to the details of the method.

A non-trivial spatial topology of the Universe is a potentially observable attribute, which can be probed through the circles-in-the-sky for all locally homogeneous and isotropic universes with no assumptions on the cosmological parameters. We show how one can use a possible circles-in-the-sky detection of the spatial topology of globally homogeneous universes to set constraints on the dark energy equation of state parameters.

In the standard Friedmann-Lemaitre-Robertson-Walker (FLRW) approach to model the Universe the violation of the so-called energy conditions is related to some important properties of the Universe as, for example, the current and the inflationary accelerating expansion phases. The energy conditions are also necessary in the formulation and proofs of Hawking-Penrose singularity theorems. In two recent articles we have derived bounds from energy conditions and made confrontations of these bounds with supernovae data. Here, we extend these results in following way: first, by using our most recent statistical procedure for calculating new q(z) estimates from the \emph{gold} and \emph{combined} type Ia supernovae samples; second, we use these estimates to obtain a new picture of the energy conditions fulfillment and violation for the recent past ($z\leq 1 $) in the context of the standard cosmology.

While the topology of the Universe is at present not specified by any known fundamental theory, it may in principle be determined through observations. In particular, a non-trivial topology will generate pairs of matching circles of temperature fluctuations in maps of the cosmic microwave background, the so-called circles-in-the-sky. A general search for such pairs of circles would be extremely costly and would therefore need to be confined to restricted parameter ranges. To draw quantitative conclusions from the negative results of such partial searches for the existence of circles we need a concrete theoretical framework. Here we provide such a framework by obtaining constraints on the angular parameters of these circles as a function of cosmological density parameters and the observer's position. As an example of the application of our results, we consider the recent search restricted to pairs of nearly back-to-back circles with negative results. We show that assuming the Universe to be very nearly flat, with its total matter-energy density satisfying the bounds $ 0 <|\Omega_0 - 1| \lesssim 10^{-5}$, compatible with the predictions of typical inflationary models, this search, if confirmed, could in principle be sufficient to exclude a detectable non-trivial cosmic topology for most observers. We further relate explicitly the fraction of observers for which this result holds to the cosmological density parameters.

The energy conditions play an important role in the description of some important properties of the Universe, including the current accelerating expansion phase and the possible recent phase of super-acceleration. In a recent work we have provided a detailed study of the energy conditions for the recent past by deriving bounds from energy conditions and by making the confrontation of the bounds with supernovae data. Here, we extend and update these results in two different ways. First, by carrying out a new statistical analysis for $q(z)$ estimates needed for the confrontation between the bounds and supernovae data. Second, by providing a new picture of the energy conditions fulfillment and violation in the light of the recently compiled Union set of 307 type Ia supernovae and by using two different statistical approaches.

We present and discuss the bounds from the energy conditions on a general f(R) functional form in the framework of metric variational approach. As a concrete application of the energy conditions to locally homogeneous and isotropic f(R)-cosmology, the recent estimated values of the deceleration and jerk parameters are used to examine the bounds from the weak energy condition on the free parameter of the family of f(R)=\sqrt{R^2 - R_0^2} gravity theory.

The energy conditions play an important role in the understanding of several properties of the Universe, including the current accelerating expansion phase and the possible existence of the so-called phantom fields. We show that the integrated bounds provided by the energy conditions on cosmological observables such as the distance modulus $\mu(z)$ and the lookback time $t_L(z)$ are not sufficient (nor necessary) to ensure the local fulfillment of the energy conditions, making explicit the limitation of these bounds in the confrontation with observational data. We recast the energy conditions as bounds on the deceleration and normalized Hubble parameters, obtaining new bounds which are necessary and sufficient for the local fulfillment of the energy conditions. A statistical confrontation, with $1\sigma-3\sigma$ confidence levels, between our bounds and supernovae data from the gold and combined samples is made for the recent past. Our analyses indicate, with $3\sigma$ confidence levels, the fulfillment of both the weak energy condition (WEC) and dominant energy condition (DEC) for $z \leq 1$ and $z \lesssim 0.8$, respectively. In addition, they suggest a possible recent violation of the null energy condition (NEC) with $3\sigma$, i.e. a very recent phase of super-acceleration. Our analyses also show the possibility of violation of the strong energy condition (\textbf{SEC}) with $3\sigma$ in the recent past ($z \leq 1$), but interestingly the $q(z)$-best-fit curve crosses the SEC-fulfillment divider at $z \simeq 0.67$, which is a value very close to the beginning of the epoch of cosmic acceleration predicted by the standard concordance flat $\Lambda$CDM scenario.

In order to shed some light on the current discussion about f(R)-gravity theories we derive and discuss the bounds imposed by the energy conditions on a general f(R) functional form. The null and strong energy conditions in this framework are derived from the Raychaudhuri's equation along with the requirement that gravity is attractive, whereas the weak and dominant energy conditions are stated from a comparison with the energy conditions that can be obtained in a direct approach via an effective energy-momentum tensor for f(R)-gravity. As a concrete application of the energy conditions to locally homogeneous and isotropic f(R)-cosmology, the recent estimated values of the deceleration and jerk parameters are used to examine the bounds from the weak energy condition on the parameters of two families of f(R)-gravity theories.

In general relativity, the energy conditions are invoked to restrict general energy-momentum tensors on physical grounds. We show that in the standard Friedmann-Lemaitre-Robertson-Walker (FLRW) approach to cosmological modeling, where the energy and matter components of the cosmic fluid are unknown, the energy conditions provide model-independent bounds on the behavior of the lookback time of cosmic sources as a function of the redshift for any value of the spatial curvature. We also confront such bounds with a lookback time sample which is built from the age estimates of 32 galaxies lying in the interval $0.11 \lesssim z \lesssim 1.84$ and by assuming the total expanding age of the Universe to be $13.7 \pm 0.2$ Gyr, as obtained from current cosmic microwave background experiments. In agreement with previous results, we show that all energy conditions seem to have been violated at some point of the recent past of cosmic evolution.

Recent analyses of the WMAP data seem to indicate the possible presence of large-angle anisotropy in the Universe. If confirmed, these can have important consequences for our understanding of the Universe. A number of attempts have recently been made to establish the reality and nature of such anisotropies in the CMB data. Among these is a directional indicator recently proposed by the authors. A distinctive feature of this indicator is that it can be used to generate a sky map of the large-scale anisotropies of the CMB maps. Applying this indicator to full-sky temperature maps we found a statistically significant preferred direction. The full-sky maps used in these analyses are known to have residual foreground contamination as well as complicated noise properties. Thus, here we performed the same analysis for a map where regions with high foreground contamination were removed. We find that the main feature of the full-sky analysis, namely the presence of a significant axis of asymmetry, is robust with respect to this masking procedure. Other subtler anomalies of the full-sky are on the other hand no longer present.

In general relativity, the energy conditions are invoked to restrict general energy-momentum tensors $T_{\mu\nu}$ in different frameworks, and to derive general results that hold in a variety of general contexts on physical grounds. We show that in the standard Friedmann-Lemaitre-Robertson-Walker (FLRW) approach, where the equation of state of the cosmological fluid is unknown, the energy conditions provide model-independent bounds on the behavior of the distance modulus of cosmic sources as a function of the redshift for any spatial curvature. We use the most recent type Ia supernovae (SNe Ia) observations, which include the new Hubble Space Telescope SNe Ia events, to carry out a model-independent analysis of the energy conditions violation in the context of the standard cosmology. We show that both the null (NEC), weak (WEC) and dominant (DEC) conditions, which are associated with the existence of the so-called phantom fields, seem to have been violated only recently ($z \lesssim 0.2$), whereas the condition for attractive gravity, i.e., the strong energy condition (SEC) was firstly violated billions of years ago, at $z \gtrsim 1$.

We study the constraints that the detection of a non-trivial spatial topology may place on the parameters of braneworld models by considering the Dvali-Gabadadze-Porrati (DGP) and the globally homogeneous Poincar\'e dodecahedral spatial (PDS) topology as a circles-in-the-sky observable topology. To this end we reanalyze the type Ia supernovae constraints on the parameters of the DGP model and show that PDS topology gives rise to strong and complementary constraints on the parameters of the DGP model.

We illustrate the constraints that a possible detection of a non-trivial spatial topology may place on the cosmological density parameters by considering the $\Lambda$CDM model Poincar\'e dodecahedal space (PDS) topology as a circles-in-the-sky detectable topology. To this end we reanalyze the type Ia supernovae constraints on the density parameter plane $\Omega_k$--$\Omega_{\Lambda}$ and show that a circles-in-the-sky detectable PDS topology gives rise to important constraints on this parameters plane.

Analyses of recent cosmic microwave background (CMB) observations have provided increasing indications for the existence of large scale anisotropy in the universe. Given the far reaching consequences of such an anisotropy for our understanding of the universe, it is important to employ alternative indicators in order to determine whether the reported anisotropy is cosmological in origin, and if so extract further information that may be helpful for identifying its causes. Here we propose a new directional indicator, based on angular-separation histograms of pairs of pixels with similar temperatures in the CMB map, which provides a measure of departure from statistical isotropy. The main advantage of this indicator is that it can be used to generate a sky map of large-scale anisotropies in the CMB temperature map, thus allowing a possible additional window into their causes. Using this indicator, we find a statistically significant (at 95% CL) preferred direction in the CMB data and discuss how it compares with other such axes recently reported. We also show that our findings are robust with respect to both the details of the method used, and the choice of the WMAP CMB maps employed, including the three-year CMB data released recently.

In general relativity, the energy conditions are invoked to restrict general energy-momentum tensors on physical grounds. We show that in the standard Friedmann-Lemaitre-Robertson-Walker approach to cosmological modelling where the equation of state of the cosmological fluid is unknown, the energy conditions provide model-independent bounds on the behavior of the distance modulus of cosmic sources as a function of the redshift. We use both the gold and the legacy samples of current type Ia supenovae to carry out a model-independent analysis of the energy conditions violation in the context of standard cosmology.

A nontrivial topology of the spatial section of the universe is an observable, which can be probed for all locally homogeneous and isotropic universes, without any assumption on the cosmological density parameters. We discuss how one can use this observable to set constraints on the density parameters of the Universe by using a specific spatial topology along with type Ia supenovae and X-ray gas mass fraction data sets.

Two fundamental questions regarding our description of the Universe concern the geometry and topology of its 3-dimensional space. While geometry is a local characteristic that gives the intrinsic curvature, topology is a global feature that characterizes the shape and size of the 3-space. The geometry constrains, but does not dictate the the spatial topology. We show that, besides determining the spatial geometry, the knowledge of the spatial topology allows to place tight constraints on the density parameters associated with dark matter ($\Omega_m$) and dark energy ($\Omega_{\Lambda}$). By using the Poincar\'e dodecahedral space as the observable spatial topology, we reanalyze the current type Ia supenovae (SNe Ia) constraints on the density parametric space $\Omega_{m} - \Omega_{\Lambda}$. From this SNe Ia plus cosmic topology analysis, we found best fit values for the density parameters, which are in agreement with a number of independent cosmological observations.

Given the wealth of increasingly accurate cosmological observations, especially the recent results from the WMAP, and the development of methods and strategies in the search for cosmic topology, it is reasonable to expect that we should be able to detect the spatial topology of the Universe in the near future. Motivated by this, we examine to what extent a possible detection of a nontrivial topology of positively curved universe may be used to place constraints on the matter content of the Universe. We show through concrete examples that the knowledge of the spatial topology allows to place constraints on the density parameters associated to dark matter ($\Omega_m$) and dark energy ($\Omega_{\Lambda}$)

Geometry constrains but does not dictate the topology of the 3--dimensional space. In a locally spatially homogeneous and isotropic universe, however, the topology of its spatial section dictates its geometry. We show that, besides determining the geometry, the knowledge of the spatial topology through the circles--in--the--sky offers an effective way of setting constraints on the density parameters associated with dark matter ($\Omega_m$) and dark energy ($\Omega_{\Lambda}$). By assuming the Poincar\'e dodecahedral space as the circles--in--the--sky detectable topology of the spatial sections of the Universe, we re-analyze the constraints on the density parametric plane $\Omega_{m}$--$ \Omega_{\Lambda} $ from the current type Ia supenovae (SNe Ia) plus X-ray gas mass fraction data, and show that a circles--in--the sky detection of the dodecahedral space topology give rise to strong and complementary constraints on the region of the density parameter plane currently allowed by these observational data sets.

Despite our present-day inability to predict the topology of the universe one may expect that we should be able to detect it in the near future, given the increasing accuracy in the astro-cosmological observations. Motivated by this, we examine to what extent a possible detection of a non-trivial topology of a low curvature (Omega_0 ~ 1) universe, suggested by a diverse set of current observations, may be used to place constraints on the matter content of the universe, focusing our attention on the generalized Chaplgygin gas (GCG) model, which unifies dark matter and dark energy in a single matter component. We show that besides constraining the GCG free parameters, the detection of a nontrivial topology also allows to set bounds on the total density parameter Omega_0. We also study the combination of the bounds from the topology detection with the limits that arise from current data on 194 SNIa, and show that the determination of a given nontrivial topology sets complementary bounds on the GCG parameters (and on Omega_0) to those obtained from the SNIa data.

If the spatial section of the universe is multiply connected, repeated images or patterns are expected to be detected observationally. However, due to the finite distance to the last scattering surface, such pattern repetitions could be unobservable. This raises the question of whether a given cosmic topology is detectable, depending on the values of the parameters of the cosmological model. We study how detectability is affected by the choice of the model itself for the matter-energy content of the universe, focusing our attention on the generalized Chaplygin gas (GCG) model for dark matter and dark energy unification, and investigate how the detectability of cosmic topology depends on the GCG parameters. We determine to what extent a number of topologies are detectable for the current observational bounds on these parameters. It emerges from our results that the choice of GCG as an alternative to the $\Lambda$CDM matter-energy content model has an impact on the detectability of cosmic topology.

Whether we live in a spatially finite universe, and what its shape and size may be, are among the fundamental long-standing questions in cosmology. These questions of topological nature have become particularly topical, given the wealth of increasingly accurate astro-cosmological observations, especially the recent observations of the cosmic microwave background radiation. An overview of the basic context of cosmic topology, the detectability constraints from recent observations, as well as the main methods for its detection and some recent results are briefly presented.

Recent high precision data by WMAP and SDSS have provided strong evidence to suggest that the universe is nearly flat. They are also making it possible to probe the topology of the universe. Motivated by these results, we have recently studied the consequences of taking the inflationary limit, i.e. $|\Omega_0 - 1| << 1$. We have shown that in this limit a generic detectable spherical or hyperbolic topology is locally indistinguishable from either $R^2 x S^1$ or $R x T^2$, irrespective of its global shape. Here we briefly present these results and further discuss their observational implications.

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.

The observed values of density parameters inevitably involve uncertainties. We study the conditions for detectability and undetectability of cosmic topology in presence of such uncertainties. We present closed analytical forms of (un)detectability conditions for infinite redshift, which are important because: (i) they allow the examine of the detectability of cosmic topology not only for individual manifolds (topologies), but also in whole classes of manifolds; (ii) they are, to a very good approximation, (un)detectibility conditions for z=1100.

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.

Recent developments in string theory suggest that there might exist extra spatial dimensions, which are not small nor compact. The framework of a great number of brane cosmological models is that in which the matter fields are confined on a brane-world embedded in five dimensions (the bulk). Motivated by this we review the main results on the algebraic classification of second order symmetric tensors in 5-dimensional space-times. All possible Segre types for a symmetric two-tensor are found, and a set of canonical forms for each Segre type is obtained. A limiting diagram for the Segre types of these symmetric tensors in 5-D is built. Two theorems which collect together some basic results on the algebraic structure of second order symmetric tensors in 5-D are presented. We also show how one can obtain, by induction, the classification and the canonical forms of a symmetric two-tensor on n-dimensional (n > 5) spaces from its classification in 5-D spaces, present the Segre types in n-D and the corresponding canonical forms. This classification of symmetric two-tensors in any n-D spaces and their canonical forms are important in the context of n-dimensional brane-worlds context and also in the framework of 11-D supergravity and 10-D superstrings.

Recent developments in string theory suggest that there might exist extra spatial dimensions, which are not small nor compact. The framework of most brane cosmological models is that in which the matter fields are confined on a brane-world embedded in five dimensions (the bulk). Motivated by this we reexamine the classification of the second order symmetric tensors in 5--D, and prove two theorems which collect together some basic results on the algebraic structure of these tensors in 5-dimensional space-times. We also briefly indicate how one can obtain, by induction, the classification of symmetric two-tensors (and the corresponding canonical forms) on n-dimensional spaces from the classification on 4-dimensional spaces. This is important in the context of 11--D supergravity and 10--D superstrings.

Recent observational results suggest that our universe is nearly flat and well modelled within a $\Lambda$CDM framework. The observed values of $\Omega_{m}$ and $\Omega_{\Lambda}$ inevitably involve uncertainties. Motivated by this, we make a systematic study of the necessary and sufficient conditions for undetectability as well as detectability (in principle) of cosmic topology (using pattern repetition) in presence of such uncertainties. We do this by developing two complementary methods to determine detectability for nearly flat universes. Using the first method we derive analytical conditions for undetectability for infinite redshift, the accuracy of which is then confirmed by the second method. Estimates based on WMAP data together with other measurements of the density parameters are used to illustrate both methods, which are shown to provide very similar results for high redshifts.

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.

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.

The plenary lectures, parallel talks, oral presentations and panel contributions on Cosmology and Gravitation presented during the XXII Brazilian National Meeting on Particles and Fields are briefly reviewed. Some remarks on the area are also presented.

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.

A statistical quantity suitable for distinguishing simply-connected Robertson-Walker (RW) universes is introduced, and its explicit expressions for the three possible classes of simply-connected RW universes with an uniform distribution of matter are determined. Graphs of the distinguishing mark for each class of RW universes are presented and analyzed.There sprout from our results an improvement on the procedure to extract the topological signature of multiply-connected RW universes, and a refined understanding of that topological signature of these universes studied in previous works.

A five-dimensional (5D) generalized G\"odel-type manifolds are examined in the light of the equivalence problem techniques, as formulated by Cartan. The necessary and sufficient conditions for local homogeneity of these 5D manifolds are derived. The local equivalence of these homogeneous Riemannian manifolds is studied. It is found that they are characterized by three essential parameters $k$, $m^2$ and $\omega$: identical triads $(k, m^2, \omega)$ correspond to locally equivalent 5D manifolds. An irreducible set of isometrically nonequivalent 5D locally homogeneous Riemannian generalized G\"odel-type metrics are exhibited. A classification of these manifolds based on the essential parameters is presented, and the Killing vector fields as well as the corresponding Lie algebra of each class are determined. It is shown that the generalized G\"odel-type 5D manifolds admit maximal group of isometry $G_r$ with $r=7$, $r=9$ or $r=15$ depending on the essential parameters $k$, $m^2$ and $\omega$. The breakdown of causality in all these classes of homogeneous G\"odel-type manifolds are also examined. It is found that in three out of the six irreducible classes the causality can be violated. The unique generalized G\"odel-type solution of the induced matter (IM) field equations is found. The question as to whether the induced matter version of general relativity is an effective therapy for these type of causal anomalies of general relativity is also discussed in connection with a recent article by Romero, Tavakol and Zalaletdinov.

Causal anomalies in two Kaluza-Klein gravity theories are examined, particularly as to whether these theories permit solutions in which the causality principle is violated. It is found that similarly to general relativity the field equations of the space-time-mass Kaluza-Klein (STM-KK) gravity theory do not exclude violation of causality of G\"odel type, whereas the induced matter Kaluza-Klein (IM-KK) gravity rules out noncausal G\"odel-type models. The induced matter version of general relativity is shown to be an efficient therapy for causal anomalies that occurs in a wide class of noncausal geometries. Perfect fluid and dust G\"odel-type solutions of the STM-KK field equations are studied. It is shown that every G\"odel-type perfect fluid solution is isometric to the unique dust solution of the STM-KK field equations. The question as to whether 5-D G\"odel-type non-causal geometries induce any physically acceptable 4-D energy-momentum tensor is also addressed.

A class of Riemann-Cartan G\"odel-type space-times is examined by using the equivalence problem techniques, as formulated by Fonseca-Neto et al. and embodied in a suite of computer algebra programs called TCLASSI. A coordinate-invariant description of the gravitational field for this class of space-times is presented. It is also shown that these space-times can admit a group $G_{r}$ of affine-isometric motions of dimensions $r=2, 4, 5$. The necessary and sufficient conditions for space-time (ST) homogeneity of this class of space-times are derived, extending previous works on G\"odel-type space-times. The equivalence of space-times in the ST homogeneous subclass is studied, recovering recent results under different premises. The results of the limiting Riemannian case are also recovered.

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.

The five-dimensional (5D) Riemannian G\"odel-type manifolds are examined in light of the equivalence problem techniques, as formulated by Cartan. The necessary and sufficient conditions for local homogeneity of these 5D manifolds are derived. The local equivalence of these homogeneous Riemannian manifolds is studied. It is found that they are characterized by two essential parameters $m^2$ and $\omega $: identical pairs $(m^2, \omega)$ correspond to locally equivalent 5D manifolds. An irreducible set of isometrically nonequivalent 5D locally homogeneous Riemannian G\"odel-type metrics are exhibited. A classification of these manifolds based on the essential parameters is presented, and the Killing vector fields as well as the corresponding Lie algebra of each class are determined. It is shown that apart from the $(m^2= 4 \omega^2, \omega\not=0)$ and $(m^2\not=0, \omega = 0)$ classes the homogeneous Riemannian G\"odel-type manifolds admit a seven-parameter maximal group of isometry ($G_7$). The special class $(m^2= 4 \omega^2, \omega\not=0)$ and the degenerated G\"odel-type class $(m^2\not=0, \omega=0)$ are shown to have a $G_9$ as maximal group of motion. The breakdown of causality in these classes of homogeneous G\"odel-type manifolds are also examined.

A class of Riemann-Cartan G\"odel-type space-times are examined in the light of the equivalence problem techniques. The conditions for local space-time homogeneity are derived, generalizing previous works on Riemannian G\"odel-type space-times. The equivalence of Riemann-Cartan G\"odel-type space-times of this class is studied. It is shown that they admit a five-dimensional group of affine-isometries and are characterized by three essential parameters $\ell, m^2, \omega$: identical triads ($\ell, m^2, \omega$) correspond to locally equivalent manifolds. The algebraic types of the irreducible parts of the curvature and torsion tensors are also presented.

We introduce the notion of topological fragility and briefly discuss some examples from the literature. An important example of this type of fragility is the way globally anisotropic Bianchi V generalisations of the FLRW $k=-1$ model result in a radical restriction on the allowed topology of spatial sections, thereby excluding compact cosmological models with negatively curved three-sections with anisotropy. An outcome of this is to exclude chaotic mixing in such models, which may be relevant, given the many recent attempts at employing compact FLRW $k=-1$ models to produce chaotic mixing in the cosmic microwave background radiation, if the Universe turns out to be globally anisotropic.

A limiting diagram for the Segre classification of the energy-momentum tensor is obtained and discussed in connection with a Penrose specialization diagram for the Segre types. A generalization of the coordinate-free approach to limits of Paiva et al. to include non-vacuum space-times is made. Geroch's work on limits of space-times is also extended. The same argument also justifies part of the procedure for classification of a given spacetime using Cartan scalars.

A new approach to the algebraic classification of second order symmetric tensors in 5-dimensional space-times is presented. The possible Segre types for a symmetric two-tensor are found. A set of canonical forms for each Segre type is obtained. A theorem which collects together some basic results on the algebraic structure of the Ricci tensor in 5-dimensional space-times is also stated.

Three propositions about Jordan matrices are proved and applied to algebraically classify the Ricci tensor in n-dimensional Kaluza-Klein-type spacetimes. We show that the possible Segre types are [1,1...1], [21...1], [31\ldots 1], [z\bar{z}1...1] and degeneracies thereof. A set of canonical forms for the Segre types is obtained in terms of semi-null bases of vectors.

An algebraic classification of second order symmetric tensors in 5-dimensional Kaluza-Klein-type Lorentzian spaces is presented by using Jordan matrices. We show that the possible Segre types are $[1,1111]$, [2111], [311], [z,\bar{z},111], and the degeneracies thereof. A set of canonical forms for each Segre type is found. The possible continuous groups of symmetry for each canonical form are also studied.