Rest frames and relativistic effects on de Sitter spacetimes

TL;DR

This paper develops a method using Nachtmann boosting and gauge transformations to analyze relativistic effects and conserved quantities in de Sitter spacetimes, enabling new solutions for kinematic effects, electromagnetic fields, and binary fission.

Contribution

It introduces a novel approach combining boosting and gauge transformations to study conserved quantities and relativistic effects in de Sitter spacetimes, with new applications.

Findings

Solved kinematic effects in de Sitter spacetime

Derived electromagnetic field of a free falling charge

Analyzed binary fission using conserved quantities

Abstract

It is shown that the Nachtmann boosting method of introducing coordinates on de Siter manifolds can be completed with suitable gauge transformations able to keep under control the transformation under isometries of the conserved quantities. With this method, the rest local charts (or natural frames) are defined pointing out the role of the conserved quantities in investigating the relative geodesic motion. The advantages of this approach can be seen from the applications presented here. For the first time, the simple kinematic effects, the electromagnetic field of a free falling charge and the binary fission are solved in terms of conserved quantities on the expanding portion of the de Sitter spacetime.

Equations

$${\eta }_{AB}^5{z}^A(x)z^B(x)=-\frac{1}{{\omega }^2}.$$

$$\mathfrak{g}(\xi )=\exp \left(-\frac{i}{2}{\xi }^{AB}{\mathfrak{S}}_{AB}\right)\in SO(1,4)$$

$$({\mathfrak{S}}_{AB}{)}_{\cdot D}^{C\cdot }=i\left({\delta }_A^C{\eta }_{BD}^5-{\delta }_B^C{\eta }_{AD}^5\right).$$

$$z^0(x_c)$$

$$z^i(x_c)$$

$$z^4(x_c)$$

$$d{s}^2={\eta }_{AB}^{5}d{z}^A(x_c)d{z}^B(x_c)=\frac{1}{{\omega }^2{t_c}^2}\left({d{t}_c}^2-d{\vec{x}}_c^2\right).$$

$$t_c=-\frac{1}{\omega }{e}^{-\omega t},{\vec{x}}_c=\vec{x}{e}^{-\omega t},$$

$$d{s}^2=(1-{\omega }^2{\vec{x}}^2)d{t}^2+2\omega \vec{x}\cdot d\vec{x}dt-d\vec{x}\cdot d\vec{x}.$$

$$K_C^{(AB)}d{z}^C=z^{A}d{z}^B-z^{B}d{z}^A=k_{\mu }^{(AB)}d{x}^{\mu },$$

$$k_{(AB)\mu }={\eta }_{AC}^5{\eta }_{BD}^5{k}_{\mu }^{(CD)}=z_A{\partial }_{\mu }{z}_B-z_B{\partial }_{\mu }{z}_A,$$

$$\mathfrak{H}$$

$${\mathfrak{J}}_i$$

$${\mathfrak{K}}_i$$

$${\mathfrak{R}}_i$$

$${\cal K}(x,\vec{P})=\left(\begin{array}[]{ccccc}0&\omega K_{1}&\omega K_{2}&\omega K_{3}&E\\ -\omega K_{1}&0&\omega L_{3}&-\omega L_{2}&\omega R_{1}\\ -\omega K_{2}&-\omega L_{3}&0&\omega L_{1}&\omega R_{2}\\ -\omega K_{3}&\omega L_{2}&-\omega L_{1}&0&\omega R_{3}\\ -E&\omega R_{1}&-\omega R_{2}&-\omega R_{3}&0\end{array}\right)\,,$$

$${\mathcal{K}}_{(AB)}(x^{\prime },{\vec{P}}^{\prime })={\mathfrak{g}}_{A\cdot }^{\cdot C}{\mathfrak{g}}_{B\cdot }^{\cdot D}{\mathcal{K}}_{(CD)}(x,\vec{P}),$$

$$k_{(0i)}^0=k_{(4i)}^0=-\omega t_c{x}_c^i,$$

$$k_{(0i)}^j=k_{(4i)}^j+\frac{1}{\omega }{\delta }_i^j=-\omega x_c^i{x}_c^j+{\delta }_i^j\chi ,$$

$$k_{(ij)}^0=0,k_{(ij)}^l={\delta }_i^l{x}_c^j-{\delta }_j^l{x}_c^i,$$

$$k_{(04)}^0=-t,k_{(04)}^i=-x_c^i.$$

$$\chi =\frac{1}{2\omega }\left[1-{\omega }^2(t_c^2-{{\vec{x}}_c}^2)\right].$$

$$u_c^0$$

$$u_c^i$$

$${x_c}^i(t_c)$$

$$E$$

$$L_i$$

$$Q^i$$

$$E^2-{\omega }^2{\vec{L}}^2-\vec{P}\cdot \vec{Q}=m^2$$

$${\cal K}(x_{c},0)=\left(\begin{array}[]{ccccc}0&m\omega x^{1}_{c}&m\omega x^{2}_{c}&m\omega x^{3}_{c}&m\\ -m\omega x^{1}_{c}&0&0&0&-m\omega x^{1}_{c}\\ -m\omega x^{2}_{c}&0&0&0&-m\omega x^{2}_{c}\\ -m\omega x^{3}_{c}&0&0&0&-m\omega x^{3}_{c}\\ -m&m\omega x^{1}_{c}&m\omega x^{2}_{c}&m\omega x^{3}_{c}&0\end{array}\right)\,,$$

$${\cal K}_{o}=\left(\begin{array}[]{ccccc}0&0&0&0&m\\ 0&0&0&0&0\\ 0&0&0&0&0\\ 0&0&0&0&0\\ -m&0&0&0&0\end{array}\right)\,,$$

$$\hat{\omega }(x)={\mathfrak{b}}^{-1}(x)d\mathfrak{b}(x)z_o.$$

