D-log and formal flow for analytic isomorphisms of n-space (Q4806474)

Let \(F=(F_1,\dots,F_n),\;F_i\in \mathbb C[[z_1,\dots,z_n]]\), be a formal mapping such that \(F_i=z_i+\) (terms of degree \(\geq 2)\). It is known that there exists the unique formal inverse \(G\) of \(F\), i.e. \(G=(G_1,\dots,G_n),\;G_i\in \mathbb C[[z_1,\dots,z_n]],\) and \(G\circ F=\text{id}\). There are various formulas for this inverse \(G\). The paper under review relates two of them: 1. the tree formula which express \(G\) as an infinite \(\mathbb Q\)-linear combination of certain power series \(\mathcal P_T\in\mathbb C[[z_1,\dots,z_n]]\), which are constructed using finite rooted trees \(T\) [\textit{H. Bass, E. Connell} and \textit{D. Wright}, Bull. Am. Math. Soc. 7, 287-330 (1982; Zbl 0539.13012)], \textit{D. Wright} [J. Pure Appl. Algebra 57, 191-211 (1989; Zbl 0672.13010)], 2. the \(D\)-Log formula \[ G=\text{exp}(-A)\cdot z, \] where \(A=\sum_{i=1}^{n}a_i\frac{\partial }{\partial z_i}\), \(a_i\in \mathbb C[[z_1,\dots,z_n]]\), is a formal differential operator such that \[ F=\text{exp}(A)\cdot z, \] given by \textit{W. Zhao} [J. Pure Appl. Algebra 166, 321-336 (2002; Zbl 2002.22584)]. The main result is a tree formula for the differential operator \(A\). Precisely, this is done in a more general setting. Namely, it is a tree formula for the formal flow \[ F_t=\text{exp}(tA)\cdot z, \] where \(t\) is an indeterminate (for \(t=-1\) we obtain \(G\)). There are also shown some combinatorial properties of the coefficients that appear in these formulas.