Uniqueness theorems for CR and conformal mappings (Q453221)

Let \(M\) be a smooth manifold and \(\mathcal C\) a class of smooth mappings from \(M\) into itself, containing the identity. The pair \((M,\mathcal C)\) is said to satisfy the Cartan uniqueness property at \(p\in M\) if the only element \(f\in\mathcal C\) such that \(f(p)=p\), \(df_p=\text{Id}_{T_pM}\) and such that the sequence of iterates of \(f\) is relatively compact in the compact-open topology, is the identity map. The classical pair known to satisfy the Cartan uniqueness property is \((D,\mathcal H)\), where \(D\subset\mathbb C^n\) is a domain and \(\mathcal H\) is the class of holomorphic mappings from \(D\) into itself. Results when \(p\) is on the boundary of the domain are more recent, and in the case of biholomorphic mappings were proved by \textit{S. G. Krantz} [``A new compactness principle in complex analysis'', Univ. Autonoma de Madrid Seminarios 3, 171--194 (1987)] and \textit{X. J. Huang} [Pac. J. Math. 158, No. 2, 305--315 (1993; Zbl 0807.32016)]. In this paper a \(CR\) version of the uniqueness theorem is proved: Let \(M\) be either a real hypersurface in \(\mathbb C^{n+1}\) that does not contain analytic hypersurfaces or a compact real hypersurface that bounds a domain. Let \(\mathcal H_b\) be the class of \(CR\) mappings from \(M\) to itself. Then \((M,\mathcal H_b)\) satisfies the Cartan uniqueness property. In the paper it is also proved that the pair \((M,\mathcal S)\) given by a Riemannian manifold of dimension greater than \(2\) and the class of all semiconformal mappings from \(M\) into itself satisfies the Cartan uniqueness property.