The present OSS mission continues a long and bright tradition by associating the communities of fundamental physics and planetary sciences in a single mission with ambitious goals in both domains. OSS is an M-class mission to explore the Neptune system almost half a century after flyby of the Voyager 2 spacecraft. Several discoveries were made by Voyager 2, including the Great Dark Spot (which has now disappeared) and Triton's geysers. Voyager 2 revealed the dynamics of Neptune's atmosphere and found four rings and evidence of ring arcs above Neptune. Benefiting from a greatly improved instrumentation, it will result in a striking advance in the study of the farthest planet of the Solar System. Furthermore, OSS will provide a unique opportunity to visit a selected Kuiper Belt object subsequent to the passage of the Neptunian system. It will consolidate the hypothesis of the origin of Triton as a KBO captured by Neptune, and improve our knowledge on the formation of the Solar system. The probe will embark instruments allowing precise tracking of the probe during cruise. It allows to perform the best controlled experiment for testing, in deep space, the General Relativity, on which is based all the models of Solar system formation. OSS is proposed as an international cooperation between ESA and NASA, giving the capability for ESA to launch an M-class mission towards the farthest planet of the Solar system, and to a Kuiper Belt object. The proposed mission profile would allow to deliver a 500 kg class spacecraft. The design of the probe is mainly constrained by the deep space gravity test in order to minimise the perturbation of the accelerometer measurement.

Primordial black holes are unique probes of cosmology, general relativity, quantum gravity and non standard particle physics. They can be considered as the ultimate particle accelerator in their last (explosive) moments since they are supposed to reach, very briefly, the Planck temperature. Upper limits on the primordial black hole number density of mass $M_{\star} = 5 10^{14}$ g, the Hawking mass (born in the big-bang terminating their life presently), is determined comparing their predicted cumulative $\gamma$-ray emission, galaxy-wise, to the one observed by the EGRET satellite, once corrected for non thermal $\gamma$-ray background emission induced by cosmic ray protons and electrons interacting with light and matter in the Milky Way. A model with free gas emissivities is used to map the Galaxy in the 100 MeV photon range, where the peak of the primordial black hole emission is expected. The best gas emissivities and additional model parameters are obtained by fitting the EGRET data and are used to derive the maximum emission of the primordial black hole of the Hawking mass, assuming that they are distributed like the dark matter in the Galactic halo. The bounds we obtain, depending on the dark matter distribution, extrapolated to the whole Universe ($\Omega_{PBH}(M_{\star}) = 2.4 10^{-10}$ to $2.6 10^{-9}$ are more stringent than the previous ones derived from extragalactic $\gamma$-ray background and antiprotons fluxes, though less model dependent and based on more robust data. These new limits have interesting consequences on the theory of the formation of small structures in the Universe, since they are the only constraint on very small scale density fluctuations left by inflation.

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

Multiply connected space sections of the universe on a scale smaller than the horizon size can leave an imprint on cosmic microwave background polarization maps, in such a way that the so-called ``circles-in-the-sky'' method can be used to detect or constrain the topology. We investigate some specific cases, namely toroidal and sixth-turn spaces, in order to show the influence of topology on CMB polarization. The correlation between matched points happens to be always positive and higher than 75% regardless of the angular scale and of the cosmological parameters, except for reionization. This figure is better than what occurs in temperature maps, but is achieved only in the absence of noise. It is only slightly reduced by the filtering scheme.

We consider the phenomenology of the 511 keV emission in the Galactic bulge, as recently observed by INTEGRAL, and propose a model is which the positrons are produced by gamma-ray bursts (GRB) associated with mini starbursts in the central molecular zone (CMZ). We show that the positrons can easily diffuse across the bulge on timescales of about 10^7 yr, and that their injection rate by GRBs is compatible with the observed fluxes if the mean time between two GRBs in the bulge is about 8 10^4 yr x E_GRB_51. We also explain the low disk-to-bulge emission ratio by noting that positrons from GRBs in the Galactic disk should annihilate on timescales of < 10^4 yr in the dense shell of the underlying supernova remnant, after the radiative transition, while the remnants of GRBs occurring in the hot, low-density medium produced by recurrent starbursts in the CMZ become subsonic before they can form a radiative shell, allowing the positrons to escape and fill the whole Galactic bulge. If the mean time between GRBs is smaller than 10^4 E_51 yr, INTEGRAL should be able to detect the (localized) 511 keV emission associated with one or a few GRB explosions in the disk.

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

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

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

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

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

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

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

A gamma-ray line production calculation in astrophysics depends on i) the composition and energy source spectrum of the energetic particles, ii) the propagation model, and iii) the nuclear cross sections. The main difficulty for model predictions and data interpretation comes from the fact that the spectrum of the particles which actually interact in the ISM - the propagated spectrum, is not the same as the source spectrum coming out of the acceleration site, due to energy-dependent energy losses and nuclear destruction. We present a different approach to calculate gamma-ray line emission, based on the computation of the total number of photons produced by individual energetic nuclei injected in the interstellar medium at a given energy. These photon yields take into account all the propagation effects once and for all, and allow one to calculate quickly the gamma-ray line emission induced by energetic particles in any astrophysical situation by using directly their source spectrum. Indeed, the same photon yields can be used for any source spectrum and composition, as well as any target composition. In addition, these photon yields provide visual, intuitive tools for gamma-ray line phenomenology.

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

