Abstract:Our main theorem states that the complement of a compact holomorphically convex set in a Stein manifold with the density property is an Oka manifold. This gives a positive answer to the well-known long-standing problem in Oka theory whether the complement of a compact polynomially convex set in $\mathbb{C}^{n}$ $(n>1)$ is Oka. Furthermore, we obtain new examples of nonelliptic Oka manifolds which negatively answer Gromov's question. The relative version of the main theorem is also proved. As an application, we show that the complement $\mathbb{C}^{n}\setminus\mathbb{R}^{k}$ of a totally real affine subspace is Oka if $n>1$ and $(n,k)\neq(2,1),(2,2),(3,3)$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is a long - standing problem in complex geometry, namely, "whether the complement of a compact polynomially convex set in \( \mathbb{C}^n \) (n > 1) is an Oka manifold". Specifically, the main theorem of the paper shows that in a Stein manifold with the density property, the complement of a compact holomorphically convex set is an Oka manifold. This provides a positive answer to a well - known problem in Oka theory, that is, whether the complement of a compact polynomially convex set in \( \mathbb{C}^n \) (n > 1) is an Oka manifold.
### Main Problem
The core problems of the paper are:
- **Problem**: Is the complement of a compact polynomially convex set in \( \mathbb{C}^n \) (n > 1) an Oka manifold?
- **Background**: This problem is a long - unsolved problem in Oka theory and was first proposed in the early 21st century.
### Solution
The main contribution of the paper lies in proving the following theorems:
- **Theorem 1.2**: For any Stein manifold \( Y \) with the density property and a compact \( O(Y) \)-convex set \( K \) in \( Y \), the complement \( Y\setminus K \) is an Oka manifold.
- **Corollary 1.3**: For any compact polynomially convex set \( K\subset \mathbb{C}^n \) (n > 1), the complement \( \mathbb{C}^n\setminus K \) is an Oka manifold.
### Other Applications
Besides the main theorem, the paper also provides several other important results:
- **Corollary 1.4**: For any compact polynomially convex set \( K\subset \mathbb{C}^n \) (n > 1), there exists a holomorphic mapping \( f:\mathbb{C}^n\rightarrow \mathbb{C}^n \) such that \( f(\mathbb{C}^n)=\mathbb{C}^n\setminus K \).
- **Corollary 1.5**: For a Stein manifold \( Y \) with the density property and a compact \( O(Y) \)-convex set \( K \) in \( Y \), if \( \dim Y\geq 3 \) and \( K \) has infinitely many accumulation points, then the complement \( Y\setminus K \) is a non - elliptic Oka manifold.
- **Corollary 1.7**: If \( n > 1 \), then for any compact set \( K \) in \( \mathbb{R}^n\subset \mathbb{C}^n \), the complement \( \mathbb{C}^n\setminus K \) is an Oka manifold. Moreover, if \( (n, k)\neq(2, 1), (2, 2), (3, 3) \), then for any closed set \( S \) in \( \mathbb{R}^k\subset \mathbb{C}^n \), the complement \( \mathbb{C}^n\setminus S \) is an Oka manifold.
### Conclusion
Through these results, the paper not only solves a long - standing problem in Oka theory, but also provides a series of new examples of Oka manifolds and gives a negative answer to Gromov's problem. These results are of great significance in the study of complex geometry and holomorphic mappings.