Archive for March, 2011

I remember looking at Gromov’s notes “Carnot-Carathéodory spaces seen from within” a long time ago and didn’t get anywhere. Recently I encountered it again through professor Guth. This time, with his effort in explaining, I did get some ideas. This thing is indeed pretty cool~ So I decided to write an elementary introduction about it here. We will construct a such metric in .

In general, if we have a Riemannian manifold, the Riemannian distance between two given points is defined as

where is the collection of all differentiable curves connecting the two points.

However, if we have a lower dimensional sub-bundle of the tangent bundle (depending continuously on the base point). We may attempt to define the metric

where is the collection of curves connecting with for all . (i.e. we are only allowed to go along directions in the sub-bundle.

Now if we attempt to do this in , the first thing we may try is let the sub-bundle be the say, -plane at all points. It’s easy to realize that now we are ‘stuck’ in the same height: any two points with different coordinate will have no curve connecting them (hence the distance is infinite). The resulting metric space is real number many discrete copies of . Of course that’s no longer homeomorphic to .

Hence for the metric to be finite, we have to require accessibility of the sub-bundle: Any point is connected to any other point by a curve with derivatives in the .

For the metric to be equivalent to our original Riemannian metric (meaning generate the same topology), we need to be locally accessible: Any point less than away from the original point can be connected to by a curve of length going along .

At the first glance the existence of a (non-trivial) such metric may not seem obvious. Let’s construct one on that generates the same topology:

To start, we first identify our with the real entry Heisenberg group (all upper triangular matrices with “1”s on the diagonal). i.e. we have homeomorphism

Let be a left-invariant metric on .

In the Lie algebra (tangent space of the identity element), the elements and form a basis.

At each point, we take the two dimensional sub-bundle of the tangent bundle generated by infinitesimal left translations by . Since the metric is left invariant, we are free to restrict the metric to i.e. we have for each .

The interesting thing about is that all points are accessible from the origin via curves everywhere tangent to . In other words, any points can be obtained by left translating any other point by multiples of elements and .

The “unit grid” in under this sub-Riemannian metric looks something like:

Since we have

,

the original -direction stay the same, i.e. a bunch of horizontal lines connecting the original planes orthogonally.

However, if we look at a translation by , we have

i.e. a unit length -vector not only add a to the -direction but also adds a height to , hence the grid of unit vectors in the above three planes look like:

We can now try to see the rough shape of balls by only allowing ourselves to go along the unit grid formed by and lines constructed above. This corresponds to accessing all matrices with integer entry by words in and .

The first question to ask is perhaps how to go from to . –since going along the axis is disabled. Observe that going through the following loop works:

We conclude that in fact up to a constant going along such loop gives the actual distance.

At this point one might feel that going along axis in the C-C metric is always takes longer than the ordinary distance. Giving it a bit more thought, we will find this is NOT the case: Imagine what happens if we want to go from to ?

One way to do this is to go along for 100 steps, then along for 100 steps (at this point each step in will raise in -coordinate, then . This gives .

To illustrate, let’s first see the loop from to :

The loop has length . (A lot shorter compare to length for going unit in -direction)

i.e. for large , it’s much more efficient to travel in the C-C metric.

In fact, we can see the ball of radius is roughly an rectangle with dimension (meaning bounded from both inside and outside with a constant factor). Hence the volume of balls grow like .

Balls are very “flat” when they are small and very “long” when they are large.

*Actually I’m a strong supporter of the idea that all talks should be done on blackboards…However, this time since the talk is only 25 minutes long and it takes me 5 minutes to draw a product Cantor set, I had to use slides…

This is in part a preparation for my 25-minutes talk in a workshop here at Princeton next week. (Never given a short talk before…I’m super nervous about this >.<) In this little survey post I wish to list some background and historical results which might appear in the talk.

Abstract: Given a self-diffeomorphism of a compact subset in , from Whitney’s extension theorem we know exactly when does it extend to . How about volume preserving extensions?

It is a classical result that any volume preserving Anosov di ffeomorphism of regularity is ergodic. The question is open for . In 1975 Rufus Bowen constructed an (non-volume-preserving) Anosov map on the 2-torus with an invariant positive measured Cantor set. Various attempts have been made to make the construction volume preserving.

By studying the above extension problem we conclude, in particular the Bowen-type mapping on positive measured Cantor sets can never be volume preservingly extended to the torus. This is joint work with Charles Pugh and Amie Wilkinson.

——————————————————

A diffeomorphism is said to be Anosov if there is a splitting of the tangent space that’s invariant under , vectors in are uniformly expanding and vectors in are uniformly contracting.

Theorem: (Anosov ’67) Any volume preserving Anosov diffeomorphism on compact manifolds with regularity or higher on is ergodic.

This result is later generalized to Anosov diffeo with regularity . i.e. with an -holder condition on the derivative.

It is a curious open question whether this is true for maps that’s strictly .

The methods for proving ergodicity for maps with higher regularity, which relies on the stable and unstable foliation being absolutely continuous, certainly does not carry through to the case:

In 1975, Rufus Bowen gave the first example of an Anosov map that’s only , with non-absolutely continuous stable and unstable foliations. In fact his example is a modification of the classical Smale’s horseshoe on the two-torus, non-volume-preserving but has an invariant Cantor set of positive Lebesgue measure.

A simple observation is that the Bowen map is in fact volume preserving on the Cantor set. Ever since then, it’s been of interest to extend Bowen’s example to the complement of the Cantor set in order to obtain an volume preserving Anosov diffeo that’s not ergodic.

In 1980, Robinson and Young extended the Bowen example to a Anosov diffeomorphism that preserves a measure that’s absolutely continuous with respect to the Lebesgue measure.

Together with other fact about Anosov diffeomorphisms, this implies the generic volume preserving diffeomorphism is ergodic. Making the question of whether such example exists even more curious.

In light of this problem, we study the much more elementary question:

Question: Given a compact set and a self-map , when can the map be extended to an area-preserving diffeomorphism ?

Of course, a necessary condition for such extension to exist is that extends to a diffeomorphism (perhaps not volume preserving) and that has determent on . Whitney’s extension theorem gives a necessary and sufficient criteria for this.

Hence the unknown part of our question is just:

Question: Given , s.t. for all . When is there a with ?

There are trivial restrictions on i.e. if separates and switches complementary components with different volume, then can never have volume preserving extension.

A positive result along the line would be the following slight modification of Moser’s theorem:

Theorem: Any diffeomorphism on can be extended to a area-preserving diffeomorphism on the unit disc .

Applying methods of generating functions and Whitney’s extension theorem, as in this paper, in fact we can get rid of the loss of one derivative. i.e.

Theorem: (Bonatti, Crovisier, Wilkinson ’08) Any diffeo on the circle can be extended to a volume-preserving diffeo on the disc.

With the above theorem, shall we expect the condition of switching complementary components of same volume to be also sufficient?

No. As seen in the pervious post, restricting to the case that only permute complementary components with the same volume is not enough. In the example, does not separate the plane, can be extended, the extension preserves volume on , and yet it’s impossible to find an extension preserving the volume on the complement of .

The problem here is that there are ‘almost enclosed regions’ with different volume that are being switched. One might hope this is true at least for Cantor sets (such as in the Bowen case), however this is still not the case.

Theorem: For any positively measured product Cantor set , the Horseshoe map does not extend to a Holder continuous map preserving area on the torus.

Hence in particular we get that no volume preserving extension of the Bowen map can be possible. (not even Holder continuous)