ANALYTICITY IN SPACES OF CONVERGENT POWER SERIES AND APPLICATIONS† †Preprint version: May 2015 Loïc Teyssier Laboratoire I.R.M.A., Université de Strasbourg
[email protected] This work has been partially supported by French national grant ANR-13-JS01-0002- 01. Abstract. We study the analytic structure of the space of germs of an analytic function m at the origin of C , namely the space C z where z =(z1, ,z ), equipped with a conve- { } ··· m nient locally convex topology. We are particularly interested in studying the properties of analytic sets of C z as defined by the vanishing loci of analytic maps. While we notice { } that C z is not Baire we also prove it enjoys the analytic Baire property: the countable { } union of proper analytic sets of C z has empty interior. This property underlies a quite { } natural notion of a generic property of C z , for which we prove some dynamics-related { } theorems. We also initiate a program to tackle the task of characterizing glocal objects in some situations. Infinite-dimensional holomorphy, complex dynamical systems, holomorphic solu- tions of differential equations, Liouvillian integrability of foliations [2000][MSC2010] 46G20, 58B12, 34M99, 37F75 1. Introduction This article purports to provide a context in which the following results make sense: Corollary A. Fix m N. The generic finitely generated subgroup G< Diff(Cm,0) of germs ∈ m of biholomorphisms fixing 0 C , identified with a tuple of generators (∆1,...,∆n), is free. Besides the set of non-solvable∈ subgroups of Diff(C,0) generated by two elements is Zariski- full, in the sense that it contains (and, as it turns out, is equal to) an open set defined as the complement of a proper analytic subset of Diff(C,0)n.