Archive for August, 2010

A few interesting items from the ICM

August 27, 2010

So, as many people know, as part of my India vacation, I went to the ICM in Hyderabad.

On this last day of conference, I decided to write a small note of a few cool items I picked up in some talks: (although there are in fact many, many other cool facts I might write more once I got back :-P)

1. Renormalization (on Artur Avila‘s talk) So we look at one-dimensional systems, one may zoom in at a part of the interval that maps into itself, which yields a similar (or not) system, the idea is called ‘renormalization’. i.e. we have the ‘renormalization operator’ acting on a certain class of systems (‘renormalizable systems’) and this gives a map on the function space. Now we study the dynamics there(!) At the first glance, it doesn’t look like solving a one-dimensional problem in infinite dimensional space would help in any useful way, but it does(!). As an example, we look at space of circle diffeomorphisms, they have a rotation number, it’s not hard to see, in this case, the linear rotations form a circular attractor for the renormalization operator, further more, the dynamics is perfectly understood on the circle (Gauss map), the operator permutes (infinite dimensional) fibers with equal rotational number. It turns out we know enough about the dynamics on the function space to get useful information to the original problem! Super cool~

2. Differentiating Lipschitz functions and decomposing Kakeya sets (on Marianna Csornyei‘s talk, for details please refer to their ICM paper) They had a through study of exactly which sets in \mathbb{R}^n can be contained in the discontinuity set of a Lipschitz function f: \mathbb{R}^n \rightarrow \mathbb{R}^m. I found the following unbelievable at the first glance: Given a cone C in \mathbb{R}^n (a set of rays from \bar{0}), the C-width of set E \subseteq \mathbb{R}^n is, roughly speaking, the \sup of lengths of E \cap \gamma where \gamma is a Lipschitz curve going only in directions in C. (A more precise definition requires a generalized notion of ‘tangent’ for Lipschitz curves and can be found in the paper). They proved that:

Theorem: Any Lebesgue 0 set in \mathbb{R}^2 can be decomposed into two sets A and B that A has C-width 0 for C= [0, \pi/2] and B has C'-width 0 for C' = [\pi/2, \pi].

Why does this surprise me? Well, of course the first thing I donsider is: what would happen for the Kakeya set? Our null set contains a line segment in each direction, hence even if we just requiring the decomposed sets A and B to intersect all straight lines in directions of C, C' in length 0 sets would give pretty much only one possible decomposition: we have to take A to be the union of all segments in direction of C', each missing a linear 0 set, and same for B and C(! not much freedom, right?). It’s already hard to believe such A and B can be made satisfying the property, not to mention that in fact they can be made intersecting all Lipschitz curves in null sets (!) (At first I thought it was an obvious counterexample to the theorem, but after discussing with her after the talk, this is indeed what the theorem does) Amazing…

List to be filled in:

3. Boundary rigidity via filling volume (On Sergei Ivanov‘s talk. For details please refer to his paper on the ArXiv)

4. Constant main curvature surfaces

…to be continued…