Conformally flat manifold

The upper manifold is flat. The lower one is not, but it is conformal to the first one

A (pseudo-)Riemannian manifold is conformally flat if each point has a neighborhood that can be mapped to flat space by a conformal transformation.

In practice, the metric g {\displaystyle g} of the manifold M {\displaystyle M} has to be conformal to the flat metric η {\displaystyle \eta } , i.e., the geodesics maintain in all points of M {\displaystyle M} the angles by moving from one to the other, as well as keeping the null geodesics unchanged,[1] that means there exists a function λ ( x ) {\displaystyle \lambda (x)} such that g ( x ) = λ 2 ( x ) η {\displaystyle g(x)=\lambda ^{2}(x)\,\eta } , where λ ( x ) {\displaystyle \lambda (x)} is known as the conformal factor and x {\displaystyle x} is a point on the manifold.

More formally, let ( M , g ) {\displaystyle (M,g)} be a pseudo-Riemannian manifold. Then ( M , g ) {\displaystyle (M,g)} is conformally flat if for each point x {\displaystyle x} in M {\displaystyle M} , there exists a neighborhood U {\displaystyle U} of x {\displaystyle x} and a smooth function f {\displaystyle f} defined on U {\displaystyle U} such that ( U , e 2 f g ) {\displaystyle (U,e^{2f}g)} is flat (i.e. the curvature of e 2 f g {\displaystyle e^{2f}g} vanishes on U {\displaystyle U} ). The function f {\displaystyle f} need not be defined on all of M {\displaystyle M} .

Some authors use the definition of locally conformally flat when referred to just some point x {\displaystyle x} on M {\displaystyle M} and reserve the definition of conformally flat for the case in which the relation is valid for all x {\displaystyle x} on M {\displaystyle M} .

Examples

  • Every manifold with constant sectional curvature is conformally flat.
  • Every 2-dimensional pseudo-Riemannian manifold is conformally flat.[1]
    • The line element of the two dimensional spherical coordinates, like the one used in the geographic coordinate system,
    d s 2 = d θ 2 + sin 2 θ d ϕ 2 {\displaystyle ds^{2}=d\theta ^{2}+\sin ^{2}\theta \,d\phi ^{2}\,} ,[2] has metric tensor g i k = [ 1 0 0 s i n 2 θ ] {\displaystyle g_{ik}={\begin{bmatrix}1&0\\0&sin^{2}\theta \end{bmatrix}}}  and is not flat but with the stereographic projection can be mapped to a flat space using the conformal factor 2 ( 1 + r 2 ) {\displaystyle 2 \over (1+r^{2})} , where r {\displaystyle r} is the distance from the origin of the flat space,[3] obtaining
    d s 2 = d θ 2 + sin 2 θ d ϕ 2 = 4 ( 1 + r 2 ) 2 ( d x 2 + d y 2 ) {\displaystyle ds^{2}=d\theta ^{2}+\sin ^{2}\theta \,d\phi ^{2}\,={\frac {4}{(1+r^{2})^{2}}}(dx^{2}+dy^{2})} .
  • A 3-dimensional pseudo-Riemannian manifold is conformally flat if and only if the Cotton tensor vanishes.
  • An n-dimensional pseudo-Riemannian manifold for n ≥ 4 is conformally flat if and only if the Weyl tensor vanishes.
  • Every compact, simply connected, conformally Euclidean Riemannian manifold is conformally equivalent to the round sphere.[4]
  • The stereographic projection provides a coordinate system for the sphere in which conformal flatness is explicit, as the metric is proportional to the flat one.
For example, the Kruskal-Szekeres coordinates have line element
d s 2 = ( 1 2 G M r ) d v d u {\displaystyle ds^{2}=\left(1-{\frac {2GM}{r}}\right)dv\,du} with metric tensor g i k = [ 0 1 2 G M r 1 2 G M r 0 ] {\displaystyle g_{ik}={\begin{bmatrix}0&1-{\frac {2GM}{r}}\\1-{\frac {2GM}{r}}&0\end{bmatrix}}} and so is not flat. But with the transformations t = ( v + u ) / 2 {\displaystyle t=(v+u)/2} and x = ( v u ) / 2 {\displaystyle x=(v-u)/2}
becomes
d s 2 = ( 1 2 G M r ) ( d t 2 d x 2 ) {\displaystyle ds^{2}=\left(1-{\frac {2GM}{r}}\right)(dt^{2}-dx^{2})} with metric tensor g i k = [ 1 2 G M r 0 0 1 + 2 G M r ] {\displaystyle g_{ik}={\begin{bmatrix}1-{\frac {2GM}{r}}&0\\0&-1+{\frac {2GM}{r}}\end{bmatrix}}} ,
which is the flat metric times the conformal factor 1 2 G M r {\displaystyle 1-{\frac {2GM}{r}}} .[7]

See also

References

  1. ^ a b Ray D'Inverno. "6.13 The Weyl tensor". Introducing Einstein's Relativity. pp. 88–89.
  2. ^ Spherical coordinate system - Integration and differentiation in spherical coordinates
  3. ^ Stereographic projection - Properties. The Riemann's formula
  4. ^ Kuiper, N. H. (1949). "On conformally flat spaces in the large". Annals of Mathematics. 50 (4): 916–924. doi:10.2307/1969587. JSTOR 1969587.
  5. ^ Garecki, Janusz (2008). "On Energy of the Friedman Universes in Conformally Flat Coordinates". Acta Physica Polonica B. 39 (4): 781–797. arXiv:0708.2783. Bibcode:2008AcPPB..39..781G.
  6. ^ Garat, Alcides; Price, Richard H. (2000-05-18). "Nonexistence of conformally flat slices of the Kerr spacetime". Physical Review D. 61 (12): 124011. arXiv:gr-qc/0002013. Bibcode:2000PhRvD..61l4011G. doi:10.1103/PhysRevD.61.124011. ISSN 0556-2821. S2CID 119452751.
  7. ^ Ray D'Inverno. "17.2 The Kruskal solution". Introducing Einstein's Relativity. pp. 230–231.


  • v
  • t
  • e