The Teichmüller space of an Anosov diffeomorphism of \(T^ 2\) (Q690226)

The author investigates the structure of the space of smooth conjugacy classes of an Anosov diffeomorphism of the 2-torus, the space being called the Teichmüller space of an Anosov diffeomorphism. Let \(f:M \to M\) be a \(C^ r\)-Anosov diffeomorphism, \(1 \leq r \leq \omega\). Consider a triple \((h,N,g)\), where \(g:N \to N\) is a \(C^ r\)-Anosov diffeomorphism, and \(h:M \to N\) is a homeomorphism such that \(g \circ h=h \circ f\). Such a triple is called a marked Anosov diffeomorphism modeled on \(f:M \to M\). Two such triples \((h_ 1, N_ 1, g_ 1)\) and \((h_ 2, N_ 2, g_ 2)\) are equivalent if \(h_ 1 \circ h_ 2^{-1} :N_ 2 \to N_ 1\) is a \(C^ 1\)-diffeomorphism. The \(C^ r\)-Teichmüller space \(T^ r(f)\) is the space of equivalence classes of triples \((h, N, g)\). Similarly, the \(C^{1+H}\) Teichmüller space \(T^{1+H} (f)\) can be defined for \(C^{1+\alpha}\) diffeomorphism \(f\) with some \(0< \alpha <1\) by replacing, in the above definition, \(C^ r\) by \(C^{1+\alpha'}\) with some \(0< \alpha' <1\) for the above \(g\). Let \(H^ 1_ *(f)\) be the space of \(C^ H\) functions on \(M\), modulo functions of the form \(u \circ f- u+K\), where \(u\) is a function on \(M\) and \(K\) is a constant. The space \(H^ 1_ *(f)\) can be interpreted as the reduced \(C^ H\) cohomology over \(f\), where a cocycle \(\Phi\) over \(f\) means the cocycle over the \({\mathfrak Z}\)-action on \(M\) defined by \(f\), i.e., \(\Phi:M \times {\mathfrak Z} \to {\mathfrak R}\) is a function satisfying \(\Phi (x,m+n)=\Phi (x,m)+\Phi (f^ m(x),n)\). Now, let \((h, N, g)\) be a representative of a point in \(T^{1+H}(f)\). Using the unstable (resp. stable) subbundle \(E^ u\) (resp. \(E^ s)\) of the tangent bundle \(TM\) associated to \(g\) we can define the unstable (resp. stable) Jacobian cocycle \(\varphi_ u (g)\) (resp. \(\varphi_ s (g))\) of \(g\) and we have the pair of reduced cohomology classes \((\langle \varphi_ u(g) h \rangle_ *\), \(\langle \varphi_ s(g) h \rangle_ *) \in H^ 1_ *(f) \times H^ 1_ *(f^{-1})\), which can be seen to be independent of the choice of the representatives. Thus, we obtain the Bowen-Ruelle-Sinai map BRS\(:T^{1+H} (f) \to H^ 1_ *(f) \times H^ 1_ *(f^{-1})\), which is injective by the results of Llave, Marco, and Moriyon. Most part of the paper is devoted to proving the surjectivity of the map BRS. The proof is very involved -- the author uses several notions such as Gibbs measures, subshifts of finite type, Markov partitions of Anosov diffeomorphisms as well as Radon-Nikodym realizations.