Conformal structure

A conformal structure on a vector space is a class of pairwise-homothetic Euclidean metrics on . Any Euclidean metric on defines a conformal structure,

called the conformal structure induced by the Euclidean metric . An automorphism of is called an automorphism of the conformal structure if the induced transformation on the space of bilinear forms preserves the set . The group of automorphisms of a conformal structure is isomorphic to the linear conformal group

which is the direct product of the multiplicative group of positive numbers and the orthogonal group.

A conformal structure on a manifold is a field of conformal structures on the tangent spaces, that is, a subbundle of the bundle of symmetric bilinear forms on the manifold whose fibres are conformal structures on the corresponding tangent spaces . The bundle is topologically trivial and any section of it (giving rise to a Riemannian metric on ) uniquely defines a conformal structure according to the formula

The section is called a Riemannian metric subordinate to the conformal structure . Any other section of the bundle has the form , where is a positive function on , that is, the Riemannian metrics and are conformally equivalent. Therefore a conformal structure can also be defined as a class of conformally-equivalent Riemannian metrics. A conformal structure on a manifold can be identified with the -structure on consisting of all frames on that are orthonormal with respect to at least one Riemannian metric that is subordinate to . The main properties of a conformal structure are determined by the fact that a -structure is a -structure of order two: Its first extension is an -structure on , while the second extension is an -structure (a field of frames) on . Hence, in particular, it follows that the group of automorphisms of (which is the same as the group of conformal transformations of any Riemannian metric subordinate to ) is a Lie group of dimension , while the isotropy representation of its stationary subgroup in the tangent space of the second order is faithful.

As a rule, the group of automorphisms of a conformal structure is the same as the group of motions of some Riemannian metric subordinate to it. The only exceptions are the standard conformal structures on the sphere and on the Euclidean space , generated by the standard Riemannian metrics. A conformal structure on a manifold is called locally flat if it is locally equivalent to the standard conformal structure of a Euclidean space , that is, if there exists in a neighbourhood of any point a flat Riemannian metric subordinate to . In order that a conformal structure be locally flat it is necessary and sufficient that the Weyl conformal curvature tensor of some (and therefore of any) Riemannian metric subordinate to it be zero. Examples of locally flat conformal structures are the standard conformal structures in a Euclidean space , on the spheres, in a Lobachevskii space , and also in the spaces and generated by the standard metrics. All locally flat conformal structures on simply-connected manifolds with a transitive group of automorphisms are accounted for in this way. The standard conformal structure on the sphere is the only conformal structure having a maximal (in the sense of dimension) group of automorphisms. The sphere endowed with the conformal structure is called a conformal space.

The notion of a conformal structure is closely related to that of a conformal connection on : such a connection always defines a conformal structure on ; on the other hand, a conformal connection is the connection in the reduced principal fibre bundle that is defined by the given conformal structure.

References

[1]	S. Kobayashi, "Transformation groups and differential geometry" , Springer (1972)
[2]	S. Sternberg, "Lectures on differential geometry" , Prentice-Hall (1964)
[3]	B.N. Kimel'field, "Homogeneous regions of the conformal sphere" Math. Notes , 8 (1970) pp. 653–656 Mat. Zametki , 8 : 3 (1970) pp. 321–328
[4]	D.V. Alekseevskii, "Groups of conformal transformations of Riemannian spaces" Math. USSR Sb. , 18 (1973) pp. 285–301 Mat. Sb. , 89 : 2 (1972) pp. 280–296