View source for Differential geometry of manifolds

A branch of differential geometry dealing with various infinitesimal structures (cf. [[Infinitesimal structure|Infinitesimal structure]]) on a manifold and their connection with the structure of the manifold and its topology.

It became clear in the middle of the 19th century, with the discovery of the non-Euclidean Lobachevskii geometry, the higher-dimensional geometry of Grassmann, and with the development of projective geometry and geometry in the complex domain, that the conventional Euclidean geometry is not the only possible one, and that it is advantageous in mathematics to develop other, non-Euclidean, geometries, irrespective of their relationship with the geometry of physical space.

B. Riemann in 1854 proposed the new, very fruitful, concept of a  "manifold"  in his course Über die Hypothesen, welche der Geometrie zuGrunde liegen (cf. [[Riemannian space|Riemannian space]]). This paper was the origin of [[Riemannian geometry|Riemannian geometry]], which is the most important and the most advanced part of the differential geometry of manifolds. Riemann's concept does not merely represent a unified description of a wide class of geometries (including Euclidean geometry and Lobachevskii's non-Euclidean geometry), but has also provided the mathematical apparatus for a geometrical treatment of various problems in mathematical physics and in analysis connected with differential equations. This makes it possible to use various geometrical and topological concepts when solving these problems and has opened new possibilities for the application of geometry to analysis. It is Riemannian geometry which was used by A. Einstein to realize the idea of physical space as a continuum, the properties of which are determined by the distribution of matter. A Riemannian space is the name given to a [[Differentiable manifold|differentiable manifold]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d0321801.png" /> for which on each tangent space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d0321802.png" /> a Euclidean metric <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d0321803.png" /> (i.e. a positive-definite scalar product) is given, depending smoothly on the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d0321804.png" />. The presence of the scalar product on the tangent space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d0321805.png" /> of the Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d0321806.png" /> makes it possible to determine, by the formulas of Euclidean geometry, the angle between infinitesimal curves (i.e. vectors in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d0321807.png" />), the length of an infinitesimal curve, and also the volume of a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d0321808.png" />-dimensional parallelepiped in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d0321809.png" /> and then, by integration, the length of a smooth curve on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218010.png" /> and the volume of a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218011.png" />-dimensional submanifold in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218012.png" />. This in turn permits one to consider various variational problems in the framework of Riemannian geometry and, in particular, to define the concept of a geodesic (or a [[Geodesic line|geodesic line]]) in a Riemannian space as a curve of minimal length and a [[Minimal surface|minimal surface]] as a submanifold of minimal volume.

The study of the geodesics of a Riemannian space is one of the main problems of modern (global) Riemannian geometry. Its importance in applications is due to the fact that various dynamical systems in physics are interpreted as uniform motion along the geodesics of some pseudo-Riemannian space. Such systems include, for example, the motions of test bodies (cf. [[Geodesic hypothesis|Geodesic hypothesis]]) in general relativity theory, the propagation of light in a non-homogeneous medium in approximations of geometrical optics, and different systems of classical mechanics. It has been noted that certain important partial differential equations (the equation of motion of an ideal liquid and Einstein's equation of general relativity theory) can be interpreted as equations of geodesics for certain infinite-dimensional Riemannian spaces, which are also known as Hilbert manifolds [[#References|[5]]], [[#References|[12]]]. These discoveries stimulated the development of the geometry of infinite-dimensional manifolds — global analysis.

A complete integration of the equations of geodesics is possible only in exceptional cases. In this context, an important role is taken by geometrical and topological methods for the qualitative study of the behaviour of geodesics. Of these, the most important one is M. Morse's variational theory of geodesics (cf. [[Morse theory|Morse theory]], [[#References|[20]]]).

The generalization of Morse theory to pseudo-Riemannian spaces resulted in the proof of singularity theorems which state that, in general relativity theory, the physical space-time will usually have singularities (incomplete geodesics). The physical interpretation of a singularity is, for example, a  "black hole"  [[#References|[7]]].

The behaviour of geodesics of a Riemannian space is largely determined by its [[Curvature tensor|curvature tensor]] (the Riemann tensor) — a geometrical object characterizing the deviation of the Riemannian from the Euclidean space. Similarly to the [[Gaussian curvature|Gaussian curvature]] of a surface, the curvature tensor of a Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218013.png" /> at a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218014.png" />, which is a generalization of the Gaussian curvature, determines the properties of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218015.png" /> in a neighbourhood of the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218016.png" />. Moreover, the curvature tensor carries rich information about the global properties of the Riemannian space and its topology, e.g. on the [[Fundamental group|fundamental group]]; the Betti numbers (cf. [[Betti number|Betti number]]) and the characteristic classes (cf. [[Characteristic class|Characteristic class]]). The study of the connection between the local properties of the curvature tensor and the global properties of a Riemannian space is one of the principal problems of modern global Riemannian geometry [[#References|[21]]].

Any submanifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218017.png" /> of a Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218018.png" /> inherits from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218019.png" /> the structure of a Riemannian space. The study of submanifolds of a Riemannian space, as well as the clarification of the problem of the realization of a given Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218020.png" /> as a submanifold of a given Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218021.png" />, is the main subject of the geometry of submanifolds (see also [[Isometric immersion|Isometric immersion]]).

An important direction in the study of Riemannian spaces, starting with the work of S. Lie and W. Killing, is the study of their groups of isometries (i.e. transformations which preserve the lengths of curves); these are, invariably, Lie groups. Many important Riemannian spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218022.png" /> have a fairly rich group of isometries, and the presence of such a group is very helpful in the study of a large number of geometrical problems. The presence of a transitive group of isometries makes it possible to reduce the study of the geometry and topology of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218023.png" /> to problems of the theory of Lie groups (cf. [[Homogeneous space|Homogeneous space]]).

The description of the (connected) group of isometries <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218024.png" /> of a Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218025.png" /> is reduced to the description of the Lie algebra of infinitesimal motions (or Killing vectors, cf. [[Killing vector|Killing vector]]), which are defined as velocity fields of one-parameter subgroups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218026.png" />. Qualitative geometrical methods of studying Killing fields, and the clarification of the connection between these fields and the geometrical properties of space, mainly the properties of its curvature tensor, play an important role. Thus it can be proved, for example, that Killing fields do not exist in a compact Riemannian space with a negative Ricci curvature; an integral curve of a Killing field passing through an extremal point of its length is a geodesic [[#References|[16]]]; the behaviour of the Killing field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218027.png" /> in a neighbourhood of its stationary points (i.e. points where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218028.png" />) determines an important topological invariant of the Riemannian space — to wit, its [[Pontryagin number|Pontryagin number]] [[#References|[16]]].

Of special interest are Riemannian spaces with a sufficiently large group of isometries. As was noted by H. Helmholtz as early as 1868, and rigorously proved by Lie, an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218029.png" />-dimensional Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218030.png" /> with the largest (with respect to the dimension) group of isometries for a given <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218031.png" />, is a space of constant curvature (e.g., the Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218032.png" />, the Lobachevskii space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218033.png" /> or the spherical Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218034.png" />, cf. [[Constant curvature, space of|Constant curvature, space of]]). Spaces with properties closest to those of spaces of constant curvature are the symmetric spaces (cf. [[Symmetric space|Symmetric space]]), i.e. Riemannian spaces in which the geodesic symmetry with respect to an arbitrary point is an isometry. These spaces always have a transitive group of isometries and may be classified using the theory of semi-simple Lie algebras [[#References|[8]]].

An important role in differential geometry is played by the concept of the covariant derivative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218035.png" /> of a tensor field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218036.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218037.png" /> in the direction of the vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218038.png" />. This concept was introduced by G. Ricci, who used it as starting point in the development of  "absolute differential calculus"  (cf. [[Tensor analysis|Tensor analysis]]). The apparatus of covariant differentiation proved suitable for obtaining invariants of geometric objects. Thus, the complete system of invariants of a Riemannian metric, found by E. Christoffel and R. Lipschitz, consists of the curvature tensor and its successive covariant derivatives.

The concept of the covariant derivative makes it possible to define in a canonical manner a number of differential operators on a Riemannian space, the properties of which are closely connected with the geometry of the space. The most important one is the Laplace–Beltrami operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218039.png" />, which was introduced by E. Beltrami and which coincides with the [[Laplace operator|Laplace operator]] for a Euclidean space. A wide class of linear partial differential equations of the second order can be interpreted, in the framework of pseudo-Riemannian spaces, as equations corresponding to the Laplace–Beltrami operator. This allows one to utilize Riemannian geometry in the study of these equations. The first example of such an approach (for the heat equation) was given by Riemann [[#References|[1]]]. Results establishing the connection between the properties of the Laplace–Beltrami operator of a Riemannian space, in particular between its spectrum, and the geometry of the space — its curvature, the number of closed geodesics, etc. — have been obtained [[#References|[19]]].

T. Levi-Civita gave a geometric interpretation of the concept of the covariant derivative. He showed that in a Riemannian space it is possible to define in a canonical manner a parallel displacement of tangent vectors (tensors) along curves, while the Ricci operator of covariant differentiation is the operator of infinitesimal parallel displacement (cf. [[Levi-Civita connection|Levi-Civita connection]]).

In 1926 E. Cartan introduced the concept of a [[Holonomy group|holonomy group]] as the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218040.png" /> of linear transformations of the tangent space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218041.png" /> of a Riemannian space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218042.png" /> generated by the operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218043.png" /> of parallel displacements along all possible loops <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218044.png" /> through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218045.png" />. It was found that the holonomy group is closely connected with the curvature tensor of the space and, for a simply-connected analytic space, is completely defined by the curvature tensor and all its covariant derivatives at a point; on the other hand, it contains certain information on the geometry and topology of the space. Thus, if the holonomy group is known, it is possible to find all parallel fields, and also solve the problem on the possibility of decomposing the Riemannian space into the direct product of two other Riemannian spaces. Using the holonomy group of a symmetric space, the space itself can be constructed and its group of isometries can be determined.

In 1919, while developing the idea of parallel displacement of Levi-Civita and generalizing Riemann's concept of space, H. Weyl considered a space with a [[Linear connection|linear connection]] — a manifold with a specified law of parallel displacement of tangent vectors along curves. The concepts of geodesics, curvature tensor and holonomy group are all defined in a space with a linear connection. A Riemannian space is a special case of a space with a linear connection for which the holonomy group is contained in the orthogonal group. If the holonomy group is contained in the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218046.png" /> of linear homotheties, the connection is called conformal; in such a case a [[Conformal structure|conformal structure]] results on the manifold.

The development of the ideas of Weyl led to the construction of the modern theory of [[Connections on a manifold|connections on a manifold]], the subject of which are connections (i.e. laws of parallel displacement of fibres along curves in the base) on a given fibre bundle. This theory gave rise, in particular, to the theory of characteristic classes [[#References|[11]]], [[#References|[16]]]. The concept of a connection plays an important role in modern physics. Various physical fields (in particular, electromagnetic and gravitational fields) may be interpreted as fields of curvature of a connection in a given fibre bundle, in the framework of the Yang–Mills theory. The presence of connections on any physical fibre bundle, i.e. a fibre bundle with physical fields as sections, follows from the physical fact that field characteristics at different points of space-time can be compared (along a curve).

Another generalization of a Riemannian space is a [[Finsler space|Finsler space]], which is defined as a manifold with a Finsler metric. The Lagrangian of a mechanical system is an example of such a metric. Finsler manifolds also appear in optics in a natural way.

A new group-theoretical approach to the foundations of geometry — the so-called  "Erlangen programErlangen program"  — was proposed by F. Klein in 1872. He proposed that a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218048.png" />-space — a manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218049.png" /> together with a given group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218050.png" /> of transformations of it — be the main object of study in geometry.

According to Klein, the principal task of geometry is to study the invariants of the group of transformations (cf. [[Erlangen program|Erlangen program]]). While this approach proved to be too narrow — many important Riemannian spaces have a trivial group of isometries — it nevertheless played an important part in the development of the differential geometry of manifolds. It drew attention to the important class of homogeneous spaces (i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218051.png" />-spaces with a transitive group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218052.png" />). The study of the geometry of these spaces is reduced in the Erlangen program to problems of the theory of Lie groups, and has inspired further generalizations of the concept of Riemann. This generalization consisted in the study of the geometry of other (non-Riemannian) infinitesimal structures on a manifold given by a field of specific geometrical quantities. Many such structures were first obtained as invariants of the group of isometries of some homogeneous space.

Examples of non-Riemannian infinitesimal geometric structures include such structures as an absolute parallelism (field of frames), a [[Conformal connection|conformal connection]], a [[Projective connection|projective connection]], a [[Linear connection|linear connection]], a distribution (or, more generally, a [[Flag structure|flag structure]]), an [[Almost-complex structure|almost-complex structure]], an [[Almost-symplectic structure|almost-symplectic structure]], a field of affinors (cf. [[Affinor|Affinor]]), etc. The geometry of these structures has been developed in analogy with Riemannian geometry. Its principal problems are: 1) To construct other structures derived from a given geometrical structure, in particular invariants — in other words, the construction of functors from a given category of geometric structures of a certain type into other categories. 2) A study of the group of automorphisms of a geometric structure, a study of geometric structures with a sufficiently large group of automorphisms, a description of the structures of a given type with a maximal group of automorphisms, and a classification of the structures of a given type on homogeneous spaces. 3) The equivalence problem, i.e. finding necessary and sufficient conditions for two geometrical structures to be equivalent. 4) The study of the relation between the topology and the structure of a smooth manifold on one hand, and the properties of the geometric structure defined on it, on the other. 5) A study of the mappings of manifolds with geometric structures, in particular of fibre bundles and submanifolds.

The most important class of geometric structures are transitive structures or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218054.png" />-structures [[#References|[10]]]. All the examples of structures listed above (except for the field of affinors) are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218055.png" />-structures. The general theory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218056.png" />-structures is based on two fundamental ideas of Cartan: the concept of a prolongation and the concept of the structure function. In particular, in the case of a Riemannian metric these concepts lead to the Levi-Civita parallel displacement and the curvature tensor. The theory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218057.png" />-structures of finite type is being developed, in many respects, similarly to Riemannian geometry. The best studied problems in the geometry of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218058.png" />-structures of infinite type involve locally flat (integrable) structures, of which the most important ones are the complex structure (cf. [[Analytic manifold|Analytic manifold]]), the [[Symplectic structure|symplectic structure]], which is the base of Hamiltonian mechanics, and the [[Contact structure|contact structure]].

Cartan, who developed geometrical methods for solving systems of partial differential equations (Pfaffian systems), created the theory of exterior differential forms, which proved to be a major factor in the development of differential geometry [[#References|[22]]]. The operator of exterior differentiation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218059.png" /> proved useful in expressing the integrability conditions of systems of partial differential equations. For instance, a necessary and sufficient condition for complete integrability of a Pfaffian system of equations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218060.png" /> is that the ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218061.png" /> generated by the linear differential forms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218062.png" /> be closed with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218063.png" /> (the [[Frobenius theorem|Frobenius theorem]]). The theory of differential forms was successfully employed by Cartan to solve various problems in differential geometry and the theory of Lie groups by the [[Moving-frame method|moving-frame method]]. The theory of integration establishes a connection between the calculus of differential forms and the homology of a manifold (cf. [[De Rham cohomology|de Rham cohomology]]; [[Differential form|Differential form]]).

In a Riemannian space the operator of exterior differentiation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218064.png" /> can be expressed in terms of the operator of covariant differentiation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218065.png" />. Moreover, Hodge theory establishes an intimate connection between the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218066.png" /> and the Laplace–Beltrami operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218067.png" /> acting on the space of differential forms, which may be expressed in terms of the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218068.png" />. Hodge's theorem states that the cohomology space of a compact manifold is isomorphic to the space of harmonic (i.e. annihilated by the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218069.png" />) differential forms (cf. [[Harmonic form|Harmonic form]]). This, and a number of other statements in Hodge theory, yields information about the structure of the cohomology ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218070.png" /> of a Riemannian space with non-trivial parallel differential forms (cf. [[Parallel field|Parallel field]]) and hence having a non-standard holonomy group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218071.png" />. Kähler manifolds and symmetric spaces are examples of such spaces (cf. [[Kähler manifold|Kähler manifold]]; [[Symmetric space|Symmetric space]]).

An important trend in studies of modern differential geometry is the study of natural vector bundles over an arbitrary manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218072.png" /> (tangent and cotangent bundles of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218073.png" />, tensor bundles, frame bundles of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218074.png" />, jet bundles, etc.) and the discovery of their natural (i.e. invariant with respect to diffeomorphisms of the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218075.png" />) geometric structures [[#References|[23]]]. Examples of such structures include the canonical symplectic structure in the cotangent bundle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218076.png" /> and the canonical contact structure in the bundle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218077.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218078.png" />-jets of functions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218079.png" />, which play an important role in the theory of partial differential equations of the first order and in Hamiltonian mechanics, as well as the operator of exterior differentiation in the bundle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218080.png" /> of exterior differential forms on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218081.png" />.

The algebraic approach to differential geometry is developing successfully. The initial concept here is not the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218082.png" />, but rather a commutative ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218083.png" /> (the ring of functions on the manifold), while the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218084.png" /> itself is defined in terms of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218085.png" /> as the space of maximal ideals (cf. [[Scheme|Scheme]]). Vector fields on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218086.png" /> are defined as derivatives of this ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032180/d03218087.png" /> (cf. [[Derivation in a ring|Derivation in a ring]] and [[Differential operator on a module|Differential operator on a module]]). Such an approach makes it possible to generalize various results of differential geometry (e.g., to super-manifolds) and to simplify their proofs, to apply the ideas of differential geometry to other mathematical theories (e.g., to the theory of rings and modules) and, conversely, to use various algebraic results in differential geometry [[#References|[17]]].

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  B. Riemann,   "Collected works" , Dover, reprint  (1953)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  E. Cartan,   "Leçons sur la géométrie des espaces de Riemann" , Gauthier-Villars  (1928)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  V.F. Kagan,  , ''Outlines of geometry'' , Moscow  (1963)  pp. 437–519  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  P.K. [P.K. Rashevskii] Rashewski,   "Riemannsche Geometrie und Tensoranalyse" , Deutsch. Verlag Wissenschaft.  (1959)  (Translated from Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  V.I. Arnol'd,   "Mathematical methods of classical mechanics" , Springer  (1978)  (Translated from Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  L.P. Eisenhart,   "Riemannian geometry" , Princeton Univ. Press  (1949)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  S.W. Hawking,   G.F.R. Ellis,   "The large-scale structure of space-time" , Cambridge Univ. Press  (1973)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  S. Helgason,   "Differential geometry and symmetric spaces" , Acad. Press  (1962)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  R.L. Bishop,   R.J. Crittenden,   "Geometry of manifolds" , Acad. Press  (1964)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  S. Sternberg,   "Lectures on differential geometry" , Prentice-Hall  (1964)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  J.T. Schwartz,   "Differential geometry and topology" , Gordon &amp; Breach  (1968)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  S. Lang,   "Introduction to differentiable manifolds" , Interscience  (1967)</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  R. Sulanke,   P. Wintgen,   "Differentialgeometrie und Faserbündel" , Deutsch. Verlag Wissenschaft.  (1972)</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  R.O. Wells jr.,   "Differential analysis on complex manifolds" , Springer  (1980)</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  A. Lichnerowicz,   "Géométrie des groupes de transformations" , Dunod  (1958)</TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top">  S. Kobayashi,   K. Nomizu,   "Foundations of differential geometry" , '''1–2''' , Interscience  (1963–1969)</TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top">  I.S. Krasil'shchik,   V.V. Lychagin,   A.M. Vinogradov,   "Geometry of jet spaces and nonlinear partial differential equations" , Gordon &amp; Breach  (1986)  (Translated from Russian)</TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top">  S.S. Chern,   "Geometry of characteristic classes"  ''Uspekhi Mat. Nauk'' , '''33''' :  3  (1973)  pp. 15–111  (In Russian)</TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top">  S.A. Molchanov,   "Diffusion processes and Riemannian geometry"  ''Russian Math. Surveys'' , '''30''' :  1  (1975)  pp. 1–63  ''Uspekhi Mat. Nauk'' , '''30''' :  1  (1975)  pp. 3–59</TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top">  J. Cheeger,   D.G. Ebin,   "Comparison theorems in Riemannian geometry" , North-Holland  (1975)</TD></TR><TR><TD valign="top">[21]</TD> <TD valign="top">  W. Greub,   S. Halperin,   R. Vanstone,   "Connections, curvature, and cohomology" , '''1–3''' , Acad. Press  (1972–1976)</TD></TR><TR><TD valign="top">[22]</TD> <TD valign="top">  P. Flaschel,   W. Klingenberg,   "Riemannsche Hilbertmannigfaltigkeiten. Periodische Geodäten" , ''Lect. notes in math.'' , '''282''' , Springer  (1972)</TD></TR><TR><TD valign="top">[23]</TD> <TD valign="top">  Ph.A. Griffiths,   "Exterior differential systems and the calculus of variations" , Birkhäuser  (1983)</TD></TR><TR><TD valign="top">[24]</TD> <TD valign="top">  S. Kobayashi,   "Transformation groups in differential geometry" , Springer  (1972)</TD></TR><TR><TD valign="top">[25]</TD> <TD valign="top">  A.L. Besse,   "Einstein manifolds" , Springer  (1987)</TD></TR><TR><TD valign="top">[26]</TD> <TD valign="top">  A.L. Besse,   "Géométrie Riemannienne en dimension 4" , F. Nathan  (1981)</TD></TR></table>



====Comments====
For a modern version of Morse's theory see [[#References|[a1]]]. For Riemann's course see also [[#References|[a2]]]. References [[#References|[a10]]]–[[#References|[a13]]] are all general books on differentiable manifolds and applications.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  W. Klingenberg,   "Lectures on closed geodesics" , Springer  (1968)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  B. Riemann,   "Ueber die Hypothesen, welche der Geometrie zuGrunde liegen" , ''Das Kontinuum und andere Monographien'' , Chelsea, reprint  (1973)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  H. Rund,   "The differential geometry of Finsler spaces" , Springer  (1959)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  E. Cartan,   "Les systèmes différentielles extérieurs et leur applications géométriques" , Hermann  (1971)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  P.A. Griffith,   G.R. Jensen,   "Differential systems and isometric embeddings" , Princeton Univ. Press  (1987)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  H. Flanders,   "Differential forms with applications to the physical sciences" , Acad. Press  (1963)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  E. Kähler,   "Einführung in die Theorie der Systeme von Differentialgleichungen" , Chelsea, reprint  (1949)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  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)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  J.W. Milnor,   J.D. Stasheff,   "Characteristic classes" , Princeton Univ. Press  (1974)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  G. de Rham,   "Differentiable manifolds" , Springer  (1984)  (Translated from French)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  W.M. Boothby,   "An introduction to differentiable manifolds and Riemannian geometry" , Acad. Press  (1975)</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  C. DeWitt-Murette,   "Analysis, manifolds and physics" , North-Holland  (1982)  (Translated from French)</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  J. Dieudonne,   "Treatise on analysis" , '''4''' , Acad. Press  (1974)</TD></TR></table>