$${\hat{\omega }}^{\hat{\alpha }}(x)={\hat{e}}_{\mu }^{\hat{\alpha }}(x)d{x}^{\mu },{\hat{\omega }}^4(x)=0,$$

$$\mathfrak{b}(t_c,{\vec{x}}_c)=\exp (-i{x}^i{\mathfrak{P}}_i)\exp (-i\alpha \mathfrak{H}),$$

$$\mathfrak{b}(t_c,{\vec{x}}_c)=$$

$$\displaystyle-\left(\begin{array}[]{ccccc}\frac{1+\omega^{2}(t_{c}^{2}+\vec{x}_{c}^{2})}{2\omega t_{c}}&-\omega x_{c}^{1}&-\omega x_{c}^{2}&-\omega x_{c}^{3}&-\frac{1-\omega^{2}(t_{c}^{2}-\vec{x}_{c}^{2})}{2\omega t_{c}}\\ \frac{x_{c}^{1}}{t_{c}}&1&0&0&\frac{x_{c}^{1}}{t_{c}}\\ \frac{x_{c}^{2}}{t_{c}}&0&1&0&\frac{x_{c}^{2}}{t_{c}}\\ \frac{x_{c}^{3}}{t_{c}}&0&0&1&\frac{x_{c}^{3}}{t_{c}}\\ \frac{1-\omega^{2}(t_{c}^{2}+\vec{x}_{c}^{2})}{2\omega t_{c}}&\omega x_{c}^{1}&\omega x_{c}^{2}&\omega x_{c}^{3}&\frac{1+\omega^{2}(t_{c}^{2}-\vec{x}_{c}^{2})}{2\omega t_{c}}\\ \end{array}\right)\,.$$

Full text

††journal: Eur. Phys. J. C

1 Introduction

In special and general relativity there are two maximally symmetric spacetimes, the Minkowski and de Sitter ones SW , allowing translations and, consequently, conserved momenta. In special relativity the translations play a crucial role in Wigner’s theory of the induced representations of the Poincaré group Wig ; Mc ; WKT which is based on the orbital analysis in the energy-momentum space.

Unfortunately, this method cannot be applied to the de Sitter spacetimes since here the momentum is combined with other conserved quantities that depend on coordinates and transform among themselves under isometries C1 . Therefore, in this case we cannot speak about the energy-momentum space and its orbits. Nevertheless, despite of this difficulty, we may study how different observers measure the conserved quantities on geodesics, resorting to our previous methods in investigating external symmetries C1 ; ES ; C2 ; C3 ; C4 . Our purpose here is to solve this problem considering the (conformal) Euclidean and de Sitter-Pailevé local charts as inertial natural frames where each geodesic is determined by the conserved momentum in a certain position at a given moment. The coordinates of these local charts, as well as the conserved quantities on geodesics, are related among themselves through the de Sitter $SO(1,4)$ isometries that become thus the central pieces of our approach.

The method we use here was proposed initialy by Nachtmann for constructing covariant representations of the de Sitter isometry group Nach . The idea is to introduce the coordinates of the local charts with the help of point-dependent $SO(1,4)$ linear transformations of the embedding space which are called here boosts. In this paper we show how the original Nachtmann boosts could be completed with suitable gauge transformations of the Lorentz group, $L^{\uparrow}_{+}$, in order to give rise simultaneously to local coordinates and desired conserved quantities. By using such boosts we define the natural rest frames of the massive mobiles and derive the isometry transformations among these frames and other arbitrary ones. We obtain thus the principal original result reported here we call Lorenzian isometries since these play the same role as the Lorentz boosts of special relativity WKT . We upgrade thus the so called de Sitter relativity dSrel , opening the door to a large field of applications.

For marking out the advantages of our approach, we give examples of relativistic effects that can be solved in terms of conserved quantities on the expanding portion of the de Sitter spacetime. We start with the elementary relativistic kinematic effects, as the time dilation (or twin paradox) and Lorentz contraction, shoving that these are decreasing in time. The second example is the electromagnetic field of a freely falling electric charge with a given momentum. The last example focuses on the conserved parameters of the binary fission in arbitrary frames.

The paper is organized as follows. In the second section we briefly present the de Sitter isometries among the Euclidean and respectively de Sitter-Painlevé local charts. The third section is devoted to the classical conserved quantities on timelike geodesics and their transformations under isometries. In the next section we extend the Nachtmann method defining the boosts able to introduce coordinates giving rise simultaneously to a desired momentum of the moving object in a given point. In the fifth section we apply this method for deriving the Lorenzian isometries. In the next section we discuss the mentioned examples giving the principal technical details while in the last one we present our concluding remarks.

2 de Sitter isometries

Let us start with the de Sitter spacetime $(M,g)$ defined as the hyperboloid of radius $1/\omega$ in the five-dimensional flat spacetime $(M^{5},\eta^{5})$ of coordinates $z^{A}$ (labeled by the indices $A,\,B,...=0,1,2,3,4$) having the metric $\eta^{5}={\rm diag}(1,-1,-1,-1,-1)$. The local charts $\{x\}$ of coordinates $x^{\mu}$ ($\alpha,\mu,\nu,...=0,1,2,3$) can be introduced on $(M,g)$ giving the set of functions $z^{A}(x)$ which solve the hyperboloid equation,

[TABLE]

where $\omega$ denotes the Hubble de Sitter constant since in our notations $H$ is reserved for the energy (or Hamiltonian) operator C1 .

