Ben Niehoff
Science Advisor
Gold Member
- 1,892
- 171
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, \varphi: (\theta, \phi) \mapsto (\theta, \phi), which is clearly differentiable, and poses no problems with the transition functions. But g_A is not the pullback of g_B along \varphi.
One does have \varphi^*(g_B) = (b^2/a^2) \, g_A, is that what you mean above? In this case, \varphi : A \rightarrow B, not \varphi : A \rightarrow A.