Nash embedding theorem

Short description: Every Riemannian manifold can be isometrically embedded into some Euclidean space

The Nash embedding theorems (or imbedding theorems), named after John Forbes Nash, state that every Riemannian manifold can be isometrically embedded into some Euclidean space. Isometric means preserving the length of every path. For instance, bending but neither stretching nor tearing a page of paper gives an isometric embedding of the page into Euclidean space because curves drawn on the page retain the same arclength however the page is bent.

The first theorem is for continuously differentiable (C¹) embeddings and the second for analytic embeddings or embeddings that are smooth of class C^k, 3 ≤ k ≤ ∞. These two theorems are very different from each other. The first theorem has a very simple proof but leads to some counterintuitive conclusions, while the second theorem has a technical and counterintuitive proof but leads to a less surprising result.

The C¹ theorem was published in 1954, the C^k-theorem in 1956. The real analytic theorem was first treated by Nash in 1966; his argument was simplified considerably by (Greene Jacobowitz). (A local version of this result was proved by Élie Cartan and Maurice Janet in the 1920s.) In the real analytic case, the smoothing operators (see below) in the Nash inverse function argument can be replaced by Cauchy estimates. Nash's proof of the C^k- case was later extrapolated into the h-principle and Nash–Moser implicit function theorem. A simpler proof of the second Nash embedding theorem was obtained by (Günther 1989) who reduced the set of nonlinear partial differential equations to an elliptic system, to which the contraction mapping theorem could be applied.

Nash–Kuiper theorem (C¹ embedding theorem)

Theorem. Let (M,g) be a Riemannian manifold and ƒ: M^m → Rⁿ a short C^∞-embedding (or immersion) into Euclidean space Rⁿ, where n ≥ m+1. Then for arbitrary ε > 0 there is an embedding (or immersion) ƒ_ε: M^m → Rⁿ which is

1. in class C¹,
2. isometric: for any two vectors v,w ∈ T_x(M) in the tangent space at x ∈ M,

   [math]\displaystyle{ g(v,w)=\langle df_\epsilon(v),df_\epsilon(w)\rangle }[/math],

3. ε-close to ƒ:
   [math]\displaystyle{ | f(x) - f_\epsilon (x) | \lt \epsilon ~\forall~ x\in M }[/math].

In particular, as follows from the Whitney embedding theorem, any m-dimensional Riemannian manifold admits an isometric C¹-embedding into an arbitrarily small neighborhood in 2m-dimensional Euclidean space.

The theorem was originally proved by John Nash with the condition n ≥ m+2 instead of n ≥ m+1 and generalized by Nicolaas Kuiper, by a relatively easy trick.

The theorem has many counterintuitive implications. For example, it follows that any closed oriented Riemannian surface can be C¹ isometrically embedded into an arbitrarily small ε-ball in Euclidean 3-space (for small [math]\displaystyle{ \epsilon }[/math] there is no such C²-embedding since from the formula for the Gauss curvature an extremal point of such an embedding would have curvature ≥ ε⁻²). And, there exist C¹ isometric embeddings of the hyperbolic plane in R³.

C^k embedding theorem

The technical statement appearing in Nash's original paper is as follows: if M is a given m-dimensional Riemannian manifold (analytic or of class C^k, 3 ≤ k ≤ ∞), then there exists a number n (with n ≤ m(3m+11)/2 if M is a compact manifold, or n ≤ m(m+1)(3m+11)/2 if M is a non-compact manifold) and an isometric embedding ƒ: M → Rⁿ (also analytic or of class C^k). That is ƒ is an embedding of C^k manifolds and for every point p of M, the derivative dƒ_p is a linear map from the tangent space T_pM to Rⁿ which is compatible with the given inner product on T_pM and the standard dot product of Rⁿ in the following sense:

[math]\displaystyle{ \langle u,v \rangle = df_p(u)\cdot df_p(v) }[/math]

for all vectors u, v in T_pM. This is an undetermined system of partial differential equations (PDEs).

In a later conversation with Robert M. Solovay, Nash mentioned of a fault in the original argument in deriving the sufficing value of the dimension of the embedding space for the case of non-compact manifolds.

The Nash embedding theorem is a global theorem in the sense that the whole manifold is embedded into Rⁿ. A local embedding theorem is much simpler and can be proved using the implicit function theorem of advanced calculus in a coordinate neighborhood of the manifold. The proof of the global embedding theorem relies on Nash's far-reaching generalization of the implicit function theorem, the Nash–Moser theorem and Newton's method with postconditioning. The basic idea of Nash's solution of the embedding problem is the use of Newton's method to prove the existence of a solution to the above system of PDEs. The standard Newton's method fails to converge when applied to the system; Nash uses smoothing operators defined by convolution to make the Newton iteration converge: this is Newton's method with postconditioning. The fact that this technique furnishes a solution is in itself an existence theorem and of independent interest. There is also an older method called Kantorovich iteration that uses Newton's method directly (without the introduction of smoothing operators).

References

• Greene, Robert E.; Jacobowitz, Howard (1971), "Analytic Isometric Embeddings", Annals of Mathematics 93 (1): 189–204, doi:10.2307/1970760 
• Günther, Matthias (1989), "Zum Einbettungssatz von J. Nash" (in German), Mathematische Nachrichten 144: 165–187, doi:10.1002/mana.19891440113 
• Kuiper, Nicolaas Hendrik (1955), "On C¹-isometric imbeddings. I", Indagationes Mathematicae (Proceedings) 58: 545–556, doi:10.1016/S1385-7258(55)50075-8 
• Kuiper, Nicolaas Hendrik (1955), "On C¹-isometric imbeddings. II", Indagationes Mathematicae (Proceedings) 58: 683–689, doi:10.1016/S1385-7258(55)50093-X 
• Nash, John (1954), "C¹-isometric imbeddings", Annals of Mathematics 60 (3): 383–396, doi:10.2307/1969840 .
• Nash, John (1956), "The imbedding problem for Riemannian manifolds", Annals of Mathematics 63 (1): 20–63, doi:10.2307/1969989 .
• Nash, John (1966), "Analyticity of the solutions of implicit function problem with analytic data", Annals of Mathematics 84 (3): 345–355, doi:10.2307/1970448 .