The de Sitter isometry group is just the gauge group $G(\eta^{5})=SO(1,4)$ of the embedding manifold $(M^{5},\eta^{5})$ that leave invariant its metric and implicitly Eq. (1). Therefore, given a system of coordinates defined by the functions $z=z(x)$, each transformation ${\mathfrak{g}}\in SO(1,4)$ defines the isometry $x\to x^{\prime}=\phi_{\mathfrak{g}}(x)$ derived from the system of equations $z[\phi_{\mathfrak{g}}(x)]={\mathfrak{g}}z(x)$. For studying these isometries we use the canonical parametrization

[TABLE]

with skew-symmetric parameters, $\xi^{AB}=-\xi^{BA}$, and the covariant generators ${\mathfrak{S}}_{AB}$ of the fundamental representation of the $so(1,4)$ algebra carried by $M^{5}$. These generators have the matrix elements,

[TABLE]

The principal $so(1,4)$ basis-generators with an obvious physical meaning C1 are the energy ${\mathfrak{H}}=\omega{\mathfrak{S}}_{04}$, angular momentum ${\mathfrak{J}}_{k}=\frac{1}{2}\varepsilon_{kij}{\mathfrak{S}}_{ij}$, Lorentz boosts ${\mathfrak{K}}_{i}={\mathfrak{S}}_{0i}$, and the Runge-Lenz-type vector ${\mathfrak{R}}_{i}={\mathfrak{S}}_{i4}$. In addition, it is convenient to introduce the momentum ${\mathfrak{P}}_{i}=-\omega({\mathfrak{R}}_{i}+{\mathfrak{K}}_{i})$ and its dual ${\mathfrak{Q}}_{i}=\omega({\mathfrak{K}}_{i}-{\mathfrak{R}}_{i})$ which are nilpotent matrices (i. e. $({\mathfrak{P}}_{i})^{3}=({\mathfrak{Q}}_{i})^{3}=0$) of two Abelian three-dimensional subalgebras, $t(3)_{P}$ and respectively $t(3)_{Q}$ generating the Abelian subgroups $T(3)_{P}$ and $T(3)_{Q}$ C2 .

For understanding the action of the isometries generated by these matrices, we focus on two principal sets of local charts. The first one is formed by the conformal Euclidean charts $\{t_{c},\vec{x}_{c}\}$ which offers us some technical advantages. The conformal time $t_{c}$ and Cartesian spaces coordinates $x_{c}^{i}$ ($i,j,k,...=1,2,3$) are defined by the functions

[TABLE]

written with the vector notation, $\vec{x}=(x^{1},x^{2},x^{3})\in{\mathbb{R}}^{3}\subset M^{5}$. These charts cover the expanding part of $M$ for $t_{c}\in(-\infty,0)$ and $\vec{x}_{c}\in{\mathbb{R}}^{3}$ while the collapsing part is covered by similar charts with $t_{c}>0$. In both these cases we have the same conformal flat line element,

[TABLE]

We stress that here we restrict ourselves to consider only the expanding portion which is a possible model of our expanding universe.

Another choice are the de Sitter-Painlevé coordinates $\{t,\vec{x}\}$ on the same portion that can be introduced directly substituting

[TABLE]

where $t\in(-\infty,\infty)$ is the proper time while $x^{i}$ are the ’physical’ Cartesian space coordinates. Then the line element reads

[TABLE]

Notice that this chart is useful in applications since in the flat limit (when $\omega\to 0$) its coordinates become just the Cartesian ones of the Minkowski spacetime.

Now we can briefly review the effects of the isometries $x_{c}\to x_{c}^{\prime}=\phi_{\mathfrak{g}}(x_{c})$ of the Euclidean chart C2 or of the corresponding ones, $x\to x^{\prime}=\phi_{\mathfrak{g}}(x)$, in the de Sitter- Painlevé coordinates. We observe first that the transformations ${\mathfrak{g}}\in SO(3)\subset SO(4,1)$ generated by ${\mathfrak{J}}_{i}$ are simple rotations of $z^{i}$ as well as of the Cartesian coordinates $x_{c}^{i}$ and $x^{i}$ which transform alike since this symmetry is global. The transformations ${\mathfrak{g}}={\rm exp}(-i\alpha{\mathfrak{H}})$, with $\alpha=\omega\xi$, produce the dilation of the conformal coordinates, $t_{c}\to t_{c}\,e^{\alpha}$ and $x_{c}^{i}\to x_{c}^{i}e^{\alpha}$, which appear in the chart $\{t,\vec{x}\}$ as simple time translations $t\to t-\xi$ at fixed $\vec{x}$. For this reason we denote this subgroup with $T(1)_{H}$. The transformations of the Abelian subgroup $T(3)_{P}$ give rise to the space translations at fixed time. More interesting are the $T(3)_{Q}$ transformations generated by ${\mathfrak{Q}}_{i}/$, which produce more complicated isometries of the Euclidean charts C2 that can be rewritten in the de Sitter- Painlevé ones by using the substitution (6).

3 Classical conserved quantities

The classical conserved quantities under de Sitter isometries can be calculated with the help of the Killing vectors $k_{(AB)}$ of the de Sitter manifold $(M,g)$ ES ; C1 . According to the general definition of the Killing vectors in the pseudo-Euclidean spacetime $(M^{5},\eta^{5})$, we may consider the following identity

[TABLE]

giving the covariant components of the Killing vectors in an arbitrary chart $\{x\}$ of $(M,g)$ as

[TABLE]

where $z_{A}=\eta_{AB}z^{B}$.

The principal conserved quantities along a timelike geodesic of a point-like particle of mass $m$ and momentum $\vec{P}$ C1 have the general form ${\cal K}_{(AB)}(x,\vec{P})=\omega k_{(AB)\,\mu}mu^{\mu}$ where $u^{\mu}=\frac{dx^{\mu}(s)}{ds}$ are the components of the covariant four-velocity that satisfy $u^{2}=g_{\mu\nu}u^{\mu}u^{\nu}=1$. The conserved quantities with physical meaning C1 are,

[TABLE]

