2025-11-10T03:08:47.401710

Increasing unions of Stein spaces with singularities

Alaoui
We show that if $X$ is a Stein space and, if $Ω\subset X$ is exhaustable by a sequence $Ω_1 \subset Ω_2 \subset \ldots \subset Ω_n \subset \ldots$ of open Stein subsets of $X$, then $Ω$ is Stein. This generalizes a well-known result of Behnke and Stein which is obtained for $X=\mathbb{C}^n$ and solves the union problem, one of the most classical questions in Complex Analytic Geometry. When $X$ has dimension 2, we prove that the same result follows if we assume only that $Ω\subset \subset X$ is a domain of holomorphy in a Stein normal space. It is known, however, that if $X$ is an arbitrary complex space which is exhaustable by an increasing sequence of open Stein subsets $X_1 \subset X_2 \subset \cdots \subset X_n \subset \cdots$, it does not follow in general that $X$ is holomorphically-convex or holomorphically-separate (even if $X$ has no singularities). One can even obtain 2-dimensional complex manifolds on which all holomorphic functions are constant.
academic

Increasing unions of Stein spaces with singularities

Basic Information

  • Paper ID: 1112.6292
  • Title: Increasing unions of Stein spaces with singularities
  • Author: Youssef Alaoui (Hassan II Institute of Agronomy and Veterinary Sciences, Morocco)
  • Classification: math.CV (Complex Variables)
  • Publication Date: October 15, 2025 (arXiv v2 version)
  • Paper Link: https://arxiv.org/abs/1112.6292

Abstract

This paper proves that if XX is a Stein space and Ω⊂X\Omega \subset X can be exhausted by an increasing sequence of open Stein subsets Ω1⊂Ω2⊂…⊂Ωn⊂…\Omega_1 \subset \Omega_2 \subset \ldots \subset \Omega_n \subset \ldots, then Ω\Omega is Stein. This result generalizes the classical theorem of Behnke and Stein (which applies to the case X=CnX=\mathbb{C}^n) and resolves one of the most classical problems in complex analytic geometry—the union problem. When XX is two-dimensional, the author proves that the same result holds if we only assume Ω⊂⊂X\Omega \subset\subset X is a holomorphic domain in a Stein normal space.

Research Background and Motivation

Core Problem

The central problem addressed in this paper is: If XX is a Stein space, D⊂XD \subset X is an open subset, and DD is the union of an increasing sequence of Stein open subsets, must DD necessarily be Stein?

Problem Significance

  1. Classical Status: This is one of the most classical problems in complex analytic geometry, known as the "union problem"
  2. Theoretical Importance: Concerns fundamental properties and structure of Stein space theory
  3. Generalization Value: Extends from the classical case of Cn\mathbb{C}^n to general Stein spaces with singularities

Historical Background

  • Behnke-Stein Theorem (1938): In Cn\mathbb{C}^n, the union of an increasing sequence of Stein open sets is Stein
  • Markoe (1977): Proved that in reduced complex spaces, the conclusion holds if H1(X,OX)=0H^1(X,\mathcal{O}_X) = 0
  • Known Difficulties: For arbitrary complex spaces, even without singularities, the union of increasing Stein subsets need not be holomorphically convex

Core Contributions

  1. Main Theorem: Completely resolves the union problem in Stein spaces, generalizing the Behnke-Stein theorem to the case with singularities
  2. Two-Dimensional Special Case: Proves that relatively compact holomorphic domains in two-dimensional Stein normal spaces are Stein
  3. Constructive Proof: Provides concrete methods for constructing strictly plurisubharmonic exhaustion functions
  4. Technical Innovation: Develops new techniques for handling singularities, particularly normalization methods in the two-dimensional case

Detailed Methodology

Task Definition

Input: Stein space XX and open subset Ω⊂X\Omega \subset X, where Ω=⋃n≥1Ωn\Omega = \bigcup_{n \geq 1} \Omega_n and Ω1⊂Ω2⊂⋯\Omega_1 \subset \Omega_2 \subset \cdots is an increasing sequence of Stein open subsets

