Difference between revisions of "Geometric objects, theory of"
(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 | + | 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) |
Geometric objects, theory of. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Geometric_objects,_theory_of&oldid=33890