where $E$ is the conserved energy, $L_{i}$ are the usual components of angular momentum while $K_{i}$ and $R_{i}$ are related to the conserved momentum, $P^{i}=-\omega(R_{i}+K_{i})$, and its dual, $Q^{i}=\omega(K_{i}-R_{i})$ C1 . Thus we can construct the five-dimensional matrix

[TABLE]

whose elements transform as a five-dimensional skew-symmetric tensor on $M^{5}$, according to the rule

[TABLE]

for all ${\mathfrak{g}}\in SO(1,4)$. Here ${\mathfrak{g}}_{A\,\cdot}^{\cdot\,B}=\eta^{5}_{AC}\,{\mathfrak{g}}^{C\,\cdot}_{\cdot\,D}\,\eta^{5\,BD}$ are the matrix elements of the adjoint matrix $\overline{\mathfrak{g}}=\eta^{5}\,{\mathfrak{g}}\,\eta^{5}$. Thus, Eq. (15) can be written as ${\cal K}(x^{\prime},{\vec{P}}^{\prime})=\overline{\mathfrak{g}}\,{\cal K}(x,\vec{P})\,\overline{\mathfrak{g}}^{T}$ or simpler, ${\cal K}^{\prime}=\overline{\mathfrak{g}}\,{\cal K}\,\overline{\mathfrak{g}}^{T}$.

The properties of the above defined conserved quantities may be studied by choosing a convenient local chart. Technically speaking the best choice is that of the Euclidean charts $\{t_{c},\vec{x}_{c}\}$ where the contravariant components of the Killing vectors can be calculated according to Eq. (9) as

[TABLE]

where we denote

[TABLE]

Taking into account that the particle of mass $m$ has the momentum $\vec{P}$ of components $P^{i}=-\omega m(k_{(0i)\,\mu}+k_{(i4)\,\mu})u_{c}^{\mu}$, we find the components of the four-velocity,

[TABLE]

where we denote $P=|{\vec{P}}\,|$. Hereby we obtain the geodesic trajectory C1 ,

[TABLE]

of a massive particle passing through the space point $\vec{x}_{c0}$ at time ${t_{c0}}$. This is completely determined by the initial condition $\vec{x}_{c}({t_{c0}})=\vec{x}_{c0}$ and the conserved momentum $\vec{P}$. Therefore, the conserved quantities in an arbitrary point $(t_{c},\vec{x}_{c}(t_{c}))$ of the geodesics depend only on this point and the momentum $\vec{P}$. Then, by substituting the components (16) and (18) in Eqs. (10)-(13) we find the other conserved quantities C1 ,

[TABLE]

that satisfy the obvious identity

[TABLE]

corresponds to the first Casimir operator of the $so(1,4)$ algebra C1 . In the flat limit, $\omega\to 0$ when $-\omega t_{c}\to 1$ and $\vec{Q}\to\vec{P}$ this identity becomes just the usual mass-shell condition $p^{2}=m^{2}$ of special relativity.

An important particular case is of the rest particle with $\vec{P}=0$ staying in an arbitrary point $(t_{c},\vec{x}_{c})$ on a world line along the vector field $-\omega t_{c}\partial_{t_{c}}$. Then the rest energy, $E=m$, is the same as in special relativity, $\vec{L}=0$ and $\vec{Q}=2\omega m\vec{x}_{c}$ such that the matrix

[TABLE]

is independent on $t_{c}$. If we suppose, in addition, that the particle stays at rest in origin, $\vec{x}_{c}=0$, then this matrix takes the simplest form

[TABLE]

depending only on the particle mass.

We observe that the stable group of the matrix ${\cal K}_{o}$ is the group $SO(3)\otimes T(1)_{H}\subset SO(1,4)$ since $\overline{\mathfrak{g}}\,{\cal K}_{o}\,\overline{\mathfrak{g}}^{T}={\cal K}_{o}$ for any transformation ${\mathfrak{g}}$ of this group. On the other hand, the $T(3)_{P}$ translations ${\mathfrak{g}}=\exp(-i\vec{\xi}\cdot{\mathfrak{P}})$ have the action $\overline{\mathfrak{g}}\,{\cal K}_{o}\,\overline{\mathfrak{g}}^{T}={\cal K}(\vec{\xi},0)$ without giving rise to the momentum components. Thus we conclude that all the isometries of the subgroup $G_{o}=SO(3)\otimes T(1)_{H}\otimes T(3)_{P}$ preserve the rest states with $\vec{P}=0$ changing only the positions of the particle at rest. This group plays here the same role as the little group of the orbit $p^{2}=m^{2}$ in the energy-momentum space of special relativity.

4 Boosting coordinates and momenta

Many years ago Nachtmann proposed a boosting method for deriving covariant reprentations of the de Sitter isometry group induced by the gauge group $G(\eta)=L^{\uparrow}_{+}$ that leave invariant the metric $\eta={\rm diag}(1,-1,-1,-1)$ of the Minkowskian pseudo-Euclidean model of $(M,g)$ Nach . This method offers new techncal opportunities that allowed us to derive the generalized Rindler transformation on the de Sitter manifolds C3 . This encourages us to apply the same technique for solving the problem of the classical relative geodesic motion on the expanding portion of the de Sitter spacetime. In what follows we develop our formalism denoting for brevity $G\equiv G(\eta)=L^{\uparrow}_{+}$ and $G_{5}\equiv G(\eta^{5})=SO(1,4)$.

