I now know what I’m working on for my REU project; I’ll be studying (with two other undergraduates) a type of cohomology for dynamical systems. Misha Guysinsky, our mentor, has not explained the specific problem yet—perhaps that’ll come when we meet with him on Thursday. So I’ve spent the last weekend trying to learn a few basic facts about (especially hyperbolic) dynamical systems, which I will try to explain here.
1. Why do we care about hyperbolicity?
So, first a definition: let be a -morphism of a smooth manifold . Suppose is a fixed point. Then is called hyperbolic if the derivative has no eigenvalues on the unit circle. This comes from linear algebra: an endomorphism of a vector space is called hyperbolic if its eigenvalues are off the unit circle. Hyperbolicity is an important condition in dynamics, and I want to illustrate this with a few examples.
The first observation is that if we wiggle slightly, then the wiggled function still has a fixed point near . This is a special case of structural stability for hyperbolic dynamical systems, and can be proved using a little bit of transversality.
So, first, I should explain what I mean by “wiggle.” I mean that if is close to in the -topology, then has a fixed point near . To see this, draw the graph of as a submanifold of . Then the fact that has no eigenvalues on the unit circle means that this graph is transversal to the diagonal submanifold at . Now suppose you have two submanifolds which intersect transversally at a point . Then if you wiggle slightly, then they will still intersect transversally near ; this is a basic fact from differential topology (cf. for instance the book of Guillemin and Pollack). Wiggling to corresponds to shifting the graph submanifold slightly, so the graph of must intersect the diagonal too near . In particular, has a fixed point.
But there’s so much more.
2. Hyperbolic linear maps
The previous observation can be generalized to a useful fact about smooth manifolds in general. However, the notion of hyperbolic fixed point is inherently local—not every point is a fixed point! We need a global analog, that preserves the idea of hyperbolicity. To motivate this, let us begin with a little linear algebra.
The tangent map can be thought of as the linear approximation to near , so the first step is to talk a little more about hyperbolic linear maps. So let by hyperbolic and invertible, for a (real) vector space.
Then there is a splitting
where ( for stable—as will be explained below) consists of the points such that as , and of the points such that as . This can be seen by complexifying and taking . On this (complex) space, we have a splitting into generalized eigenspaces corresponding to each eigenvalue of .
Let be a generalized eigenspace where . I claim that on . Indeed, we can put in a Jordan normal form with ‘s on the diagonal and a few one’s on the second diagonal, and zeros everywhere else. One checks directly that . Similarly, on the generalized eigenspaces with , one checks that .
For , the stable and unstable components are both nonzero, and is easy to see that as .
This means that the orbits of on are in the following forms: , something starting near 0 and tending to , something starting at and tending to zero, and something tending to either way.
This is a result for linear maps. For hyperbolic maps of manifolds, there is in fact such a result—called the stable manifold theorem, and much harder to prove.
3. Hyperbolic sets
Now suppose we have a morphism . We want to define this idea of hyperbolicity globally. Fix a subset on which is an immersion; we say that is hyperbolic on if and the following condition is satisfied.
Instead of a splitting of vector spaces, we have a splitting of continuous vector bundles
which are invariant under (i.e. , etc.), and such that these satisfy the the following global analog of the hyperbolicity condition. That is, we assume there exists a Riemannian metric on such that, with respect to the induced norm, we have for some ,
The first condition, for instance, means that if , then the norm of is at most times that of . By analogy, are called the stable and unstable bundles, respectively.
This is a generalization of the usual condition of a hyperbolic fixed point, to which this reduces when has one point (by a little linear algebra). At the opposite extreme, when is the whole space , we call an Anosov diffeomorphism. I’m mainly interested in talking about Anosov diffeomorphisms. However, it’s cool to keep a little extra generality when we can. This is why we want to consider hyperbolic sets.
4. The refinement lemma: How to construct topological conjugacies
In dynamical systems theory, we often want to clasisfy things up to topological conjugacy. This is a way of saying that structually, two dynamical systems are the same. In particular, a topological conjugacy between two maps (i.e., discrete dynamical systems) is given by a homeomorphism such that the following diagram commutes:
This means, in particular, that the orbits (and fixed points) of are in bijection, and much more—for instance, have the same topological entropy. They are basically the “same” dynamical system structurally. Diffeomorphism, incidentally, would be too strong for this to be nice. I asked a question some time back about this, and it got some interesting examples that give examples of conjugacies on the real line (and a useful trick); I don’t want to go into that here now though.
Anyway, this is why we define a discrete dynamical system to be structurally stable if any dynamical system “close” to it (in various topologies, often the one) is topologically conjugate. We will show that Anosov diffeomorphisms are structurally stable.
To do this, we will need a theorem that allows us to get exact solutions to commutative diagrams from “approximately commutative” diagrams; I think of it kind of as an analytic version of Hensel’s lemma. (Perhaps this says something about me. I’m pretty sure others think of Hensel’s lemma as an algebraic version of this sort of business…)
Here is the theorem we shall (someday) prove:
Theorem 1 Let be an Anosov diffeomorphism of the compact manifold . There are satisfying the following condition. Suppose , and one has an “approximately commutative diagram” for
with a topological space and a homeomorphism: i.e. . Then there is a unique continuous close to (namely ) such that the modified diagram
Note that the theorem is not actually about , but about maps that are close to !
There is a stronger theorem for hyperbolic sets, but I’m getting lazy here. You can look it up in Brin and Stuck’s book. Anyway, the statement of the genral theorem has far too many quantifers to be blog-suitable.
This is a fairly difficult theorem to prove. But the consequences are manifold. I’m going to defer the proof until later, and start discussing the consequences.
5. Structural stability for Anosov diffeomorphisms
Well, I already mentioned it:
Theorem 2 Anosov diffeomorphisms on commpact manifolds are structurally stable.
Well, ok. So first of all, fix our compact manifold and Anosov diffeomorphism . Take as in the previous theorem. Now I claim that any diffeomorphism such that is topologically conjugate to .
So, the diagram below is “approximately commutative;”
This means that we can find close to the identity (and unique for that choice) such that . We can do the same with reversed—the diagram is still approximately commutative, and our approximation lemma applies to approximations to Anosov diffeomorphisms—so that there is a unique near the identity with .
Now we have
The uniqueness portion of the approximation theorem applied to the (exactly!) commutative diagram with the identity map and ,
implies that . Same for the other composition, and they are both homeomorphisms; they form a topological conjugacy between .