An immersion (cf. Immersion of a manifold) of a -dimensional metric manifold into an -dimensional Riemannian space , , as a -dimensional surface , such that the distance between any two points in is the same as the distance between their images measured along the surface in . This definition can be generalized if the Riemannian space is replaced by a more general metric space. A special case of an isometric immersion is an isometric imbedding — a one-to-one immersion.
The main problems in the theory of isometric immersions are: 1) the possibility of an isometric immersion of a given manifold into a given space; and 2) the problem of uniqueness, if an isometric immersion exists. These problems are considered under various conditions on the manifold and its isometric image — smoothness, regularity, analyticity, convexity, etc. Under each of these conditions the main problems in the theory of isometric immersions take the following form: a) the question of global isometric immersion of into ; b) the question of local isometric immersion of into (i.e. the isometric immersion of a sufficiently small neighbourhood of a distinguished point into ); c) in the local and the global cases, the determination of the smallest such that can be immersed (imbedded) into the Euclidean space of dimension (the number is called the immersion class, respectively imbedding class, of ); and d) the problem of the isometric deformation of a given immersion.
From the analytic point of view, the question of the existence of an isometric immersion of into is equivalent to the solution of a system of non-linear partial differential equations. For an isometric immersion into , this system has the form
where is the desired isometric immersion and is the metric tensor of in the local coordinates . For the solution of this system in the global case, use is made of the so-called free mapping into (see Nash theorems (in differential geometry)). For the local analytic case, the Cauchy–Kovalevskaya theorem is used instead of an implicit-function theorem. The role of the free mapping and the implicit-function theorem remains the same in the general case for immersions of class , or , into Riemannian and pseudo-Riemannian spaces. Different methods are used for isometric immersions of class . These are based on deformations of the immersion, enabling one to change the immersion while keeping track of the variation in the metric. In investigating isometric immersions into , the Gauss–Meinardi–Codazzi equations are also used (cf. Peterson–Codazzi equations).
Global isometric immersion.
Every compact Riemannian manifold of class () has an isometric imbedding of class into every ball in , for some ; if is not compact, then it has an imbedding of class into any part of , where , for some (see ). The dimension of the space can be reduced in the cases and : Every Riemannian manifold (compact or not, with or without boundary) of class () has an isometric imbedding of class () into , for some .
For a -dimensional hyperbolic space an isometric imbedding of class into has been obtained in explicit form, and an isometric imbedding of class into , , for a -dimensional elliptic space has also been obtained.
In the results here listed, the smoothness of the surface is not greater than that of the immersed metric. This fact is not accidental; indeed, every -dimensional surface () of class , , , into is an isometric immersion of class of some Riemannian manifold of class (see ).
A lower bound for the dimension of the spaces into which an isometric immersion of a Riemannian manifold can be realized is given by the following theorem: Suppose that a compact Riemannian manifold of class has the following property: At each point of there exists a -plane such that all curvatures in all two-dimensional directions in it are non-positive; then does not have an isometric immersion of class into any with ; if the condition imposed on the curvature of is restricted to a single point and , then there exists an isometric immersion of class into . For example, a flat -dimensional torus does not have an isometric immersion of class into ; if is a power of 2, then the real projective space endowed with a metric with everywhere-positive scalar curvature, in particular, a -dimensional elliptic space, does not have an isometric immersion of class into .
Results concerning the isometric immersions of class are sharply different from the preceding ones. They can be stated as follows: If a compact Riemannian manifold of class (with or without boundary) has an immersion of class into with , then it also has an isometric immersion of class into ; if a non-compact Riemannian manifold of class has a short immersion (that is, one not extending the line element at each point) of class into , , not intersecting its limit set, then it has an isometric immersion of class into (see ) (here the limit set of an immersion of a manifold into is the set of points of such that there is a divergent sequence of points of the image of which in converges to ). In particular, every compact Riemannian manifold of class (with or without boundary) has an isometric immersion of class into ; every non-compact Riemannian manifold of class has an isometric immersion of class into .
If isometric immersions (isometric imbeddings) of class of a Riemannian manifold into with can be joined by a short regular homotopy (a short diffeotopy), then they can be joined by a deformation consisting of isometric immersions (isometric imbeddings) of class . In particular, in the compact case isometric immersions (isometric imbeddings) of class can be joined by a deformation consisting of isometric immersions (isometric imbeddings) of class if and only if they are regularly homotopic (regularly diffeotopic).
Local isometric immersions.
In 1873, L. Schläfli conjectured that every Riemannian manifold of dimension has a local isometric immersion into the Euclidean space , . This conjecture has been established only for analytic manifolds (see Janet theorem); i.e., in every Riemannian manifold of class there exists a neighbourhood of an arbitrary point having an isometric imbedding of class into , where . In a Riemannian space of class there exists a neighbourhood of an arbitrary point having an isometric imbedding of class into where (see ). On the other hand, for every Riemannian manifold of class there is a neighbourhood of an arbitrary point having an isometric imbedding of class into .
The discovery of conditions under which a given manifold has an isometric immersion into , , goes in quite different directions. This is connected with the fact that not every Riemannian manifold has an isometric immersion into : For , , the set of Riemannian metrics that are locally induced on a smooth manifold by the local imbeddings of class into , , is nowhere dense in the set of all Riemannian metrics of class on , endowed with the usual -topology; for and , this assertion remains true if and are related by the inequality .
In the solution of the problem of determining the isometric immersion class (see above) of a manifold, the minimum found in the local formulation also bounds from below the value of for a global isometric immersion. However, the exact value of the smallest such that every manifold , , of class , , has an isometric immersion of class into is unknown. There are some special devices for calculating the isometric immersion class of a given Riemannian manifold into . Thus, if and only if the curvature tensor of is identically zero. There exists an algebraic criterion for determining whether the isometric immersion class is 1, based on the fact that under certain additional assumptions, the Peterson–Codazzi equations are a consequence of the Gauss equation for metrics of class 1 . In particular, the metrics of constant positive curvature have class 1 and, for , are realized in the form of hyperspheres in a Euclidean space. But if the Ricci curvature of is zero, then .
Almost all results discussed here can be generalized to isometric immersions from one Riemannian space into another. This is the case, for example, for immersions of class , for local isometric immersions, for sufficiently-smooth isometric immersions of -dimensional manifolds into a of sufficiently-large dimension, for the connections between the orders of smoothness of surfaces and their metrics, etc.
Questions of isometric immersibility carry over to pseudo-Riemannian manifolds. In this case, in addition to the dimensions and , use is made of the dimensions and of the positive and negative parts of the metric tensor on the immersed manifold and the analogous dimensions and of the ambient space . E.g., Janet's theorem holds in the pseudo-Riemannian case with , , .
Isometric immersions of two-dimensional manifolds.
Many problems of this type have been solved completely in the sense that the space into which the immersion is to be constructed has minimal dimension. Here, special methods of solution have been developed, based on the general theory of non-linear partial differential equations and topological-geometric considerations.
The Weyl problem, posed in 1916, states: Does a two-dimensional Riemannian manifold have an isometric immersion into if it is homeomorphic to a sphere and has positive Gaussian curvature? A complete solution of the Weyl problem, generalized to the case concerning isometric immersibility of an into a three-dimensional Riemannian space , was given by A.V. Pogorelov : Let be a complete three-dimensional Riemannian space, and let be a closed topological sphere equipped with a Riemannian structure having Gaussian curvature everywhere greater than some constant (greater than, equal to, or less than zero). If the curvature of the ambient space is everywhere less than , then has an isometric immersion into as a regular surface . This immersion can be brought in such a position that a given two-dimensional element of (a point and a pencil of directions at it) coincides with a given two-dimensional element in isometric with , and the surface is located in the direction given by . If the metrics of and belong to , , then belongs at least to , . The surface is determined uniquely by the two-dimensional element. Every two isometric immersions of class , , , into can be joined by a deformation consisting of isometric immersions in the same class.
The Weyl problem has been investigated from a completely different point of view by A.D. Aleksandrov, who has constructed a theory of (non-regular) two-dimensional manifolds with a convex metric  (such manifolds can be defined as limits of regular manifolds with positive Gaussian curvature) and suggested the following plan for the solution of the Weyl problem: 1) generalize the statement of the problem by taking for a manifold with an arbitrary, in general non-regular, metric; 2) then establish regularity of an isometric immersion in accordance with that of the metric in . The accomplishment (by him) of the first part of this plan leads to an exhaustive result: Every manifold that is homeomorphic to a sphere, and with a convex metric, has an isometric immersion into in the form of a closed convex surface. The realization of the second part of the plan was achieved by Pogorelov , where the problem of the regularity of a convex surface with a regular metric was solved completely: If a convex surface has a metric of class , , , and has positive Gaussian curvature, then belongs to . If the metric of is analytic, then is itself analytic. Similar theorems hold for convex surfaces in a space of constant curvature. Under certain conditions there exist isometric immersions of two-dimensional Riemannian manifolds of positive Gaussian curvature that are homeomorphic to the plane or the disc. In addition to this, examples have been constructed of analytic metrics of positive curvature defined on the disc and not having isometric immersions of class into .
Hilbert's theorem stating that the Lobachevskii plane has no isometric immersion of class into naturally led to the problem: Do some complete two-dimensional metrics with curvature bounded from above by a negative constant (the so-called metrics of type ) have immersions into ? The solution of this problem was given by N.V. Efimov : If is a complete surface of class in with Gaussian curvature , then , so that, in particular, metrics of type do not have immersions into . In this connection, the question as to which parts of metrics of type (that is, domains in two-dimensional manifolds on which these metrics are given) can be immersed in is of interest. A specific answer to this question was obtained in . Suppose that the line element is given on the infinite strip
in with Cartesian coordinates , , where , , has the following properties: a) itself, all its -th derivatives and the Lipschitz constants with respect to of all the derivatives with respect to of the -st derivatives, are bounded in ; b) ; and c) the Gaussian curvature is such that . Then generates a Riemannian structure of class on the manifold with boundary, and the Riemannian space so obtained has an isometric immersion of class , , into . In particular, there exists an isometric immersion of any geodesic disc with an arbitrary (regular) metric of negative curvature. There is a number of theorems relating to isometric immersions of non-compact parts of metrics of negative curvature into . Bounds have been given for the dimensions of the domains onto which a surface of negative (separated from zero) curvature has a one-to-one projection.
Since the metrics of type are not globally immersible in , the problem of the isometric immersion of these metrics in Euclidean spaces of higher dimensions remains. There are only partial results in this direction; for example, there exists an isometric imbedding of class of the Lobachevskii plane into and an isometric immersion into ; there is an example of a regular metric of type having an isometric immersion into ; however, it is not known if there is an isometric immersion of the Lobachevskii plane of class , into .
The question of the isometric immersibility into of a metric with alternating curvature remains open, even in the local case. Thus, an example has been constructed  of a two-dimensional Riemannian manifold of class not having a local isometric immersion of class into . The problem of realizing an analytic metric with alternating curvature has been solved by the following theorem : Suppose that the metric is given on the rectangle in , and that is an analytic function in some open rectangle containing ; then the analytic Riemannian manifold with boundary generated by the given metric on has an analytic isometric immersion into . There are a number of results concerning the isometric immersions of regular metrics of alternating curvature into Euclidean spaces of higher dimension (but close to three). Thus, if is a complete Riemannian manifold of class which is homeomorphic to the plane, then each of its compact parts has an isometric immersion of class into ; a Riemannian manifold homeomorphic to a torus also has an isometric immersion into . Every compact two-dimensional Riemannian manifold of class () has an isometric immersion (and even an isometric imbedding) of class () into . The two-dimensional sphere with any Riemannian metric of class has an isometric immersion of class into , and the Klein bottle and the Möbius strip have isometric immersions into .
If regularity of the immersion is dropped, then every two-dimensional Riemannian metric of class , , has an isometric immersion of class into . However, in this case, the usual connections between the intrinsic and extrinsic geometries of the surface realizing the metric are violated. A local isometric immersion of a metric of the two-dimensional sphere as a locally non-convex surface of class into has been constructed for any , and an analogous global isometric immersion for any . On the other hand, if the surface belongs to , , then , having alternating interior curvature, must have bounded exterior curvature. In particular, if the interior curvature of is positive, then is a locally convex surface, and if in addition the metric of the surface is regular, then the surface itself is regular. Thus, the lower bound for the values of for which the connection between the intrinsic and extrinsic geometries of a surface of class with alternating interior curvature is preserved lies in the interval . Finally, all orientable manifolds of bounded exterior curvatures not having points of curvature have isometric imbeddings into as differentiable surfaces. In the investigation of non-regular isometric immersions, piecewise-linear isometric immersions of piecewise-linear metrics are also studied; thus, every evolute which is homeomorphic to a closed domain in an orientable closed surface can be isometrically imbedded as a polyhedron in .
|||N.V. Efimov, "Problems of global isometric imbedding" , Proc. 4-th All-Union Math. Congress , 1 , Leningrad (1963) pp. 86–99 (In Russian) MR0158336|
|||I.Ya. Bakel'man, A.L. Verner, B.E. Kantor, "Introduction to differential geometry "in the large" " , Moscow (1973) (In Russian)|
|||A.V. Pogorelov, "Extrinsic geometry of convex surfaces" , Amer. Math. Soc. (1973) (Translated from Russian) MR0346714 Zbl 0311.53067|
|||A.D. Aleksandrov, "Die innere Geometrie der konvexen Flächen" , Akademie Verlag (1955) (Translated from Russian)|
|||E.G. Poznyak, E.V. Shikin, "Surfaces of negative curvature" J. Soviet Math. , 5 (1976) pp. 865–887 Itogi Nauk. i Tekhn. Alg. Topol. Geom. , 12 (1974) pp. 171–207 Zbl 0107.15502|
|||J. Nash, "The imbedding theorem for Riemannian manifolds" Ann. of Math. (2) , 63 (1956) pp. 20–63|
|||M.L. Gromov, V.A. Rokhlin, "Embeddings and immersions in Riemannian geometry" Russian Math. Surveys , 25 : 5 (1970) pp. 1–57 Uspekhi Mat. Nauk , 25 : 5 (1970) pp. 3–62 Zbl 0222.53053 Zbl 0202.21004|
|||I.Kh. Sabitov, S.Z. Shevel', "The connections between the order of smoothness of a surface and its metric" Siberian Math. J. , 17 : 4 (1977) pp. 687–693 Sibirsk. Mat. Zh. , 17 : 4 (1976) pp. 916–925 Zbl 0386.53014|
|||T. Ôtsuki, "Isometric imbedding of Riemann manifolds in a Riemann manifold" J. Math. Soc. Japan , 6 (1954) pp. 221–234 MR0067550 Zbl 0058.37702|
|||J. Nash, "Analyticity of the solutions of implicit function problems with analytic data" Ann. of Math. , 84 (1966) pp. 345–355 MR0205266 Zbl 0173.09202|
|||N.A. Rozenson, "Sur les espaces de Riemanniens de classe I, III" Izv. Akad. Nauk SSSR Ser. Mat. , 7 (1943) pp. 253–284 (In Russian) (French summary)|
|||A. Friedman, "Local isometric imbedding of Riemannian manifolds with indefinite metrics" J. Math. Mech. , 10 (1961) pp. 625–649 MR0125544 Zbl 0187.19103|
|||I.Kh. Sabitov, "The regularity of convex regions with a metric that is regular in the Hölder classes" Siberian Math. J. , 17 : 4 (1977) pp. 681–686 Sibirsk. Mat. Zh. , 17 : 4 (1976) pp. 907–915 Zbl 0386.53041|
|||N.V. Efimov, "Generation of singularities on surfaces of negative curvature" Mat. Sb. , 64 : 2 (1964) pp. 286–320 (In Russian)|
|||E.G. Poznyak, "Regular global realizations of two-dimensional metrics with negative curvature" Ukr. Geom. Sb. : 3 (1966) pp. 78–92 (In Russian)|
|||A.V. Pogorelov, "An example of a two-dimensional Riemannian metric admitting no local realization in " Soviet Math. Izv. , 12 : 3 (1971) pp. 729–730 Dokl. Akad. Nauk SSSR , 198 : 1 (1971) pp. 42–43|
|||E.G. Poznyak, "Isometric immersions of two-dimensional Riemannian metrics in Euclidean space" Russian Math. Surveys , 28 : 4 (1973) pp. 47–77 Uspekhi Mat. Nauk , 28 : 4 (1973) pp. 47–76 Zbl 0289.53004|
|||Yu.D. Burago, V.A. Zalgaller, "Polyhedral imbedding of nets" Vestnik Leningrad. Univ. Ser. Mat. Mekh. Astron. , 15 : 7 (1960) pp. 66–80 (In Russian) (English summary)|
For global isometric immersions see also [a1]. This reference contains, in general, better estimates than those given in the main article above. E.g., a Riemannian manifold of class has an isometric imbedding of class ():
into every ball in for if is compact;
into every part of for if is not compact.
A -dimensional hyperbolic space can be isometrically imbedded into .
Concerning the statements involving homotopy (last section of "global isometric immersions" above) see also [a2].
For the fact that isometric immersions (, ) into can be joined by a deformation of transformations in the same class see [a3].
In the West an isometric imbedding is usually understood to a mean a one-to-one immersion (as in the main article) satisfying the additional requirement that the topology induced by the injective immersion coincides with the given topology on the domain manifold.
|[a1]||M. Gromov, "Partial differential relations" , Springer (1986) (Translated from Russian) MR0864505 Zbl 0651.53001|
|[a2]||N. Kuiper, "On -isometric imbedding, I" Proc. K. Ned. Akad. Wetensch. , A-58 (1955) pp. 545–556 MR75640|
|[a3]||L. Nirenberg, "The Weyl and Minkowski problems in differential geometry in the large" Comm. Pure Appl. Math. , 6 (1953) pp. 337–394 MR0058265 Zbl 0051.12402|
Isometric immersion. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Isometric_immersion&oldid=28221