47
Atlas of Coordinate Charts on the de Sitter Spacetime Gabriel Pascu Faculty of Physics, West University of Timi¸ soara Vasile Pˆ arvan Avenue 4, Timi¸ soara, 300223, Romˆ ania, EU [email protected] November 13, 2012 Abstract The de Sitter manifold admits a wide variety of interesting coordinatiza- tions. The ’atlas’ is a compilation of the coordinate charts referenced through- out the literature, and is presented in the form of tables, the starting point being the embedding in a higher-dimensional Minkowski spacetime. The met- ric tensor and the references where the coordinate frame is discussed or used in applications are noted. Additional information is given for the entries with significant use: a convenient tetrad and the form taken by the Killing vectors in the respective coordinate frame. PACS: 04.20.Jb MSC: 83-00, 83C15 Keywords: de Sitter spacetime; coordinate charts; embedding space; Killing vec- tors. 1 arXiv:1211.2363v1 [gr-qc] 11 Nov 2012

Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

  • Upload
    dinhthu

  • View
    218

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Atlas of Coordinate Chartson the de Sitter Spacetime

Gabriel Pascu

Faculty of Physics, West University of Timisoara

Vasile Parvan Avenue 4, Timisoara, 300223, Romania, EU

[email protected]

November 13, 2012

Abstract

The de Sitter manifold admits a wide variety of interesting coordinatiza-tions. The ’atlas’ is a compilation of the coordinate charts referenced through-out the literature, and is presented in the form of tables, the starting pointbeing the embedding in a higher-dimensional Minkowski spacetime. The met-ric tensor and the references where the coordinate frame is discussed or usedin applications are noted. Additional information is given for the entries withsignificant use: a convenient tetrad and the form taken by the Killing vectorsin the respective coordinate frame.

PACS: 04.20.JbMSC: 83-00, 83C15Keywords: de Sitter spacetime; coordinate charts; embedding space; Killing vec-

tors.

1

arX

iv:1

211.

2363

v1 [

gr-q

c] 1

1 N

ov 2

012

Page 2: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

List of Tables

Section 1: Introduction

1 The 4 families with spherical diagonal line elements . . . . . . 7

Section 2: FLRW charts

2 FLRW coordinates on de Sitter spacetime . . . . . . . . . . . . 83 Proper comoving/ spatially flat FLRW chart . . . . . . . . . . 104 Conformal spatially flat FLRW chart . . . . . . . . . . . . . . . 115 k=+1 proper FLRW chart, standard coordinates . . . . . . . 136 k=+1 proper FLRW chart, alternate coordinates . . . . . . . 147 k=+1 proper FLRW chart, isotropic coordinates . . . . . . . . 158 k=+1 conformal FLRW chart, standard coordinates . . . . . 169 k=+1 conformal FLRW chart, standard alternate coordinates 1710 k=+1 conformal FLRW chart, alternate standard coordinates 1811 k=-1 proper FLRW chart, standard coordinates . . . . . . . . 2012 k=-1 proper FLRW chart, alternate coordinates . . . . . . . . 2013 k=-1 proper FLRW chart, isotropic coordinates . . . . . . . . 2114 k=-1 conformal FLRW chart, standard coordinates . . . . . . 2215 Overview- standard proper FLRW charts . . . . . . . . . . . . 2416 Overview- standard conformal FLRW charts . . . . . . . . . . 24

Section 3: Static charts

17 Static radial coordinates on de Sitter spacetime . . . . . . . . 2618 Static chart . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2619 Alternate de Sitter static chart . . . . . . . . . . . . . . . . . . . 2820 Fermi (original de Sitter static) chart . . . . . . . . . . . . . . . 2921 Tortoise (Regge- Wheeler static) chart . . . . . . . . . . . . . . 3022 Static chart, isotropic coordinates . . . . . . . . . . . . . . . . . 30

Section 4: ’Natural’ charts

23 Minkowskian chart . . . . . . . . . . . . . . . . . . . . . . . . . . . 3224 Beltrami chart . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3325 Stereographic (conformally Minkowski) chart . . . . . . . . . . 34

Section 5: ’Hybrid’ charts

2

Page 3: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

26 de Sitter-Painleve chart . . . . . . . . . . . . . . . . . . . . . . . 35

Section 6: Anisotropic charts

27 Coordinates for Kantowski-Sachs and Bianchi III charts . . . 3728 Kantowski-Sachs charts . . . . . . . . . . . . . . . . . . . . . . . . 3729 Bianchi III dS charts . . . . . . . . . . . . . . . . . . . . . . . . . 3830 Coordinates for conformally Rindler dS chart . . . . . . . . . . 3931 Conformally Rindler dS chart . . . . . . . . . . . . . . . . . . . . 39

Section 7: Charts with null coordinates

32 Other coordinates on de Sitter spacetime . . . . . . . . . . . . 4033 Eddington-Finkelstein charts . . . . . . . . . . . . . . . . . . . . 4134 Kruskal-like charts . . . . . . . . . . . . . . . . . . . . . . . . . . . 4135 Constant curvature coordinates . . . . . . . . . . . . . . . . . . . 42

3

Page 4: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

1 Introduction

This work is an attempt to bring together all the known coordinate frames thathave been utilised or mentioned in the literature for de Sitter spacetime. There havebeen a number of rather thorough reviews in this sense, the most important of whichis the one made by Eriksen and Grøn [14], but also in part by Schmidt [13], Bicakand Krtous [15] or Spradlin, Strominger and Volovich [20].

Here, emphasis is put on the embedding in a higher-dimensional Minkowskianspacetime and the form of the line element as it results from this embedding. Thede Sitter manifold dS1,n (Lorenzian manifold if dimension n + 1) can be envisionedas a hyperboloid embedded in an n+ 2- dimensional flat Minkowski maifold M1,n+1,acording to the constraint

ηABZAZB = − 1

ω2

where ηAB is the metric on M1,n+1, A,B are indices that run from 0 to n+ 1, ZAis the standard cartesian coordinate chart on M1,n+1 and ω is the Hubble constant.In this work, we consider only the case with three spatial dimensions (n = 3), wherethe results have more familiar forms, but they can be generalised to arbitrary n.

The dS is parametrized by coordinate charts generically denoted by xµ, whereµ runs from 0 to n = 3. Then, the metric on dS that is inherited through theembedding ZA(xµ) is

gµν = ηAB∂ZA

∂xµ∂ZB

∂xν

At a coordinate change, the metric transforms just like a tensor:

g′αβ = gµν∂xµ

∂xα∂xν

∂xβ

The de Sitter manifold, just as the Minkowski manifold is maximally symmetric(it has the maximum amount of Killing vectors- 10 for the total 4 dimensions). TheKilling vectors components on de Sitter can be expressed in terms of the embedding,being inherited also from the embedding space:

kµAB = gµνηACηBD

(ZA∂Z

B

∂xν− ZB ∂Z

A

∂xν

)Therefore, this is a simple way for computing their forms in various charts, not beingnecessary to get them by solving the Killing equations:

∇µkaν +∇νk

aµ = 0

4

Page 5: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Also, for a coordinate chart transformation, their components transform as com-ponets of a vector:

kαAB = kµAB∂xµ

∂xα

which is a convenient relation for computing the Killing vector components betweenclosely related charts, or those that belong to the same class of coordinates.

We do not stress too much the explicit transformations between coordinates, asin [14]. The transformations between the main classes of coordinates are given there,and they can be combined with the ones at the beginning of each section of thepresent work, in order to obtain the coordinate transformation from any one chartto another.

The work is formatted as tables in order to provide the most clear overviewpossible. It is intended to be used as a quick reference and guide to the variouscoordinatisations of the de Sitter manifold, each used in order to express differentproperties, or to emphasise different connections to other spacetimes.

As a convention, all coordinates that have a physical meaning of spatial, or tem-poral coordinate are expressed in terms of length (dimension of 1

ω). Sometimes, in

the literature, they are scaled in order to be adimensional: rsc = ωr. We do notdifferentiate between scaled adimensional coordinates and those which have dimen-sion of length ( we consider the chart to be the ”same” one). In some references, theconstant ω is dropped altogether from the line element.

In other cases, coordinates are shifted like rsh = r + a usually with a factor ofa = − π

2ω, the domain being shifted from r ∈

(0, π

ω

)to rsh ∈

(− π

2ω, π

). This is applied

to both temporal coordinates, and radial coordinates. It occurs when for example inthe line element sin can be equivalently replaced with cos. Then sin(ωr) = cos(ωrsh)and cos(ωr) = − sin(ωrsh). ”Shifted” coordinates defined in this way are denoted bya prime superscript, and are presented only if they have been identified at least oncein the cited literature.

There is also when the coordinates are ”rotated” in the sense of the coodinateused being pure imaginary: rrot = ir. This has been done even by de Sitter himself,as Schmidt [13] carefully points out. Then, cos(ωr) = cosh(ωrrot), cosh(ωr) =cos(ωrrot) and sin(ωr) = −i sinh(ωrrot), sinh(ωr) = −i sin(ωrrot). We do not considerhere coordinates with purely imaginary domain, since they are always reducible toones with real domain. However, there is one instance of a coordinate with complexdomain referenced in Table 35.

While these considerations might seem trivial, the lack of a standard convention,or even nomenclature and notation for the coordinates often leads to confusion.

5

Page 6: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Most of the charts do not cover the manifold in its entirety. In fact, sensustricto there is no global chart on de Siiter space, since the spherically symmetriccharts, of the type t, r, θ, φ have two trivial coordinate symmetries at the pointscorresponding to θ = 0, φ = 2π, just as there is no global chart on the spheremanifold S2, the chart θ, φ covering everything, except the two poles. We will usethe term ”global chart” in the relaxed sense (as most of the physics literature tacitlyassumes), meaning a chart with possibly trivial coordinate singularities. However, itcan happen that such a chart is global, but not smoothly global (a singular surfaceis present).

