The Teichmüller space of an Anosov diffeomorphism of T^ 2

Abstract: In this paper we consider the space of smooth conjugacy classes of an Anosov diffeomorphism of the two-torus. The only 2-manifold that supports an Anosov diffeomorphism is the 2-torus, and Franks and Manning showed that every such diffeomorphism is topologically conjugate to a linear example, and furthermore, the eigenvalues at periodic points are a complete smooth invariant. The question arises: what sets of eigenvalues occur as the Anosov diffeomorphism ranges over a topological conjugacy class? This question can be reformulated: what pairs of cohomology classes (one determined by the expanding eigenvalues, and one by the contracting eigenvalues) occur as the diffeomorphism ranges over a topological conjugacy class? The purpose of this paper is to answer this question: all pairs of H"{o}lder reduced cohomology classes occur.

Review text

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.

Recommendations

Cites work

Cited in

(17)

This page was built for publication: The Teichmüller space of an Anosov diffeomorphism of \(T^ 2\)

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