Stable manifolds of two-dimensional biholomorphisms asymptotic to formal curves
Let $F\in\mathrm{Diff}(\mathbb{C}^2,0)$ be a germ of a holomorphic diffeomorphism and let $Γ$ be an invariant formal curve of $F$. Assume that the restricted diffeomorphism $F|_Γ$ is either hyperbolic attracting or rationally neutral non-periodic (these are the conditions that the diffeomorphism $F|_Γ$ should satisfy, if $Γ$ were convergent, in order to have orbits converging to the origin). Then we prove that $F$ has finitely many stable manifolds, either open domains or parabolic curves, consisting of and containing all converging orbits asymptotic to $Γ$. Our results generalize to the case where $Γ$ is a formal periodic curve of $F$.