Normal Family for several complex variable (from $C^{n}$to$C^{n}\U$) - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T17:10:22Z http://mathoverflow.net/feeds/question/109437 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/109437/normal-family-for-several-complex-variable-from-cn-to-cn-u Normal Family for several complex variable (from $C^{n}$to$C^{n}\U$) yaoxiao 2012-10-12T06:44:38Z 2012-10-12T22:27:11Z <p>Recently I face up with a problem, which I realized that have close connection with the following problem. ${ f_{n} }_{n=1}^{\infty}$ is analytic map from $C^{n}$ to $C^{n}$\ $U$ where U is open neighborhood of 0, whether f is a normal family. </p> <p>I know when n=1, this is really Montel Normal family criterion, However I did know whether it is true for high dimension. also I heard that the for any two topological equivalent simple connected domain in$C^{n}$ $(n\geq 2)$, the probability of holomorphic equivalent for this two domain is 0. I want to know what is the precise statement for this theorem.</p> <p>Any advice and comments will be appreciated.</p> http://mathoverflow.net/questions/109437/normal-family-for-several-complex-variable-from-cn-to-cn-u/109497#109497 Answer by Margaret Friedland for Normal Family for several complex variable (from $C^{n}$to$C^{n}\U$) Margaret Friedland 2012-10-12T22:27:11Z 2012-10-12T22:27:11Z <p>The key phrase to keep in mind is "taut manifold": a complex manifold X which is taut has the property that Hol(Y,X) is normal for every complex manifold Y. A fact that may be of interest to you is that a taut domain in $\mathbb{C}^n$ is necessarily pseudoconvex.</p> <p>More information, including criteria of tautness and the relation with the notion of hyperbolicity can be found in the following books: by Marco Abate,</p> <p><a href="http://www.dm.unipi.it/~abate/libri/libriric/files/IterationThTautMan2-1.pdf" rel="nofollow">http://www.dm.unipi.it/~abate/libri/libriric/files/IterationThTautMan2-1.pdf</a></p> <p>and by Shoshichi Kobayashi,</p> <p>Hyperbolic Complex Spaces, Springer, 1998</p> <p>As for lack of biholomorphic equivalence for domains in $\mathbb{C}^n$, I am not sure if your "probabilistic" statement can be put on rigorous footing. It is true that an euclidean ball and a polydisk in $\mathbb{C}^n$ are not biholomorphically equivalent when $n \geq 2$. The result goes back to Poincare and has several proofs. You can learn more from the text by S. Krantz in several comlex variables; there is also a good sketch of proof among the exercises in the text by Grauert and Fritzsche, "From holomorphic functions to complex manifolds." </p>