CoCalc -- Lifshitz_coordinates.ipynb

Jupyter notebook Lifshitz_coordinates.ipynb

²²¹ views

Kernel: SageMath 6.10

Various coordinate systems in anisotropic 5d Lifshitz spacetimes

When $\nu=1$ , all these coordinate systems cover the Poincaré patch of ${\rm AdS}_5$ spacetime.

In [1]:

%display latex

In [2]:

M = Manifold(5, 'M')
print M

Out[2]:

5-dimensional differentiable manifold M

For $\nu=1$ , $M$ is nothing but the Poincaré patch of ${\rm AdS}_5$ .

Coordinates $(t,x,y_1,y_2,r)$

In [3]:

X1.<t,x,y1,y2,r> = M.chart(r't x y1:y_1 y2:y_2 r')
X1

Out[3]:

In [4]:

var('nu', latex_name=r'\nu', domain='real')
g = M.lorentzian_metric('g')
g[0,0] = -exp(2*nu*r)
g[1,1] = exp(2*nu*r)
g[2,2] = exp(2*r)
g[3,3] = g[2,2]
g[4,4] = 1
g.display()

Out[4]:

Coordinate $\tilde r = e^r$

In [5]:

X2.<t,x,y1,y2,R> = M.chart(r't x y1:y_1 y2:y_2 R:\tilde{r}:(0,+oo)')
X2

Out[5]:

In [6]:

X2_to_X1 = X2.transition_map(X1, [t, x, y1, y2, ln(R)])
X2_to_X1.display()

Out[6]:

In [7]:

X2_to_X1.inverse().display()

Out[7]:

In [8]:

g.display(X2.frame(), X2)

Out[8]:

Coordinate $\rho = {\tilde r}^\nu$

In [9]:

X3.<t,x,y1,y2,rho> = M.chart(r't x y1:y_1 y2:y_2 rho:\rho:(0,+oo)')
X3

Out[9]:

In [10]:

X2_to_X3 = X2.transition_map(X3, [t, x, y1, y2, R^nu])
X2_to_X3.display()

Out[10]:

In [11]:

X2_to_X3.set_inverse(t, x, y1, y2, rho^(1/nu), verbose=True)

Out[11]:

Check of the inverse coordinate transformation:
   t == t
   x == x
   y1 == y1
   y2 == y2
   R == R
   t == t
   x == x
   y1 == y1
   y2 == y2
   rho == rho

In [12]:

X2_to_X3.inverse().display()

Out[12]:

In [13]:

g.display(X3.frame(), X3)

Out[13]:

Coordinate $z = 1/\rho = {\tilde r}^{-\nu}$

In [14]:

X4.<t,x,y1,y2,z> = M.chart(r't x y1:y_1 y2:y_2 z:(0,+oo)')
X4

Out[14]:

In [15]:

X3_to_X4 = X3.transition_map(X4, [t, x, y1, y2, 1/rho])
X3_to_X4.display()

Out[15]:

In [16]:

X3_to_X4.inverse().display()

Out[16]:

In [17]:

g.display(X4.frame(), X4)

Out[17]:

When $\nu=1$ , $(t,x,y_1,y_2,z)$ are the so-called Poincaré coordinates, i.e. the standard coordinates on the Poincaré patch of ${\rm AdS}_5$ spacetime.

In [ ]:

Various coordinate systems in anisotropic 5d Lifshitz spacetimes

Coordinates $(t,x,y_1,y_2,r)$

Coordinate $\tilde r = e^r$

Coordinate $\rho = {\tilde r}^\nu$

Coordinate $z = 1/\rho = {\tilde r}^{-\nu}$

Product

Resources

Company

Various coordinate systems in anisotropic 5d Lifshitz spacetimes

Coordinates (t,x,y1,y2,r)(t,x,y_1,y_2,r)(t,x,y1​,y2​,r)

Coordinate r~=er\tilde r = e^rr~=er

Coordinate ρ=r~ν\rho = {\tilde r}^\nuρ=r~ν

Coordinate z=1/ρ=r~−νz = 1/\rho = {\tilde r}^{-\nu}z=1/ρ=r~−ν

Coordinates $(t,x,y_1,y_2,r)$

Coordinate $\tilde r = e^r$

Coordinate $\rho = {\tilde r}^\nu$

Coordinate $z = 1/\rho = {\tilde r}^{-\nu}$