Charts that introduce additonal parameters, such as Bicak and Krtous’s ”accel-erated coordinates” [15] are also not considered.

The charts are grouped in an synthetic way, rather than being classified mathe-matically. For charts with spherical symmetry (except the ones with at least a nullcoordinate), the version in spherical coordinates is presented head-to-head with theone in cartesian (or more correctly called ”pseudo-cartesian”) coordinates, even ifthat one does not appear in the literature. The transformation is the usual one:

x = r sin θ cosφ

y = r sin θ sinφ

z = r cos θ

The spherical line element on the sphere manifold S2 is denoted dΩ22 = dθ2 +

sin2 θdφ2, while the one on H1,1 is dH22 = dΘ2 + sinh2 Θdφ2.

The notation used for the coordinates in the embedding space is ZA, where theindex A = 0..5. For the coordinates on the de Sitter hyperboloid, the notation isxµ, where µ = 0..4. The temporal index is denoted by 0 and the spatial ones byi, j = 1..3. Note that while x0 = x0, xi = −xi. Therefore xµxµ = t2 − xi2 andxµ∂µ = t∂0 − xi∂i.

For the various charts, every distinct coordinate is given a different symbol, some-times with a subscript or an overline. Unfortunately, since the notation across sourcesis most always inconsistent, we tried to both keep notation used in some works, butalso refrain from using the same notations for different coordinates.

Every quantity is expressed using these symbols, except in the case of the Killingvectors, where they are referenced generically as t, xi and their derivatives as ∂0

and ∂i respectively.We start with 4 families of rather special charts- that are diagonal when expressed

in spherical coordinates. 3 of them are the FLRW families, and one is the staticfamily. Of course, any one coordinate can be transformed arbitrarily, giving rise toan infinite number of coordinate charts pertaining to each family. However, they

6

Page 7: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

are almost exclusively found in the literature in forms that have the line elementof the metric expressed as a FLRW line element in one of its 6 forms- 3 proper, or3 conformal [46] (or similar to that- for the static family). These common charts,presented in Sections 2 and 3 can be neatly arranged in the following table, accordingto the form taken by the line element expressed in spherical coordinates.

Table 1: The 4 families with spherical diagonal line elements

b = b(t, r)

a = a(t, r)

si = si(t, r)

Ω = Ω(t, r)

proper forms conformal forms

standard alternate isotropic alternate standard

b2 · dt2 − a2··(dr2 + s21 · dΩ2

2)

b2 · dt2 − a2

· (s22 · dr2+

+ r2dΩ22)

b2 · dt2 − a2

· s23 · (dr2+

+ r2dΩ22)

Ω2 · [dt2−−s23 · (dr2+

+r2dΩ22)]

Ω2 · [dt2−−s22 · dr2−−r2dΩ2

2)

Ω2 · (dt2−−dr2 − s21 · dΩ2

2)

Isotropic

si = si(r)

FLRW

b = 1

a = a(t)

Ω = Ω(t)

k=+1 t+1, r+1 t+1, r′+1 t+1, r+1 t+1, ρ+1η+1, ρ+1 η+1, r+1 η+1, r+1 η+1, r′+1

η′+1, ρ+1 η′+1, r+1 η′+1, r+1 η′+1, r′+1

k=0 t, r η, r

k=-1 t−1, r−1 t−1, r−1 t−1, ρ−1 t−1, ρ−1 t−1, r−1 t−1, r−1

static b = b(r)

a = 1, Ω = Ω(r)ts, rF ts, r′F ts, rs ts, ρs ts, rs ts, r∗

Further, we mean by ’natural charts’- the charts for which there is an embedding

Zµ =xµ

f(xνxν)

All the coordinates that make up the special four families of charts with diagonal lineelements in spherical coordinates and the natural charts are defined in the contextof the special properties that these charts have. But in fact, coordinates from anychart can be combined with any other, provided no two coordinates have an exclusivedependence on eachother. This is what we mean by the made-up notion of ”hybrid”coordinates. Because the metric in these situations is usually more complicated(it can containing even dtdx terms), charts of this type are not usually taken intoconsideration in applications.

After that, some anisotropic charts are presented, and after that charts with nullcoordinates, of Eddington-Finkelstein, or Kruskal type- named in reference to theiranalogues defined on the Schwarschild geometry.

Note: This work is not intended for publication. It emerged as a result of a PhDreport of the author, under the supervison of prof. dr. Ion I. Cotaescu, to whom theauthor is grateful for guidance, encouragement and useful suggestions.

7

Page 8: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

2 FLRW charts

Table 2: FLRW coordinates on de Sitter spacetime

k=+1 FLRW radii [14, rel.(5.2),(5.7)]

r+1 r+1 = 1ω

arcsin(ωr+1) = 2ω

arctan ωρ+1

2

dr+1 = dr+1√1−ω2r2+1

= dρ+1

1+ω2ρ2+1

4

r+1 r+1 = 1ω

sin(ωr+1) = ρ+1

1+ω2ρ2+1

4

dr+1 = cos(ωr+1)dr+1 = 41−

ω2ρ2+14(

1+ω2ρ2+1

4

)2dρ+1

ρ+1 ρ+1 = 2ω

tan ωr+1

2= 2

ω2r+1(1−

√1− ω2r2

+1)

dρ+1 = dr+1

cos2ωr+1

2

= 2ω2r2+1

(1− 1√

1−ω2r2+1

)dr+1

k=-1 FLRW radii [14, rel.(5.2),(5.8)]

r−1 r−1 = 1ω

arcsinh(ωr−1) = 2ω

arctanh ωρ−1

2

dr−1 = dr−1√1+ω2r2−1

= dρ−1

1−ω2ρ2−1

4

r−1 r−1 = 1ω

sinh(ωr−1) = ρ+1

1−ω2ρ2−1

4

dr−1 = cosh(ωr−1)dr−1 = −41+

ω2ρ2−14(

1−ω2ρ2−1

4

)2dρ−1

ρ−1 ρ−1 = 2ω

tanh ωr+1

2= 2

ω2r−1(√

1 + ω2r2+1 − 1)

dρ−1 = dr−1

cosh2 ωr−12

= 2ω2r2−1

(1− 1√

1+ω2r2−1

)dr−1

k=+1 FLRW time

t+1 t−1 = arctanh(cos(ωη+1)) = arctanh(sin(ωη′+1))

dt+1 = − dη+1

sin(ωη+1)=

dη′+1

cos(ωη′+1)

8

Page 9: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

η+1 η+1 = arccos(tanh(ωt+1)) = π2− η′+1

dη+1 = − dt+1

