
A (
pseudo
The prefix pseudo- (from Greek ψευδής, ''pseudes'', "false") is used to mark something that superficially appears to be (or behaves like) one thing, but is something else. Subject to context, ''pseudo'' may connote coincidence, imitation, ...
-)
Riemannian manifold
In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g'p'' on the tangent spac ...
is conformally flat if each point has a neighborhood that can be mapped to
flat space by a
conformal transformation
In mathematics, a conformal map is a function that locally preserves angles, but not necessarily lengths.
More formally, let U and V be open subsets of \mathbb^n. A function f:U\to V is called conformal (or angle-preserving) at a point u_0\in ...
.
In practice, the
metric
Metric or metrical may refer to:
* Metric system, an internationally adopted decimal system of measurement
* An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement
Mathematics
In mathem ...
of the manifold
has to be conformal to the flat metric
, i.e., the
geodesics
In geometry, a geodesic () is a curve representing in some sense the shortest path ( arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. ...
maintain in all points of
the angles by moving from one to the other, as well as keeping the null geodesics unchanged,
that means exists a function
such that
, where
is known as the
conformal factor and
is a point on the manifold.
More formally, let
be a pseudo-Riemannian manifold. Then
is conformally flat if for each point
in
, there exists a neighborhood
of
and a
smooth function
In mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain, called ''differentiability class''. At the very minimum, a function could be considered smooth if ...
defined on
such that
is
flat (i.e. the
curvature
In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane.
For curves, the can ...
of
vanishes on
). The function
need not be defined on all of
.
Some authors use the definition of locally conformally flat when referred to just some point
on
and reserve the definition of ''conformally flat'' for the case in which the relation is valid for all
on
.
Examples
*Every manifold with
constant sectional curvature In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature ''K''(σ''p'') depends on a two-dimensional linear subspace σ''p'' of the tangent space at a poi ...
is conformally flat.
*Every 2-dimensional pseudo-Riemannian manifold is conformally flat.
** The
line element
In geometry, the line element or length element can be informally thought of as a line segment associated with an infinitesimal displacement vector in a metric space. The length of the line element, which may be thought of as a differential arc ...
of the two dimensional spherical coordinates, like the one used in the
geographic coordinate system
The geographic coordinate system (GCS) is a spherical or ellipsoidal coordinate system for measuring and communicating positions directly on the Earth as latitude and longitude. It is the simplest, oldest and most widely used of the vari ...
,
*:
, has metric tensor
and is not flat but with the
stereographic projection
In mathematics, a stereographic projection is a perspective projection of the sphere, through a specific point on the sphere (the ''pole'' or ''center of projection''), onto a plane (the ''projection plane'') perpendicular to the diameter th ...
can be mapped to a flat space using the conformal factor
, where
is the distance from the origin of the flat space, obtaining
*:
.
*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
In differential geometry, the Weyl curvature tensor, named after Hermann Weyl, is a measure of the curvature of spacetime or, more generally, a pseudo-Riemannian manifold. Like the Riemann curvature tensor, the Weyl tensor expresses the tidal forc ...
vanishes.
*Every
compact
Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to:
* Interstate compact
* Blood compact, an ancient ritual of the Philippines
* Compact government, a type of colonial rule utilized in British ...
,
simply connected
In topology, a topological space is called simply connected (or 1-connected, or 1-simply connected) if it is path-connected and every path between two points can be continuously transformed (intuitively for embedded spaces, staying within the spa ...
, conformally Euclidean Riemannian manifold is conformally equivalent to the
round sphere.
:* The
stereographic projection
In mathematics, a stereographic projection is a perspective projection of the sphere, through a specific point on the sphere (the ''pole'' or ''center of projection''), onto a plane (the ''projection plane'') perpendicular to the diameter th ...
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
General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics. ...
conformally flat manifolds can often be used, for example to describe
Friedmann–Lemaître–Robertson–Walker metric
The Friedmann–Lemaître–Robertson–Walker (FLRW; ) metric is a metric based on the exact solution of Einstein's field equations of general relativity; it describes a homogeneous, isotropic, expanding (or otherwise, contracting) universe ...
. However it was also shown that there are no conformally flat slices of the
Kerr spacetime.
: For example, the
Kruskal-Szekeres coordinates have line element
:
with metric tensor
and so is not flat. But with the transformations
and
:becomes
:
with metric tensor
,
: which is the flat metric times the conformal factor
.
See also
*
Weyl–Schouten theorem
*
conformal geometry
In mathematics, conformal geometry is the study of the set of angle-preserving (conformal) transformations on a space.
In a real two dimensional space, conformal geometry is precisely the geometry of Riemann surfaces. In space higher than two di ...
*
Yamabe problem
References
Conformal geometry
Riemannian geometry
Manifolds
{{differential-geometry-stub