Calcul Moulien
Annales de la Faculté des sciences de Toulouse : Mathématiques, Serie 6, Volume 18 (2009) no. 2, p. 307-395

This paper is an introduction to mould calculus, as introduced by Jean Écalle. We give a precise definition of moulds and describe their main properties. We translate mould symmetries (alterna(e)l and symetra(e)l) using non commutative formal power series in two given bialgebras 𝔸 and 𝔼, corresponding to two coproducts structure given by Δ(a)=a1+1a and Δ * (a i )= l+k=i a l a k . We apply this formalism to the problem of normal forms for vector fields and diffeomorphisms.

Ce texte est une introduction au calcul moulien, développé par Jean Écalle. On donne une définition précise de la notion de moule ainsi que les principales propriétés de ces objets. On interprète les différentes symétries (alterna(e)l,symetra(e)l) des moules via les séries formelles non commutatives associées dans des bigèbres graduées notées 𝔸 et 𝔼, correspondant aux deux types de colois étudiées par Ecalle, à savoir Δ(a)=a1+1a et Δ * (a i )= l+k=i a l a k . On illustre en détail l’application de ce formalisme dans le domaine de la recherche des formes normales de champs de vecteurs et difféomorphismes.

@article{AFST_2009_6_18_2_307_0,
     author = {Cresson, Jacky},
     title = {Calcul Moulien},
     journal = {Annales de la Facult\'e des sciences de Toulouse : Math\'ematiques},
     publisher = {Universit\'e Paul Sabatier, Toulouse},
     volume = {6e s{\'e}rie, 18},
     number = {2},
     year = {2009},
     pages = {307-395},
     doi = {10.5802/afst.1208},
     mrnumber = {2562831},
     zbl = {pre05615017},
     language = {fr},
     url = {http://www.numdam.org/item/AFST_2009_6_18_2_307_0}
}
Cresson, Jacky. Calcul Moulien. Annales de la Faculté des sciences de Toulouse : Mathématiques, Serie 6, Volume 18 (2009) no. 2, pp. 307-395. doi : 10.5802/afst.1208. http://www.numdam.org/item/AFST_2009_6_18_2_307_0/

[1] Bourbaki (N.).— Groupes et algèbres de Lie, Chapitre 2 et 3, Hermann, Paris, (1972). | MR 573068

[2] Bourbaki (N.).— Algèbres I, Chapitres 1 à 3, Hermann, Paris (1970). | MR 274237 | Zbl 0211.02401

[3] Brjuno (A.D.).— Analytical form of differential equations, Trans. Moscow Math. Soc., 25, p. 131-288 (1971). | MR 377192 | Zbl 0272.34018

[4] McConnel (J.C.), Robson (J.C.).— Noncommutative noetherian rings, Pure and applied Mathematics, Wiley -Interscience series (1987). | MR 934572 | Zbl 0644.16008

[5] Cresson (J.), Schuman (B.).— Formes normales et problème du centre, Bull. Sci. Math. 125, 3, p. 235-252 (2001). | MR 1822689 | Zbl pre01675761

[6] Cresson (J.).— Obstruction à la linéarisation des champs de vecteurs polynomiaux, Canad. Math. Bull. Vol. 45 (3), pp. 355-363 (2002). | MR 1937671 | Zbl 1016.37028

[7] Cresson (J.), Morin (G.).— Mould Calculus for Hamiltonian Vector Fields, 30.p, hal-00207918, (2008).

[8] Cresson (J.), Raissy (J.).— About the Trimmed and the Poincaré-Dulac normal form of diffeomorphisms, Prépublication de l’IHES 06/29, 27. p (2006),

[9] Dieudonné (J.).— Eléments d’analyse, Tome IV, Gauthier-Villars (1971). | MR 362065 | Zbl 0217.00101

[10] Ecalle (J.).— Les fonctions résurgentes, Vol.1, Les algèbres de fonctions résurgentes, Publications Mathématiques d’Orsay, (1981).

[11] Ecalle (J.).— Les fonctions résurgentes, Vol.3, L’équation du pont et la classification analytique des objets locaux, Publications Mathématiques d’Orsay, (1985). | MR 522981 | Zbl 0602.30029

[12] Ecalle (J.).— Singularités non abordables par la géométrie, Ann. Inst. Fourier, 42 (1-2), pp. 73-164 (1992). | Numdam | MR 1162558 | Zbl 0940.32013

[13] Ecalle (J.), Schlomiuk (D.).— The nilpotent and distinguished form of resonant vector fields or diffeomorphisms, Ann. Inst. Fourier, 43, 5, 1407-1483 (1993). | Numdam | MR 1275205 | Zbl 0816.30005

[14] Ecalle (J.).— Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac, Actualités Math. Herman, Paris, (1992). | MR 1399559

[15] Ecalle (J.).— ARI/GARI, la dimorphie et l’arithmétique des multizêtas : un premier bilan. (French) [ARI/GARI, dimorphy and multizeta arithmetic : a survey] J. Théor. Nombres Bordeaux 15 (2003), no 2, pp. 411-478. | Numdam | MR 2140864 | Zbl 1094.11032

[16] Ecalle (J.).— A tale of three structures : the arithmectics of multizetas, the analysis of singularities, the Lie algebra ARI. Differential equations and the Stokes phenomenon, 89-146, World Sci. Publ., River Edge, NJ, 2002. | MR 2067332 | Zbl 1065.11069

[17] Ecalle (J.), Vallet (B.).— Correction an linearization of resonant vector fields and diffeomorphisms, Math. Z., 229, pp. 249-318 (1998). | MR 1652158 | Zbl 0921.32014

[18] Ecalle (J.), Vallet (B.).— The arborification-coarborification transform : analytic and algebraic aspects. Ann. Fac. Sci. Toulouse Math. (6) 13, no. 4, pp. 575-657 (2004). | Numdam | MR 2116818 | Zbl 1078.37016

[19] Eisenbud (D.).— Commutative Algebra with a view toward algebraic geometry, Graduate Texts in Math. 150, Springer (1995). | MR 1322960 | Zbl 0819.13001

[20] Eliasson (H.).— Absolutely convergent series expansions for quasi-periodic motions, reports, Department of mathematics, University of Stockholm no.2, (1988).

[21] Jacobson (A.).— Lie algebras, Interscience Tracts in Pure and Applied Math., 10, (1962). | Zbl 0121.27504

[22] Lafontaine (J.).— Introduction aux variétés différentielles, Collection Grenoble Sciences, Presses universitaires de Grenoble (1996). | Zbl 0872.53001

[23] Mac Lane (S.).— Categories for the working mathematician, 2 d edition, Graduate texts in Math. 5, Springer (1998). | MR 354798 | Zbl 0906.18001

[24] Martinet (J.).— Normalisation des champs de vecteurs holomorphes (d’après A.D. Brjuno), Séminaire Bourbaki, no. 564 (1980). | Numdam | Zbl 0481.34013

[25] Reutenauer (C.).— Free Lie algebras, London Math. Soc. Monographs, new series 7 (1993). | MR 1231799 | Zbl 0798.17001

[26] Ram (A.).— Quantum groups : a survey of definitions, motivations and results, Princeton (1996). | Zbl 0901.17004

[27] Serre (J.-P.).— Lie algebras and Lie groups, W.C. Benjamin Inc (1965). | MR 218496 | Zbl 0132.27803

[28] Waterhouse (W. C.).— Introduction to affine group schemes, Graduate Texts in Math. 66, Springer (1979). | MR 547117 | Zbl 0442.14017

[29] Loray (F.).— Analyse des séries divergentes, dans Quelques aspects des mathématiques actuelles, ed. Ellipse, A. El Kacimi Alaoui, H. Queffélec, C. Sacré, V. Vassalo, p. 113-173.

[30] Candelpergher (B.), Nosmas (J.C.), Pham (F.).— Approche de la résurgence, Hermann, Paris (1993). | MR 1250603 | Zbl 0791.32001

[31] Malgrange (B.).— Introduction aux travaux de Jean Ecalle, L’enseignement des mathématiques, 44, p. 41-63 (1985). | MR 819354

[32] Candelpergher (B.).— Une introduction à la résurgence, Gazette des mathématiciens, 42, p. 36-64 (1989). | MR 1029893 | Zbl 0825.30006