Prove 2-dimensional Riemann manifold is conformally flat

Click For Summary
SUMMARY

The discussion centers on proving that any 2-dimensional Riemann manifold with a metric of signature 0 is conformally flat. Participants emphasize the use of null curves as coordinate curves, specifically transforming to coordinates \(\lambda\) and \(\nu\) that satisfy the conditions \(g_{ab}\lambda^a\lambda^b = g_{ab}\nu^a\nu^b = 0\). The goal is to demonstrate that the line element can be expressed as \(ds^2 = e^{2\mu}d\lambda d\nu\) and to introduce new coordinates \(\frac{1}{2}(\lambda + \nu)\) and \(\frac{1}{2}(\lambda - \nu)\). The challenge lies in manipulating the equations to derive the conformally flat metric \(g_{ab} = \Omega^2\eta_{ab}\).

PREREQUISITES
  • Understanding of Riemannian geometry and metrics
  • Familiarity with coordinate transformations in differential geometry
  • Knowledge of null curves and their properties
  • Proficiency in algebraic manipulation of differential forms
NEXT STEPS
  • Study the properties of null curves in Riemannian geometry
  • Learn about coordinate transformations and their implications in metrics
  • Explore the concept of conformally flat metrics and their applications
  • Investigate the derivation of the line element in different coordinate systems
USEFUL FOR

Mathematicians, physicists, and students specializing in differential geometry, particularly those focusing on Riemannian manifolds and conformal geometry.

PhyPsy
Messages
34
Reaction score
0

Homework Statement


Establish the theorem that any 2-dimensional Riemann manifold is conformally flat in the case of a metric of signature 0.
Hint: Use null curves as coordinate curves, that is, change to new coordinate curves
\lambda = \lambda(x0, x1), \nu = \nu(x0, x1)
satisfying
gab\lambda,a\lambda,b = gab\nu,a\nu,b = 0
and show that the line element reduces to the form
ds2 = e2\mud\lambdad\nu
and finally introduce new coordinates \frac{1}{2}(\lambda + \nu) and \frac{1}{2}(\lambda - \nu)

Homework Equations


Conformally flat metric: gab = \Omega2\etaab (\etaab is a flat metric)
ds2 = gabdxadxb

The Attempt at a Solution


It says in the hint that the metric has a signature of 0, so it must be flat in a specific set of coordinates, but there are 3 different coordinate systems the hint tells me to use in this problem:
(x0, x1), (\lambda, \nu), and [\frac{1}{2}(\lambda + \nu), \frac{1}{2}(\lambda - \nu)]
so I don't know in which coordinate system I should make the assumption that the metric is flat.

I know that the line element equation in the (\lambda, \nu) coordinate system is:
ds2 = g\lambda\lambdad\lambda2 + g\lambda\nud\lambdad\nu + g\nu\lambdad\nud\lambda + g\nu\nud\nu2
and if I assume the metric is flat in this coordinate system, then that equation can be reduced to:
ds2 = g\lambda\lambda(d\lambda2 - d\nu2) + 2g\lambda\nud\lambdad\nu
where I used the symmetry of the metric. If I am to reduce this equation to
ds2 = e2\mud\lambdad\nu
then I need to show that
1. g\lambda\lambdad\lambda2 + g\nu\nud\nu2 = 0
2. 2g\lambda\nu = e2\mu.

I don't know how to do either. I have substituted d\lambda with (\partial\lambda/\partialx0)dx0 + (\partial\lambda/\partialx1)dx1 and tried all sorts of algebraic manipulations, but I have not been able to cancel out those 2 terms or figure out how 2g\lambda\nu = e2\mu. Could I get some help, please?
 
Physics news on Phys.org
I've managed to work through the steps in the hint, but it didn't lead me to the gab = \Omega2\etaab equation that I should be getting. The only way I see to eliminate the d\lambda2 and d\nu2 terms in the line element equation is to assume that d\lambda2 = d\nu2. Since the (\lambda, \nu) coordinate system is arbitrary, I should be allowed to make this assumption.
Then, I set \mu = \frac{1}{2}\int(\partial\lambda/\partialx0)2[(dx0 + dx1)/(dx0 - dx1)], and this allows me to define g\lambda\nu + g\nu\lambda = e2\mu. I came up with the equation for \mu from the identity \frac{d}{dx}ln x = \frac{1}{x}.

I did the coordinate transformation to [\frac{1}{2}(\lambda + \nu), \frac{1}{2}(\lambda - \nu)] and came up with this:
g\lambda\lambda = gyz/2
g\nu\nu = -gyz/2
g\lambda\nu = gyy/2
where y = \frac{1}{2}(\lambda + \nu) and z = \frac{1}{2}(\lambda - \nu)

There are 2 problems with this. One, g\lambda\lambda should be a function of gyy, g\lambda\nu should be a function of gyz, etc. if I am to show that gab = \Omega2\etaab.
Two, even if the above were true, the metric in the (\lambda, \nu) coordinate system is not flat, because if it was, then g\lambda\nu would be 0, not e2\mu/2, and ds2 would be 0. So all I would have proven is that \overline{g}ab = \Omega2gab, not gab = \Omega2\etaab. Is there someone who can help?
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
5
Views
2K
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 5 ·
Replies
5
Views
5K