Anosov diffeomorphism with a horseshoe that attracts almost any point (Q2281578)

Let \(\mathrm{Diff}^r(M)\) be the set of \(C^r\) diffeomorphisms on a closed manifold \(M\). There are many phenomena for systems in \(\mathrm{Diff}^1(M)\) that are impossible for systems in \(\mathrm{Diff}^2(M)\). For example, a hyperbolic basic set \(\Lambda\) of any \(f\in \mathrm{Diff}^2(M)\) has Lebesgue measure zero unless \(\Lambda= M\), while some system in \(\mathrm{Diff}^1(M)\) admits a horseshoe with positive Lebesgue measure (see [\textit{R. Bowen}, Invent. Math. 29, 203--204 (1975; Zbl 0306.58013); \textit{C. Robinson} and \textit{L.-S. Young}, Invent. Math. 61, 159--176 (1980; Zbl 0442.58022)]). It is well known that a \(C^2\) transitive Anosov diffeomorphism \(f\) admits a unique Gibbs measure \(\mu\) such that: (1) its basin \(B(\mu,f)\) has full Lebesgue measure; (2) its support \(\text{supp}(\mu)=M\). In particular, the orbit \(\{f^n x: n\in\mathbb{Z}\}\) is dense for almost every point \(x\in M\). In this paper the authors construct a \(C^1\) transitive Anosov diffeomorphism \(f\) on \(\mathbb{T}^2\) such that: (1) the unique physical measure \(\nu\) is supported on a horseshoe \(\mathcal{H}\subset \mathbb{T}^2\) with zero Lebesgue measure; (2) its basin \(B(\nu,f)\) has full Lebesgue measure; (3) the omega-set \(\omega(x,f)=\mathcal{H}\) for almost every point \(x\in M\).