Addendum: On generalized canonical bundle formula and boundedness of complements in complex analytic setting

तकनीकी सारांश: जटिल विश्लेषणात्मक परिवेश में सामान्यीकृत कैनोनिकल बंडल सूत्र और पूरक की परिबद्धता पर परिशिष्ट

समस्या विवरण
यह शोध पत्र जटिल विश्लेषणात्मक परिवेश के भीतर सामान्यीकृत युग्मों (generalized pairs) के सिद्धांत में एक अंतराल को संबोधित करता है। विशेष रूप से, यह सामान्यीकृत lc-ट्रिवियल फाइब्रेशन के लिए सामान्यीकृत कैनोनिकल बंडल सूत्र को लक्षित करता है। लेखक के पिछले कार्य ([Has26]) में, इस सूत्र की वैधता के लिए एक प्रतिबंधात्मक धारणा आवश्यक थी: कि सामान्यीकृत युग्म $(X, B+M)$ का नेफ भाग (nef part) $M$, $b$-नेफ/$S$ $\mathbb{Q}$-$b$-कार्टियर $\mathbb{Q}$-$b$-डिविसर्स के सीमित $\mathbb{R}_{>0}$-रैखिक संयोजन का एक हिस्सा होना चाहिए। वर्तमान कार्य इस धारणा को हटाने का लक्ष्य रखता है, जिससे सामान्य $b$-नेफ/$S$ $\mathbb{Q}$-$b$-कार्टियर $\mathbb{Q}$-$b$-डिविसर्स के सीमित रैखिक संयोजन के रूप में न होने पर भी सामान्यीकृत उप-युग्मों (generalized sub-pairs) के लिए सूत्र स्थापित किया जा सके। यह $M$ के नेफ भाग पर कृत्रिम बाधाओं के बिना व्यापक जटिल विश्लेषणात्मक संदर्भ में पूरकों की परिबद्धता (boundedness of complements) और सामान्यीकृत युग्मों के संरचनात्मक सिद्धांत के विस्तार के लिए अत्यंत महत्वपूर्ण है।

कार्यप्रणाली
लेखक एक दो-चरणीय दृष्टिकोण अपनाते हैं, जिसमें बीजगणितीय और जटिल विश्लेषणात्मक परिवेशों को क्रमिक रूप से माना जाता है:

1. बीजगणितीय परिवेश (प्रमेय 1.3):

   • प्रमाण प्रस्तावना 2.1 का लाभ उठाता है, जो यह स्थापित करता है कि मानक lc-ट्रिवियल फाइब्रेशन (जहाँ नेफ भाग शून्य है) के लिए, मॉड्युली $R$-$b$-डिविसर विशिष्ट डिविसर्स का एक सीमित $\mathbb{R}_{>0}$-रैखिक संयोजन है। इस परिणाम को [FuHa23] के एक विशेष मामले के रूप में या [Has26] के एक मामूली रूपांतर के रूप में उद्धृत किया गया है।
   • इसके आधार पर, लेखक [Fi20] के तर्कों को लागू करते हैं। महत्वपूर्ण रूप से, कार्यप्रणाली कमजोर अर्ध-स्थिर न्यूनीकरण (weak semistable reductions) ([Kar99]), सामान्यीकृत dlt ब्लो-अप्स (blow-ups), और $\mathbb{Q}$-फैक्टरियल सामान्यीकृत dlt युग्मों के लिए मिनिमल मॉडल प्रोग्राम (MMP) ([BiZh16]) का उपयोग करती है।
   • मुख्य तकनीकी अंतर्दृष्टि यह है कि ये उपकरण तब भी प्रभावी रहते हैं जब सामान्यीकृत युग्मों के नेफ भाग $b$-नेफ/$S$ $\mathbb{Q}$-$b$-कार्टियर $\mathbb{Q}$-$b$-डिविसर्स के सीमित रैखिक संयोजनों द्वारा प्रतिनिधित्व नहीं किए जाते हैं।

2. जटिल विश्लेषणात्मक परिवेश (प्रमेय 1.2):

   • प्रमाण $\pi$ के संबंध में गुण (P) को संतुष्ट करने वाले मूल $W$ वाले स्टाइन कॉम्पैक्ट (Stein compact) उपसमुच्चय $W' \subset S$ के निर्माण के लिए [Fu22] के लेम्मा 2.16 पर निर्भर करता है। यह समस्या को एक स्थानीय पड़ोस तक कम करने की अनुमति देता है जहाँ मानक विश्लेषणात्मक तकनीकें लागू होती हैं।
   • तर्क बीजगणितीय मामले के समान है लेकिन इसमें विशिष्ट विश्लेषणात्मक उपकरणों को एकीकृत किया गया है: $M=0$ का मामला थ्योरम 1.1 (लेखक का पूर्व कार्य), EH25, और Fu22 के परिणाम।
   • टिप्पणी 2.2 स्पष्ट करती है कि प्रमाण के लिए [Has26, सेक्शन 3] के पूर्ण तंत्र की आवश्यकता है। लेखक नोट करते हैं कि मिश्रित हॉज संरचनाओं (mixed Hodge structures) के विविध रूपों का उपयोग नहीं किया गया है; इसके बजाय, प्रमाण पहले सामान्यीकृत klt-ट्रिवियल फाइब्रेशन के लिए सूत्र स्थापित करके और फिर इसे lc मामले तक विस्तारित करके आगे बढ़ता है।

