A dynamical system is a space X, together with an action of some group . [In practice, one often places topological or measure-theoretic structure on X or G, but this will not be relevant for the current discussion. In most applications, G is an abelian (additive) group such as the integers or the reals , but I prefer to use multiplicative notation here.] A useful notion in the subject is that of an (abelian) cocycle; this is a function taking values in an abelian group that obeys the cocycle equation
for all and . [Again, if one is placing topological or measure-theoretic structure on the system, one would want to be continuous or measurable, but we will ignore these issues.] The significance of cocycles in the subject is that they allow one to construct (abelian) extensions or skew products of the original dynamical system X, defined as the Cartesian product with the group action . (The cocycle equation (1) is needed to ensure that one indeed has a group action, and in particular that .) This turns out to be a useful means to build complex dynamical systems out of simpler ones. (For instance, one can build nilsystems by starting with a point and taking a finite number of abelian extensions of that point by a certain type of cocycle.)
A special type of cocycle is a coboundary; this is a cocycle that takes the form for some function . (Note that the cocycle equation (1) is automaticaly satisfied if is of this form.) An extension of a dynamical system by a coboundary can be conjugated to the trivial extension by the change of variables .
While every coboundary is a cocycle, the converse is not always true. (For instance, if X is a point, the only coboundary is the zero function, whereas a cocycle is essentially the same thing as a homomorphism from G to U, so in many cases there will be more cocycles than coboundaries. For a contrasting example, if X and G are finite (for simplicity) and G acts freely on X, it is not difficult to see that every cocycle is a coboundary.) One can measure the extent to which this converse fails by introducing the first cohomology group , where is the space of cocycles and is the space of coboundaries (note that both spaces are abelian groups). In my forthcoming paper with Vitaly Bergelson and Tamar Ziegler on the ergodic inverse Gowers conjecture (which should be available shortly), we make substantial use of some basic facts about this cohomology group (in the category of measure-preserving systems) that were established in a paper of Host and Kra.
The above terminology of cocycles, coboundaries, and cohomology groups of course comes from the theory of cohomology in algebraic topology. Comparing the formal definitions of cohomology groups in that theory with the ones given above, there is certainly quite a bit of similarity, but in the dynamical systems literature the precise connection does not seem to be heavily emphasised. The purpose of this post is to record the precise fashion in which dynamical systems cohomology is a special case of cochain complex cohomology from algebraic topology, and more specifically is analogous to singular cohomology (and can also be viewed as the group cohomology of the space of scalar-valued functions on X, when viewed as a G-module); this is not particularly difficult, but I found it an instructive exercise (especially given that my algebraic topology is extremely rusty), though perhaps this post is more for my own benefit that for anyone else.
— Chains —
Throughout this discussion, the dynamical system X, the group G, and the group U will be fixed.
For any , we define an n-chain to be a formal integer linear combination of n+1-tuples , where and . One may wish to think of each such tuple as an “oriented simplex” connecting the n+1 points . Thus, a 0-chain is a formal combination of points, a 1-chain is a formal combination of “line segments” from to , and so forth. Let be the space of n-chains; this is an abelian group. We also adopt the convention that is trivial for .
For each , we define the boundary map to be the unique homomorphism such that
thus for instance
and so forth. Note that this is analogous to the boundary map in singular homology, if one views the n+1-tuple as a simplex as discussed earlier. We also define the boundary maps for to be the trivial map, thus for instance . It is not hard to verify the fundamental relation
thus turning the sequence of groups into a chain complex.
An n-chain with vanishing boundary is called an n-cycle, while an n-chain which is the boundary of an (n-1)-chain is called an n-boundary; the spaces of n-cycles and n-boundaries are denoted and respectively. Thus for instance is both a 1-cycle and a 1-boundary. However, if g is a non-trivial group element that fixes x and G is abelian, one can show that is a 1-cycle but not a 1-boundary.
We define the homology groups for all n. It is a nice exercise to compute these groups in some simple cases, e.g.
- If G acts transitively on X, then .
- If G acts freely on X, then is trivial for .
- If X is a point, then is the abelianisation of G. [Question: Is there a nice description of the higher homology groups , in this case?]
However, I don’t know of any application of these homology groups to the theory of dynamical systems.
— Cochains —
An n-cochain is a homomorphism from the space of n-chains to U. Since is a free abelian group generated by the simplices , we can view an n-cochain as a function from to U. (Again, we are ignoring all measure-theoretic or topological considerations here.) The space of all n-cochains is denoted ; this is an abelian group.
The boundary map defines by duality a coboundary map , defined by the formula
for all and ; viewing F as a function on simplices, we thus have
Thus for instance
for 0-cochains ,
for 1-cochains , and so forth.
Because , we have , and so becomes a cochain complex. n-cochains whose coboundary vanishes are known as n-cocycles, and n-cochains which are the coboundary of an (n-1)-cochain are known as n-coboundaries. The spaces of n-cocycles and n-cochains are denoted and respectively, allowing us to define the cohomology group .
When n=0, and if the action of G is transitive (in the discrete category), minimal (in the topological category), or ergodic (in the measure-theoretic category), the only 0-cocycles are the constants, and the only 0-coboundary is the zero function, so . When n=1, it is not hard to see that the notion of 1-cocycle and 1-coboundary correspond to the notion of cocycle and coboundary discussed at the beginning of this post.
This whole theory raises the obvious question as to whether the higher cocycles, coboundaries, and cohomology groups have any relevance in dynamical systems. For instance, a 2-cocycle is (after minor notational changes) a function that obeys the 2-cocycle equation
while a 2-coboundary is a function of the form
for some . Is there some dynamical systems interpretation of these objects, much as 1-cocycles and 1-coboundaries can be interpreted as describing abelian extensions and essentially trivial abelian extensions respectively? I don’t know the answer to this question. (Perhaps one would have to start introducing the concept of a “2-dynamical system”, whatever that means.) In my forthcoming paper with Vitaly Bergelson and Tamar Ziegler, we do briefly encounter 2-coboundaries (we have to deal with various “quasi-cocycles” – 1-chains whose 2-coboundary does not vanish completely, as with 1-cocycles, but is still of a relatively simple form, such as a constant or a polynomial) but we do not make systematic use of this concept. (We also rely heavily in our paper on the cubic complexes of Host and Kra, which have some superficial resemblance to the simplex structures appearing here, but I do not know if there is a substantive connection in this regard.)
Another oddity is that homology and cohomology, as it is classically defined, requires the space of chains, cochains, etc. to all be abelian groups; but for dynamical systems one can certainly talk about cocycles and coboundaries taking values in a non-abelian group U by modifying the definitions slightly, leading to the concept of a group extension of a dynamical system. (In this context, the first cohomology becomes a quotient space rather than a group; see also my earlier post interpreting these cocycles in the language of gauge theory.) It seems to me that in this case, the dynamical system concept of a cocycle or coboundary cannot be interpreted in terms of classical cohomology theory (but presumably can be handled by non-abelian group cohomology).
[Update, Dec 22: Some typos and LaTeX anomalies fixed.]
Update, Jan 8: Over at the n-Category Café, Minhyong Kim has provided a nice answer to my question about the relevance of higher order cohomology, such as , to the problem of extending dynamical systems. Suppose one has a short exact sequence
of abelian groups, thus one can view as the space of pairs with with some group addition law
for some function , that needs to obey a certain set of axioms to make an abelian group, which we will not write down here. We then claim that we have a long exact sequence
thus is capable of detecting whether a U-extension of a G-system X can be lifted to a -extension.
The first map in (3) is obvious: the projection from to induces a projection from 1-cocycles to 1-cocycles which maps 1-coboundaries to 1-coboundaries, and thus maps to . The second map requires a bit more thought. Suppose one is given a 1-cocycle and asks whether it can be lifted to a 1-cocycle by the above projection. Writing for some and using (1), (2), we see that the question is equivalent to finding a that obeys the equation
or in other words, to show that the map is a V-valued 2-coboundary. The same observation (now setting ) shows that the map is a -valued 2-coboundary (indeed, it is the coboundary of ), hence a -valued 2-cocycle, and thus is a V-valued 2-cocycle, and so the map is a map from 1-cocycles to 2-cocycles . Similarly, given two 1-cocycles , we see that differs from by some V-valued 1-cochain, so on taking derivatives we see that differs from by some 2-coboundary, thus is linear modulo 2-coboundaries. Finally, if is a U-valued 1-coboundary, then is the sum of a -valued 1-coboundary and a V-valued 1-cochain, and so on taking derivatives we see that maps 1-coboundaries to 2-coboundaries. (Presumably the above arguments are a special case of one of the standard diagram chasing lemmas in homological algebra, but I don’t know which one it is. One could also verify these facts from the axioms of B induced from (2) and the abelian group structure on , but this turns out to be remarkably tedious.) Hence it induces a map from to , and then (3) is exact by the preceding discussion.