A Beautiful Mind (32 page)

Martin and several others named their former associates. Norman Levinson refused to name anyone who had not been previously named. “Ted and Izzy Amadur hemmed and hawed. Norman knew that Ted Martin and Izzy would cooperate. They spilled all the names. Norman said he’d talk freely about the party but that he wouldn’t name names. The lawyer told Norman, no you don’t have to say any names. He’d cooperate, but he wouldn’t give any names.”
¹²
Martin gave a pathetic, frightened performance. Levinson’s testimony, by contrast, demonstrated the qualities of intellect and character that made him such a force in the mathematics community. In a series of forceful and eloquent answers to direct questioning, he managed at one and the same time to defend the youthful idealism that led
him into the party, attack the intellectual poverty of communism, and, implicitly, call into question the committee’s assumption that communism was a threat to the nation. He spoke out against the hounding of former party members and asked the committee to take a stand against the blacklisting of Browder’s oldest son, Felix, who had finished his Ph.D. and was unable to obtain an academic post.

Thanks to MIT’s support and the compromises they struck, Levinson and the others kept their jobs. But the whole dispiriting affair, which had been preceded by months of harassment and threats, left deep scars on everyone involved. Martin, in particular, was shattered and deeply depressed, and was unable, nearly forty-five years later, to talk about it.
¹³
Levinson’s younger daughter, a student in junior high school, suffered a breakdown and was diagnosed with manic depression. Levinson and his wife blamed it partly on her being harassed by the FBI.
¹⁴
And those on the periphery, ostensibly unaffected, learned a lesson, namely that the world they so very much took for granted was dangerously fragile and vulnerable to forces beyond its control.

Nash took no part in the heated discussions among some of the graduate students over the morality of the mathematicians’ decision to cooperate with the government.
¹⁵
Any discussion of morality raised for him the specter of hypocrisy. But the angry, frightening, turbulent time would supply him with some of the prosecutory demons that came to haunt him later.
¹⁶

20
Geometry

There are two kinds of mathematical contributions: work that’s important to the history of mathematics and work that’s simply a triumph of the human spirit.

—
P
AUL
J. C
OHEN
, 1996

I
N THE SPRING OF
1953, Paul Halmos, a mathematician at the University of Chicago, received the following letter from his old friend Warren Ambrose, a colleague of Nash’s:

There’s no significant news from here, as always. Martin is appointing John Nash to an Assistant Professorship (not the Nash at Illinois, the one out of Princeton by Steenrod) and I’m pretty annoyed at that. Nash is a childish bright guy who wants to be “basically original,” which I suppose is fine for those who have some basic originality in them. He also makes a damned fool of himself in various ways contrary to this philosophy. He recently heard of the unsolved problem about imbedding a Riemannian manifold isometrically in Euclidean space, felt that this was his sort of thing, provided the problem were sufficiently worthwhile to justify his efforts; so he proceeded to write to everyone in the math society to check on that, was told that it probably was, and proceeded to announce that he had solved it, modulo details, and told Mackey he would like to talk about it at the Harvard colloquium. Meanwhile he went to Levinson to inquire about a differential equation that intervened and Levinson says it is a system of partial differential equations and if he could only [get] to the essentially simpler analog of a single ordinary differential equation it would be a damned good paper — and Nash had only the vaguest notions about the whole thing. So it is generally conceded he is getting nowhere and making an even bigger ass of himself than he has been previously supposed by those with less insight than myself. But we’ve got him and saved ourselves the possibility of having gotten a real mathematician. He’s a bright guy but conceited as Hell, childish as Wiener, hasty as X, obstreperous as Y, for arbitrary X and Y.
¹

•  •  •

Ambrose had every reason to be both skeptical and annoyed.