The Nachtmann method uses the Wigner orbital analysis but in configurations instead of momentum representation Nach . This can be done since the de Sitter manifold is isomorphic with the space of left cosets $G_{5}/G$. Indeed, if one fixes the point $z_{o}=(0,0,0,0,\omega^{-1})^{T}$ in $M^{5}$ (of local Euclidean coordinates $(-\omega^{-1},0,0,0)$ or $(0,0,0,0)$ de Sitter-Painlevé ones) then the whole de Sitter manifold can be built as the orbit $M=\{{\mathfrak{g}}z_{o}|{\mathfrak{g}}\in G_{5}/G\}\subset M^{5}$ since the subgroup $G$ is just the stable group of $z_{o}$ (obeying ${\mathfrak{g}}z_{o}=z_{o}\,,\,\forall{\mathfrak{g}}\in G$). Then, any point $z(x)\in M$ can be reached applying the boost, ${\mathfrak{b}}(x):z_{o}\to z(x)={\mathfrak{b}}(x)z_{o}$, defining the functions $z^{A}(x)$ of the local coordinates $\{x\}$. In fact, these boosts are sections in the principal fiber bundle on $(M,g)\sim G_{5}/G$ whose fiber is just the isometry group $G_{5}$.

This formalism offers one the advantage of defining the canonical five-dimensional 1-forms associated to the boost ${\mathfrak{b}}(x)$ that read Nach

[TABLE]

The components

[TABLE]

are labeled by the local indices $\hat{\alpha},\hat{\mu},...$, with the same range as the natural ones. These define the canonical gauge fields (or tetrads) $\hat{e}^{\hat{\mu}}$ of the local co-frames associated to the fields $e_{\hat{\mu}}$ of the orthogonal local frames Nach . In general, the boosts are defined up to an arbitrary gauge, ${\mathfrak{b}}(x)\to{\mathfrak{b}}(x)\lambda^{-1}(x)$, $\lambda(x)\in G$, that does not affect the functions $z^{A}(x)$ but changes the gauge fields transforming the 1-forms as $\hat{\omega}(x)\to\lambda(x)\,\hat{\omega}(x)$ Nach ; C2 .

The structure of the boost transformation determines the type of the chart that has to be defined in this manner. The Euclidean chart $\{t_{c},\vec{x}_{c}\}$ under consideration here is boosted by the transformation Nach ,

[TABLE]

which depends on $\alpha=\ln(-\omega t_{c})$ having the form

[TABLE]

It is worth observing that for $t_{c}=-\omega^{-1}$ and $\vec{x}_{c}=0$ we obtain the identity transformation, ${\mathfrak{b}}(\omega^{-1},0)={\mathfrak{e}}$, since these are just the coordinates defining the fixed point $z_{o}$.

Assuming now that a particle stays at rest in $z_{o}$ having $\vec{P}=0$ and the conserved quantities given by the matrix ${\cal K}_{o}$, we observe that the boost (34) is not able to give rise to momentum components since this is a transformation of the subgroup $G_{o}$ whose isometries preserve the rest states. This means that for boosting momenta we need more. The unique possibility is to look for a suitable gauge transformation giving rise to a non-vanishing momentum. The solution we propose here is to construct the new boost

[TABLE]

where the matrix

[TABLE]

is a time-dependent Lorentz boost of the gauge group $G$ written with the notations $E_{t_{c}}=\sqrt{m^{2}+\omega^{2}P^{2}t_{c}^{2}}$, $\nu_{t_{c}}=\left(\frac{E_{t_{c}}}{m}-1\right)$ and $n^{i}_{P}=\frac{P^{i}}{P}$. Notice that this boost is defined up to an arbitrary point-dependent rotation (${\mathfrak{l}}\to{\mathfrak{l}}{\mathfrak{r}}(x_{c}))$ since the $SO(3)$ group is a stable group for both $z_{o}$ and ${\cal K}_{o}$.

Concluding we may say that the principal new result obtained in this section is the boost ${\mathfrak{b}}(t_{c},\vec{x}_{c},\vec{P})$ that brings the particle of mass $m$ from $z_{o}$ to the point $x_{c}$ defined by $z(x_{c})={\mathfrak{b}}(t_{c},\vec{x}_{c},\vec{P})z_{o}={\mathfrak{b}}(t_{c},\vec{x}_{c})z_{o}$, where this particle gets the momentum $\vec{P}$ determining the conserved quantities encapsulated in the matrix

[TABLE]

that has the form (14) with components given by Eqs. (20) and (22).

5 Rest frames and Lorenzian isometries

The problem of relative motion in special or general relativity is to establish how the observers in different local charts related through isometries measure the same geodesic motion. In special relativity this problem is solved considering inertial frames transforming under Poincaré isometries. Similar isometries in the more complicated case of the de Sitter spacetime have to be derived applying the above boosting method to the Euclidean local charts or de Sitter-Painlevé ones.

Let us consider first two Euclidean charts $\{t_{c},\vec{x}_{c}\}$ and $\{t_{c}^{\prime},\vec{x}^{\prime}_{c}\}$ in which the observers $O$ and respectively $O^{\prime}$ measure the same geodesic motion of a particle of mass $m$. Then, assuming that the observer $O$ measures the parameters $({t_{c0}},\vec{x}_{c0},\vec{P})$ while $O^{\prime}$ observes other parameters, $(t^{\prime}_{c0},\vec{x}^{\prime}_{c0},\vec{P}^{\prime})$, of the same particle, we may deduce the isometry relating these charts. Indeed, starting with $z({t_{c0}},\vec{x}_{c0})={\mathfrak{b}}({t_{c0}},\vec{x}_{c0},\vec{P})z_{o}$ and $z(t^{\prime}_{c0},\vec{x}^{\prime}_{c0})={\mathfrak{b}}(t^{\prime}_{c0},\vec{x}^{\prime}_{c0},\vec{P}^{\prime})z_{o}$ we observe that the coordinates of these charts are related through the isometry $x_{c}=\phi_{{\mathfrak{g}}_{*}}(x_{c}^{\prime})$ generated by the transformation

[TABLE]

