Canonical Projectivization of Smooth Complete Toric Varieties

तकनीकी सारांश: चिकने पूर्ण टोरिक रूपांतरों का कैनोनिकल प्रोजेक्टिविज़ेशन (Canonical Projectivization of Smooth Complete Toric Varieties)

समस्या विवरण (Problem Statement)
यह शोध पत्र टोरिक ज्यामिति (toric geometry) में एक मौलिक प्रश्न को संबोधित करता है: दिए गए एक चिकने पूर्ण टोरिक रूपांतर $X_\Sigma$ (जो एक लैटिस $N \cong \mathbb{Z}^n$ में एक चिकने पूर्ण फैन $\Sigma$ द्वारा परिभाषित है) के लिए, क्या एक ऐसा चिकना प्रोजेक्टिव टोरिक रूपांतर निर्मित किया जा सकता है जो एक प्रपर बिरेशनल टोरिक मॉर्फिज्म (proper birational toric morphism) के माध्यम से इसे डोमिनेट (dominate) करे? जबकि ऐसे डोमिनेटिंग रूपांतर का अस्तित्व शास्त्रीय है (Toric Chow Lemma और उसके बाद रेजोल्यूशन ऑफ सिंगुलैरिटी के माध्यम से), शास्त्रीय दृष्टिकोण आमतौर पर सिंगुलर मध्यवर्ती रूपांतरों (singular intermediate varieties) से होकर गुजरता है। यहाँ संबोधित विशिष्ट चुनौती यह है कि क्या इस प्रोजेक्टिविज़ेशन को पूरी तरह से चिकने मध्यवर्ती रूपांतरों के एक अनुक्रम के माध्यम से प्राप्त किया जा सकता है, जहाँ प्रत्येक मॉर्फिज्म एक चिकने टॉरस-इनवेरिएंट सेंटर के साधारण ब्लो-अप (ordinary blow-up) के रूप में हो। यह "स्मूथ स्टेलर फैक्टराइजेशन" (smooth stellar factorization) समस्या से संबंधित है और यह 'वीक फैक्टराइजेशन थ्योरम' (Weak Factorization Theorem) से भिन्न है, जो ब्लो-अप और ब्लो-डाउन दोनों की अनुमति देता है।

कार्यप्रणाली (Methodology)
लेखक, पारसा बख्तारी, एक यूनिफॉर्म, कंस्ट्रक्टिव एल्गोरिदम प्रस्तावित करते हैं जो इनपुट फैन $\Sigma$ को तीन अलग-अलग चरणों में एक चिकने प्रोजेक्टिव फैन $\hat{\Sigma}$ में परिष्कृत (refine) करता है। एक निश्चित क्रमबद्ध लैटिस बेसिस (ordered lattice basis) के फिक्स होने पर यह निर्माण कैनोनिकल (canonical) है।

1. वॉल-अरेंजमेंट फैन निर्माण (Wall-Arrangement Fan Construction):
   प्रथम चरण एक संदर्भ फैन $\mathcal{A}_\Sigma$ का निर्माण करता है, जिसे "वॉल-अरेंजमेंट फैन" कहा जाता है। प्रत्येक को-डायमेंशन-वन कोन $\tau \in \Sigma$ के लिए, लेखक सपोर्टिंग हाइपरप्लेन को $N_\mathbb{R}$ में एक सेंट्रल हाइपरप्लेन के रूप में विस्तारित करते हैं। इन हाइपरप्लेन्स का अरेंजमेंट $\mathcal{A}_\Sigma$ नामक एक पूर्ण फैन बनाता है।

• गुण (Property): $\mathcal{A}_\Sigma$ एक पूर्ण, प्रोजेक्टिव फैन है जो $\Sigma$ को रिफाइन करता है। हालाँकि, $\mathcal{A}_\Sigma$ सामान्यतः चिकना या सिम्पलीशियल (simplicial) नहीं होता है।

2. साइन-एडैप्टेशन एल्गोरिदम (वॉल-एडैप्टेशन चरण) (Sign-Adaptation Algorithm - The Wall-Adaptation Stage):
   लक्ष्य $\Sigma$ को एक ऐसे फैन $\Gamma(\Sigma)$ में परिष्कृत करना है जो $\mathcal{A}_\Sigma$ के "सबऑर्डिनेट" (subordinate) हो (अर्थात $\Gamma(\Sigma) \preceq \mathcal{A}_\Sigma$), जबकि स्मूथनेस बनाए रखे।

