Retract rational varieties are uniformly retract rational

तकनीकी सारांश: "रिट्रैक्ट रेशनल वैराइटीज़ यूनिफॉर्मली रिट्रैक्ट रेशनल हैं"

समस्या विवरण (Problem Statement)
यह शोध पत्र बीजगणितीय वैराइटीज़ (algebraic varieties) के सिद्धांत में एक मौलिक प्रश्न को संबोधित करता है, जो कि रेशनल और रिट्रैक्ट रेशनल वैराइटीज़ की स्थानीय संरचना (local structure) से संबंधित है। विशेष रूप से, यह इस बात की जांच करता है कि क्या "रिट्रैक्ट रेशनल" होने का गुण "यूनिफॉर्म रिट्रैक्ट रेशनलिटी" को दर्शाता है।

• रिट्रैक्ट रेशनलिटी (Retract Rationality): एक अनंत क्षेत्र $K$ पर एक बीजगणितीय वैराइटी $X$ रिट्रैक्ट रेशनल है यदि एक ज़ारिस्की ओपन डेंस सबसेट $V \subset X$, एक प्राकृतिक संख्या $m$, एक ज़ारिस्की ओपन सेट $U \subset K^m$, और नियमित मैपिंग (regular mappings) $V \to U \to V$ मौजूद हैं जिनका संयोजन $V$ पर पहचान (identity) है।
• यूनिफॉर्म रिट्रैक्ट रेशनलिटी (Uniform Retract Rationality): $X$ यूनिफॉर्मली रिट्रैक्ट रेशनल है यदि $X$ के प्रत्येक बिंदु $x$ के लिए, एक ज़ारिकी ओपन नेबरहुड $V$ (जो वैश्विक अर्थ में घना नहीं है, बल्कि $x$ के लिए स्थानीय है) मौजूद है जो उसी रिट्रैक्शन स्थिति को संतुष्ट करता है।

मुख्य प्रश्न (प्रश्न 1.7) यह है: क्या सभी नॉनसिंगुलर रिट्रैक्ट रेशनल बीजगणितीय वैराइटीज़ यूनिफॉर्मली रिट्रैक्ट रेशनल हैं?

यह जांच ग्रॉमोव एलिप्टिसिटी (Gromov ellipticity) के व्यापक संदर्भ से प्रेरित है। ग्रॉमोव ने जटिल नॉनसिंगुलर वैराइटीज़ के लिए "अल्जेब्रिक एलिप्टिसिटी" पेश की थी, जो एक गुण है जो मजबूत होमोटोपी और सन्निकटन (approximation) विशेषताओं को दर्शाता है। यह ज्ञात था कि यूनिफॉर्म रेशनलिटी, अल्जेब्रिक एलिप्टिसिटी को दर्शाती है। जबकि रेशनल वैराइटीज़, रिट्रैक्ट रेशनल वैराइटीज़ का एक उपसमुच्चय हैं, यह एक खुला प्रश्न था कि क्या सभी नॉनसिंगुलर रेशनल कॉम्प्लेक्स प्रोजेक्टिव वैराइटीज़ अल्जेब्रिकली एलिप्टिक हैं (प्रश्न 1.3)। यूनिफॉर्म रिट्रैक्ट रेशनलिटी के लिए एक सकारात्मक उत्तर अल्जेब्रिक एलिप्टिसिटी (कॉम्प्लेक्स केस में) या मैलिएबिलिटी (रियल केस में) को प्रदान करेगा, जैसा कि ऑब्जर्वेशन 1.6 स्थापित करता है।

कार्यप्रणाली (Methodology)
प्रमाण स्थानीय बीजगणितीय ज्यामिति (local algebraic geometry), कम्यूटेटिव अलजेब्रा, और बहुपद मैपिंग (polynomial mappings) के हेरफेर पर निर्भर करता है। मुख्य रणनीति स्थानीय रेशनल मैपिंग को रेगुलर जर्म्स (regular germs) तक विस्तारित करना है।

1. मैपिंग का स्थानीय विस्तार (प्रपोजिशन 3.1): निर्णायक तकनीकी उपकरण प्रपोजिशन 3.1 है, जो यह दावा करता है कि यदि एक रेशनल मैपिंग $F: K^n \dashrightarrow Y$ एक सबवैराइटी $X \subset K^n$ पर एक बिंदु $x_0$ पर रेगुलर है, तो एक रेगुलर जर्म $G: (K^n, x_0) \to Y$ मौजूद होता है जो $x_0$ के पास $X$ पर $F$ के साथ सहमत होता है।
2. विस्तार का निर्माण: प्रपोजिशन 3.1 का प्रमाण प्रपोजिशन 2.2 का उपयोग करता है। यह प्रपोजिशन एक विशिष्ट बहुपद मैपिंग $\sigma: X \times K^{n-m} \to K^n$ (जहाँ $m = \dim X$) का निर्माण करता है जिसमें निम्नलिखित गुण होते हैं:
   • यह दूसरे चर के शून्य होने पर $X$ पर पहचान के रूप में कार्य करता है।
   • बेस पॉइंट पर इसका डेरिवेटिव एक आइसोमोर्फिज्म (isomorphism) है।
   • स्थानीय रिंगों पर प्रेरित होमोमोर्फिज्म, रेशनल मैप के हरों (denominators) द्वारा उत्पन्न एक विशिष्ट आइडियल के मॉड्यूल अधिशेष (surjective modulo) है।
     यह निर्माण लेखक को $K^n$ के स्थानीय स्थान पर $X$ पर परिभाषित रेशनल मैप को लिफ्ट करने की अनुमति देता है।