Output: Prove that Ω\Omega is a Stein space

Constraints: XX must be a Stein space, and each Ωn\Omega_n must be a Stein open subset of XX

Core Methodological Framework

1. Treatment of the Two-Dimensional Case (Theorem 1)

For the two-dimensional case, the author first proves:

Theorem 1: A relatively compact holomorphic domain DD in a two-dimensional normal Stein space XX is Stein.

Proof Strategy:

  • Utilize the Andreotti-Narasimhan theorem, reducing to proving DD is locally Stein
  • For singularities p∈∂D∩Sing(X)p \in \partial D \cap \text{Sing}(X), construct appropriate coordinate systems
  • Handle the structure near singularities through normalization techniques
  • Apply Simha's theorem to prove the Stein property of related spaces

2. Construction for the General Case (Theorem 2)

Theorem 2: If XX is a Stein space and Ω\Omega is an open subset of XX that is the union of an increasing sequence of Stein open sets, then Ω\Omega is Stein.

Technical Innovations

1. Construction of Exhaustion Functions

The author constructs an increasing sequence (Ων′)ν≥1(\Omega'_\nu)_{\nu \geq 1} and continuous strictly plurisubharmonic functions ψν′′:Ων′→]0,+∞[\psi''_\nu: \Omega'_\nu \to ]0,+\infty[, satisfying:

  • (a)(a) ψj′′>2ν+2\psi''_j > 2^{\nu+2} on Ων+2′∖Ων+1′\Omega'_{\nu+2} \setminus \Omega'_{\nu+1}, for all j≥ν+1j \geq \nu+1
  • (b)(b) (ψν′′)ν≥1(\psi''_\nu)_{\nu \geq 1} is stable on every compact subset of Ω\Omega

2. Key Lemma (Lemma 1)

Constructs exhaustion functions ϕν∈C∞(Ων)\phi_\nu \in C^\infty(\Omega_\nu), locally finite covers (Uν)ν≥1(U_\nu)_{\nu \geq 1}, and constants cνc_\nu, such that:

  • Each ϕν\phi_\nu is strictly plurisubharmonic in a neighborhood of Ων′∖Ων−1′\Omega'_\nu \setminus \Omega'_{\nu-1}
  • There exists a function ψν:Ων+1′→]0,+∞[\psi_\nu: \Omega'_{\nu+1} \to ]0,+\infty[ that is strictly plurisubharmonic in appropriate regions

3. Piecewise Construction Technique

Functions are defined piecewise:

\psi_{\nu-1} & \text{on } \{\phi_{\nu+1} \leq c_\nu - \varepsilon_\nu\} \\ \max(\psi_{\nu-1}, \chi_\nu(\phi_{\nu+1})) & \text{on } \{c_\nu - \varepsilon_\nu \leq \phi_{\nu+1} \leq c_\nu + \varepsilon_\nu\} \\ \chi_\nu(\phi_{\nu+1}) & \text{on } \{\phi_{\nu+1} \geq c_\nu + \varepsilon_\nu\} \end{cases}$$ ## Experimental Setup As a pure mathematics theory paper, this work contains no numerical experiments but rather verifies theoretical results through rigorous mathematical proofs. ### Proof Verification Methods 1. **Constructive Proofs**: Proves the Stein property through explicit construction of exhaustion functions 2. **Counterexample Analysis**: Discusses why similar properties do not hold for general complex spaces 3. **Special Case Verification**: Provides detailed analysis of the special properties in the two-dimensional case ## Theoretical Results ### Main Theorem **Theorem 2 (Main Result)**: If $X$ is a Stein space and $\Omega$ is an open subset of $X$ that is the union of an increasing sequence of Stein open sets, then $\Omega$ is Stein. ### Key Technical Results 1. **Lemma 1**: Provides methods for constructing appropriate exhaustion functions 2. **Theorem 1**: Resolves the Stein property problem for two-dimensional relatively compact holomorphic domains 3. **Convergence of Construction**: Proves that $\psi = \lim \psi''_\nu$ is a continuous strictly plurisubharmonic exhaustion function ### Completeness of Proof The proof includes all necessary technical details: - Precise conditions for constant selection - Verification of each step in function construction - Rigorous proofs of convergence and continuity ## Related Work ### Historical Development 1. **Behnke-Stein (1938)**: Classical result in $\mathbb{C}^n$ 2. **Markoe (1977)**: Conditional results in reduced complex spaces 3. **Coltoiu (1988)**: Increasing unions of holomorphic domains in normal Stein spaces 4. **Vajaitu (1996)**: Proved that unions of increasing Stein open sets are 2-complete ### Position of This Work - **Complete Resolution**: This paper completely resolves the union problem in Stein spaces - **Technical Breakthrough**: Develops new methods for handling general singularities - **Theory Refinement**: Generalizes classical theory to the most general setting ## Conclusions and Discussion ### Main Conclusions 1. **Complete Resolution of the Union Problem**: Provides a complete answer within the Stein space framework 2. **Generality of Methods**: The construction method applies to Stein spaces of arbitrary dimension 3. **Innovation of Techniques**: The piecewise construction method for exhaustion functions is original ### Theoretical Significance 1. **Generalization of Classical Results**: Extends the Behnke-Stein theorem to the case with singularities 2. **Refinement of Stein Theory**: Provides important structural results for Stein space theory 3. **Methodological Contribution**: Offers new techniques for handling singularities in complex spaces ### Limitations 1. **Stein Space Restriction**: Results apply only to Stein spaces and cannot be generalized to arbitrary complex spaces 2. **Construction Complexity**: The construction of exhaustion functions is quite technical 3. **Dimension Dependence**: Although the method is general, the two-dimensional case requires special treatment ## In-Depth Evaluation ### Strengths 1. **Theoretical Importance**: Completely resolves a classical problem in complex analytic geometry 2. **Method Innovation**: The construction method for exhaustion functions is original and general 3. **Proof Rigor**: Mathematical proofs are complete and rigorous with proper handling of technical details 4. **Result Depth**: Reveals deep structural properties of Stein spaces ### Technical Contributions 1. **Singularity Handling**: Develops new techniques for handling singularities in complex spaces 2. **Function Construction**: The innovative piecewise construction method may have broader applications 3. **Convergence Analysis**: Provides refined analysis of convergence for function sequences ### Theoretical Impact 1. **Theory Completion**: Provides important supplements to Stein space theory 2. **Methodological Value**: Construction techniques may inspire solutions to other problems 3. **Educational Value**: Provides important theoretical results for complex analytic geometry ### Applicable Scenarios 1. **Theoretical Research**: Complex analytic geometry and several complex variables 2. **Further Generalizations**: May inspire development of related theories such as q-complete spaces 3. **Applied Mathematics**: Provides theoretical foundations for applications requiring Stein properties ## References The paper cites key literature in the field: 1. **A. Andreotti, R. Narasimhan** (1964): Oka's Heftungslemma and the Levi problem for complex spaces 2. **H. Behnke, K. Stein** (1938): Classical work on convergent sequences of regular domains 3. **M. Coltoiu** (1988): Research on increasing unions of Stein open sets 4. **A. Markoe** (1977): Inductive limits of Stein spaces 5. **R.R. Simha** (1963): Study of curve complements in two-dimensional Stein spaces 6. **V. Vajaitu** (1996): q-completeness of unions of open subspaces --- **Overall Assessment**: This is a high-quality pure mathematics theory paper that completely resolves a classical problem in complex analytic geometry. The author's methods are innovative and rigorous, and the results have significant theoretical value. The technical contributions not only solve the specific problem but also provide useful methods and techniques for related fields.