When is the diagonal contractible?

तकनीकी सारांश: विकर्ण (Diagonal) कब संकुचित (Contractible) होता है?

समस्या विवरण
यह शोध पत्र उन ज्यामितीय स्थितियों की जांच करता है जिनके तहत एक चिकनी (smooth) प्रोजेक्टिव कॉम्प्लेक्स वैराइटी $X$ का विकर्ण $\Delta_X \subset X \times X$, एक बिरेशनल मॉर्फिज्म (birational morphism) $\pi: X \times X \to Y$ के माध्यम से कम आयाम वाली उप-वैराइटी (subvariety) में संकुचित किया जा सकता है। विशेष रूप से, लेखक दो प्राथमिक प्रश्नों को संबोधित करते हैं:

1. बिंदु संकुचन (Point Contraction): कब एक बिरेशनल प्रोजेक्टिव मॉर्फिज्म का अस्तित्व होता है जिससे $\pi(\Delta_X)$ एक एकल बिंदु बन जाता है?
2. सामान्य संकुचन (General Contraction): कब एक ऐसा संकुचन होता है जहाँ $\dim \pi(\Delta_X) = m < \dim X$ हो?
   लेखक ध्यान देते हैं कि जबकि $\dim X = 1$ (वक्र/curves) का मामला शास्त्रीय है, उच्च-आयामी मामला $X$ के सूक्ष्म धनात्मकता गुणों (positivity properties) पर निर्भर करता है। यह शोध पत्र अल्बनेस (Albanese) मॉर्फिज्म के गुणों से विकर्ण की संकुचन क्षमता को जोड़कर इसे हल करने का लक्ष्य रखता है।

कार्यप्रणाली (Methodology)
मुख्य कार्यप्रणाली $X$ की ज्यामिति, इसके अल्बनेस वैराइटी $A = \text{Alb}(X)$, और प्रेरित अंतर मानचित्र (induced difference map) के बीच परस्पर क्रिया पर आधारित है। लेखक निम्नलिखित संरचनात्मक उपकरणों का उपयोग करते हैं:

• अंतर मानचित्र (The Difference Map): वे एक मानचित्र $\lambda: X \times X \to A$ को $\lambda(x_1, x_2) = \text{alb}(x_1) - \text{alb}(x_2)$ द्वारा परिभाषित करते हैं, जहाँ $\text{alb}: X \to A$ अल्बनेस मॉर्फिज्म है।
• डिवाइज़र सिद्धांत और प्रतिच्छेदन संख्याएँ (Divisor Theory and Intersection Numbers): प्रमाणों में बिग (big) और सेमी-एम्पल (semi-ample) डिवायज़र्स के सिद्धांत का उपयोग किया गया है। यह मानते हुए कि एक संकुचन मौजूद है, लेखक $X \times X$ पर एक डिवाइज़र $D$ का निर्माण करते हैं जो बिग और नेफ (nef) है लेकिन विकर्ण (या उसके प्रतिबिंब) पर शून्य होता है।
• कुनेथ अपघटन (Künneth Decomposition) और पिकाड समूह (Picard Groups): एक महत्वपूर्ण तकनीकी चरण में $X \times X$ पर डिवायज़र्स को कुनेथ फॉर्मूला का उपयोग करके अपघटित करना शामिल है। लेम्मा 3.2 स्थापित करता है कि $\text{Pic}_{\mathbb{Q}}(X \times X)$ में किसी भी डिवाइज़र को $X$ से पुलबैक और $A \times A$ से पुलबैक के योग के रूप में लिखा जा सकता है। यह लेखकों को $X \times X$ पर डिवायज़र्स की धनात्मकता को अल्बनेस प्रतिबिंब की ज्यामिति से जोड़ने की अनुमति देता है।
• समूहन (Symmetrization): $X \times X$ की समरूपता (symmetry) को संभालने के लिए, लेखक अक्सर विरोधाभास या $\lambda$ के प्रतिबिंब के आयाम के संबंध में आवश्यक शर्तों को प्राप्त करने के लिए डिवायज़र्स का समूहन (इन्वोल्यूशन $\sigma(x_1, x_2) = (x_2, x_1)$ का उपयोग करके) करते हैं।

प्रमुख योगदान और परिणाम

1. बिंदु संकुचन का लक्षण वर्णन (Theorem 1.4)
यह शोध पत्र स्थापित करता है कि विकर्ण $\Delta_X$ एक बिंदु में संकुचित होने योग्य है यदि और केवल यदि लक्षणों का एक सेट (जो मुख्य रूप से अल्बनेस मॉर्फिज्म से संबंधित है) सत्य हो। मान लें $n = \dim X$ और $q = h^1(X, \mathcal{O}_X) = \dim \text{Alb}(X)$। निम्नलिखित तुल्य हैं:

• (A) $\Delta_X$ एक बिंदु में संकुचित होने योग्य है।
• (B) अंतर मानचित्र $\lambda$ का प्रतिबिंब $\lambda$ के अपने प्रतिबिंब पर जेनेरिकली फाइनाइट (generically finite) है (अर्थात, $\dim \lambda(\text{image}) = 2n$)।
• (C) अल्बनेस वैराइटी इस शर्त को संतुष्ट करती है कि $\dim \text{Alb}(X) \ge 2n$, और प्रत्येक एबेलियन उप-वैराइटी $B \subset \text{Alb}(X)$ और सामान्य बिंदु $a$ के लिए, $\dim B \ge 2 \dim((B+a) \cap \text{alb}(X))$।
• (D) दो सामान्य बिंदु $X$ के होलोमॉर्फिक कोटेंजेंट बंडल $\Omega^1_X$ पर स्वतंत्र स्थितियाँ (independent conditions) लागू करते हैं। समकक्ष रूप से, मूल्यांकन मानचित्र (evaluation map) $H^0(\Omega^1_X) \to \Omega^1_{X,x} \oplus \Omega^1_{X,y}$ सामान्य $x, y$ के लिए अधिरोपित (surjective) है।

