Local isomorphisms for families of projective non-unruled manifolds

तकनीकी सारांश: प्रोजेक्टिव गैर-यूनिरुल्ड मैनिफोल्ड्स के परिवारों के लिए स्थानीय समरूपता (Local Isomorphisms)

समस्या विवरण
यह शोध पत्र वीहलर (Wehler) द्वारा 1977 में उठाए गए एक प्रश्न को संबोधित करता है, जो संकुल मैनिफोल्ड्स (compact complex manifolds) के परिवारों के लिए बिंदुवार समरूपता (pointwise isomorphism) और स्थानीय समरूपता (local isomorphism) के बीच संबंध के बारे में है। विशेष रूप से, यदि एक जटिल मैनिफोल्ड $S$ पर दो चिकने परिवारों $\pi: X \to S$ और $\pi': Y \to S$ दिए गए हैं, और उनके फाइबर्स बिंदुवार समरूप हैं (अर्थात, प्रत्येक $s \in S$ के लिए एक बाइ-होलोमोर्फिज्म $f_s: Y_s \to X_s$ मौजूद है), तो क्या वे परिवार स्थानीय रूप से समरूप हैं?

पिछले कार्यों ने विशिष्ट मामलों, जैसे कि कॉम्प्लेक्स टोराई (complex tori) और ऋणात्मक समग्र होलोमोर्फिक वक्रता (negative holomorphic curvature) वाले मैनिफोल्ड्स के लिए इसे स्थापित किया था। हालांकि, मीयर्समैन (Meersseman) द्वारा एक सामान्य प्रमाण का प्रयास किया गया था, लेकिन इसमें कमियां पाई गईं, जिन्हें किर्शनर (Kirschner) द्वारा निर्मित एक प्रति-उदाहरण (counterexample) द्वारा रेखांकित किया गया था। इसके कारण एक कमजोर अनुमान (अनुमान 1.2) प्रस्तावित किया गया: यदि होलोमोर्फिक वेक्टर फील्ड्स के स्थान का आयाम, $s \to \dim H^0(Y_s, TY_s)$, स्थिर है, तो क्या एक खुला सघन उपसमुच्चय $U \subset S$ मौजूद है जहाँ प्रतिबंधित परिवार स्थानीय रूप से समरूप हों?

कार्यप्रणाली (Methodology)
लेखक, मु-लिन ली (Mu-Lin Li), विशेष रूप से प्रोजेक्टिव गैर-यूनिरुल्ड मैनिफोल्ड्स (projective non-uniruled manifolds) के परिवारों पर ध्यान केंद्रित करते हैं। प्रमाण की रणनीति ध्रुवीकृत कैलर मैनिफोल्ड्स (polarized Kähler manifolds) के मॉडुलि स्पेस (moduli spaces) के सिद्धांत पर आधारित है, जो फुजिकि (Fujiki) और शुमाचर (Schumacher) के निर्माणों का उपयोग करती है। कार्यप्रणाली निम्नलिखित तार्किक चरणों के माध्यम से आगे बढ़ती है:

1. टोपोलॉजिकल ट्रिवियलाइजेशन और कोहोमोलॉजी (Topological Trivialization and Cohomology):
   एक डिस्क $\Delta$ पर एक चिकने परिवार के लिए, शोध पत्र इस तथ्य का उपयोग करता है कि ऐसा परिवार एक स्मूथ फाइबर बंडल बनाता है। यह डिफ़ियोमोर्फिज्म $T: X \cong X_{t_1} \times \Delta$ के निर्माण की अनुमति देता है। लेखक इन डिफ़ियोमोर्फिज्म के तहत कोहोमोलॉजी क्लासेस के व्यवहार का विश्लेषण करते हैं, यह नोट करते हुए कि डिफ़ियोमोर्फिज्म ग्रुप के एक ही कनेक्टेड कॉम्पोनेंट में होने वाले डिफ़ियोमोर्फिज्म, कोहोमोलॉजी ग्रुप्स पर समान मॉर्फिज्म प्रेरित करते हैं (प्रपोजिशन 2.4)।

2. सापेक्ष ध्रुवीकरण का अस्तित्व (Existence of Relative Polarizations):
   एक महत्वपूर्ण तकनीकी बाधा परिवारों को होलोमोर्फिक रूप से परिवर्तनशील ध्रुवीकरण (Kähler classes) से सुसज्जित करना है।

• लेम्मा 3.1 और 3.2: लेखक सिद्ध करते हैं कि यदि एक कोहोमोलॉजी क्लास बेस के एक अनगिनत (uncountable) उपसमुच्चय पर $(1, 1)$-क्लास (या एक इंटीग्रल क्लास) के रूप में प्रतिबंधित होती है, तो एक वैश्विक लाइन बंडल बनाया जा सकता है जिसका प्रथम चेर्न क्लास (first Chern class) फाइबर्स पर वांछित क्लास तक प्रतिबंधित होता है। यह $(1, 1)$-क्लासेस पर लेफ़शेत्ज़ प्रमेय (Lefschetz theorem) और इस तथ्य पर निर्भर करता है कि एक डिस्क के एनालिटिक उपसमुच्चय अनगिनत नहीं हो सकते जब तक कि वे पूरा डिस्क न हों।
• यह बेस के एक ज़ारिस्की खुले सघन उपसमुच्चय पर $X$ और $Y$ पर सापेक्ष रूप से एम्प्ल (ample) लाइन बंडल्स $L$ और $\tilde{L}$ के निर्माण की अनुमति देता है।

