Regularity of CR maps between convex hypersurfaces of finite type (Q4257650)

The authors study rigidity and regularity properties of CR maps between smooth convex hypersurfaces of finite type in \(\mathbb{C}^{n+1}\). They establish the following results: 1. Any Lipschitz continuous CR map between two \(C^\infty\) smooth convex hypersurfaces of finite type (in the sense of D'Angelo) in \(\mathbb{C}^{n+1}\) is \(C^\infty\) smooth. 2. For \(f:\Gamma_1 \to \Gamma_2\) a nonconstant continuous CR map between two \(\mathbb{C}^\infty\) smooth hypersurfaces in \(\mathbb{C}^{n+1}\), let \(\Gamma_1\) be strictly pseudoconvex near a point \(p\) and \(\Gamma_2\) convex of finite type (in the sense of D'Angelo) near \(f(p)\). Then \(f\) is a \(C^\infty\) smooth local diffeomorphism, and \(\Gamma_2\) is strictly pseudoconvex near \(f(p)\). The scaling method reduces the general case to the investigation of CR structures on algebraic hypersurfaces.