Tuesday, August 22, 2006


After a lunch-time "reception" (the less said, the better), the first afternoon session is dedicated to the laudationes. An expert in the area speaks on the work of each Field Medalist and of Jon Kleinberg.

First, a mathematician from ETH Zurich (who is, however, Italian) speaks on the work of Andrei Okounkov. He studies "partitions," which, in the simplest case, are ways of writing an integer as the sum of a non-decreasing sequence of integers. Partitions are related to the representation theory of the symmetric group, and apply in a variety of problems that were too technical for me to follow.

John Lott spoke on Perelman's work. Lott is part of one of the three teams that have been working out complete expositions of Perelman's work. His talk is extremely clear. The Poincare conjecture states that

every 3-dimensional manifold that is simply connected and compact is diffeomorphic to the boundary of a sphere ball in R4.

Where "simply connected" means that a simple loop can always be shrunk to a point via a continous transformation. "Diffeomorphic" means, probably, "equivalent under the appropriate type of nice continuous transformations." The lower dimensional analog is that any surface with "no holes" can be "stretched" into the surface of a sphere ball. Even though this is a purely topological problem (the assumption is a topological property and the conclusion is a topological property), the big idea was to use methods from analysis. Specifically, Hamilton suggested in the 80s to consider a physics-inspired continuous transformation (the "Ricci flow") on the manifold until it "rounds up" and becomes a sphere. (The continous transformation maps the starting manifold into a "diffeomorphic" one.) Unfortunately, the process produces singularities, and Hamilton had found ways to remove them in certain nicely-behaved special case. Perlman's work shows how to always remove such singularities. This was a major tour de force. Before Perelman's work, apparently, the experts in the area considered the known obstacles to eliminating singularities in all cases to be almost insurmountable, and did not consider Hamilton's program to be too promising. Hamilton said that he was "as surprised as anybody else" by the fact that Perelman made the Ricci flow approach work.

Next, Fefferman delivers the laudatio for Tao. It is a daunting task given the variety of areas that Tao has worked on. Fefferman choses to talk about the Kakeya problem, about non-linear Schrodinger equations and about arithmetic progressions in the primes. By the way, both his work on the Kakeya problem and the work about arithmetic progressions (though not the work on the primes in particular) have applications in theoretical computer science.

The laudatio for Werner is a complete disaster. The speaker reads from a prepared speech, and the big screen (that, for the previous speakers, had shown slides of the presentation) shows the text of the speech. This doesn't do justice to Werner's work on proving rigorous results in statistical physics which were previously derived via non-rigorous methods. His work includes problems of the type that computer scientists work on. In his interview, Werner says that he feels he shares the medal with Oded Schramm and Greg Lawler. Oded Schramm, in particular, was a leading figure in this line of work, but he was already over the age limit in 2002, and this work was done after 1998, so he could never be considered for the award.

John Hopcroft delivers the laudatio for Jon Kleinberg. He emphasizes five results: the hubs-authority idea for web search ranking, his work on small-world models and algorithms, the work on ``bursts'' in data, the work on nearest neighbor data structures and the work on collaborative filtering. Like Fefferman, Hopcroft runs out of time.

In the late afternoon (this is a LONG day), Hamilton gives a plenary talk on his work on the Poincare conjecture. Despit Lott's nice earlier introduction, I get rapidly lost in what seems a series of unrelated technical statements. Avi seems to follow. "No, no, they are not unrelated, he is building up an exposition of the proof by explaining all the problems and how they are overcome." He starts late because of projector problems, and he runs enormously out of time. At one point the session chair timidly stands up, not quite sure what to do, then walks towards the podium, then walks back, apparently with Hamilton not noticing. Where is Johan Hastad when you need him?


  1. Anonymous Anonymous
    8/22/2006 03:52:00 PM

    So Johan Hastad has guts to stop any speaker in the world. Thats what I got to learn from the post. Everything seemed strange.

    Hope I am not wrong about Johan or else I will start consider myself losed :(

  2. Anonymous Anonymous
    8/22/2006 11:43:00 PM

    Hamilton's talk was aimed at experts and was very interesting for experts. He gave his stamp of approval to the Perelman proof of the Poincare conjecture, and explained how to effect some parts of the proof more simply than had Pereleman. He explained the overall strategy of proof, the principal difficulties, and what he regarded as Perelman's principal contributions (e.g. the noncollapsing theorme). It was also an opportunity for Hamilton to glory in the occurrence that Perelman has completed a program which Hamilton had proposed and to which Hamilton has dedicated almost 30 years of hard work; it was ok that Hamilton talked too long.

    The projector problems etc. are a bit embarassing, but it was more embarassing that most of the lauders had failed to practice speaking for only 20 minutes. But then what is the worth of a 20 minute talk anyway . . .

  3. Anonymous sam_nead
    8/27/2006 05:42:00 PM

    You said:

    every 3-dimensional manifold that is simply connected and compact is diffeomorphic to the boundary of a sphere in R4.

    You mean to say:

    every 3-dimensional manifold that is simply connected, compact, and without boundary is diffeomorphic to the boundary of a ball in R4.

  4. Blogger altan
    3/14/2008 04:39:00 AM

    This comment has been removed because it linked to malicious content. Learn more.


Post a Comment

Links to this post:

Create a Link

<< Home