Ambrose was a moody, intense, somewhat frustrated mathematician in his late thirties, full, as his letter indicates, of black humor.
²
He was a radical and nonconformist. He married three times. He gave a lecture on “Why I am an atheist.” He once tried to defend some left-wing demonstrators against police in Argentina — and got himself beaten up and jailed for his efforts. He was also a jazz fanatic, a personal friend of Charlie Parker, and a fine trumpet player.
³
Handsome, solidly built, with a boxer’s broken nose — the consequence of an accident in an elevator! — he was one of the most popular members of the department. He and Nash clashed from the start.

Ambrose’s manner was calculated to give an impression of stupidity: “I’m a simple man, I can’t understand this.” Robert Aumann recalled: “Ambrose came to class one day with one shoelace tied and the other untied. ‘Did you know your right shoelace is untied?’ we asked. ’Oh, my God,’ he said, ’I tied the left one and thought the other must be tied by considerations of symmetry.’ ”
⁴

The older faculty in the department mostly ignored Nash’s putdowns and jibes. Ambrose did not. Soon a tit-for-tat rivalry was under way. Ambrose was famous, among other things, for detail. His blackboard notes were so dense that rather than attempt the impossible task of copying them, one of his assistants used to photograph them.
⁵
Nash, who disliked laborious, step-by-step expositions, found much to mock. When Ambrose wrote what Nash considered an ugly argument on the blackboard during a seminar, Nash would mutter, “Hack, Hack,” from the back of the room.
⁶

Nash made Ambrose the target of several pranks. “Seminar on the REAL mathematics!” read a sign that Nash posted one day. “The seminar will meet weekly Thursdays at 2
P.M.
in the Common Room.” Thursday at 2:00
P.M.
was the hour that Ambrose taught his graduate course in analysis.
⁷
On another occasion, after Ambrose delivered a lecture at the Harvard mathematics colloquium, Nash arranged to have a large bouquet of red roses delivered to the podium as if Ambrose were a ballerina taking her bows.
⁸

Ambrose needled back. He wrote “Fuck Myself” on the “To Do” list that Nash kept hanging over his desk on a clipboard.
⁹
It was he who nicknamed Nash “Gnash” for constantly making belittling remarks about other mathematicians.
¹⁰
And, during a discussion in the common room, after one of Nash’s diatribes about hacks and drones, Ambrose said disgustedly, “If you’re so good, why don’t you solve the embedding problem for manifolds?” — a notoriously difficult problem that had been around since it was posed by Riemann.
¹¹

So Nash did.

Two years later at the University of Chicago, Nash began a lecture describing his first really big theorem by saying, “I did this because of a bet.”
¹²
: Nash’s opening statement spoke volumes about who he was. He was a mathematician who viewed mathematics not as a grand scheme, but as a collection of challenging problems. In the taxonomy of mathematicians, there are problem solvers and theoreticians, and, by temperament, Nash belonged to the first group. He was not a game theorist,
analyst, algebraist, geometer, topologist, or mathematical physicist. But he zeroed in on areas in these fields where essentially nobody had achieved anything. The thing was to find an interesting question that he could say something about.

Before taking on Ambrose’s challenge, Nash wanted to be certain that solving the problem would cover him with glory. He not only quizzed various experts on the problem’s importance, but, according to Felix Browder, another Moore Instructor, claimed to have proved the result long before he actually had.
¹³
When a mathematician at Harvard confronted Nash, recalled Browder, “Nash explained that he wanted to find out whether it was worth working on.”
¹⁴

“The discussion of manifolds was everywhere,” said Joseph Kohn in 1995, gesturing to the air around him. “The precise question that Ambrose asked Nash in the common room one day was the following: Is it possible to embed any Riemannian manifold in a Euclidean space?”
¹⁵

