Questions on J. F. Nash's answer about his errors in the proof of embedding theorem
Igor already answered questions 1 and 2.
What Nash wrote is an attempt to describe to a non-expert audience the solution scheme he had for non-compact manifolds. In the noncompact case he proceeds by a reduction process to the compact case. The process involves decomposing the manifold into smaller neighborhoods each diffeomorphic to disks/balls.
Very roughly speaking, Nash then took a partition of unity adapted to this system of neighborhoods, and used that to cut-off the Riemannian metric on the original manifold to these disks. Now, the truncated objects are no longer Riemannian metrics (since they are not everywhere positive definite); but since the problem is not really that of geometry but that of PDEs in this setting, this is not an obstruction.
When two neighborhoods overlap, the cut-off function is less than 1 for both of the pieces. So each of the neighborhood inherits "a portion of the metric".
In other words, the phrase that you are asking about is just Nash trying to describe the idea of a "partition of unity" without using exactly those words.
This is in regards to the second portion of the scheme. After dividing into disks and keeping track of their overlaps (using what Nash called "classes"; that's also the sense of the word in Solovay's message), it is possible to (very roughly speaking) replace the disks by spheres. You do this using that the disks can be topologically identified with the sphere with a closed disk removed, and that the "portion of the metric" on the disc is cut-off so that it approaches 0 smoothly on the boundary. This is just largely playing with cut-off functions.
Now, each sphere has an isometric embedding into some Euclidean space by the theorem for compact manifolds (proven earlier in the paper). So all remains is to somehow reassemble all these spheres into one larger Euclidean space while guaranteeing that there are no self-intersections.
(Remark: the method of assembly works. Full stop. So if you are happy with an isometric immersion then you are done. The problem that Solovay pointed out has to do with the embedding (non-self-intersecting) part.)
The method of assembly goes something like this.
a. The choice of the disks earlier means that the disks can be divided into some finitely many classes, such that two disks of the same class cannot intersect.
b. For each class, construct a smooth map from $M$ such that points within the discs of that class are sent to the image of the embedding of the corresponding sphere. But points outside the disks of that class are sent to the origin.
c. Take the cartesian product over the classes. This guarantees an immersion.
To get non-self-intersection Nash tried to exploit the fact that his isometric embedding theorem in the compact case allows one to squeeze the manifold into arbitrarily small neighborhoods. So within each class he can arrange for the different disks to be almost disjointly embedded. He claims that this is enough. Solovay showed that there is a hole in the argument. See below the cut for more info.
Incidentally, Nash's paper is available here; the portion that concerns questions 3 and 4 are all in part D, which is decidedly in the "easy" part of the paper. (The hard analytic stuff all happened in part B; here it is essentially combinatorics.)
To reveal the "logic problem" with the embedding proof, we remove all unnecessary portions of the proof and focus on the argument that "ensures" non-self-intersection. This operates entirely on the level of sets and does not require any geometry or analysis.
What Nash did boils down to:
Given a set $M$, he showed that we can decompose $M$ as the union of a bunch of sets $U^{(i)}_j$. The index $i$ runs from $1, \ldots, n+1$ (a finite number). The index $j$ can be infinite. Each $U^{(i)}_j$ has a subset within called $V^{(i)}_j$, and the union of all these subsets $V^{(i)}_j$ is also assumed to cover $M$.
For each $i$ Nash finds a space $X^{(i)}$, and a point $x^{(i)}\in X^{(i)}$, and for each $j$ there is an injective mapping $\psi^{(i)}_j: U^{(i)}_j \to X^{(i)}\setminus \{x^{(i)}\}$. Since $U^{(i)}_j$ and $U^{(i)}_k$ do not intersect unless $j = k$, for each $i$ we can extend this to a map
$$ \psi^{(i)}: M \to X^{(i)}$$
by requiring
$$ \psi^{(i)}(p) = \begin{cases} \psi^{(i)}_j(p), &p\in U^{(i)}_j \\ x^{(i)}, &\text{otherwise}\end{cases} $$
Let $X = X^{(1)} \times X^{(2)} \cdots \times X^{(n+1)}$. We are interested in the map $$ \psi: M \to X = \psi^{(1)}\times \psi^{(2)}\times \cdots \times \psi^{(n+1)}.$$
We want to show that $\psi$ is injective.
Nash's idea:
We can assume that $\psi^{(i)}(V^{(i)}_j) \cap \psi^{(i)}(U^{(i)}_k) = \emptyset$ if $k > j$. (This he achieves by the fact that isometric embedding can be "made small".)
He claims this is enough to show injectivity of $\psi$, because:
- If $p,q\in U^{(i)}_j$ for the same $i,j$, then we are done because $\psi^{(i)}_j$ is by construction injective.
- If $p \in U^{(i)}_j$ and $q \not\in U^{(i)}_k$ for for any $k$, then we know $\psi^{(i)}(p) \neq x^{(i)} = \psi^{(i)}(q)$ by construction, and so we are done.
- So the main worry is that $p\in U^{(i)}_j$ and $q \in U^{(i)}_k$ for some different $j,k$. To deal with this, Nash argued thus (I paraphrase)
Since the $V$'s cover $M$, $p$ is in some $V^{(i)}_j$ and similarly $q$. So either $q$ does not belong to any $U^{(i)}_*$ in which case we are done by point 2, or $q$ belongs to some $U^{(i)}_k$. If $k > j$ by Nash's idea their images are disjoint, so we get injectivity. If $k = j$ we are done by point 1. If $k < j$ we swap the roles of $p$ and $q$.
The bold phrase was not stated as such in Nash's original paper, but it was his intent. Stated in this form, however, it becomes clear what the problem is: in the argument $p$ and $q$ is not symmetric! One cannot simply swap the roles of $p$ and $q$. It could easily be the case that $q \in U^{(i)}_k \setminus V^{(i)}_k$ and then the idea of making the images of $U^{(i)}_*$ "almost disjoint" fails to yield anything useful.
Solovay's message instantiates this observation by setting up a situation where
$$ p \in (U^{(1)}_1 \setminus V^{(1)}_1) \cap V^{(2)}_2 $$
and
$$ q \in (U^{(2)}_1 \setminus V^{(2)}_1) \cap V^{(1)}_2 $$
and both not in any other $U^{(i)}_j$.
So in terms of the turn of phrase Nash used:
"points local enough to any point" == we take $p \in U^{(i)}_j$ and $q \in U^{(k)}_l$ (they are in neighborhoods of some point)
"it was spread out and differentiated perfectly" == the map $\psi(p) \neq \psi(q)$ (is injective; "differentiated" in the sense of "to tell apart")
"if you take points close enough to one point" == if $i = k$ and $j = l$ (in the same neighborhood)
"but for two different points it could happen that they were mapped onto the same point." == injectivity may fail otherwise.
"Excess dimensions": If a manifold can be topologically embedded in $\mathbb{R}^N,$ and you can prove that it can be isometrically embedded in $\mathbb{R}^M,$ then the quantity he is talking about is $M-N.$
Kuiper showed the existence of a $C^1$ isometric embedding, Nash wanted to show a $C^\infty$ isometric embedding for a $C^\infty$ manifold.
3, 4. No idea, but here is a link to the original Solovay message: http://web.math.princeton.edu/jfnj/texts_and_graphics/Main.Content/Erratum.txt