Algebraic subellipticity and dominability of blow-ups of affine spaces (Q507697): Difference between revisions

The study of Oka manifolds is a classical subject of complex analysis, but relatively few things are known about the behaviour of the Oka property under standard operations like a blow-up. The smaller class \(\mathcal A\) is somewhat better understood: a manifold is of class \(\mathcal A\) if it is the complement of an algebraic subvariety of codimension at least two in an algebraic submanifold that is Zariski-locally isomorphic to \(\mathbb C^n\). By a theorem of Gromov the blow-up of a manifold \(X\) of class \(\mathcal A\) in finitely many points is of class \(\mathcal A\), and hence Oka. The main theorem of this paper is that the blow-up of \(X\) along any, not necessarily connected, algebraic submanifold is an Oka manifold. In fact the authors prove that the blow-up is algebraically subelliptic. As an application one obtains a conjecture of Forster: every open Riemann surface can be properly holomorphically embedded in \(\mathbb C^2\). The authors also consider the geometric property of being algebraically dominable: a manifold \(X\) of dimension \(n\) is algebraically dominable at \(x\) if there exists a regular map \(\mathbb C^n \rightarrow X, 0 \mapsto x\) that is biholomorphic at \(0\). In this case the authors prove that for any blow-up \(B \rightarrow X\) along an algebraic submanifold, the manifold \(B\) is algebraically dominable at every point over \(x\).