Stable manifolds for holomorphic automorphisms (Q2450198)

Let \(f: M\to M\) be a holomorphic automorphism of a complex manifold \(M\), and let \(\Lambda\subset M\) be a compact hyperbolic invariant set of \(M\), that is so that there is a \(Df\)-invariant splitting of the tangent bundle \(TM|_\Lambda=E^s\oplus E^u\) such that there are numbers \(0<\mu,\lambda<1\) and \(C>0\) satisfying \(\|Df^n(x)\|_{E^s}\leq C\lambda^n\) and \(\|Df^{-n}(x)\|_{E^u}\leq C\mu^n\) for every \(x\in\Lambda\) and all \(n\geq 0\). Each point \(x\in\Lambda\) has a stable set \[ W^s(x)=\{z\in M\mid \lim_{n\to \infty} \text{dist}(f^n(x),f^n(z))=0\}. \] By the Stable Manifold Theorem, \(W^s(x)\) is the image of an injective holomorphic immersion \(W\hookrightarrow M\), where \(W\) is a complex manifold of dimension \(d\), where \(d\) is the complex dimension of \(E^s\). A natural question is whether \(W^s(x)\) is biholomorphic to \(\mathbb{C}^d\). \textit{M. Jonsson} and \textit{D. Varolin} [Invent. Math. 149, No. 2, 409--430 (2002; Zbl 1048.37047)] showed that this is the case for almost every \(x\) for any \(f\)-invariant measure. The authors provide in this paper a sufficient condition for this occurrence in the more general context of the \textit{abstract basin of attraction} of a sequence of holomorphic self-maps of the unit ball. The condition is an asymptotic weak monotonicity requirement on the diagonal entries of suitable lower triangular conjugates of the maps, and it arises out of estimates from the solution of a linear control problem in spaces of subexponential sequences. As a corollary of the main result, the authors obtain that \(W^s(x)\) is biholomorphic to \(\mathbb{C}^d\) when the negative Lyapunov exponents of the map are well defined at \(x\). The main theorem implies the previously known results by Jonsson and Varolin [loc. cit.] and by \textit{H. Peters} [Math. Ann. 337, No. 1, 1--13 (2007; Zbl 1112.37037)].