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

विलक्षणताओं के साथ Stein समष्टि के बढ़ते हुए संघ

मूल जानकारी

पेपर ID: 1112.6292
शीर्षक: विलक्षणताओं के साथ Stein समष्टि के बढ़ते हुए संघ
लेखक: Youssef Alaoui (हसन द्वितीय कृषि और पशु चिकित्सा संस्थान, मोरक्को)
वर्गीकरण: math.CV (जटिल चर)
प्रकाशन समय: 25 अक्टूबर 2010 (arXiv v2 संस्करण)
पेपर लिंक: https://arxiv.org/abs/1112.6292

सारांश

यह पेपर सिद्ध करता है कि यदि $X$ एक Stein समष्टि है, और $\Omega \subset X$ को खुले Stein उपसमुच्चय के बढ़ते क्रम $\Omega_1 \subset \Omega_2 \subset \ldots \subset \Omega_n \subset \ldots$ द्वारा समाप्त किया जा सकता है, तो $\Omega$ Stein है। यह परिणाम Behnke और Stein के शास्त्रीय प्रमेय को सामान्यीकृत करता है (जो $X=\mathbb{C}^n$ के मामले के लिए है), और जटिल विश्लेषणात्मक ज्यामिति में सबसे शास्त्रीय समस्याओं में से एक को हल करता है—संघ समस्या। जब $X$ द्विविमीय है, लेखक ने सिद्ध किया है कि यदि केवल $\Omega \subset\subset X$ को Stein सामान्य समष्टि में होलोमॉर्फिक डोमेन माना जाए, तो वही परिणाम भी सत्य है।

अनुसंधान पृष्ठभूमि और प्रेरणा

मूल समस्या

इस पेपर द्वारा समाधान की जाने वाली मूल समस्या है: यदि $X$ एक Stein समष्टि है, $D \subset X$ एक खुला उपसमुच्चय है, और $D$ बढ़ते हुए Stein खुले उपसमुच्चय के क्रम का संघ है, तो क्या $D$ आवश्यक रूप से Stein है?

समस्या की महत्ता

शास्त्रीय स्थिति: यह जटिल विश्लेषणात्मक ज्यामिति में सबसे शास्त्रीय समस्याओं में से एक है, जिसे "संघ समस्या" कहा जाता है
सैद्धांतिक महत्व: Stein समष्टि सिद्धांत के मूल गुणों और संरचना से संबंधित है
सामान्यीकरण मूल्य: शास्त्रीय $\mathbb{C}^n$ मामले से विलक्षणताओं वाली सामान्य Stein समष्टि तक सामान्यीकरण

ऐतिहासिक पृष्ठभूमि

Behnke-Stein प्रमेय (1938): $\mathbb{C}^n$ में, बढ़ते हुए Stein खुले समुच्चय के क्रम का संघ Stein है
Markoe (1977): सिद्ध किया कि घटाए गए जटिल समष्टि में, यदि $H^1(X,\mathcal{O}_X) = 0$ , तो निष्कर्ष सत्य है
ज्ञात कठिनाइयाँ: मनमाने जटिल समष्टि के लिए, यहाँ तक कि विलक्षणताओं के बिना, बढ़ते हुए Stein उपसमुच्चय का संघ आवश्यक रूप से होलोमॉर्फिकली उत्तल नहीं है

मूल योगदान

मुख्य प्रमेय: Stein समष्टि में संघ समस्या को पूरी तरह से हल करता है, Behnke-Stein प्रमेय को विलक्षणताओं वाले सामान्य मामले तक सामान्यीकृत करता है
द्विविमीय विशेष मामला: सिद्ध करता है कि द्विविमीय Stein सामान्य समष्टि में सापेक्ष रूप से कॉम्पैक्ट होलोमॉर्फिक डोमेन Stein है
रचनात्मक प्रमाण: कठोर बहु-सुसंगत समाप्त करने वाले कार्यों के निर्माण की ठोस विधि प्रदान करता है
तकनीकी नवाचार: विलक्षणताओं को संभालने के लिए नई तकनीकें विकसित करता है, विशेष रूप से द्विविमीय मामले में सामान्यीकरण विधि

