Sur la convergence d'applications formelles entre sous-variétés analytiques réelles

AbstractLet f be a formal mapping between a minimal generic real-analytic submanifold M⊂Cn and a real-analytic subset M′⊂Cn′. In this article, we introduce the notion of first and second characteristic varieties associated to (M,M′,f) and we give two new sufficient conditions for the convergence of f. In particular, we prove that if M′ does not contain any complex curves and if the family of the first characteristic varieties is regular, then f is convergent.RésuméSoit f une application formelle entre une sous-variété analytique réelle générique minimale M⊂Cn et un sous-ensemble analytique réel M′⊂Cn′. Dans cet article, on introduit les notions de première et seconde variétés caractéristiques associées au triplet (M,M′,f) et on donne deux conditions nouvelles qui assurent que f est convergente. En particulier, on démontre que si M′ ne contient pas de courbe complexe et si la famille des premières variétés caractéristiques est régulière, f est convergente