Free Access
Issue
A&A
Volume 502, Number 1, July IV 2009
Page(s) 27 - 35
Section Cosmology (including clusters of galaxies)
DOI https://doi.org/10.1051/0004-6361/200911881
Published online 19 May 2009

The residual gravity acceleration effect in the Poincaré dodecahedral space

B. F. Roukema - P. T. Rózanski

Torun Centre for Astronomy, Nicolaus Copernicus University, ul. Gagarina 11, 87-100 Torun, Poland

Received 19 February 2009 / Accepted 17 March 2009

Abstract
Context. In a flat space, it has been shown heuristically that the global topology of comoving space can affect the dynamics expected in the weak-field Newtonian limit, inducing a weak acceleration effect similar to dark energy.
Aims. Does a similar effect occur in the case of the Poincaré dodecahedral space, which is a candidate model of comoving space for solving the missing fluctuations problem observed in cosmic microwave background all-sky maps? Moreover, does the effect distinguish the Poincaré space from other well-proportioned spaces?
Methods. The acceleration effect in the Poincaré space S3/I* is studied, using a massive particle and a nearby test particle of negligible mass. Calculations are made in S3 embedded in  $\mathbb{R}^4$. The weak-limit gravitational attraction on a test particle at distance r is set to be ${\propto}[R_{{\rm C}}\sin({r/R_{{\rm C}}})]^{-2}$ rather than ${\propto}r^{-2}$, where $R_{{\rm C}}$ is the curvature radius, in order to satisfy Stokes' theorem. A finite particle horizon large enough to include the adjacent topological images of the massive particle is assumed. The regular, flat, 3-torus T3 is re-examined, and two other well-proportioned spaces, the octahedral space S3/T*, and the truncated cube space S3/O*, are also studied.
Results. The residual gravity effect occurs in all four cases. In a perfectly regular 3-torus of side length La, and in the octahedral and truncated cube spaces, the highest order term in the residual acceleration is the third-order term in the Taylor expansion in powers of r/La (3-torus), or  $r/R_{{\rm C}}$, respectively. However, the Poincaré dodecahedral space is unique among the four spaces. The third order cancels, leaving the fifth order term ${\sim}{\pm}300 (r/R_{{\rm C}})^5$ as the most significant. Conclusions. Not only are three of the four perfectly regular well-proportioned spaces better balanced than most other multiply connected spaces in terms of the residual gravity acceleration effect by a factor of about a million (setting $r/L_a = r/R_{{\rm C}}\sim 10^{-3}$), but the fourth of these spaces is about ten thousand times better balanced than the other three. This is the Poincaré dodecahedral space. Is this unique dynamical property of the Poincaré space a clue towards a theory of cosmic topology?

Key words: cosmology: theory - cosmological parameters - large-scale structure of Universe - early Universe

  1 Introduction

It has been shown that for zero curvature, the global topology of comoving space can affect the dynamics expected in the weak-field Newtonian limit (Roukema et al. 2007), in contrast to what was previously thought. In particular, a test particle of negligible mass near a massive particle (such as a cluster of galaxies dominated by its dark matter halo) has unequal attractions to the nearest topological images of the massive particle in opposite directions, since its position is asymmetrically offset from the massive particle. This leaves a residual acceleration effect that is qualititatively similar to that of dark energy. For realistic physical scales at the present epoch, the effect was estimated to be about 10-9 times weaker than the observed cosmological constant.

The heuristic calculations presented in Roukema et al. (2007) only considered the flat spaces ${T} \times \mathbb{R}^2$ and T3. However, there has been interest in the Poincaré dodecahedral space, S3/I*, being a candidate model for comoving space that explains the ``missing fluctuations problem'' tentatively observed in the COsmic Microwave Background (COBE) all-sky maps and confirmed in the Wilkinson Microwave Anisotropy Probe (WMAP) all-sky maps (Spergel et al. 2003; Luminet et al. 2003; Roukema et al. 2004; Aurich et al. 2005a,b; Gundermann 2005; Key et al. 2007; Niarchou & Jaffe 2007; Caillerie et al. 2007; Lew & Roukema 2008; Roukema et al. 2008a,b). Does a similar residual gravity effect occur in the case of positively curved space, in particular, in the Poincaré space?

An additional question of interest is whether or not the residual gravity effect might distinguish the Poincaré space from other well-proportioned spaces (Weeks et al. 2004). The Poincaré space is presently preferred to the octahedral space (S3/T*) and the truncated cube space (S3/O*) because of empirical constraints on curvature. For a total density of $1.02 \ga \Omega_{{\rm tot}}\ga 1.01$, the latter two spaces have larger fundamental domains than the Poincaré space and so have difficulty explaining the missing fluctuations problem. However, this is an empirical argument with no theoretical motivation. Could there be any dynamical arguments either favouring or disfavouring the Poincaré space? Some steps have been taken towards what might develop into a quantum cosmology theory of cosmic topology, using various notions of distance between different manifolds (Masafumi 1996; Anderson et al. 2004) and analysis of topology change in quantum gravity (e.g., Dowker & Surya 1998). The residual gravity effect might contribute an additional criterion for comparing different manifolds.

Here, the residual gravity effect in the octahedral space, the truncated cube space, and the Poincaré space is studied by considering the dynamics of a negligible-mass test particle near a massive particle. As in Roukema et al. (2007), this approach can be considered as an heuristic model for a positively curved space that is homogeneous except for a small neighbourhood around one point, in which a positive density fluctuation of matter has collapsed into a high-density, nearly point-like object, in excess of the underlying homogeneous density distribution. To satisfy Stokes' theorem, the weak-limit gravitational attraction in the three spherical spaces is set to be proportional to

\begin{displaymath}%
\left[ R_{{\rm C}}\sin\left(\frac{r}{R_{{\rm C}}}\right) \right]^{-2}
\end{displaymath} (1)

rather than r-2 (see Sect. 2.1), where $R_{{\rm C}}$ is the curvature radius. Numerical calculations are made in the universal covering space S3 embedded in  $\mathbb{R}^4$ for convenience. Accelerations are calculated in the tangent 3-space at the position of the test particle, represented as 4-vectors in  $\mathbb{R}^4$. The T3 model discussed in Roukema et al. (2007) is revisited, using the covering space  $\mathbb{R}^3$.

The method is described in more detail in Sect. 2. Residual accelerations estimated to the third order in the Taylor expansion of the fractional displacement are presented for the 3-torus in Sect. 3.1. Residual accelerations to fifth order for individual pairs of opposite images in the spherical spaces are presented analytically in Sect. 3.2. Residual accelerations to fifth order for the full set of adjacent[*] images in the spherical spaces are presented numerically in Sect. 3.3. For the Poincaré space, an analytical derivation of the residual acceleration to fifth order is also given in Sect. 3.3.1. A statistical summary is presented in Sect. 3.3.2.