3. जेनेरिक तर्क (Genericity Arguments): $\sigma$ का निर्माण लेम्मा 2.3 पर आधारित है, जो ग्रासमैनियन्स (Grassmannians) पर डायमेंशन काउंटिंग का उपयोग करता है ताकि यह सुनिश्चित किया जा सके कि एक जेनेरिक लीनियर सबस्पेस प्रासंगिक आइडियल के शून्य सेट को केवल मूल बिंदु (origin) पर ही काटता है। यह सुनिश्चित करता है कि विस्तार के काम करने के लिए आवश्यक ट्रांसवर्सलिटी (transversality) और बीजगणितीय स्वतंत्रता बनी रहे।
4. लेम्मा 2.4 का अनुप्रयोग: यह लेम्मा सुनिश्चित करता है कि मैपिंग के छोटे परिवर्तनों (perturbations) के तहत एक रेशनल फंक्शन की रेगुलरिटी संरक्षित रहती है, जिससे उत्पाद स्थान पर निर्मित जर्म से वापस एम्बिएंट स्पेस (ambient space) पर संक्रमण संभव होता है।

प्रमुख योगदान और परिणाम (Key Contributions and Results)
इस शोध पत्र का प्राथमिक परिणाम थ्योरम 1.8 है:

मान लीजिए कि $X$ एक अनंत क्षेत्र $K$ पर एक नॉनसिंगुलर रिट्रैक्ट रेशनल बीजगणितीय वैराइटी है। तो यह यूनिफॉर्मली रिट्रैक्ट रेशनल है।

प्रमाण एक मनमाना बिंदु $x_0 \in X$ लेने के साथ आगे बढ़ता है। चूंकि $X$ रिट्रैक्ट रेशनल है, इसलिए वहां ग्लोबली ओपन सेट्स और रिट्रैक्शन्स मौजूद हैं। लेखक $r: U \to V$ (जहाँ $V \subset X$) के रिट्रैक्शन मैप को एम्बिएंट स्पेस पर एक रेशनल मैप के रूप में विस्तारित करते हैं। प्रपोजिशन 3.1 का उपयोग करते हुए, वे $x_0$ के आसपास एम्बिएंट स्पेस में एक नेबरहुड पर परिभाषित एक रेगुलर जर्म $G$ का निर्माण करते हैं जो $x_0$ के पास $X$ पर पहचान के रूप में प्रतिबंधित होता है। यह जर्म प्रभावी रूप से यूनिफॉर्म रिट्रैक्ट रेशनलिटी के लिए आवश्यक स्थानीय रिट्रैक्शन प्रदान करता है।

उपपत्ति और महत्व (Corollaries and Significance)
यह शोध पत्र कोरोलरी 1.9 को एक प्रत्यक्ष परिणाम के रूप में प्राप्त करता है:

नॉनसिंगुलर रेशनल कॉम्प्लेक्स प्रोजेक्टिव वैराइटीज़ अल्जेब्रिकली एलिप्टिक होती हैं।

महत्वपूर्ण दावे:

• एक विशिष्ट प्रश्न का समाधान: यह शोध पत्र प्रश्न 1.7 के लिए एक सकारात्मक उत्तर प्रदान करता है, यह स्थापित करता है कि नॉनसिंगुलर वैराइटीज़ के लिए स्थानीय गुण (यूनिफॉर्मिटी), वैश्विक गुण (रिट्रैक्ट रेशनलिटी) का अनुसरण करता है।
• ग्रॉमोवे के प्रश्न का आंशिक उत्तर: थ्योरम 1.8 को ऑब्जर्वेशन 1.6 के साथ जोड़कर, यह शोध पत्र पुष्टि करता है कि सभी नॉनसिंगुलर रेशनल कॉम्प्लेक्स प्रोजेक्टिव वैराइटीज़ अल्जेब्रिकली एलिप्टिक हैं। यह रेशनल वैराइटीज़ के वर्ग के लिए प्रश्न 1.3 के दूसरे भाग को हल करता है।
• पदानुक्रम का स्पष्टीकरण (Clarification of Hierarchy): परिणाम अपरिवर्तनीय नॉनसिंगुलर कॉम्प्लेक्स प्रोजेक्टिव वैराइटीज़ के लिए गुणों के पदानुक्रम को स्पष्ट करते हैं:
  $$\text{यूनिफॉर्मली रेशनल} \implies \text{रेशनल} \implies \text{रिट्रैक्ट रेशनल} \implies \text{यूनिफॉर्मली रिट्रैक्ट रेशनल} \implies \text{अल्जेब्रिकली एलिप्टिक}$$
  शोध पत्र नोट करता है कि सामान्य रूप से विपरीत निहितार्थ (reverse implications) मान्य नहीं हैं (एलिप्टिक वैराइटीज़ के उदाहरणों का हवाला देते हुए जो रेशनल या रिट्रैक्ट रेशनल नहीं हैं)।

यह शोध पत्र प्रश्न 1.3 को पूरी तरह से हल करने का दावा नहीं करता है (केवल रेशनल ही नहीं, बल्कि सभी नॉनसिंगुलर वैराइटीज़ के लिए), न ही यह नए प्रायोगिक अनुप्रयोग प्रस्तावित करता है। इसका योगदान विशुद्ध रूप से सैद्धांतिक है, जो बीजगणितीय विस्तार तकनीकों का उपयोग करके रिट्रैक्ट रेशनलिटी और यूनिफॉर्म रिट्रैक्ट रेशनलिटी के बीच के अंतर को पाटता है।