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 ...

  Exercise in Weyl rescaling.

+ 2 like - 0 dislike
848 views

I have been trying to learn from "Geometry, Topology and Physics" by Mikio Nakahara and till now I've been able to more or less follow most of the selected sections I've read, but now I've come across a proof that I cannot follow in any way. I will try to make this question self-contained, but for those who own the book: it is proposition 7.1 on page 275.

The book defines Weyl rescaling as:

$$ g_p \to \bar{g}_p = e^{2\sigma(p)} g_p$$

where $g$ is a metric on a (pseudo-)-Riemannian manifold $M$, $p$ is a point on the manifold $M$, and $\sigma \in \mathscr{F}(M)$. Now, the book defines $K$ to be the difference of the covariant derivatives $\bar{\nabla}$ with respect to $\bar{g}$ and $\nabla$ with respect to $g$:

$$ K(X,Y) \equiv \bar{\nabla}_X Y - \nabla_X Y$$

where $X$ and $Y$ are vector fields. Furthermore, let $U$ be a vector field which corresponds to the one-form $\mathrm{d} \sigma$:


$$ Z[\sigma] = \langle \mathrm{d} \sigma , Z \rangle = g(U,Z) $$

Then the proposition is that:

$$ K(X,Y) = X[\sigma]Y + Y[\sigma] X - g(X,Y)U$$.

For the proof:

First the book mentions that because we are considering torsion-free condition that $K(X,Y)=K(Y,X)$. Furthermore, since we are only considering metric connections, i.e. $\bar{\nabla} \bar{g} = \nabla_X g = 0$, we have:

$$X[\bar{g}(Y,Z)] = \bar{\nabla}_X [\bar{g}(Y,Z)] = \bar{g}(\bar{\nabla}_XY,Z)  +\bar{g}(Y, \bar{\nabla}_X Z) $$

This doesn't make any sense to me. The first equal sign is a complete mystery to me. The second step is also a mystery, because I would think that we would have to get:

$$\bar{\nabla}_X [\bar{g}(Y,Z)] = X^\kappa [(\nabla_\kappa \bar{g}(Y,Z) + \bar{g}(\nabla_\kappa Y,Z) + \bar{g}(Y, \nabla_\kappa Z)] $$

which is not the same.

I have tried everything, but I'm just missing something (perhaps it is really trivial). I also searched Google but couldn't find anything that helps me. According to the book this proof follows Nomizu (1981), but I don't have access to that book. Any help is much appreciated.

asked Apr 17, 2014 in Mathematics by Hunter (520 points) [ revision history ]
edited Apr 17, 2014 by Valter Moretti

This question is trivial in standard index notation, you should do the conversion for all math-style expressions, they are needlessly obfuscated.

1 Answer

+ 4 like - 0 dislike

I cannot see the problem with the penultimate line of your formulas:

$$X[\bar{g}(Y,Z)] = \bar{\nabla}_X [\bar{g}(Y,Z)] = \bar{g}(\bar{\nabla}_XY,Z)  +\bar{g}(Y, \bar{\nabla}_X Z) $$

The first identity is true because for every affine connection $D$ one has $D_Xf = X(f)$ where $f$ is a scalar field and $X$ is a vector field. In our case $D = \overline{\nabla}$ and $f= \bar{g}(Y,Z)$. Concering the second identity, the connection $\overline{\nabla}$ is metric (because it is the Levi-Civita connection of $\overline{g}$) and metric, indeed, means  $\overline{\nabla}_X \left(\overline{g}(Y,Z)\right)=  \overline{g}(\overline{\nabla}_XY,Z) + \overline{g}(Y,\overline{\nabla}_XZ)$ and this requirement is equivalent to $\overline{\nabla}_X \overline{g}=0$.

answered Apr 17, 2014 by Valter Moretti (2,085 points) [ revision history ]
edited Apr 17, 2014 by Valter Moretti

Thanks! I feel quite silly now, but for some unexplicable reason I was really stuck. I think in my head I was making it a lot more complicated than it really was.

The reason you were stuck is because the math notation is too conceptual, just write it out with indices, and you will see that is no statement of content beyond that the covariant derivative of the metric is zero.

Thanks, I will keep that in mind!

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:
$\varnothing\hbar$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
...