Discussion and conclusions are given in Sects. 4 and 5 respectively. Discussion of spherical, multiply connected spaces is available in Weeks (2001), Gausmann et al. (2001), Lehoucq et al. (2002), and Riazuelo et al. (2004), and we refer the reader to references therein for introductions to cosmic topology. Distances are calculated in a spatial section at constant cosmological time in the universal covering space (S3 for the spherical spaces, $\mathbb{R}^3$ for T3), by default as ``physical'' distances, i.e., $r = a\chi$, where a(t) is the scale factor and $\chi$ is a comoving distance (i.e. $\chi$ is a ``proper distance'' at the present epoch (Weinberg 1972), equivalent to ``conformal time'' if c=1). Distance units are normally presented here in  $\mbox{$h^{-1}$ ~Mpc}$ or  $\mbox{$h^{-1}$ ~Gpc}$, where the Hubble constant is written $H_0 \equiv 100~h$ km s-1 Mpc1. The fundamental domains of all the spaces are assumed to be perfectly regular. The Newtonian gravitational constant is written as G.

  2 Method

Although dynamics in the Poincaré dodecahedral space S3/I* could, in principle, be studied by applying boundary conditions that identify opposite faces of a dodecahedral fundamental domain of a positive curvature radius  $R_{{\rm C}}$ with one another, this would probably be extremely complicated for both analytical and numerical calculations. It is simpler to work in the universal covering space S3 represented as a subspace of  $\mathbb{R}^4$.

As described in Sect. 2.1 of Roukema et al. (2007), several assumptions are required for this heuristic approach. Here, the corresponding assumptions are as follows:

(1)
the flat Newtonian approximation of gravity is replaced by the equivalent in positively curved space, as described in Eq. (1) above;

(2), (3)
the covering space is S3, which is not flat;

(4)
a finite particle horizon $R_{{\rm hor}}$ that is just large enough to include all adjacent topological images is assumed;

(5), (6)
identical to those in Roukema et al. (2007): the metric is assumed to be that for a perfectly homogeneous model of the same curvature, except that the distant, multiple copies of the local massive particle are considered to provide a contribution to the local gravitational potential that may not fully cancel;

(7), (8)
are not needed here since the one-body problem in S3 (Sect. 3.1.1, Roukema et al.) is divergent and only briefly mentioned in Sect. 2.1.

  2.1 Weak-limit gravity and divergences

As stated in Eq. (1), to satisfy Stokes' theorem, the weak-limit gravitational attraction towards a single massive particle is set to be proportional to $[R_{{\rm C}}\sin({r}/{R_{{\rm C}}}) ]^{-2}$ rather than r-2. This can be understood as follows.

Let S3 be represented by a spherical coordinate system centred on the massive particle, so that the Friedmann-Lemaître-Robertson-Walker (FLRW) line element is written

$\displaystyle %
{\rm d}s^2 = -c^2 {\rm d}t^2 + {\rm d}r^2 + [R_{{\rm C}}\sin(r/R_{{\rm C}})]^2 ({\rm d}\theta^2 + \cos^2\theta~ {\rm d}\phi^2),$     (2)

where the scale factor a(t) is subsumed into r and $R_{{\rm C}}$, since it is not needed explicitly. We can write the weak-limit gravitational acceleration towards the massive particle as the vector field

\begin{displaymath}%
f(r)\; \hat{\vec{r}}
\end{displaymath} (3)

by symmetry, where $\hat{\vec{r}}$ is the unit radial vector in the tangent space at a radial ``physical'' distance r from the origin along a spatial geodesic, and

\begin{displaymath}%
\lim_{r\rightarrow 0^+} \frac{ -f(r)\; r^{2} }{Gm} = 1
\end{displaymath} (4)

in order to agree with the flat-space Newtonian limit towards the massive particle of mass m. Let V be the interior of a 2-sphere of radius r centred at the massive particle. Applying Stokes' theorem to $f(r)\; \hat{\vec{r}}$ on V, which is a sub-manifold of S3 with boundary  $\partial V$, gives
              $\displaystyle %
\int_V {\rm div} [f(r')\; \hat{\vec{r}}] ~ {\rm d}V$ = $\displaystyle \int_{\partial V} f(r')\; \hat{\vec{r}}. ~ {\rm d}\vec{S}$  
  = $\displaystyle \int_{\partial V} f(r') [R_{{\rm C}}\sin(r'/R_{{\rm C}})]^2 \;
{\rm d}\theta \;
\cos\theta {\rm d}\phi,$  
  = $\displaystyle f(r) [R_{{\rm C}}\sin(r/R_{{\rm C}})]^2 \;
\int_{\partial V} {\rm d}\theta \;
\cos\theta {\rm d}\phi,$  
  = $\displaystyle 4\pi [R_{{\rm C}}\sin(r/R_{{\rm C}})]^2 \; f(r),$ (5)

using the FLRW metric. Since the only source of the vector field  $f(r)\; \hat{\vec{r}}$ is the single massive particle, the left-hand side of this equation equals its limit for arbitrarily small (non-zero) volumes, i.e.
   $\displaystyle %
\int_V {\rm div} [f(r')\; \hat{\vec{r}}] ~ {\rm d}V$ = $\displaystyle \lim_{r\rightarrow 0^+} \int_V {\rm div} [f(r')\; \hat{\vec{r}}] ~ {\rm d}V$  
  = $\displaystyle \lim_{r\rightarrow 0^+} 4\pi [R_{{\rm C}}\sin(r/R_{{\rm C}})]^2 \; f(r)$  
  = $\displaystyle -4\pi G m,$ (6)

using Eqs. (5) and (4) respectively. Equating the right-hand sides of Eqs. (5) and (6) gives the weak limit acceleration induced by a single massive particle in a positively curved space of radius  $R_{{\rm C}}$

\begin{displaymath}%
\ddot{\vec{r}} = f(r) \; \hat{\vec{r}} = -\frac{G m \;
\hat{\vec{r}} } {[R_{{\rm C}}\sin(r/R_{{\rm C}})]^2}\cdot
\end{displaymath} (7)

For instantaneous transmission of gravitational signals in an infinitely old, static, simply connected space, this implies two divergence problems.

Firstly, a single massive point particle of mass m in a perfectly uniform and otherwise empty S3 yields an infinite repulsive force at the antipode of the massive particle, since $\sin(\pi) = 0$. More generally, an infinite repulsive (attractive) force exists for gravitational signals that have travelled odd (even) values of j times the half-circumference  $\pi R_{{\rm C}}$ from the massive object, i.e. j/2 times around the whole space, where $j \in \mathbb{Z}$.

