Let us consider the following gravitational background:
and the Polyakov lagrangian in conformal gauge with Euclidean Lorentzian signature:
The Euler-Lagrange equations can be found to be:
We look at this and think how can we make these equations simpler. The first equation can be solved with:
This is a “T-duality” transformation. For the second equation we see that if then we get
with the flat-space Polyakov lagrangian in terms of the new coordinates :
We can integrate this equation to find an expression for in terms of the solutions of the equations of motion and the flat-space lagrangian:
Then, pluging this back into the classical action we get
Finally we can write
so we can write the expression in the exponential as a sum of integrals over the worldsheet coordinates.
On the other hand, if instead we have then we can write:
The lagrangian can be writen as
We have found an expression for the classical lagragian in some (not-so) arbitrary gravitational background in terms of the coordinates and the flat-space lagrangian. The problem is we do not get any information about the solution for the equations of motion.
Let us start with the following background metric:
where the functions and are functions of the extra coordinate . The case of anti-de Sitter space corresponds to
Under the “T-duality” transformation
the metric in the dual space takes the form
Since we can always bring the metric in this form, we will just consider the initial case and see what can we do with it. Note that it could be the case that the change of variables between could be of the general form
This case could be more complicated… For now we will just stick with the first change of variables introduced.
On Thursday night I was reading Polyakov’s contribution to the book 50 years of Yang-Mills theory. This is my version of a bed time story. 😉
Polyakov mentions some of his earlier work and how he solved different problems. I actually got tired after a while, and decided to work and solve my own problem. I had been sort of running away from it with feelings of overwhelming difficulty. There is also a chance that reading this post on the (now dead) string coffee table provided some motivation. In any case, here we go…
I have become more comfortable with the “T-dual” transformation and now I am confident on what to consider.
Exact adS can be described by the metric
After the T-transformation the metric returns to the same form but now ,
Both of these spaces can be described by embedding a hyper-surface in . They both have scale invariance.
There are two extra-dimensional spaces that one can obtain by embedding a hyper-surface in and reduce to adS in some limit.
For this case anti-de Sitter space is obtained by setting the extra coordinate equal to . The metric in the original Poincaré coordinates looks like:
After the T-transformation (leaving the coordinate intact) one obtains
Now adS is reached when the extra coordinate vanishes. In Poincaré coordinates,
While in the T-coordinates we obtain
Note that both of these cases have scale-invariance in the coordinates and . These two cases are atractive because they can be constructed straight from a higher-dimensional reduction. On the other hand one can just modify the adS metric and see what happens. Here are some of the modifications.
- Soft wall:
- Hard wall:
I might not want to keep the scale invariance so obvious for the coordinates.
Today I found yet another space that looks promising. This one looks even more nicer than the previous cases. To obtain the metric one can start with the product of 3-d Minkowski and d-dimensional Minkowski space. The coordinates can be taken as
with a two-dimensional Minkowski index and a d-dimensional Minkowski index. Let us write the metric as:
Now one imposes the condition:
and introduces “Poincaré coordinates” that satisfy this constrain. These can be defined as:
Then writing the metric in terms of these coordinates one obtains:
One can see that when we set we obtain exact d-dimensional anti-de Sitter space. This metric is very atractive. It contains more symmetry than the other cases that I have consider previously. Besides the first term being invariant under Poincaré transformations, one also has an invariance under the rescalling of the coordinates. I shall explore this space further.
I want to summarize the three different routes I am pursuing to reach anti-de Sitter space.
First is the direct route. This means to start with anti-de Sitter space in the first place. Alday and Maldacena followed this path. For future references the metric for adS space in Poincaré coordinates looks like
Second is to deform the exact adS metric by introducing some arbitrary function of the fifth coordinate. Right now my main struggle is what form of the deformation should I use. Here are some favorites:
Lastly we can try something completely different. Along this road it was suggested to start with an extra spatial dimensions and impose some constraints. One gets a six-dimensional space. In Poincaré coordinates this looks like:
After the so-called “T-dual” transformation, the metric obtains the following form:
This latter approach is the most attractive in my humble opinion. It contains adS in the limit when the coordinate vanishes. We also have an invariance under a scale transformation on the coordinates or What am I suppose to do with this metric? I want to consider classical strings propagating in any of these particular backgrounds.