Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  A question about the higher-order Weyl variation for the geodesic distance

+ 4 like - 0 dislike
1209 views

I have a question in deriving Eqs. (3.6.15b) and (3.6.15c) in Polchinski's string theory vol I p. 105.

Given

$$\Delta (\sigma,\sigma') = \frac{ \alpha'}{2} \ln d^2 (\sigma, \sigma') \tag{3.6.6}$$ where $d(\sigma,\sigma')$ is the geodesic distance between points $\sigma$ and $\sigma'$.

It is said for the Weyl variation $\delta_W$,

$$\partial_a \delta_W \Delta(\sigma,\sigma')|_{\sigma'=\sigma}= \frac{ 1}{2} \alpha' \partial_a \delta \omega(\sigma) \tag{3.6.15a} $$ $$ \partial_a \partial_b' \delta_W \Delta(\sigma,\sigma')|_{\sigma'=\sigma}= \frac{ 1+ \gamma}{2} \alpha' \nabla_a \partial_b \delta \omega(\sigma) \tag{3.6.15b} $$ $$ \nabla_a \partial_b \delta_W \Delta(\sigma,\sigma')|_{\sigma'=\sigma}= - \frac{ \gamma}{2} \alpha' \nabla_a \partial_b \delta \omega(\sigma) \tag{3.6.15c} $$ Here $\gamma=-\frac{2}{3}$.

I know the reason for the factor of $1/2$ in the RHS of Eq. (3.6.15a) and I can derive it. But, putting $\nabla$ on LHS and RHS of Eq. (3.6.15a) will not lead to (3.6.15c). I guess it is because there is some higher-order terms in the geodesic distance where the treatment of (3.6.9)-(3.6.11) omitted. But I don't know how to get it. I tried $ds^2= g_{ab} dx^a dx^b= (\eta_{ab} + h_{ab})dx^a dx^b $ to separate the deviation of Minkowski metric, but I cannot get the factor $\gamma$

My question is, how to derive Eqs. (3.6.15b) and (3.6.15c) (especially there is a prime, $'$, namely $\partial'_b$ in the LHS of (3.6.15b) but not in the RHS)

This post imported from StackExchange Physics at 2014-03-11 07:56 (UCT), posted by SE-user user26143
asked Aug 6, 2013 in Theoretical Physics by user26143 (405 points) [ no revision ]

1 Answer

+ 4 like - 0 dislike

Assuming the distance $d$ ($z$ is a formal notation) is: $$d(\sigma, \sigma') = \int_\sigma^{\sigma'} dz ~~e^{w(z)} \tag{1}$$

We have, developping at order 2, $w(z)$:

$$d(\sigma, \sigma') = e^{w(\sigma)} \int_\sigma^{\sigma'} dz ~ e^{(z-\sigma).\partial w(\sigma) + \frac{1}{2}(z-\sigma)^a(z-\sigma)^b \partial_a \partial_b w(\sigma)}\tag{2}$$

That is :

$$d(\sigma, \sigma') = e^{w(\sigma)} \int_\sigma^{\sigma'} dz ~ ( 1 + (z-\sigma).\partial w(\sigma) + \frac{1}{2}(z-\sigma)^a(z-\sigma)^b\partial_a \partial_bw(\sigma)+Q(w)) \tag{3}$$ where $Q(w)$ represents quadratic quantities in $\partial_a w \partial_b w$.

Because the metrics is diagonal, Christophel symbol are of king $\partial_x w$, so the difference between $\nabla_x \partial_y w$ and $\partial_x \partial_y w$ are precisely these quadratic quantities. We can only choose a inertial frame, so that $\partial_x w=0$, so we can neglect theses quantities $Q$, and working with standard derivatives (more details at the end of the answer).

After formal integration, we get :

$$d(\sigma, \sigma') = e^{w(\sigma)} |\sigma' - \sigma|(1 + \frac{1}{2}(\sigma'-\sigma).\partial w(\sigma) + \frac{1}{6}(\sigma'-\sigma)^a(\sigma'-\sigma)^b\partial_{ab}w(\sigma)+Q(w))\tag{4}$$

Reexpressing with an exponential, we have:

$$d(\sigma, \sigma') = e^{w(\sigma)} |\sigma' - \sigma| e^{\frac{1}{2}(\sigma'-\sigma).\partial w(\sigma) + \frac{1}{6}(\sigma'-\sigma)^a(\sigma'-\sigma)^b\partial_a \partial_bw(\sigma)+Q(w)} \tag{5}$$

So, now, we get, with $\Delta (\sigma, \sigma') = \frac{\alpha'}{2} \ln d^2(\sigma, \sigma')$:

$$\Delta (\sigma, \sigma') =\alpha'(w(\sigma) + \frac{1}{2}(\sigma'-\sigma).\partial w(\sigma) + \frac{1}{6}(\sigma'-\sigma)^a(\sigma'-\sigma)^b\partial_a \partial_bw(\sigma)+Q(w)+F(\sigma, \sigma'))\tag{6}$$ where $F(\sigma, \sigma')$ is a function of $\sigma, \sigma'$ which does not depend on $w$, so we don't care by looking at variations of $\Delta$ relatively to $w$. Choosing a inertial frame means that we don't care about the quadratic quantities $Q$ too.

We have an other problem, because here $\Delta (\sigma, \sigma')$ is not symmetric in $\sigma, \sigma'$, so we need to symmetrise it, so finally the relevant part of $\Delta$ is :

$$\Delta (\sigma, \sigma') =\alpha'( \frac{1}{2} [w(\sigma) + w(\sigma') ] + \frac{1}{4}(\sigma'-\sigma).[\partial w(\sigma) - \partial^{'} w(\sigma')] + \frac{1}{12}(\sigma'-\sigma)^a(\sigma'-\sigma)^b[\partial_a \partial_bw(\sigma)+\partial^{'}_a \partial_b^{'}w(\sigma')])\tag{6'}$$

So, taking variations, and derive relatively to $\sigma'_b$: $$\partial^{'}_b \delta_W \Delta (\sigma, \sigma') =\alpha'( \frac{1}{2}\partial^{'}_b \delta w(\sigma') + \frac{1}{4}[\partial_b w(\sigma) - \partial^{'}_b w(\sigma')] \\ - \frac{1}{4}(\sigma' - \sigma)^a \partial'_a \partial_b'w(\sigma')+ \frac{1}{6}(\sigma' - \sigma)^a[\partial_a \partial_bw(\sigma)+\partial^{'}_a \partial_b^{'}w(\sigma')] + O(\sigma - \sigma')^2\tag{7}$$

Then, we derive relatively to $\sigma_a$: $$\partial_a \partial^{'}_b \delta_W \Delta (\sigma, \sigma') =\alpha'( \frac{1}{4}[\partial_a \partial_b \delta w(\sigma)+ \partial^{'}_a \partial^{'}_b \delta w(\sigma')] - \frac{1}{6}[\partial_a \partial_b \delta w(\sigma)+ \partial^{'}_a \partial^{'}_b \delta w(\sigma')]+ O(\sigma - \sigma')\tag{8}$$

So, finally, when $\sigma' \rightarrow \sigma$, we have:

$$\partial_a \partial^{'}_b \delta_W \Delta (\sigma, \sigma')= \alpha' \frac{1}{6}\partial_a \partial_b\delta w(\sigma)\tag{9}$$

This is precisely the expression (3.6.15b), remembering that we calculate in a intertial frame, so $\nabla_x \partial_y w = \partial_x \partial_y w $

The same method, beginning from $(6')$ and applying two derivates $\partial_a \partial_b$ gives $3.16.15c$ (a $\frac{1}{3}$ term)

[REMARK]

The quadratic quantities $Q$ could be written :

$$(\sigma'-\sigma)^a(\sigma'-\sigma)^b (\partial_a w)(\partial_b w)$$

When you derive 2 times this expression, you get :

$$ O(\sigma'-\sigma) + O(\partial_a w)$$ So, when $\sigma' \rightarrow \sigma$ and when we are in a inertial frame ($\partial_a w=0$), these quantities are not relevant.

This post imported from StackExchange Physics at 2014-03-11 07:56 (UCT), posted by SE-user Trimok
answered Aug 7, 2013 by Trimok (955 points) [ no revision ]
Thanks a lot! I have two naive questions, (a) how do you get your equation (1)? is that just a formal notation? (since $\omega(\sigma)$ is arbitary(?)); (b) Is the symmetrisation of Eq. (6) ad hoc?

This post imported from StackExchange Physics at 2014-03-11 07:56 (UCT), posted by SE-user user26143
$(1)$ : Equation $(1)$ is a better approximation of the zero-order version $d(\sigma, \sigma') = |\sigma' - \sigma| ~~e^{w(\sigma)} $, because the infinitesimal distance (which is in the integral) depends on the metrics at each point. (2) $\Delta$ must be symmetric, so if you begin with $(6)$ and symmetrize, you get automatically $(6')$

This post imported from StackExchange Physics at 2014-03-11 07:56 (UCT), posted by SE-user Trimok
Since p 102 in Polchinski said $d(\sigma,\sigma')$ is the geodesic distance between points $\sigma$ and $\sigma'$, there should be some formula to calculate it directly, how to see your Eq. (1) is for the geodesic distance? and I feel the symmetrization is added by hand, there might be better derivation for it (?)

This post imported from StackExchange Physics at 2014-03-11 07:56 (UCT), posted by SE-user user26143
The geodesic distance is the integral of infinitesimal distance, that is why the $e^{w(z)}$ term is in the integral. I think you are right, there must be a symmetric version of this geodesic distance, but, in fact, it means simply symmetrize equation (2) or equation (3) or equation (4) or equation (5), so finally you wil make the symmetrization before, but this will not change $6'$ and the final result.

This post imported from StackExchange Physics at 2014-03-11 07:56 (UCT), posted by SE-user Trimok
Thanks a lot! Is the factor $e^{\omega(z)}$ follow the conformal gauge condition (3.3.4)? I am not sure where does it come from....

This post imported from StackExchange Physics at 2014-03-11 07:56 (UCT), posted by SE-user user26143
Yes, exactly, each physical distance is multiplied by $e^{\omega(z)}$, so the infinitesimal physical distance is no more $dz$, but $dz ~e^{\omega(z)}$

This post imported from StackExchange Physics at 2014-03-11 07:56 (UCT), posted by SE-user Trimok
Thank you very much for your help!!

This post imported from StackExchange Physics at 2014-03-11 07:56 (UCT), posted by SE-user user26143

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\varnothing$ysicsOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...