Abstract:We prove that given a finite set $E$ in a bordered Riemann surface $\mathcal{R}$, there is a continuous map $h\colon \overline{\mathcal{R}}\setminus E\to\mathbb{C}^n$ ($n\geq 2$) such that $h|_{\mathcal{R}\setminus E} \colon \mathcal{R}\setminus E\to\mathbb{C}^n$ is a complete holomorphic immersion (embedding if $n\geq 3$) which is meromorphic on $\mathcal{R}$ and has effective poles at all points in $E$, and $h|_{b\overline{\mathcal{R}}} \colon b\overline{\mathcal{R}}\to\mathbb{C}^n$ is a topological embedding. In particular, $h(b\overline{\mathcal{R}})$ consists of the union of finitely many pairwise disjoint Jordan curves which we ensure to be of Hausdorff dimension one. We establish a more general result including uniform approximation and interpolation.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct holomorphic and meromorphic curves with specific properties. Specifically, the goals of the paper can be summarized as follows:
1. **Existence problem**: Given a Riemann surface \(R\) with a boundary and a finite set \(E\), the paper proves the existence of a continuous mapping \(h: R\setminus E\rightarrow\mathbb{C}^n\) (where \(n\geq2\)), such that \(h\) is a complete holomorphic immersion (an embedding when \(n\geq3\)) and is meromorphic on \(R\), and has effective poles at all points in \(E\).
2. **Boundary properties**: The mapping \(h\) is a topological embedding on the boundary \(bR\), and \(h(bR)\) is composed of finitely many mutually disjoint Jordan curves, and the Hausdorff dimension of these curves is one.
3. **Approximation and interpolation**: The paper also proves that for a given initial mapping \(h\) and a finite set \(\Lambda\), a new mapping \(\hat{h}\) can be constructed such that \(\hat{h}\) satisfies the interpolation conditions of any order on \(E\cup\Lambda\) and is close to \(h\) on \(R\).
4. **Generalization of results**: The main theorem (Theorem 1.1) in the paper generalizes previous results, allows the existence of poles, and provides interpolation on the pole set and a given finite set.
### Specific problem analysis
- **Construction of holomorphic and meromorphic mappings**: The paper solves the above problems by constructing specific mappings \(h\). These mappings are holomorphic on \(R\setminus E\) and meromorphic on \(R\), which means that they have poles at points in \(E\).
- **Boundary behavior**: The paper pays special attention to the behavior of \(h\) on the boundary \(bR\), ensuring that \(h(bR)\) is composed of finitely many mutually disjoint Jordan curves, and the Hausdorff dimension of these curves is one.
- **Approximation and interpolation**: The paper uses a series of technical lemmas (such as Lemma 2.2 and Lemma 2.3) to achieve the approximation and interpolation of the initial mapping \(h\), ensuring that the new mapping \(\hat{h}\) satisfies the required properties.
### Conclusion
Through strict mathematical proofs, the paper shows how to construct holomorphic and meromorphic curves with specific properties. These curves not only satisfy holomorphicity internally but also have good topological properties on the boundary, and can be accurately approximated and interpolated. This result is of great significance in the fields of complex geometry and complex analysis, providing new tools and methods for related research.