Parametrization of local biholomorphisms of real analytic hypersurfaces
Let M be a real analytic hypersurface in $\bC^N$ which is finitely nondegenerate, a notion that can be viewed as a generalization of Levi nondegenerate, at p0∈M. We show that if M′ is another such hypersurface and p0′∈M′, then the set of germs at p0 of biholomorphisms H with H(M)⊂M′ and H(p0)=p0′, equipped with its natural topology, can be naturally embedded as a real analytic submanifold in the complex jet group of $\bC^N$ of the appropriate order. We also show that this submanifold is defined by equations that can be explicitly computed from defining equations of M and M′. Thus, (M,p0) and (M′,p0′) are biholomorphically equivalent if and only if this (infinite) set of equations in the complex jet group has a solution. Another result obtained in this paper is that any invertible formal map H that transforms (M,p0) to (M′,p0′) is convergent. As a consequence, (M,p0) and (M′,p0′) are biholomorphically equivalent if and only if they are formally equivalent.