विधि विवरण

कार्य परिभाषा

इनपुट: Stein समष्टि $X$ और खुला उपसमुच्चय $\Omega \subset X$ , जहाँ $\Omega = \bigcup_{n \geq 1} \Omega_n$ , और $\Omega_1 \subset \Omega_2 \subset \cdots$ बढ़ते हुए Stein खुले उपसमुच्चय का क्रम है

आउटपुट: सिद्ध करना कि $\Omega$ एक Stein समष्टि है

बाधा शर्तें: $X$ को Stein समष्टि होना चाहिए, प्रत्येक $\Omega_n$ को $X$ का Stein खुला उपसमुच्चय होना चाहिए

मूल विधि संरचना

1. द्विविमीय मामले का उपचार (प्रमेय 1)

द्विविमीय मामले के लिए, लेखक पहले सिद्ध करता है:

प्रमेय 1: द्विविमीय सामान्य Stein समष्टि $X$ में सापेक्ष रूप से कॉम्पैक्ट होलोमॉर्फिक डोमेन $D$ Stein है।

प्रमाण रणनीति:

Andreotti-Narasimhan प्रमेय का उपयोग करते हुए, केवल $D$ को स्थानीय रूप से Stein सिद्ध करने की आवश्यकता है
विलक्षणता $p \in \partial D \cap \text{Sing}(X)$ के लिए, उपयुक्त निर्देशांक प्रणाली का निर्माण करता है
विलक्षणता के पास की संरचना को संभालने के लिए सामान्यीकरण तकनीक का उपयोग करता है
संबंधित समष्टि की Stein संपत्ति को सिद्ध करने के लिए Simha प्रमेय का उपयोग करता है

2. सामान्य मामले का निर्माण (प्रमेय 2)

प्रमेय 2: यदि $X$ एक Stein समष्टि है, $\Omega$ बढ़ते हुए Stein खुले समुच्चय का संघ है, तो $\Omega$ Stein है।

तकनीकी नवाचार बिंदु

1. समाप्त करने वाले कार्य का निर्माण

लेखक एक बढ़ता हुआ क्रम $(\Omega'_\nu)_{\nu \geq 1}$ और निरंतर कठोर बहु-सुसंगत कार्य $\psi''_\nu: \Omega'_\nu \to ]0,+\infty[$ का निर्माण करता है, जो संतुष्ट करता है:

$(a)$ $\psi''_j > 2^{\nu+2}$ $\Omega'_{\nu+2} \setminus \Omega'_{\nu+1}$ पर, सभी $j \geq \nu+1$ के लिए
$(b)$ $(\psi''_\nu)_{\nu \geq 1}$ $\Omega$ के प्रत्येक कॉम्पैक्ट उपसमुच्चय पर स्थिर है

2. मुख्य लेम्मा (लेम्मा 1)

विशिष्ट शर्तों को संतुष्ट करने वाले समाप्त करने वाले कार्य $\phi_\nu \in C^\infty(\Omega_\nu)$ , स्थानीय रूप से परिमित कवरिंग $(U_\nu)_{\nu \geq 1}$ और स्थिरांक $c_\nu$ का निर्माण करता है, जैसे कि:

प्रत्येक $\phi_\nu$ $\Omega'_\nu \setminus \Omega'_{\nu-1}$ के पड़ोस में कठोर बहु-सुसंगत है
कार्य $\psi_\nu: \Omega'_{\nu+1} \to ]0,+\infty[$ उपयुक्त क्षेत्र में कठोर बहु-सुसंगत है

3. खंडीय निर्माण तकनीक

खंडीय रूप से कार्य को परिभाषित करता है: