Added to Favorites

Related Searches

Nearby Words

In mathematics, conformal geometry is the study of the set of angle-preserving (conformal) transformations on a Riemannian manifold or pseudo-Riemannian manifold. In particular conformal geometry in two (real) dimensions is the geometry of Riemann surfaces.
## Conformally flat geometry

### Two dimensions

#### Minkowski space

The conformal group for the Minkowski quadratic form q(x,y) = 2xy in the plane is the abelian Lie group:
#### Euclidean space

_{1}(C) = C^{*} of non-zero complex numbers. Its Lie algebra is gl_{1}(C) = C.### Higher dimensions

In two dimensions, the group of conformal automorphisms of a space can be quite large (as in the case of Lorentzian signature) or variable (as with the case of Euclidean signature). The comparative lack of rigidity of the two-dimensional case with that of higher dimensions owes to the analytical fact that the asymptotic developments of the infinitesimal automorphisms of the structure are relatively unconstrained. In Lorentzian signature, the freedom is in a pair of real valued functions. In Euclidean, the freedom is in a single holomorphic function.#### The inversive model

The inversive model of conformal geometry consists of the group of local transformations on the Euclidean space E^{n} generated by inversion in spheres. By Liouville's theorem, any angle-preserving local (conformal) transformation is of this form. From this perspective, the transformation properties of flat conformal space are those of inversive geometry.
#### The projective model

The projective model identifies the conformal sphere with a certain quadric in a projective space. Let q denote the Lorentzian quadratic form on R^{n+2} defined by
^{n+2}), let S be the locus of q = 0. Then S is the projective (or Möbius) model of conformal geometry. A conformal transformation on S is a projective linear transformation of P(R^{n+2}) which preserves the quadric.^{+} be the future part of the null cone (with the origin deleted). Then the tautological projection R^{n+1,1} - {0} → P(R^{n+2}) restricts to a projection N^{+} → S. This gives N^{+} the structure of a line bundle over S. Conformal transformations on S are induced by the orthochronous Lorentz transformations of R^{n+1,1}, since these are homogeneous linear transformations preserving the future null cone.
#### The Euclidean sphere

Intuitively, the conformally flat geometry of a sphere is less rigid than the Riemannian geometry of a sphere. Conformal symmetries of a sphere are generated by the inversion in all of its hyperspheres. On the other hand, Riemannian isometries of a sphere are generated by inversions in geodesic hyperspheres (see the Cartan-Dieudonné theorem.) The Euclidean sphere can be mapped to the conformal sphere in a canonical manner, but not vice-versa.^{n+1,1} by letting
^{+}. Consequently, it determines a cross-section of the line bundle N^{+} → S.^{+}. The function κ is an arbitrary choice of conformal scale.
#### Representative metrics

A representative Riemannian metric on the sphere is a metric which is proportional to the standard sphere metric. The standard sphere metric is the restriction of the Euclidean metric on R^{n+1}
#### Ambient metric model

Another way to realize the representative metrics is through a special coordinate system on R^{n+1,1}. Suppose that the Euclidean n-sphere S carries a stereographic coordinate system. This consists of the following map of R^{n} → S ⊂ R^{n+1}:_{ij} is the metric on the sphere.#### The Kleinian model

Consider first the case of the flat conformal geometry in Euclidean signature. The n-dimensional model is the celestial sphere of the (n+2)-dimensional Lorentzian space R^{n+1,1}. Here the model is a Klein geometry: a homogeneous space G/H where G = SO(n+1, 1) acting on the (n+2)-dimensional Lorentzian space R^{n+1,1} and H is the isotropy group of a fixed null ray in the light cone. Thus the conformally flat models are the spaces of inversive geometry. For pseudo-Euclidean of metric signature (p,q), the model flat geometry is defined analogously as the homogeneous space O(p+1,q+1)/H, where H is again taken as the stabilizer of a null line. Note that both the Euclidean and pseudo-Euclidean model spaces are compact.
#### The conformal Lie algebras

To describe the groups and algebras involved in the flat model space, fix the following form on R^{p+1,q+1}:
^{t}MQM = Q. The Lie algebra admits a Cartan decomposition
^{n} ⊕ cso(p,q) ⊕ (R^{n})^{*}.### Weyl geometries and the Killing form

## Conformally curved geometry

Conformally curved geometry (referred to by its practitioners simply as conformal geometry) is the study of a Riemannian manifold or pseudo-Riemannian manifold M with metric g. However, unlike in (pseudo-)Riemannian geometry, the metric is only defined up to scale at each point. In other words, the metric is only defined up to changes of the form
## Notes

## References

## External links

## See also

