Namespaces
Variants
Actions

Manifold of figures (lines, surfaces, spheres)

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.


A manifold whose constituent elements are various figures in a certain homogeneous space. From an analytic point of view the simplest figures are algebraic curves and surfaces. So the manifolds that have been investigated (as a rule, in Euclidean, affine and projective spaces) mainly have as constituent elements points, straight lines, planes, circles, spheres, conics, quadrics, and multi-dimensional analogues of these.

An $ m $- dimensional manifold $ \mathfrak M _ {m} $ of figures $ F $ of rank $ N $ is defined by a closed system of differential equations

$$ \tag{1 } \Omega ^ {a} = \ \lambda _ {i} ^ {a} \Omega ^ {i} ,\ \ \Delta \lambda _ {i} ^ {a} \wedge \Omega ^ {i} = 0 ,\ \ i , j = 1 \dots m ; $$

$$ a , b = m + 1 \dots N , $$

where $ \Omega ^ {J} $( $ J = 1 \dots N $) are the left-hand sides of the isotropy equations of a figure $ F $ and $ \Delta \lambda _ {i} ^ {a} $ are the Pfaffian forms arising upon closing the Pfaffian equations of the system (1), with $ \Omega ^ {1} \wedge \dots \wedge \Omega ^ {m} \neq 0 $( cf. Pfaffian form; Pfaffian equation). After carrying out a sequence of prolongations of the system (1), one obtains a sequence of fundamental objects of $ \mathfrak M _ {m} $, selects from it a basic object of the manifold, and carries out an invariant construction of the differential geometry of the manifold.

The differential geometry of ruled manifolds has been developed in depth. The simplest manifolds with non-linear constituent elements are manifolds of conics. With every one-dimensional manifold $ C _ {1} ^ {2} $ of conics in a three-dimensional space (Euclidean, affine or projective) there is associated a torse $ T $, which is the envelope of the planes of the conics. A manifold $ C _ {1} ^ {2} $ is called focal or non-focal, depending on whether a generator of the torse is tangent to the conics or not. A two-dimensional manifold (a congruence) of conics in a three-dimensional space has, in general, six focal surfaces and six focal families. All the conics in the congruence are tangent to these surfaces. Congruences of conics with indefinite focal families (every two adjacent conics of which intersect up to second order) are characterized by all the conics in the congruence belonging to one quadric. Congruences of conics whose planes form a one-parameter family have one quadruplicate focal family to which correspond four focal points of intersection of two adjacent conics belonging to one plane. The two other focal points are points of intersection of a conic with a characteristic of its plane.

A congruence $ K _ {2} $ of quadrics in $ P _ {3} $ has, in general, eight focal surfaces, to which all the quadrics in the congruence are tangent. A point of a quadric $ F = 0 $ of the congruence of $ K _ {2} $ defined along any direction by the system of equations $ F = 0 , d F = 0 \dots d ^ {m} F = 0 $, is called a focal point of order $ m $ of this quadric. A focal point of the second order is a fourfold point of the first order; a focal point of third order is a focal point of arbitrary order $ m > 3 $. On each conic $ C $ of a three-dimensional manifold (a complex) of conics there are, in general, six invariant points ( $ t $- focal points of the conic). For each conic $ C $ of a complex whose planes form a two-parameter family, there is a unique conic $ C ^ {*} $ passing through the characteristic point of the plane of $ C $ and the four points of intersection of the conic with an adjacent conic in the same plane. The geometric properties of multi-parameter families of conics depend essentially on the number of parameters that characterize the planes of the conics of these families.

An immediate generalization of a conic in $ P _ {3} $ is a quadratic element — an $ ( n - 2 ) $- dimensional non-degenerate quadric in $ P _ {n} $( $ n > 3 $). An $ m $- parameter family of quadratic elements whose hyperplanes form an $ h $- parameter family is called an $ ( h , m , n ) ^ {2} $- manifold in $ P _ {n} $. $ ( h , h , 3 ) ^ {2} $- manifolds, $ h = 1 , 2 , 3 $, are the most general one-parameter families, congruences and complexes of conics in $ P _ {3} $. With each local quadratic elements of an $ ( h , h , n) ^ {2} $- manifold for $ h < n $ is associated an $ ( n - h- 1) $- dimensional characteristic subspace and an $ ( h - 1 ) $- dimensional polar subspace. The rank of an $ ( h , h , n ) ^ {2} $- manifold is the number $ R $ equal to $ n - h - 1 - \nu $, where $ \nu $ is the dimension of the subspace in which the characteristic subspace intersects its polar subspace.

The differential geometry of an $ ( n , n , n ) ^ {2} $- manifold can be regarded as the geometry of some regular hypersurface of an $ ( n + 1 ) $- dimensional centro-projective space $ P _ {0} ^ {n+} 1 $ in which the original $ n $- dimensional space plays the role of the fixed point.

A quadric of dimension $ p \leq n - 2 $ in $ P _ {n} $ always lies in a $ ( p + 1 ) $- dimensional subspace. Algebraic surfaces of order $ k > 2 $ do not have this property, in general. In investigating manifolds of algebraic surfaces it turns out to be advisable to select families of surfaces that lie in planes of dimension higher by one. A non-degenerate $ ( n - 2 ) $- dimensional algebraic surface of order $ k $ belonging to a hyperplane $ P _ {n-} 1 $ of $ P _ {n} $ is called a plane algebraic element of order $ k $. An $ m $- dimensional manifold of plane algebraic elements of order $ k $ whose hyperplanes form an $ n $- parameter family is called an $ ( h , m , n ) ^ {k} $- manifold. A fundamental object of the first order is the basic object of an $ ( h , m , n ) ^ {k} $- manifold.

In applications of geometry to hydromechanics, field theory and differential equations one uses manifolds of lines and surfaces that are not algebraic, in general. The study of such manifolds is of interest for geometry in its own right. A curvilinear congruence in a three-dimensional space is a two-dimensional family $ \Gamma _ {t} $ of curves $ x = x ( t , u , v) $ such that through each point of the space passes, in general, a unique curve of the family. For fixed $ u $ and $ v $ a curve $ C _ {t} $ of the family $ \Gamma _ {t} $ is distinguished; for fixed $ t $ and variable $ u $ and $ v $ a surface $ S _ {uv} $ is distinguished which is called a transversal surface of the congruence $ \Gamma _ {t} $. Points of $ C _ {t} $ at which $ ( x x _ {t} x _ {u} x _ {v} ) = 0 $ are called focal points. The set of focal points of the curves $ C _ {t} $ of $ \Gamma _ {t} $ is called the focal surface of the congruence. A surface $ v = v ( u) $ of $ \Gamma _ {t} $ on which the curves $ C _ {t} $ have an envelope is called a principal surface of $ \Gamma _ {t} $.

References

[1] V.S. Malakhovaskii, "Differential geometry of manifolds of figures" J. Soviet Math. , 21 : 2 (1983) pp. 127–150 Itogi Nauk. i Tekhn. Probl. Geom. , 12 (1981) pp. 31–60
[a1] P.A. Griffiths, J.E. Harris, "Principles of algebraic geometry" , Wiley (Interscience) (1978) MR0507725 Zbl 0408.14001
How to Cite This Entry:
Manifold of figures (lines, surfaces, spheres). Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Manifold_of_figures_(lines,_surfaces,_spheres)&oldid=53701
This article was adapted from an original article by V.S. Malakhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article