A note on homology for Smale spaces

Projectives and injectives (category-theoretic aspects) (18G05) Chain complexes (category-theoretic aspects), dg categories (18G35) Symbolic dynamics (37B10) Uniformly hyperbolic systems (expanding, Anosov, Axiom A, etc.) (37D20) Thermodynamic formalism, variational principles, equilibrium states for dynamical systems (37D35) Other homology theories in algebraic topology (55N35)

Abstract: We collect three observations on the homology for Smale spaces defined by Putnam. The definition of such homology groups involves four complexes. It is shown here that a simple convergence theorem for spectral sequences can be used to prove that all complexes yield the same homology. Furthermore, we introduce a simplicial framework by which the various complexes can be understood as suitable "symmetric" Moore complexes associated to the simplicial structure. The last section discusses projective resolutions in the context of dynamical systems. It is shown that the projective cover of a Smale space is realized by the system of shift spaces and factor maps onto it.

Review text

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.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: A note on homology for Smale spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2032437)