cosh(ωt+1= −dη′+1

η′+1 η′+1 = arcsin(tanh(ωt+1) = π2− η+1

dη′+1 = dt+1

cosh(ωt+1)= −dη′+1

k=0 FLRW time

t t = 1ω

ln(−ωη)

dt = − dηωη

η η = − 1ωe−ωt

dη = e−ωtdt

k=-1 FLRW time

t−1 t−1 = − arcsinh 1sinh(ωη−1)

dt−1 = − dη−1

sinh(ωη−1)

η−1 η−1 = − arccoth(cosh(ωt−1))

dη−1 = dt−1

sinh(ωt−1)

Note that there are many equivalent, but not so obvious ways to express t−1 and η−1.

9

Page 10: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Table 3: Proper comoving/ spatially flat FLRWchart

cartesian t, ~x spherical t, r, θ, φ

def.

Z0 =1

ωsinh(ωt) +

ω

2eωt|~x|2

Zi = eωtxi

Z4 =1

ωcosh(ωt)− ω

2eωt|~x|2

Z0 =1

ωsinh(ωt) +

ω

2eωtr2

Z1 = eωtr sin θ cosφ

Z2 = eωtr sin θ sinφ

Z3 = eωtr cos θ

Z4 =1

ωcosh(ωt)− ω

2eωtr2

Ranges of t ∈ (−∞,+∞) t ∈ (−∞,+∞)

coordinates ~x ∈ R3x r ∈ (0,+∞)

covers region Z0 + Z4 > 0 (half of the manifold)

Refs. [17, p.130] [4, rel. (2.1)]

[20, rel. (13-14)] [3, (A9)]

line elem. ds2 = dt2 − e2ωtd~x2 ds2 = dt2 − e2ωt(dr2 + r2dΩ22)

metric

g00 = 1

g0i = gi0 = 0

gij = e2ωtηijg00 = 1

g0i = gi0 = 0

gij = e−2ωtηij√|g| e3ωt

a tetrad

e0

0 = 1

e0i = ei0 = 0

eij = eωtδije0

0= 1

e0i

= ei0

= 0

eij

= e−ωtδij√|g| e3ωt

10

Page 11: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

1st type Christoffel

coeff. (9 non-null)

Γ0ii =ω

2eωt

Γii0 = Γi0i = −ω2eωt

2nd type Christoffel

coeff. (9 non-null)

Γ0ii = ωeωt

Γii0 = Γi0i =ω

2

Killing vectors

K04 =1

ω∂0 − xi∂i

K0i = −xi(∂0 − ωxj∂j)+

+1

2ω(1 + ω2~x2 + e−ωt)∂i

Ki4 = xi(∂0 − ωxj∂j)+

+1

2ω(1− ω2~x2 − e−ωt)∂i

K0i +Ki4 =1

ω∂i

Kij = xi∂j − xj∂i

Table 4: Conformal spatially flat FLRW chart

cartesian η, ~x spherical η, r, θ, φ

def.

Z0 = −1− ω2(η2 − ~x2)

2ω2η

Zi = − xi

ωη

Z4 = −1 + ω2(η2 − ~x2)

2ω2η

Z0 = −1− ω2(η2 − r2)

2ω2η

Z1 = −r sin θ cosφ

ωη

Z2 = −r sin θ sinφ

ωη

Z3 = −r cos θ

ωη

Z4 = −1 + ω2(η2 − r2)

2ω2η

Ranges of η ∈ (−∞, 0) η ∈ (−∞, 0)

coordinates ~x ∈ R3x r ∈ (0,+∞)

cover half of the manifold (same as spatially flat FLRW)

Extended η ∈ (−∞,+∞) η ∈ (−∞,+∞)

11

Page 12: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

coordinates ~x ∈ R3x r ∈ (0,+∞)

cover entire manifold, but not smoothly (with a singular surface)

Refs. [19, p.48] [45]

line elem. ds2 = 1ω2η2

(dη2 − d~x2) ds2 = 1ω2η2

(dη2 − dr2 − r2dΩ22)

metric gµν = 1ω2η2

ηµν

gµν = ω2η2ηµν√|g| 1

ω4η4

a tetrad eαµ = 1ωηδαµ

eµα = ωηδµα

1st type Christoffel

coeff. (10 non-null)

Γµ00 = − 1

ω2η3

Γii0 = Γi0i =1

ω2η3

2nd type Christoffel

coeff. (10 non-null)Γµ00 = Γii0 = Γi0i = −1

η

Killing vectors

K04 = −xµ∂µK0i = ωxi(x

ν∂ν)−

+1

(1− ω2(t2 − ~x2)

)∂i

Ki4 = −ωxi(xν∂ν)+

+1

(1 + ω(t2 − ~x2)

)∂i

K0i +Ki4 =1

ω∂i

K0i −Ki4 = 2ωxi(xν∂ν)−

− ω(t2 − ~x2)∂i

Kij = xi∂j − xj∂i

12

Page 13: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Table 5: k=+1 proper FLRW chart, standard co-ordinates

cartesian t+1, ~x+1 spherical t+1, r+1, θ, φ

def.

Z0 =1

ωsinh(ωt+1)

Zi =1

ω|~x+1|cosh(ωt+1) sin(ω|~x+1|)xi+1

Z4 =1

ωcosh(ωt+1) cos(ω|~x+1|)

Z0 =1

ωsinh(ωt+1)

Z1 =1

ωcosh(ωt+1) sin(ωr+1) sin θ cosφ

Z2 =1

ωcosh(ωt+1) sin(ωr+1) sin θ sinφ

Z3 =1

ωcosh(ωt+1) sin(ωr+1) cos θ

Z4 =1

ωcosh(ωt+1) cos(ωr+1)

Ranges of t+1 ∈ (−∞,+∞) t+1 ∈ (−∞,+∞)

coordinates |~x+1| ∈[0, π

ω

)r+1 ∈

[0, π

ω

)cover all the manifold

comoving

Refs. [19, p.42] [18, p.124]

[3, (16)] [20, (7,9)]

line elem. ds2 = dt2+1 − cosh2(ωt+1)(dr2+1 + sin2(ωr+1)

ω2 dΩ22)

metric

g00 = 1

g0i = gi0 = 0

gij =cosh2(ωt+1)

ω2~x2+1

[−x+1ix+1j

(ω2−

−sin2(ω|~x+1|)~x2

+1

)+ ηij sin2(ω|~x+1|)

]

g00 = 1

g0i = gi0 = 0

gij =ω2

cosh2(ωt+1) sin2(ω|~x+1|)[xi+1x

j+1(

ω2 − sin2(ω|~x+1|)~x2

+1

)+ ηij~x2

+1

]

13

Page 14: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

√|g| cosh3(ωt+1) sin2(ω|~x+1|)

ω3~x2+1

Killing vectors Kij = xi∂j − xj∂i

Table 6: k=+1 proper FLRW chart, alternate co-ordinates

cartesian t+1, ~x+1 spherical t+1, r+1, θ, φ

def.

Z0 =1

ωsinh(ωt+1)

Zi = cosh(ωt+1)xi+1

Z4 =1

ωcosh(ωt+1)

√1− ω2~x2

+1

Z0 =1

ωsinh(ωt+1)

Z1 = cosh(ωt+1)r+1 sin θ cosφ

Z2 = cosh(ωt+1)r+1 sin θ sinφ

Z3 = cosh(ωt+1)r+1 cos θ

Z4 =1

ωcosh(ωt+1)

√1− ω2r2

+1

Ranges of t+1 ∈ (−∞,+∞) t+1 ∈ (−∞,+∞)

coordinates |~x+1| ∈[0, 1

ω

)r+1 ∈

[0, 1

ω

)cover half of the manifold -corresponding to r+1 ∈

[0, π

)Refs. [14, rel. (4.1)]

line elem. ds2 = dt2+1 − cosh2(ωt+1)(

dr2+1

1−ω2r2+1− r2

+1dΩ22

)

metric

g00 = 1

g0i = gi0 = 0

gij = cosh2(ωt+1)

(ηij +

ω2xi+1xj+1

1− ω2~x2+1

)g00 = 1

g0i = gi0 = 0

gij = cosh2(ωt+1)(ηij + ωxi+1xj+1)√

|g| cosh3(ωt+1)√1−ω2~x2+1

14

Page 15: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Killing vectors

K04 =√

1− ω2~x2

(1

ω∂0+

+ tanh(ωt)xi∂i)

K0i = −xi∂0 −tanh(ωt)

ω∂i−

− ω tanh(ωt)xixj∂j

Ki4 =1

ω

√1− ω2~x2∂i

Kij = xi∂j − xj∂i

Table 7: k=+1 proper FLRW chart, isotropic co-ordinates

cartesian t+1, ~x+1 spherical t+1, ρ+1, θ, φ

def.

Z0 =1

ωsinh(ωt+1)

Zi = cosh(ωt+1)xi

+1

1 +ω2x2

+1

4

Z4 =1

ωcosh(ωt+1)

√√√√1− ω2x2+1

4

1 +ω2x2

+1

4

Z0 =1

ωsinh(ωt+1)

Z1 = cosh(ωt+1)ρ+1

1 +ω2ρ2+1

4

sin θ cosφ

Z2 = cosh(ωt+1)ρ+1

1 +ω2ρ2+1

4

sin θ sinφ

Z3 = cosh(ωt+1)ρ+1

1 +ω2ρ2+1

4

cos θ

Z4 =1

ωcosh(ωt+1)

√√√√1−ω2ρ2

+1

1 +ω2ρ2+1

4

Ranges of t+1 ∈ (−∞,+∞) t+1 ∈ (−∞,+∞)

coordinates ~x+1 ∈ R3 ρ+1 ∈ [0,∞)

cover all the manifold

speed of light is isotropic

Refs. [14, rel. (5.9)]

line elem. ds2 = dt2+1 −cosh2(ωt+1)

1+ω2x2+1

4

d~x2 ds2 = dt2+1 −cosh2(ωt+1)

1+ω2ρ2+1

4

(dρ2

+1 + ρ2+1dΩ2

2

)

15

Page 16: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

metric

g00 = 1

g0i = gi0 = 0

gij =cosh2(ωt+1)

1 +ω2x2

+1

4

ηijg00 = 1

g0i = gi0 = 0

gij =1 +

ω2x2+1

4

cosh2(ωt+1)ηij√

|g| cosh3(ωt+1)(1+

ω2x2+14

)3

Killing vectorsKi4 =

1

ω

(1− ω2~x2

4

)∂i +

ωxi2

(xj∂j)

Kij = xi∂j − xj∂i

Table 8: k=+1 conformal FLRW chart, standardcoordinates

cartesian η+1, ~x+1 spherical η+1, r+1, θ, φ

def.

Z0 =1

ω tan(ωη+1)

Zi =1

ω|~x+1| sin(ωη+1)sin(ω|~x+1|)xi+1

Z4 =1

ω sin(ωη+1)cos(ω|~x+1|)

Z0 =1

ω tan(ωη+1)

Z1 =1

ω sin(ωη+1)sin(ωr+1) sin θ cosφ

Z2 =1

ω sin(ωη+1)sin(ωr+1) sin θ sinφ

Z3 =1

ω sin(ωη+1)sin(ωr+1) cos θ

Z4 =1

ω sin(ωη+1)cos(ωr+1)

Ranges of η+1 ∈[0, π

ω

)η+1 ∈

[0, π

ω

)coordinates |~x+1| ∈

[0, π

ω

)r+1 ∈

[0, π

ω

)cover all the manifold

conformal comoving

Refs. [19, p.43] [17, p.134]

16

Page 17: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

[23][24]

line elem. ds2 = 1sin2(ωη+1)

(dη2+1 − dr2

+1 −sin2(ωr+1)

ω2 dΩ22)

metric

g00 =1

sin2(ωη+1)

g0i = gi0 = 0

gij =1

ω2 sin2(ωη+1)~x2+1

[−x+1ix+1j

(ω2−

−sin2(ω|~x+1|)~x2

+1

)+ ηij sin2(ω|~x+1|)

]

g00 = sin2(ωη+1)

g0i = gi0 = 0

gij =ω2 sin2(ωη+1)

sin2(ω|~x+1|)[xi+1x

j+1(

ω2 − sin2(ω|~x+1|)~x2

+1

)+ ηij~x2

+1

]√|g| sin2(ω|~x+1|)

ω3 sin4(ωt+1)~x2+1

Killing vectors Kij = xi∂j − xj∂i

Table 9: k=+1 conformal FLRW chart, standardalternate coordinates

cartesian η′+1, ~x+1 spherical η′+1, r+1, θ, φ

def.

Z0 =1

ωtan(ωη′+1)

Zi =1

ω|~x+1| cos(ωη′+1)sin(ω|~x+1|)xi+1

Z4 =1

ω cos(ωη′+1)cos(ω|~x+1|)

Z0 =1

ωtan(ωη′+1)

Z1 =1

ω cos(ωη′+1)sin(ωr+1) sin θ cosφ

Z2 =1

ω cos(ωη′+1)sin(ωr+1) sin θ sinφ

Z3 =1

ω cos(ωη′+1)sin(ωr+1) cos θ

Z4 =1

ω cos(ωη′+1)cos(ωr+1)

Ranges of η′+1 ∈[− π

2ω, π

)η′+1 ∈

[− π

2ω, π

)17

Page 18: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

coordinates |~x+1| ∈[0, π

ω

)r+1 ∈

[0, π

ω

)cover all the manifold

conformal comoving

Refs. [14, rel. (5.16)]

[18, p.126, cos instead of cosh in metric]

line elem. ds2 = 1cos2(ωη′+1)

(dη′2+1 − dr2+1 −

sin2(ωr+1)ω2 dΩ2

2)

metric

g00 =1

cos2(ωη′+1)

g0i = gi0 = 0

gij =1

ω2 cos2(ωη′+1)~x2+1

[−x+1ix+1j

(ω2−

−sin2(ω|~x+1|)~x2

+1

)+ ηij sin2(ω|~x+1|)

]

g00 = cos2(ωη′+1)

g0i = gi0 = 0

gij =ω2 cos2(ωη′+1)

sin2(ω|~x+1|)[xi+1x

j+1(

ω2 − sin2(ω|~x+1|)~x2

+1

)+ ηij~x2

+1

]√|g| sin2(ω|~x+1|)

ω3 sin4(ωt+1)~x2+1

Killing vectors Kij = xi∂j − xj∂i

Table 10: k=+1 conformal FLRW chart, alternatestandard coordinates

cartesian η′+1, ~x′+1 spherical η′+1, r

′+1, θ, φ

18

Page 19: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

def.

Z0 =1

ωtan(ωη′+1)

Zi =1

ω|~x+1| cos(ωη′+1)cos(ω|~x′+1|)x′i+1

Z4 =1

ω cos(ωη′+1)sin(ω|~x′+1|)

Z0 =1

ωtan(ωη′+1)

Z1 =1

ω cos(ωη′+1)cos(ωr′+1) sin θ cosφ

Z2 =1

ω cos(ωη′+1)cos(ωr′+1) sin θ sinφ

Z3 =1

ω cos(ωη′+1)cos(ωr′+1) cos θ

Z4 =1

ω cos(ωη′+1)sin(ωr′+1)

Ranges of η′+1 ∈[− π

2ω, π

)η′+1 ∈

[− π

2ω, π

)coordinates |~x′+1| ∈

[− π

2ω, π

)r+1 ∈

[− π

2ω, π

)cover all the manifold

conformal comoving

Refs. [14, rel. (3.18)]

line elem. ds2 = 1cos2(ωη′+1)

(dη′2+1 − dr′2+1 −cos2(ωr′+1)

ω2 dΩ22)

19

Page 20: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Table 11: k=-1 proper FLRW chart, standard co-ordinates

cartesian t−1, ~x−1 spherical t−1, r−1, θ, φ

def.

Z0 =1

ωsinh(ωt−1) cosh(ω|~x−1|)

Zi =1

ω|~x+1|sinh(ωt−1) sinh(ω|~x+1|)xi−1

Z4 =1

ωcosh(ωt−1)

Z0 =1

ωsinh(ωt−1) cosh(ωr−1)

Z1 =1

ωsinh(ωt−1) sinh(ωr−1) sin θ cosφ

Z2 =1

ωsinh(ωt−1) sinh(ωr−1) sin θ sinφ

Z3 =1

ωsinh(ωt−1) sinh(ωr−1) cos θ

Z4 =1

ωcosh(ωt−1)

Ranges of t−1 ∈ (−∞,+∞) t−1 ∈ (−∞,+∞)

coordinates |~x−1| ∈ [0,∞) r−1 ∈ [0,∞)

comoving

Refs. [19, p.50]

[3, (A6,A7)] [20, (25,26)]

line elem. ds2 = dt2−1 − sinh2(ωt−1)(dr2−1 + sinh2(ωr−1)

ω2 dΩ22)√

|g| sinh3(ωt−1) sinh2(ω|~x−1|)ω3~x2−1

Table 12: k=-1 proper FLRW chart, alternate co-ordinates

cartesian t−1, ~x−1 spherical t−1, r−1, θ, φ

def.

Z0 =

√1 + ω2r2

−1

ωsinh(ωt−1)

Zi = sinh(ωt−1)xi−1

Z4 =1

ωcosh(ωt−1)

Z0 =

√1 + ω2r2

−1

ωsinh(ωt−1)

Z1 = sinh(ωt−1)r−1 sin θ cosφ

Z2 = sinh(ωt−1)r−1 sin θ sinφ

Z3 = sinh(ωt−1)r−1 cos θ

Z4 =1

ωcosh(ωt−1)

20

Page 21: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Ranges of t−1 ∈ (−∞,+∞) t−1 ∈ (−∞,+∞)

coordinates |~x−1| ∈ [0,∞) r−1 ∈ [0,∞)

Refs. [14, rel. (4.3)]

line elem. ds2 = dt2−1 − sinh2(ωt−1)(

dr2−1

1+ω2r2−1− r2

−1dΩ22

)√|g| sinh3(ωt−1)√

1+ω2~x2−1

Killing vectors

K04 =√

1 + ω2~x2

(1

ω∂0+

+ coth(ωt)xi∂i)

K0i =1

ω

√1 + ω2~x2∂i

Ki4 = xi∂0 −coth(ωt)

ω∂i+

+ ω coth(ωt)xixj∂j

Kij = xi∂j − xj∂i

Table 13: k=-1 proper FLRW chart, isotropic co-ordinates

cartesian t−1, ~x−1 spherical t−1, ρ−1, θ, φ

def.

Z0 =1

ωcosh(ωt−1)

√√√√1 +ω2x2

−1

4

1− ω2x2−1

4

Zi = sinh(ωt−1)xi−1

1− ω2x2−1

4

Z4 =1

ωcosh(ωt−1)

Z0 =1

ωcosh(ωt−1)

√√√√1 +ω2ρ2

−1

1− ω2ρ2−1

4

Z1 = sinh(ωt−1)ρ−1

1− ω2ρ2−1

4

sin θ cosφ

Z2 = sinh(ωt−1)ρ−1

1− ω2ρ2−1

4

sin θ sinφ

Z3 = sinh(ωt−1)ρ−1

1− ω2ρ2−1

4

cos θ

Z4 =1

ωcosh(ωt−1)

Ranges of t−1 ∈ (−∞,+∞) t−1 ∈ (−∞,+∞)

coordinates ~x−1 ∈ R3 ρ−1 ∈ [0,∞)

21

Page 22: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

speed of light is isotropic

Refs. [14, rel. (5.9)]

line elem. ds2 = dt2−1 −sinh2(ωt−1)

1−ω2x2−1

4

d~x2 ds2 = dt2−1 −sinh2(ωt−1)

1−ω2ρ2−1

4

(dρ2−1 + ρ2

−1dΩ22

)

metric

g00 = 1

g0i = gi0 = 0

gij =sinh2(ωt−1)

1− ω2x2−1

4

ηijg00 = 1

g0i = gi0 = 0

gij =1− ω2x2

−1

4

sinh2(ωt−1)ηij√

|g| sinh3(ωt−1)(1−

ω2x2−14

)3

Table 14: k=-1 conformal FLRW chart, standardcoordinates

cartesian η−1, ~x−1 spherical η−1, r−1, θ, φ

def.

Z0 = − 1

ω sinh(ωη−1)cosh(ω|~x−1|)

Zi = − 1

ω|~x+1| sinh(ωη−1)sinh(ω|~x+1|)xi−1

Z4 = − 1

ω tanh(ωt−1)

Z0 = − 1

ω cosh(ωη−1)cosh(ωr−1)

Z1 = − 1

ω cosh(ωη−1)sinh(ωr−1) sin θ cosφ

Z2 = − 1

ω cosh(ωη−1)sinh(ωr−1) sin θ sinφ

Z3 = − 1

ω cosh(ωη−1)sinh(ωr−1) cos θ

Z4 = − 1

ω tanh(ωη−1)

Ranges of η−1 ∈ (−∞, 0) η−1 ∈ (−∞, 0)

coordinates |~x−1| ∈ [0,∞) r−1 ∈ [0,∞)

comoving

22

Page 23: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Refs. [16, rel. (4.9)] [14, rel. (5.18)]

line elem. ds2 = 1sinh2(ωη−1)

(dη2−1 − dr2

−1−

− sinh2(ωr−1)ω2 dΩ2

2)√|g| sinh2(ω|~x−1|)

ω3 sinh3(ωη−1)~x2−1

23

Page 24: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Table 15: Overview- standard proper FLRW charts

× line element: ds2 = dt2k − a2(tk)(dr2k + f 2(rk)dΩ2

2)

spatial curvature k = +1 k = 0 k = −1

name closed spatially flat open

introduced: Lanczos, 1922 [40] Lemaitre, 1925 [41] Robertson, 1933 [39]

studied: Robertson, 1928 [38]

slices of const tk spheres planes hyperboloids

scale factor a(tk) cosh(ωt+1) eωt sinh(ωt−1)

f(rk)sin(ωr+1)

ωr sinh(ωr−1)

ω

Z0 = 1ω

sinh(ωt+1) Z0 = 1ω

sinh(ωt) + ω2eωtr2 Z0 = 1

ωsinh(ωt−1) cosh(ωr−1)

Z1 = 1ω

cosh(ωt+1) sin(ωr+1) sin θ cosφ Z1 = eωtr sin θ cosφ Z3 = 1ω

sinh(ωt−1) sinh(ωr−1) sin θ sinφ

Z2 = 1ω

cosh(ωt+1) sin(ωr+1) sin θ sinφ Z2 = eωtr sin θ sinφ Z2 = 1ω

sinh(ωt−1) sinh(ωr−1) sin θ cosφ

Z3 = 1ω

cosh(ωt+1) sin(ωr+1) cos θ Z3 = eωtr cos θ Z1 = 1ω

sinh(ωt−1) sinh(ωr−1) cos θ

Z4 = 1ω

cosh(ωt+1) cos(ωr+1) Z4 = 1ω

cosh(ωt)− ω2eωtr2 Z4 = 1

ωcosh(ωt−1)

line element ds2 = dt2+1 − cosh2(ωt+1) ds2 = dt2 − e2ωt ds2 = dt2+1 − sinh2(ωt−1)

(dr2+1 + sin2(ωr+1)

ω2 dΩ22) (dr2 + r2dΩ2

2) (dr2−1 + sinh2(ωr−1)

ω2 dΩ22)

time range t+1 ∈ (−∞,+∞) t ∈ (−∞,+∞) t−1 ∈ (−∞,+∞)

radius range r+1 ∈[0, π

ω

)r ∈ [0,+∞) r−1 ∈ [0,+∞)

cover all dS half of dS (Z0 + Z4 > 0) a quarter

Table 16: Overview- standard conformal FLRWcharts

× line element: ds2 = Ω2(ηk)(dη2k − dr2

k − f 2(rk)dΩ22) [18, p.139]

conformal time tan ωη+1

2= eωt+1 η = − 1

ωe−ωt coth ωη−1

2= −eωt−1

ηk(tk) =∫

dtka(tk)

sin(ωη+1) = sech(ωt+1) † eωη−1 = tanh ωt−1

2

24

Page 25: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

conformal ds2 = 1sin2 η+1

(dη2+1− ds2 = 1

ω2η2(dη2− ds2 = 1

sinh2 η−1(dη2−1−

line element −dr2+1 −

sin2 r+1

ω2 dΩ22) −dr2 − r2dΩ2

2) −dr2−1 −

sinh2 r−1

ω2 dΩ22)

chart is part of Einstein part of Minkowski part of Open

conformal to Static Universe spacetime Einstein Universe

with conf. factor 1ω sin η+1

1ωη0

1ω sinh η−1

range η+1 ∈(0, π

ω

)η ∈ (−∞, 0) η−1 ∈ (−∞, 0)

cover entire manifold half of the manifold

extended range − η ∈ (−∞,+∞)

cover (not smoothly) − entire manifold

25

Page 26: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

3 Static charts

Table 17: Static radial coordinates on de Sitterspacetime

rs rs = rs√1+ω2r2s

= 1ω

sin(ωrF ) = 1ω

tanh(ωr∗) = ρs

1+ω2ρ2s

4

drs = drs

(√

1+ω2r2s)32

= cos(ωrF )drF = dr∗

cosh(ωr∗)= 4

1−ω2ρ2s4

1+ω2ρ2s

4

dρs

rs rs = rs√1−ω2r2s

= 1ω

tan(ωrF ) = 1ω

sinh(ωr∗) = ρs

1−ω2ρ2s4

drs = drs

(√

1−ω2r2s)32

= drFcos(ωrF )

= cosh(ωr∗)dr∗ = −41+

ω2ρ2s4

1−ω2ρ2s4

dρs

rF rF = 1ω

arcsin(ωrs) = 1ω

arcsin ωrs√1+ω2r2s

= 1ω

arcsin(tanh(ωr∗)) = 1ω

arcsin ωρs

1+ω2ρ2s

4

drF = drs√1−ω2r2s

= drs1+ω2r2s

= dr∗

cosh(ωr∗)= − dρs

1+ω2ρ2s

4

r∗ r∗ = 1ω

arctanh(ωrs) = 1ω

arctanh ωrs√1+ω2r2s

= 1ω

arctanh(sin(ωr∗)) = 1ω

arctanh ωρs

1+ω2ρ2s

4

dr∗ = drs1−ω2r2s

= drs√1+ω2r2s

= drFcos(ωrF )

= dρs

1−ω2ρ2s4

ρs ρs = 2ω2rs

(1−√

1− ω2r2s) = 2

ω2rs(√

1 + ω2r2s − 1) = 2

ωtan ωrF

2= 2

ωtanh ωr∗

2

dρs = 2drsω2r2s

(1√

1−ω2r2s− 1

)= 2drs

ω2r2s

(√1− 1

ω2r2s

)= drF

cos2(ωrF )= dr∗

cosh2(ωr∗)

Table 18: Static chart

Introduced: Eddington, 1922 [37]

cartesian ts, ~xs spherical ts, rs, θ, φ

def.

Z0 =

√1− ω2~x2

s

ωsinh(ωts)

Zi = xis

Z4 =

√1− ω2~x2

s

ωcosh(ωts)

Z0 =

√1− ω2r2

s

ωsinh(ωts)

Z1 = rs sin θ cosφ

Z2 = rs sin θ sinφ

Z3 = rs cos θ

Z4 =

√1− ω2r2

s

ωcosh(ωts)

26

Page 27: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Ranges of ts ∈ (−∞,+∞) ts ∈ (−∞,+∞)

coordinates |~xs| ∈[0, 1

ω

)rs ∈

[0, 1

ω

)cover region Z0 + Z1 > 0 (half of the manifold)

has coordinate singularity at |~xs| = rs = 1ω

(event horizon for the observer at the origin)

generator of t is a Killing vector

Refs. [4, rel. (2.5)]

[20, (15-16)]

line elem. ds2 = (1− ω2~x2s)dt

2s −

ω2(~xsd~xs)2

1−ω2~x2s− d~xs2 ds2 = (1− ω2r2

s)dt2s −

dr2s1−ω2r2s

− r2sdΩ2

2

metric

g00 = 1− ω2~x2

s

g0i = gi0 = 0

gij = ηij −ω2xsixsj1− ω2~x2

sg00 =

1

1− ω2~x2s

g0i = gi0 = 0

gij = ηij + ωxisxjs√

|g| 1

a tetrad

e0

0 =√

1− ω2~x2s

e0i = ei0 = 0

eij = δij −xisxsj~x2

(√1− ω2~x2

s − 1)

e00

=1√

1− ω2~x2s

e0i

= ei0

= 0

eij

= δij −xisxsj~x2

(1√

1− ω2~x2s

− 1

)

27

Page 28: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

1st type Christoffel

coeff. (36 non-null)

Γ00i = Γ0i0 = −ω2xisΓ0ii = ω2xis

Γijk = − ω2xisxjsxks

(1− ω2~x2s)

2− ωxis

1− ω2~x2s

δjk

2nd type Christoffel

coeff. (36 non-null)

Γ00i = Γ0

i0 = − ω2xis1− ω2~x2

s

Γ0ii = −ω2xis(1− ω2~x2

s)

Γijk =ω2xisx

jsxks

1− ω2~x2s

+ ωxisδjk

Killing vectors

K04 =1

ω∂0

K0i = −xi cosh(ωt)√1− ω2~x2

s

∂0+

+sinh(ωt)

√1− ω2~x2

s

ω∂i

Ki4 = − xi sinh(ωt)√1− ω2~x2

s

∂0−

−cosh(ωt)

√1− ω2~x2

s

ω∂i

K0i +Ki4 = − xieωt√

1− ω2~x2s

∂0−

−eωt√

1− ω2~x2s

ω∂i

K0i −Ki4 = − xie−ωt√

1− ω2~x2s

∂0+

+eωt√

1− ω2~x2s

ω∂i

Kij = xi∂j − xj∂i

Table 19: Alternate de Sitter static chart

Introduced: de Sitter, 1917 [42] [43]

cartesian ts, ~xs spherical ts, rs, θ, φ

28

Page 29: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

def.

Z0 =1

ω√

1 + ω2~x2s

cosh(ωts)

Zi =xis√

1 + ω2~x2s

Z4 =1

ω√

1 + ω2~x2s

sinh(ωts)

Z0 =1

ω√

1 + ω2~r2s

cosh(ωts)

Z1 =rs√

1 + ω2~r2s

sin θ cosφ

Z2 =rs√

1 + ω2~r2s

sin θ sinφ

Z3 =rs√

1 + ω2~r2s

cos θ

Z4 =1

ω√

1 + ω2~r2s

sinh(ωts)

Ranges of ts ∈ (−∞,+∞) ts ∈ (−∞,+∞)

coordinates |~xs| ∈[0, 1

ω

)rs ∈ [0, 1

ω)

covers (same as the static chart)

Refs. [13, rel. (2.7)]

metric ds2 = 11+ω2r2s

(dt2−

− dr2

1+ω2r2s− r2

sdΩ22)√

|g|√

1−ω2~x2

(1+ω2~x2)3

Table 20: Fermi (original de Sitter static) chart

Introduced: de Sitter, 1917 [42] [43]

cartesian ts, ~xF spherical ts, rF , θ, φ

def.

Z0 =cos(ω|~xF |)

ωsinh(ωts)

Zi =sin(ω|~xF |)ω|~xF |

xiF

Z4 =cos(ω|~xF |)

ωcosh(ωts)

Z0 =cos(ωrF )

ωsinh(ωts)

Z1 =sin(ωrF )

ωsin θ cosφ

Z2 =sin(ωrF )

ωsin θ sinφ

Z3 =sin(ωrF )

ωcos θ

Z4 =cos(ωrF )

ωcosh(ωts)

29

Page 30: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Ranges of ts ∈ (−∞,+∞) ts ∈ (−∞,+∞)

coordinates |~xF | ∈[0, π

)rF ∈

[0, π

)covers (same as the static chart)

Refs. [5, rel. (25,28,29)] [5, rel. (31)] [14, rel. (1.1)] [13, rel. (2.5)]

metric ds2 = cos2(ω|~xF |)−(xFixFj~x2F

+ ds2 = cos2(ωrF )dt2s − dr2F

+ sin2(ω|~xF |)ω2|~xF |

(δij − xFixFj~x2F

))dxiFdx

jF − sin2(ωrF )

ω2 dΩ22√

|g| sin2(ω|~x|) cos(ω|~x|)ω2~x2

Table 21: Tortoise (Regge- Wheeler static) chart

cartesian ts, ~x∗ spherical ts, r∗, θ, φ

def.

Z0 =1

ω cosh(ω|~x∗|)cosh(ωts)

Zi =tanh(ω|~x∗|)

ω|~x∗|x∗i

Z4 =1

ω cosh(ω|~x∗|)ω sinh(ωts)

Z0 =1

ω cosh(ωr∗)cosh(ωts)

Z1 =tanh(ωr∗)

ωr∗sin θ cosφ

Z2 =tanh(ωr∗)

ωr∗sin θ sinφ

Z3 =tanh(ωr∗)

ωr∗cos θ

Z4 =1

ω cosh(ωr∗)sinh(ωts)

Ranges of ts ∈ (−∞,+∞) ts ∈ (−∞,+∞)

coordinates ~x∗ ∈ R3− r∗ ∈ (−∞, 0)

covers (same as the static chart)

Refs. [1, rel. (18)]

metric ds2 = 1cosh2(ωr∗)

(dt2s − dr∗2−

− sinh2(ωr∗)ω2 dΩ2

2)

Table 22: Static chart, isotropic coordinates

30

Page 31: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

cartesian ts, ~xs spherical ts, ρs, θ, φ

def.

Z0 =1− ω2~x2

s

4

1 + ω2~x2s

4

sinh(ωts)

Zi =~xis

1 + ω2~x2s

4

Z4 =1− ω2~x2

s

4

1 + ω2~x2s

4

cosh(ωts)

Z0 =1− ω2ρ2s

4

1 + ω2ρ2s4

sinh(ωts)

Z1 =ρs

1 + ω2ρ2s4

sin θ cosφ

Z2 =ρs

1 + ω2ρ2s4

sin θ sinφ

Z3 =ρs

1 + ω2ρ2s4

cos θ

Z4 =1− ω2ρ2s

4

1 + ω2ρ2s4

cosh(ωts)

Ranges of ts ∈ (−∞,+∞) ts ∈ (−∞,+∞)

coordinates |~xs| ∈[0, 2

ω

)ρs ∈

[0, 2

ω

)covers (same as the static chart)

Refs. [14, rel. (5.10-11)]

line elem. ds2 = 1(1+

ω2ρ2s4

)2

[(1− ω2ρ2s

4

)2

dt2s−

−dρ2s − ρ2

sdΩ22]

31

Page 32: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

4 ’Natural’ charts

Table 23: Minkowskian chart

cartesian tM , ~xs spherical tM , rs, θ, φ

def.

Z0 = tM

Zi = xis

Z4 =1

ω

√1 + ω2(t2M − ~x2

s)

Z0 = tM

Z1 = rs sin θ cosφ

Z2 = rs sin θ sinφ

Z3 = rs cos θ

Z4 =1

ω

√1 + ω2(t2M − r2

s)

cover half of the manifold [28]

Refs. [33, sec. 2.2]

line elem. ds2 = 11+ω2(t2M−r2s)

((1− ω2r2

s)dt2M+

+2ω2tMrsdtMdrs − (1 + ωt2M)dr2s

)− r2

sdΩ22

gµν = ηµν − ω2xsµxsν1+ω2(t2M−~x2s)

gµν = ηµν + ω2xµsxνs√

|g| (1− ω2(t2M − ~x2s))− 1

2

a tetrad

eαµ = δαµ +

1

t2M − ~x2s

·

·(√

1 + ω2(t2M − ~x2s)− 1

)ηµθx

θMx

αM

eµα = δµα +1

t2M − ~x2s

·

·

(1√

1 + ω2(t2M − ~x2s)− 1

)ηαθx

θMx

µM

Killing vectorsKµ4 =

1

ω

√1 + ω2(t2 − ~x2)∂µ

Kµν = xµ∂ν − xν∂µ

32

Page 33: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Table 24: Beltrami chart

cartesian tB, ~xB spherical tB, rB, θ, φ

def.

Z0 =tB√

1− ω2(t2B − ~x2B)

Zi =xiB√

1− ω2(t2B − ~x2B)

Z4 =1

ω√

1− ω2(t2B − ~x2B)

Z0 =tB√

1− ω2(t2B − r2B)

Z1 =rB sin θ cosφ√1− ω2(t2B − r2

B)

Z2 =rB sin θ sinφ√

1− ω2(t2B − r2B)

Z3 =rB cos θ√

1− ω2(t2B − r2B)

Z4 =1

ω√

1− ω2(t2B − r2B)

cover 1/8 of the manifold [6]

Refs. [44] [6] [27] [33, sec. 2.4]

gµν =(1−ω2(t2B−~x

2B))ηµν+ω2xBµxBν

(1−ω2(t2B−~x2B))

2

gµν = (1− ω2(t2B − ~x2B)) (ηµν − ω2xµBx

νB)√

|g| (1− ω2(t2B − ~x2B))−

52

a tetrad

eαµ =

(1− ω2(t2B − ~x2

B)) [δαµ +

1

t2B − ~x2B

·

·(√

1 + ω2(t2B − ~x2B)− 1

)ηµθx

θBx

αB

]eµα =

1

1− ω2(t2B − ~x2B)

[δµα +

1

t2B − ~x2B

·

·

(1√

1 + ω2(t2B − ~x2B)− 1

)ηαθx

θBx

µB

]

Killing vectorsKµ4 =

1

ω∂µ − ωxµ(xν∂ν)

Kµν = xµ∂ν − xν∂µ

33

Page 34: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Table 25: Stereographic (conformally Minkowski)chart

cartesian tst, ~xst spherical t, rst, θ, φ

def.

Z0 =tst

1− ω2(t2st−~x2st)4

Zi =xist

1− ω2(t2st−~x2st)4

Z4 =1

ω

(1− 2

1− ω2(t2st−~x2st)4

)

Z0 =tst

1− ω2(t2st−~x2st)4

Z1 =rst sin θ cosφ

1− ω2(t2st−r2st)4

Z2 =rst sin θ sinφ

1− ω2(t2st−r2st)4

Z3 =rst cos θ

1− ω2(t2st−r2st)4

Z4 =1

ω

(1− 2

1− ω2(t2st−r2st)4

)cover 3/4 of the manifold

has cosmological horizon at |~xst| = rst = 2ω

Refs. [33, sec. 2.3] [15, sec. A4]

[35] [36]

gµν = ηµν

1−ω2(t2st−~x

2st)

4

gµν =(

1− ω2(t2st−~x2st)4

)ηµν√

|g|(

1− ω2(t2st−~x2st)4

)−4

a tetrad

eαµ =

√1− ω2(t2st − ~x2

st)

4δαµ

eµα =1√

1− ω2(t2st−~x2st)4

δµα

Killing vectors

Kµ4 = − 1

ω

(1− ω2(t2st − ~x2

st)

4

)∂µ+

2xµ(xν∂ν)

Kµν = xµ∂ν − xν∂µ

34

Page 35: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

5 ’Hybrid’ charts

Table 26: de Sitter-Painleve chart

cartesian t, ~xs spherical t, rs, θ, φ

def.

Z0 =1

ωsinh(ωt) +

ω~x2se−ωt

2Zi = xsi

Z4 =1

ωcosh(ωt)− ω~x2

se−ωt

2

Z0 =1

ωsinh(ωt) +

ωr2se−ωt

2Z1 = rs sin θ cosφ

Z2 = rs sin θ sinφ

Z3 = rs cos θ

Z4 =1

ωcosh(ωt)− ωr2

se−ωt

2

cover half of the manifold (same as spatially flat FLRW)

constant time slices are euclidean spaces

generator of t is a Killing vector

Refs. [4, rel. (2.3)]

[2, rel. (4)]

line elem. ds2 = (1− ω2~x2s)dt

2+ ds2 = (1− ω2r2s)dt

2+

+2ω~xsd~xsdt− d~x2s +2ωrsdrsdt− dr2

s − r2sdΩ2

2

metric

g00 = 1− ω2~x2

s

g0i = gi0 = ωxisgij = ηijg00 = 1

g0i = gi0 = ωxisgij = ηij + ωxisx

js√

|g| 1

1st type Christoffel

coeff. (12 non-null)

Γ0ii = ω

Γ0i0 = Γ00i = −ω2xisΓi00 = ω2xis

35

Page 36: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

2nd type Christoffel

coeff. (40 non-null)

Γ000 = ω2~x2

s

Γ00i = Γ0

i0 = −ω2xisΓ0ii = ω

Γi00 = −ω2xis(1− ω2~x2s)

Γi0j = Γij0 = −ω3xisxjs

Γijj = ω2xis

Killing vectors

K04 =1

ω∂0

K0i = −xie−ωt∂0 +

(sinh(ωt)

ω+

+ωe−ωt~x2

2

)∂i

Ki4 = xie−ωt∂0 +

(cosh(ωt)

ω−

− ωe−ωt~x2

2

)∂i

K0i +Ki4 =eωt

ω∂i

K0i −Ki4 = −2e−ωtxi∂0−

− eωt

ω(1− ω2~x2)∂i

Kij = xi∂j − xj∂i

36

Page 37: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

6 Anisotropic charts

Table 27: Coordinates for Kantowski-Sachs andBianchi III charts

ts = rKS ts = 12ω

ln∣∣∣ sinh(ωrKS)+tanh(ωtB3) cosh Θ

sinh(ωrKS)−tanh(ωtB3) cosh Θ

∣∣∣sinh(ωtKS) = 1

sinh(ωtKS)tanh(ωtB3) = sin(ωtB3)

rs = 1ω

cosh(ωtKS) = 1ω

coth(ωtKS) rs =√

sinh2(ωtB3) sinh2 Θ + cosh2(ωtB3) cos(ωrB3)

tan θ = sinh(ωtB3) sinh Θcos(ωrB3)

[14, p. 150]

Table 28: Kantowski-Sachs charts

tKS, rKS, θ, φ alternate tKS, rKS, θ, φ

def.

Z0 =1

ωsinh(ωtKS) cosh(ωrKS)

Z1 =1

ωcosh(ωtKS) sin θ cosφ

Z2 =1

ωcosh(ωtKS) sin θ sinφ

Z3 =1

ωcosh(ωtKS) cos θ

Z4 =1

ωsinh(ωtKS) sinh(ωrKS)

Z0 =1

ω sinh(ωtKS)cosh(ωrKS)

Z1 =1

ωcoth(ωtKS) sin θ cosφ

Z2 =1

ωcoth(ωtKS) sin θ sinφ

Z3 =1

ωcoth(ωtKS) cos θ

Z4 =1

ω sinh(ωtKS)sinh(ωrKS)

cover describe the part of the static de Sitter chart on the other

side of the cosmological horizon at rKS = 1ω

Refs. [14, p. 149] [19, p. 53] [10] [9] [14, p. 149]

line elem. ds2 = dt2KS − sinh2(ωtKS)dr2KS− ds2 = 1

sinh2(ωtKS)(dt2KS+

− cosh2(ωtKS)ω2 dΩ2

2 +dr2KS −

cosh2(ωtKS)ω2 dΩ2

2)√|g| cosh2(ωtKS) sinh(ωtKS) sin θ

ω3

cosh2(ωtKS) sin θ

ω3 sinh3(ωtKS)

37

Page 38: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Table 29: Bianchi III dS charts

tB3, rB3,Θ, φ alternate tB3, rB3,Θ, φ

def.

Z0 =1

ωsinh(ωtB3) cosh Θ

Z1 =1

ωsinh(ωtB3) sinh Θ cosφ

Z2 =1

ωsinh(ωtB3) sinh Θ sinφ

Z3 =1

ωcosh(ωtB3) cos(ωrB3)

Z4 =1

ωcosh(ωtB3) sin(ωrB3)

Z0 =1

ωtan(ωtB3) cosh Θ

Z1 =1

ωtan(ωtB3) sinh Θ cosφ

Z2 =1

ωtan(ωtB3) sinh Θ sinφ

Z3 =1

ω cos(ωtB3)cos(ωrB3)

Z4 =1

ω cos(ωtB3)sin(ωrB3)

Refs. [14, p. 150] [19, p. 53] [11] [14, p. 150]

line elem. ds2 = dt2B3 − cosh2(ωtB3)dr2B3− ds2 = 1

cos(ωtB3)(dt2B3−

− sinh2(ωtB3)ω2 dH2

2 −dr2B3 −

sin2(ωtB3)ω2 dH2

2 )√|g| cosh(ωtB3) sinh2(ωtB3) sinh Θ

ω3

sin2(ωtB3) sinh Θω3 cos3(ωtB3)

38

Page 39: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Table 30: Coordinates for conformally Rindler dSchart

ξ =

√1−ω2r2s

ω(1−ωrs cos θ)r = 1

ω1+ω2(−ξ2+y2+z2)1+ω2(ξ2+y2+z2)

y = rs1−ωrs cos θ

sin θ cosφ θ = arctan2ω√y2+z2

1−ω2(ξ2+y2+z2)

z = rs1−ωrs cos θ

sin θ sinφ φ = arctan zy

sin θ =2ω√y2+z2

1+ω2(−ξ2+y2+z2)cos θ = 1−ω2(ξ2+y2+z2)

1+ω2(−ξ2+y2+z2)

sinφ = z√y2+z2

cosφ = y√y2+z2

Table 31: Conformally Rindler dS chart

cartesian ts, ξ, y, z

def.

Z0 =2ξ

1 + ω2(ξ2 + y2 + z2)sinh(ωts)

Z1 =2y

1 + ω2(ξ2 + y2 + z2)

Z2 =2z

1 + ω2(ξ2 + y2 + z2)

Z3 =1− ω2(ξ2 + y2 + z2)

1 + ω2(ξ2 + y2 + z2)

Z4 =2ξ

1 + ω2(ξ2 + y2 + z2)cosh(ωts)

Refs. [17, p. 187] [7]

line elem. ds2 = 41+ω2(ξ2+y2+z2)

(ω2ξ2dt2s − dξ2 − dy2 − dz2)√|g| 16ωξ

(1+ω2(ξ2+y2+z2))4

39

Page 40: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

7 Charts with null coordinates

Table 32: Other coordinates on de Sitter spacetime

Coordinate Symbol Relations References

Static time ts ts = u+v2

-

[1, 20, t] [14, T ] ts = 1ω

arctanh VU

[1, from (7)]

Static coordinate rs rs = 1ω

1−ω2(U2+V 2)

1+ω2(U2−V 2)[1, from (6)]

rs = 1ω

1+ω2UV1−ω2UV

[20, rel. (23)]

Tortoise coordinate r∗ r∗ = v−u2

-

Outgoing (retarded) null u u = ts − r∗ [1, rel. (19)]

(lightcone) Eddington- [14] u = ts − 12ω

ln 1+ωrs1−ωrs [20, rel. (20)]

Finkelstein coordinates [20, x−] [1, U ] u = 1ω

ln(ωU) [20, rel. (22a)]

Ingoing (advanced) null v v = ts + r∗ [1, rel. (20)]

(lightcone) Eddington- [14] v = ts + 12ω

ln 1+ωrs1−ωrs [20, rel. (18)]

Finkelstein coordinates [20, x+] [1, V ] v = − 1ω

ln(−ωV ) [20, rel. (22b)]

Kruskal-like U U = 1ωeωu [20, from (22a)]

coordinates [20] [31] [14, U ] U = U+V2

-

(lightcone variant) V V = − 1ωe−ωv [20, from (22b)]

[20] [31] [14, V ] V = U−V2

-

Kruskal-like U U = 1ωe−ωr

∗cosh(ωts) [1, rel. (21)]

coordinates [1, u] [14, U ] U = eωu+e−ωv

2ω[1, rel. (23)]

U = U−V2

-

V V = 1ωe−ωr

∗sinh(ωts) [1, rel. (24)]

[1] [14, V ] V = eωu−e−ωv2ω

[1, rel. (22)]

V = U+V2

-

40

Page 41: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

V V = ω2

V[8] [14]

Table 33: Eddington-Finkelstein charts

ingoing v, rs, θ, φ outgoing u, rs, θ, φ

def.

Z0 =1

ωsinh(ωv)− rs cosh(ωrs)

Z1 = rs sin θ cosφ

Z2 = rs sin θ sinφ

Z3 = rs cos θ

Z4 =1

ωcosh(ωv)− rs sinh(ωrs)

Z0 =1

ωsinh(ωu) + rs cosh(ωrs)

Z1 = rs sin θ cosφ

Z2 = rs sin θ sinφ

Z3 = rs cos θ

Z4 =1

ωcosh(ωu) + rs sinh(ωrs)

Refs. [20, rel.(19), missing dr2s ]

metric ds2 = −(1− ω2r2s)dv

2 + 2dvdrs− ds2 = −(1− ω2r2s)du

2 − 2dudrs−

−2dr2s − r2

sdΩ22 −2dr2

s − r2sdΩ2

2

Table 34: Kruskal-like charts

u, v, θ, φ U, V, θ, φ

introduced: Gibbons, Hawking (1977) [31]

def.

Z0 =1

ω

sinh ω(v+u)2

cosh ω(v−u)2

Z1 =1

ωtanh

ω(v − u)

2sin θ cosφ

Z2 =1

ωtanh

ω(v − u)

2sin θ sinφ

Z3 =1

ωtanh

ω(v − u)

2cos θ

Z4 =1

ω

cosh ω(v+u)2

cosh ω(v−u)2

Z0 =U + V

ω2UV − 1

Z1 = − 1

ω

ω2UV + 1

ω2UV − 1sin θ cosφ

Z2 = − 1

ω

ω2UV + 1

ω2UV − 1sin θ sinφ

Z3 = − 1

ω

ω2UV + 1

ω2UV − 1cos θ

Z4 =U − V

ω2UV − 1

metric ds2 = − dudv

cosh2 ω(v−u)2

+ tanh2 ω(v−u)2

dΩ22 ds2 = 2dUdV

(ω2UV−1)2− 1

ω2

(ω2UV+1)2

(ω2UV−1)2dΩ2

2

41

Page 42: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

Refs. [20, rel.(21)] [14, rel. (3.8)] [20, rel.(24)]

U , V , θ, φ U, V , θ, φ

introduced: Beck, Inomata (1984) [1] Torrence, Couch (1986) [8]

studied: Blau, Guendelman, Guth (1987) [32]

def.

Z0 =U

ω2(U2−V 2)4

− 1

Z1 = − 1

ω

ω2(U2−V 2)4

+ 1ω2(U2−V 2)

4− 1

sin θ cosφ

Z2 = − 1

ω

ω2(U2−V 2)4

+ 1ω2(U2−V 2)

4− 1

sin θ sinφ

Z3 = − 1

ω

ω2(U2−V 2)4

+ 1ω2(U2−V 2)

4− 1

cos θ

Z4 =V

ω2(U2−V 2)4

− 1

Z0 =UV + 1

ω2

U − V

Z1 =1

ω

U + V

U − Vsin θ cosφ

Z2 =1

ω

U + V

U − Vsin θ sinφ

Z3 =1

ω

U + V

U − Vcos θ

Z4 =UV + 1

ω2

U − V

metric ds2 = 1ω2(U2−V 2)

4+1

[dU2 − dV 2− ds2 = − 1

ω2(U−V )2(4dUdV−

−(ω2(U2−V 2)

4− 1)dΩ2

2

]−(U + V )2dΩ2

2)

Refs. [1, rel. (8-9)] [14, rel. (3.12)] [14, rel. (3.13)]

Table 35: Constant curvature coordinates

U , V , ξ, ¯ξ

42

Page 43: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

def.

Z0 =1√2

U + V

1− ω2

2(U V − ξ ¯

ξ)

Z1 =1√2

V − U1− ω2

2(U V − ξ ˆξ)

Z2 =1√2

ξ + ¯xi

1− ω2

2(U V − ξ ¯

ξ)

Z3 = − i√2

ξ − ¯xi

1− ω2

2(U V − ξ ¯

ξ)

Z4 =1

ω

1 + ω2

2(U V − ξ ¯

ξ)

1− ω2

2(U V − ξ ¯

ξ)

ranges U , V ∈ R, ξ ∈ C

cover entire manifold, except singular surface where U =∞, V =∞

Refs. [19, p. 51-52]

line elem. ds2 = −2dUV+2ξ¯ξ(

1−ω22

(U V−ξ ¯ξ))2√

|g| 1(1−ω2

2(U V−ξ ¯

ξ))4

43

Page 44: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

References

[1] Beck J.F. and Inomata A., Kruskal-like representation of the the De Sitter metric,J. Math. Phys. 25: 3039-3040 (1984). 21, 32, 34

[2] Parikh M.K., New coordinates for de Sitter space and de Sitter radiation, PhysicsLetters B 546(3-4): 189-195 (2002), arXiv:hep-th/0204107v3. 26

[3] Mottola E., Particle creation in de Sitter space, Physical Review D 31(4): 754-766(1985). 3, 5, 11

[4] Gautreau R., Geodesic coordinates in the de Sitter universe, Physical Review D27(4): 764-778 (1983). 3, 18, 26

[5] Chicone C. and Mashhoon B., Explicit Fermi coordinates and tidal dynamicsin de Sitter and Godel spacetimes, Physical Review D 74(6): 064019-13 (2006),arXiv:gr-qc/0511129v2. 20

[6] Guo H.Y., Huang C.G , Xu Z. and Zhou B., On Beltrami Model of de Sitter Space-time, Modern Physics Letters A 19(22): 1701-1709 (2004), arXiv:hep-th/0311156.24

[7] Saharian A.A., Setare M.R., Casimir energy-momentum tensor for a brane inde Sitter spacetime, Physics Letters B 584(3-4): 306-314 (2004), arXiv:hep-th/0311158. 31

[8] Couch W.E., Torrence R.J., Spherically symmetric space-times transparent toscalar multipole waves, General Relativity and Gravitation 18(7): 767-780 (1986).32, 34

[9] Torrence R.J., Couch W.E. , Note on Kantowski-Sachs spacetimes, General Rel-ativity and Gravitation 20(6): 603-606 (1988). 28

[10] Grøn Ø., Transition of a Kantowski-Sachs cosmological model into an inflation-ary era, Journal of Mathematical Physics 27(5): 1490-1491 (1986). 28

[11] Crawford P., Vargas Moniz P., Bianchi type III foliation of the de Sitter space,International Journal of Theoretical Physics 32(5): 841-848 (1993). 29

[12] Crawford P., Vargas Moniz P., Anisotropic foliations of the De Sitter space, inVerlinde H., Sato M., Proceedings of Sixth Marcel Grossmann Meeting on GeneralRelativity: 1337-1339 (1992).

44

Page 45: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

[13] Schmidt H.J., On the de Sitter space-time - the geometric foundation of infla-tionary cosmology, Fortschritte der Physik 41(3): 179-199 (1993). 1, 19, 20

[14] Eriksen E., Gron O., The de Sitter universe models, International Journalof Modern Physics D- Gravitation, Astrophyics and Cosmology, 4(1): 115-160(1995). 1, 2, 6, 7, 9, 10, 12, 13, 14, 20, 22, 27, 28, 29, 32, 34

[15] Bicak J., Krtous P., Fields of accelerated sources: Born in de Sitter, Journal ofMathematical Physics 46: 102504 (2004), arXiv:gr-qc/0602009v1. 1, 25

[16] Podolsky J., Griffiths J.B., Impulsive gravitational waves generated by null par-ticles in de Sitter and anti-de Sitter backgrounds, Physical Review D, 56(8):4756-4767 (1997). 14

[17] Birrell N.D. and Davies P.C.W., Quantum fields in curved space, CambridgeUniversity Press, pp.129-142 (1984). 3, 8, 31

[18] Hawking S.W. and Ellis G.F.R., The large scale structure of space-time, Cam-bridge University Press, pp.124-134 (1975). 5, 9, 16

[19] Griffiths J.B. and Podolsky, J., Exact space-times in Einstein’s general relativity,Cambridge University Press, pp.41-54 (2009). 4, 5, 8, 11, 28, 29, 35

[20] Spradlin M., Strominger A. and Volovich A., Les Houches lectures on de Sitterspace, in Unity from duality: Gravity, gauge theory and strings, Springer-Verlag(2002), pp.423-453, arXiv:hep-th/0110007v2. 1, 3, 5, 11, 18, 32, 33, 34

[21] Blau M., Lecture Notes on General Relativity, online lecture notes (updated 19feb. 2012), chapter 22 (2012).

[22] Nachtmann O., Quantum theory in de-Sitter space, Communications in Math-ematical Physics 6: 1-16 (1967).

[23] Chernikov N.A. and Tagirov E.A., Quantum theory of scalar field in the Sitterspace-time, Annales de l’institut Henri Poincare (A) Physique theorique 9(2):109-141 (1968). 8

[24] Tagirov E.A., Consequences of field quantization in de Sitter type cosmologicalmodels, Annals of Physics 76(2): 561-579 (1973). 8

[25] Lohiya D. and Panchapakesan N., Massless scalar field in a de Sitter universeand its thermal flux, Journal of Physics A: Mathematical and General 11: 1963-1968 (1978).

45

Page 46: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

[26] Sato H.T. and Suzuki H., On Bogoliubov transformation of scalar wave functionsin de Sitter space, Modern Physics Letters A 9(10): 3673-3684 (1994), arXiv:hep-th/9410092v1.

[27] Wang B. and Xu Z., Classic and quantum motions of scalar particle in Beltrami-de Sitter spacetime, Communications in Theoretical Physics 49: 933-940 (2008).24

[28] Candelas P. and Raine D.J., General-relativistic quantum field theory: An ex-actly soluble model, Physical Review D 12(4): 965-974 (1975). 23

[29] Bunch T.S. and Davies P.C.W, Quantum field theory in de Sitter space: reno-malization by point-splitting, Proceedings of the Royal Society of London, SeriesA 360(1700): 117-134 (1978).

[30] Pfautsch J.D., A new vacuum state in de Sitter space, Physics Letters B 117(5):283-286 (1982).

[31] Gibbons G.W. and Hawking S.W., Cosmological event horizons, thermodynam-ics, and particle creation, Physical Review D 15(6): 2738-2751 (1977). 32, 34

[32] Blau S.K., Guendelman E.I. and Guth A.H., Dynamics of false-vacuum bubbles,Physical Review D 35(6): 1747-1766 (1987). 34

[33] Mignemi S., Doubly special relativity in de Sitter spacetime, Annalen der Physik,522(12): 924-940 (2010), arXiv:0802.1129 [gr-qc]. 23, 24, 25

[34] Mignemi S., Doubly special relativity and translation invariance, Physics LettersB, 672(2): 186-189 (2009), arXiv:0808.1628 [gr-qc].

[35] Aldrovandi R., Beltran Almeida J.P., Pereira J.G., de Sitter special relativity,Classical and Quantum Gravity, 24(6): 1385-1404 (2007), arXiv:gr-qc/0606122.25

[36] Aldrovandi R., Pereira J.G., de Sitter Relativity: a New Road to QuantumGravity?, Foundations of Physics, 39(1): 1-19 (2009), arXiv:0711.2274 [gr-qc].25

[37] Eddington A.S., The Mathematical Theory of Relativity, Cambridge UniversityPress (1965), p. 161-166 (First Edition in 1922). 18

[38] Robertson H.P., On relativistic cosmology, Philosophical Magazine, 5: 835-848(1928). 15

46

Page 47: Atlas of Coordinate Charts on the de Sitter Spacetime - arXiv · Atlas of Coordinate Charts on the de Sitter Spacetime ... 12 k=-1 proper FLRW chart, ... The dS is parametrized by

[39] Robertson H.P., Relativistic cosmology, Review of Modern Physics, 5: 62-90(1933). 15

[40] Lanczos C., Bemerkung zur De Sitterschen Welt, Physikalische Zeitschrift, 23:539-543 (1922) 15

[41] Lemaıtre G., Note on De Sitter’s Universe, Journal of Mathematics and Physics,4(3): 37-41 (M.I.T.), 188-192 (Cambridge, MA) (1925) 15

[42] de Sitter W., On Einsteins Theory of Gravitation, and its Astronomical Con-sequences. Third Paper, Monthly Notices of the Royal Astronomical Society, 78:3-28 (1917). 19, 20

[43] de Sitter, W., On the Relativity of Inertia. Remarks Concerning Einsteins LatestHypothesis, Proc. Royal Acad. Amsterdam [KNAW] 19, 1217-25 (1917). 19, 20

[44] Mallett R.L., Fleming G.N., Position operators in a (3+1) de Sitter space, Jour-nal of Mathematical Physics, 14(1): 45-51 (1973). 24

[45] Cotaescu I.I., Discrete O(1,4) transformations and new scalar quantum modeson the de Sitter spacetime (2011), arXiv:1105.6194 [gr-qc]. 4

[46] Ibison M., On the conformal forms of the Robertson-Walker metric, Journal ofMathematical Physics, 48(12): 122501-23 (2007), arXiv:0704.2788 [gr-qc]. 1

[47] Allen B., Folacci A., Massless minimally coupled scalar field in de Sitter space,Physical Review D, 35(12): 3771-3778 (1987).

47