Namespaces
Variants
Actions

Conformal-differential geometry

From Encyclopedia of Mathematics
Revision as of 17:46, 4 June 2020 by Ulf Rehmann (talk | contribs) (tex encoded by computer)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


A branch of conformal geometry in which the geometric quantities that are invariant under conformal transformations are studied by the methods of analysis, in the first instance, differential calculus.

In the conformal plane $ M _ {2} $ each point or circle is defined by a vector $ \mathbf x = ( x _ {1} , x _ {2} , x _ {3} , x _ {4} ) $, where the $ x _ {i} $, $ i = 1 \dots 4 $, are the so-called tetracyclic coordinates. For a point one has

$$ ( \mathbf x \mathbf x ) = \ x _ {1} ^ {2} + x _ {2} ^ {2} + x _ {3} ^ {2} - x _ {4} ^ {2} = 0 , $$

and for a circle $ ( \mathbf x \mathbf x ) > 0 $. The conformal-differential geometry in the plane studies sequences and congruences of circles. To a sequence of circles corresponds a curve in three-dimensional hyperbolic space and to a congruence of circles — a surface. A sequence is given by a parametrization $ \mathbf x = \mathbf x ( t) $. The parameter $ t $ can be specialized to

$$ \sigma = \int\limits _ {t _ {0} } ^ { t } \sqrt {\left ( \frac{d \mathbf x }{dt} \right ) ^ {2} } \ d t ; $$

$ d \sigma $ being the angle between two infinitesimally-close circles in the sequence. Of special significance in the theory of sequences are the two branches of the envelope of this sequence, $ \mathbf v = \mathbf v ( t) $ and $ \widetilde{\mathbf v} = \widetilde{\mathbf v} ( t) $, their osculating circles. As in ordinary differential geometry of curves, one can write derivation formulas for a sequence of circles by decomposing the derivatives of the vectors $ \mathbf x $, $ \mathbf z = d \mathbf x / d \sigma $, $ \mathbf v $, $ \widetilde{\mathbf v} $ in terms of themselves:

$$ \frac{d \mathbf x }{d \sigma } = \mathbf z ,\ \ \frac{d \mathbf z }{d \sigma } = - \mathbf x + \widetilde{c} \mathbf v + c \widetilde{\mathbf v} , $$

$$ \frac{d \mathbf v }{d \sigma } = - c \mathbf z ,\ \frac{ d \widetilde{\mathbf v} }{d \sigma } = - \widetilde{c} \mathbf z . $$

Two invariants $ b = 2 c \widetilde{c} $ and $ g = c ^ \prime / c $ can be obtained. The invariant $ b $ is expressed in terms of the angle $ \phi $ between the osculating circles of the envelope: $ b = 1 / \sin ^ {2} ( \phi / 2 ) $. The theory of curves in the conformal plane is constructed from the theory of sequences of circles: each curve is regarded as an envelope, namely the sequence with invariant $ g = \pm 1 $. If, furthermore, the invariant $ b $ is constant, then the curve turns out to be the isogonal trajectory of a pencil of circles, that is, a loxodrome.

In the three-dimensional space $ M _ {3} $ the equation $ \mathbf x = \mathbf x ( t) $ defines a sequence of spheres. In its study its enveloping surface, the so-called canal surface, plays an important role. Each sequence of spheres is characterized by three invariants, which are expressed in terms of certain angles determined by the spheres of the sequence.

A congruence of circles in $ M _ {2} $ is given by a parametrization $ \mathbf x = \mathbf x ( u _ {1} , u _ {2} ) $. On the surface corresponding to it in the hyperbolic space, the polar normalization is conveniently introduced by taking as the normal of the first kind the line orthogonal to the tangent plane of the surface at the point $ \mathbf x $, and as the normal of the second kind, the polar of the normal of the first kind with respect to the absolute $ K $( see [3]). In $ M _ {3} $ the normalization of a congruence corresponds to the normalization of the surface: Associated with each circle $ \mathbf x $ is the circle $ \widetilde{\mathbf x} $ orthogonal to $ \mathbf x $ and to each infinitesimally-close circle, and two circles $ \mathbf y _ {i} $, defining the pencil of the circles, conjugate to the pencil $ \{ \mathbf x , \widetilde{\mathbf x} \} $: $ \mathbf y _ {i} = \partial _ {i} \mathbf x $. On $ M _ {2} $ invariants of the congruence of circles are defined corresponding to the invariants of the associated surface in hyperbolic space, and special types of congruences are singled out.

In the theory of surfaces in $ M _ {3} $ a framing of the surface is introduced by means of normal circles orthogonal at each point to all tangent spheres of the surface; associated with each point is a conformal frame consisting of a point of the surface $ \mathbf x $, two coordinate spheres $ \mathbf y _ {i} $, $ i = 1 , 2 $, defining normal circles, a tangent sphere $ \mathbf z $ at $ \mathbf x $, and the point of intersection $ \mathbf X $ of this sphere and the normal circle. In the general theory of normalization of surfaces one uses the isomorphism of the theory of normalized surfaces of a conformal space and the theory of interior polar normalizations of the absolute of a hyperbolic space. The interior geometry of a normalized surface in $ M _ {n} $ is a Weyl geometry whose first fundamental tensor is the same as the tensor of the angular metric of the surface, while the second fundamental tensor is the normalizer defining the supporting coordinates of the sphere.

The results obtained for a normalized surface are valid also for a normalized conformal space.

References

[1] G. Darboux, "Leçons sur la théorie générale des surfaces et ses applications géométriques du calcul infinitésimal" , 1–4 , Gauthier-Villars (1887–1896)
[2] W. Blaschke, "Vorlesungen über Differentialgeometrie und geometrische Grundlagen von Einstein's Relativitätstheorie" , 3. Differentialgeometrie der Kreisen und Kugeln , Springer (1929)
[3] A.P. Norden, "Spaces with an affine connection" , Nauka , Moscow-Leningrad (1976) (In Russian)
[4] G.V. Bushmanova, A.P. Norden, "Elements of conformal geometry" , Kazan' (1972) (In Russian)
How to Cite This Entry:
Conformal-differential geometry. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Conformal-differential_geometry&oldid=12839
This article was adapted from an original article by G.V. Bushmanova (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article