I spent the last week on Long Island for Dennis Sullivan’s birthday conference. The conference is hosted in the brand new Simons center where great food is served everyday in the cafe (I think life-wise it’s a wonderful choice for doing a post-doc).
Anyways, aside from getting to know this super-cool person named Dennis, the talks there were interesting~ There are many things I found so exciting and can’t help to not say a few words about, however due to my laziness, I can only select one item to give a little stupid remark on:
So Bruce Kleiner gave a 3-lecture mini-course on boundaries of Gromov hyperbolic spaces (see this related post on a piece of his pervious work in the subject)
Cannon’s conjecture: Any Gromov hyperbolic group with acts discretely and cocompactly by isometries on .
As we all know, in the theory of Gromov hyperbolic spaces, we have the basic theorem that says if a groups acts on a space discretely and cocompactly by isometries, then the group (equipped with any word metric on its Cayley graph) is quasi-isometric to the space it acts on.
Since I borrowed professor Sullivan as an excuse for writing this post, let’s also state a partial converse of this theorem (which is more in the line of Cannon’s conjecture):
Theorem: (Sullivan, Gromov, Cannon-Swenson)
For finitely generated, if is quasi-isometric to for some , then acts on discretely cocompactly by isometries.
This essentially says that due to the strong symmetries and hyperbolicity of , in this case quasi-isometry is enough to guarantee an action. (Such thing is of course not true in general, for example any finite group is quasi-isometric to any compact metric space, there’s no way such action exists.) In some sense being quasi-isometric is a much stronger condition once the spaces has large growth at infinity.
In light of the above two theorems we know that Cannon’s conjecture is equivalent to saying that any hyperbolic group with boundary is quasi-isometric to .
At first glance this seems striking since knowing only the topology of the boundary and the fact that it’s hyperbolic, we need to conclude what the whole group looks like geometrically. However, the pervious post on one dimensional boundaries perhaps gives us some hint on the boundary can’t be anything we want. In fact it’s rather rigid due to the large symmetries of our hyperbolic group structure.
Having Cannon’s conjecture as a Holy Grail, they developed tools that give raise to some very elegant and inspring proofs of the conjecture in various special cases. For example:
Definition: A metric space , is said to be Alfors -regular where is its Hausdorff dimension, if there exists constant s.t. for any ball with , we have:
This is saying it’s of Hausdorff dimension in a very strong sense. (i.e. the Hausdorff measure behaves exactly like the regular Eculidean measure everywhere and in all scales).
For two disjoint continua in , let denote the set of rectifiable curves connecting to . For any density function , we define the -distance between to be .
Definition: The -modulus between is
OK…I know this is a lot of seemingly random definitions to digest, let’s pause a little bit: Given two continua in our favorite , new we are of course Hausdorff dimension , what’s the -modulus between them?
This is equivalent to asking for a density function for scaling the metric so that the total n-dimensional volume of is as small as possible but yet the length of any curve connecting is larger than .
So intuitively we want to put large density between the sets whenever they are close together. Since we are integrating the -th power for volume (suppose , since our set is path connected it’s dimension is at least 1), we would want the density as ‘spread out’ as possible while keeping the arc-length property. Hence one observation is this modulus depends on the pair of closest points and the diameter of the sets.
The relative distance between is
We say is -Loewner if the modulus between any two continua is controlled above and below by their relative distance, i.e. there exists increasing functions s.t. for all ,
Those spaces are, in some sense, regular with respect to it’s metric and measure.
Theorem: If is Alfors 2-regular and 2-Loewner, homeomorphic to , then acts discrete cocompactly on by isometries.
Most of the material appeared in the talk can be found in their paper.
There are many other talks I found very interesting, especially that of Kenneth Bromberg, Mario Bonk and Peter Jones. Unfortunately I had to miss Curt McMullen, Yair Minski and Shishikura…