• तंत्र (Mechanism): एल्गोरिदम $\mathcal{A}_\Sigma$ को परिभाषित करने वाले वॉल नॉर्मल्स $m_i$ के माध्यम से पुनरावृत्ति (iterate) करता है। एक दिए गए नॉर्मल $m$ के लिए, एक टू-डायमेंशनल कोन $\langle u, v \rangle$ को "$m$-बैड" (m-bad) कहा जाता है यदि उनके जनरेटर्स हाइपरप्लेन $\ker(m)$ के विपरीत पक्षों पर स्थित हों (अर्थात $m(u) \cdot m(v) < 0$)।
• संचालन (Operation): एल्गोरिदम $m$-बैड टू-कोन्स पर स्टार सबडिवीजन (star subdivisions) का एक परिमित अनुक्रम निष्पादित करता है। विशेष रूप से, एक बैड कोन $\langle u, v \rangle$ के लिए, यह $u+v$ द्वारा जनरेट किए गए रे (ray) को सम्मिलित करता है।
• समाप्ति (Termination): समाप्ति सिद्ध करने के लिए एक वेट फंक्शन $w_m(\tau) = |m(u)| + |m(v)|$ का उपयोग किया जाता है। प्रत्येक सबडिवीजन या तो बैड कोन्स के अधिकतम वेट को कम करता है या उनकी संख्या को कम करता है।
• परिणाम (Result): यह चरण एक चिकना फैन $\Gamma(\Sigma)$ उत्पन्न करता है जहाँ प्रत्येक कोन $\mathcal{A}_\Sigma$ के एक एकल चैंबर के भीतर स्थित होता है (अर्थात प्रत्येक वॉल नॉर्मल द्वारा परिभाषित क्लोज्ड हाफ-स्पेस में किसी भी कोन के सभी रे जनरेटर्स स्थित होते हैं)। यह सुनिश्चित करता है कि $\Gamma(\Sigma) \preceq \mathcal{A}_\Sigma$। महत्वपूर्ण रूप से, प्रत्येक चरण को-डायमेंशन-दो के एक चिकने इनवेरिएंट सेंटर के ब्लो-अप के रूप में होता है।

3. बेरीसेंट्रिक रैपर (बैरसेंट्रिक डेरिव्ड सबडिवीजन) (Barycentric Wrapper - The Projectivity Stage):
   यद्यपि $\Gamma(\Sigma)$ एक चिकना फैन है और वह प्रोजेक्टिव फैन $\mathcal{A}_\Sigma$ को रिफाइन करता है, लेकिन यह अनिवार्य रूप से प्रोजेक्टिव नहीं है।

• संचालन (Operation): लेखक एक बेरीसेंट्रिक डेरिव्ड सबडिवीजन, जिसे $\text{Bar}(\Gamma(\Sigma))$ कहा जाता है, लागू करते हैं। इसमें $k \geq 2$ आयाम के सभी कोन्स के जनरेटर्स के योग (बैरसेंटर्स) के संगत रे (rays) को आयाम के घटते क्रम में सम्मिलित करना शामिल है।
• परिणाम (Result): लेम्मा 6.4 के अनुसार, यदि एक चिकना फैन $\Phi$, एक प्रोजेक्टिव फैन $\Delta$ को रिफाइन करता है, तो बेरीसेंट्रिक सबडिवीजन $\text{Bar}(\Phi)$ प्रोजेक्टिव होता है। यह चरण स्मूथनेस को सुरक्षित रखते हुए प्रोजेक्टिविटी को लागू करता है।

प्रमुख योगदान और परिणाम (Key Contributions and Results)

• थ्योरम 1.1 (कैनोनिकल टोरिक प्रोजेक्टिविज़ेशन): यह पेपर सिद्ध करता है कि $N_\mathbb{R}$ ($n \geq 2$) में किसी भी चिकने पूर्ण फैन $\Sigma$ के लिए, टोरिक ब्लो-अप्स का एक कैनोनिकल परिमित अनुक्रम मौजूद है:
  $$X_{\hat{\Sigma}} = X_r \to X_{r-1} \to \dots \to X_0 = X_\Sigma$$
  ऐसा कि:

  1. $X_{\hat{\Sigma}}$ चिकना और प्रोजेक्टिव है।
  2. प्रत्येक मॉर्फिज्म को-डायमेंशन $\geq 2$ के एक चिकने टॉरस-इनवेरिएंट सेंटर का ब्लो-अप है।
  3. निर्माण एक निश्चित क्रमबद्ध लैटिस बेसिस के सापेक्ष कैनोनिकल है।

