Integrating factors for groups of formal complex diffeomorphisms (Q360204): Difference between revisions

A holonomy map along a closed loop on a leaf of a complex foliation defines a holomorphic automorphism on a transversal. In fact, there is a well-defined homomorphism from the fundamental group of the leaf to the group of germs of holomorphic automorphisms of \(\mathbb C^n\) that fixes the origin (\(n\) is the codimension of the foliation). This motivates the study of subgroups of the group of germs. For \(n=1\), there is the Tits alternative: A finitely generated subgroup is either abelian, noncommutative metabelian, or non-solvable. Solvable subgroups can be classified at the level of formal equivalence: unless formally linearizable, they are all formally equivalent to subgroups of (twisted) flows of certain non-hyperbolic vector fields. See [\textit{Y. Ilyashenko} and \textit{S. Yakovenko}, Lectures on analytic differential equations. Providence, RI: American Mathematical Society (AMS) (2008; Zbl 1186.34001)]. In the paper under review, the authors study subgroups of \(\widehat{\text{Diff}}(\mathbb{C}^n,0)\), the group of germs of formal holomorphic automorphisms of \(\mathbb{C}^n\), \(n\geq 2\), that fix the origin. A formal vector field \(v\) is projectively invariant by \(G\), if for every \(g\in G\), there exists \(c_g\in \mathbb{C}\) such that \(g_\ast v=c_g v\). The authors investigate the relation between the existence of projectively invariant vector fields (and closed \(1\)-forms) and algebraic properties of the subgroup, i.e., whether the subgroup is abelian, metabelian, solvable, or nilpotent. The authors prove a number of results for subgroups of \(\widehat{\text{Diff}}(\mathbb{C}^2,0)\) and for subgroups that contain a dicritic element.