Parametrization of local biholomorphisms of real analytic hypersurfaces

Abstract

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 $p_0\in M$. We show that if $M^{\prime }$ is another such hypersurface and $p_0^{\prime }\in M^{\prime }$, then the set of germs at $p_0$ of biholomorphisms $H$ with $H(M)\subset M^{\prime }$ and $H(p_0)=p_0^{\prime }$, 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^{\prime }$. Thus, $(M,p_0)$ and $(M^{\prime },p_0^{\prime })$ 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,p_0)$ to $(M^{\prime },p_0^{\prime })$ is convergent. As a consequence, $(M,p_0)$ and $(M^{\prime },p_0^{\prime })$ are biholomorphically equivalent if and only if they are formally equivalent.

References in corpus (1)

• Divergence of the normalization for real Lagrangian surfaces near complex tangents

Cited by in corpus (2)

• Parametrization of local CR automorphisms by finite jets and applications
• Germs of local automorphisms of real-analytic CR structures and analytic dependence on $k$-jets