On invariant manifolds of complex analytic mappings near fixed points (Q1078728)

The author studies a complex analytic diffeomorphism g in \({\mathbb{C}}^ n\) in the neighbourhood of a fixed point p, which one can place at the origin. If the linearization of g at p is diagonalizable then one can write \(g: z\to \Lambda z+\hat g(z),\) where \(\Lambda =diag(\lambda_ 1,\lambda_ 2,...,\lambda_ n)\), and \(\hat g\) vanishes up to first order at \(0\in {\mathbb{C}}^ n\). The following question is considered. Under which conditions does there exist locally a complex analytic, invariant manifold \(M^*\) of g, which is tangent to M, and on which the restricted map is analytically equivalent to its linear part? This generalizes the question, under which conditions the map g can be linearized at the fixed point. A unique formal power series representation of \(M^*\) is easily found by comparison of coefficients, provided we have \[ (1)\quad \lambda_ 1^{k_ 1}\cdot...\cdot \lambda_ s^{k_ s}-\lambda_ i\neq 0,\quad k_ 1+...+k_ s\geq 2,\quad 1\leq i\leq n,\quad with\quad nonnegative\quad integers\quad k_ 1,...,k_ s. \] The main result of this paper is stated as follows: Theorem. If the divisors (1) are admissable, then there exists locally a complex analytic invariant manifold \(M^*\) of g, which is tangent to the eigenspace M of \(\lambda_ 1,\lambda_ 2,...,\lambda_ s\), and on which the mapping is analytically equivalent to its linear part. The proof of the theorem is following the traditional majorant method of C. L. Siegel and A. D. Brjuno.