Namespaces
Variants
Actions

Moving-frame method

From Encyclopedia of Mathematics
Revision as of 17:23, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A method in differential geometry for the local examination of submanifolds of various homogeneous spaces, in which the starting point is to provide the submanifold itself and all its geometrical objects with the most general possible (mobile) frame (of reference). This method includes making the frame of reference canonical, namely assigning to each point in the submanifold a unique frame of reference in an invariant manner, in order to obtain differential invariants characterizing the submanifold apart from transformations imbedding it in the surrounding homogeneous space. This method was proposed in its most general form by E. Cartan [1], who gave various examples of its application. Subsequently, the method was widely used and developed (see Method of extensions and restrictions). The analytic basis of the method is constituted by the invariant linear differential forms of Lie groups and their structure equations, as well as by the theory of representations of Lie groups as transformation groups. In modern geometry, the basic concepts of the method have required refinement, and they have been formulated in terms of the theory of bundles.

Let be an -dimensional homogeneous space and let be the -dimensional Lie group of its transformations ( acts from the left). Let be a representation, where is the isotropy group (stationary group) of a certain point ; let , , , be a basis of left-invariant vector fields on such that the restricted to also constitute a basis of left-invariant vector fields for the Lie subgroup . The basis corresponds to a dual basis of left-invariant linear differential forms on the Lie group . The canonical projection puts the points into correspondence with the left cosets of with respect to , and it introduces the structure of a principal -bundle with base and structure group of dimension on the Lie group . With this representation of , the vector fields constitute a basis of fundamental vector fields for the bundle , while the vector fields span a certain -distribution transverse to the fibres of . Correspondingly, the linear differential forms are a semi-basis of forms of the bundle and form a completely-integrable subsystem of forms in the system . The fibres are integral manifolds of maximal dimension for the system of Pfaffian equations (cf. Pfaffian equation; Completely-integrable differential equation).

A system of frames of reference in classical differential geometry (Euclidean, affine, projective, etc.) is a set of figures in that is in bijective correspondence with the set of transformations of (or, which is the same, with the set of elements of the fundamental group of that space). Moreover, any frame of reference from the given system can be obtained from some initial one by means of only one transformation:

As the main role of the moving frame of reference in relation to the fixed one is that it enables one to determine any transformation of the homogeneous space , one can identify the set of frames of reference with the set of elements of the fundamental group of the space, thus obtaining a notion of abstract frames of reference in any homogeneous space with given fundamental group .

Let some smooth submanifold of dimension be given. Frames of order zero for are elements of the restriction of the bundle to , as a new basis. This means that the principal bundle is imbedded in and is defined in it as the complete pre-image . As the left-invariant forms and in the Lie group satisfy the Maurer–Cartan equations

(1)

where , , , , are the structure constants of the Lie group, the restrictions of the forms and to the subbundle , i.e. the forms and , will be subject to the same equations, but in addition between the forms one has the linear relations

(2)

Here the are forms that remain, along with , linearly independent in the principal bundle , while the are functions also defined on the bundle of frames of order zero of . The functions are coordinates in the tangent plane of the submanifold , which depend on the point and the frame

The tangent planes form a section of the Grassmann bundle of -planes passing through the points of . The bundle is associated to the principal bundle . The structure of the functions is characterized by the equations

(3)

the explicit form of which can be obtained by exterior differentiation (cf. Exterior form) of (2) by means of (1) and subsequent application of Cartan's lemma (cf. Cartan lemma). The functions and are the relative coordinates of the one-jet of the section in relation to the moving frame for a point . The geometric object forms also a section of the corresponding bundle associated to the principal bundle . Similarly one obtains the section with coordinates , , of the generating geometric object, and also the subsequent extensions , which correspond to differential extensions of (3).

