Namespaces
Variants
Actions

Difference between revisions of "Geometric objects, theory of"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
Line 177: Line 177:
 
The functions linking the various sets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044270/g044270241.png" /> numbers are precisely the transformation rules of the geometric object in question. Geometric objects thus appear as the most general objects to be studied in differential geometry. Cf. [[#References|[a1]]], pp. 61ff for a great deal of material on geometric objects from this point of view.
 
The functions linking the various sets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044270/g044270241.png" /> numbers are precisely the transformation rules of the geometric object in question. Geometric objects thus appear as the most general objects to be studied in differential geometry. Cf. [[#References|[a1]]], pp. 61ff for a great deal of material on geometric objects from this point of view.
  
Geometric objects as defined just above and geometric objects associated to a Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044270/g044270242.png" /> do not occur much in the modern mathematical literature. Instead one finds the related notions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044270/g044270243.png" />-structures (cf. [[G-structure(2)|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044270/g044270244.png" />-structure]]), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044270/g044270245.png" />-structures (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044270/g044270246.png" /> is a (Lie) pseudo-group, cf. [[Pseudo-group structure|Pseudo-group structure]]) and the topic of (local) transformation groups acting on manifolds [[#References|[a2]]].
+
Geometric objects as defined just above and geometric objects associated to a Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044270/g044270242.png" /> do not occur much in the modern mathematical literature. Instead one finds the related notions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044270/g044270243.png" />-structures (cf. [[G-structure|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044270/g044270244.png" />-structure]]), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044270/g044270245.png" />-structures (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044270/g044270246.png" /> is a (Lie) pseudo-group, cf. [[Pseudo-group structure|Pseudo-group structure]]) and the topic of (local) transformation groups acting on manifolds [[#References|[a2]]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J.A. Schouten,  "Ricci-calculus. An introduction to tensor analysis and its geometrical applications" , Springer  (1954)  (Translated from German)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  S. Kobayashi,  "Transformation groups in differential geometry" , Springer  (1972)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J.A. Schouten,  "Ricci-calculus. An introduction to tensor analysis and its geometrical applications" , Springer  (1954)  (Translated from German)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  S. Kobayashi,  "Transformation groups in differential geometry" , Springer  (1972)</TD></TR></table>

Revision as of 08:31, 19 October 2014

A branch of differential geometry based on the theory of group representations. The use of the method of exterior differential forms makes it possible to introduce differential criteria into the theory of geometric objects, which convert it to an effective tool in differential-geometric studies of spaces with fundamental groups, as well as of generalized spaces (fibre spaces, spaces with a connection, differentiable manifolds endowed with different differential-geometric structures).

Let each element of an -parameter Lie group be put into correspondence with a transformation of each point belonging to some domain of a topological space , and let the zero element of the group correspond to the identity transformation (mapping) of the space into itself. Let a successive execution of transformations by two elements and be equivalent with the transformation effected by the product of these elements, and let a coordinate system be suitably introduced into the space. One then says that is locally represented on as a transformation group. The space is called a representation space of the group or a space with fundamental group .

A geometric object with given fundamental group , or a geometric object associated to a group (a -object for short), is defined as a point of the representation space of . This space itself is called a space of geometric objects in the wide sense of the word, or a generalized homogeneous space. A group of transformations of a space of geometric objects which realizes its fundamental group is called the fundamental group of this geometric object. Two geometric objects in the same representation space of a group are called equivalent if one of them may be transformed into the other by a transformation of . An intransitivity system is called a space of geometric objects in the proper sense. A representation space of is called a homogeneous space with fundamental group if on it a faithful transitive representation of this group is realized. In any faithful representation space of a finite group there exists a frame consisting of a finite number of points.

Let a faithful transitive representation be realized in the space of geometric objects . Let the representation space be a manifold and together with a frame let it be subjected to all possible transformations of the fundamental group , then a complete family (space) of frames is obtained on which a simply-transitive representation of is realized. This space is identified with the group space, or the parameter space, of . If an arbitrary point (frame) of this space is taken as reference point and is brought into correspondence with the unit element of , then all the points of this space are brought in a one-to-one correspondence with the elements of . Group parameters may be regarded as parameters of the moving frame.

It is also possible to establish a one-to-one correspondence between the frames of the family and the elements of the group such that each element of the group is brought into correspondence with the frame obtained from an arbitrary fixed initial (absolute) frame by right (left) shift by the element : . To a current element will correspond a current "moving" frame . Each point of the representation space of is defined with respect to the frame by its coordinates , , which are called absolute coordinates, or absolute components, of the geometric object . The relative components of the geometric object relative to the frame are the absolute components of the geometric object into which the object under consideration is converted by the transformation which changes the moving frame into the absolute frame : and , where are group parameters of the -parameter group, . The relative components of a fixed geometric object satisfy the completely-integrable system of differential equations

(1)

where are left-invariant forms of and . The system (1) is called a system of differential equations of invariance of the geometric object, and also a system of differential equations of the representation of the group with invariant forms . The functions are called the principal geometric object determining functions (or representation-determining functions). A system of the form (1) is a system of differential equations of invariance of a geometric object with relative components and group if and only if the coefficients are functions of the variables alone and the given system (1) is completely integrable (the fundamental theorem in the theory of geometric objects). Fulfillment of the structure Lie equations for the object-determining functions :

are necessary and sufficient conditions for complete integrability of the system of differential equations of invariance of the geometric object. The differential forms

are called the structure forms of the representation, or the structure forms of the geometric object, with relative components . The dimension of the representation space of a geometric object is taken to be the rank of the object . A necessary condition for a faithful transitive representation of an -parameter group on a space of objects is the relation . The number , where is the rank of the matrix , is called the genre of the geometric object. The genre coincides with the number of independent absolute invariants of the geometric object.

The system of forms

where

is completely integrable. For a fixed point of a representation space of the group ,

and the resulting forms

satisfy the structure equations of a linear group.

The number of linearly independent forms among the forms

is an arithmetic invariant of the representation space of . The number is called the character of isotropy of order of the representation space of . The numbers form a non-increasing sequence. There always exists a smallest number such that

The number is also an arithmetic invariant of the representation space of and is called the order of non-linearity of the geometric object .

If a system of differential equations of invariance

(2)

contains a subsystem

then the system of components defines a geometric object — a subobject of the geometric object with relative components .

If two geometric objects and are associated to the same group, and all relative components of one object can be represented by certain analytic functions in the relative components of the second object:

(3)

then one says that the object is covered by the object . The geometric object is called the covering geometric object, while the object is said to be the covered geometric object. Two geometric objects and are called similar if each one covers the other. The ranks, genres, characteristics, and types of similar geometric objects are identical. A special case of similar geometric objects are isomers: geometric objects which only differ in the order of their components. If the system of differential equations of invariance of a geometric object is algebraically solvable with respect to all invariant forms of the group , then any other object associated to can be covered by this object.

A system of functions (3) will be a system of relative components of a geometric object if and only if, in the system of differential equations which is satisfied by , the coefficients of the decomposition of in the forms are functions of these components only, i.e.

(4)

If in the differential equations

which are satisfied by the components of a geometric object with relative components , the functions are homogeneous with respect to the components of , then the system of functions is said to be a truncated geometric object.

Let there be given a geometric object and an object covered by it, i.e. ; then

The totality of relative components of the covering geometric object , of the covered geometric object and the partial derivatives of the latter with respect to the former form a system of relative components of a new covered geometric object:

(5)

If equations (2) and (4) are valid for and , respectively, then

The geometric object (5) is called the derived geometric object.

A geometric object is called a linear or a quasi-tensorial object if the group of transformations of its components is linear, i.e.

If , then the geometric object is called a linear homogeneous object, or a tensor. A geometric object is linear if and only if the principal functions which define it are of the form

where , are constant. A geometric object is a linear homogeneous object if and only if , i.e.

A one-component tensor is called an invariant. The differential equation of an invariant has the form , where are constants. If not all are zero, the invariant is called relative. If , the invariant is called absolute.

If is an -dimensional differentiable manifold and if are the local coordinates of a point , where is some domain in this manifold, then it is always possible to introduce a completely-integrable system of linear linearly independent differential forms whose first integrals are the coordinates . This means that

and

Consider a system of linear linearly independent forms which satisfy the following structure equations:

The forms have a fibre structure with respect to the forms and, if , i.e. if , become invariant forms of an -parameter Lie group with structure constants .

One says that a field of geometric objects associated to the group (a field of -objects) is (locally) defined on if at any point of this manifold there is defined a geometric object associated to some Lie group (a -object). Here

where () are the absolute coordinates of . Accordingly,

In other words, the system of functions satisfying the system of differential equations

(6)

is called a field of geometric objects associated to the group if the system , is completely integrable. The geometric object is called the generating object of the field, and the functions at become the relative components of . The equations are called the differential equations of the field of . The field of a geometric object determines a section in the associated fibre space, the base of which is , and the fibres of which are the spaces of the given geometric object.

The functions are called the principal determining field functions, and the coefficients are called the complementary determining functions of the field of the geometric object (or the Pfaffian derivatives of the field). The totality of functions is also a system of relative components of the geometric object, which is called the extension of or the extended geometric object of the first order of .

The system of differential equations (6) of the field of a geometric object is regularly prolongable along the forms . This means that as a result of exterior differentiation of the system one obtains a quadratic system of the form

where

The system

(7)

together with (6) forms a system of differential equations of the field of the prolonged geometric object. The system (6)–(7) in turn is regularly prolongable. After the -th prolongation one obtains a system of differential equations of the field of the extended geometric object of order with relative components

If the group to which the geometric object is associated is the differential group of order , the geometric object is called a differential-geometric object, while the field of such an object is called the field of the differential-geometric object.

If the generating object of a field covers another object (is covered by another object), the field of the former is called covering (covered), while the field of the latter is called covered (covering).

If a field of a geometric object has been defined on a differentiable manifold , then is said to be equipped, while the given field and the object generating it are called an equipping field and, correspondingly, an equipping object.

The field of an equipping geometric object induces a differential-geometric structure (a -structure in a wide sense of the word) on . For this reason an equipping object is also known as a structure object. The type of the structure is determined by the type of the structure object.

References

[1] G. Whitehead, "The foundations of differential geometry" , Cambridge Univ. Press (1932)
[2] G.F. Laptev, "Differential geometry of imbedded manifolds" Trudy Moskov. Mat. Obshch. , 2 (1953) pp. 275–382 (In Russian)


Comments

Let be a manifold, a point of . Quite generally, a geometric object at is a correspondence between (admissible) coordinate systems at and ordered sets of numbers (the components of the geometric object with respect to that coordinate system) such that

i) to each coordinate system at , , , corresponds one set of numbers;

ii) if the numbers correspond to the coordinate system and the numbers correspond to a coordinate system , , and on give the local coordinate-change functions, then the are functions of the , , and functionals of the , , in an arbitrary small neighbourhood of only.

If the coordinate transformations are all analytic, the requirement becomes that the are functions of only the and the values of the and all their partial derivatives at .

Thus, for example, tensors of various kinds (at a point) are geometric objects.

The functions linking the various sets of numbers are precisely the transformation rules of the geometric object in question. Geometric objects thus appear as the most general objects to be studied in differential geometry. Cf. [a1], pp. 61ff for a great deal of material on geometric objects from this point of view.

Geometric objects as defined just above and geometric objects associated to a Lie group do not occur much in the modern mathematical literature. Instead one finds the related notions of -structures (cf. -structure), -structures (where is a (Lie) pseudo-group, cf. Pseudo-group structure) and the topic of (local) transformation groups acting on manifolds [a2].

References

[a1] J.A. Schouten, "Ricci-calculus. An introduction to tensor analysis and its geometrical applications" , Springer (1954) (Translated from German)
[a2] S. Kobayashi, "Transformation groups in differential geometry" , Springer (1972)
How to Cite This Entry:
Geometric objects, theory of. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Geometric_objects,_theory_of&oldid=33890
This article was adapted from an original article by N.M. Ostianu (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article