Algebraic approximations of holomorphic maps from Stein domains to projective manifolds (Q1345234)

Let \(Y,Z\) be quasi-projective algebraic varieties and let \(\Omega\) be an open subset of \(Y\). A map \(F:\Omega \to Z\) is said to be Nash algebraic if \(f\) is holomorphic and the graph of \(f\) is contained in an algebraic subvariety of \(Y \times Z\) of dimension equal to \(\dim Y\). One of the main results in the paper is the following theorem concerning the approximation of holomorphic maps by Nash algebraic maps: Theorem 1.1. Let \(\Omega\) be a Runge domain in an affine algebraic variety \(S\) and let \(f:\Omega \to X\) be a holomorphic map into a quasi-projective algebraic manifold \(X\). Then for every relatively compact domain \(\Omega_0 \Subset\Omega\), there is a sequence of Nash algebraic maps \(f_\nu: \Omega_0\to X\) such that \(f_\nu \to f\) uniformly on \(\Omega_0\). As important applications of Theorem 1.1 the authors obtain that the Kobayashi-Royden pseudometric and the Kobayashi pseudodistance on projective algebraic manifolds can be approximated in terms of algebraic curves. It is proved that a type of algebraic approximation is also possible in the case of locally free sheaves. Using the methods developed in the paper the authors give a more precise form of a result concerning the description of equivalent Nash algebraic vector bundle, obtained by \textit{T. Tancredi} and \textit{A. Tognoli} [Bull. Sci. Math., II. Ser. 117, No. 2, 173-183 (1993; Zbl 0798.32010)]. A result of \textit{E. L. Stout} [Contemp. Math. 32, 259-266 (1984; Zbl 0584.32027)] on the exhaustion of Stein manifolds by Runge domains in affine algebraic manifolds is proved by substantially different methods.