Normal families and the semicontinuity of isometry and automorphism groups (Q1069520)

Let \(G_ 0\) be a compact subgroup of Diff(M). A sequence \(\{G_ i|\) \(i=1,2,3,...\}\) of subgroups of Diff(M) is said to be \(C^{\infty}\) convergent to \(G_ 0\) if (roughly speaking), for each \(\epsilon >0\), \(G_ i\) is contained in an \(\epsilon\)-neighborhood of \(G_ 0\) (relative to a metric of the coarse \(C^{\infty}\) topology of Diff(M)), for all sufficiently large indices. The following is one of the main results: Let M be a paracompact manifold (without boundary) and let \(\{G_ i\subset Diff(M)|\) \(i=1,2,3,...\}\) be a sequence of compact groups \(C^{\infty}\) converging to a compact subgroup \(G_ 0\) of Diff(M). Then, for each sufficiently large i, \(G_ i\) is isomorphic to a subgroup of \(G_ 0\). The proof, given by several steps, is based on a variation of the main result for a compact M with boundary and techniques sharpening the semicontinuity theorem for isometry groups of compact manifolds [cf. \textit{D. G. Ebin}, Global Analysis, Proc. Symp. Pure Math. 15, 11-40 (1970; Zbl 0205.537)]. Defining now an appropriate \(C^ 2\) topology on the set of all the domains of \({\mathbb{C}}^ n\) with \(C^ 2\) boundary, the following main application is obtained: Let \(D_ 0\) be a \(C^ 2\) strongly pseudoconvex domain of \({\mathbb{C}}^ n\) (not biholomorphic to the ball) and let \(\{D_ i\}\) be a sequence of \(C^ 2\) domains converging to \(D_ 0\) in the \(C^ 2\) topology. Then, for each sufficiently large i, \(Aut(D_ i)\) is isomorphic to a subgroup of \(Aut(D_ 0)\).