It’s a “deep philosophical question” concerning the foundations of geometry that virtually every mathematician — from Riemann and Hilbert to Elie-Joseph Cartan and Hermann Weyl — working in the field of differential geometry for the past century had asked himself.
¹⁶
The question, first posed explicitly by Ludwig Schlafli in the 1870s, had evolved naturally from a progression of other questions that had been posed and partly answered beginning in the mid-nineteenth century.
¹⁷
First mathematicians studied ordinary curves, then surfaces, and finally, thanks to Riemann, a sickly German genius and one of the great figures of nineteenth-century mathematics, geometric objects in higher dimensions. Riemann discovered examples of manifolds inside Euclidean spaces. But in the early 1950s interest shifted to manifolds partly because of the large role that distorted space and time relationships had in Einstein’s theory of relativity.

Nash’s own description of the embedding problem in his 1995 Nobel autobiography hints at the reason he wished to make sure that solving the problem would be worth the effort: “This problem, although classical, was not much talked about as an outstanding problem. It was not like, for example, the four-color conjecture.”
¹⁸

Embedding involves portraying a geometric object as — or, a bit more precisely, making it a subset of — some space in some dimension. Take the surface of a balloon. You can’t put it on a blackboard, which is a two-dimensional space. But you can make it a subset of spaces of three or more dimensions. Now take a slightly more complicated object, say a Klein bottle. A Klein bottle looks like a tin can whose lid and bottom have been removed and whose top has been stretched around and reconnected through the side to the bottom. If you think about it, it’s obvious that if you try that in three-dimensional space, the thing intersects itself. That’s bad from a mathematical point of view because the neighborhood in the immediate vicinity of the intersection looks weird and irregular, and attempts to
calculate various attributes like distance or rates of change in that part of the object tend to blow up. But put the same Klein bottle into a space of four dimensions and the thing no longer intersects itself. Like a ball embedded in three-space, a Klein bottle in four-space becomes a perfectly well-behaved manifold.

Nash’s theorem stated that any kind of surface that embodied a special notion of smoothness can actually be embedded in Euclidean space. He showed that you could fold the manifold like a silk handkerchief, without distorting it. Nobody would have expected Nash’s theorem to be true. In fact, everyone would have expected it to be false. “It showed incredible originality,” said Mikhail Gromov, the geometer whose book
Partial Differential Relations
builds on Nash’s work. He went on:

Many of us have the power to develop existing ideas. We follow paths prepared by others. But most of us could never produce anything comparable to what Nash produced. It’s like lightning striking. Psychologically the barrier he broke is absolutely fantastic. He has completely changed the perspective on partial differential equations. There has been some tendency in recent decades to move from harmony to chaos. Nash says chaos is just around the corner.
¹⁹

John Conway, the Princeton mathematician who discovered surreal numbers and invented the game of Life, called Nash’s result “one of the most important pieces of mathematical analysis in this century.”
²⁰

It was also, one must add, a deliberate jab at then-fashionable approaches to Riemannian manifolds, just as Nash’s approach to the theory of games was a direct challenge to von Neumann’s. Ambrose, for example, was himself involved in a highly abstract and conceptual description of such manifolds at the time. As Jürgen Moser, a young German mathematician who came to know Nash well in the mid-1950s, put it, “Nash didn’t like that style of mathematics at all. He was out to show that this, to his mind, exotic approach was completely unnecessary since any such manifold was simply a submanifold of a high dimensional Euclidean space.”
²¹

Nash’s more important achievement may have been the powerful technique he invented to obtain his result. In order to prove his theorem, Nash had to confront a seemingly insurmountable obstacle, solving a certain set of partial differential equations that were impossible to solve with existing methods.

That obstacle cropped up in many mathematical and physical problems. It was the difficulty that Levinson, according to Ambrose’s letter, pointed out to Nash, and it is a difficulty that crops up in many, many problems — in particular, nonlinear problems.
²²
Typically, in solving an equation, the thing that is given is some function, and one finds estimates of derivatives of a solution in terms of derivatives of the given function. Nash’s solution was remarkable in that the
a priori
estimates lost derivatives. Nobody knew how to deal with such equations. Nash invented a novel iterative method — a procedure for making a series of educated guesses — for finding roots of equations, and combined it with a technique for smoothing to counteract the loss of derivatives.
²³