Conformally flat manifold

From HandWiki
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 of the manifold M has to be conformal to the flat metric η, i.e., the geodesics maintain in all points of 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) such that g(x)=λ2(x)η, where λ(x) is known as the conformal factor and x is a point on the manifold.

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

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

Examples

  • Every manifold with constant sectional curvature is conformally flat.
  • Every 2-dimensional pseudo-Riemannian manifold is conformally flat.[1]
    ds2=dθ2+sin2θdϕ2,[2] has metric tensor gik=[100sin2θ] and is not flat but with the stereographic projection can be mapped to a flat space using the conformal factor 2(1+r2), where r is the distance from the origin of the flat space,[3] obtaining
    ds2=dθ2+sin2θdϕ2=4(1+r2)2(dx2+dy2).
  • 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
ds2=(12GMr)dvdu with metric tensor gik=[012GMr12GMr0] and so is not flat. But with the transformations t=(v+u)/2 and x=(vu)/2
becomes
ds2=(12GMr)(dt2dx2) with metric tensor gik=[12GMr001+2GMr],
which is the flat metric times the conformal factor 12GMr.[7]

See also

References

  1. 1.0 1.1 Ray D'Inverno. "6.3 The Weil 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. 
  5. Garecki, Janusz (2008). "On Energy of the Friedman Universes in Conformally Flat Coordinates". Acta Physica Polonica B 39 (4): 781–797. Bibcode2008AcPPB..39..781G. 
  6. Garat, Alcides; Price, Richard H. (2000-05-18). "Nonexistence of conformally flat slices of the Kerr spacetime" (in en). Physical Review D 61 (12): 124011. doi:10.1103/PhysRevD.61.124011. ISSN 0556-2821. Bibcode2000PhRvD..61l4011G. 
  7. Ray D'Inverno. "17.2 The Kruskal solution". Introducing Einstein's Relativity. pp. 230–231.