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

Uniones crecientes de espacios de Stein con singularidades

Información Básica

ID del artículo: 1112.6292
Título: Increasing unions of Stein spaces with singularities
Autor: Youssef Alaoui (Instituto Hassan II de Agronomía y Ciencias Veterinarias, Marruecos)
Clasificación: math.CV (Variables Complejas)
Fecha de publicación: 15 de octubre de 2025 (versión v2 en arXiv)
Enlace del artículo: https://arxiv.org/abs/1112.6292

Resumen

El presente artículo demuestra que si $X$ es un espacio de Stein y $\Omega \subset X$ puede ser agotado por una sucesión creciente de subconjuntos abiertos de Stein $\Omega_1 \subset \Omega_2 \subset \ldots \subset \Omega_n \subset \ldots$ , entonces $\Omega$ es de Stein. Este resultado generaliza el teorema clásico de Behnke y Stein (que se aplica al caso $X=\mathbb{C}^n$ ) y resuelve uno de los problemas más clásicos de la geometría analítica compleja: el problema de la unión. Cuando $X$ es bidimensional, el autor demuestra que el mismo resultado se mantiene si se asume únicamente que $\Omega \subset\subset X$ es un dominio holomorfo en un espacio de Stein normal.

Antecedentes y Motivación de la Investigación

Problema Central

El problema central que se aborda es: Si $X$ es un espacio de Stein, $D \subset X$ es un subconjunto abierto, y $D$ es la unión de una sucesión creciente de subconjuntos abiertos de Stein, ¿es $D$ necesariamente de Stein?

Importancia del Problema

Estatus clásico: Este es uno de los problemas más clásicos de la geometría analítica compleja, conocido como el "problema de la unión"
Significado teórico: Involucra propiedades fundamentales y estructura de la teoría de espacios de Stein
Valor de generalización: Extiende el caso clásico de $\mathbb{C}^n$ a espacios de Stein generales con singularidades

Contexto Histórico

Teorema de Behnke-Stein (1938): En $\mathbb{C}^n$ , la unión de una sucesión creciente de conjuntos abiertos de Stein es de Stein
Markoe (1977): Demostró que en espacios complejos reducidos, si $H^1(X,\mathcal{O}_X) = 0$ , la conclusión se mantiene
Dificultades conocidas: Para espacios complejos arbitrarios, incluso sin singularidades, la unión de subconjuntos de Stein crecientes no es necesariamente holomorfa convexa

Contribuciones Principales

Teorema principal: Resuelve completamente el problema de la unión en espacios de Stein, generalizando el teorema de Behnke-Stein al caso general con singularidades
Caso especial bidimensional: Demuestra que los dominios holomorfos relativamente compactos en espacios de Stein normales bidimensionales son de Stein
Demostración constructiva: Proporciona un método concreto para construir funciones de agotamiento estrictamente pluriarmónicas
Innovación técnica: Desarrolla nuevas técnicas para manejar singularidades, particularmente métodos de normalización en el caso bidimensional

Explicación Detallada de Métodos

Definición de la Tarea

Entrada: Espacio de Stein $X$ y subconjunto abierto $\Omega \subset X$ , donde $\Omega = \bigcup_{n \geq 1} \Omega_n$ y $\Omega_1 \subset \Omega_2 \subset \cdots$ es una sucesión creciente de subconjuntos abiertos de Stein

Salida: Demostración de que $\Omega$ es un espacio de Stein

Restricciones: $X$ debe ser un espacio de Stein, cada $\Omega_n$ debe ser un subconjunto abierto de Stein de $X$

Arquitectura del Método Central

1. Tratamiento del Caso Bidimensional (Teorema 1)

Para el caso bidimensional, el autor demuestra primero:

Teorema 1: Un dominio holomorfo relativamente compacto $D$ en un espacio de Stein normal bidimensional $X$ es de Stein.

Estrategia de demostración:

Utiliza el teorema de Andreotti-Narasimhan, reduciendo a demostrar que $D$ es localmente de Stein
Para singularidades $p \in \partial D \cap \text{Sing}(X)$ , construye sistemas de coordenadas apropiados
Maneja la estructura cerca de singularidades mediante técnicas de normalización
Utiliza el teorema de Simha para demostrar la propiedad de Stein de espacios relacionados

$(a)$ $\psi''_j > 2^{\nu+2}$ en $\Omega'_{\nu+2} \setminus \Omega'_{\nu+1}$ , para todo $j \geq \nu+1$
$(b)$ $(\psi''_\nu)_{\nu \geq 1}$ es estable en cada subconjunto compacto de $\Omega$

2. Lema Clave (Lema 1)

Construye funciones de agotamiento $\phi_\nu \in C^\infty(\Omega_\nu)$ , coberturas localmente finitas $(U_\nu)_{\nu \geq 1}$ y constantes $c_\nu$ , tales que:

Cada $\phi_\nu$ es estrictamente pluriarmónica en una vecindad de $\Omega'_\nu \setminus \Omega'_{\nu-1}$
Existe una función $\psi_\nu: \Omega'_{\nu+1} \to ]0,+\infty[$ estrictamente pluriarmónica en regiones apropiadas

3. Técnica de Construcción por Partes

Mediante definición por partes:

undefined