लेखक स्पष्ट करते हैं कि स्थिति (C) केवल अल्बनेस प्रतिबिंब की "गैर-क्षयता" (non-degeneracy) से अधिक है; इसके लिए एबेलियन उप-वैराइटी के सापेक्ष एक विशिष्ट "ज्यामितीय गैर-क्षयता" की आवश्यकता होती है।

2. उच्च आयामों में संकुचन (Theorem 1.6)
आयाम $m < n$ वाली वैराइटी के लिए संकुचन हेतु, शोध पत्र एक आवश्यक और पर्याप्त स्थिति प्रदान करता है: एक डोमिनेंट मॉर्फिज्म $\pi: X \to W$ (जहाँ $\dim W = m$) का अस्तित्व होना चाहिए ताकि एक सामान्य फाइबर $X_p$ के लिए, $X_p \times X_p$ पर अंतर मानचित्र $\lambda$ अपने प्रतिबिंब पर जेनेरिकली फाइनाइट हो।

3. विकर्ण के बाहर आइसोमोर्फिज्म (Theorem 1.8)
लेखक एक अधिक सशक्त संस्करण को संबोधित करते हैं जहाँ संकुचन विकर्ण के बाहर एक आइसोमोर्फिज्म है। वे सिद्ध करते हैं कि यह तभी होता है जब अल्बनेस मॉर्फिज्म अपने प्रतिबिंब पर फाइनाइट और बिरेशनल हो, और अल्बनेस प्रतिबिंब पर प्रतिबंधित अंतर मानचित्र विकर्ण के बाहर फाइनाइट हो। इसका तात्पर्य यह है कि अल्बनेस प्रतिबिंब और उसके ट्रांसलेट्स (translates) का प्रतिच्छेदन शून्य-आयामी होना चाहिए।

4. उच्च उत्पादों में गैर-संकुचनशीलता (Theorem 1.9)
यह शोध पत्र सिद्ध करता है कि किसी भी चिकनी प्रोजेक्टिव वैराइटी $X$ के लिए जिसका $\dim X > 0$ और $n \ge 3$ है, एक एकल बिरेशनल मॉर्फिज्म के माध्यम से सभी युग्म विकर्णों (pairwise diagonals) $\Delta_{ij} \subset X^n$ को एक साथ बिंदुओं में संकुचित करना असंभव है।

उदाहरण और वर्गीकरण

• वक्र (Curves): एक वक्र $C$ का विकर्ण संकुचित होने योग्य है यदि और केवल यदि $g \ge 2$ है।
• सतह (Surfaces): एक सतह $S$ का विकर्ण एक बिंदु में संकुचित होने योग्य है यदि और केवल यदि $S$ 'जनरल टाइप' (general type) की हो (Corollary 2.7)। शोध पत्र $\kappa(S) \le 1$ वाली सतहों को वर्गीकृत करता है जो वक्रों के उत्पादों के कोटिएंट हैं, लेकिन वे वास्तविक संकुचन के लिए आवश्यक ज्यामितीय गैर-क्षयता में विफल रहती हैं।
• वक्रों के उत्पाद (Products of Curves): वक्रों का उत्पाद $C_1 \times \dots \times C_n$ (जहाँ $g_i \ge 2$) का विकर्ण एक बिंदु में संकुचित होने योग्य है। अधिक व्यापक रूप से, इसे $0 \le t \le n-1$ के किसी भी $t$ आयाम वाली वैराइटी में संकुचित किया जा सकता है।
• एबेलियन वैराइटी के उप-वैराइटी (Subvarieties of Abelian Varieties): ज्यामितीय रूप से गैर-क्षय (geometrically non-degenerate) उप-वैराइटी $X \subset A$ जहाँ $\dim A \ge 2 \dim X$, संकुचन की शर्तों को पूरा करती हैं।

महत्व और दावे
लेखक दावा करते हैं कि विकर्ण संकुचनशीलता का प्रश्न, हालांकि अत्यंत जटिल प्रतीत होता है, मौलिक रूप से अल्बनेस मॉर्फिज्म के गुणों के समान है। वे अपने स्वयं के कार्य (और संभावित रूप से साहित्य) में एक पिछले अनुमान को सुधारते हैं कि केवल अल्बनेस प्रतिबिंब का आयाम ($q \ge 2n$) पर्याप्त है; वे प्रदर्शित करते हैं कि जब अल्बनेस वैराइटी सरल (simple) नहीं होती है, तो एबेलियन उप-वैराइटी के साथ अंतःक्रिया (स्थिति C) आवश्यक है।

शोध पत्र इस बात पर जोर देता है कि संकुचन का प्रतिबिंब $Y$ आमतौर पर विकर्ण के प्रतिबिंब के साथ विलक्षण (singular) होता है, जो ऐसे संकुचनों की गैर-चिकनाई (non-smoothness) के सामान्य परिणामों का हवाला देता है। यह कार्य चक्र $[\Delta_X]$ और बंडल $\Omega^1_X$ की धनात्मकता को बिरेशनल मानचित्रों के अस्तित्व से जोड़ता है, यह दिखाते हुए कि जबकि $\Omega^1_X$ की एम्पलनेस (ampleness) न तो आवश्यक है और न ही पर्याप्त, बिंदुओं के जोड़े पर ग्लोबल जनरेशन गुण केंद्रीय हैं।

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