Ben Niehoff
Science Advisor
Gold Member
- 1,891
- 170
Haelfix said:A conformal isometry is a diffeomorphism:
Psi: M --> M such that (Psi*G)uv = Omega^2 Guv provided omega is everwhere real and positive. The case Omega = 1 is just a regular isometry.
Can you give an example? I'm having a hard time imagining such a map. Is it possible to have a continuous family of such maps?
A conformal transformation (or Weyl rescaling):
Guv' = Omega^2 Guv
is NOT in general a diffeomorphism! If you don't take the pullback, then it won't be invariant.
But I'm looking for things which are not invariant. Is a round 2-sphere of radius A diffeomorphic to a round 2-sphere of radius B, or not?
I say it is. In patches, [itex]\varphi: (\theta, \phi) \mapsto (\theta, \phi)[/itex], which is clearly differentiable, and poses no problems with the transition functions. But [itex]g_A[/itex] is not the pullback of [itex]g_B[/itex] along [itex]\varphi[/itex].
One does have [itex]\varphi^*(g_B) = (b^2/a^2) \, g_A[/itex], is that what you mean above? In this case, [itex]\varphi : A \rightarrow B[/itex], not [itex]\varphi : A \rightarrow A[/itex].