Rational jet dependence of formal equivalences between real-analytic hypersurfaces in \(\mathbb C^2\) (Q2496433)

Let \(M\) be a real analytic hypersurface in \(\mathbb C^2\) passing through \(p = (0,0)\) and a defining equation for \(M\) of the form \(\Im w = \Theta(z, \bar z, \Re w)\). The germ of \(M\) at \(p\) is called \textit{of \(1\)-infinite type} if the defining equation can be chosen so that the function \(\Theta(z,\bar z, s)\) satisfies \(\Theta(z,\bar z,0) \equiv 0\) and \(\Theta_s (z, \bar z, 0) \neq 0\). The main result of this paper is the following. Let \((M, p)\) and \((\hat M, \hat p)\) be two germs at \(p = (0,0)\) and \(\hat p\), respectively, of two real analytic hypersurfaces in \(\mathbb C^2\) that are both of \(1\)-infinite type and formally equivalent one to the other. Then there exists an integer \(k\) and a formal power series of the form \[ \Psi(z_1, z_2; \Lambda) = \sum_{\alpha_1, \alpha_2} \frac{p_{\alpha_1, \alpha_2}(\Lambda)}{q(\lambda)^{\ell_{\alpha_1, \alpha_2}}} z^{\alpha_1}_1 z^{\alpha_2}_2 , \] where \(p_{\alpha_1, \alpha_2}(\Lambda)\) and \(q(\Lambda)\) are (respectively) \(\mathbb C^2\)- and \(\mathbb C\)-valued polynomials on \(J^k(\mathbb C^2, \mathbb C^2)_{p, \hat p}\) and \(\ell_{\alpha_1, \alpha_2}\) are non-negative integers, so that any formal equivalence \(H: (M, p) \to (\hat M, \hat p)\) is of the form \(H(z^1, z^2) = \Psi(z^1, z^2; j^k_p(H))\;.\) As a corollary, it is obtained that the isotropy group \(\text{Aut}_p(M)\) of the formal automorphisms of such \((M, p)\), which fix the point \(p\), is a real algebraic Lie group.