Conformally flat manifold

From testwiki
Jump to navigation Jump to search
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

Template:Reflist


Template:Riemannian-geometry-stub