Deformations and Inversion Formulas For Formal Automorphisms in Noncommutative Variables

Wenhua Zhao
DOI: https://doi.org/10.48550/arXiv.math/0509130
2007-03-16
Abstract:Let $z=(z_1, z_2, ..., z_n)$ be noncommutative free variables and $t$ a formal parameter which commutes with $z$. Let $k$ be any unital integral domain of any characteristic and $F_t(z)=z-H_t(z)$ with $H_t(z)\in {k[[t]]< < z >>}^{\times n}$ and the order $o(H_t(z))\geq 2$. Note that $F_t(z)$ can be viewed as a deformation of the formal map $F(z):=z-H_{t=1}(z)$ when it makes sense (for example, when $H_t(z)\in {k[t]< < z >>}^{\times n}$). The inverse map $G_t(z)$ of $F_t(z)$ can always be written as $G_t(z)=z+M_t(z)$ with $M_t(z)\in {k[[t]]< < z >>}^{\times n}$ and $o(M_t(z))\geq 2$. In this paper, we first derive the PDE's satisfied by $M_t(z)$ and $u(F_t), u(G_t)\in {k[[t]]< < z >>}$ with $u(z)\in {k< < z >>}$ in the general case as well as in the special case when $H_t(z)=tH(z)$ for some $H(z)\in {k< < z >>}^{\times n}$. We also show that the formal power series above are actually characterized by certain Cauchy problems of these PDE's. Secondly, we apply the derived PDE's to prove a recurrent inversion formula for formal maps in noncommutative variables. Finally, for the case char. $k=0$, we derive an expansion inversion formula by the planar binary rooted trees.
General Mathematics,Complex Variables
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the automorphic deformations of formal power series in non - commutative variables and their inverse mapping formulas. Specifically, the author is concerned with the following problems: 1. **Study of deformations**: Consider the automorphisms of the formal power series \(F_t(z) = z - H_t(z)\), where \(H_t(z)\in k[[t]]\langle\langle z \rangle\rangle^n\) and \(o(H_t(z))\geq 2\). Here, \(t\) is a formal parameter that commutes with the non - commutative variable \(z\). \(F_t(z)\) can be regarded as the general deformation of the formal mapping \(F(z) = z - H_{t = 1}(z)\) when \(t = 1\). 2. **Derivation of partial differential equations (PDEs)**: In order to study these deformations and their inverse mappings \(G_t(z)=z + M_t(z)\), the author derives partial differential equations satisfied by \(M_t(z)\) and \(u(F_t)\), \(u(G_t)\) (where \(u(z)\in k\langle\langle z \rangle\rangle\)). These PDEs can be described as Cauchy problems in some cases, and on the base ring with characteristic zero, these formal power series solutions are unique. 3. **Study of special deformations**: For the special case \(H_t(z)=tH(z)\), the author further studies its inverse mapping \(G_t(z)=z + tN_t(z)\) and proves that \(N_t(z)\) is a power series solution of a certain Burgers - type PDE. This PDE is similar to the classical Burgers equation in the case of commutative variables. 4. **Recursive inverse formula and expanded inverse formula**: Based on the above PDEs, the author derives a recursive inverse formula and, in the case where the characteristic of the base ring is zero, gives an expanded inverse formula using planar binary trees. These formulas are applicable to the automorphisms of formal power series in non - commutative variables. In summary, this paper aims to derive corresponding partial differential equations by studying the automorphic deformations of formal power series in non - commutative variables and their inverse mappings, and based on these equations, give recursive and expanded inverse formulas, thus providing a set of theoretical tools for the automorphisms of non - commutative variables. ### Mathematical formulas - Deformation formula: \[F_t(z)=z - H_t(z)\] - Inverse mapping formula: \[G_t(z)=z + M_t(z)\] - Inverse mapping under special deformation: \[G_t(z)=z + tN_t(z)\] - PDE satisfaction condition: \[\frac{\partial N_t}{\partial t}=\left[N_t\frac{\partial}{\partial z}\right]N_t\] - Initial condition: \[N_t|_{t = 0}(z)=H(z)\] These formulas are used in the paper to describe the deformations and inverse mappings of the automorphisms of formal power series in non - commutative variables and to derive related partial differential equations.