Fixed Point Indices and Periodic Points of Holomorphic Mappings

Guang Yuan Zhang

DOI: https://doi.org/10.1007/s00208-006-0042-6

2007-01-01

Mathematische Annalen

Abstract:Let Δ n be the ball | x | < 1 in the complex vector space ℂ^n , let f: Δ ^n→ℂ^n be a holomorphic mapping and let M be a positive integer. Assume that the origin 0=(0,…,0) is an isolated fixed point of both f and the M th iteration f M of f . Then for each factor m of M , the origin is again an isolated fixed point of f m and the fixed point index μ _f^m(0) of f m at the origin is well defined, and so is the (local) Dold’s index [Invent. Math. 74 (3), 419–435 (1983)] at the origin: P_M( f,0) = ∑_τ⊂ P(M)(-1)^#τμ _f^M:τ(0), where P ( M ) is the set of all primes dividing M , the sum extends over all subsets τ of P ( M ), #τis the cardinal number of τ and M: τ =M(∏_p∈τp)^-1 . P M ( f ,0) can be interpreted to be the number of periodic points of period M of f overlapped at the origin: any holomorphic mapping f_1: Δ ^n→ℂ^n sufficiently close to f has exactly P M ( f ,0) distinct periodic points of period M near the origin, provided that all the fixed points of f_1^M near the origin are simple. Note that f itself has no periodic point of period M near the origin if M > 1. According to Shub and Sullivan’s work [Topology 13 , 189–191(1974)] a necessary condition so that P M ( f ,0) ≠ 0 is that the linear part of f at the origin has a periodic point of period M . The goal of this paper is to prove that this condition is sufficient as well for holomorphic mappings.