A P-adic Approach to Local Analytic Dynamics: Analytic Conjugacy of Analytic Maps Tangent to the Identity

In this note, we consider the question of local analytic equivalence of analytic functions which fix the origin and are tangent to the identity. All mappings and equivalences are considered in the non-archimedean context e.g. all norms can be considered p-adic norms. We show that any two mappings f and g which are formally equivalent are also analytically equivalent. We consider the related questions of roots and centralizers for analytic mappings. In this setting, anything which can be done formally can also be done analytically. Nous considérons la question d’équivalence locale de fonctions analytiques qui fixent l’origine et sont tangentes à l’identité. Toutes les fonctions et équivalences sont dans le contexte nonarchimédien, c’est-à-dire que nous pouvons considérer les normes comme étant des normes p-adiques. Nous démontrons que deux fonctions f et g formellement équivalentes sont aussi équivalentes analytiquement. Nous considérons la question des racines et centraliseurs pour les fonctions analytiques. Dans ce contexte, tout ce qui peut être prouvé formellement peut aussi être prouvé analytiquement.