3. मॉडुलि स्पेस मैपिंग (Moduli Space Mapping):
   अब इन परिवारों को ध्रुवीकृत गैर-यूनिरुल्ड मैफोल्ड्स के कोर्स मॉडुलि स्पेस $\mathcal{M}$ में दो होलोमोर्फिक मानचित्रों, $f, f': U \to \mathcal{M}$, को परिभाषित करने के लिए सुसज्जित किया गया है।

• फाइबर्स की बिंदुवार समरूपता यह दर्शाती है कि मॉडुलि स्पेस पर प्रेरित मानचित्र एक अनगिनत सेट के बिंदुओं पर सहमत होते हैं (डिफ़ियोमोर्फिज्म ग्रुप के कनेक्टेड कॉम्पोनेंट्स से व्युत्पन्न)।
• लेम्मा 3.3: एक जटिल विश्लेषण का मानक परिणाम लागू किया जाता है: यदि दो होलोमोर्फिक मानचित्र एक कॉम्प्लेक्स स्पेस से एक होलोमोर्फिक उत्तल डोमेन (holomorphic convex domain) पर सहमत होते हैं, तो वे हर जगह समान होते हैं। अतः, मॉडुलि स्पेस पर मानचित्र पूरे खुले सेट $U$ पर एक ही होते हैं।

4. स्थानीय पूर्णता और कुरुशी परिवार (Local Completeness and Kuranishi Families):
   अंतिम चरण इस गुण का उपयोग करता है कि ध्रुवीकृत गैर-य룬िरुल्ड मैनिफोल्ड्स के मॉडुलि फन्क्टर (moduli functor) स्थानीय रूप से पूर्ण (locally complete) है (प्रपोजिशन 2.8, फुजिकि और शुमाचर पर आधारित)।

• चूंकि मॉडुलि स्पेस पर मानचित्र समान हैं, इसलिए परिवार एक ही सार्वभौमिक (Kuranishi) परिवार के स्थानीय पुलबैक (local pullbacks) हैं।
• चूंकि मॉडुलि स्पेस एक कोर्स मॉडुलि स्पेस है, इसलिए पुलबैक की स्थानीय अद्वितीयता (एक परिमित ऑटोमोर्फिज्म ग्रुप की क्रिया तक) प्रतिबंधित परिवारों $X_U$ और $Y_U$ के बीच एक बाइ-होलोमोर्फिज्म के अस्तित्व को सुनिश्चित करती है जो प्रोजेक्शन के साथ कम्यूट करता है।

प्रमुख योगदान और परिणाम
यह शोध पत्र थ्योरम 1.3 स्थापित करता है:

मान लीजिए कि $\pi: X \to S$ और $\pi': Y \to S$ एक रीमैन सतह $S$ पर दो चिकने प्रोजेक्टिव गैर-यूनिरुल्ड मैनिफोल्ड्स के परिवार हैं। suppose ये दोनों परिवार बिंदुवार समरूप हैं। तो एक खुला सघन उपसमुच्चय $U \subset S$ मौजूद है कि प्रतिबंधित परिवार प्रत्येक बिंदु $s \in U$ पर स्थानीय रूप से समरूप हैं।

यह परिणाम वीहलर के प्रश्न का एक आंशिक सकारात्मक उत्तर प्रदान करता है, विशेष रूप से प्रोजेक्टिव गैर-यूनिरुल्ड मैनिफोल्ड्स के वर्ग के लिए। यह प्रमाण इस विशिष्ट वर्ग के लिए इस अंतिम थ्योरम स्टेटमेंट में $\dim H^0(Y_s, TY_s)$ के निरंतर आयाम की धारणा को स्पष्ट रूप से आवश्यक नहीं बनाता है, क्योंकि गैर-यूनिरुल्ड मैनिफोल्ड्स के गुण और मॉडुलि स्पेस निर्माण एक सघन खुले सेट पर स्थानीय समरूपता स्थापित करने के लिए पर्याप्त हैं।

महत्व
यह शोध पत्र दावा करता है कि यह जटिल मैनिफोल्ड्स के विरूपण सिद्धांत (deformation theory) के एक लंबे समय से चले आ रहे प्रश्न को आंशिक रूप से हल करता है। प्रोजेक्टिव गैर-यूनिरल्ड मैनिफोल्ड्स के दायरे को सीमित करके, लेखक किर्शनर के प्रति-उदाहरण द्वारा पाई गई बाधाओं को सफलतापूर्वक पार कर लेते हैं। यह कार्य यह प्रदर्शित करता है कि ध्रुवीकृत गैर-यूनिरुल्ड मैनिफोल्ड्स के लिए एक कोर्स मॉडुलि स्पेस का अस्तित्व, कुरुशी परिवार की स्थानीय पूर्णता के साथ मिलकर, बिंदुवार समरूपता को एक सघन खुले सेट पर स्थानीय समरूपता में अपग्रेड करने के लिए पर्याप्त है। यह परिणाम जटिल मैनिफोल्ड्स की कठोरता (rigidity) को समझने की दिशा में एक कदम के रूप में प्रस्तुत किया गया है।