We investigate to what extent the cosmic crystallographic methods aimed to detect the topology of the universe using catalogues of cosmic objects would be damaged by various observational uncertainties. We find that the topological signature is robust in the case of Euclidean spaces, but is very fragile in the case of compact hyperbolic spaces. Comparing our results to the presently accepted range of values for the curvature parameters, the best hopes for detecting space topology rest on elliptical space models.

Multi-connected universe models with space identification scales smaller than the size of the observable universe produce topological images of cosmic sources. We generalise to locally hyperbolic spaces the crystallographic method, aimed to detect the topology from three-dimensional catalogs of cosmological objects. Our new method is based on the construction of a {\it collecting-correlated-pair} technique which enhances the topological signature and can make it detectable. The main idea is that in multi-connected universes, equal distances occur more often than by chance. We present an idealised version of this method as well as numerical simulations, we discuss the statistical relevance of the expected signature and we show how the extraction of a topological signal may also lead to a precise determination of the cosmological parameters. A more realistic version of the method which takes account of uncertainties in the position and velocity data is then discussed. We apply our technique to presently available data, namely a quasar catalog, and discuss the significance of the result. We show how the improved crystallographic method both competes with the two--dimensional methods based on cosmic microwave background analyses, and suffers from the same drawback: the shortage of present observational data.

Universe models with compact spatial sections smaller than the observable universe produce a topological lens effect. Given a catalog of cosmic sources, we estimate the number of topological images in locally hyperbolic and locally elliptic spaces, as a function of the cosmological parameters, of the volume of the spatial sections and of the catalog depth. Next we apply the crystallographic method, aimed to detect a topological signal in the 3D distance histogram between images, to compact hyperbolic models. Numerical calculations in the Weeks manifold allows us to check the absence of crystallographic signature of topology, due to the fact that the number of copies of the fundamental domain in the observable covering space is low and that the points are not moved the same distance by the holonomies of space.

We analyse the photodisintegration of nuclei near the center of blazars, in particular PKS 0528+134. We show that this process could explain the recent observation of a high Al/Si ratio in a cloud on the line of sight of a distant quasar and we calculate the effect of this gamma irradiation on the abundance of deuterium, an isotope of the highest cosmological interest since it is sensitive to the baryon density of the universe. The process has interesting consequences and deserves to be inserted in a consistent scenario of the early evolution of the universe.

We assume that the Universe has a non trivial topology whose compact spatial sections have a volume significantly smaller than the horizon volume. By a topological lens effect, such a "folded" space configuration generates multiple images of cosmic sources, e.g. clusters of galaxies. We present a simple and powerful method to unveil non ambiguous observational effects, independently of the sign of the curvature and of the topological type.