Stable manifolds for holomorphic automorphisms

Iteration of holomorphic maps, fixed points of holomorphic maps and related problems for several complex variables (32H50) Dynamics of complex polynomials, rational maps, entire and meromorphic functions; Fatou and Julia sets (37F10)

Abstract: We give a sufficient condition for the abstract basin of attraction of a sequence of holomorphic self-maps of balls in mathbb{C}^{d} to be biholomorphic to mathbb{C}^{d}. As a consequence, we get a sufficient condition for the stable manifold of a point in a compact hyperbolic invariant subset of a complex manifold to be biholomorphic to a complex Euclidean space. Our result immediately implies previous theorems obtained by Jonsson-Varolin and by Peters; in particular, we prove (without using Oseledec's theory) that the stable manifold of any point where the negative Lyapunov exponents are well-defined is biholomorphic to a complex Euclidean space. Our approach is based on the solution of a linear control problem in spaces of subexponential sequences, and on careful estimates of the norm of hte conjugacy operator by a lower triangular matrix on the space of extit{k}-homogeneous polynomial endomorphisms of mathbb{C}^{d}.

Review text

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)].

Recommendations

Cited in

(14)

This page was built for publication: Stable manifolds for holomorphic automorphisms

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