A note on homology for Smale spaces (Q2032437)

The notion of Smale spaces was first introduced by \textit{D. Ruelle} [Thermodynamic formalism. The mathematical structures of equilibrium statistical mechanics. Cambridge: Cambridge University Press. (2004; Zbl 1062.82001)] as an attempt to give a purely topological description of the dynamics on basic sets of Axiom A diffeomorphisms. Smale spaces are a specific class of hyperbolic topological dynamical systems and encompass the basic sets for Axiom A systems. Roughly speaking, a Smale space is a compact metric space, \((X, d)\), together with a homeomorphism, \(\varphi:X\rightarrow X\), which carries canonical coordinates of contracting and expanding directions. In [Mem. Amer. Math. Soc. 232, viii+122pp (2014; Zbl 1350.37035)] \textit{I. F. Putnam} developed a homology theory for Smale spaces which is a useful and effective invariant for basic sets in an Axiom A system. His approach is based on \textit{W. Krieger}'s [Invent. Math. 56, 239--250 (1980; Zbl 0431.54024)] dimension group invariant for shifts of finite type. The definition of Putnam's homology groups involves four chain complexes. \textit{I. F. Putnam} [loc. cit.] showed that three of these complexes have isomorphic homologies, in a natural way. In the current paper, the author takes a step forward in this investigation. He proves that indeed all four complexes are quasi-isomorphic, i.e., all the four complexes yield the same homologies. This is done by using a convergence theorem for spectral sequences. Furthermore, the author considers a slightly different point of view by taking a deeper look at the simplicial nature of the homology theory for Smale spaces. From this perspective, the complexes mentioned above can be seen as Moore complexes. Several of Putman's results are rewritten under this new perspective. Finally, the author introduces the concept of projectivity for dynamical systems and proves that the projective cover of a Smale space can be defined as a certain projective limit over the symbolic presentations for the given space.