Secondly, even if we ignore the model of a zero-size point particle as an idealised fiction, a problem remains for a negligible-mass test particle near a massive particle. The test particle also experiences accelerations from signals that have travelled j times around S3 in the two different directions along the great circle passing through the test particle and the massive particle, where $j \in \mathbb{Z}$. This second divergence problem is similar to the divergence problem in flat, simply connected, infinitely sized, infinitely old, Newtonian space with instantaneous transmission of the gravitational signal. The total acceleration towards the massive particle would be

                       $\displaystyle %
\ddot{r}_{{\rm S}^3}$ = $\displaystyle \sum_{j=0}^\infty G m \left( R_{{\rm C}}\sin \frac{r+ 2j\pi R_{{\rm C}}}{R_{{\rm C}}} \right)^{-2}$  
    $\displaystyle - \sum_{j=-\infty}^{-1} G m \left( R_{{\rm C}}\sin \frac{r+ 2j\pi R_{{\rm C}}}{R_{{\rm C}}} \right)^{-2}$  
  = $\displaystyle G m \left( R_{{\rm C}}\sin \frac{r}{R_{{\rm C}}} \right)^{-2}
\left( \sum_{j=0}^\infty 1 -
\sum_{j=-\infty}^{-1} 1 \right),$ (8)

which is clearly divergent.

The former divergence, i.e., the $j\pi R_{{\rm C}}$ singularity related to the zero size of the massive point particle and the nature of positive curvature, is clearly unphysical if we are interested in a smoothing length on the scale of a galaxy cluster. The latter divergence, i.e. that in Eq. (8), is removed by assumption (4) above. Assumption (4) also removes the $j\pi R_{{\rm C}}$ divergence. A finite particle horizon  $R_{{\rm hor}}$ just large enough to include the adjacent topological images is necessary for a residual gravity effect to occur, but it does not need to be as large as  $\pi R_{{\rm C}}$. The adjacent topological images in S3/T*, S3/O*, and S3/I* are at $(\pi/3) R_{{\rm C}}$, $(\pi/4) R_{{\rm C}}$ and $(\pi/3) R_{{\rm C}}$, and $(\pi/5) R_{{\rm C}}$ respectively. Moreover, observationally realistic estimates of the total density parameter[*] are consistent with the range that is empirically interesting for the Poincaré space, $1.02 \ga \Omega_{{\rm tot}}\ga 1.01$. The range $1.02 \ga \Omega_{{\rm tot}}\ga 1.01$ corresponds to a curvature radius of $20~\mbox{$h^{-1}$ ~Gpc}\la R_{{\rm C}}\la 30~\mbox{$h^{-1}$ ~Gpc}$ respectively. Hence, for the three well-proportioned, spherical spaces, the appropriate horizon distances for the arrival of gravitational signals from the adjacent topological images are in the range $10~\mbox{$h^{-1}$ ~Gpc}\la R_{{\rm hor}}\la 30~\mbox{$h^{-1}$ ~Gpc}$, i.e. up to a few times the distance to the surface of last scattering $r_{{\rm SLS}}\approx 10~\mbox{$h^{-1}$ ~Gpc}$. As noted in Roukema et al. (2007), a moderate amount of inflation in the early Universe could be one way of satisfying assumption (4).

  2.2 Residual gravity

The weak-limit residual acceleration on a test particle at $\vec{r}$ near the massive particle of mass m at 0 can be written

$\displaystyle %
\ddot{\vec{r}} =
\sum_{j=1,d_j \equiv a\chi[\vec{r},g_j({0})] }...
... m \left( R_{{\rm C}}\sin \frac{d_j}{R_{{\rm C}}} \right)^{-2}
\hat{\vec{r}}_j,$     (9)

where $g_j = 1, \ldots, N$ are the N=8, 14, or 12 holonomies that map an arbitrary object in S3/T*, S3/O*, or S3/I* respectively to its adjacent topological images, a is the scale factor, $\chi(\vec{a},\vec{b})$ is the comoving distance between two positions  $\vec{a},\vec{b}$ in the covering space S3, $\hat{\vec{r}}_j$ is the unit vector in the tangent space to S3 at $\vec{r}$ pointing along the geodesic towards gj(0), and $\ddot{\vec{r}}$ is the acceleration vector in the same tangent space. The appendices in Gausmann et al. (2001) provide a convenient procedure for calculating this, where a 3-manifold $S^3/\Gamma$ and holonomy group $\Gamma$ are modelled as a tiling and isometry group of  $\mathbb{R}^4$ using quaternions and 4-dimensional matrices. The tangent space at $\vec{r}$ is a 3-plane, modelled using vectors in  $\mathbb{R}^4$. The unit tangent vector towards the jth topological image of the massive particle can be written

