Parametrization of local biholomorphisms of real analytic hypersurfaces

From MaRDI portal
(Redirected from Publication:1293768)



Abstract: Let M be a real analytic hypersurface in which is finitely nondegenerate, a notion that can be viewed as a generalization of Levi nondegenerate, at p0inM. We show that if M′ is another such hypersurface and p'0inM′, then the set of germs at p0 of biholomorphisms H with H(M)subsetM′ and H(p0)=p'0, equipped with its natural topology, can be naturally embedded as a real analytic submanifold in the complex jet group of 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′,p'0) 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′,p'0) is convergent. As a consequence, (M,p0) and (M′,p'0) are biholomorphically equivalent if and only if they are formally equivalent.


Let \(M\) be a real analytic hypersurface in \({\mathbb C}^{N}\), \(p\) a point in \(M\), \(\rho(Z,\overline{Z})\) a local defining function of \(M\) at \(p\), \(L_1, \dots, L_{N-1}\) a basis of CR vector fields near \(p\), and \(L^\alpha=L_1^{\alpha_1}\cdots L_{N-1}^{\alpha_{N-1}}\) for a multiindex \(\alpha\). Then the hypersurface \(M\) is said to be finitely nondegenerate at \(p\) if there exists a positive integer \(k\) such that span\(\{L^\alpha \rho_Z(p,\overline{p}): |\alpha|\leq k\} = {\mathbb C}^N\) and it is said to be holomorphically nondegenrate if there is no nontrivial germ of holomorphic vector field tangent to \(M\). This paper shows that, for germs of finitely nondegenerate real analytic hypersurface \((M,p)\) and \((M',p')\), formal equivalence of germs are equivalent to holomorphic equivalence. In particular, the stability group at \((M,p)\) equipped with natural topology is a real Lie group if \(M\) is finitely nondegenerate at \(p\).




Cited in
(34)








This page was built for publication: Parametrization of local biholomorphisms of real analytic hypersurfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1293768)