Namespaces
Variants
Actions

Difference between revisions of "Conformal-differential geometry"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
c0247401.png
 +
$#A+1 = 47 n = 0
 +
$#C+1 = 47 : ~/encyclopedia/old_files/data/C024/C.0204740 Conformal\AAhdifferential geometry
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
A branch of [[Conformal geometry|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.
 
A branch of [[Conformal geometry|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c0247401.png" /> each point or circle is defined by a vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c0247402.png" />, where the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c0247403.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c0247404.png" />, are the so-called [[Tetracyclic coordinates|tetracyclic coordinates]]. For a point one has
+
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|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 ;
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c0247405.png" /></td> </tr></table>
+
$  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:
  
and for a circle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c0247406.png" />. 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c0247407.png" />. The parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c0247408.png" /> can be specialized to
+
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c0247409.png" /></td> </tr></table>
+
\frac{d \mathbf x }{d \sigma }
 +
  = \mathbf z ,\ \
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474010.png" /> 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, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474011.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474012.png" />, 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474013.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474014.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474015.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474016.png" /> in terms of themselves:
+
\frac{d \mathbf z }{d \sigma }
 +
  = - \mathbf x +
 +
\widetilde{c}  \mathbf v + c \widetilde{\mathbf v}  ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474017.png" /></td> </tr></table>
+
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474018.png" /></td> </tr></table>
+
\frac{d \mathbf v }{d \sigma }
 +
  = - c \mathbf z ,\ 
 +
\frac{
 +
d \widetilde{\mathbf v}  }{d \sigma }
 +
  = - \widetilde{c}  \mathbf z .
 +
$$
  
Two invariants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474019.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474020.png" /> can be obtained. The invariant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474021.png" /> is expressed in terms of the angle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474022.png" /> between the osculating circles of the envelope: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474023.png" />. 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474024.png" />. If, furthermore, the invariant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474025.png" /> is constant, then the curve turns out to be the isogonal trajectory of a pencil of circles, that is, a loxodrome.
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474026.png" /> the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474027.png" /> defines a sequence of spheres. In its study its enveloping surface, the so-called [[Canal surface|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.
+
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|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474028.png" /> is given by a parametrization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474029.png" />. 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474030.png" />, and as the normal of the second kind, the polar of the normal of the first kind with respect to the absolute <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474031.png" /> (see [[#References|[3]]]). In <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474032.png" /> the normalization of a congruence corresponds to the normalization of the surface: Associated with each circle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474033.png" /> is the circle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474034.png" /> orthogonal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474035.png" /> and to each infinitesimally-close circle, and two circles <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474036.png" />, defining the pencil of the circles, conjugate to the pencil <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474037.png" />: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474038.png" />. On <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474039.png" /> 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.
+
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 [[#References|[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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474040.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474041.png" />, two coordinate spheres <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474042.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474043.png" />, defining normal circles, a tangent sphere <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474044.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474045.png" />, and the point of intersection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474046.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024740/c02474047.png" /> 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.
+
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.
 
The results obtained for a normalized surface are valid also for a normalized conformal space.

Latest revision as of 17:46, 4 June 2020


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=46451
This article was adapted from an original article by G.V. Bushmanova (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article