In this series of four lectures we develop the necessary background from commutative algebra to study solution sets of algebraic equations in power series rings. A good comprehension of the geometry of such sets should then yield in particular a "geometric" proof of the Artin approximation theorem. In the first lecture, we review various power series rings (formal, convergent, algebraic), their topology ($m$-adic, resp. inductive limit of Banach spaces), and give a conceptual proof of the Weierstrass division theorem. Lecture two covers smooth, unramified and étale morphisms between noetherian rings. The relation of these notions with the concepts of submersion, immersion and diffeomorphism from differential geometry is given. In the third lecture, we investigate ring extensions between the three power series rings and describe the respective flatness properties. This allows us to prove approximation in the linear case. The last lecture is devoted to the geometry of solution sets in power series spaces. We construct in the case of one $x$-variable an isomorphism of an $m$-adic neighborhood of a solution with the cartesian product of a (singular) scheme of finite type with an (infinite dimensional) smooth space, thus extending the factorization theorem of Grinberg-Kazhdan-Drinfeld.
Nom du congrès : Jean-Morlet Chair - Doctoral school : Introduction to Artin approximation and the geometry of power series Organisteurs Congrès : Hauser, Herwig ; Rond, Guillaume Dates : 26/01/15 - 30/01/15 Année de la rencontre : 2015 URL Congrès : http://chairejeanmorlet-1stsemester2015....
DOI : 10.24350/CIRM.V.18681103 Cite this video as: Hauser, Herwig (2015). Commutative algebra for Artin approximation - Part 1. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.18681103URI : http://dx.doi.org/10.24350/CIRM.V.18681103
 Swan, R.G. (1998). Neron-Popescu Desingularization. In M.-C. Kang (Ed.), Lectures in algebra and geometry. Proceedings of the international conference on algebra and geometry, National Taiwan University, Taipei, Taiwan, December 26-30, 1995 (pp. 135-192). Cambridge, MA: International Press - https://www.zbmath.org/?q=an:0954.13003