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 tensor g of the manifold M has to be conformal to the flat metric tensor η, 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]
    • The line element of the two dimensional spherical coordinates, like the one used in the geographic coordinate system, 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 21+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.
  • In general relativity, conformally flat manifolds are often used, for instance, in describing the Friedmann–Lemaître–Robertson–Walker metric.[5] However, this is not always possible, as in the case of the Kerr metric, which does not admit any conformally flat slices.[6] : An example of conformally flat metric can be obtained by transforming the Kruskal–Szekeres coordinates for the Schwarzschild metric, which have line element ds2=(12GM/r)dvdu with metric tensor gik=[012GM/r12GM/r0] and so is not flat. But with the transformations t=(v+u)/2 and x=(vu)/2 becomes ds2=(12GM/r)(dt2dx2) with metric tensor gik=[12GM/r001+2GM/r], which is the flat metric times the conformal factor 12GM/r.[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. See Spherical coordinate system § Integration and differentiation in spherical coordinates
  3. See Stereographic projection § Properties – 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). 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.