Partially hyperbolic sets with positive measure and ACIP for partially hyperbolic systems (Q765104)

The author applies to partially hyperbolic systems or attractors the theory of dynamical density basis defined and constructed by \textit{Z. Xia} [Discrete Contin. Dyn. Syst. 15, No. 3, 811--818 (2006; Zbl 1112.37023)]. He first studies partially hyperbolic sets \(\Lambda \) with positive Lebesgue measure for volume preserving \(C^{1 + \alpha}\) diffeomorphisms and proves a topological saturation property: \(\Lambda\) contains the global stable (unstable) manifolds of the alpha-limit set \(\alpha(\Lambda^d)\) (resp. of the omega-limit set \(\omega(\Lambda^d)\)), where \(\Lambda^d\) is the set of density points with respect to the dynamical density basis. As a corollary, he generalizes the result of saturation to \(C^{1 + \alpha}\) diffeomorphisms that do not preserve volume, but exhibit a \(\mu\)-positive partially hyperbolic set for some invariant probability \(\mu\) which is absolutely continuous with respect to the Lebesgue measure on the manifold \(M\) (in brief, an acip \(\mu\)). The author notices that, in fact, the volume measure does not need to be \(f\)-invariant to apply the density arguments, since these work in combination of the invariance of any acip \(\mu\), if it exists, with the dynamics of the volume on \(M\). This is why also other results dealing with the volume preserving partially hyperbolic systems have parallel statements in this paper for systems with an acip. In the second part of the paper the author restates a previous result of \textit{J. Bochi} and \textit{M. Viana} [in: Modern dynamical systems and applications. Dedicated to Anatole Katok on his 60th birthday. Cambridge: Cambridge University Press. 271--297 (2004; Zbl 1147.37315)]: he applies his first result to deduce that if \(f\) is a \(C^{1 + \alpha}\) diffeomorphism on a compact and connected manifold \(M\) which exhibits a \(\mu\)-positive hyperbolic set \(\Lambda\) for some acip \(\mu\), then \(\Lambda = M\) and \(f\) is transitive Anosov. In the third part of the paper, the author adds the hypothesis of essentially accessibility and the center bunched property to the partially hyperbolic \(C^{1 + \alpha}\) diffeomorphism. He proves that if there exists an acip \(\mu\), then \(f\) is transitive and \(\mu\) is smooth; i.e., the density of \(\mu\) is Hölder continuous, upper bounded and bounded away from zero. In other words, if \(f\) is accessible and center bunched, then either \(f\) preserves a smooth probability measure or there is no acip. These latter results generalize a previous theorem of \textit{M. I. Brin} [Funct. Anal. Appl. 9, 8--16 (1975); translation from Funkts. Anal. Prilozh. 9, No. 1, 9--19 (1975; Zbl 0357.58011)], apply arguments of \textit{K. Burns} and \textit{A. Wilkinson} [Ann. Math. (2) 171, No. 1, 451--489 (2010; Zbl 1196.37057)] and the relationship between the cohomology theory and the partially hyperbolic dynamics, stated by \textit{A. Wilkinson} [``The cohomological equation for partially hyperbolic diffeomorphisms'', Preprint, \url{arXiv: 0809.4862}].