On envelopes of holomorphy of domains covered by Levi-flat hats and the reflection principle (Q1863984)

Let \(h: M\rightarrow M'\) be a \(C^\infty\)-smooth CR diffeomorphism between two smooth real analytic hypersurfaces in \(\mathbb C^n\) with \(n\geq 2\). \(M\) is called globally minimal if it consists of a single CR orbit. \(M'\) is called holomorphically nondegenerate if there does not exist any nonzero \((1,0)\) tangent vector field with holomorphic coefficients. The main result in this paper is as follows. If \(M\) is globally minimal and if \(M'\) is holomorphically nondegenerate, then any \(C^\infty\)-smooth diffeomorphism \(h\) is real analytic at every point of \(M\).