Conformally flat manifold

From The Right Wiki
Jump to navigationJump to search
File:Conformal map.svg
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.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.