As long as the bundle to which the section belongs is homogeneous, it is possible to perform a reduction of the principal bundle of frames to a certain subgroup defined by Cartan by fixing the relative coordinates for the geometric object , which is independent of the point . In this way one defines a partial canonization of the frame of reference. The frames are called semi-canonical frames of order for the given submanifold . If the subsequent continuation gives geometric objects whose isotropy group contains only the identity transformation, it is possible to fix only some of the coordinates of the geometric objects of the section which do not depend on the point , after which the other coordinates of of the geometric object depend only on . One thus gets a section of the bundle of frames of order zero of . The frame of this section is called the canonical frame of the submanifold or the accompanying frame of this submanifold. The above process for the continuation of the equations (3) and the method selected for fixing the function leads to the equations

(4)

which connect the linear forms and in the section . The field of the canonical frame is not constructed unambiguously, being dependent on arbitrarily fixing the relative coordinates of the geometric object . The only important point is that some of the coefficients in (4) have constant numerical values (preferably the simplest ones), whereas the others form differential invariants for the submanifold that define it up to transformations in . The canonical frames for the section are analogues of a classical example, the accompanying Frénet frame (cf. Frénet trihedron) for a curve in the Euclidean space, while equations (4) correspond to the Frénet equations (cf. Frénet formulas) for the curve. During the canonization of the frame of reference, complications may arise connected with the inhomogeneity of the bundles and the differences in type (in this sense) between the different submanifolds in , and even in individual parts of them. This is the basis for classifying the various types of points and various classes of submanifolds in . On account of these features, the moving-frame method has played a fruitful part in research on submanifolds in various homogeneous spaces, and it has also indicated a way of developing modern methods of investigating very general differential-geometric structures on smooth manifolds.

References

[1] E. Cartan, "La théorie des groupes finis et continus et la géométrie différentielle traitées par la méthode du repère mobile" , Gauthier-Villars (1937)
[2] J. Favard, "Cours de géométrie différentielle locale" , Gauthier-Villars (1957)
[3a] H. Cartan, "Differential forms" , Kershaw (1983) (Translated from French)
[3b] H. Cartan, "Calcul différentielle" , Hermann (1967)
[4] S.P. Finikov, "Cartan's method of exterior forms in differential geometry" , 1–3 , Moscow-Leningrad (1948) (In Russian)


Comments

In [a3], Chapt. II, Sect. IV: La méthode du repère mobile, Cartan writes as follows. "We shall resume the projective differentiable study of plane curves by attaching in an intrinsic way…a moving frame to the current point of the curve and study the properties of the curve by those of the displacements of the frame" .

Let be -dimensional differentiable manifold and a point of . A frame at is a basis of the tangent space at . Given vector fields on such that are linearly independent for each , the define a moving frame (repère mobile) on . Conversely, every moving frame , i.e. a section of the frame bundle (cf. Frame), determines such an -tuple of vector fields. In Cartan's theory the basic idea is to express everything in terms of an arbitrary moving frame and not just in terms of the "natural" frames defined by a (local) system of coordinates. This has been a very fruitful idea, not at least because a moving frame may well exist on a region which cannot even be included in a coordinate system. For example, there is a rather obvious moving frame on the whole torus. Similarly, there are the very useful moving frames defined in the main article above on the whole of the homogeneous spaces which are given by suitable left-invariant vector fields.

On a Riemannian manifold an orthonormal moving frame is one for which the form an orthonormal basis of for all . An orthonormal moving frame can be obtained from an arbitrary one by Gram–Schmidt orthonormalization.

References

[a1] G. Jensen, "Higher order contact of submanifolds of homogeneous spaces" , Lect. notes in math. , 610 , Springer (1977)
[a2] S. Kobayashi, K. Nomizu, "Foundations of differential geometry" , 1–2 , Interscience (1969)
[a3] E. Cartan, "Théorie des espaces à connexion projective" , Gauthier-Villars (1937)
[a4] M. Spivak, "A comprehensive introduction to differential geometry" , II , Publish or Perish (1970) pp. Chapt. VII
How to Cite This Entry:
Moving-frame method. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Moving-frame_method&oldid=17828
This article was adapted from an original article by E.L. Evtushik (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article