3. पूरक निर्माण (प्रमेय 2.3):

   • विश्लेषणात्मक परिवेश में कैनोनिकल $b$-डिविसर की कठोर परिभाषा सुनिश्चित करने के लिए, लेखक एक स्टाइन कॉम्पैक्ट सेट $W$ पर एक सामान्य विश्लेषणात्मक विविधता $X$ पर वैश्विक परिभाषा के लिए एक निर्माण प्रदान करते हैं।
   • इसमें $Y \to X$ के रेजोल्यूशन की प्रोजेक्टिविटी और एक बहुत ही एम्पल (very ample) डिविसर के अस्तित्व को सुनिश्चित करने के लिए $S$ को सिकोड़ना शामिल है। कोहोमोलॉजी और बेस चेंज थ्योरम के साथ-साथ कार्टन के प्रमेय A (Cartan's Theorem A) का उपयोग करते हुए, लेखक वैश्विक खंडों (global sections) का निर्माण करते हैं ताकि बाइमेरोमोर्फिक संकुचन (bimeromorphic contractions) के तहत संगत होने वाले वेइल डिविसर्स (Weil divisors) को परिभाषित किया जा सके, जिससे एक सुपरिभाषित $b$-डिविसर बनता है।

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

• प्रमेय 1.2 (मुख्य परिणाम, जटिल विश्लेषणात्मक परिवेश):

  • एक स्टाइन कॉम्पैक्ट सेट $W$ पर सामान्यीकृत lc-ट्रिवियल फाइब्रेशन के लिए नेफ भाग $M$ की धारणा को हटाता है।
  • यह स्थापित करता है कि फाइब्रेशन से जुड़ा मॉड्युली $R$-$b$-डिविसर $N$ एक $b$-नेफ/$S$ $R$-$b$-कार्टियर $R$-$b$-डिविसर है।
  • पुष्टि करता है कि $(Z, G_Z + N_Z) \to S$ स्रोत के सामान्यीकृत lc (या klt) गुण को बनाए रखते हुए, $N$ के नेफ भाग के साथ एक सामान्यीकृत उप-युग्म बनाता है।
  • एक स्थानीयता गुण सिद्ध करता है: किसी भी खुले उपसमुच्चय $\tilde{S} \subset S$ के लिए, मॉड्युली डिविसर $\tilde{N}$, $N$ का प्रतिबंध (restriction) है।
  • एक सशर्त कथन जोड़ता है: यदि मूल $M$ वास्तव में $b$-नेफ/$S$ $\mathbb{Q}$-$b$-कार्टियर $\mathbb{Q}$-$b$-डिविसर्स का एक सीमित $\mathbb{R}_{>0}$-रैखिक संयोजन है, तो $N$ इस गुण को विरासत में प्राप्त करता है।

• प्रमेय 1.3 (मुख्य परिणाम, बीजगणितीय परिवेश):

  • एक अर्ध-प्रोजेक्टिव स्कीम $S$ पर संगत बीजगणितीय कथन प्रदान करता है।
  • यह दावा करता है कि $N$ एक $b$-नेफ/$S$ $R$-$b$-कार्टियर $R$-$b$-डिविसर है और परिणामी युग्म $Z$ पर सामान्यीकृत lc/klt गुणों को बनाए रखता है।
  • लेखक स्पष्ट रूप से कहते हैं कि यह परिणाम नया है और [FiSv23, थ्योरम 2.20] का सामान्यीकरण है।

• प्रमेय 2.3:

  • सामान्यीकृत lc-ट्रिवियल फाइब्रेशन के संदर्भ में सामान्यीकृत संरचनात्मक $b$-डिविसर और मॉड्युली $R$-$b$-डिविसर्स की कठोर परिभाषा प्रदान करता है, जो आधार को सिकोड़ने के बाद उनके अस्तित्व और बाइमेरोमोर्फिक मैनिफ़ेस्टेशन के तहत अनुकूलता सुनिश्चित करता है।

महत्व और दावे
शोध पत्र का दावा है कि यह सामान्यीकृत कैनोनिकल बंडल सूत्र सिद्धांत का एक आवश्यक परिशोधन है। नेफ भाग $M$ पर प्रतिबंधात्मक धारणा को हटाकर, परिणाम जटिल विश्लेषणात्मक परिवेश में सूत्र की प्रयोज्यता को व्यापक बनाते हैं, जो इस संदर्भ में पूरकों की परिबद्धता के अध्ययन के लिए आवश्यक है।

लेखक इस बात पर जोर देते हैं कि प्रमाण केवल एक साधारण विस्तार नहीं है बल्कि कई गहरे परिणामों (जिसमें [Has26], [Fi20], [Kar99], और [BiZh16] शामिल हैं) के बीच परस्पर क्रिया पर आधारित है। कार्य को एक आधारभूत चरण ("परिशिष्ट") के रूप में प्रस्तुत किया गया है जो नेफ भाग पर कृत्रिम बाधाओं के बिना सामान्यीकृत युग्मों के लिए सैद्धांतिक ढांचे को सुदृढ़ करता है, जिससे जटिल विश्लेषणात्मक स्थानों के लिए मिनिमल मॉडल प्रोग्राम के विकास को समर्थन मिलता है। शोध पत्र नए प्रयोगात्मक अनुप्रयोग प्रस्तावित नहीं करता है, बल्कि मौजूदा सैद्धांतिक कथनों को सुधारने और सामान्य बनाने का प्रयास करता है।