Derived length of solvable groups of local diffeomorphisms (Q2448326)

The authors bound the soluble length of a solvable group \(G\) of germs of complex (analytic or formal) diffeomorphisms at \(0\in\mathbb{C}^n\) by a function of \(n\). They obtain the following bounds for the soluble length \(l(G)\) of \(G\): if \(j^1G\subset \mathrm{GL}(n,\mathbb{C})\) is connected (in the usual or in the Zariski topology) then \(l(G)\leq 2n\); if \(G\) is unipotent, then \(l(G)\leq 2n-1\); if \(G\) is nilpotent, then \(l(G)\leq n\). Examples are provided to show the optimality of these bounds. As a consequence of the second one, they obtain the (non necessarily optimal) bound \(l(G)\leq 2n-1+\rho(n)\) for a general subgroup \(G\) (where \(\rho:\mathbb{N}\to\mathbb{N}\) is the Newman function, that bounds the soluble length of solvable subgroups of \(\mathrm{GL}(n,\mathbb{C})\)). To obtain the above bounds, the authors replace \(G\) with a group \(\overline{G}^{(0)}\) of formal diffeomorphisms, which is obtained as a projective limit of finite-dimensional linear algebraic groups and whose soluble length is \(l(G)\). They associate a Lie algebra of formal vector fields to \(\overline{G}^{(0)}\) and then they study the analogous but simpler problem on Lie algebras.