The moduli space of germs of generic families of analytic diffeomorphisms unfolding a parabolic fixed point (Q2465794)

The authors consider the generic \(1\)-parameter family of germs of diffeomorphisms of \(\mathbb C\) of the form \(z+(z^2-\varepsilon)(1+b(\varepsilon)+ c(\varepsilon)z+ O(z^2-\varepsilon))\). In the paper [\textit{P. Mardešić, R. Roussarie} and \textit{C. Rousseau}, Mosc. Math. J. 4, No.~2, 455--502 (2004; Zbl 1077.37035)] it is proved that a modulus for such a family is provided by the formal invariant \(1/\ln (f'_\varepsilon (\sqrt{\varepsilon}))+1/\ln (f'_\varepsilon (-\sqrt{\varepsilon}))\) and two analytic functions \(\Psi^0, \Psi^\infty\) which describe the difference between the two Fatou coordinates chosen on their region of overlap. In the paper under review some extra necessary and sufficient conditions, too technical to be described here, are given on \((\Psi^0, \Psi^\infty)\) in order to form a moduli space for analytic unfoldings as before.