\begin{displaymath}%
\hat{\vec{r}}_j = \frac{
g_j({0}) - ( \widehat{g_j({0})}....
...( \widehat{g_j({0})}. \widehat{\vec{r}} ) \vec{r} \vert\vert }
\end{displaymath} (10)

where $\widehat{\vec{x}} \equiv \vec{x} / \vert\vert \vec{x} \vert\vert $. A useful identity is
$\displaystyle %
\left( \sin \frac{d_j}{R_{{\rm C}}} \right)^{-2} =
\left( \sin ...
...\left\{ 1-
\left[ \widehat{g_j({0})}. \widehat{\vec{r}}\right]^2 \right\}^{-1}.$     (11)

The curvature is set to $R_{{\rm C}}\equiv 25~\mbox{$h^{-1}$ ~Gpc}$ below unless stated otherwise. The horizon  $R_{{\rm hor}}$ is set sufficiently large to include the full set of adjacent images of the massive particle, i.e., values of $R_{{\rm hor}}= 1.1 (\pi/3) R_{{\rm C}}$, $1.1 (\pi/3) R_{{\rm C}}$, and $1.1 (\pi/5) R_{{\rm C}}$ are used in Eq. (9) for S3/T*, S3/O*, and  S3/I*, respectively.

  2.3 Numerical precision

For the full set of adjacent topological images in the spherical spaces, Eq. (9) is evaluated primarily by a numerical approach, using double precision floating-point operations where sufficient, and arbitrary precision floating-point operations where necessary. Typical scales of interest, i.e., for typical test particles in a void of large-scale structure, are a few tens of megaparsecs. This gives $10^{-4} < r/R_{{\rm C}}< 10^{-2}$ as a useful domain for finding the highest terms in the Taylor expansion of the residual gravity for $r \ll R_{{\rm C}}$, where $R_{{\rm C}}= 25~\mbox{$h^{-1}$ ~Gpc}$ as stated above. By setting $R_{{\rm C}}= G = m = 1$ internally in numerical calculations, nearly equal and opposite accelerations from nearly opposed topological images are each of approximately unity order, the fourth and fifth order terms at the lower limit $r/R_{{\rm C}}= 10^{-4}$ should therefore be above the numerical noise limit, if the calculating precision is well below ${\sim}10^{-16}$ and 10-20, respectively. These would require precision in the significand[*] well above $\log_2 10^{16} \approx 53$ and $\log_2 10^{20} \approx 66$ bits respectively. According to the IEEE 754-1985 standard, double-precision floating-point numbers have 53-bit precision in the significand (including one implicit bit). This would at best provide just one bit of information for a fourth order term and no information for a fifth order term for $r/R_{{\rm C}}= 10^{-4}$. For this reason, an arbitrary precision library is used here to examine higher order terms.

Analytical calculations are also made for the Poincaré space. We also revisit the T3 calculation made in Sect. 3.2 of Roukema et al. (2007), in order to consider higher order terms. The first order term was found to cancel for a perfectly regular T3 model.

  3 Results

  3.1 T3 revisited

In Sect. 3.2 of Roukema et al. (2007), an analytical estimate of the acceleration from all six adjacent images in a T3 model was shown to be zero to first order when the three fundamental lengths of the model are exactly equal. However, the lower scatterings of points in Figs. 7 and 8 of that paper do not represent numerical error. Recalculation of Eqs. (11) to (15) of Roukema et al. (2007) to higher order shows that for perfectly equal fundamental lengths La = Le = Lu, higher order terms in Eq. (15) do not all cancel. The lowest order non-cancelling terms are the third order terms


    $\displaystyle (\ddot{\vec{r}}_{{\rm topo}})_{(i,j,k)\in\{(\pm1,0,0),(0,\pm1,0),...
...=
\frac{7Gm}{L_a^2} [
2\epsilon_x^3 - 3\epsilon_x(\epsilon_y^2 + \epsilon_z^2),$  
    $\displaystyle \qquad\qquad 2\epsilon_y^3 - 3\epsilon_y(\epsilon_x^2 + \epsilon_z^2),
2\epsilon_z^3 - 3\epsilon_z(\epsilon_x^2 + \epsilon_y^2)],$ (12)

where the massive particle is at the origin (0,0,0) in the covering space  $\mathbb{R}^3$ and the test particle is slightly displaced at $(x=\epsilon_x L_a,y=\epsilon_y L_a,z=\epsilon_z L_a)$. For test particles distributed isotropically around the massive particle, numerical integration of these third order terms gives the distribution of accelerations. This distribution has a mean and standard deviation radial acceleration of

\begin{displaymath}%
\ddot{r} \approx (0.00 \pm 6.11)
\frac{Gm}{L_a^2} \left(\frac{r}{L_a}\right)^3
\end{displaymath} (13)

and a skewness ${\approx}0.58 (Gm/L_a^2)(r/L_a)^3$, where $r \equiv \sqrt{x^2 + y^2 +z^2}$. This expression is consistent with the lower scatterings of points in Figs. 7 and 8 of Roukema et al. (2007). Here, Fig. 1 shows a similar numerical calculation, using the radial component of the sum of 1/r2 accelerations for the eight adjacent images, calculated directly from Eq. (10) of Roukema et al. (2007) without using the Taylor expansion. The acceleration is shown as

\begin{displaymath}%
a_3(r) \equiv \frac{\ddot{r}}{Gm/L_a^2} \left(\frac{r}{L_a}\right)^{-3}
\end{displaymath} (14)

for convenience.

 \begin{figure}
\par\includegraphics[width=8cm,clip]{1881fig1.eps}
\end{figure} Figure 1:

Residual acceleration (radial component) induced on a test particle near a massive particle such as a cluster of galaxies by the six adjacent topological images of the massive particle, in a T3 universe of three exactly comoving equal side lengths La. The accelerations a3(r) are normalised to be constant if the dominant term is third order in r/La (see Eq. (14)) and are shown against distance r < 0.01 La from the massive particle, where $L=3000~{\mbox{$h^{-1}$ ~Mpc}}$. Positive accelerations are shown by plus symbols; negative accelerations are shown by circles.

Open with DEXTER

The analytical and numerical calculations are clearly consistent in showing that in the case of perfectly equal fundamental side lengths of a T3 model, there is indeed a residual topological gravity effect. The residual acceleration is anisotropic, depending on the relation between the test particle's displacement from the massive particle and the orientation of the fundamental directions. The positive skewness implies that even though the mean radial acceleration is close to zero, the mode and median are negative, i.e., test particles placed in random directions relative to the massive particle are more likely to be subject to a radial deceleration rather than a radial acceleration. The amplitude of the effect is third order, i.e., about (r/La)2 times smaller than the residual effect that occurs for slightly unequal fundamental lengths. If an upper estimate for r/La at the present epoch is used, then this is a factor of about a million.

3.2 One pair of opposite topological images in S ${^3/\Gamma }$

Before considering the full effect from a layer of topological images in the spherical cases, let us first consider the effect of just one pair of opposite topological images of the ``local'' massive particle. This is somewhat similar to the ${T} \times \mathbb{R}^2$ case considered in Sect. 3.1.1 of Roukema et al. (2007), where the test particle lies along the geodesic joining the three images of the massive particle to one another in one of the spherical spaces, i.e.,  $S^3/\Gamma$ for an appropriate holonomy group $\Gamma$. This may help us to understand the full sum from all the adjacent images. Similarly to Eq. (2) of Roukema et al. (2007), we can use scalar quantities. The acceleration to fifth order in  $r/R_{{\rm C}}$ for the Poincaré space is[*]

                                        $\displaystyle %
\ddot{r}$ = $\displaystyle G \frac{m}{R_{{\rm C}}^2}
\left\{
\left[ \sin \left(\frac{\pi}{5}...
...[ \sin \left(\frac{\pi}{5} + \frac{r}{R_{{\rm C}}} \right)\right]^{-2}
\right\}$  
  = $\displaystyle G \frac{m}{R_{{\rm C}}^2}
\left[
\frac{4\cos(\pi/5)}{\sin^3(\pi/5)} \frac{r}{R_{{\rm C}}} \right.$  
    $\displaystyle + \left. \frac{16\cos(\pi/5)\sin^2(\pi/5)+24\cos^3(\pi/5)}{3\sin^5(\pi/5)}
\left(\frac{r}{R_{{\rm C}}} \right)^3 + \ldots \right]$  
  $\textstyle \approx$ $\displaystyle G \frac{m}{R_{{\rm C}}^2} \left[ 15.9 \left(\frac{r}{R_{{\rm C}}}...
...}}} \right)^3 +
310.4 \left(\frac{r}{R_{{\rm C}}} \right)^5 + \ldots \right].~~$ (15)

This is similar to the flat case. The residual acceleration is proportional to the displacement to first order, which again is behaviour similar to that of a cosmological constant:
$\displaystyle %
\ddot{r} \propto r.$     (16)

The octahedral space has adjacent images at $(\pi/3) R_{{\rm C}}$, so the corresponding calculation for a single pair of images is
                          $\displaystyle %
\ddot{r}$ = $\displaystyle G \frac{m}{R_{{\rm C}}^2} \left\{
\left[ \sin \left(\frac{\pi}{3}...
...[ \sin \left(\frac{\pi}{3} + \frac{r}{R_{{\rm C}}} \right)\right]^{-2}
\right\}$  
  = $\displaystyle \frac{16\sqrt{3}}{9} G \frac{m}{R_{{\rm C}}^2}
\left[
\frac{r}{R_...
...\right)^3 +
\frac{14}{5} \left(\frac{r}{R_{{\rm C}}} \right)^5 +
\ldots \right]$  
  $\textstyle \approx$ $\displaystyle G \frac{m}{R_{{\rm C}}^2}
\left[ 3.1 \left(\frac{r}{R_{{\rm C}}} ...
...rm C}}} \right)^3 +
8.6 \left(\frac{r}{R_{{\rm C}}} \right)^5 +
\ldots \right].$ (17)

Equation (17) is also valid for the adjacent images at the eight truncated corners of the fundamental domain in a truncated cube space, which are at  $(\pi/3) R_{{\rm C}}$. The other six adjacent images in the truncated cube space are at  $(\pi/4) R_{{\rm C}}$, giving
                          $\displaystyle %
\ddot{r}$ = $\displaystyle G \frac{m}{R_{{\rm C}}^2} \left\{
\left[ \sin \left(\frac{\pi}{4}...
...[ \sin \left(\frac{\pi}{4} + \frac{r}{R_{{\rm C}}} \right)\right]^{-2}
\right\}$  
  = $\displaystyle 8 G \frac{m}{R_{{\rm C}}^2}
\left[
\frac{r}{R_{{\rm C}}} +
\frac{...
...ight)^3 +
\frac{122}{15} \left(\frac{r}{R_{{\rm C}}} \right)^5 +
\ldots \right]$  
  $\textstyle \approx$ $\displaystyle G \frac{m}{R_{{\rm C}}^2}
\left[ 8 \left(\frac{r}{R_{{\rm C}}} \r...
...m C}}} \right)^3 +
65.1 \left(\frac{r}{R_{{\rm C}}} \right)^5 +
\ldots \right].$ (18)

Each of these calculations is for just one pair of topological images adjacent to the ``local'' copy of the massive particle, lying in opposite directions. In the flat case, this can be thought of as a  ${T} \times \mathbb{R}^2$ model, which is a valid 3-manifold. However, the spherical manifolds are not vector spaces, so a similar interpretation of the single-pair calculation is not possible.

On the other hand, Eqs. (15), (17), and (18) hint at the form that numerical estimates for the sum of the weak-limit residual gravitational effect from all the adjacent images may take for a given spherical manifold. For  S3/I*, the full set of adjacent images of the massive particle consists of six pairs of images. For a test particle displaced slightly in a random direction from the massive particle, the two images in a pair will be seen in nearly, although not exactly, opposite directions in the tangent 3-space at the test particle's location at  $\vec{r} \in S^3$. The modulus of the (vector) residual acceleration induced by the nearly opposite pair should not be very different from the expression given in Eq. (15), although its expression using elementary algebra might appear complicated.

This suggests that the scalar amplitude of the vector sum of all twelve accelerations is likely to involve terms of first, third, and fifth order in  $r/R_{{\rm C}}$, with coefficients of the order of magnitude of those in Eq. (15). However, this argument is not exact. A test particle displaced from the massive particle in an arbitrary direction does not, in general, lie along the great circle defined by a given pair of opposite images, and can at most lie along only one of the great circles defined by the six pairs of opposite images. Hence, terms with even powers of  $r/R_{{\rm C}}$ could also appear in the Taylor expansion.

These single-pair calculations might also be of interest for ill-proportioned (Weeks et al. 2004) positively curved spaces, e.g., the lens spaces L(p,q), with $p,q \in \mathbb{Z}$ relatively prime, where $p \gg 1$ (e.g. Sect. 4, Gausmann et al. 2001). Since these spaces are not globally homogeneous, derivations similar to those in Eqs. (15), (17), and (18) would be strictly valid only for points lying along the symmetry axis joining the centres of the two faces of the fundamental dihedron (lens), i.e., where adjacent topological images are separated by a spatial geodesic of length  $2\pi R_{{\rm C}}/p$. This direction would therefore be unstable to a linear-term acceleration effect that would tend to expand it faster than other directions. This is qualitatively similar to the effect found in Sect. 3 of Roukema et al. (2007), according to which the residual acceleration would tend to equalise the three fundamental lengths of a T3 model of slightly unequal fundamental lengths.

 \begin{figure}
\par\includegraphics[width=8cm,clip]{1881fig2.eps}
\end{figure} Figure 2:

Residual acceleration (radial component) induced on a test particle near a massive particle by the eight adjacent topological images of the massive particle, in a universe whose 3-manifold of comoving space is the octahedral space S3/T*. The accelerations a3(r) are normalised to be constant if the dominant term is third order in r/La(see Eq. (19)) and are shown against distance $r < 250~{\mbox{$h^{-1}$ ~Mpc}} = 0.01 R_{{\rm C}}$ from the massive particle. Positive accelerations are shown by plus symbols; negative accelerations are shown by circles.

Open with DEXTER

3.3 Well-proportioned spherical spaces: S3/T*, S3/O*, and S3/I*

As described in Sects. 2.2 and 2.3, for a test particle at $\vec{r}$ in S3/T*, S3/O*, or  S3/I*, let us set $R_{{\rm hor}}= 1.1 (\pi/3) R_{{\rm C}}$, $R_{{\rm hor}}= 1.1 (\pi/3) R_{{\rm C}}$, or $R_{{\rm hor}}= 1.1 (\pi/5) R_{{\rm C}}$, respectively. Equation (9) is evaluated numerically for 200 randomly (logarithmically) distributed test particles at distances of up to 250 h-1 Mpc from the massive particle. Figures 2-4 show the residual accelerations, scaled by  $(r/R_{{\rm C}})^3$ so that they should be approximately constant if the dominating term in  $r/R_{{\rm C}}$ is the third order term, i.e.,

\begin{displaymath}%
a_3(r) \equiv \frac{\ddot{r}}{Gm/R_{{\rm C}}^2} \left(\frac{r}{R_{{\rm C}}}\right)^{-3}
\end{displaymath} (19)

is shown.

It is clear that both the octahedral and truncated cube spaces have similar Taylor series behaviour to that of T3. The linear term cancels, but a third-order-dominated residual acceleration remains. On the other hand, it is clear from Fig. 4 that the Poincaré dodecahedral space has a residual acceleration that is much weaker than those of the other three spaces, and that this is poorly modelled as a third order term in  $r/R_{{\rm C}}$. Instead, the constant slope of the relation in Fig. 4 strongly suggests that the residual acceleration for the Poincaré space is dominated by a fifth order term, i.e.,

\begin{displaymath}%
a_5(r) \equiv \frac{\ddot{r}}{Gm/R_{{\rm C}}^2} \left(\frac{r}{R_{{\rm C}}}\right)^{-5}
\end{displaymath} (20)

is approximately constant and terms lower than the fifth order cancel.

 \begin{figure}
\par\includegraphics[width=8cm,clip]{1881fig3.eps}
\end{figure} Figure 3:

As for Fig. 2, for the truncated cube space S3/O*.

Open with DEXTER
 \begin{figure}
\includegraphics[width=8cm,clip]{1881fig4.eps}
\end{figure} Figure 4:

Residual acceleration (radial component), as for Fig. 2, for the Poincaré dodecahedral space  S3/I*.

Open with DEXTER

The remaining orthogonal component of the residual acceleration is of a similar order of magnitude to that of the radial component. Figure 5 shows that provided that the component is calculated with at least 70-bit precision in the significand, it is dominated by the $(r/R_{{\rm C}})^5$ term.

The previous figures were calculated using 70-bit significand multi-precision floating-point operations. The effect of reducing the precision to 50 or 60 bits is clear in Fig. 5, i.e., for the orthogonal component of the residual acceleration in the Poincaré space. Noise created by the precision limit enters the calculation, for example, when converting from a double-precision position in  $\mathbb{R}^4$ of the test particle to a multi-precision position. Apart from special cases, the finite precision representation of a typical, pseudo-random particle position in  $\mathbb{R}^4$ will place the particle at a position slightly offset from the physical 3-surface S3, because of the limited precision. If the particle is not located exactly on S3, then this induces an acceleration that is orthogonal to the tangent 3-plane at $\vec{r}$. The numerical noise component appears on the left of Fig. 5 as a constant value of $\ddot{r}$, i.e., $a_3(r) \propto (r/R_{{\rm C}})^{-3}$.

 \begin{figure}
\par\includegraphics[width=8cm,clip]{1881fig5.eps}
\end{figure} Figure 5:

Orthogonal residual acceleration for the Poincaré dodecahedral space  S3/I*, as for Fig. 4, shown using 50-bit ($\times $), 60-bit ($\circ $) and 70-bit (+) precision in the significands of the floating-point numbers.

Open with DEXTER

3.3.1 Analytical estimate for the Poincaré space

Analytical evaluation of Eq. (9) to fifth order for the Poincaré dodecahedral space using a computer algebra system[*] confirms the numerical estimates shown in Figs. 4 and 5. The highest order residual acceleration from the adjacent topological images is

                                       $\displaystyle %
\ddot{\vec{r}}$ = $\displaystyle \frac{12 \sqrt{2} \left(297 \sqrt{5} + 655\right)
}{125 \sqrt{5-\sqrt{5}}}
\left(\frac{r}{R_{{\rm C}}}\right)^5$  
    $\displaystyle \Big\{
\big[70~y^4
+(42~\sqrt{5}+70)~x^2~y^2
-(14~\sqrt{5}+70)~y^2$  
    $\displaystyle +(21~\sqrt{5}-7)~x^4
-28~\sqrt{5}~x^2
+7~\sqrt{5}+5\big] \;x,$  
    $\displaystyle \big[70~ z^4
+(42~\sqrt{5}+70)~y^2~z^2
-(14~\sqrt{5}+70)~z^2$  
    $\displaystyle +(21 ~\sqrt{5}-7)~y^4
-28~\sqrt{5}~y^2
+7~\sqrt{5}+5\big] \;y,$  
    $\displaystyle \big[
70~x^4
+(42~\sqrt{5}+70) ~x^2~z^2
-(14~\sqrt{5}+70)~x^2$  
    $\displaystyle +(21~\sqrt{5}-7)~z^4
-28~\sqrt{5}~z^2
+7~\sqrt{5}+5\big] \;z,~0 \Big\},$ (21)

where the massive particle is at (0,0,0,1), the test particle displaced from it in an arbitrary direction by a small amount is located at $[\sin(r/R_{{\rm C}}) x, \sin(r/R_{{\rm C}}) y, \sin(r/R_{{\rm C}}) z, \cos(r/R_{{\rm C}})]$, and x2+y2+z2=1. The highest order term in the fourth component of this expression is a sixth order term in powers of  $r/R_{{\rm C}}$. The fifth order exact expression can be written with approximate decimal coefficients as
                                      $\displaystyle %
\ddot{\vec{r}}$ $\textstyle \approx$ $\displaystyle (r/R_{{\rm C}})^5 \;
[(4304.3 x^4
+7540.5 y^4
+17657.2 x^2 y^2$  
    -6744.5 x2 -10912.8 y2 + 2224.7) x,  
    (4304.3 y4 +7540.5 z4 +17657.2 y2 z2  
    -6744.5 y2 -10912.8 z2 + 2224.7) y,  
    (4304.3 z4 +7540.5 x4 +17657.2 z2 x2  
    -6744.5 z2 -10912.8 x2 + 2224.7) z,  0]. (22)

The radial and orthogonal components of the residual acceleration can now be calculated as follows. Firstly, a small numerical value $r/R_{{\rm C}}= 10^{-3}$ is chosen in order to evaluate the unit tangent vector at $\vec{r}$ pointing towards the massive particle. The sign of the latter is reversed in order to point away from the massive particle. Secondly, pseudo-random numerical values for x,y,z are substituted into the full vector residual acceleration (Eq. (21) or (22)) and the scalar product with the unit tangent vector is taken in order to obtain the radial component of the residual acceleration. This is subtracted from the full residual to obtain the orthogonal component.

3.3.2 Statistical description

For an isotropic distribution of the directions of displacement of the test particle, Table 1 lists characteristic statistics of the radial and orthogonal components of the residual acceleration for the four well-proportioned spaces, primarily calculated from direct numerical estimates using Eq. (9). By construction, the orthogonal component is necessarily non-negative. Since estimation of the parameters of the Poincaré space residual acceleration is sensitive to numerical precision limits, Table 1 also lists parameters for the Poincaré space radial component estimated using Eq. (21) and the unit tangent vector described above. Within the uncertainties indicated by the standard error in the mean $\sigma_{\left<a_i\right>}$, the two estimates agree.

Table 1:   Statistical characteristics of coefficients ai of the dominant (ith order) term in the radial and orthogonal components of the residual acceleration $\ddot{r}$ in perfectly regular well-proportioned spaces, for approximately isotropic displacements $\vec{r}$a.

  4 Discussion

The results shown above are quite sensitive to small errors in the positions of the adjacent topological images. This provides a useful check of the calculations, since a small arbitrary error is most likely to yield a stronger residual acceleration than a weaker one. Increasing or decreasing the distances from the massive particle to the two members of one of the opposite pairs of topological images by $0.1\%$ is sufficient to destabilise the nearly perfect equilibrium defined by the full set of adjacent topological images for a given space. The residual acceleration reverts to being dominated by $(r/R_{{\rm C}})^1$ rather than $(r/R_{{\rm C}})^3$ or  $(r/R_{{\rm C}})^5$.

This sensitivity to small changes in the distances to topological images is physically interesting. As found in Sect. 3 of Roukema et al. (2007), the residual acceleration in a T3 model of slightly unequal fundamental lengths is dominated by a linear term in r/La, which tends to equalise the three fundamental lengths. The same relation applies for the spherical models. These are very well balanced in the sense that the linear term cancels, and in the case of the Poincaré space, the cubic term cancels too, provided that these spaces are perfectly homogeneous. A small decrease in the injectivity diameter in one direction implies stronger acceleration for a test particle, favouring a return towards perfect isotropy in the fundamental lengths. Conversely, a small increase in the injectivity diameter implies weaker acceleration, again favouring a return towards isotropy. The residual acceleration tends to encourage the space to return to perfect ``residual acceleration equilibrium'', in which the residual acceleration disappears down to the third or fifth order.

Clearly, these effects are negligible in the present epoch at the level of observational detectability for the next few decades. Moreover, given the present empirical interest in the Poincaré space, the prediction of the perfectly isotropic model would be an absence of a residual acceleration effect to a much higher observational accuracy than that for the effects predicted by the other three well-proportioned models, which in turn would be more difficult to detect than the residual acceleration effect from ill-proportioned models.

However, the Universe is certainly inhomogeneous. If evidence continues to accumulate for the Poincaré space model with successively more accurate estimates of the model's astronomical coordinates, following the estimates made in Roukema et al. (2008a,b), then several observational approaches could be used to test the predictions of the residual acceleration effect. With a sufficient level of precision, matched circles and/or annuli on the sky should yield slightly different fundamental lengths along the six axes. The residual acceleration effect should consist of a positive or negative extra acceleration for shorter or longer fundamental lengths, respectively. Surveys of tracers of large-scale structure lying along the different geodesics to topological images of, for example, the Virgo cluster, could also be used to estimate which directions should have slightly longer than average geodesics and which should have slightly shorter than average geodesics. All three estimates should agree with one another, provided that no other sources of random and systematic error interfere. Hence, the residual acceleration effect potentially offers a physical mechanism for testing a multiply-connected model of comoving space, as an alternative to relying on geometrical effects (individual or statistical identification of multiply imaged objects or regions of space).

Another interesting question is whether or not the better ``balancing'' of the Poincaré space could have had any role in the evolution of a preferred topology in the early Universe, especially during the quantum epoch. Does the Poincaré space occupy a dynamically more stable state than the other well-proportioned spaces, which in turn are more stable than ill-proportioned spaces? This would most likely require significant inhomogeneities in the very early Universe, which themselves might have been subsequently removed by the residual gravity acceleration effect itself.

Apart from the possible physical consequences of this result, it may be interesting to ask if these results are reasonable from an intuitive mathematical point of view. It is useful to consider this in terms of pairs of opposite images, since if the test particle lies along the geodesic joining the local copy and the two opposite distant copies of the massive particle, then the single pair yields a linear-dominated residual acceleration. In order for the linear (or higher order) terms in the residual acceleration to cancel, the acceleration components that are approximately orthogonal to the geodesic joining the test particle to the two members of a given opposite pair need to be able to cancel the approximately radial components of residual accelerations in other pairs of images. In the T3 case, three nearly orthogonal pairs are sufficient for the linear terms to completely cancel in this way (provided that the fundamental domain is perfectly regular). Given that S3/T*, S3/O*, and S3/I* have four, seven, and six opposite pairs, respectively, it is reasonable to imagine that the radial components of the linear residual-acceleration term of a given pair are cancelled by the orthogonal components of the other pairs, since there are many of them, distributed symmetrically.

It is also possible to imagine that with a high enough number of opposite pairs and sufficient symmetry, a higher order term such as the third order might also disappear, by means of fine balancing between the different directions. The truncated cube space S3/O* and the Poincaré space S3/I* have the highest numbers of opposite pairs, or equivalently, the highest numbers of pairs of faces of their fundamental domains. However, the truncated cube cannot be a regular polyhedron; its faces are six truncated squares and eight triangles. All the faces of the fundamental domain of the Poincaré dodecahedral space have the same shape: a pentagon. In this sense, it is more symmetrical than the truncated cube space. So requiring both a fundamental domain with a high number of faces and a high level of symmetry would seem to provide a qualitative pair of conditions to explain why the Poincaré space is more finely balanced than the other well-proportioned spaces.

However, could either the subset of topological images corresponding to only the octagonal faces of the fundamental domain of the truncated cube, or the subset corresponding to only the triangular faces, nevertheless cancel to fifth order, and become hidden because the other subset reintroduces a third order term? A calculation similar to those developed above shows that both subsets separately retain the third order as the dominant order. Table 2 gives statistical characteristics of the third order coefficients for the two subsets. So the Poincaré space retains its uniqueness in cancelling down to fifth order.

Table 2:   Components of the residual acceleration $\ddot{r}$, as for Table 1, for the truncated cube space, separated by fundamental domain face shape.

An aspect of the residual acceleration as expressed in Eqs. (21) and (22) that may initially seem counterintuitive is the permutational symmetry between the x,y, and z components, since a dodecahedron is not always thought of as having cubical symmetry. However, an appropriate orientation of the dodecahedron in  $\mathbb{R}^3$, such as that used in our computer algebra script, shows an (x,y,z) symmetry. The twelve adjacent topological images consist of three quadruplets orthogonally projected to  $\mathbb{R}^3$, $[0, \pm 1/2, \pm (\sqrt{5}-1)/4]$, $[\pm (\sqrt{5}-1)/4, 0, \pm 1/2]$, and $[\pm 1/2, \pm (\sqrt{5}-1)/4, 0]$. Each of these quadruplets lies in a 2-plane in  $\mathbb{R}^3$, i.e., x=0, y=0, and z=0, respectively. In this orientation, the ``top'' and ``bottom'' of the dodecahedron are edges, not faces. These two edges, along with four others, can be used to inscribe the dodecahedron in a cube (in flat space).

  5 Conclusions

In Roukema et al. (2007), it was found that a residual gravity acceleration effect exists for ${T} \times \mathbb{R}^2$ but cancels to first order for a perfectly regular T3 model. Here, it was found that the residual acceleration in T3 does not completely cancel. In T3 and two other well-proportioned spaces, the octahedral space S3/T* and the truncated cube space S3/O*, the residual acceleration exists as a third order effect in the Taylor expansions in r/La and  $r/R_{{\rm C}}$ respectively. A reasonable upper limit to $r/L_a = r/R_{{\rm C}}$ can be set by considering test particles in voids of large-scale structure, i.e., at typically a few megaparsecs from the most massive nearby object, and an injectivity diameter for the 3-manifold of comoving space of at least a few gigaparsecs, i.e., $r/L_a = r/R_{{\rm C}}\sim 10^{-3}$. Hence, at the present epoch, these three well-proportioned spaces are about a million times better balanced by this dynamical criterion than ill-proportioned spaces.

The Poincaré dodecahedral space S3/I*, presently a candidate 3-manifold for comoving space favoured by several observational analyses, has been found to be even more exceptional. Its residual acceleration is dominated by the fifth order term of amplitude ${\sim}{\pm}300 (Gm/R_{{\rm C}}^2) (r/R_{{\rm C}})^5$ (Figs. 4, 5, Table 1, Eqs. (21), (22)). This makes it about ten thousand times better balanced than the other three well-proportioned spaces, i.e., about 1010 times better balanced than ill-proportioned spaces. Moreover, perturbations to this equilibrium favour a return to the equilibrium state. Are these clues towards a theory of cosmic topology?

Acknowledgements
Thank you to Zbigniew Bulinski and Bartosz Lew for helpful discussion and to an anonymous referee for useful suggestions. Use was made of the Centre de Données astronomiques de Strasbourg (http://cdsads.u-strasbg.fr), the computer algebra program MAXIMA, the GNU O CTAVE command-line, high-level numerical computation software (http://www.gnu.org/software/octave), the GNU multi-precision library (GMP) and the MPFR library, the GNU Scientific Library (GSL), and the GNU PLOTUTILS plotting package.

References

Footnotes

... adjacent[*]
``Adjacent'' is used here to refer to images in copies of the fundamental domain that share a face with the ``original'' copy of the fundamental domain.
... parameter[*]
For example, $\Omega_{{\rm tot}}= 1.010_{-0.009}^{+0.016}$, from WMAP 3-year and Hubble Space Telescope H0 key project data, $\Omega_{{\rm tot}}= 1.015_{-0.016}^{+0.020}$, from WMAP 3-year data and Supernova Legacy Survey supernovae type Ia data (Spergel et al. 2007); $\Omega_{{\rm tot}}= 1.03^{+0.04}_{-0.06}$, from WMAP 3-year and Arcminute Cosmology Bolometer Array Receiver ACBAR data (Reichardt et al. 2009).
... significand[*]
The IEEE 754-2008 standard recommends the term ``significand'' rather than ``mantissa''.
... is[*]
The expression for the fifth order term is $[68\cos(\pi/5)\sin^4(\pi/5)+ 240\cos^3(\pi/5) \sin^2(\pi/5)+ 180\cos^5(\pi/5)]/[15\sin^7(\pi/5)] \; (\frac{r}{R_{{\rm C}}} )^5.$
... system[*]
The script is available online at http://adjani.astro.umk.pl/GPL/dodec/PDS_residual. Version 1.0 was used in this paper.

All Tables

Table 1:   Statistical characteristics of coefficients ai of the dominant (ith order) term in the radial and orthogonal components of the residual acceleration $\ddot{r}$ in perfectly regular well-proportioned spaces, for approximately isotropic displacements $\vec{r}$a.

Table 2:   Components of the residual acceleration $\ddot{r}$, as for Table 1, for the truncated cube space, separated by fundamental domain face shape.

All Figures

  \begin{figure}
\par\includegraphics[width=8cm,clip]{1881fig1.eps}
\end{figure} Figure 1:

Residual acceleration (radial component) induced on a test particle near a massive particle such as a cluster of galaxies by the six adjacent topological images of the massive particle, in a T3 universe of three exactly comoving equal side lengths La. The accelerations a3(r) are normalised to be constant if the dominant term is third order in r/La (see Eq. (14)) and are shown against distance r < 0.01 La from the massive particle, where $L=3000~{\mbox{$h^{-1}$ ~Mpc}}$. Positive accelerations are shown by plus symbols; negative accelerations are shown by circles.

Open with DEXTER
In the text

  \begin{figure}
\par\includegraphics[width=8cm,clip]{1881fig2.eps}
\end{figure} Figure 2:

Residual acceleration (radial component) induced on a test particle near a massive particle by the eight adjacent topological images of the massive particle, in a universe whose 3-manifold of comoving space is the octahedral space S3/T*. The accelerations a3(r) are normalised to be constant if the dominant term is third order in r/La(see Eq. (19)) and are shown against distance $r < 250~{\mbox{$h^{-1}$ ~Mpc}} = 0.01 R_{{\rm C}}$ from the massive particle. Positive accelerations are shown by plus symbols; negative accelerations are shown by circles.

Open with DEXTER
In the text

  \begin{figure}
\par\includegraphics[width=8cm,clip]{1881fig3.eps}
\end{figure} Figure 3:

As for Fig. 2, for the truncated cube space S3/O*.

Open with DEXTER
In the text

  \begin{figure}
\includegraphics[width=8cm,clip]{1881fig4.eps}
\end{figure} Figure 4:

Residual acceleration (radial component), as for Fig. 2, for the Poincaré dodecahedral space  S3/I*.

Open with DEXTER
In the text

  \begin{figure}
\par\includegraphics[width=8cm,clip]{1881fig5.eps}
\end{figure} Figure 5:

Orthogonal residual acceleration for the Poincaré dodecahedral space  S3/I*, as for Fig. 4, shown using 50-bit ($\times $), 60-bit ($\circ $) and 70-bit (+) precision in the significands of the floating-point numbers.

Open with DEXTER
In the text


Copyright ESO 2009

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.