Local geometry and dynamical behavior on folded basic sets (Q625532): Difference between revisions

For a \(C^2\) endomorphism \(f\) of a Riemannian manifold \(M\) let \(C_f\) denote the critical set, i.e., the set of points, around which \(f\) is not a local diffeomorphism. A folded basic set for \(f\) is an uncountable compact set \(\Lambda\) such that there exists a neighbourhood \(U\) of \(\Lambda\) with \(\Lambda = \bigcap_{n \in \mathbb{Z}} f^n(U)\) and \(f\) ist topologically transitive on \(\Lambda\). An attractor of \(f\) is a local basic set such that there exists a neighbourhood \(U\) of \(\Lambda\) with \(f(\overline{U}) \subset U\). If \(\overline{U} \subset f(U)\), then \(\Lambda\) is called a repeller of \(f\). In the case that \(\Lambda \cap C_f = \emptyset\), let \(d(x)\) denote the number of pre-images of a point \(x\) under \(f\). The local stable dimension at \(x\) is the Hausdorff dimension of the local stable manifold \(W_r^s(x) \cap \Lambda\) and is denoted by \(\delta^s(x)\). The first result is stated as follows. Let \(f\) be hyperbolic on a local basic set \(\Lambda\) with \(C_f \cap \Lambda = \emptyset\) and let \(f\) be conformal on local stable manifolds. If \(d\) is the maximum possible value of \(d(\cdot)\) on \(\Lambda\) and if there exists a point \(x \in \Lambda\) where \(\delta^s(x)=t_d=0\), then \(d(\cdot) \equiv d\) on \(\Lambda\) and \(\Lambda\) is contained in a finite union of unstable manifolds. Furthermore, if \(f\) satisfies the above assumptions, if \(f|_\Lambda\) is \(d\)-to-\(1\) and expanding, then \((\Lambda,f,\mu_0)\) is a \(1\)-sided Bernoulli shift, where \(\mu_0\) is the unique measure of maximal entropy. On the other hand, if there exists a point \(x \in \Lambda\) with \(\delta^s(x)>0\) and if \(\mu_s\) denotes the equilibrium measure of the potential \(\delta^s(x) \cdot \Phi^s(\cdot)\), then the measure preserving system \((\Lambda,f,\mu_s)\) cannot be a \(1\)-sided Bernoulli shift. Finally, the author proves necessary and sufficient conditions for a folded basic set to be an attractor or repeller of \(f\).