Finding local flat space of the Poincare half-disk

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
ozone
Messages
121
Reaction score
0
Ω

Homework Statement



Given the metric [itex]ds^2 = \frac{dx^2 + dy^2}{y^2}[/itex] find a set of coordinates which yield local flat space. i.e. ([itex]g_{\mu\nu} = \delta_{\mu\nu}[/itex] + second order terms).

My text outlined a process to go through to find the flat space coordinates, but the actual execution is slightly beyond me. I would really like to know how to complete this problem for my own understanding.. Let's dive into the math then:

Our given metric is [itex]g_{yy} = \frac{1}{y^2} , g_{xx}= \frac{1}{x^2}[/itex]. Then without any loss of generality we may expand this metric about the point [itex](0,y_{*})[/itex] the resulting expansion will leave us with new metric terms given as

[itex]g_{yy} = \frac{1}{y_{*}^2} - \frac{2}{y_*^3} (y-y_*) + \frac{6}{y^4_*} (y-y_*)^2, g_{xx} = \frac{1}{y_{*}^2}[/itex]

we might write this in the form [itex]g_{\mu\nu}(x) = g_{\mu\nu}(0) + A_{\mu\nu,\lambda} x^\lambda +B_{\mu\nu,\lambda \sigma} x^\lambda x^\sigma[/itex]

However we really don't need to worry about our second order coefficient, as our only aim right now is to take our constant term and turn it into the identity matrix, and to find a coordinate system which will remove our first order matrix coefficient A.

Then doing a coordinate transformation to [itex]x^{\mu} = k^\mu_\nu x^{'\nu} + L^\mu_{\nu\lambda} x^{\nu} x^{\lambda} + ...[/itex]

We are now ready to solve for [itex]k^\mu_\nu[/itex] and for reasons which aren't 100% clear to me (I believe it has to do with the definition of the metric tensor being the first order derivatives of x and the way it transforms) my book states that we wish to solve the equation [itex]g'_{\rho\sigma}(0) = k^\mu_\lambda k^\nu_\sigma g_{\mu\nu}(0)[/itex]. This seems logical to me and I can generally follow up to this point, I can solve that with ease(we want our primed 0th order term to be an identity matrix), but I did not know how to deduce the relationship we want to solve for [itex]L^\mu_{\nu\lambda}[/itex], furthermore my book made the cryptic statement that solving for k will change the resulting value of our coefficient L. Any help on solving for the with which we can L eliminate our coefficient A would be much appreciated
 
Physics news on Phys.org
Any luck with the answer?

Sorry for bringing this old post back. I am going through the exact same problem. I was wondering if you figured out the answer and could help me understand it. And also shouldn't gxx=gyy=1/y2?
P.S. Which book were you referring to?