• यूनिफॉर्मिटी (Uniformity): प्रमाण सभी आयामों $n$ के लिए यूनिफॉर्म है, जो आयाम-विशिष्ट केस विश्लेषणों से बचता है (गैर-प्रोजेक्टिव थ्रीफोल्ड्स के पिछले दृष्टिकोणों के विपरीत)।

• डायमेंशन थ्री स्पेशलाइजेशन (Dimension Three Specialization): आयाम तीन में, वॉल-एडैप्टेशन स्टेज द्वारा हल किए गए "बैड" ऑब्जेक्ट्स इनवेरिएंट कर्व्स (2-कोन्स के अनुरूप) हैं, और बेरीसेंट्रिक स्टेज इनवेरिएंट कर्व्स और टॉरस-फिक्स्ड पॉइंट्स (3-कोन्स) को हल करता है। यह गैर-प्रोजेक्टिव मोइज़ेऑन (Moishezon) थ्रीफोल्ड्स में देखे गए "बैड कर्व" दर्शन के साथ संरेखित होता है।

• लंबाई का अनुमान (Length Estimates): पेपर ब्लो-अप्स की आवश्यक संख्या के लिए अनुमान प्रदान करता है। कुल लंबाई एक एडैप्टेशन कॉस्ट (वॉल कंडीशंस को संतुष्ट करने के लिए जोड़े गए रे से संबंधित) और एक बेरीसेंट्रिक कॉस्ट (अनुकूलित फैन के कोन्स से संबंधित) में विभाजित होती है। थ्रीफोल्ड्स के लिए, एक विशिष्ट सूत्र $L_{full} = 6f_1(\Gamma) - f_1(\Sigma) - 10$ व्युत्पन्न किया गया है।

महत्व और दावे (Significance and Claims)
पेपर यह दावा करता है कि यह प्रोजेक्टिविज़ेशन समस्या का एक कंस्ट्रक्टिव समाधान प्रदान करता है जो पूरी प्रक्रिया के दौरान स्मूथनेस बनाए रखता है।

• शास्त्रीय विधियों से अंतर: शास्त्रीय टोरिक चाओ लेम्मा (Toric Chow Lemma) और उसके बाद के डेसिंगुलराइजेशन (desingularization) के विपरीत (जो सिंगुलर मध्यवर्ती फैन पेश कर सकते हैं), यह विधि सुनिश्चित करती है कि प्रत्येक मध्यवर्ती रूपांतर चिकना है।
• वीक फैक्टराइजेशन से अंतर: वीक फैक्टराइजेशन थ्योरम (Włodarczyk) के विपरीत, जो बिरेशनल मैप्स को ब्लो-अप और ब्लो-डाउन में विभाजित करता है, यह निर्माण केवल ब्लो-अप्स का उपयोग करके परिणाम प्राप्त करता है।
• Q-फैक्टरियल मॉडिफिकेशन से अंतर: यह दृष्टिकोण $\mathbb{Q}$-फैक्टरियल मॉडिफिकेशन (जैसे फुजिनो-सातो) के फ्रेमवर्क से भिन्न है, जो अक्सर को-डायमेंशन एक में आइसोमॉर्फिक रूपांतरों के बजाय डोमिनेटिंग रूपांतरों का उपयोग करते हैं।
• कैनोनिसिटी (Canonicity): निर्माण एक लैटिस बेसिस चुनने के बाद नियत (deterministic) है, जो "बैड" उप-विविधताओं (वे उप-विविधताएं जो प्रोजेक्टिविटी वॉल्स को क्रॉस करती हैं) को एक व्यवस्थित क्रम में हल करता है।

लेखक नोट करते हैं कि स्मूथनेस की परिकल्पना आवश्यक है; यदि इनपुट फैन चिकना नहीं है, तो जनरेटर्स का योग $u+v$ प्रिमिटिव (primitive) नहीं हो सकता है, जिससे डायरेक्ट साइन-एडैप्टेशन एल्गोरिदम का अनुप्रयोग बाधित होता है। यह कार्य चिकने फैन के लिए एक डायरेक्ट, अनवेटेड निर्माण के रूप में प्रस्तुत किया गया है, जो फैक्टराइजेशन अनुमानों के वेटेड संस्करणों से भिन्न है।