As mentioned, this is defined up to an arbitrary rotation ${\mathfrak{r}}\in SO(3)$ which is fixed here to the unit isometry, ${\mathfrak{r}}={\mathfrak{e}}$. The conserved quantities that can be observed by $O$ and $O^{\prime}$ are related through

[TABLE]

An useful application is the definition of the natural rest frames of a particle of mass $m$ having a given momentum $\vec{P}$. Let us assume that the chart $\{t_{c},\vec{x}_{c}\}$ is the frame of the fixed observer $O$ while the observer $O^{\prime}$ moves with the mobile chart $\{t^{\prime}_{c},\vec{x}^{\prime}_{c}\}$ in which the particle of mass $m$ stays at rest (with $\vec{P}^{\prime}=0$) in $\vec{x}^{\prime}_{c}=\vec{x}^{\prime}_{c0}$, having the world line along the vector field $-\omega t^{\prime}_{c}\partial_{t^{\prime}_{c}}$. In general, the clocks of these frames are not synchronized such that the fixed observer $O$ may measure the parameters $(t_{c0},\vec{x}_{c0},\vec{P})$ corresponding to another initial condition. Then, by calculating explicitly the matrix (43) in this case, ${\mathfrak{g}}_{*}={\mathfrak{b}}((t_{c0},\vec{x}_{c0},\vec{P}){\mathfrak{b}}({t^{\prime}_{c0}},\vec{x}^{\prime}_{c0},0)^{-1}$, we find the general isometry transformation given in the Appendix A which suggests us to synchronize the clocks by choosing the following suitable initial conditions

[TABLE]

This means that the particle of $m$ stays in the origin of the rest frame $O^{\prime}$ that is passing through the origin of the fixed frame $O$ at the initial time $t_{c}^{\prime}=t_{c}=-\omega^{-1}$. The advantage of these initial conditions is that ${\mathfrak{b}}(-\omega^{-1},0)={\mathfrak{e}}$ and the energy takes the same form as in the flat case, $E=\sqrt{m^{2}+P^{2}}$. Consequently, the transformation (43), denoted from now by ${\mathfrak{g}}_{*}={\mathfrak{g}}(\vec{P})$, becomes

[TABLE]

where now we denote $\nu=\left(\frac{E}{m}-1\right)$. The four-dimensional restriction of this transformation is a genuine Lorentz boost such that ${\mathfrak{g}}(\vec{P})^{-1}={\mathfrak{g}}(-\vec{P})$ and ${\mathfrak{g}}(0)={\mathfrak{e}}$.

Hereby we obtain the principal new result of this paper, namely the Lorenzian isometry $x_{c}=\phi_{{\mathfrak{g}}(\vec{P})}(x_{c}^{\prime})$ between the rest frames $O^{\prime}$ and that of the fixed observer $O$ that reads

[TABLE]

where

[TABLE]

In addition, we can write the transformation rule

[TABLE]

among the conserved quantities of an arbitrary geodesic with the parameters $(t_{c},\vec{x}_{c},{\vec{P}_{1}})$ observed by $O$ and $(t_{c}^{\prime},\vec{x}^{\prime}_{c},\vec{P}^{\prime}_{1})$ observed by $O^{\prime}$. The inverse Lorenzian isometry, $x^{\prime}_{c}=\phi_{{\mathfrak{g}}(-\vec{P})}(x_{c})$, may be obtained by changing $x_{c}$ and $x^{\prime}_{c}$ between themselves and $\vec{P}\to-\vec{P}$.

The Lorenzian isometries may be written in de Sitter-Painlevé coordinates denoting by $\{t,\vec{x}\}$ those of the fixed frame and by $\{t^{\prime},\vec{x}^{\prime}\}$ the rest frame ones. We keep the initial conditions (45) that take now the natural form

[TABLE]

Then, the Lorenzian isometry $x=\phi_{{\mathfrak{g}}(\vec{P})}(x^{\prime})$ reads

[TABLE]

where we used again the identity $m^{2}+P^{2}=E^{2}$ and denote

[TABLE]

Since these transformations have to be used in applications, we write explicitly the inverse Lorenzian isometry $x^{\prime}=\phi_{{\mathfrak{g}}(-\vec{P})}(x)$ which has the transformation rules

[TABLE]

where now we denote

[TABLE]

We must specify that there are relativistic problems which do not depend on the mass of the particle carrying the mobile frame. Then we can eliminate this mass changing the parametrization of the Lorenzian isometries in terms of the conserved velocity $\vec{V}=\frac{\vec{P}}{E}$ and denoting

[TABLE]

It is not difficult to show that $\vec{V}$ is the velocity of the origin $O^{\prime}$ of the mobile frame when this is passing though the origin $O$ of the fixed frame at time $t=t^{\prime}=0$. This velocity is the same in the charts with Euclidean or de Sitter-Pailevé coordinates since we adopted convenient initial conditions.

For small values of $\omega$ we may consider the expansions

[TABLE]

instead of Eqs. (57) and (58). We obtain thus the corrections of the first order and verify that for $\omega=0$ we recover just the usual Lorentz transformations between the rest frame of a particle of mass $m$ of momentum $\vec{P}$ and the frame of the fixed observer in Minkowski spacetime.

6 Relativistic effects

The isometries studied here my be used in various applications from the elementary relativistic effects up to the study of the properties of the covariant fields. In what follows we give few simple examples that can be studied in this framework.

6.1 Kinematic effects

As mentioned, the motion of a particle of mass $m$ is completely determined by the conserved momentum $\vec{P}$ and the initial condition. The observer $O$ measure the kinematic parameters of this particle whose geodesic trajectory in the Euclidean chart is given by Eq. (19) complying with initial conditions (45). The covariant four-velocity remains of the form (18) since this depends only on $\vec{P}$ regardless the initial conditions. We note that apart from $\vec{P}$ and $E$ the other conserved quantities are less relevant since in this case we have $\vec{L}=0$ and $\vec{Q}=\vec{P}$.

Now we focus on the motion of the particle of mass $m$ in the local chart $O$ with de Sitter-Painlevé coordinates for which we use the initial conditions (56). In order to avoid confusion we denote the coordinates of this particle in the frame $O$ by $t_{*}$ and $\vec{x}_{*}$ and write the geodesic equation

[TABLE]

resulted straightforwardly from Eqs. (6) and (19). The covariant four-velocity can be derived from Eqs. (6) and (18) as

[TABLE]

laying out the relation between the covariant momentum $p^{\mu}=mu^{\mu}$ and the conserved one. Hereby we observe that for large values of $t_{*}$ we recover the well-known Hubble law since then $u^{0}_{*}\to 1$ and $u^{i}_{*}\to\omega x_{*}^{i}(t_{*})$ where $\vec{x}_{*}(t_{*})\to\vec{P}[\omega(E+m)]^{-1}e^{\omega t_{*}}$ .

However, a good test is to obtain the geodesic equation (66) exploiting the isometry transformations (57) and (58) that give the coordinates of the particle of mass $m$ as

[TABLE]

Solving the first equation we find the function $t^{\prime}(t_{*})$ of the form,

[TABLE]

that substituted in Eq. (70) leads just to the geodesic equation (66).

Other interesting applications are the time dilation (observed in the so called twin paradox) and the Lorentz contraction which in this case are quite complicated since the these effects are strongly dependent on the position where the time and length are measured. Therefore, for giving a mere simple example, we assume that the measurements are performed in a small neighborhood of the carrier particle (where ${\vec{x}}^{\prime}=0$). Here we consider the general relations

[TABLE]

among the quantities $\delta t,\delta x^{j}$ and $\delta t^{\prime},\delta x^{\prime\,j}$ supposed to be measured by the observers $O$ and respectively $O^{\prime}$. First we consider a clock in $m$ indicating $\delta t^{\prime}$ without changing its position such that $\delta x^{\prime\,i}=0$. Then from Eq. (71), after a little calculation, we obtain the time dilation observed by $O$,

[TABLE]

Similarly but with the supplemental simultaneity condition $\delta t=0$ we derive the Lorentz contraction along the direction of $\vec{P}$ that reads

[TABLE]

It is remarkable that here we have $\delta t\delta x_{||}=\delta t^{\prime}\delta x^{\prime}_{||}$ just as in the flat case. The difference is that these effects are decreasing in time vanishing in the limit of $t_{*}\to\infty$.

These example show how interesting may be the kinematics of the free motion on the de Sitter spacetime. However, here we considered only simple particular examples but we believe that it deserves to investigate this whole complex phenomenology looking for observable effects in our expanding universe.

6.2 The field of a freely falling electric charge

The next problem which was less studied so far mos1 ; mos2 is the electromagnetic field of a massive charged particle freely falling on the expanding portion of the de Siter manifold. A particle of mass $m$ carying the electric charge $q$ produces a Coulomb field in its rest frame $O^{\prime}$. Then the problem is how this field is measured by the fixed observer $O$ with respect to which this particle moves with the momentum $\vec{P}$. This example is useful since it has a simple solution in Minkowski spacetime such that we can verify easily the flat limit LL .

We start with the Euclidean chart of $O^{\prime}$ where the charged particle of mass $m$ stays at rest in ${\vec{x}}^{\prime}=0$. Here the electromagnetic potential has the same form as in the Minkowski spacetime since the Maxwell equations are invariant under conformal transformations. In the chart $\{t^{\prime},{\vec{x}}^{\prime}\}$ of $O^{\prime}$ we obtain similar components performing the transformation (6) and transforming covariantly the electromagnetic potential. Thus we obtain similar formulas

[TABLE]

giving the Coulomb field in the mobile frame with de Sitter-Painlevé coordinates. Our goal is to calculate this field in the chart $\{t,\vec{x}\}$ of the fixed observer $O$.

The coordinates of the frames $O^{\prime}$ and $O$ are related through the Lorenzian isometry $x=\phi_{{\mathfrak{g}}(\vec{P})}(x^{\prime})$ given by Eqs. (57) and (58). Then it is obvious that the electromagnetic potential in the frame $O$ has to be calculated according to the general rule

[TABLE]

where we must use the inverse isometry $x^{\prime}=\phi_{{\mathfrak{g}}(-\vec{P})}(x)$. Indeed, from Eqs. (76) and (77) we obtain the expression

[TABLE]

depending only on the functions (60) and (61). We calculate first the quantity

[TABLE]

and then, by using the derivatives of the function (60), we obtain the definitive result

[TABLE]

Moreover, we observe that from Eq. (78) we may deduce the form of the field strength,

[TABLE]

where $R$ is given by Eq. (79) and, consequently, we have:

[TABLE]

Furthermore, we verify that in the limit of $\vec{P}\to 0$, when $E\to m$ and $R\to|\vec{x}|$, we recover the form of the potential in the rest frame,

[TABLE]

However, this result was expected since it is somewhat trivial. More interesting is to calculate the flat limit when $\omega\to 0$. Then $\Theta\to t$ and

[TABLE]

such that we recover just the potentials of a charged partcle of momentum $\vec{P}$ moving in Minkowski spacetime LL ,

[TABLE]

but written in terms of conserved energy and momentum instead of velocity. Notice that the sign of Eq. (87b) is due to the fact that here we calculated the covariant components. The corresponding contravariant components in Minkowski spacetime give the vector $\vec{A}$ which is oriented along the direction of $\vec{P}$.

These tests convince us that the potential (78) and the field strength (82) derived here are correct being able to lead to new interesting physical results. However, their form is quite complicated such that the study of the specific new effects is difficult requiring algebraic and numeric methods on computer that exceed the present framework.

6.3 Binary fission

We assume now that our particle of mass $m$, staying at rest in ${\vec{x}}^{\prime}=0$, explodes at time $t_{c}^{\prime}$ splitting in two fragments $(m_{(+)},\vec{P}_{(+)}^{\prime})$ and $(m_{(-)},\vec{P}_{(-)}^{\prime})$ whose momenta with respect to $O^{\prime}$ are $\vec{P}_{(+)}^{\prime}=-\vec{P}_{(-)}^{\prime}=\vec{p}$, complying with the usual conservation rule. Now the problem is to find the corresponding momenta $\vec{P}_{(+)}$ and $\vec{P}_{(-)}$ that may be measured by the fixed observer $O$ with respect to which the exploding particle had the initial momentum $\vec{P}$.

The calculation must be done in Euclidean charts where we have already the transformation rule (55) among the conserved quantities. Moreover, we assume that the measurement, which is strongly dependent on time, is performed at initial time $t^{\prime}_{c}$ so that the geodesics of the both fragments have the same initial condition, $(t^{\prime}_{c},0)$, in $O^{\prime}$. The corresponding initial point in $O$ has the coordinates $(t_{c*},\vec{x}_{c*})$ which satisfy Eqs. (52) and (53) for $\vec{x}^{\prime}_{c}=0$ that read now

[TABLE]

Notice that, according to Eqs. (6), $t_{c*}$ defined above and the proper time $t_{*}$ defined by Eq. (69) are related as in Eq. (6a) (i. e. $t_{c*}=-\frac{1}{\omega}\exp(-\omega t_{*})$). Thus we fixed the coordinates of the explosion of the particle of mass $m$ in both frames taking into account that these represent the initial conditions of the geodesic trajectories of the resulted fragments as observed by $O$ and $O^{\prime}$.

Furthermore, we focus on the first fragment observing that for ${\vec{x}_{c}}^{\prime}=0$ its conserved quantities become ${\vec{L}}^{\prime}_{(+)}=0$, ${\vec{Q}}^{\prime}_{(+)}=\omega^{2}{t^{\prime}_{c}}^{2}\vec{p}$ and

[TABLE]

such that the matrix (14) takes now the form

[TABLE]

where

[TABLE]

With these ingredients, we intend to calculate the conserved quantities of the both fragments measured in the fixed frame $O$. This can be done by using the transformation (55) with the above new initial conditions,

[TABLE]

This problem is difficult but can be solved resorting to suitable algebraic codes on computer. Thus we derive the momenta observed in $O$ of both fragments as functions of $t^{\prime}_{c}$ bearing in mind that this depends on $t_{*}$ as it results from Eqs. (6) and (71) or solving directly Eq. (88). Performing this substitution, after a few manipulation, we find first that,

[TABLE]

and then we obtain the final result,

[TABLE]

The corresponding energies measured in $O$ read

[TABLE]

Hereby we can verify that in the flat limit, for $\omega\to 0$, we recover the well-known result in Minkowski spacetime presented briefly with our notations in the Appendix B.

As stated before, $t_{*}$ is the time when $O$ observes the explosion of the particle of mass $m$ in $\vec{x}_{*}$. Therefore, after this moment, the trajectories of the resulted fragments observed by $O$ are geodesics with this initial condition and momenta given by Eq. (101). For $t\geq t_{*}$ their equations read

[TABLE]

Finally, we note that the method presented here may be used for analyzing the kinematics of any collision or nuclear reaction on de Sitter spacetime regardless the frames where these are observed. However, in the weak gravitational field of our expanding universe it is less probable to observe the influence of gravity since the first corrections in Eqs. (101) and (102) are of the order $\omega^{2}$.

7 Concluding remarks

In this paper we completed the Nachtmann boosting method of introducing coordinates on de Sitter spacetimes with special gauge transformations giving rise to desired conserved quantities. We obtained thus an effective framework for studying the relative geodesic motion in different local local charts that play here the role of the inertial frames of special relativity. In this manner we succeeded to define the natural rest frames of the massive mobiles finding the Lorenzian transformations among these frames and other arbitrary ones. The applications presented here reveal the possibilities and perspectives of our approach in studying classical relativistic effects on the de Sitter spacetime.

On the other hand, we expect to obtain more interesting results in large domains of quantum theory, starting with the representation theory of the covariant free fields up to complex processes involving interacting quantum field in gravitational fields or even in investigating how the quantum matter gives rise to gravity. However, our hope is of finding new observable quantum effects improving thus our knowledge in astrophysics and cosmology.

Appendix A General isometry

Calculating explicitly the matrix

[TABLE]

for arbitrary initial conditions we find the following isometry transformations

[TABLE]

where we denote $E_{{t_{c0}}}=\sqrt{m^{2}+{P}^{2}\omega^{2}{t_{c0}}^{2}}$, $\vec{n}_{p}=\frac{\vec{P}}{P}$ and

[TABLE]

For $\vec{P}=0$ we must have ${\mathfrak{g}}={\mathfrak{e}}$ but we obtain

[TABLE]

such that $t_{c0}^{\prime}=t_{c0}$ and $\vec{x}^{\prime}_{c0}=\vec{x}_{c0}$ become mandatory conditions.

Appendix B Binary fission in flat spacetime

The problem of section 6.3 in Minkowski spacetime is solved by using the Lorentz boost $L(\vec{P})$ extracted from Eq. (51) that has the form

[TABLE]

Then by applying this boost on the four-momenta components $(E^{\prime}_{(\pm)},\pm\vec{p})$ of the two fragments we obtain

[TABLE]

where now $E^{\prime}_{(\pm)}=\sqrt{m_{(\pm)}^{2}+p^{2}}$.