Conformally flat geometry is the study of "Euclidean space with a point added at infinity", or a "Minkowski (or pseudo-Euclidean) space with a couple of points added at infinity". That is, the setting is a compactification of a familiar space; the geometry is concerned with the implications of preserving angles. The Euclidean case is also known as Möbius geometry.

At an abstract level, the Euclidean and pseudo-Euclidean spaces can be handled in much the same way, except in the case of dimension two. The compactified two dimensional Minkowski plane exhibits extensive conformal symmetry. Formally, its group of conformal transformations is infinite dimensional. By contrast, the group of conformal transformations of the compactified Euclidean plane is only 6 dimensional.

- $CSO(1,1)=left\{left.$

Consider now the Minkowski plane: R^{2} equipped with the metric

- $g\; =\; 2\; dx\; dy.,$

- L
_{X}g = λ g for some λ.

- L
_{X}dx = a(x) dx - L
_{X}dy = b(y) dy

for some real-valued functions a and b depending, respectively, on x and y. Conversely, given any such pair of real-valued functions, there exists a vector field X satisfying 1. and 2. Hence the Lie algebra of infinitesimal symmetries of the conformal structure is infinite dimensional.

The conformal compactification of the Minkowski plane is a Cartesian product of two circles S^{1} × S^{1}. On the universal cover, there is no obstruction to integrating the infinitesimal symmetries, and so the group of conformal transformations is the infinite dimensional Lie group

- $(mathbb\{Z\}rtimesmathrm\{Diff\}(S^1))times(mathbb\{Z\}rtimesmathrm\{Diff\}(S^1)),$

where Diff(S^{1}) is the diffeomorphism group of the circle.

The conformal group CSO(1,1) and its Lie algebra are of current interest in conformal field theory. See also Virasoro algebra.

The group of conformal symmetries of the quadratic form

- $q(z,bar\{z\})\; =\; zbar\{z\}$

Consider the (Euclidean) complex plane equipped with the metric

- $g\; =\; dz\; dbar\{z\}.$

- $mathbf\{L\}\_Xdz\; =\; f(z)dz$
- $mathbf\{L\}\_Xdbar\{z\}\; =\; f(bar\{z\})dbar\{z\}$

where f satisfies the Cauchy-Riemann equation, and so is holomorphic over its domain. (See Witt algebra.)

The conformal isometries of a domain therefore consist of holomorphic self-maps. In particular, on the conformal compactification — the Riemann sphere — the conformal transformations are given by the Möbius transformations

- $z\; rightarrow\; frac\{az+b\}\{cz+d\}$

where a d − b c is nonzero.

In the case of higher dimensions, the asymptotic developments of infinitesimal symmetries are at most quadratic polynomials. In particular, they form a finite dimensional Lie algebra. The pointwise infinitesimal conformal symmetries of a manifold can be integrated precisely when the manifold is a certain model conformally flat space (up taking to universal covers and discrete group quotients).

The general theory of conformal geometry is similar, although with some differences, in the cases of Euclidean and pseudo-Euclidean signature. In either case, there are a number of ways of introducing the model space of conformally flat geometry. Unless otherwise clear from the context, this article treats the case of Euclidean conformal geometry with the understanding that it also applies, mutatis mutandis, to the pseudo-Euclidean situation.

- $q(x\_0,x\_1,ldots,x\_\{n+1\})\; =\; -2x\_0x\_\{n+1\}+x\_1^2+x\_2^2+ldots+x\_n^2.$

In a related construction, the quadric S is thought of as the celestial sphere at infinity of the null cone in the Minkowski space R^{n+1,1}, which is equipped with the quadratic form q as above. The null cone is defined by

- $N\; =\; left\{left.\; (x\_0,ldots,x\_\{n+1\})\; right|\; -2x\_0x\_\{n+1\}\; +\; x\_1^2\; +ldots+x\_n^2\; =\; 0\; right\}.$

The Euclidean unit sphere is the locus in R^{n+1}

- $z^2+x\_1^2+x\_2^2+ldots+x\_n^2=1.$

- $x\_0\; =\; frac\{z+1\}\{sqrt\{2\}\},,\; x\_1=x\_1,,\; ldots,,\; x\_n=x\_n,,\; x\_\{n+1\}=frac\{z-1\}\{sqrt\{2\}\}.$

Nevertheless, there was an arbitrary choice. In fact, if κ(x) is any positive function of x=(z, x_{0}, ..., x_{n}), then the assignment

- $x\_0\; =\; frac\{z+1\}\{kappa(x)sqrt\{2\}\},\; ,\; x\_1=x\_1,,\; ldots,,\; x\_n=x\_n,,\; x\_\{n+1\}=frac\{(z-1)kappa(x)\}\{sqrt\{2\}\}$

- $g=dz^2+dx\_1^2+dx\_2^2+ldots+dx\_n^2$

- $z^2+x\_1^2+x\_2^2+ldots+x\_n^2.$

- $[g]\; =\; left\{left.lambda^2gright|\; lambda>0right\}.$

An embedding of the Euclidean sphere into N^{+}, as in the previous section, determines a conformal scale on S. Conversely, any conformal scale on S is given by such an embedding. Thus the line bundle N^{+} → S is identified with the bundle of conformal scales on S: to give a section of this bundle is tantamount to specifying a metric in the conformal class [g].

- $mathbf\{y\}\; in\; mathbf\{R\}^n\; mapsto\; left(frac\{2mathbf\{y\}\}\{|mathbf\{y\}|^2+1\},\; frac\{|mathbf\{y\}|^2-1\}\{|mathbf\{y\}|^2+1\}right)\; in\; Ssub\; mathbf\{R\}^\{n+1\}.$

In terms of these stereographic coordinates, it is possible to give a coordinate system on the null cone N^{+} in Minkowski space. Using the embedding given above, the representative metric section of the null cone is

- $x\_0\; =\; sqrt\{2\}frac\{|mathbf\{y\}|^2\}\{1+|mathbf\{y\}|^2\},\; x\_i=frac\{y\_i\}\{|mathbf\{y\}|^2+1\},\; x\_\{n+1\}=sqrt\{2\}frac\{1\}\{|mathbf\{y\}|^2+1\}.$

Introduce a new variable t corresponding to dilations up N^{+}, so that the null cone is coordinatized by

- $x\_0\; =\; tsqrt\{2\}frac\{|mathbf\{y\}|^2\}\{1+|mathbf\{y\}|^2\},\; x\_i=tfrac\{y\_i\}\{|mathbf\{y\}|^2+1\},\; x\_\{n+1\}=tsqrt\{2\}frac\{1\}\{|mathbf\{y\}|^2+1\}.$

Finally, let ρ be the following defining function of N^{+}:

- $rho\; =\; frac\{-2x\_0x\_\{n+1\}+x\_1^2+x\_2^2+ldots+x\_n^2\}\{t^2\}.$

In the t, ρ, y coordinates on R^{n+1,1}, the Minkowski metric takes the form:

- $t^2\; g\_\{ij\}(y)dy^idy^j+2rho\; dt^2+2tdtdrho,,$

In these terms, a section of the bundle N^{+} consists of a specification of the value of the variable t = t(y^{i}) as a function of the y^{i} along the null cone ρ = 0. This yields the following representative of the conformal metric on S:

- $t(y)^2\; g\_\{ij\}\; dy^idy^j.,$

- $$

- $mathbf\{g\}=mathbf\{g\}\_\{-1\}oplusmathbf\{g\}\_0oplusmathbf\{g\}\_1$

- $$

- $$

The stabilizer of the null ray pointing up the last coordinate vector is given by the Borel subalgebra

- h = g
_{0}⊕ g_{1}.

- $gmapsto\; lambda\; g$

Conformal geometry has a number of features which distinguish it from (pseudo-)Riemannian geometry. The first is that although in (pseudo-)Riemannian geometry one has a well-defined metric at each point, in conformal geometry one only has a class of metrics. Thus the length of a tangent vector cannot be defined, but the angle between two vectors still can. Another feature is that there is no Levi-Civita connection because if g and λg are two representatives of the conformal structure, then the Christoffel symbols of g and λg would not agree. Those associated with λg would involve derivatives of the function λ whereas those associated with g would not.

Despite these differences, conformal geometry is still tractable. The Levi-Civita connection and curvature tensor, although only being defined once a particular representative of the conformal structure has been singled out, do satisfy certain transformation laws involving the λ and its derivatives when a different representative is chosen. In particular, (in dimension higher than 3) the Weyl tensor turns out not to depend on λ, and so it is a conformal invariant. Moreover, even though there is no Levi-Civita connection on a conformal manifold, there is a Cartan connection on a higher-order frame bundle. This allows one to define conformal curvature, as well as other invariants of the conformal structure.

- Kobayashi, Shoshichi (1970 (First edition)).
*Transformation Groups in Differential Geometry*. Springer. ISBN 3-540-05848-6. - Slovák, Jan (1993).
*Invariant Operators on Conformal Manifolds*. Research Lecture Notes, University of Vienna (Dissertation). - Sternberg, Shlomo (1983).
*Lectures on differential geometry*. New York: Chelsea. ISBN 0-8284-0316-3.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Wednesday September 24, 2008 at 13:39:33 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Wednesday September 24, 2008 at 13:39:33 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.